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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426639-1720909367/watcher-4426639-1720909367 -o /tmp/evaluation-result-4426639-1720909367/solver-4426639-1720909367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1720905539-722364 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426639-1720909367.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_64SLinux 4.18.0-301.1.el8.x86_64Starting watchdog threadl
Current StackSize limit: 8192 KiB

solver pid=726047, runsolver pid=726044

[startup+0.100638 s]*
/proc/loadavg: 4.17 4.18 4.17 5/238 726053
/proc/meminfo: memFree=125748396/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=9404 memory=7892 CPUtime=0.1 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 1649 0 0 0 10 0 0 0 20 0 1 0 143095574 9629696 1973 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 2351 1973 580 659 0 1555 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19336 KiB
Current children cumulated memory: 10580 KiB

[startup+0.212792 s]*
/proc/loadavg: 4.17 4.18 4.17 5/245 726067
/proc/meminfo: memFree=125735312/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=16604 memory=15016 CPUtime=0.2 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 3693 0 0 0 20 0 0 0 20 0 1 0 143095574 17002496 3754 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 4151 3754 580 659 0 3355 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26536 KiB
Current children cumulated memory: 17704 KiB

[startup+0.312825 s]*
/proc/loadavg: 4.17 4.18 4.17 5/245 726067
/proc/meminfo: memFree=125667648/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=25496 memory=23316 CPUtime=0.31 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 5766 0 0 0 30 1 0 0 20 0 1 0 143095574 26107904 5829 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 6374 5829 580 659 0 5578 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35428 KiB
Current children cumulated memory: 26004 KiB

[startup+0.700415 s]
/proc/loadavg: 4.16 4.18 4.17 5/245 726067
/proc/meminfo: memFree=125651192/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=49132 memory=45176 CPUtime=0.68 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 11243 0 0 0 66 2 0 0 20 0 1 0 143095574 50311168 11294 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 12283 11294 580 659 0 11487 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59064 KiB
Current children cumulated memory: 47864 KiB

[startup+1.50037 s]
/proc/loadavg: 4.16 4.18 4.17 5/245 726068
/proc/meminfo: memFree=125605200/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=97948 memory=92920 CPUtime=1.47 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 21142 0 0 0 144 3 0 0 20 0 1 0 143095574 100298752 23230 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 24487 23230 580 659 0 23691 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 107880 KiB
Current children cumulated memory: 95608 KiB

[startup+3.11259 s]
/proc/loadavg: 4.16 4.18 4.17 5/245 726068
/proc/meminfo: memFree=125362380/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=174620 memory=170800 CPUtime=3.09 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 39377 0 0 0 303 6 0 0 20 0 1 0 143095574 178810880 42700 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 43655 42700 612 659 0 42859 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 173488 KiB

[startup+6.30034 s]
/proc/loadavg: 4.15 4.17 4.17 5/245 726068
/proc/meminfo: memFree=125107208/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=174620 memory=170800 CPUtime=6.27 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 39378 0 0 0 621 6 0 0 20 0 1 0 143095574 178810880 42700 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 43655 42700 612 659 0 42859 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 173488 KiB

[startup+12.7004 s]
/proc/loadavg: 4.13 4.17 4.17 5/245 726070
/proc/meminfo: memFree=124777844/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=174620 memory=170800 CPUtime=12.66 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 39380 0 0 0 1260 6 0 0 20 0 1 0 143095574 178810880 42700 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 43655 42700 612 659 0 42859 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 173488 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.16 4.17 5/245 726071
/proc/meminfo: memFree=124106216/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=174620 memory=170800 CPUtime=25.43 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 39384 0 0 0 2537 6 0 0 20 0 1 0 143095574 178810880 42700 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 43655 42700 612 659 0 42859 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 173488 KiB

[startup+51.1135 s]
/proc/loadavg: 4.14 4.16 4.17 5/245 726076
/proc/meminfo: memFree=124103220/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=174620 memory=170800 CPUtime=51 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 39389 0 0 0 5094 6 0 0 20 0 1 0 143095574 178810880 42700 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 43655 42700 612 659 0 42859 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 173488 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/245 726085
/proc/meminfo: memFree=122864484/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=1485524 memory=1406768 CPUtime=102.08 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 232444 0 0 0 10145 63 0 0 20 0 1 0 143095574 1521176576 351692 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 371381 351692 644 659 0 370585 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 1495456 KiB
Current children cumulated memory: 1409456 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.17 4.17 5/246 726480
/proc/meminfo: memFree=122675236/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=1720800 memory=1642208 CPUtime=161.94 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 312099 0 0 0 16027 167 0 0 20 0 1 0 143095574 1762099200 410552 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 430200 410552 660 659 0 429404 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 1730732 KiB
Current children cumulated memory: 1644896 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.18 4.18 5/244 726493
/proc/meminfo: memFree=122615800/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=1767056 memory=1688104 CPUtime=221.8 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 334602 0 0 0 21932 248 0 0 20 0 1 0 143095574 1809465344 422026 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 441764 422026 660 659 0 440968 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 1776988 KiB
Current children cumulated memory: 1690792 KiB

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

/proc/726052/statm: 440519 423584 660 659 0 439723 0
Current children cumulated CPU time: 3034.67 s
Current children cumulated vsize: 1772008 KiB
Current children cumulated memory: 1697024 KiB

