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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=726178, runsolver pid=726175

[startup+0.100098 s]*
/proc/loadavg: 4.15 4.10 3.60 5/246 726183
/proc/meminfo: memFree=115323740/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=14096 memory=9108 CPUtime=0.1 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 1990 0 0 0 10 0 0 0 20 0 1 0 142826966 14434304 2277 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 3524 2277 405 379 0 3058 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24028 KiB
Current children cumulated memory: 11800 KiB

[startup+0.213508 s]*
/proc/loadavg: 4.15 4.10 3.60 5/246 726183
/proc/meminfo: memFree=115315872/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=20772 memory=16056 CPUtime=0.21 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 3839 0 0 0 21 0 0 0 20 0 1 0 142826966 21270528 4014 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 5193 4014 405 379 0 4727 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30704 KiB
Current children cumulated memory: 18748 KiB

[startup+0.313311 s]*
/proc/loadavg: 4.15 4.10 3.60 5/246 726183
/proc/meminfo: memFree=115308340/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=27740 memory=22960 CPUtime=0.31 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 5703 0 0 0 30 1 0 0 20 0 1 0 142826966 28405760 5740 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 6935 5740 405 379 0 6469 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37672 KiB
Current children cumulated memory: 25652 KiB

[startup+0.700422 s]
/proc/loadavg: 4.15 4.10 3.60 5/246 726183
/proc/meminfo: memFree=115271068/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=60488 memory=55744 CPUtime=0.68 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 14331 0 0 0 66 2 0 0 20 0 1 0 142826966 61939712 13936 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 15122 13936 421 379 0 14656 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70420 KiB
Current children cumulated memory: 58436 KiB

[startup+1.5004 s]
/proc/loadavg: 4.22 4.12 3.61 5/246 726183
/proc/meminfo: memFree=115269000/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=60488 memory=55744 CPUtime=1.48 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 14331 0 0 0 146 2 0 0 20 0 1 0 142826966 61939712 13936 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 15122 13936 421 379 0 14656 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70420 KiB
Current children cumulated memory: 58436 KiB

[startup+3.11335 s]
/proc/loadavg: 4.22 4.12 3.61 5/246 726183
/proc/meminfo: memFree=115122648/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=287396 memory=273896 CPUtime=3.09 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 35682 0 0 0 300 9 0 0 20 0 1 0 142826966 294293504 68474 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 71849 68474 421 379 0 71383 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 297328 KiB
Current children cumulated memory: 276588 KiB

[startup+6.30039 s]
/proc/loadavg: 4.20 4.11 3.61 5/246 726185
/proc/meminfo: memFree=114323488/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=1116484 memory=1051476 CPUtime=6.27 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 122031 0 0 0 594 33 0 0 20 0 1 0 142826966 1143279616 262869 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 279121 262869 421 379 0 278655 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1126416 KiB
Current children cumulated memory: 1054168 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.11 3.61 5/246 726185
/proc/meminfo: memFree=112699276/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=2775288 memory=2456700 CPUtime=12.66 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 198676 0 0 0 1201 65 0 0 20 0 1 0 142826966 2841894912 614175 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 693822 614175 421 379 0 693356 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2785220 KiB
Current children cumulated memory: 2459392 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.11 3.62 5/246 726186
/proc/meminfo: memFree=112831724/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=3247516 memory=2862804 CPUtime=25.42 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 234810 0 0 0 2456 86 0 0 20 0 1 0 142826966 3325456384 715701 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 811879 715701 421 379 0 811413 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3257448 KiB
Current children cumulated memory: 2865496 KiB

