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: 64059 MiB (50164 MiB free)
  memory of node 1: 64510 MiB (63385 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4427067-1720905652/watcher-4427067-1720905652 -o /tmp/evaluation-result-4427067-1720905652/solver-4427067-1720905652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1720905553-724283 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427067-1720905652.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=724528, runsolver pid=724525

[startup+0.100098 s]*
/proc/loadavg: 3.67 2.62 2.33 5/248 724533
/proc/meminfo: memFree=116260952/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=14532 memory=13020 CPUtime=0.1 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 3274 0 0 0 10 0 0 0 20 0 1 0 142723936 14880768 3255 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 3633 3255 421 379 0 3167 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24464 KiB
Current children cumulated memory: 15708 KiB

[startup+0.213344 s]*
/proc/loadavg: 3.67 2.62 2.33 5/248 724533
/proc/meminfo: memFree=116255208/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=18236 memory=15660 CPUtime=0.21 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 3977 0 0 0 21 0 0 0 20 0 1 0 142723936 18673664 3915 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 4559 3915 421 379 0 4093 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28168 KiB
Current children cumulated memory: 18348 KiB

[startup+0.313699 s]*
/proc/loadavg: 3.67 2.62 2.33 5/248 724533
/proc/meminfo: memFree=116245424/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=25312 memory=22132 CPUtime=0.31 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 4574 0 0 0 31 0 0 0 20 0 1 0 142723936 25919488 5533 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 6328 5533 421 379 0 5862 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35244 KiB
Current children cumulated memory: 24820 KiB

[startup+0.700404 s]
/proc/loadavg: 3.67 2.62 2.33 5/248 724533
/proc/meminfo: memFree=116239692/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=25336 memory=21276 CPUtime=0.69 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 5475 0 0 0 68 1 0 0 20 0 1 0 142723936 25944064 5319 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 6334 5319 421 379 0 5868 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35268 KiB
Current children cumulated memory: 23964 KiB

[startup+1.50043 s]
/proc/loadavg: 3.67 2.62 2.33 5/248 724533
/proc/meminfo: memFree=116218596/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=44012 memory=42308 CPUtime=1.48 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 6092 0 0 0 147 1 0 0 20 0 1 0 142723936 45068288 10577 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 11003 10577 421 379 0 10537 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53944 KiB
Current children cumulated memory: 44996 KiB

[startup+3.11291 s]
/proc/loadavg: 3.70 2.64 2.34 5/248 724533
/proc/meminfo: memFree=116136088/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=63216 memory=58184 CPUtime=3.09 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 7122 0 0 0 307 2 0 0 20 0 1 0 142723936 64733184 14546 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 15804 14546 421 379 0 15338 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 73148 KiB
Current children cumulated memory: 60872 KiB

[startup+6.30038 s]
/proc/loadavg: 3.70 2.64 2.34 5/248 724535
/proc/meminfo: memFree=116048128/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=112536 memory=93104 CPUtime=6.26 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 7862 0 0 0 622 4 0 0 20 0 1 0 142723936 115236864 23276 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 28134 23276 421 379 0 27668 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 122468 KiB
Current children cumulated memory: 95792 KiB

[startup+12.7004 s]
/proc/loadavg: 3.75 2.69 2.36 5/248 724535
/proc/meminfo: memFree=115997292/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=63856 memory=62888 CPUtime=12.65 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 8761 0 0 0 1260 5 0 0 20 0 1 0 142723936 65388544 15722 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 15964 15722 421 379 0 15498 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73788 KiB
Current children cumulated memory: 65576 KiB

[startup+25.5004 s]
/proc/loadavg: 3.79 2.73 2.38 5/248 724536
/proc/meminfo: memFree=115621152/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=94712 memory=92152 CPUtime=25.42 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 9479 0 0 0 2536 6 0 0 20 0 1 0 142723936 96985088 23038 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 23678 23038 421 379 0 23212 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 104644 KiB
Current children cumulated memory: 94840 KiB

[startup+51.1131 s]
/proc/loadavg: 3.93 2.85 2.43 5/248 724541
/proc/meminfo: memFree=112467084/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=144032 memory=131040 CPUtime=50.97 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 11472 0 0 0 5084 13 0 0 20 0 1 0 142723936 147488768 32760 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 36008 32760 421 379 0 35542 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 153964 KiB
Current children cumulated memory: 133728 KiB

[startup+102.3 s]
/proc/loadavg: 4.03 3.06 2.52 5/248 724550
/proc/meminfo: memFree=107548496/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=94712 memory=93752 CPUtime=102.04 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 14611 0 0 0 10177 27 0 0 20 0 1 0 142723936 96985088 23438 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 23678 23438 421 379 0 23212 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 104644 KiB
Current children cumulated memory: 96440 KiB

[startup+162.3 s]
/proc/loadavg: 4.62 3.40 2.68 5/248 724610
/proc/meminfo: memFree=118593508/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=162780 memory=160916 CPUtime=161.87 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 23392 0 0 0 16143 44 0 0 20 0 1 0 142723936 166686720 40229 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 40695 40229 421 379 0 40229 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 172712 KiB
Current children cumulated memory: 163604 KiB

[startup+222.3 s]
/proc/loadavg: 4.62 3.66 2.82 5/248 724720
/proc/meminfo: memFree=112137876/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=193600 memory=174732 CPUtime=221.72 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 32196 0 0 0 22112 60 0 0 20 0 1 0 142723936 198246400 43683 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 48400 43683 421 379 0 47934 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 203532 KiB

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

/proc/724533/statm: 77756 73834 421 379 0 77290 0
Current children cumulated CPU time: 3034.02 s
Current children cumulated vsize: 320956 KiB
Current children cumulated memory: 298024 KiB

[startup+3102.3 s]
/proc/loadavg: 4.20 4.31 4.21 5/249 727756
/proc/meminfo: memFree=87418896/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=262680 memory=247456 CPUtime=3093.87 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 276375 0 0 0 308923 464 0 0 20 0 1 0 142723936 268984320 61864 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 65670 61864 421 379 0 65204 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 272612 KiB
Current children cumulated memory: 250144 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.29 4.20 5/248 727766
/proc/meminfo: memFree=84333396/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=394440 memory=329536 CPUtime=3153.71 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 279739 0 0 0 314901 470 0 0 20 0 1 0 142723936 403906560 82384 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 98610 82384 421 379 0 98144 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 404372 KiB
Current children cumulated memory: 332224 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.26 4.20 5/246 727826
/proc/meminfo: memFree=105044616/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=397668 memory=328252 CPUtime=3213.55 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 284401 0 0 0 320877 478 0 0 20 0 1 0 142723936 407212032 82063 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 99417 82063 421 379 0 98951 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 407600 KiB
Current children cumulated memory: 330940 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.23 4.19 5/245 727837
/proc/meminfo: memFree=103919588/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=320712 memory=311896 CPUtime=3273.39 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 288674 0 0 0 326854 485 0 0 20 0 1 0 142723936 328409088 77974 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 80178 77974 421 379 0 79712 0
Current children cumulated CPU time: 3273.39 s
Current children cumulated vsize: 330644 KiB
Current children cumulated memory: 314584 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.21 4.18 5/245 727847
/proc/meminfo: memFree=102351708/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=321052 memory=275140 CPUtime=3333.23 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 292610 0 0 0 332832 491 0 0 20 0 1 0 142723936 328757248 68785 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 80263 68785 421 379 0 79797 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 330984 KiB
Current children cumulated memory: 277828 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.23 4.19 5/245 727857
/proc/meminfo: memFree=99754024/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=271132 memory=255796 CPUtime=3393.07 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 295735 0 0 0 338809 498 0 0 20 0 1 0 142723936 277639168 63949 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 67783 63949 421 379 0 67317 0
Current children cumulated CPU time: 3393.07 s
Current children cumulated vsize: 281064 KiB
Current children cumulated memory: 258484 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.22 4.18 5/245 727867
/proc/meminfo: memFree=96688084/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=326168 memory=281828 CPUtime=3452.91 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 301532 0 0 0 344786 505 0 0 20 0 1 0 142723936 333996032 70457 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 81542 70457 421 379 0 81076 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 336100 KiB
Current children cumulated memory: 284516 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.21 4.18 5/245 727878
/proc/meminfo: memFree=94538000/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=410316 memory=335512 CPUtime=3512.76 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 306504 0 0 0 350760 516 0 0 20 0 1 0 142723936 420163584 83878 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 102579 83878 421 379 0 102113 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 420248 KiB
Current children cumulated memory: 338200 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/247 728143
/proc/meminfo: memFree=91203264/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=331372 memory=301020 CPUtime=3572.59 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 312040 0 0 0 356731 528 0 0 20 0 1 0 142723936 339324928 75255 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 82843 75255 421 379 0 82377 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 341304 KiB
Current children cumulated memory: 303708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.14 4.18 4.18 5/247 728147
/proc/meminfo: memFree=89493720/131655788 swapFree=131071996/131071996
[pid=724528] ppid=724525 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/724528/stat : 724528 (naps-1.02b5.sh) S 724525 724528 721865 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 142723936 10170368 672 134679101440 94772272685056 94772273764376 140732347001424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772275862832 94772275910020 94772302712832 140732347003820 140732347003947 140732347003947 140732347011014 0
/proc/724528/statm: 2483 672 594 264 0 134 0
[pid=724533] ppid=724528 vsize=413224 memory=334064 CPUtime=3600.01 cores=1,3
/proc/724533/stat : 724533 (naps-1.02b5) R 724528 724528 721865 0 -1 4194304 314849 0 0 0 359468 533 0 0 20 0 1 0 142723936 423141376 83516 134679101440 4194304 5746509 140734634244368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 10772480 140734634247099 140734634247213 140734634247213 140734634254281 0
/proc/724533/statm: 103306 83516 421 379 0 102840 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 423156 KiB
Current children cumulated memory: 336752 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.003712 s, system=0.00222 s

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

# cumulated CPU time of all completed processes:  user=3594.69 s, system=5.33918 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

Child status: 10

Real time (s): 3609.81
CPU time (s): 3600.03
CPU user time (s): 3594.69
CPU system time (s): 5.33918
CPU usage (%): 99.7292
Max. virtual memory (cumulated for all children) (KiB): 471844
Max. memory (cumulated for all children) (KiB): 391052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.69
system time used= 5.33918
maximum resident set size= 399480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315307
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= 30
involuntary context switches= 4560


# summary of solver processes directly reported to runsolver:
#   pid: 724528,724533
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3594.69
#   total CPU system time (s): 5.33918

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.2314 second user time and 34.9539 second system time

The end