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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4427099-1720909028/watcher-4427099-1720909028 -o /tmp/evaluation-result-4427099-1720909028/solver-4427099-1720909028 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720905424-718802 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427099-1720909028.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
Current StackSize limit: 8192 KiB

solver pid=721932, runsolver pid=721929

[startup+0.100102 s]*
/proc/loadavg: 4.11 4.16 4.10 5/245 721937
/proc/meminfo: memFree=128806852/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=10604 memory=5524 CPUtime=0.1 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 1033 0 0 0 10 0 0 0 20 0 1 0 143058945 10858496 1381 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 2651 1381 405 379 0 2185 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20536 KiB
Current children cumulated memory: 8228 KiB

[startup+0.213204 s]*
/proc/loadavg: 4.11 4.16 4.10 5/245 721937
/proc/meminfo: memFree=128789648/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=13780 memory=8716 CPUtime=0.21 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 1916 0 0 0 21 0 0 0 20 0 1 0 143058945 14110720 2179 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 3445 2179 405 379 0 2979 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23712 KiB
Current children cumulated memory: 11420 KiB

[startup+0.312995 s]*
/proc/loadavg: 4.11 4.16 4.10 5/245 721937
/proc/meminfo: memFree=128775204/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=16332 memory=13480 CPUtime=0.3 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 2688 0 0 0 30 0 0 0 20 0 1 0 143058945 16723968 3370 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 4083 3370 405 379 0 3617 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26264 KiB
Current children cumulated memory: 16184 KiB

[startup+0.700405 s]
/proc/loadavg: 4.11 4.16 4.10 5/245 721937
/proc/meminfo: memFree=128772348/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=39164 memory=34836 CPUtime=0.68 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 8595 0 0 0 67 1 0 0 20 0 1 0 143058945 40103936 8709 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 9791 8709 421 379 0 9325 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49096 KiB
Current children cumulated memory: 37540 KiB

[startup+1.50041 s]
/proc/loadavg: 4.11 4.16 4.10 5/245 721937
/proc/meminfo: memFree=128683044/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=48200 memory=43680 CPUtime=1.48 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 15457 0 0 0 145 3 0 0 20 0 1 0 143058945 49356800 10920 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 12050 10920 421 379 0 11584 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58132 KiB
Current children cumulated memory: 46384 KiB

[startup+3.1128 s]
/proc/loadavg: 4.18 4.17 4.11 5/245 721937
/proc/meminfo: memFree=128602700/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=48348 memory=43944 CPUtime=3.09 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 15496 0 0 0 306 3 0 0 20 0 1 0 143058945 49508352 10986 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 12087 10986 421 379 0 11621 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58280 KiB
Current children cumulated memory: 46648 KiB

[startup+6.30038 s]
/proc/loadavg: 4.18 4.17 4.11 5/245 721939
/proc/meminfo: memFree=128574148/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=160588 memory=154216 CPUtime=6.27 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 28785 0 0 0 620 7 0 0 20 0 1 0 143058945 164442112 38554 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 40147 38554 421 379 0 39681 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 170520 KiB
Current children cumulated memory: 156920 KiB

[startup+12.7004 s]
/proc/loadavg: 4.15 4.17 4.10 5/245 721939
/proc/meminfo: memFree=126631844/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=1529360 memory=1389736 CPUtime=12.65 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 160022 0 0 0 1217 48 0 0 20 0 1 0 143058945 1566064640 347434 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 382340 347434 421 379 0 381874 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1539292 KiB
Current children cumulated memory: 1392440 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.16 4.10 5/245 721940
/proc/meminfo: memFree=119394664/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=6445892 memory=5822104 CPUtime=25.41 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 476826 0 0 0 2381 160 0 0 20 0 1 0 143058945 6600593408 1455526 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 1611473 1455526 421 379 0 1611007 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 6455824 KiB
Current children cumulated memory: 5824808 KiB

