runsolver version 3.4.2 (svn: 4680) 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: 2
  memory of node 0: 63968 MiB (61123 MiB free)
  memory of node 1: 64473 MiB (55648 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435162-1721108070/watcher-4435162-1721108070 -o /tmp/evaluation-result-4435162-1721108070/solver-4435162-1721108070 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721103593-837409 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435162-1721108070.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=840450, runsolver pid=840447
Current StackSize limit: 8192 KiB


[startup+0.100282 s]*
/proc/loadavg: 4.61 4.27 4.16 5/263 840455
/proc/meminfo: memFree=119572420/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=3544 memory=2772 CPUtime=0.09 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 386 0 0 0 9 0 0 0 20 0 1 0 162970831 3629056 693 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 886 693 405 379 0 420 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13476 KiB
Current children cumulated memory: 5412 KiB

[startup+0.205828 s]*
/proc/loadavg: 4.61 4.27 4.16 5/263 840455
/proc/meminfo: memFree=119572028/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=3544 memory=2772 CPUtime=0.2 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 403 0 0 0 20 0 0 0 20 0 1 0 162970831 3629056 693 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 886 693 405 379 0 420 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13476 KiB
Current children cumulated memory: 5412 KiB

[startup+0.306006 s]*
/proc/loadavg: 4.61 4.27 4.16 5/263 840455
/proc/meminfo: memFree=119571888/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=3544 memory=2772 CPUtime=0.3 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 406 0 0 0 30 0 0 0 20 0 1 0 162970831 3629056 693 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 886 693 405 379 0 420 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13476 KiB
Current children cumulated memory: 5412 KiB

[startup+0.700271 s]
/proc/loadavg: 4.61 4.27 4.16 5/263 840455
/proc/meminfo: memFree=119493648/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=139104 memory=123132 CPUtime=0.68 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 20790 0 0 0 65 3 0 0 20 0 1 0 162970831 142442496 30783 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 34776 30783 421 379 0 34310 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 149036 KiB
Current children cumulated memory: 125772 KiB

[startup+1.50029 s]
/proc/loadavg: 4.61 4.27 4.16 5/263 840455
/proc/meminfo: memFree=119417952/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=178272 memory=164236 CPUtime=1.48 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 26164 0 0 0 143 5 0 0 20 0 1 0 162970831 182550528 41059 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 44568 41059 421 379 0 44102 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 188204 KiB
Current children cumulated memory: 166876 KiB

[startup+3.10582 s]
/proc/loadavg: 4.72 4.30 4.17 5/263 840457
/proc/meminfo: memFree=119424596/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=159596 memory=149380 CPUtime=3.08 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 26180 0 0 0 303 5 0 0 20 0 1 0 162970831 163426304 37345 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 39899 37345 421 379 0 39433 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 169528 KiB
Current children cumulated memory: 152020 KiB

[startup+6.30025 s]
/proc/loadavg: 4.72 4.30 4.17 5/263 840457
/proc/meminfo: memFree=119420668/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=178272 memory=153140 CPUtime=6.26 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 26690 0 0 0 621 5 0 0 20 0 1 0 162970831 182550528 38285 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 44568 38285 421 379 0 44102 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 188204 KiB
Current children cumulated memory: 155780 KiB

[startup+12.7003 s]
/proc/loadavg: 4.66 4.29 4.17 5/264 840458
/proc/meminfo: memFree=119404096/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=196948 memory=169684 CPUtime=12.65 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 27264 0 0 0 1259 6 0 0 20 0 1 0 162970831 201674752 42421 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 49237 42421 421 379 0 48771 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 206880 KiB
Current children cumulated memory: 172324 KiB

[startup+25.5003 s]
/proc/loadavg: 4.73 4.33 4.19 5/263 840461
/proc/meminfo: memFree=119392084/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=196948 memory=176004 CPUtime=25.41 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 27313 0 0 0 2535 6 0 0 20 0 1 0 162970831 201674752 44001 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 49237 44001 421 379 0 48771 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 206880 KiB
Current children cumulated memory: 178644 KiB

[startup+51.1057 s]
/proc/loadavg: 4.85 4.38 4.21 5/259 840464
/proc/meminfo: memFree=119387016/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=206408 memory=196472 CPUtime=50.94 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 27907 0 0 0 5088 6 0 0 20 0 1 0 162970831 211361792 49118 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 51602 49118 421 379 0 51136 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 216340 KiB
Current children cumulated memory: 199112 KiB

[startup+102.3 s]
/proc/loadavg: 4.71 4.42 4.23 5/259 840473
/proc/meminfo: memFree=119365372/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=218080 memory=200756 CPUtime=101.99 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 29360 0 0 0 10191 8 0 0 20 0 1 0 162970831 223313920 50189 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 54520 50189 421 379 0 54054 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 228012 KiB
Current children cumulated memory: 203396 KiB

[startup+162.3 s]
/proc/loadavg: 4.41 4.38 4.23 5/259 840483
/proc/meminfo: memFree=119363468/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=218080 memory=202908 CPUtime=161.81 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 29434 0 0 0 16173 8 0 0 20 0 1 0 162970831 223313920 50727 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 54520 50727 421 379 0 54054 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 228012 KiB
Current children cumulated memory: 205548 KiB

[startup+222.3 s]
/proc/loadavg: 4.26 4.34 4.22 5/259 840494
/proc/meminfo: memFree=119393208/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=218080 memory=209052 CPUtime=221.64 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 29477 0 0 0 22156 8 0 0 20 0 1 0 162970831 223313920 52263 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 54520 52263 421 379 0 54054 0
Current children cumulated CPU time: 221.64 s

################
# More data... #
################

/proc/loadavg: 4.09 4.11 4.14 5/261 842173
/proc/meminfo: memFree=125477028/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=317312 memory=285524 CPUtime=3093.31 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 58123 0 0 0 309274 57 0 0 20 0 1 0 162970831 324927488 71381 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 79328 71381 421 379 0 78862 0
Current children cumulated CPU time: 3093.31 s
Current children cumulated vsize: 327244 KiB
Current children cumulated memory: 288164 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/261 842184
/proc/meminfo: memFree=125448372/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=287452 memory=265676 CPUtime=3153.1 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 58798 0 0 0 315252 58 0 0 20 0 1 0 162970831 294350848 66419 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 71863 66419 421 379 0 71397 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 297384 KiB
Current children cumulated memory: 268316 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/262 842363
/proc/meminfo: memFree=125458536/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=318272 memory=284436 CPUtime=3212.9 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 59580 0 0 0 321232 58 0 0 20 0 1 0 162970831 325910528 71109 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 79568 71109 421 379 0 79102 0
Current children cumulated CPU time: 3212.9 s
Current children cumulated vsize: 328204 KiB
Current children cumulated memory: 287076 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/261 842373
/proc/meminfo: memFree=125423560/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=318272 memory=296780 CPUtime=3272.7 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 59668 0 0 0 327211 59 0 0 20 0 1 0 162970831 325910528 74195 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 79568 74195 421 379 0 79102 0
Current children cumulated CPU time: 3272.7 s
Current children cumulated vsize: 328204 KiB
Current children cumulated memory: 299420 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/263 842441
/proc/meminfo: memFree=125463360/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=322580 memory=286168 CPUtime=3332.5 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 60667 0 0 0 333190 60 0 0 20 0 1 0 162970831 330321920 71542 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 80645 71542 421 379 0 80179 0
Current children cumulated CPU time: 3332.5 s
Current children cumulated vsize: 332512 KiB
Current children cumulated memory: 288808 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/264 842454
/proc/meminfo: memFree=125366356/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=322580 memory=303136 CPUtime=3392.29 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 60843 0 0 0 339169 60 0 0 20 0 1 0 162970831 330321920 75784 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 80645 75784 421 379 0 80179 0
Current children cumulated CPU time: 3392.29 s
Current children cumulated vsize: 332512 KiB
Current children cumulated memory: 305776 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/264 842465
/proc/meminfo: memFree=125421896/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=291760 memory=284436 CPUtime=3452.1 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 61303 0 0 0 345148 62 0 0 20 0 1 0 162970831 298762240 71109 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 72940 71109 421 379 0 72474 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 301692 KiB
Current children cumulated memory: 287076 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/262 842476
/proc/meminfo: memFree=125417856/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=322580 memory=301088 CPUtime=3511.88 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 62053 0 0 0 351126 62 0 0 20 0 1 0 162970831 330321920 75272 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 80645 75272 421 379 0 80179 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 332512 KiB
Current children cumulated memory: 303728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.12 5/262 842487
/proc/meminfo: memFree=125522924/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=291760 memory=282388 CPUtime=3571.69 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 62515 0 0 0 357106 63 0 0 20 0 1 0 162970831 298762240 70597 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 72940 70597 421 379 0 72474 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 301692 KiB
Current children cumulated memory: 285028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.09 4.11 4.12 5/262 842492
/proc/meminfo: memFree=125492408/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=322580 memory=290792 CPUtime=3600 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 63098 0 0 0 359936 64 0 0 20 0 1 0 162970831 330321920 72698 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 80645 72698 421 379 0 80179 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 332512 KiB
Current children cumulated memory: 293432 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.7 s]
# the end of solver process 840450 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.36 s, system=0.642614 s

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

