runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 1
  memory of node 0: 3639 MiB (1669 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/velev/fvp-unsat.shuffled.cnf 

running on 1 cores: 2

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-310.el8.x86_64
solver pid=432192, runsolver pid=432191
Current StackSize limit: 8192 KiB


[startup+0.101255 s]*
/proc/loadavg: 1.56 0.52 0.71 4/452 432193
/proc/meminfo: memFree=1677772/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=62052 memory=33956 CPUtime=0.08 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 7367 0 0 0 6 2 0 0 20 0 1 0 233348013 63541248 8489 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 15513 8489 1451 2 0 7922 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62052 KiB
Current children cumulated memory: 33956 KiB

[startup+0.226596 s]*
/proc/loadavg: 1.56 0.52 0.71 4/452 432193
/proc/meminfo: memFree=1631876/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=96400 memory=68808 CPUtime=0.19 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 16056 0 0 0 13 6 0 0 20 0 1 0 233348013 98713600 17202 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 24100 17202 1483 2 0 16509 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 96400 KiB
Current children cumulated memory: 68808 KiB

[startup+0.326586 s]*
/proc/loadavg: 1.56 0.52 0.71 4/452 432193
/proc/meminfo: memFree=1628356/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=99472 memory=72176 CPUtime=0.26 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 16892 0 0 0 20 6 0 0 20 0 1 0 233348013 101859328 18044 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 24868 18044 1483 2 0 17277 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 99472 KiB
Current children cumulated memory: 72176 KiB

[startup+0.700584 s]
/proc/loadavg: 1.56 0.52 0.71 4/452 432193
/proc/meminfo: memFree=1617772/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=116668 memory=89192 CPUtime=0.57 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 21227 0 0 0 50 7 0 0 20 0 1 0 233348013 119468032 22298 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 29167 22298 1483 2 0 21576 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 116668 KiB
Current children cumulated memory: 89192 KiB

[startup+1.50059 s]
/proc/loadavg: 1.56 0.52 0.71 4/452 432193
/proc/meminfo: memFree=1594840/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=159924 memory=132504 CPUtime=1.34 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 32056 0 0 0 124 10 0 0 20 0 1 0 233348013 163762176 33126 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 39981 33126 1483 2 0 32390 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 159924 KiB
Current children cumulated memory: 132504 KiB

[startup+3.13459 s]
/proc/loadavg: 1.67 0.56 0.72 4/452 432193
/proc/meminfo: memFree=1495300/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=239700 memory=212276 CPUtime=2.92 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 52204 0 0 0 276 16 0 0 20 0 1 0 233348013 245452800 53069 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 59925 53069 1483 2 0 52334 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 239700 KiB
Current children cumulated memory: 212276 KiB

[startup+6.30059 s]
/proc/loadavg: 1.67 0.56 0.72 4/452 432193
/proc/meminfo: memFree=1476336/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=223976 CPUtime=6.01 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55209 0 0 0 584 17 0 0 20 0 1 0 233348013 257667072 55994 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 55994 1483 2 0 55316 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 223976 KiB

[startup+12.7006 s]
/proc/loadavg: 1.88 0.65 0.75 4/452 432201
/proc/meminfo: memFree=1476084/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=223976 CPUtime=12.25 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55209 0 0 0 1208 17 0 0 20 0 1 0 233348013 257667072 55994 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 55994 1483 2 0 55316 0
Current children cumulated CPU time: 12.25 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 223976 KiB

[startup+25.5046 s]
/proc/loadavg: 2.20 0.76 0.78 5/460 432212
/proc/meminfo: memFree=1468396/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=223976 CPUtime=24.72 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55209 0 0 0 2455 17 0 0 20 0 1 0 233348013 257667072 55994 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 55994 1483 2 0 55316 0
Current children cumulated CPU time: 24.72 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 223976 KiB

[startup+51.1316 s]
/proc/loadavg: 2.82 1.02 0.87 5/457 432213
/proc/meminfo: memFree=1470168/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=223976 CPUtime=49.67 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55210 0 0 0 4950 17 0 0 20 0 1 0 233348013 257667072 55994 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 55994 1483 2 0 55316 0
Current children cumulated CPU time: 49.67 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 223976 KiB

[startup+102.301 s]
/proc/loadavg: 3.57 1.54 1.06 5/457 432222
/proc/meminfo: memFree=1468092/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=223976 CPUtime=99.51 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55210 0 0 0 9933 18 0 0 20 0 1 0 233348013 257667072 55994 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 55994 1483 2 0 55316 0
Current children cumulated CPU time: 99.51 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 223976 KiB

[startup+162.301 s]
/proc/loadavg: 3.77 1.97 1.24 4/448 432233
/proc/meminfo: memFree=1476028/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=223976 CPUtime=157.98 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55210 0 0 0 15780 18 0 0 20 0 1 0 233348013 257667072 55994 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 55994 1483 2 0 55316 0
Current children cumulated CPU time: 157.98 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 223976 KiB

[startup+222.301 s]
/proc/loadavg: 3.28 2.16 1.35 4/448 432244
/proc/meminfo: memFree=1475996/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=223976 CPUtime=216.49 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55210 0 0 0 21631 18 0 0 20 0 1 0 233348013 257667072 55994 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 55994 1483 2 0 55316 0
Current children cumulated CPU time: 216.49 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 223976 KiB

[startup+282.301 s]
/proc/loadavg: 3.10 2.32 1.46 4/448 432253
/proc/meminfo: memFree=1475996/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=223976 CPUtime=275.01 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55210 0 0 0 27483 18 0 0 20 0 1 0 233348013 257667072 55994 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 55994 1483 2 0 55316 0
Current children cumulated CPU time: 275.01 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 223976 KiB

[startup+342.301 s]
/proc/loadavg: 3.10 2.46 1.56 4/447 432263
/proc/meminfo: memFree=1475660/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=223976 CPUtime=333.53 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55210 0 0 0 33335 18 0 0 20 0 1 0 233348013 257667072 55994 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 55994 1483 2 0 55316 0
Current children cumulated CPU time: 333.53 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 223976 KiB

[startup+402.301 s]
/proc/loadavg: 3.08 2.58 1.66 4/447 432273
/proc/meminfo: memFree=1475912/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=223976 CPUtime=392.05 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55210 0 0 0 39187 18 0 0 20 0 1 0 233348013 257667072 55994 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 55994 1483 2 0 55316 0
Current children cumulated CPU time: 392.05 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 223976 KiB

[startup+462.301 s]
/proc/loadavg: 3.03 2.66 1.75 4/447 432282
/proc/meminfo: memFree=1472588/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=223980 CPUtime=450.56 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55212 0 0 0 45038 18 0 0 20 0 1 0 233348013 257667072 55995 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 55995 1483 2 0 55316 0
Current children cumulated CPU time: 450.56 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 223980 KiB

[startup+522.301 s]
/proc/loadavg: 3.08 2.74 1.83 4/447 432292
/proc/meminfo: memFree=1472200/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=223980 CPUtime=509.09 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55214 0 0 0 50891 18 0 0 20 0 1 0 233348013 257667072 55995 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 55995 1483 2 0 55316 0
Current children cumulated CPU time: 509.09 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 223980 KiB

[startup+582.301 s]
/proc/loadavg: 3.08 2.80 1.91 4/447 432302
/proc/meminfo: memFree=1471492/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=225052 CPUtime=567.61 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55215 0 0 0 56743 18 0 0 20 0 1 0 233348013 257667072 56263 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 56263 1483 2 0 55316 0
Current children cumulated CPU time: 567.61 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 225052 KiB

[startup+642.301 s]
/proc/loadavg: 3.03 2.84 1.98 4/447 432313
/proc/meminfo: memFree=1471268/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=225052 CPUtime=626.13 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55215 0 0 0 62595 18 0 0 20 0 1 0 233348013 257667072 56263 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 56263 1483 2 0 55316 0
Current children cumulated CPU time: 626.13 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 225052 KiB

[startup+702.301 s]
/proc/loadavg: 3.05 2.89 2.06 4/448 432324
/proc/meminfo: memFree=1471264/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=225052 CPUtime=684.66 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55215 0 0 0 68448 18 0 0 20 0 1 0 233348013 257667072 56263 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 56263 1483 2 0 55316 0
Current children cumulated CPU time: 684.66 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 225052 KiB

[startup+762.301 s]
/proc/loadavg: 3.02 2.91 2.12 4/448 432334
/proc/meminfo: memFree=1471012/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=225052 CPUtime=743.18 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55215 0 0 0 74300 18 0 0 20 0 1 0 233348013 257667072 56263 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 56263 1483 2 0 55316 0
Current children cumulated CPU time: 743.18 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 225052 KiB

[startup+822.301 s]
/proc/loadavg: 3.04 2.94 2.18 4/447 432344
/proc/meminfo: memFree=1471232/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251628 memory=225052 CPUtime=801.7 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55215 0 0 0 80152 18 0 0 20 0 1 0 233348013 257667072 56263 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62907 56263 1483 2 0 55316 0
Current children cumulated CPU time: 801.7 s
Current children cumulated vsize: 251628 KiB
Current children cumulated memory: 225052 KiB

[startup+882.301 s]
/proc/loadavg: 3.14 3.00 2.25 4/447 432353
/proc/meminfo: memFree=1471232/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251936 memory=225296 CPUtime=860.22 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55255 0 0 0 86004 18 0 0 20 0 1 0 233348013 257982464 56324 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62984 56324 1483 2 0 55393 0
Current children cumulated CPU time: 860.22 s
Current children cumulated vsize: 251936 KiB
Current children cumulated memory: 225296 KiB

[startup+942.301 s]
/proc/loadavg: 3.05 3.00 2.30 4/448 432363
/proc/meminfo: memFree=1471200/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251936 memory=225296 CPUtime=918.74 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55255 0 0 0 91856 18 0 0 20 0 1 0 233348013 257982464 56324 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62984 56324 1483 2 0 55393 0
Current children cumulated CPU time: 918.74 s
Current children cumulated vsize: 251936 KiB
Current children cumulated memory: 225296 KiB

[startup+1002.3 s]
/proc/loadavg: 3.02 3.00 2.35 4/446 432376
/proc/meminfo: memFree=1470948/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251936 memory=225296 CPUtime=977.26 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55266 0 0 0 97708 18 0 0 20 0 1 0 233348013 257982464 56324 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62984 56324 1483 2 0 55393 0
Current children cumulated CPU time: 977.26 s
Current children cumulated vsize: 251936 KiB
Current children cumulated memory: 225296 KiB

[startup+1062.3 s]
/proc/loadavg: 3.00 3.00 2.39 4/449 432391
/proc/meminfo: memFree=1470480/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251936 memory=225296 CPUtime=1035.78 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55266 0 0 0 103560 18 0 0 20 0 1 0 233348013 257982464 56324 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62984 56324 1483 2 0 55393 0
Current children cumulated CPU time: 1035.78 s
Current children cumulated vsize: 251936 KiB
Current children cumulated memory: 225296 KiB

[startup+1122.3 s]
/proc/loadavg: 3.00 3.00 2.43 4/449 432401
/proc/meminfo: memFree=1470336/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=251936 memory=225296 CPUtime=1094.29 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55281 0 0 0 109411 18 0 0 20 0 1 0 233348013 257982464 56324 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 62984 56324 1483 2 0 55393 0
Current children cumulated CPU time: 1094.29 s
Current children cumulated vsize: 251936 KiB
Current children cumulated memory: 225296 KiB

[startup+1182.3 s]
/proc/loadavg: 3.06 3.01 2.48 4/449 432411
/proc/meminfo: memFree=1470112/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=252444 memory=225824 CPUtime=1152.8 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55387 0 0 0 115262 18 0 0 20 0 1 0 233348013 258502656 56456 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 63111 56456 1483 2 0 55520 0
Current children cumulated CPU time: 1152.8 s
Current children cumulated vsize: 252444 KiB
Current children cumulated memory: 225824 KiB

[startup+1242.3 s]
/proc/loadavg: 3.02 3.01 2.51 4/449 432422
/proc/meminfo: memFree=1470108/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=252444 memory=225824 CPUtime=1211.31 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55388 0 0 0 121113 18 0 0 20 0 1 0 233348013 258502656 56456 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 63111 56456 1483 2 0 55520 0
Current children cumulated CPU time: 1211.31 s
Current children cumulated vsize: 252444 KiB
Current children cumulated memory: 225824 KiB

[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 2.55 4/449 432431
/proc/meminfo: memFree=1469856/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=252444 memory=225824 CPUtime=1269.82 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55389 0 0 0 126964 18 0 0 20 0 1 0 233348013 258502656 56456 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 63111 56456 1483 2 0 55520 0
Current children cumulated CPU time: 1269.82 s
Current children cumulated vsize: 252444 KiB
Current children cumulated memory: 225824 KiB

[startup+1362.3 s]
/proc/loadavg: 3.57 3.14 2.62 4/448 432451
/proc/meminfo: memFree=1469572/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=252932 memory=226352 CPUtime=1328.33 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55524 0 0 0 132815 18 0 0 20 0 1 0 233348013 259002368 56588 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 63233 56588 1483 2 0 55642 0
Current children cumulated CPU time: 1328.33 s
Current children cumulated vsize: 252932 KiB
Current children cumulated memory: 226352 KiB

[startup+1422.3 s]
/proc/loadavg: 4.56 3.50 2.78 4/450 432467
/proc/meminfo: memFree=1469256/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=252932 memory=226352 CPUtime=1386.83 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55525 0 0 0 138665 18 0 0 20 0 1 0 233348013 259002368 56588 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 63233 56588 1483 2 0 55642 0
Current children cumulated CPU time: 1386.83 s
Current children cumulated vsize: 252932 KiB
Current children cumulated memory: 226352 KiB

[startup+1482.3 s]
/proc/loadavg: 4.63 3.73 2.91 4/450 432476
/proc/meminfo: memFree=1469256/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=253420 memory=226616 CPUtime=1445.33 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55643 0 0 0 144515 18 0 0 20 0 1 0 233348013 259502080 56654 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 63355 56654 1483 2 0 55764 0
Current children cumulated CPU time: 1445.33 s
Current children cumulated vsize: 253420 KiB
Current children cumulated memory: 226616 KiB

[startup+1542.3 s]
/proc/loadavg: 4.07 3.76 2.97 4/449 432485
/proc/meminfo: memFree=1468352/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=254028 memory=227416 CPUtime=1503.85 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55795 0 0 0 150366 19 0 0 20 0 1 0 233348013 260124672 56854 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 63507 56854 1483 2 0 55916 0
Current children cumulated CPU time: 1503.85 s
Current children cumulated vsize: 254028 KiB
Current children cumulated memory: 227416 KiB

[startup+1602.3 s]
/proc/loadavg: 3.39 3.62 2.98 4/450 432497
/proc/meminfo: memFree=1468156/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=254164 memory=227416 CPUtime=1562.36 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 55829 0 0 0 156217 19 0 0 20 0 1 0 233348013 260263936 56854 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 63541 56854 1483 2 0 55950 0
Current children cumulated CPU time: 1562.36 s
Current children cumulated vsize: 254164 KiB
Current children cumulated memory: 227416 KiB

[startup+1662.3 s]
/proc/loadavg: 3.22 3.52 2.99 4/450 432506
/proc/meminfo: memFree=1467396/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=255180 memory=228472 CPUtime=1620.87 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 56070 0 0 0 162068 19 0 0 20 0 1 0 233348013 261304320 57118 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 63795 57118 1483 2 0 56204 0
Current children cumulated CPU time: 1620.87 s
Current children cumulated vsize: 255180 KiB
Current children cumulated memory: 228472 KiB

[startup+1722.3 s]
/proc/loadavg: 2.64 3.32 2.96 2/433 432520
/proc/meminfo: memFree=1488264/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=255180 memory=228472 CPUtime=1679.38 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 56070 0 0 0 167919 19 0 0 20 0 1 0 233348013 261304320 57118 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 63795 57118 1483 2 0 56204 0
Current children cumulated CPU time: 1679.38 s
Current children cumulated vsize: 255180 KiB
Current children cumulated memory: 228472 KiB

[startup+1782.3 s]
/proc/loadavg: 1.60 2.90 2.84 2/432 432531
/proc/meminfo: memFree=1488456/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=255504 memory=228736 CPUtime=1737.92 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 56156 0 0 0 173773 19 0 0 20 0 1 0 233348013 261636096 57184 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 63876 57184 1483 2 0 56285 0
Current children cumulated CPU time: 1737.92 s
Current children cumulated vsize: 255504 KiB
Current children cumulated memory: 228736 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 1.47 2.81 2.81 2/432 432531
/proc/meminfo: memFree=1488512/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=255504 memory=228736 CPUtime=1755.22 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 56156 0 0 0 175503 19 0 0 20 0 1 0 233348013 261636096 57184 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 63876 57184 1483 2 0 56285 0
Current children cumulated CPU time: 1755.22 s
Current children cumulated vsize: 255504 KiB
Current children cumulated memory: 228736 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Detected pigeons:

[startup+1800.56 s]
# the end of solver process 432192 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1755.54 s, system=0.213297 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.4 s]
/proc/loadavg: 1.47 2.81 2.81 2/432 432531
/proc/meminfo: memFree=1488512/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=255504 memory=228736 CPUtime=1755.58 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 56156 0 0 0 175539 19 0 0 20 0 1 0 233348013 261636096 57184 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 0 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 63876 57184 1483 2 0 56285 0
Current children cumulated CPU time: 1755.58 s
Current children cumulated vsize: 255504 KiB
Current children cumulated memory: 228736 KiB

[startup+1800.5 s]
/proc/loadavg: 1.47 2.81 2.81 2/432 432531
/proc/meminfo: memFree=1488512/3726824 swapFree=8388604/8388604
[pid=432192] ppid=432191 vsize=196144 memory=170216 CPUtime=1755.68 cores=2
/proc/432192/stat : 432192 (pigeonPurSampli) R 432191 432192 432185 0 -1 4194304 56156 0 0 0 175549 19 0 0 20 0 1 0 233348013 200851456 42554 18446744073709551615 94899358654464 94899358658576 140725777728832 0 0 0 0 16781312 0 0 0 0 17 2 0 0 1 0 0 94899360759040 94899360759812 94899367542784 140725777732134 140725777732226 140725777732226 140725777735649 0
/proc/432192/statm: 49036 42554 1483 2 0 41445 0
Current children cumulated CPU time: 1755.68 s
Current children cumulated vsize: 196144 KiB
Current children cumulated memory: 170216 KiB

Child status: 1
Real time (s): 1800.56
CPU time (s): 1755.75
CPU user time (s): 1755.54
CPU system time (s): 0.213297
CPU usage (%): 97.5112
Max. virtual memory (cumulated for all children) (KiB): 255504
Max. memory (cumulated for all children) (KiB): 228736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.54
system time used= 0.213297
maximum resident set size= 228736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56158
page faults= 0
swaps= 0
block input operations= 28288
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121
involuntary context switches= 26538


# summary of solver processes directly reported to runsolver:
#   pid: 432192
#   total CPU time (s): 1755.75
#   total CPU user time (s): 1755.54
#   total CPU system time (s): 0.213297

??? end of timestamper thread
runsolver used 15.9394 second user time and 23.0908 second system time

The end
