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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438281-1722961052/watcher-4438281-1722961052 -o /tmp/evaluation-result-4438281-1722961052/solver-4438281-1722961052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722961045-343090 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438281-1722961052.opb 3600 HOME 31000 

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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=343369, runsolver pid=343366

[startup+0.100432 s]*
/proc/loadavg: 1.52 1.75 2.18 5/265 343373
/proc/meminfo: memFree=121281244/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 62703137 10170368 674 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 674 596 264 0 134 0
[pid=343372] ppid=343369 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/343372/stat : 343372 (timeout) S 343369 343372 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62703138 8867840 229 134679101440 94328938426368 94328938461384 140724616661536 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94328940558800 94328940560932 94328956608512 140724616664076 140724616664221 140724616664221 140724616671207 0
/proc/343372/statm: 2165 229 205 9 0 87 0
[pid=343373] ppid=343372 vsize=43064 memory=34160 CPUtime=0.08 cores=0,2
/proc/343373/stat : 343373 (CASHWMaxSAT-Dis) R 343372 343372 343080 0 -1 4194304 6300 0 0 0 8 0 0 0 20 0 1 0 62703138 44097536 8540 134679101440 4194304 14093885 140733582252688 0 0 0 0 0 8408098 0 0 0 17 2 0 0 0 0 0 15976432 16051504 26095616 140733582255122 140733582255254 140733582255254 140733582262240 0
/proc/343373/statm: 10766 8540 2494 2417 0 7868 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61656 KiB
Current children cumulated memory: 37772 KiB

[startup+0.20643 s]*
/proc/loadavg: 1.52 1.75 2.18 5/265 343373
/proc/meminfo: memFree=121275196/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 62703137 10170368 674 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 674 596 264 0 134 0
[pid=343372] ppid=343369 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/343372/stat : 343372 (timeout) S 343369 343372 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62703138 8867840 229 134679101440 94328938426368 94328938461384 140724616661536 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94328940558800 94328940560932 94328956608512 140724616664076 140724616664221 140724616664221 140724616671207 0
/proc/343372/statm: 2165 229 205 9 0 87 0
[pid=343373] ppid=343372 vsize=44824 memory=36052 CPUtime=0.19 cores=0,2
/proc/343373/stat : 343373 (CASHWMaxSAT-Dis) R 343372 343372 343080 0 -1 4194304 6715 0 0 0 18 1 0 0 20 0 1 0 62703138 45899776 9013 134679101440 4194304 14093885 140733582252688 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26095616 140733582255122 140733582255254 140733582255254 140733582262240 0
/proc/343373/statm: 11206 9013 2510 2417 0 8308 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63416 KiB
Current children cumulated memory: 39664 KiB

[startup+0.305698 s]*
/proc/loadavg: 1.52 1.75 2.18 5/265 343373
/proc/meminfo: memFree=121272508/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 62703137 10170368 674 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 674 596 264 0 134 0
[pid=343372] ppid=343369 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/343372/stat : 343372 (timeout) S 343369 343372 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62703138 8867840 229 134679101440 94328938426368 94328938461384 140724616661536 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94328940558800 94328940560932 94328956608512 140724616664076 140724616664221 140724616664221 140724616671207 0
/proc/343372/statm: 2165 229 205 9 0 87 0
[pid=343373] ppid=343372 vsize=45152 memory=36376 CPUtime=0.29 cores=0,2
/proc/343373/stat : 343373 (CASHWMaxSAT-Dis) R 343372 343372 343080 0 -1 4194304 6813 0 0 0 28 1 0 0 20 0 1 0 62703138 46235648 9094 134679101440 4194304 14093885 140733582252688 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26095616 140733582255122 140733582255254 140733582255254 140733582262240 0
/proc/343373/statm: 11288 9094 2526 2417 0 8390 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63744 KiB
Current children cumulated memory: 39988 KiB

