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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=726103, runsolver pid=726100
Current StackSize limit: 8192 KiB


[startup+0.100272 s]*
/proc/loadavg: 4.20 4.08 3.50 5/248 726108
/proc/meminfo: memFree=118801904/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=11040 memory=5912 CPUtime=0.09 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 1171 0 0 0 9 0 0 0 20 0 1 0 142812335 11304960 1478 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 2760 1478 405 379 0 2294 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20972 KiB
Current children cumulated memory: 8568 KiB

[startup+0.209676 s]*
/proc/loadavg: 4.20 4.08 3.50 5/248 726108
/proc/meminfo: memFree=118799152/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=13868 memory=8744 CPUtime=0.2 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 1897 0 0 0 20 0 0 0 20 0 1 0 142812335 14200832 2186 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 3467 2186 405 379 0 3001 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 23800 KiB
Current children cumulated memory: 11400 KiB

[startup+0.309626 s]*
/proc/loadavg: 4.20 4.08 3.50 5/248 726108
/proc/meminfo: memFree=118793800/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=16032 memory=10928 CPUtime=0.3 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 2559 0 0 0 29 1 0 0 20 0 1 0 142812335 16416768 2732 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 4008 2732 405 379 0 3542 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 25964 KiB
Current children cumulated memory: 13584 KiB

[startup+0.700386 s]
/proc/loadavg: 4.20 4.08 3.50 5/248 726108
/proc/meminfo: memFree=118787832/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=27116 memory=23392 CPUtime=0.68 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 5328 0 0 0 66 2 0 0 20 0 1 0 142812335 27766784 5848 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 6779 5848 405 379 0 6313 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37048 KiB
Current children cumulated memory: 26048 KiB

[startup+1.50038 s]
/proc/loadavg: 4.20 4.08 3.50 5/248 726108
/proc/meminfo: memFree=118770064/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=61700 memory=55276 CPUtime=1.47 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 13677 0 0 0 142 5 0 0 20 0 1 0 142812335 63180800 13819 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 15425 13819 405 379 0 14959 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 71632 KiB
Current children cumulated memory: 57932 KiB

[startup+3.1128 s]
/proc/loadavg: 4.18 4.08 3.51 5/248 726110
/proc/meminfo: memFree=118617748/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=181796 memory=172296 CPUtime=3.09 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 42204 0 0 0 299 10 0 0 20 0 1 0 142812335 186159104 43074 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 45449 43074 421 379 0 44983 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 191728 KiB
Current children cumulated memory: 174952 KiB

[startup+6.30036 s]
/proc/loadavg: 4.18 4.08 3.51 5/248 726110
/proc/meminfo: memFree=118587368/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=181796 memory=172296 CPUtime=6.26 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 42204 0 0 0 616 10 0 0 20 0 1 0 142812335 186159104 43074 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 45449 43074 421 379 0 44983 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 191728 KiB
Current children cumulated memory: 174952 KiB

[startup+12.7004 s]
/proc/loadavg: 4.17 4.08 3.51 5/246 726111
/proc/meminfo: memFree=117596996/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=1069424 memory=1047796 CPUtime=12.64 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 110002 0 0 0 1229 35 0 0 20 0 1 0 142812335 1095090176 261949 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 267356 261949 421 379 0 266890 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1079356 KiB
Current children cumulated memory: 1050452 KiB

[startup+25.5004 s]
/proc/loadavg: 4.20 4.09 3.52 5/246 726113
/proc/meminfo: memFree=115100600/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=4582072 memory=4040564 CPUtime=25.4 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 337868 0 0 0 2417 123 0 0 20 0 1 0 142812335 4692041728 1010141 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 1145518 1010141 421 379 0 1145052 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4592004 KiB
Current children cumulated memory: 4043220 KiB