[startup+51.1139 s]
/proc/loadavg: 4.16 4.16 4.10 5/245 721945
/proc/meminfo: memFree=108404072/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=10131204 memory=8194200 CPUtime=50.94 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 663614 0 0 0 4864 230 0 0 20 0 1 0 143058945 10374352896 2048550 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 2532801 2048550 421 379 0 2532335 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 10141136 KiB
Current children cumulated memory: 8196904 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.10 5/245 722104
/proc/meminfo: memFree=103305016/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=10164300 memory=8888020 CPUtime=101.95 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 779513 0 0 0 9906 289 0 0 20 0 1 0 143058945 10408243200 2222005 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 2541075 2222005 421 379 0 2540609 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 10174232 KiB
Current children cumulated memory: 8890724 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/245 722213
/proc/meminfo: memFree=102271800/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=9858608 memory=8619564 CPUtime=161.74 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 788191 0 0 0 15866 308 0 0 20 0 1 0 143058945 10095214592 2154891 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 2464652 2154891 421 379 0 2464186 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 9868540 KiB
Current children cumulated memory: 8622268 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.17 4.10 5/248 722427
/proc/meminfo: memFree=96714424/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=13630740 memory=12246704 CPUtime=221.52 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 1160929 0 0 0 21700 452 0 0 20 0 1 0 143058945 13957877760 3061676 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 3407685 3061676 421 379 0 3407219 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 13640672 KiB

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

/proc/loadavg: 4.15 4.15 4.10 5/248 722437
/proc/meminfo: memFree=94353460/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=15849952 memory=13554072 CPUtime=281.33 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 1264079 0 0 0 27642 491 0 0 20 0 1 0 143058945 16230350848 3388518 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 3962488 3388518 421 379 0 3962022 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 15859884 KiB
Current children cumulated memory: 13556776 KiB

[startup+342.3 s]
/proc/loadavg: 4.02 4.12 4.09 5/242 722635
/proc/meminfo: memFree=87255664/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=15395240 memory=14039232 CPUtime=341.13 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 1342726 0 0 0 33559 554 0 0 20 0 1 0 143058945 15764725760 3509808 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 3848810 3509808 421 379 0 3848344 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 15405172 KiB
Current children cumulated memory: 14041936 KiB

[startup+402.3 s]
/proc/loadavg: 3.49 3.96 4.03 4/240 722839
/proc/meminfo: memFree=82421764/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=16136872 memory=13956656 CPUtime=400.92 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 1351518 0 0 0 39503 589 0 0 20 0 1 0 143058945 16524156928 3489164 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 4034218 3489164 421 379 0 4033752 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 16146804 KiB
Current children cumulated memory: 13959360 KiB

[startup+462.3 s]
/proc/loadavg: 3.07 3.76 3.96 3/232 722881
/proc/meminfo: memFree=102434832/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=16019748 memory=13975276 CPUtime=460.7 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 1358597 0 0 0 45464 606 0 0 20 0 1 0 143058945 16404221952 3493819 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 4004937 3493819 421 379 0 4004471 0
Current children cumulated CPU time: 460.7 s
Current children cumulated vsize: 16029680 KiB
Current children cumulated memory: 13977980 KiB

[startup+508.36 s]
# the end of solver process 721932 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=500.228 s, system=6.40265 s

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

[startup+486.4 s]
/proc/loadavg: 2.84 3.67 3.92 3/233 723269
/proc/meminfo: memFree=101679700/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=16031608 memory=14003952 CPUtime=484.73 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 1359694 0 0 0 47864 609 0 0 20 0 1 0 143058945 16416366592 3500988 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 4007902 3500988 421 379 0 4007436 0
Current children cumulated CPU time: 484.73 s
Current children cumulated vsize: 16041540 KiB
Current children cumulated memory: 14006656 KiB

[startup+499.2 s]
/proc/loadavg: 2.65 3.58 3.89 3/231 723271
/proc/meminfo: memFree=101216032/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=16031608 memory=14012144 CPUtime=497.49 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 1359835 0 0 0 49138 611 0 0 20 0 1 0 143058945 16416366592 3503036 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 4007902 3503036 421 379 0 4007436 0
Current children cumulated CPU time: 497.49 s
Current children cumulated vsize: 16041540 KiB
Current children cumulated memory: 14014848 KiB

