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: 63665 MiB (62478 MiB free)
  memory of node 1: 64507 MiB (63128 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497184-1751391743/watcher-4497184-1751391743 -o /tmp/evaluation-result-4497184-1751391743/solver-4497184-1751391743 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751386340-51546 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4497184-1751391743.opb 

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=52399, runsolver pid=52396

[startup+0.100062 s]*
/proc/loadavg: 4.14 4.11 4.09 5/267 52403
/proc/meminfo: memFree=128621216/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=7740 memory=6144 CPUtime=0.08 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 1077 0 0 0 8 0 0 0 20 0 1 0 54854200 7925760 1536 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 1935 1536 576 696 0 1096 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 11932 KiB
Current children cumulated memory: 9088 KiB

[startup+0.205692 s]*
/proc/loadavg: 4.14 4.11 4.09 5/267 52403
/proc/meminfo: memFree=128621216/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=7872 memory=6144 CPUtime=0.19 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 1087 0 0 0 19 0 0 0 20 0 1 0 54854200 8060928 1536 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 1968 1536 576 696 0 1129 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 12064 KiB
Current children cumulated memory: 9088 KiB

[startup+0.305555 s]*
/proc/loadavg: 4.14 4.11 4.09 5/267 52403
/proc/meminfo: memFree=128621216/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=7872 memory=6144 CPUtime=0.29 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 1089 0 0 0 29 0 0 0 20 0 1 0 54854200 8060928 1536 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 1968 1536 576 696 0 1129 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 12064 KiB
Current children cumulated memory: 9088 KiB

[startup+0.700207 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 52403
/proc/meminfo: memFree=128598976/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=80116 memory=74704 CPUtime=0.67 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 13707 0 0 0 65 2 0 0 20 0 1 0 54854200 82038784 18676 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 20029 18676 576 696 0 19190 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 84308 KiB
Current children cumulated memory: 77648 KiB

[startup+1.50021 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 52403
/proc/meminfo: memFree=128413236/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=544952 memory=528944 CPUtime=1.47 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 61681 0 0 0 130 17 0 0 20 0 1 0 54854200 558030848 132236 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 136238 132236 608 696 0 135399 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 549144 KiB
Current children cumulated memory: 531888 KiB

[startup+3.10547 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 52403
/proc/meminfo: memFree=127909664/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=756092 memory=718496 CPUtime=3.07 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 82711 0 0 0 283 24 0 0 20 0 1 0 54854200 774238208 179624 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 189023 179624 608 696 0 188184 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 760284 KiB
Current children cumulated memory: 721440 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 52403
/proc/meminfo: memFree=127885440/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=781768 memory=738068 CPUtime=6.26 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 84093 0 0 0 601 25 0 0 20 0 1 0 54854200 800530432 184517 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 195442 184517 608 696 0 194603 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 785960 KiB
Current children cumulated memory: 741012 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 52403
/proc/meminfo: memFree=127803788/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=865268 memory=821452 CPUtime=12.64 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 89011 0 0 0 1228 36 0 0 20 0 1 0 54854200 886034432 205363 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 216317 205363 608 696 0 215478 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 869460 KiB
Current children cumulated memory: 824396 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 52404
/proc/meminfo: memFree=127651176/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=1078524 memory=962996 CPUtime=25.41 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 93598 0 0 0 2492 49 0 0 20 0 1 0 54854200 1104408576 240749 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 269631 240749 640 696 0 268792 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1082716 KiB
Current children cumulated memory: 965940 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 52404
/proc/meminfo: memFree=127778556/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=887460 memory=857564 CPUtime=50.93 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 106235 0 0 0 5023 70 0 0 20 0 1 0 54854200 908759040 214391 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 221865 214391 640 696 0 221026 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 891652 KiB
Current children cumulated memory: 860508 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 52409
/proc/meminfo: memFree=127771836/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=969360 memory=939912 CPUtime=101.98 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 112968 0 0 0 10112 86 0 0 20 0 1 0 54854200 992624640 234978 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 242340 234978 640 696 0 241501 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 973552 KiB
Current children cumulated memory: 942856 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/268 52416
/proc/meminfo: memFree=127760676/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=889692 memory=861044 CPUtime=161.81 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 115948 0 0 0 16080 101 0 0 20 0 1 0 54854200 911044608 215261 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 222423 215261 640 696 0 221584 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 893884 KiB
Current children cumulated memory: 863988 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 52418
/proc/meminfo: memFree=127751256/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=889556 memory=860908 CPUtime=221.64 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 120327 0 0 0 22051 113 0 0 20 0 1 0 54854200 910905344 215227 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 222389 215227 640 696 0 221550 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 893748 KiB

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

/proc/loadavg: 4.14 4.11 4.09 5/269 53166
/proc/meminfo: memFree=104571928/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=908400 memory=881160 CPUtime=3093.17 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 193781 0 0 0 308985 332 0 0 20 0 1 0 54854200 930201600 220290 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 227100 220290 640 696 0 226261 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 912592 KiB
Current children cumulated memory: 884104 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 53168
/proc/meminfo: memFree=103088748/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=908400 memory=881160 CPUtime=3152.98 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 194083 0 0 0 314964 334 0 0 20 0 1 0 54854200 930201600 220290 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 227100 220290 640 696 0 226261 0
Current children cumulated CPU time: 3152.98 s
Current children cumulated vsize: 912592 KiB
Current children cumulated memory: 884104 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/268 53173
/proc/meminfo: memFree=103598388/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=908888 memory=881528 CPUtime=3212.8 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 194589 0 0 0 320944 336 0 0 20 0 1 0 54854200 930701312 220382 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 227222 220382 640 696 0 226383 0
Current children cumulated CPU time: 3212.8 s
Current children cumulated vsize: 913080 KiB
Current children cumulated memory: 884472 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 53179
/proc/meminfo: memFree=103586424/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=913928 memory=886688 CPUtime=3272.62 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 195377 0 0 0 326923 339 0 0 20 0 1 0 54854200 935862272 221672 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 228482 221672 640 696 0 227643 0
Current children cumulated CPU time: 3272.62 s
Current children cumulated vsize: 918120 KiB
Current children cumulated memory: 889632 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 53181
/proc/meminfo: memFree=103553840/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=915752 memory=888392 CPUtime=3332.43 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 197193 0 0 0 332901 342 0 0 20 0 1 0 54854200 937730048 222098 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 228938 222098 640 696 0 228099 0
Current children cumulated CPU time: 3332.43 s
Current children cumulated vsize: 919944 KiB
Current children cumulated memory: 891336 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 53183
/proc/meminfo: memFree=103636716/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=908560 memory=881200 CPUtime=3392.25 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 197663 0 0 0 338881 344 0 0 20 0 1 0 54854200 930365440 220300 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 227140 220300 640 696 0 226301 0
Current children cumulated CPU time: 3392.25 s
Current children cumulated vsize: 912752 KiB
Current children cumulated memory: 884144 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 53185
/proc/meminfo: memFree=103614600/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=911568 memory=884208 CPUtime=3452.06 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 198366 0 0 0 344860 346 0 0 20 0 1 0 54854200 933445632 221052 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 227892 221052 640 696 0 227053 0
Current children cumulated CPU time: 3452.06 s
Current children cumulated vsize: 915760 KiB
Current children cumulated memory: 887152 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 53186
/proc/meminfo: memFree=103628328/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=908896 memory=881656 CPUtime=3511.88 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 199042 0 0 0 350839 349 0 0 20 0 1 0 54854200 930709504 220414 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 227224 220414 640 696 0 226385 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 913088 KiB
Current children cumulated memory: 884600 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 53188
/proc/meminfo: memFree=105559912/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=895248 memory=872104 CPUtime=3571.7 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 199994 0 0 0 356817 353 0 0 20 0 1 0 54854200 916733952 218026 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 223812 218026 640 696 0 222973 0
Current children cumulated CPU time: 3571.7 s
Current children cumulated vsize: 899440 KiB
Current children cumulated memory: 875048 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 53189
/proc/meminfo: memFree=107353004/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=895248 memory=872104 CPUtime=3600.01 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 199996 0 0 0 359648 353 0 0 20 0 1 0 54854200 916733952 218026 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 223812 218026 640 696 0 222973 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 899440 KiB
Current children cumulated memory: 875048 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3596.49 s, system=3.53684 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.08 4.09 4.09 5/266 53189
/proc/meminfo: memFree=107353004/131250000 swapFree=33010416/33010684
[pid=52399] ppid=52396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52399/stat : 52399 (naps-1.03a6.sh) S 52396 52399 51532 0 -1 4194304 227 200 0 0 0 0 0 0 20 0 1 0 54854198 4292608 736 18446744073709551615 94889710673920 94889711568453 140733451772768 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94889711807504 94889711855248 94889728671744 140733451774375 140733451774469 140733451774469 140733451780071 0
/proc/52399/statm: 1048 736 672 219 0 110 0
[pid=52403] ppid=52399 vsize=895248 memory=872104 CPUtime=3600.01 cores=4,6
/proc/52403/stat : 52403 (naps-1.03a6) R 52399 52399 51532 0 -1 4194304 199996 0 0 0 359648 353 0 0 20 0 1 0 54854200 916733952 218026 18446744073709551615 4198400 7047149 140726853122048 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30646272 140726853126516 140726853126630 140726853126630 140726853132233 0
/proc/52403/statm: 223812 218026 640 696 0 222973 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 899440 KiB
Current children cumulated memory: 875048 KiB

Child status: 10

Real time (s): 3610.7
CPU time (s): 3600.02
CPU user time (s): 3596.49
CPU system time (s): 3.53684
CPU usage (%): 99.7042
Max. virtual memory (cumulated for all children) (KiB): 1158676
Max. memory (cumulated for all children) (KiB): 1114312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.49
system time used= 3.53684
maximum resident set size= 1111368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200436
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= 219
involuntary context switches= 2371


# summary of solver processes directly reported to runsolver:
#   pid: 52399
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3596.49
#   total CPU system time (s): 3.53684

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99019 second user time and 16.654 second system time

The end