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: 64096 MiB (53403 MiB free)
  memory of node 1: 64473 MiB (27293 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456315-1721718977/watcher-4456315-1721718977 -o /tmp/evaluation-result-4456315-1721718977/solver-4456315-1721718977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721718430-79049 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4456315-1721718977.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=80242, runsolver pid=80239

[startup+0.1001 s]*
/proc/loadavg: 4.60 3.92 2.87 5/251 80247
/proc/meminfo: memFree=82591412/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=16708 memory=9808 CPUtime=0.1 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 2178 0 0 0 10 0 0 0 20 0 1 0 7886637 17108992 2452 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 4177 2452 436 659 0 3381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26640 KiB
Current children cumulated memory: 12504 KiB

[startup+0.213569 s]*
/proc/loadavg: 4.60 3.92 2.87 5/251 80247
/proc/meminfo: memFree=82542364/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=24224 memory=17636 CPUtime=0.21 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 4207 0 0 0 21 0 0 0 20 0 1 0 7886637 24805376 4409 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 6056 4409 436 659 0 5260 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 20332 KiB

[startup+0.313485 s]*
/proc/loadavg: 4.60 3.92 2.87 5/251 80247
/proc/meminfo: memFree=82493516/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=36376 memory=29984 CPUtime=0.31 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 7471 0 0 0 30 1 0 0 20 0 1 0 7886637 37249024 7496 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 9094 7496 436 659 0 8298 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46308 KiB
Current children cumulated memory: 32680 KiB

[startup+0.700417 s]
/proc/loadavg: 4.60 3.92 2.87 5/251 80247
/proc/meminfo: memFree=82414536/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=79284 memory=75624 CPUtime=0.68 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 16091 0 0 0 65 3 0 0 20 0 1 0 7886637 81186816 18906 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 19821 18906 468 659 0 19025 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 89216 KiB
Current children cumulated memory: 78320 KiB

[startup+1.50043 s]
/proc/loadavg: 4.60 3.92 2.87 5/251 80247
/proc/meminfo: memFree=82122304/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=431208 memory=390700 CPUtime=1.48 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 66365 0 0 0 134 14 0 0 20 0 1 0 7886637 441556992 97675 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 107802 97675 468 659 0 107006 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 441140 KiB
Current children cumulated memory: 393396 KiB

[startup+3.11332 s]
/proc/loadavg: 4.60 3.92 2.87 5/251 80247
/proc/meminfo: memFree=80903704/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=705772 memory=580384 CPUtime=3.09 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 81914 0 0 0 290 19 0 0 20 0 1 0 7886637 722710528 145096 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 176443 145096 468 659 0 175647 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 715704 KiB
Current children cumulated memory: 583080 KiB

[startup+6.30041 s]
/proc/loadavg: 4.55 3.93 2.87 5/251 80247
/proc/meminfo: memFree=79399344/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=629276 memory=564288 CPUtime=6.26 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 83382 0 0 0 605 21 0 0 20 0 1 0 7886637 644378624 141072 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 157319 141072 468 659 0 156523 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 639208 KiB
Current children cumulated memory: 566984 KiB

[startup+12.7004 s]
/proc/loadavg: 4.50 3.93 2.88 5/251 80249
/proc/meminfo: memFree=77433968/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=1826136 memory=1609960 CPUtime=12.64 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 177030 0 0 0 1211 53 0 0 20 0 1 0 7886637 1869963264 402490 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 456534 402490 468 659 0 455738 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1836068 KiB
Current children cumulated memory: 1612656 KiB

[startup+25.5004 s]
/proc/loadavg: 4.47 3.95 2.90 5/251 80250
/proc/meminfo: memFree=71218000/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=2985920 memory=2724424 CPUtime=25.41 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 268881 0 0 0 2451 90 0 0 20 0 1 0 7886637 3057582080 681106 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 746480 681106 468 659 0 745684 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2995852 KiB
Current children cumulated memory: 2727120 KiB

[startup+51.1134 s]
/proc/loadavg: 4.31 3.95 2.93 5/251 80255
/proc/meminfo: memFree=68423960/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=2939184 memory=2720896 CPUtime=50.93 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 275842 0 0 0 4997 96 0 0 20 0 1 0 7886637 3009724416 680224 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 734796 680224 468 659 0 734000 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2949116 KiB
Current children cumulated memory: 2723592 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 3.98 3.00 5/251 80313
/proc/meminfo: memFree=82938004/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=2939184 memory=2720980 CPUtime=101.96 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 276427 0 0 0 10099 97 0 0 20 0 1 0 7886637 3009724416 680245 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 734796 680245 468 659 0 734000 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2949116 KiB
Current children cumulated memory: 2723676 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.01 3.07 5/251 80323
/proc/meminfo: memFree=73552904/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=2939184 memory=2721640 CPUtime=161.77 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 277049 0 0 0 16079 98 0 0 20 0 1 0 7886637 3009724416 680410 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 734796 680410 468 659 0 734000 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2949116 KiB
Current children cumulated memory: 2724336 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.02 3.14 5/251 80334
/proc/meminfo: memFree=72546484/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=2939184 memory=2722132 CPUtime=221.58 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 277599 0 0 0 22059 99 0 0 20 0 1 0 7886637 3009724416 680533 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 734796 680533 468 659 0 734000 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 2949116 KiB

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

/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=3024972 memory=2730176 CPUtime=401 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 280214 0 0 0 39997 103 0 0 20 0 1 0 7886637 3097571328 682544 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 756243 682544 468 659 0 755447 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2732872 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.10 3.39 5/248 80736
/proc/meminfo: memFree=97319128/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=3024972 memory=2730180 CPUtime=460.8 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 280969 0 0 0 45977 103 0 0 20 0 1 0 7886637 3097571328 682545 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 756243 682545 468 659 0 755447 0
Current children cumulated CPU time: 460.8 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2732876 KiB

[startup+522.3 s]
/proc/loadavg: 4.12 4.09 3.43 5/248 80795
/proc/meminfo: memFree=93264536/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=3024972 memory=2730180 CPUtime=520.62 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 281414 0 0 0 51958 104 0 0 20 0 1 0 7886637 3097571328 682545 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 756243 682545 468 659 0 755447 0
Current children cumulated CPU time: 520.62 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2732876 KiB

[startup+582.3 s]
/proc/loadavg: 4.16 4.10 3.48 5/247 81189
/proc/meminfo: memFree=82484592/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=3024972 memory=2732228 CPUtime=580.41 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 282084 0 0 0 57937 104 0 0 20 0 1 0 7886637 3097571328 683057 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 756243 683057 468 659 0 755447 0
Current children cumulated CPU time: 580.41 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2734924 KiB

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

# cumulated CPU time of all completed processes:  user=611.738 s, system=1.09517 s

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

[startup+588.8 s]
/proc/loadavg: 4.15 4.10 3.48 5/247 81191
/proc/meminfo: memFree=83813532/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=3024972 memory=2732228 CPUtime=586.89 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 282188 0 0 0 58585 104 0 0 20 0 1 0 7886637 3097571328 683057 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 756243 683057 468 659 0 755447 0
Current children cumulated CPU time: 586.89 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2734924 KiB

[startup+601.6 s]
/proc/loadavg: 4.19 4.11 3.50 8/248 81193
/proc/meminfo: memFree=83349752/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=3024972 memory=2732228 CPUtime=599.64 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 282251 0 0 0 59860 104 0 0 20 0 1 0 7886637 3097571328 683057 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 756243 683057 468 659 0 755447 0
Current children cumulated CPU time: 599.64 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2734924 KiB

[startup+608 s]*
/proc/loadavg: 4.17 4.11 3.50 5/247 81195
/proc/meminfo: memFree=83144236/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=3024972 memory=2732228 CPUtime=606.04 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 282279 0 0 0 60499 105 0 0 20 0 1 0 7886637 3097571328 683057 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 756243 683057 468 659 0 755447 0
Current children cumulated CPU time: 606.04 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2734924 KiB

[startup+611.2 s]
/proc/loadavg: 4.16 4.11 3.50 5/247 81245
/proc/meminfo: memFree=99136408/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=3024972 memory=2732228 CPUtime=609.22 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 282289 0 0 0 60817 105 0 0 20 0 1 0 7886637 3097571328 683057 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 756243 683057 468 659 0 755447 0
Current children cumulated CPU time: 609.22 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2734924 KiB

[startup+612.8 s]
/proc/loadavg: 4.16 4.11 3.50 5/247 81245
/proc/meminfo: memFree=99112348/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=3024972 memory=2732228 CPUtime=610.81 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 282289 0 0 0 60976 105 0 0 20 0 1 0 7886637 3097571328 683057 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 756243 683057 468 659 0 755447 0
Current children cumulated CPU time: 610.81 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2734924 KiB

[startup+613.6 s]
/proc/loadavg: 4.16 4.11 3.50 5/247 81245
/proc/meminfo: memFree=99086640/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=3024972 memory=2732228 CPUtime=611.61 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 282289 0 0 0 61056 105 0 0 20 0 1 0 7886637 3097571328 683057 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 756243 683057 468 659 0 755447 0
Current children cumulated CPU time: 611.61 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2734924 KiB

[startup+614.4 s]
/proc/loadavg: 4.16 4.11 3.50 5/247 81245
/proc/meminfo: memFree=99062572/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
[pid=80247] ppid=80242 vsize=3024972 memory=2732228 CPUtime=612.41 cores=0,2
/proc/80247/stat : 80247 (naps-1.03) R 80242 80242 79038 0 -1 4194304 282289 0 0 0 61136 105 0 0 20 0 1 0 7886637 3097571328 683057 134679101440 4194304 6891213 140733529554144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17285120 140733529560048 140733529560164 140733529560164 140733529567179 0
/proc/80247/statm: 756243 683057 468 659 0 755447 0
Current children cumulated CPU time: 612.41 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2734924 KiB

[startup+614.8 s]
/proc/loadavg: 4.16 4.11 3.50 5/247 81245
/proc/meminfo: memFree=99062572/131655788 swapFree=131071996/131071996
[pid=80242] ppid=80239 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/80242/stat : 80242 (naps-1.03.sh) S 80239 80242 79038 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 7886636 10170368 674 134679101440 94559051534336 94559052613656 140727808963184 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94559054712112 94559054759300 94559079018496 140727808967647 140727808967776 140727808967776 140727808974792 0
/proc/80242/statm: 2483 674 596 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2696 KiB

Child status: 30

Real time (s): 614.813
CPU time (s): 612.833
CPU user time (s): 611.738
CPU system time (s): 1.09517
CPU usage (%): 99.678
Max. virtual memory (cumulated for all children) (KiB): 3198148
Max. memory (cumulated for all children) (KiB): 2899920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 611.738
system time used= 1.09516
maximum resident set size= 2897224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282945
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= 71
involuntary context switches= 4294


# summary of solver processes directly reported to runsolver:
#   pid: 80242
#   total CPU time (s): 612.833
#   total CPU user time (s): 611.738
#   total CPU system time (s): 1.09517

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.2354 second user time and 6.5593 second system time

The end