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: 63968 MiB (61743 MiB free)
  memory of node 1: 64473 MiB (61309 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435160-1721107194/watcher-4435160-1721107194 -o /tmp/evaluation-result-4435160-1721107194/solver-4435160-1721107194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721103593-837407 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435160-1721107194.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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=839583, runsolver pid=839580
Current StackSize limit: 8192 KiB


[startup+0.10034 s]*
/proc/loadavg: 4.11 4.10 4.09 5/260 839588
/proc/meminfo: memFree=125997880/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=3612 memory=2980 CPUtime=0.09 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 434 0 0 0 9 0 0 0 20 0 1 0 162883222 3698688 745 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 903 745 405 379 0 437 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13544 KiB
Current children cumulated memory: 5812 KiB

[startup+0.205922 s]*
/proc/loadavg: 4.11 4.10 4.09 5/260 839588
/proc/meminfo: memFree=125986580/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=3748 memory=2980 CPUtime=0.2 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 447 0 0 0 20 0 0 0 20 0 1 0 162883222 3837952 745 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 937 745 405 379 0 471 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13680 KiB
Current children cumulated memory: 5812 KiB

[startup+0.305952 s]*
/proc/loadavg: 4.11 4.10 4.09 5/260 839588
/proc/meminfo: memFree=125978312/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=3748 memory=2980 CPUtime=0.3 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 451 0 0 0 30 0 0 0 20 0 1 0 162883222 3837952 745 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 937 745 405 379 0 471 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13680 KiB
Current children cumulated memory: 5812 KiB

[startup+0.700277 s]
/proc/loadavg: 4.11 4.10 4.09 5/260 839588
/proc/meminfo: memFree=125879128/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=149824 memory=133960 CPUtime=0.68 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 20414 0 0 0 64 4 0 0 20 0 1 0 162883222 153419776 33490 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 37456 33490 421 379 0 36990 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 159756 KiB
Current children cumulated memory: 136792 KiB

[startup+1.50028 s]
/proc/loadavg: 4.11 4.10 4.09 5/260 839638
/proc/meminfo: memFree=125935240/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=187780 memory=175196 CPUtime=1.48 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 27246 0 0 0 142 6 0 0 20 0 1 0 162883222 192286720 43799 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 46945 43799 421 379 0 46479 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197712 KiB
Current children cumulated memory: 178028 KiB

[startup+3.10611 s]
/proc/loadavg: 4.11 4.10 4.09 5/260 839638
/proc/meminfo: memFree=125812296/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=180596 memory=170700 CPUtime=3.07 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 28003 0 0 0 301 6 0 0 20 0 1 0 162883222 184930304 42675 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 45149 42675 421 379 0 44683 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 190528 KiB
Current children cumulated memory: 173532 KiB

[startup+6.30027 s]
/proc/loadavg: 4.10 4.09 4.09 5/260 839638
/proc/meminfo: memFree=125235464/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=290820 memory=266172 CPUtime=6.26 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 36343 0 0 0 617 9 0 0 20 0 1 0 162883222 297799680 66543 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 72705 66543 421 379 0 72239 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 300752 KiB
Current children cumulated memory: 269004 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.09 4.09 5/260 839640
/proc/meminfo: memFree=123292656/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=407536 memory=381540 CPUtime=12.64 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 41775 0 0 0 1251 13 0 0 20 0 1 0 162883222 417316864 95385 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 101884 95385 421 379 0 101418 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 417468 KiB
Current children cumulated memory: 384372 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.09 4.09 5/260 839641
/proc/meminfo: memFree=120525000/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=407536 memory=381612 CPUtime=25.39 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 41848 0 0 0 2526 13 0 0 20 0 1 0 162883222 417316864 95403 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 101884 95403 421 379 0 101418 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 417468 KiB
Current children cumulated memory: 384444 KiB

[startup+51.1062 s]
/proc/loadavg: 4.10 4.09 4.09 5/260 839647
/proc/meminfo: memFree=119628600/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=419208 memory=387124 CPUtime=50.89 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 42371 0 0 0 5075 14 0 0 20 0 1 0 162883222 429268992 96781 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 104802 96781 421 379 0 104336 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 429140 KiB
Current children cumulated memory: 389956 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/260 839655
/proc/meminfo: memFree=119623452/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=419208 memory=393508 CPUtime=101.88 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 42516 0 0 0 10174 14 0 0 20 0 1 0 162883222 429268992 98377 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 104802 98377 421 379 0 104336 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 429140 KiB
Current children cumulated memory: 396340 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/260 839665
/proc/meminfo: memFree=119443688/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=438176 memory=409924 CPUtime=161.64 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 43203 0 0 0 16149 15 0 0 20 0 1 0 162883222 448692224 102481 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 109544 102481 421 379 0 109078 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 448108 KiB
Current children cumulated memory: 412756 KiB

[startup+222.3 s]
/proc/loadavg: 4.59 4.25 4.14 5/260 839676
/proc/meminfo: memFree=119407296/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=438176 memory=416496 CPUtime=221.4 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 43358 0 0 0 22125 15 0 0 20 0 1 0 162883222 448692224 104124 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 109544 104124 421 379 0 109078 0
Current children cumulated CPU time: 221.4 s

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

/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=792780 memory=744044 CPUtime=2970.29 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 92084 0 0 0 296939 90 0 0 20 0 1 0 162883222 811806720 186011 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 198195 186011 421 379 0 197729 0
Current children cumulated CPU time: 2970.29 s
Current children cumulated vsize: 802712 KiB
Current children cumulated memory: 746876 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/261 841422
/proc/meminfo: memFree=119051328/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=823600 memory=758400 CPUtime=3030.05 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 92671 0 0 0 302914 91 0 0 20 0 1 0 162883222 843366400 189600 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 205900 189600 421 379 0 205434 0
Current children cumulated CPU time: 3030.05 s
Current children cumulated vsize: 833532 KiB
Current children cumulated memory: 761232 KiB

[startup+3102.3 s]
/proc/loadavg: 4.34 4.19 4.17 5/260 841432
/proc/meminfo: memFree=119067748/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=792780 memory=740776 CPUtime=3089.81 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 92956 0 0 0 308888 93 0 0 20 0 1 0 162883222 811806720 185194 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 198195 185194 421 379 0 197729 0
Current children cumulated CPU time: 3089.81 s
Current children cumulated vsize: 802712 KiB
Current children cumulated memory: 743608 KiB

[startup+3162.3 s]
/proc/loadavg: 4.29 4.21 4.18 5/260 841442
/proc/meminfo: memFree=119052596/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=823600 memory=755380 CPUtime=3149.57 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 93664 0 0 0 314863 94 0 0 20 0 1 0 162883222 843366400 188845 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 205900 188845 421 379 0 205434 0
Current children cumulated CPU time: 3149.57 s
Current children cumulated vsize: 833532 KiB
Current children cumulated memory: 758212 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/260 841453
/proc/meminfo: memFree=118981448/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=994180 memory=888960 CPUtime=3209.33 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 101890 0 0 0 320832 101 0 0 20 0 1 0 162883222 1018040320 222240 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 248545 222240 421 379 0 248079 0
Current children cumulated CPU time: 3209.33 s
Current children cumulated vsize: 1004112 KiB
Current children cumulated memory: 891792 KiB

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

# cumulated CPU time of all completed processes:  user=3229.85 s, system=1.12737 s

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

[startup+3225.6 s]
/proc/loadavg: 4.19 4.20 4.18 5/260 841453
/proc/meminfo: memFree=118945420/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=994180 memory=891008 CPUtime=3212.61 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 101893 0 0 0 321160 101 0 0 20 0 1 0 162883222 1018040320 222752 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 248545 222752 421 379 0 248079 0
Current children cumulated CPU time: 3212.61 s
Current children cumulated vsize: 1004112 KiB
Current children cumulated memory: 893840 KiB

[startup+3232 s]*
/proc/loadavg: 4.17 4.20 4.18 5/260 841455
/proc/meminfo: memFree=118882528/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=1022196 memory=949776 CPUtime=3219 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 109228 0 0 0 321796 104 0 0 20 0 1 0 162883222 1046728704 237444 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 255549 237444 421 379 0 255083 0
Current children cumulated CPU time: 3219 s
Current children cumulated vsize: 1032128 KiB
Current children cumulated memory: 952608 KiB

[startup+3238.4 s]
/proc/loadavg: 4.16 4.19 4.18 5/260 841455
/proc/meminfo: memFree=118743324/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=1162384 memory=1086804 CPUtime=3225.37 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 125705 0 0 0 322427 110 0 0 20 0 1 0 162883222 1190281216 271701 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 290596 271701 421 379 0 290130 0
Current children cumulated CPU time: 3225.37 s
Current children cumulated vsize: 1172316 KiB
Current children cumulated memory: 1089636 KiB

[startup+3241.6 s]
/proc/loadavg: 4.15 4.19 4.17 5/260 841457
/proc/meminfo: memFree=118736560/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=1162384 memory=1086804 CPUtime=3228.56 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 125705 0 0 0 322746 110 0 0 20 0 1 0 162883222 1190281216 271701 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 290596 271701 421 379 0 290130 0
Current children cumulated CPU time: 3228.56 s
Current children cumulated vsize: 1172316 KiB
Current children cumulated memory: 1089636 KiB

[startup+3243.2 s]
/proc/loadavg: 4.15 4.19 4.17 5/260 841457
/proc/meminfo: memFree=118734464/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=1162384 memory=1088852 CPUtime=3230.15 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 125729 0 0 0 322905 110 0 0 20 0 1 0 162883222 1190281216 272213 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 290596 272213 421 379 0 290130 0
Current children cumulated CPU time: 3230.15 s
Current children cumulated vsize: 1172316 KiB
Current children cumulated memory: 1091684 KiB

[startup+3243.6 s]
/proc/loadavg: 4.15 4.19 4.17 5/260 841457
/proc/meminfo: memFree=118734464/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
[pid=839588] ppid=839583 vsize=1162384 memory=1088852 CPUtime=3230.55 cores=0,2
/proc/839588/stat : 839588 (naps-1.02b5) R 839583 839583 837397 0 -1 4194304 125729 0 0 0 322945 110 0 0 20 0 1 0 162883222 1190281216 272213 134679101440 4194304 5746509 140724754226800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 33779712 140724754228207 140724754228321 140724754228321 140724754235337 0
/proc/839588/statm: 290596 272213 421 379 0 290130 0
Current children cumulated CPU time: 3230.55 s
Current children cumulated vsize: 1172316 KiB
Current children cumulated memory: 1091684 KiB

[startup+3244 s]*
/proc/loadavg: 4.15 4.19 4.17 5/260 841457
/proc/meminfo: memFree=118734208/131524600 swapFree=131071996/131071996
[pid=839583] ppid=839580 vsize=9932 memory=2832 CPUtime=0 cores=0,2
/proc/839583/stat : 839583 (naps-1.02b5.sh) S 839580 839583 837397 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 162883222 10170368 708 134679101440 94182914228224 94182915307544 140724613666656 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94182917406000 94182917453188 94182929133568 140724613673952 140724613674079 140724613674079 140724613681094 0
/proc/839583/statm: 2483 708 633 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2832 KiB

Child status: 30

Real time (s): 3244.03
CPU time (s): 3230.98
CPU user time (s): 3229.85
CPU system time (s): 1.12737
CPU usage (%): 99.5979
Max. virtual memory (cumulated for all children) (KiB): 1248384
Max. memory (cumulated for all children) (KiB): 1166728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3229.85
system time used= 1.12737
maximum resident set size= 1163896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126211
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= 22183


# summary of solver processes directly reported to runsolver:
#   pid: 839583
#   total CPU time (s): 3230.98
#   total CPU user time (s): 3229.85
#   total CPU system time (s): 1.12737

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7842 second user time and 13.8953 second system time

The end