[startup+3610.7 s]
/proc/loadavg: 4.09 4.11 4.12 5/262 842492
/proc/meminfo: memFree=125492408/131524600 swapFree=131071996/131071996
[pid=840450] ppid=840447 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/840450/stat : 840450 (naps-1.02b5.sh) S 840447 840450 837397 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 162970831 10170368 660 134679101440 94819581890560 94819582969880 140730562704096 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94819585068336 94819585115524 94819593957376 140730562708448 140730562708575 140730562708575 140730562715590 0
/proc/840450/statm: 2483 660 581 264 0 134 0
[pid=840455] ppid=840450 vsize=322580 memory=290792 CPUtime=3600 cores=1,3
/proc/840455/stat : 840455 (naps-1.02b5) R 840450 840450 837397 0 -1 4194304 63098 0 0 0 359936 64 0 0 20 0 1 0 162970831 330321920 72698 134679101440 4194304 5746509 140728255437152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 9891840 140728255443951 140728255444065 140728255444065 140728255451081 0
/proc/840455/statm: 80645 72698 421 379 0 80179 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 332512 KiB
Current children cumulated memory: 293432 KiB

Child status: 10

Real time (s): 3610.7
CPU time (s): 3600.01
CPU user time (s): 3599.36
CPU system time (s): 0.642614
CPU usage (%): 99.7038
Max. virtual memory (cumulated for all children) (KiB): 332512
Max. memory (cumulated for all children) (KiB): 307824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.36
system time used= 0.642614
maximum resident set size= 305184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63571
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76
involuntary context switches= 3389


# summary of solver processes directly reported to runsolver:
#   pid: 840450
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3599.36
#   total CPU system time (s): 0.642614

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93538 second user time and 18.0928 second system time

The end