[startup+51.1135 s]
/proc/loadavg: 4.13 4.08 3.54 5/246 726116
/proc/meminfo: memFree=109497772/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=10651588 memory=9433444 CPUtime=50.94 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 720701 0 0 0 4828 266 0 0 20 0 1 0 142812335 10907226112 2358361 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 2662897 2358361 421 379 0 2662431 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 10661520 KiB
Current children cumulated memory: 9436100 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.08 3.57 5/246 726126
/proc/meminfo: memFree=107638216/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=12397484 memory=11118044 CPUtime=101.95 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 989228 0 0 0 9826 369 0 0 20 0 1 0 142812335 12695023616 2779511 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 3099371 2779511 421 379 0 3098905 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 12407416 KiB
Current children cumulated memory: 11120700 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.11 3.61 5/246 726186
/proc/meminfo: memFree=111843124/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=14055220 memory=12682444 CPUtime=161.75 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 1038580 0 0 0 15757 418 0 0 20 0 1 0 142812335 14392545280 3170611 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 3513805 3170611 421 379 0 3513339 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 14065152 KiB
Current children cumulated memory: 12685100 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 3.64 5/246 726197
/proc/meminfo: memFree=107099248/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=16267676 memory=14716608 CPUtime=221.56 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 1361674 0 0 0 21643 513 0 0 20 0 1 0 142812335 16658100224 3679152 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 4066919 3679152 421 379 0 4066453 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 16277608 KiB

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

/proc/loadavg: 4.76 4.34 4.12 5/250 727072
/proc/meminfo: memFree=94595572/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=25712700 memory=22649992 CPUtime=1597.07 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 2313502 0 0 0 158658 1049 0 0 20 0 1 0 142812335 26329804800 5662498 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 6428175 5662498 421 379 0 6427709 0
Current children cumulated CPU time: 1597.07 s
Current children cumulated vsize: 25722632 KiB
Current children cumulated memory: 22652648 KiB

[startup+1662.3 s]
/proc/loadavg: 4.53 4.37 4.15 5/250 727082
/proc/meminfo: memFree=90922704/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=25712700 memory=22649992 CPUtime=1656.88 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 2317323 0 0 0 164629 1059 0 0 20 0 1 0 142812335 26329804800 5662498 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 6428175 5662498 421 379 0 6427709 0
Current children cumulated CPU time: 1656.88 s
Current children cumulated vsize: 25722632 KiB
Current children cumulated memory: 22652648 KiB

[startup+1722.3 s]
/proc/loadavg: 4.31 4.33 4.15 5/248 727092
/proc/meminfo: memFree=91077412/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=25712700 memory=22652040 CPUtime=1716.68 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 2321781 0 0 0 170601 1067 0 0 20 0 1 0 142812335 26329804800 5663010 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 6428175 5663010 421 379 0 6427709 0
Current children cumulated CPU time: 1716.68 s
Current children cumulated vsize: 25722632 KiB
Current children cumulated memory: 22654696 KiB

[startup+1782.3 s]
/proc/loadavg: 4.23 4.30 4.15 5/248 727103
/proc/meminfo: memFree=89801652/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=26307640 memory=23984180 CPUtime=1776.48 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 2479883 0 0 0 176532 1116 0 0 20 0 1 0 142812335 26939023360 5996045 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 6576910 5996045 421 379 0 6576444 0
Current children cumulated CPU time: 1776.48 s
Current children cumulated vsize: 26317572 KiB
Current children cumulated memory: 23986836 KiB

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

# cumulated CPU time of all completed processes:  user=1803.43 s, system=12.4634 s

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

[startup+1792 s]*
/proc/loadavg: 4.19 4.29 4.14 5/248 727105
/proc/meminfo: memFree=88034048/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=28406836 memory=25617380 CPUtime=1786.15 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 2644331 0 0 0 177456 1159 0 0 20 0 1 0 142812335 29088600064 6404345 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 7101709 6404345 421 379 0 7101243 0
Current children cumulated CPU time: 1786.15 s
Current children cumulated vsize: 28416768 KiB
Current children cumulated memory: 25620036 KiB

[startup+1804.8 s]
/proc/loadavg: 4.15 4.27 4.14 5/248 727108
/proc/meminfo: memFree=87275120/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=30295528 memory=26460028 CPUtime=1798.9 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 2743528 0 0 0 178701 1189 0 0 20 0 1 0 142812335 31022620672 6615007 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 7573882 6615007 421 379 0 7573416 0
Current children cumulated CPU time: 1798.9 s
Current children cumulated vsize: 30305460 KiB
Current children cumulated memory: 26462684 KiB