[startup+0.700234 s]
/proc/loadavg: 1.52 1.75 2.18 5/265 343373
/proc/meminfo: memFree=121268720/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 62703137 10170368 674 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 674 596 264 0 134 0
[pid=343372] ppid=343369 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/343372/stat : 343372 (timeout) S 343369 343372 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62703138 8867840 229 134679101440 94328938426368 94328938461384 140724616661536 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94328940558800 94328940560932 94328956608512 140724616664076 140724616664221 140724616664221 140724616671207 0
/proc/343372/statm: 2165 229 205 9 0 87 0
[pid=343373] ppid=343372 vsize=49424 memory=40040 CPUtime=0.68 cores=0,2
/proc/343373/stat : 343373 (CASHWMaxSAT-Dis) R 343372 343372 343080 0 -1 4194304 7754 0 0 0 67 1 0 0 20 0 1 0 62703138 50610176 10010 134679101440 4194304 14093885 140733582252688 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26095616 140733582255122 140733582255254 140733582255254 140733582262240 0
/proc/343373/statm: 12356 10010 2526 2417 0 9458 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68016 KiB
Current children cumulated memory: 43652 KiB

[startup+1.50023 s]
/proc/loadavg: 1.52 1.75 2.18 5/265 343373
/proc/meminfo: memFree=121249548/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 62703137 10170368 674 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 674 596 264 0 134 0
[pid=343372] ppid=343369 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/343372/stat : 343372 (timeout) S 343369 343372 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62703138 8867840 229 134679101440 94328938426368 94328938461384 140724616661536 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94328940558800 94328940560932 94328956608512 140724616664076 140724616664221 140724616664221 140724616671207 0
/proc/343372/statm: 2165 229 205 9 0 87 0
[pid=343373] ppid=343372 vsize=51612 memory=41624 CPUtime=1.47 cores=0,2
/proc/343373/stat : 343373 (CASHWMaxSAT-Dis) R 343372 343372 343080 0 -1 4194304 8120 0 0 0 146 1 0 0 20 0 1 0 62703138 52850688 10406 134679101440 4194304 14093885 140733582252688 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26095616 140733582255122 140733582255254 140733582255254 140733582262240 0
/proc/343373/statm: 12903 10406 2526 2417 0 10005 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 70204 KiB
Current children cumulated memory: 45236 KiB

[startup+3.10564 s]
/proc/loadavg: 1.52 1.75 2.18 5/265 343373
/proc/meminfo: memFree=121177260/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 62703137 10170368 674 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 674 596 264 0 134 0
[pid=343372] ppid=343369 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/343372/stat : 343372 (timeout) S 343369 343372 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62703138 8867840 229 134679101440 94328938426368 94328938461384 140724616661536 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94328940558800 94328940560932 94328956608512 140724616664076 140724616664221 140724616664221 140724616671207 0
/proc/343372/statm: 2165 229 205 9 0 87 0
[pid=343373] ppid=343372 vsize=73124 memory=62480 CPUtime=3.07 cores=0,2
/proc/343373/stat : 343373 (CASHWMaxSAT-Dis) R 343372 343372 343080 0 -1 4194304 13342 0 0 0 306 1 0 0 20 0 1 0 62703138 74878976 15620 134679101440 4194304 14093885 140733582252688 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26095616 140733582255122 140733582255254 140733582255254 140733582262240 0
/proc/343373/statm: 18281 15620 2526 2417 0 15383 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 91716 KiB
Current children cumulated memory: 66092 KiB

[startup+6.3002 s]
/proc/loadavg: 1.80 1.81 2.19 5/265 343374
/proc/meminfo: memFree=121101740/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 62703137 10170368 674 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 674 596 264 0 134 0
[pid=343372] ppid=343369 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/343372/stat : 343372 (timeout) S 343369 343372 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62703138 8867840 229 134679101440 94328938426368 94328938461384 140724616661536 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94328940558800 94328940560932 94328956608512 140724616664076 140724616664221 140724616664221 140724616671207 0
/proc/343372/statm: 2165 229 205 9 0 87 0
[pid=343373] ppid=343372 vsize=133620 memory=121616 CPUtime=6.25 cores=0,2
/proc/343373/stat : 343373 (CASHWMaxSAT-Dis) R 343372 343372 343080 0 -1 4194304 28126 0 0 0 621 4 0 0 20 0 1 0 62703138 136826880 30404 134679101440 4194304 14093885 140733582252688 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26095616 140733582255122 140733582255254 140733582255254 140733582262240 0
/proc/343373/statm: 33405 30404 2526 2417 0 30507 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 152212 KiB
Current children cumulated memory: 125228 KiB