[startup+502.4 s]
/proc/loadavg: 2.60 3.56 3.88 3/231 723271
/proc/meminfo: memFree=101102248/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=16031608 memory=14014192 CPUtime=500.67 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 1359900 0 0 0 49456 611 0 0 20 0 1 0 143058945 16416366592 3503548 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 4007902 3503548 421 379 0 4007436 0
Current children cumulated CPU time: 500.67 s
Current children cumulated vsize: 16041540 KiB
Current children cumulated memory: 14016896 KiB

[startup+505.6 s]
/proc/loadavg: 2.60 3.56 3.88 3/231 723271
/proc/meminfo: memFree=101062728/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=15950220 memory=13960692 CPUtime=503.86 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 1360868 0 0 0 49772 614 0 0 20 0 1 0 143058945 16333025280 3490173 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 3987555 3490173 421 379 0 3987089 0
Current children cumulated CPU time: 503.86 s
Current children cumulated vsize: 15960152 KiB
Current children cumulated memory: 13963396 KiB

[startup+507.2 s]
/proc/loadavg: 2.55 3.53 3.87 3/231 723273
/proc/meminfo: memFree=100962704/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=15950220 memory=13960692 CPUtime=505.45 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 1361182 0 0 0 49931 614 0 0 20 0 1 0 143058945 16333025280 3490173 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 3987555 3490173 421 379 0 3987089 0
Current children cumulated CPU time: 505.45 s
Current children cumulated vsize: 15960152 KiB
Current children cumulated memory: 13963396 KiB

[startup+508 s]*
/proc/loadavg: 2.55 3.53 3.87 3/231 723273
/proc/meminfo: memFree=100927568/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
[pid=721937] ppid=721932 vsize=15950220 memory=13960692 CPUtime=506.26 cores=0,2
/proc/721937/stat : 721937 (naps-1.02b5) R 721932 721932 716595 0 -1 4194304 1361331 0 0 0 50012 614 0 0 20 0 1 0 143058945 16333025280 3490173 134679101440 4194304 5746509 140730412577248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13484032 140730412585915 140730412586029 140730412586029 140730412593097 0
/proc/721937/statm: 3987555 3490173 421 379 0 3987089 0
Current children cumulated CPU time: 506.26 s
Current children cumulated vsize: 15960152 KiB
Current children cumulated memory: 13963396 KiB

[startup+508.2 s]
/proc/loadavg: 2.55 3.53 3.87 3/231 723273
/proc/meminfo: memFree=100927568/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2704 KiB

[startup+508.3 s]
/proc/loadavg: 2.55 3.53 3.87 3/231 723273
/proc/meminfo: memFree=100927568/131655788 swapFree=131071996/131071996
[pid=721932] ppid=721929 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/721932/stat : 721932 (naps-1.02b5.sh) S 721929 721932 716595 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 143058944 10170368 676 134679101440 94259206815744 94259207895064 140737352014624 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94259209993520 94259210040708 94259230457856 140737352020908 140737352021035 140737352021035 140737352028102 0
/proc/721932/statm: 2483 676 598 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2704 KiB

Child status: 30

Real time (s): 508.36
CPU time (s): 506.631
CPU user time (s): 500.228
CPU system time (s): 6.40265
CPU usage (%): 99.6599
Max. virtual memory (cumulated for all children) (KiB): 17044244
Max. memory (cumulated for all children) (KiB): 14753660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 500.228
system time used= 6.40265
maximum resident set size= 14750956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1361819
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= 69
involuntary context switches= 3559


# summary of solver processes directly reported to runsolver:
#   pid: 721932
#   total CPU time (s): 506.631
#   total CPU user time (s): 500.228
#   total CPU system time (s): 6.40265

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.44013 second user time and 5.38355 second system time

The end