[startup+51.1134 s]
/proc/loadavg: 4.09 4.10 3.63 5/246 726192
/proc/meminfo: memFree=111569160/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=4513388 memory=4029388 CPUtime=50.96 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 361772 0 0 0 4967 129 0 0 20 0 1 0 142826966 4621709312 1007347 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 1128347 1007347 421 379 0 1127881 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4523320 KiB
Current children cumulated memory: 4032080 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 3.66 5/246 726200
/proc/meminfo: memFree=105551560/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=6581364 memory=6029676 CPUtime=102.04 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 567821 0 0 0 9997 207 0 0 20 0 1 0 142826966 6739316736 1507419 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 1645341 1507419 421 379 0 1644875 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 6591296 KiB
Current children cumulated memory: 6032368 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 3.69 5/247 726214
/proc/meminfo: memFree=100771072/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=8642716 memory=7600440 CPUtime=161.89 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 731487 0 0 0 15921 268 0 0 20 0 1 0 142826966 8850141184 1900110 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 2160679 1900110 421 379 0 2160213 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 8652648 KiB
Current children cumulated memory: 7603132 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 3.72 5/247 726224
/proc/meminfo: memFree=100562700/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=8658936 memory=7620464 CPUtime=221.74 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 735455 0 0 0 21904 270 0 0 20 0 1 0 142826966 8866750464 1905116 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 2164734 1905116 421 379 0 2164268 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 8668868 KiB

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

/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=18584144 memory=16609548 CPUtime=1059.67 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 1692788 0 0 0 105283 684 0 0 20 0 1 0 142826966 19030163456 4152387 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 4646036 4152387 421 379 0 4645570 0
Current children cumulated CPU time: 1059.67 s
Current children cumulated vsize: 18594076 KiB
Current children cumulated memory: 16612240 KiB

[startup+1122.3 s]
/proc/loadavg: 4.25 4.19 4.03 5/246 726775
/proc/meminfo: memFree=87187080/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=18851628 memory=17171168 CPUtime=1119.52 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 1739359 0 0 0 111247 705 0 0 20 0 1 0 142826966 19304067072 4292792 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 4712907 4292792 421 379 0 4712441 0
Current children cumulated CPU time: 1119.52 s
Current children cumulated vsize: 18861560 KiB
Current children cumulated memory: 17173860 KiB

[startup+1182.3 s]
/proc/loadavg: 4.14 4.17 4.03 5/246 726785
/proc/meminfo: memFree=86516244/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=20212872 memory=17774396 CPUtime=1179.36 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 1826947 0 0 0 117182 754 0 0 20 0 1 0 142826966 20697980928 4443599 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 5053218 4443599 421 379 0 5052752 0
Current children cumulated CPU time: 1179.36 s
Current children cumulated vsize: 20222804 KiB
Current children cumulated memory: 17777088 KiB

[startup+1242.3 s]
/proc/loadavg: 4.09 4.15 4.03 5/248 726965
/proc/meminfo: memFree=84268264/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=23302112 memory=20121204 CPUtime=1239.22 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 1990129 0 0 0 123092 830 0 0 20 0 1 0 142826966 23861362688 5030301 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 5825528 5030301 421 379 0 5825062 0
Current children cumulated CPU time: 1239.22 s
Current children cumulated vsize: 23312044 KiB
Current children cumulated memory: 20123896 KiB

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

# cumulated CPU time of all completed processes:  user=1283.26 s, system=9.2445 s

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

[startup+1254.4 s]
/proc/loadavg: 4.15 4.16 4.04 5/248 726967
/proc/meminfo: memFree=83584124/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=23647120 memory=20864324 CPUtime=1251.29 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 2066347 0 0 0 124274 855 0 0 20 0 1 0 142826966 24214650880 5216081 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 5911780 5216081 421 379 0 5911314 0
Current children cumulated CPU time: 1251.29 s
Current children cumulated vsize: 23657052 KiB
Current children cumulated memory: 20867016 KiB

[startup+1280 s]*
/proc/loadavg: 4.17 4.16 4.04 5/248 726973
/proc/meminfo: memFree=83794628/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=23663752 memory=20611396 CPUtime=1276.84 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 2072271 0 0 0 126801 883 0 0 20 0 1 0 142826966 24231682048 5152849 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 5915938 5152849 421 379 0 5915472 0
Current children cumulated CPU time: 1276.84 s
Current children cumulated vsize: 23673684 KiB
Current children cumulated memory: 20614088 KiB