[startup+12.7002 s]
/proc/loadavg: 2.06 1.86 2.21 5/265 343375
/proc/meminfo: memFree=121061036/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 62703137 10170368 674 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 674 596 264 0 134 0
[pid=343372] ppid=343369 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/343372/stat : 343372 (timeout) S 343369 343372 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62703138 8867840 229 134679101440 94328938426368 94328938461384 140724616661536 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94328940558800 94328940560932 94328956608512 140724616664076 140724616664221 140724616664221 140724616671207 0
/proc/343372/statm: 2165 229 205 9 0 87 0
[pid=343373] ppid=343372 vsize=152288 memory=137456 CPUtime=12.64 cores=0,2
/proc/343373/stat : 343373 (CASHWMaxSAT-Dis) R 343372 343372 343080 0 -1 4194304 32090 0 0 0 1259 5 0 0 20 0 1 0 62703138 155942912 34364 134679101440 4194304 14093885 140733582252688 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26095616 140733582255122 140733582255254 140733582255254 140733582262240 0
/proc/343373/statm: 38072 34364 2526 2417 0 35174 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 170880 KiB
Current children cumulated memory: 141068 KiB

[startup+25.5003 s]
/proc/loadavg: 2.63 2.00 2.25 5/265 343377
/proc/meminfo: memFree=121005920/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 62703137 10170368 674 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 674 596 264 0 134 0
[pid=343372] ppid=343369 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/343372/stat : 343372 (timeout) S 343369 343372 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62703138 8867840 229 134679101440 94328938426368 94328938461384 140724616661536 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94328940558800 94328940560932 94328956608512 140724616664076 140724616664221 140724616664221 140724616671207 0
/proc/343372/statm: 2165 229 205 9 0 87 0
[pid=343373] ppid=343372 vsize=152288 memory=137720 CPUtime=25.4 cores=0,2
/proc/343373/stat : 343373 (CASHWMaxSAT-Dis) R 343372 343372 343080 0 -1 4194304 32136 0 0 0 2535 5 0 0 20 0 1 0 62703138 155942912 34430 134679101440 4194304 14093885 140733582252688 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26095616 140733582255122 140733582255254 140733582255254 140733582262240 0
/proc/343373/statm: 38072 34430 2526 2417 0 35174 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 170880 KiB
Current children cumulated memory: 141332 KiB

[startup+51.105 s]
/proc/loadavg: 3.17 2.18 2.30 5/265 343382
/proc/meminfo: memFree=120789360/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 62703137 10170368 674 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 674 596 264 0 134 0
[pid=343372] ppid=343369 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/343372/stat : 343372 (timeout) S 343369 343372 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62703138 8867840 229 134679101440 94328938426368 94328938461384 140724616661536 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94328940558800 94328940560932 94328956608512 140724616664076 140724616664221 140724616664221 140724616671207 0
/proc/343372/statm: 2165 229 205 9 0 87 0
[pid=343373] ppid=343372 vsize=223920 memory=207760 CPUtime=50.93 cores=0,2
/proc/343373/stat : 343373 (CASHWMaxSAT-Dis) R 343372 343372 343080 0 -1 4194304 49724 0 0 0 5083 10 0 0 20 0 1 0 62703138 229294080 51940 134679101440 4194304 14093885 140733582252688 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26095616 140733582255122 140733582255254 140733582255254 140733582262240 0
/proc/343373/statm: 55980 51940 2526 2417 0 53082 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 242512 KiB
Current children cumulated memory: 211372 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.46 2.39 5/265 343441
/proc/meminfo: memFree=120783120/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 62703137 10170368 674 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0

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