[startup+3102.3 s]
/proc/loadavg: 4.71 4.36 4.25 5/246 727810
/proc/meminfo: memFree=122472652/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=1762076 memory=1694336 CPUtime=3094.56 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 453094 0 0 0 308750 706 0 0 20 0 1 0 143095574 1804365824 423584 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 440519 423584 660 659 0 439723 0
Current children cumulated CPU time: 3094.56 s
Current children cumulated vsize: 1772008 KiB
Current children cumulated memory: 1697024 KiB

[startup+3162.3 s]
/proc/loadavg: 4.45 4.36 4.26 5/246 727821
/proc/meminfo: memFree=122424440/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=1762076 memory=1694336 CPUtime=3154.45 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 453461 0 0 0 314739 706 0 0 20 0 1 0 143095574 1804365824 423584 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 440519 423584 660 659 0 439723 0
Current children cumulated CPU time: 3154.45 s
Current children cumulated vsize: 1772008 KiB
Current children cumulated memory: 1697024 KiB

[startup+3222.3 s]
/proc/loadavg: 4.28 4.33 4.25 5/243 727831
/proc/meminfo: memFree=122379432/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=1758296 memory=1690556 CPUtime=3214.31 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 454814 0 0 0 320719 712 0 0 20 0 1 0 143095574 1800495104 422639 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 439574 422639 660 659 0 438778 0
Current children cumulated CPU time: 3214.31 s
Current children cumulated vsize: 1768228 KiB
Current children cumulated memory: 1693244 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.30 4.25 5/243 727841
/proc/meminfo: memFree=122481520/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=1758296 memory=1691184 CPUtime=3274.18 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 455331 0 0 0 326706 712 0 0 20 0 1 0 143095574 1800495104 422796 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 439574 422796 660 659 0 438778 0
Current children cumulated CPU time: 3274.18 s
Current children cumulated vsize: 1768228 KiB
Current children cumulated memory: 1693872 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.26 4.24 5/242 727851
/proc/meminfo: memFree=122429964/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=1758296 memory=1691184 CPUtime=3334.04 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 455823 0 0 0 332692 712 0 0 20 0 1 0 143095574 1800495104 422796 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 439574 422796 660 659 0 438778 0
Current children cumulated CPU time: 3334.04 s
Current children cumulated vsize: 1768228 KiB
Current children cumulated memory: 1693872 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.24 4.23 5/242 727862
/proc/meminfo: memFree=122480892/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=1758296 memory=1691184 CPUtime=3393.88 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 456309 0 0 0 338675 713 0 0 20 0 1 0 143095574 1800495104 422796 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 439574 422796 660 659 0 438778 0
Current children cumulated CPU time: 3393.88 s
Current children cumulated vsize: 1768228 KiB
Current children cumulated memory: 1693872 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.21 4.22 5/244 727876
/proc/meminfo: memFree=122481256/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=1758296 memory=1691184 CPUtime=3453.72 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 456798 0 0 0 344659 713 0 0 20 0 1 0 143095574 1800495104 422796 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 439574 422796 660 659 0 438778 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 1768228 KiB
Current children cumulated memory: 1693872 KiB

[startup+3522.3 s]
/proc/loadavg: 3.59 4.06 4.17 4/236 727916
/proc/meminfo: memFree=124212880/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=1758296 memory=1693232 CPUtime=3513.56 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 457291 0 0 0 350643 713 0 0 20 0 1 0 143095574 1800495104 423308 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 439574 423308 660 659 0 438778 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 1768228 KiB
Current children cumulated memory: 1695920 KiB

[startup+3582.3 s]
/proc/loadavg: 3.28 3.89 4.10 3/228 727958
/proc/meminfo: memFree=125685704/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=1767440 memory=1702376 CPUtime=3573.38 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 459480 0 0 0 356615 723 0 0 20 0 1 0 143095574 1809858560 425594 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 441860 425594 660 659 0 441064 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 1777372 KiB
Current children cumulated memory: 1705064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 2.92 3.75 4.05 3/228 727961
/proc/meminfo: memFree=125645824/131655788 swapFree=131071996/131071996
[pid=726047] ppid=726044 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/726047/stat : 726047 (naps-1.03.sh) S 726044 726047 720147 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 143095574 10170368 672 134679101440 93878648201216 93878649280536 140722396879056 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93878651378992 93878651426180 93878672928768 140722396885940 140722396886065 140722396886065 140722396893128 0
/proc/726047/statm: 2483 672 595 264 0 134 0
[pid=726052] ppid=726047 vsize=1803408 memory=1738044 CPUtime=3600.01 cores=4,6
/proc/726052/stat : 726052 (naps-1.03) R 726047 726047 720147 0 -1 4194304 466106 0 0 0 359266 735 0 0 20 0 1 0 143095574 1846689792 434511 134679101440 4194304 6891213 140727988530656 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15720448 140727988536261 140727988536373 140727988536373 140727988543435 0
/proc/726052/statm: 450852 434511 660 659 0 450056 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1813340 KiB
Current children cumulated memory: 1740732 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.02 s]
# the end of solver process 726047 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000401 s, system=0.003866 s

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

# cumulated CPU time of all completed processes:  user=3592.68 s, system=7.36462 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 10

Real time (s): 3609.02
CPU time (s): 3600.04
CPU user time (s): 3592.68
CPU system time (s): 7.36462
CPU usage (%): 99.7512
Max. virtual memory (cumulated for all children) (KiB): 2120824
Max. memory (cumulated for all children) (KiB): 2038836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.67
system time used= 7.36463
maximum resident set size= 2036148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466568
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= 156
involuntary context switches= 1609


# summary of solver processes directly reported to runsolver:
#   pid: 726047,726052
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3592.68
#   total CPU system time (s): 7.36462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5203 second user time and 36.5665 second system time

The end