[startup+1286.4 s]
/proc/loadavg: 4.16 4.16 4.04 5/248 726974
/proc/meminfo: memFree=83770752/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=23663752 memory=20611400 CPUtime=1283.21 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 2072655 0 0 0 127438 883 0 0 20 0 1 0 142826966 24231682048 5152850 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 5915938 5152850 421 379 0 5915472 0
Current children cumulated CPU time: 1283.21 s
Current children cumulated vsize: 23673684 KiB
Current children cumulated memory: 20614092 KiB

[startup+1289.6 s]
/proc/loadavg: 4.15 4.16 4.04 5/248 726974
/proc/meminfo: memFree=83760544/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=23663752 memory=20611400 CPUtime=1286.4 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 2072836 0 0 0 127757 883 0 0 20 0 1 0 142826966 24231682048 5152850 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 5915938 5152850 421 379 0 5915472 0
Current children cumulated CPU time: 1286.4 s
Current children cumulated vsize: 23673684 KiB
Current children cumulated memory: 20614092 KiB

[startup+1292.8 s]
/proc/loadavg: 4.21 4.17 4.04 5/248 726974
/proc/meminfo: memFree=83750276/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=23663752 memory=20611400 CPUtime=1289.59 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 2073479 0 0 0 128076 883 0 0 20 0 1 0 142826966 24231682048 5152850 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 5915938 5152850 421 379 0 5915472 0
Current children cumulated CPU time: 1289.59 s
Current children cumulated vsize: 23673684 KiB
Current children cumulated memory: 20614092 KiB

[startup+1294.4 s]
/proc/loadavg: 4.21 4.17 4.04 5/248 726974
/proc/meminfo: memFree=83742056/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=23663752 memory=20611400 CPUtime=1291.19 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 2073868 0 0 0 128235 884 0 0 20 0 1 0 142826966 24231682048 5152850 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 5915938 5152850 421 379 0 5915472 0
Current children cumulated CPU time: 1291.19 s
Current children cumulated vsize: 23673684 KiB
Current children cumulated memory: 20614092 KiB

[startup+1295.2 s]
/proc/loadavg: 4.21 4.17 4.04 5/248 726974
/proc/meminfo: memFree=83740008/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
[pid=726183] ppid=726178 vsize=23663752 memory=20611400 CPUtime=1291.99 cores=4,6
/proc/726183/stat : 726183 (naps-1.02b5) R 726178 726178 721865 0 -1 4194304 2074036 0 0 0 128315 884 0 0 20 0 1 0 142826966 24231682048 5152850 134679101440 4194304 5746509 140723967438400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 24637440 140723967439803 140723967439917 140723967439917 140723967446985 0
/proc/726183/statm: 5915938 5152850 421 379 0 5915472 0
Current children cumulated CPU time: 1291.99 s
Current children cumulated vsize: 23673684 KiB
Current children cumulated memory: 20614092 KiB

[startup+1295.6 s]
/proc/loadavg: 4.21 4.17 4.04 5/248 726974
/proc/meminfo: memFree=83740008/131655788 swapFree=131071996/131071996
[pid=726178] ppid=726175 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/726178/stat : 726178 (naps-1.02b5.sh) S 726175 726178 721865 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 142826966 10170368 673 134679101440 93850500542464 93850501621784 140733080372544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850503720240 93850503767428 93850513772544 140733080380332 140733080380459 140733080380459 140733080387526 0
/proc/726178/statm: 2483 673 595 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2692 KiB

Child status: 30

Real time (s): 1295.7
CPU time (s): 1292.5
CPU user time (s): 1283.26
CPU system time (s): 9.2445
CPU usage (%): 99.7533
Max. virtual memory (cumulated for all children) (KiB): 25149260
Max. memory (cumulated for all children) (KiB): 22026896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1283.26
system time used= 9.2445
maximum resident set size= 22024204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2074523
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= 12
involuntary context switches= 1275


# summary of solver processes directly reported to runsolver:
#   pid: 726178
#   total CPU time (s): 1292.5
#   total CPU user time (s): 1283.26
#   total CPU system time (s): 9.2445

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79663 second user time and 13.4371 second system time

The end