runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (59906 MiB free)
  memory of node 1: 64510 MiB (61384 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449622-1721399503/watcher-4449622-1721399503 -o /tmp/evaluation-result-4449622-1721399503/solver-4449622-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721399514-1026464 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4449622-1721399503.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=1026523, runsolver pid=1026520

[startup+0.100099 s]*
/proc/loadavg: 0.17 0.12 0.09 5/246 1026542
/proc/meminfo: memFree=124198884/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=4536 memory=3288 CPUtime=0.09 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 314 0 0 0 9 0 0 0 20 0 1 0 192106372 4644864 822 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 1134 822 580 659 0 338 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 14468 KiB
Current children cumulated memory: 6072 KiB

[startup+0.2138 s]*
/proc/loadavg: 0.17 0.12 0.09 4/243 1026550
/proc/meminfo: memFree=124197280/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=5056 memory=3776 CPUtime=0.2 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 463 0 0 0 20 0 0 0 20 0 1 0 192106372 5177344 944 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 1264 944 580 659 0 468 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 14988 KiB
Current children cumulated memory: 6560 KiB

[startup+0.312336 s]*
/proc/loadavg: 0.17 0.12 0.09 4/243 1026550
/proc/meminfo: memFree=124195344/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=5844 memory=4500 CPUtime=0.3 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 655 0 0 0 30 0 0 0 20 0 1 0 192106372 5984256 1125 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 1461 1125 580 659 0 665 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 15776 KiB
Current children cumulated memory: 7284 KiB

[startup+0.70037 s]
/proc/loadavg: 0.48 0.18 0.12 4/243 1026550
/proc/meminfo: memFree=124192840/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=8920 memory=7132 CPUtime=0.67 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 1424 0 0 0 67 0 0 0 20 0 1 0 192106372 9134080 1783 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 2230 1783 580 659 0 1434 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 18852 KiB
Current children cumulated memory: 9916 KiB

[startup+1.5004 s]
/proc/loadavg: 0.48 0.18 0.12 4/245 1026582
/proc/meminfo: memFree=124182548/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=17940 memory=15896 CPUtime=1.47 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 3703 0 0 0 146 1 0 0 20 0 1 0 192106372 18370560 3974 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 4485 3974 580 659 0 3689 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 27872 KiB
Current children cumulated memory: 18680 KiB

[startup+3.11312 s]
/proc/loadavg: 0.48 0.18 0.12 5/249 1026594
/proc/meminfo: memFree=124140920/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=33156 memory=30984 CPUtime=3.08 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 12133 0 0 0 304 4 0 0 20 0 1 0 192106372 33951744 7746 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 8289 7746 660 659 0 7493 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43088 KiB
Current children cumulated memory: 33768 KiB

[startup+6.30037 s]
/proc/loadavg: 0.76 0.25 0.14 5/249 1026594
/proc/meminfo: memFree=124121400/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=47868 memory=45828 CPUtime=6.25 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 18826 0 0 0 619 6 0 0 20 0 1 0 192106372 49016832 11457 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 11967 11457 660 659 0 11171 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 57800 KiB
Current children cumulated memory: 48612 KiB

[startup+12.7004 s]
/proc/loadavg: 1.02 0.31 0.16 5/249 1026595
/proc/meminfo: memFree=124087628/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=49764 memory=48192 CPUtime=12.63 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 27260 0 0 0 1253 10 0 0 20 0 1 0 192106372 50958336 12048 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 12441 12048 660 659 0 11645 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 59696 KiB
Current children cumulated memory: 50976 KiB

[startup+25.5004 s]
/proc/loadavg: 1.48 0.43 0.20 5/249 1026597
/proc/meminfo: memFree=124042352/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=84272 memory=82612 CPUtime=25.39 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 39944 0 0 0 2524 15 0 0 20 0 1 0 192106372 86294528 20653 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 21068 20653 660 659 0 20272 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 94204 KiB
Current children cumulated memory: 85396 KiB

[startup+51.1129 s]
/proc/loadavg: 2.55 0.79 0.33 5/249 1026650
/proc/meminfo: memFree=123926148/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=99388 memory=97896 CPUtime=50.92 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 44527 0 0 0 5074 18 0 0 20 0 1 0 192106372 101773312 24474 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 24847 24474 660 659 0 24051 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 109320 KiB
Current children cumulated memory: 100680 KiB

[startup+102.3 s]
/proc/loadavg: 3.46 1.32 0.53 5/248 1026661
/proc/meminfo: memFree=123781616/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=159672 memory=158020 CPUtime=101.94 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 62887 0 0 0 10156 38 0 0 20 0 1 0 192106372 163504128 39505 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 39918 39505 660 659 0 39122 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 169604 KiB
Current children cumulated memory: 160804 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 1.84 0.76 5/248 1026672
/proc/meminfo: memFree=123693904/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=195780 memory=194600 CPUtime=161.78 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 77672 0 0 0 16116 62 0 0 20 0 1 0 192106372 200478720 48650 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 48945 48650 660 659 0 48149 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 205712 KiB
Current children cumulated memory: 197384 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.25 0.97 5/247 1026683
/proc/meminfo: memFree=123583732/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=235788 memory=231292 CPUtime=221.62 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 93181 0 0 0 22075 87 0 0 20 0 1 0 192106372 241446912 57823 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 58947 57823 660 659 0 58151 0
Current children cumulated CPU time: 221.62 s

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

/proc/1026528/statm: 450852 431335 660 659 0 450056 0
Current children cumulated CPU time: 3033.36 s
Current children cumulated vsize: 1813340 KiB
Current children cumulated memory: 1728124 KiB

[startup+3102.3 s]
/proc/loadavg: 4.83 4.46 4.16 5/246 1027825
/proc/meminfo: memFree=122105068/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=1716032 memory=1640300 CPUtime=3093.18 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 1093844 0 0 0 307414 1904 0 0 20 0 1 0 192106372 1757216768 410075 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 429008 410075 660 659 0 428212 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 1725964 KiB
Current children cumulated memory: 1643084 KiB

[startup+3162.3 s]
/proc/loadavg: 4.49 4.45 4.18 5/246 1027835
/proc/meminfo: memFree=122021504/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=1813528 memory=1723160 CPUtime=3153 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 1122776 0 0 0 313330 1970 0 0 20 0 1 0 192106372 1857052672 430790 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 453382 430790 660 659 0 452586 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 1823460 KiB
Current children cumulated memory: 1725944 KiB

[startup+3222.3 s]
/proc/loadavg: 4.29 4.39 4.18 5/248 1028231
/proc/meminfo: memFree=122021324/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=1800764 memory=1722652 CPUtime=3212.81 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 1136728 0 0 0 319248 2033 0 0 20 0 1 0 192106372 1843982336 430663 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 450191 430663 660 659 0 449395 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 1810696 KiB
Current children cumulated memory: 1725436 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.33 4.17 5/248 1028242
/proc/meminfo: memFree=121920932/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=1947816 memory=1870848 CPUtime=3272.64 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 1146186 0 0 0 325182 2082 0 0 20 0 1 0 192106372 1994563584 467712 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 486954 467712 660 659 0 486158 0
Current children cumulated CPU time: 3272.64 s
Current children cumulated vsize: 1957748 KiB
Current children cumulated memory: 1873632 KiB

[startup+3342.3 s]
/proc/loadavg: 4.50 4.37 4.19 5/248 1028252
/proc/meminfo: memFree=122032820/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=1808104 memory=1731296 CPUtime=3332.47 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 1152290 0 0 0 331124 2123 0 0 20 0 1 0 192106372 1851498496 432824 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 452026 432824 660 659 0 451230 0
Current children cumulated CPU time: 3332.47 s
Current children cumulated vsize: 1818036 KiB
Current children cumulated memory: 1734080 KiB

[startup+3402.3 s]
/proc/loadavg: 4.69 4.45 4.23 5/250 1028432
/proc/meminfo: memFree=121889372/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=1951056 memory=1869452 CPUtime=3392.31 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 1192827 0 0 0 337045 2186 0 0 20 0 1 0 192106372 1997881344 467363 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 487764 467363 660 659 0 486968 0
Current children cumulated CPU time: 3392.31 s
Current children cumulated vsize: 1960988 KiB
Current children cumulated memory: 1872236 KiB

[startup+3462.3 s]
/proc/loadavg: 4.53 4.46 4.25 5/250 1028443
/proc/meminfo: memFree=121905528/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=1926912 memory=1850152 CPUtime=3452.13 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 1197680 0 0 0 343002 2211 0 0 20 0 1 0 192106372 1973157888 462538 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 481728 462538 660 659 0 480932 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 1936844 KiB
Current children cumulated memory: 1852936 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.39 4.24 5/250 1028511
/proc/meminfo: memFree=121902992/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=1925436 memory=1848864 CPUtime=3511.96 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 1200925 0 0 0 348960 2236 0 0 20 0 1 0 192106372 1971646464 462216 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 481359 462216 660 659 0 480563 0
Current children cumulated CPU time: 3511.96 s
Current children cumulated vsize: 1935368 KiB
Current children cumulated memory: 1851648 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.33 4.23 5/250 1028522
/proc/meminfo: memFree=121908980/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=1932820 memory=1860172 CPUtime=3571.8 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 1204801 0 0 0 354919 2261 0 0 20 0 1 0 192106372 1979207680 465043 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 483205 465043 660 659 0 482409 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 1942752 KiB
Current children cumulated memory: 1862956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.16 4.32 4.22 5/250 1028526
/proc/meminfo: memFree=121936452/131655788 swapFree=131071996/131071996
[pid=1026523] ppid=1026520 vsize=9932 memory=2784 CPUtime=0 cores=5,7
/proc/1026523/stat : 1026523 (naps-1.03.sh) S 1026520 1026523 1026451 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 192106370 10170368 696 134679101440 94418330345472 94418331424792 140722214841072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94418333523248 94418333570436 94418334105600 140722214843362 140722214843487 140722214843487 140722214850504 0
/proc/1026523/statm: 2483 696 619 264 0 134 0
[pid=1026528] ppid=1026523 vsize=1936568 memory=1863920 CPUtime=3600.03 cores=5,7
/proc/1026528/stat : 1026528 (naps-1.03) R 1026523 1026523 1026451 0 -1 4194304 1206898 0 0 0 357729 2274 0 0 20 0 1 0 192106372 1983045632 465980 134679101440 4194304 6891213 140737226882032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 7680000 140737226888179 140737226888291 140737226888291 140737226895307 0
/proc/1026528/statm: 484142 465980 660 659 0 483346 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1946500 KiB
Current children cumulated memory: 1866704 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.003702 s, system=0.00394 s

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

# cumulated CPU time of all completed processes:  user=3577.3 s, system=22.7558 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): 3610.61
CPU time (s): 3600.05
CPU user time (s): 3577.3
CPU system time (s): 22.7558
CPU usage (%): 99.7077
Max. virtual memory (cumulated for all children) (KiB): 2589824
Max. memory (cumulated for all children) (KiB): 2493284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.3
system time used= 22.7558
maximum resident set size= 2490500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1207359
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= 187
involuntary context switches= 2885


# summary of solver processes directly reported to runsolver:
#   pid: 1026523,1026528
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3577.3
#   total CPU system time (s): 22.7558

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7529 second user time and 36.5175 second system time

The end