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 (52945 MiB free)
  memory of node 1: 64473 MiB (55126 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455978-1721718370/watcher-4455978-1721718370 -o /tmp/evaluation-result-4455978-1721718370/solver-4455978-1721718370 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721718368-88049 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4455978-1721718370.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=88175, runsolver pid=88172
Current StackSize limit: 8192 KiB


[startup+0.100781 s]*
/proc/loadavg: 1.57 1.96 2.04 5/257 88180
/proc/meminfo: memFree=110648976/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=19740 memory=18052 CPUtime=0.09 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 4398 0 0 0 9 0 0 0 20 0 1 0 8365351 20213760 4513 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 4935 4513 421 379 0 4469 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29672 KiB
Current children cumulated memory: 20784 KiB

[startup+0.205492 s]*
/proc/loadavg: 1.57 1.96 2.04 5/257 88180
/proc/meminfo: memFree=110654104/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=25756 memory=22208 CPUtime=0.19 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 4908 0 0 0 19 0 0 0 20 0 1 0 8365351 26374144 5552 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 6439 5552 421 379 0 5973 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35688 KiB
Current children cumulated memory: 24940 KiB

[startup+0.30541 s]*
/proc/loadavg: 1.57 1.96 2.04 5/257 88180
/proc/meminfo: memFree=110650620/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=25756 memory=23528 CPUtime=0.29 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 5242 0 0 0 29 0 0 0 20 0 1 0 8365351 26374144 5882 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 6439 5882 421 379 0 5973 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 35688 KiB
Current children cumulated memory: 26260 KiB

[startup+0.700197 s]
/proc/loadavg: 1.57 1.96 2.04 5/257 88180
/proc/meminfo: memFree=110636888/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=28476 memory=26960 CPUtime=0.68 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 6098 0 0 0 68 0 0 0 20 0 1 0 8365351 29159424 6740 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 7119 6740 421 379 0 6653 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38408 KiB
Current children cumulated memory: 29692 KiB

[startup+1.50025 s]
/proc/loadavg: 1.57 1.96 2.04 5/257 88180
/proc/meminfo: memFree=110408232/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=50932 memory=42420 CPUtime=1.48 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 10341 0 0 0 146 2 0 0 20 0 1 0 8365351 52154368 10605 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 12733 10605 421 379 0 12267 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60864 KiB
Current children cumulated memory: 45152 KiB

[startup+3.10536 s]
/proc/loadavg: 1.57 1.96 2.04 5/257 88180
/proc/meminfo: memFree=110071480/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=55544 memory=52192 CPUtime=3.08 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 11297 0 0 0 306 2 0 0 20 0 1 0 8365351 56877056 13048 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 13886 13048 421 379 0 13420 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65476 KiB
Current children cumulated memory: 54924 KiB

[startup+6.30024 s]
/proc/loadavg: 1.77 2.00 2.06 5/257 88180
/proc/meminfo: memFree=109476796/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=62616 memory=56092 CPUtime=6.26 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 12337 0 0 0 624 2 0 0 20 0 1 0 8365351 64118784 14023 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 15654 14023 421 379 0 15188 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 72548 KiB
Current children cumulated memory: 58824 KiB

[startup+12.7002 s]
/proc/loadavg: 2.27 2.10 2.09 5/256 88181
/proc/meminfo: memFree=106783188/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=93076 memory=81344 CPUtime=12.66 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 13528 0 0 0 1262 4 0 0 20 0 1 0 8365351 95309824 20336 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 23269 20336 421 379 0 22803 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 103008 KiB
Current children cumulated memory: 84076 KiB

[startup+25.5002 s]
/proc/loadavg: 2.65 2.19 2.12 5/256 88183
/proc/meminfo: memFree=103683380/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=96308 memory=92948 CPUtime=25.43 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 14712 0 0 0 2538 5 0 0 20 0 1 0 8365351 98619392 23237 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 24077 23237 421 379 0 23611 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 106240 KiB
Current children cumulated memory: 95680 KiB

[startup+51.1055 s]
/proc/loadavg: 3.18 2.35 2.18 5/256 88187
/proc/meminfo: memFree=99435532/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=164304 memory=144572 CPUtime=50.98 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 14978 0 0 0 5091 7 0 0 20 0 1 0 8365351 168247296 36143 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 41076 36143 421 379 0 40610 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 174236 KiB
Current children cumulated memory: 147304 KiB

[startup+102.3 s]
/proc/loadavg: 3.71 2.62 2.28 5/256 88196
/proc/meminfo: memFree=87685816/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=115352 memory=112000 CPUtime=102.05 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 15724 0 0 0 10192 13 0 0 20 0 1 0 8365351 118120448 28000 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 28838 28000 421 379 0 28372 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 125284 KiB
Current children cumulated memory: 114732 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.89 2.39 5/257 88207
/proc/meminfo: memFree=78895852/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=164672 memory=144980 CPUtime=161.9 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 17855 0 0 0 16168 22 0 0 20 0 1 0 8365351 168624128 36245 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 41168 36245 421 379 0 40702 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 174604 KiB
Current children cumulated memory: 147712 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.13 2.51 5/257 88218
/proc/meminfo: memFree=73980272/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=164672 memory=159316 CPUtime=221.77 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 21213 0 0 0 22148 29 0 0 20 0 1 0 8365351 168624128 39829 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 41168 39829 421 379 0 40702 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 174604 KiB

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

/proc/88180/statm: 82609 75321 421 379 0 82143 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 340368 KiB
Current children cumulated memory: 304016 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.17 4.07 5/258 90117
/proc/meminfo: memFree=105482968/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=330596 memory=284820 CPUtime=3153.92 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 135679 0 0 0 315170 222 0 0 20 0 1 0 8365351 338530304 71205 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 82649 71205 421 379 0 82183 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 340528 KiB
Current children cumulated memory: 287552 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.17 4.08 5/259 90128
/proc/meminfo: memFree=101232964/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=280812 memory=258636 CPUtime=3213.74 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 137372 0 0 0 321149 225 0 0 20 0 1 0 8365351 287551488 64659 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 70203 64659 421 379 0 69737 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 290744 KiB
Current children cumulated memory: 261368 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.08 5/260 90142
/proc/meminfo: memFree=94341916/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=281448 memory=255628 CPUtime=3273.58 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 138787 0 0 0 327129 229 0 0 20 0 1 0 8365351 288202752 63907 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 70362 63907 421 379 0 69896 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 291380 KiB
Current children cumulated memory: 258360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.08 5/260 90165
/proc/meminfo: memFree=89351508/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=285728 memory=257472 CPUtime=3333.41 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 141538 0 0 0 333107 234 0 0 20 0 1 0 8365351 292585472 64368 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 71432 64368 421 379 0 70966 0
Current children cumulated CPU time: 3333.41 s
Current children cumulated vsize: 295660 KiB
Current children cumulated memory: 260204 KiB

[startup+3402.3 s]
/proc/loadavg: 4.59 4.27 4.13 5/261 90233
/proc/meminfo: memFree=106568544/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=335956 memory=326424 CPUtime=3393.23 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 142581 0 0 0 339088 235 0 0 20 0 1 0 8365351 344018944 81606 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 83989 81606 421 379 0 83523 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 345888 KiB
Current children cumulated memory: 329156 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.23 4.12 5/260 90243
/proc/meminfo: memFree=106255860/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=336376 memory=299992 CPUtime=3453.05 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 144383 0 0 0 345067 238 0 0 20 0 1 0 8365351 344449024 74998 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 84094 74998 421 379 0 83628 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 346308 KiB
Current children cumulated memory: 302724 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.20 4.12 5/259 90254
/proc/meminfo: memFree=106200248/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=287132 memory=271068 CPUtime=3512.87 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 145568 0 0 0 351046 241 0 0 20 0 1 0 8365351 294023168 67767 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 71783 67767 421 379 0 71317 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 297064 KiB
Current children cumulated memory: 273800 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.19 4.12 5/257 90264
/proc/meminfo: memFree=106202572/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=422116 memory=343432 CPUtime=3572.71 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 147949 0 0 0 357027 244 0 0 20 0 1 0 8365351 432246784 85858 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 105529 85858 421 379 0 105063 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 432048 KiB
Current children cumulated memory: 346164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.16 4.19 4.12 5/257 90268
/proc/meminfo: memFree=106243508/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=340896 memory=293700 CPUtime=3600.03 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 148913 0 0 0 359757 246 0 0 20 0 1 0 8365351 349077504 73425 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 85224 73425 421 379 0 84758 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 350828 KiB
Current children cumulated memory: 296432 KiB

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

[startup+3609.71 s]
# the end of solver process 88175 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002131 s, system=0.000626 s

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

# cumulated CPU time of all completed processes:  user=3597.58 s, system=2.46613 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3609.7 s]
/proc/loadavg: 4.16 4.19 4.12 5/257 90268
/proc/meminfo: memFree=106243508/131524600 swapFree=131071996/131071996
[pid=88175] ppid=88172 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/88175/stat : 88175 (naps-1.02b5.sh) S 88172 88175 88038 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 8365351 10170368 683 134679101440 94406161436672 94406162515992 140728000364448 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94406164614448 94406164661636 94406189969408 140728000373731 140728000373858 140728000373858 140728000380870 0
/proc/88175/statm: 2483 683 604 264 0 134 0
[pid=88180] ppid=88175 vsize=340896 memory=293700 CPUtime=3600.03 cores=4,6
/proc/88180/stat : 88180 (naps-1.02b5) R 88175 88175 88038 0 -1 4194304 148913 0 0 0 359757 246 0 0 20 0 1 0 8365351 349077504 73425 134679101440 4194304 5746509 140721485159616 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17756160 140721485161458 140721485161572 140721485161572 140721485168585 0
/proc/88180/statm: 85224 73425 421 379 0 84758 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 350828 KiB
Current children cumulated memory: 296432 KiB

Child status: 10

Real time (s): 3609.71
CPU time (s): 3600.04
CPU user time (s): 3597.58
CPU system time (s): 2.46613
CPU usage (%): 99.7323
Max. virtual memory (cumulated for all children) (KiB): 471540
Max. memory (cumulated for all children) (KiB): 381156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.58
system time used= 2.46613
maximum resident set size= 396136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149374
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= 46
involuntary context switches= 4486


# summary of solver processes directly reported to runsolver:
#   pid: 88175,88180
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3597.58
#   total CPU system time (s): 2.46613

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13518 second user time and 17.6445 second system time

The end