/proc/344372/statm: 51791 48956 748 737 0 50879 0
Current children cumulated CPU time: 3391.59 s
Current children cumulated vsize: 225756 KiB
Current children cumulated memory: 199604 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.08 5/265 345250
/proc/meminfo: memFree=120743440/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2760 CPUtime=1792.51 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 272 101327 0 0 0 0 179220 31 20 0 1 0 62703137 10170368 690 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 690 596 264 0 134 0
[pid=344371] ppid=343369 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/344371/stat : 344371 (timeout) S 343369 344371 343080 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62882938 8867840 255 134679101440 94882068697088 94882068732104 140729217253200 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94882070829520 94882070831652 94882100162560 140729217262580 140729217262749 140729217262749 140729217269735 0
/proc/344371/statm: 2165 255 230 9 0 87 0
[pid=344372] ppid=344371 vsize=208252 memory=197060 CPUtime=1658.86 cores=0,2
/proc/344372/stat : 344372 (Exact) R 344371 344371 343080 0 -1 4194304 28385 0 0 0 165877 9 0 0 20 0 1 0 62882938 213250048 49265 134679101440 4194304 7210733 140727397675632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30838784 140727397684240 140727397684390 140727397684390 140727397691376 0
/proc/344372/statm: 52063 49265 748 737 0 51151 0
Current children cumulated CPU time: 3451.37 s
Current children cumulated vsize: 226844 KiB
Current children cumulated memory: 200840 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.08 5/262 345260
/proc/meminfo: memFree=120739480/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2760 CPUtime=1792.51 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 272 101327 0 0 0 0 179220 31 20 0 1 0 62703137 10170368 690 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 690 596 264 0 134 0
[pid=344371] ppid=343369 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/344371/stat : 344371 (timeout) S 343369 344371 343080 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62882938 8867840 255 134679101440 94882068697088 94882068732104 140729217253200 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94882070829520 94882070831652 94882100162560 140729217262580 140729217262749 140729217262749 140729217269735 0
/proc/344371/statm: 2165 255 230 9 0 87 0
[pid=344372] ppid=344371 vsize=208636 memory=197524 CPUtime=1718.63 cores=0,2
/proc/344372/stat : 344372 (Exact) R 344371 344371 343080 0 -1 4194304 28579 0 0 0 171854 9 0 0 20 0 1 0 62882938 213643264 49381 134679101440 4194304 7210733 140727397675632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30838784 140727397684240 140727397684390 140727397684390 140727397691376 0
/proc/344372/statm: 52159 49381 748 737 0 51247 0
Current children cumulated CPU time: 3511.14 s
Current children cumulated vsize: 227228 KiB
Current children cumulated memory: 201304 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/262 345270
/proc/meminfo: memFree=120736980/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2760 CPUtime=1792.51 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 272 101327 0 0 0 0 179220 31 20 0 1 0 62703137 10170368 690 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 690 596 264 0 134 0
[pid=344371] ppid=343369 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/344371/stat : 344371 (timeout) S 343369 344371 343080 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62882938 8867840 255 134679101440 94882068697088 94882068732104 140729217253200 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94882070829520 94882070831652 94882100162560 140729217262580 140729217262749 140729217262749 140729217269735 0
/proc/344371/statm: 2165 255 230 9 0 87 0
[pid=344372] ppid=344371 vsize=209212 memory=197992 CPUtime=1778.4 cores=0,2
/proc/344372/stat : 344372 (Exact) R 344371 344371 343080 0 -1 4194304 28787 0 0 0 177831 9 0 0 20 0 1 0 62882938 214233088 49498 134679101440 4194304 7210733 140727397675632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30838784 140727397684240 140727397684390 140727397684390 140727397691376 0
/proc/344372/statm: 52303 49498 748 737 0 51391 0
Current children cumulated CPU time: 3570.91 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201772 KiB