[startup+1811.2 s]
/proc/loadavg: 4.14 4.27 4.14 5/248 727108
/proc/meminfo: memFree=87190436/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=30377764 memory=26671260 CPUtime=1805.27 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 2764413 0 0 0 179328 1199 0 0 20 0 1 0 142812335 31106830336 6667815 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 7594441 6667815 421 379 0 7593975 0
Current children cumulated CPU time: 1805.27 s
Current children cumulated vsize: 30387696 KiB
Current children cumulated memory: 26673916 KiB

[startup+1817.6 s]
/proc/loadavg: 4.13 4.26 4.14 5/245 727109
/proc/meminfo: memFree=87137932/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=30386344 memory=26690312 CPUtime=1811.65 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 2767100 0 0 0 179964 1201 0 0 20 0 1 0 142812335 31115616256 6672578 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 7596586 6672578 421 379 0 7596120 0
Current children cumulated CPU time: 1811.65 s
Current children cumulated vsize: 30396276 KiB
Current children cumulated memory: 26692968 KiB

[startup+1819.2 s]
/proc/loadavg: 4.12 4.26 4.14 5/245 727109
/proc/meminfo: memFree=87129648/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=30386344 memory=26690356 CPUtime=1813.25 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 2767316 0 0 0 180124 1201 0 0 20 0 1 0 142812335 31115616256 6672589 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 7596586 6672589 421 379 0 7596120 0
Current children cumulated CPU time: 1813.25 s
Current children cumulated vsize: 30396276 KiB
Current children cumulated memory: 26693012 KiB

[startup+1820.8 s]
/proc/loadavg: 4.12 4.26 4.14 5/245 727109
/proc/meminfo: memFree=87127544/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
[pid=726108] ppid=726103 vsize=30386476 memory=26690356 CPUtime=1814.84 cores=0,2
/proc/726108/stat : 726108 (naps-1.02b5) R 726103 726103 721865 0 -1 4194304 2767409 0 0 0 180283 1201 0 0 20 0 1 0 142812335 31115751424 6672589 134679101440 4194304 5746509 140729823612304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 28708864 140729823617979 140729823618093 140729823618093 140729823625161 0
/proc/726108/statm: 7596619 6672589 421 379 0 7596153 0
Current children cumulated CPU time: 1814.84 s
Current children cumulated vsize: 30396408 KiB
Current children cumulated memory: 26693012 KiB

[startup+1821.6 s]
/proc/loadavg: 4.12 4.26 4.14 5/245 727109
/proc/meminfo: memFree=87121316/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2656 KiB

[startup+1821.8 s]
/proc/loadavg: 4.12 4.26 4.14 5/245 727109
/proc/meminfo: memFree=87121316/131655788 swapFree=131071996/131071996
[pid=726103] ppid=726100 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/726103/stat : 726103 (naps-1.02b5.sh) S 726100 726103 721865 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 142812334 10170368 664 134679101440 94037197258752 94037198338072 140733595177088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94037200436528 94037200483716 94037217079296 140733595186092 140733595186219 140733595186219 140733595193286 0
/proc/726103/statm: 2483 664 586 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2656 KiB

Child status: 10

Real time (s): 1821.84
CPU time (s): 1815.89
CPU user time (s): 1803.43
CPU system time (s): 12.4634
CPU usage (%): 99.6736
Max. virtual memory (cumulated for all children) (KiB): 30396408
Max. memory (cumulated for all children) (KiB): 26693012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1803.43
system time used= 12.4634
maximum resident set size= 26690508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2767940
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= 196
involuntary context switches= 12435


# summary of solver processes directly reported to runsolver:
#   pid: 726103
#   total CPU time (s): 1815.89
#   total CPU user time (s): 1803.43
#   total CPU system time (s): 12.4634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.40553 second user time and 18.3757 second system time

The end