[startup+3596.03 s]
# the end of solver process 343369 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3584.2 s, system=0.416146 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.15 4.09 5/262 345271
/proc/meminfo: memFree=120736952/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2760 CPUtime=1792.51 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 272 101327 0 0 0 0 179220 31 20 0 1 0 62703137 10170368 690 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 690 596 264 0 134 0
[pid=344371] ppid=343369 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/344371/stat : 344371 (timeout) S 343369 344371 343080 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62882938 8867840 255 134679101440 94882068697088 94882068732104 140729217253200 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94882070829520 94882070831652 94882100162560 140729217262580 140729217262749 140729217262749 140729217269735 0
/proc/344371/statm: 2165 255 230 9 0 87 0
[pid=344372] ppid=344371 vsize=209212 memory=197992 CPUtime=1780.1 cores=0,2
/proc/344372/stat : 344372 (Exact) R 344371 344371 343080 0 -1 4194304 28787 0 0 0 178001 9 0 0 20 0 1 0 62882938 214233088 49498 134679101440 4194304 7210733 140727397675632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30838784 140727397684240 140727397684390 140727397684390 140727397691376 0
/proc/344372/statm: 52303 49498 748 737 0 51391 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201772 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.14 4.09 5/262 345273
/proc/meminfo: memFree=120736840/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2760 CPUtime=1792.51 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 272 101327 0 0 0 0 179220 31 20 0 1 0 62703137 10170368 690 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 690 596 264 0 134 0
[pid=344371] ppid=343369 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/344371/stat : 344371 (timeout) S 343369 344371 343080 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62882938 8867840 255 134679101440 94882068697088 94882068732104 140729217253200 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94882070829520 94882070831652 94882100162560 140729217262580 140729217262749 140729217262749 140729217269735 0
/proc/344371/statm: 2165 255 230 9 0 87 0
[pid=344372] ppid=344371 vsize=209212 memory=198044 CPUtime=1786.47 cores=0,2
/proc/344372/stat : 344372 (Exact) R 344371 344371 343080 0 -1 4194304 28849 0 0 0 178638 9 0 0 20 0 1 0 62882938 214233088 49511 134679101440 4194304 7210733 140727397675632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30838784 140727397684240 140727397684390 140727397684390 140727397691376 0
/proc/344372/statm: 52303 49511 748 737 0 51391 0
Current children cumulated CPU time: 3578.98 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201824 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.14 4.09 6/258 345366
/proc/meminfo: memFree=121051504/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2760 CPUtime=1792.51 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 272 101327 0 0 0 0 179220 31 20 0 1 0 62703137 10170368 690 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 690 596 264 0 134 0
[pid=344371] ppid=343369 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/344371/stat : 344371 (timeout) S 343369 344371 343080 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62882938 8867840 255 134679101440 94882068697088 94882068732104 140729217253200 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94882070829520 94882070831652 94882100162560 140729217262580 140729217262749 140729217262749 140729217269735 0
/proc/344371/statm: 2165 255 230 9 0 87 0
[pid=344372] ppid=344371 vsize=209212 memory=198044 CPUtime=1789.66 cores=0,2
/proc/344372/stat : 344372 (Exact) R 344371 344371 343080 0 -1 4194304 28852 0 0 0 178957 9 0 0 20 0 1 0 62882938 214233088 49511 134679101440 4194304 7210733 140727397675632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30838784 140727397684240 140727397684390 140727397684390 140727397691376 0
/proc/344372/statm: 52303 49511 748 737 0 51391 0
Current children cumulated CPU time: 3582.17 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201824 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.14 4.09 5/262 345415
/proc/meminfo: memFree=120781736/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2760 CPUtime=1792.51 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 272 101327 0 0 0 0 179220 31 20 0 1 0 62703137 10170368 690 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 690 596 264 0 134 0
[pid=344371] ppid=343369 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/344371/stat : 344371 (timeout) S 343369 344371 343080 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62882938 8867840 255 134679101440 94882068697088 94882068732104 140729217253200 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94882070829520 94882070831652 94882100162560 140729217262580 140729217262749 140729217262749 140729217269735 0
/proc/344371/statm: 2165 255 230 9 0 87 0
[pid=344372] ppid=344371 vsize=209212 memory=198044 CPUtime=1791.25 cores=0,2
/proc/344372/stat : 344372 (Exact) R 344371 344371 343080 0 -1 4194304 28853 0 0 0 179116 9 0 0 20 0 1 0 62882938 214233088 49511 134679101440 4194304 7210733 140727397675632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30838784 140727397684240 140727397684390 140727397684390 140727397691376 0
/proc/344372/statm: 52303 49511 748 737 0 51391 0
Current children cumulated CPU time: 3583.76 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201824 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.14 4.09 5/262 345415
/proc/meminfo: memFree=120781736/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2760 CPUtime=1792.51 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 272 101327 0 0 0 0 179220 31 20 0 1 0 62703137 10170368 690 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 690 596 264 0 134 0
[pid=344371] ppid=343369 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/344371/stat : 344371 (timeout) S 343369 344371 343080 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62882938 8867840 255 134679101440 94882068697088 94882068732104 140729217253200 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94882070829520 94882070831652 94882100162560 140729217262580 140729217262749 140729217262749 140729217269735 0
/proc/344371/statm: 2165 255 230 9 0 87 0
[pid=344372] ppid=344371 vsize=209212 memory=198044 CPUtime=1791.65 cores=0,2
/proc/344372/stat : 344372 (Exact) R 344371 344371 343080 0 -1 4194304 28854 0 0 0 179156 9 0 0 20 0 1 0 62882938 214233088 49511 134679101440 4194304 7210733 140727397675632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30838784 140727397684240 140727397684390 140727397684390 140727397691376 0
/proc/344372/statm: 52303 49511 748 737 0 51391 0
Current children cumulated CPU time: 3584.16 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201824 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.14 4.09 5/262 345415
/proc/meminfo: memFree=120682104/131524600 swapFree=131071472/131071996
[pid=343369] ppid=343366 vsize=9932 memory=2760 CPUtime=1792.51 cores=0,2
/proc/343369/stat : 343369 (Hybrid-CASHWMax) S 343366 343369 343080 0 -1 4194304 272 101327 0 0 0 0 179220 31 20 0 1 0 62703137 10170368 690 134679101440 94767620452352 94767621531672 140733202391456 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94767623630128 94767623677316 94767638425600 140733202400208 140733202400366 140733202400366 140733202407381 0
/proc/343369/statm: 2483 690 596 264 0 134 0
[pid=344371] ppid=343369 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/344371/stat : 344371 (timeout) S 343369 344371 343080 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62882938 8867840 255 134679101440 94882068697088 94882068732104 140729217253200 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94882070829520 94882070831652 94882100162560 140729217262580 140729217262749 140729217262749 140729217269735 0
/proc/344371/statm: 2165 255 230 9 0 87 0
[pid=344372] ppid=344371 vsize=209212 memory=198044 CPUtime=1792.05 cores=0,2
/proc/344372/stat : 344372 (Exact) R 344371 344371 343080 0 -1 4194304 28854 0 0 0 179196 9 0 0 20 0 1 0 62882938 214233088 49511 134679101440 4194304 7210733 140727397675632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 30838784 140727397684240 140727397684390 140727397684390 140727397691376 0
/proc/344372/statm: 52303 49511 748 737 0 51391 0
Current children cumulated CPU time: 3584.56 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201824 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3584.61
CPU user time (s): 3584.2
CPU system time (s): 0.416146
CPU usage (%): 99.6826
Max. virtual memory (cumulated for all children) (KiB): 459512
Max. memory (cumulated for all children) (KiB): 435184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.2
system time used= 0.416146
maximum resident set size= 431584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 24575


# summary of solver processes directly reported to runsolver:
#   pid: 343369
#   total CPU time (s): 3584.61
#   total CPU user time (s): 3584.2
#   total CPU system time (s): 0.416146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16264 second user time and 17.7022 second system time

The end