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

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

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


[startup+0.100096 s]*
/proc/loadavg: 1.22 1.70 2.16 5/265 343269
/proc/meminfo: memFree=121346204/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 243 98 0 0 0 0 0 0 20 0 1 0 62702735 10170368 686 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 686 608 264 0 134 0
[pid=343268] ppid=343265 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/343268/stat : 343268 (timeout) S 343265 343268 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62702735 8867840 247 134679101440 94180451213312 94180451248328 140727667789504 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94180453345744 94180453347876 94180456361984 140727667790860 140727667791005 140727667791005 140727667797991 0
/proc/343268/statm: 2165 247 223 9 0 87 0
[pid=343269] ppid=343268 vsize=43580 memory=35004 CPUtime=0.09 cores=5,7
/proc/343269/stat : 343269 (CASHWMaxSAT-Dis) R 343268 343268 343080 0 -1 4194304 6495 0 0 0 9 0 0 0 20 0 1 0 62702735 44625920 8751 134679101440 4194304 14093885 140728489002560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45789184 140728489010194 140728489010326 140728489010326 140728489017312 0
/proc/343269/statm: 10895 8751 2510 2417 0 7997 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62172 KiB
Current children cumulated memory: 38736 KiB

[startup+0.205783 s]*
/proc/loadavg: 1.22 1.70 2.16 5/265 343269
/proc/meminfo: memFree=121343512/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 243 98 0 0 0 0 0 0 20 0 1 0 62702735 10170368 686 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 686 608 264 0 134 0
[pid=343268] ppid=343265 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/343268/stat : 343268 (timeout) S 343265 343268 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62702735 8867840 247 134679101440 94180451213312 94180451248328 140727667789504 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94180453345744 94180453347876 94180456361984 140727667790860 140727667791005 140727667791005 140727667797991 0
/proc/343268/statm: 2165 247 223 9 0 87 0
[pid=343269] ppid=343268 vsize=44416 memory=35788 CPUtime=0.19 cores=5,7
/proc/343269/stat : 343269 (CASHWMaxSAT-Dis) R 343268 343268 343080 0 -1 4194304 6702 0 0 0 19 0 0 0 20 0 1 0 62702735 45481984 8947 134679101440 4194304 14093885 140728489002560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45789184 140728489010194 140728489010326 140728489010326 140728489017312 0
/proc/343269/statm: 11104 8947 2510 2417 0 8206 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63008 KiB
Current children cumulated memory: 39520 KiB

[startup+0.305634 s]*
/proc/loadavg: 1.22 1.70 2.16 5/265 343269
/proc/meminfo: memFree=121335448/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 243 98 0 0 0 0 0 0 20 0 1 0 62702735 10170368 686 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 686 608 264 0 134 0
[pid=343268] ppid=343265 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/343268/stat : 343268 (timeout) S 343265 343268 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62702735 8867840 247 134679101440 94180451213312 94180451248328 140727667789504 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94180453345744 94180453347876 94180456361984 140727667790860 140727667791005 140727667791005 140727667797991 0
/proc/343268/statm: 2165 247 223 9 0 87 0
[pid=343269] ppid=343268 vsize=48012 memory=39248 CPUtime=0.3 cores=5,7
/proc/343269/stat : 343269 (CASHWMaxSAT-Dis) R 343268 343268 343080 0 -1 4194304 7513 0 0 0 29 1 0 0 20 0 1 0 62702735 49164288 9812 134679101440 4194304 14093885 140728489002560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45789184 140728489010194 140728489010326 140728489010326 140728489017312 0
/proc/343269/statm: 12003 9812 2526 2417 0 9105 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66604 KiB
Current children cumulated memory: 42980 KiB

[startup+0.700252 s]
/proc/loadavg: 1.22 1.70 2.16 5/265 343269
/proc/meminfo: memFree=121331928/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 243 98 0 0 0 0 0 0 20 0 1 0 62702735 10170368 686 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 686 608 264 0 134 0
[pid=343268] ppid=343265 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/343268/stat : 343268 (timeout) S 343265 343268 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62702735 8867840 247 134679101440 94180451213312 94180451248328 140727667789504 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94180453345744 94180453347876 94180456361984 140727667790860 140727667791005 140727667791005 140727667797991 0
/proc/343268/statm: 2165 247 223 9 0 87 0
[pid=343269] ppid=343268 vsize=49056 memory=40304 CPUtime=0.69 cores=5,7
/proc/343269/stat : 343269 (CASHWMaxSAT-Dis) R 343268 343268 343080 0 -1 4194304 7784 0 0 0 68 1 0 0 20 0 1 0 62702735 50233344 10076 134679101440 4194304 14093885 140728489002560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45789184 140728489010194 140728489010326 140728489010326 140728489017312 0
/proc/343269/statm: 12264 10076 2526 2417 0 9366 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67648 KiB
Current children cumulated memory: 44036 KiB

[startup+1.50027 s]
/proc/loadavg: 1.22 1.70 2.16 5/265 343320
/proc/meminfo: memFree=121343384/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 243 98 0 0 0 0 0 0 20 0 1 0 62702735 10170368 686 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 686 608 264 0 134 0
[pid=343268] ppid=343265 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/343268/stat : 343268 (timeout) S 343265 343268 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62702735 8867840 247 134679101440 94180451213312 94180451248328 140727667789504 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94180453345744 94180453347876 94180456361984 140727667790860 140727667791005 140727667791005 140727667797991 0
/proc/343268/statm: 2165 247 223 9 0 87 0
[pid=343269] ppid=343268 vsize=50876 memory=41360 CPUtime=1.49 cores=5,7
/proc/343269/stat : 343269 (CASHWMaxSAT-Dis) R 343268 343268 343080 0 -1 4194304 8077 0 0 0 148 1 0 0 20 0 1 0 62702735 52097024 10340 134679101440 4194304 14093885 140728489002560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45789184 140728489010194 140728489010326 140728489010326 140728489017312 0
/proc/343269/statm: 12719 10340 2526 2417 0 9821 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 69468 KiB
Current children cumulated memory: 45092 KiB

[startup+3.10556 s]
/proc/loadavg: 1.22 1.70 2.16 5/265 343322
/proc/meminfo: memFree=121302392/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 243 98 0 0 0 0 0 0 20 0 1 0 62702735 10170368 686 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 686 608 264 0 134 0
[pid=343268] ppid=343265 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/343268/stat : 343268 (timeout) S 343265 343268 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62702735 8867840 247 134679101440 94180451213312 94180451248328 140727667789504 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94180453345744 94180453347876 94180456361984 140727667790860 140727667791005 140727667791005 140727667797991 0
/proc/343268/statm: 2165 247 223 9 0 87 0
[pid=343269] ppid=343268 vsize=75504 memory=64856 CPUtime=3.08 cores=5,7
/proc/343269/stat : 343269 (CASHWMaxSAT-Dis) R 343268 343268 343080 0 -1 4194304 13940 0 0 0 306 2 0 0 20 0 1 0 62702735 77316096 16214 134679101440 4194304 14093885 140728489002560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45789184 140728489010194 140728489010326 140728489010326 140728489017312 0
/proc/343269/statm: 18876 16214 2526 2417 0 15978 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 94096 KiB
Current children cumulated memory: 68588 KiB

[startup+6.30029 s]
/proc/loadavg: 1.52 1.75 2.18 5/265 343373
/proc/meminfo: memFree=121218616/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 243 98 0 0 0 0 0 0 20 0 1 0 62702735 10170368 686 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 686 608 264 0 134 0
[pid=343268] ppid=343265 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/343268/stat : 343268 (timeout) S 343265 343268 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62702735 8867840 247 134679101440 94180451213312 94180451248328 140727667789504 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94180453345744 94180453347876 94180456361984 140727667790860 140727667791005 140727667791005 140727667797991 0
/proc/343268/statm: 2165 247 223 9 0 87 0
[pid=343269] ppid=343268 vsize=112328 memory=98648 CPUtime=6.27 cores=5,7
/proc/343269/stat : 343269 (CASHWMaxSAT-Dis) R 343268 343268 343080 0 -1 4194304 22367 0 0 0 624 3 0 0 20 0 1 0 62702735 115023872 24662 134679101440 4194304 14093885 140728489002560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45789184 140728489010194 140728489010326 140728489010326 140728489017312 0
/proc/343269/statm: 28082 24662 2526 2417 0 25184 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 130920 KiB
Current children cumulated memory: 102380 KiB

[startup+12.7003 s]
/proc/loadavg: 1.80 1.81 2.19 5/265 343374
/proc/meminfo: memFree=121078284/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 243 98 0 0 0 0 0 0 20 0 1 0 62702735 10170368 686 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 686 608 264 0 134 0
[pid=343268] ppid=343265 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/343268/stat : 343268 (timeout) S 343265 343268 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62702735 8867840 247 134679101440 94180451213312 94180451248328 140727667789504 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94180453345744 94180453347876 94180456361984 140727667790860 140727667791005 140727667791005 140727667797991 0
/proc/343268/statm: 2165 247 223 9 0 87 0
[pid=343269] ppid=343268 vsize=121940 memory=107624 CPUtime=12.65 cores=5,7
/proc/343269/stat : 343269 (CASHWMaxSAT-Dis) R 343268 343268 343080 0 -1 4194304 24628 0 0 0 1262 3 0 0 20 0 1 0 62702735 124866560 26906 134679101440 4194304 14093885 140728489002560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45789184 140728489010194 140728489010326 140728489010326 140728489017312 0
/proc/343269/statm: 30485 26906 2526 2417 0 27587 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 140532 KiB
Current children cumulated memory: 111356 KiB

[startup+25.5003 s]
/proc/loadavg: 2.51 1.97 2.24 5/265 343377
/proc/meminfo: memFree=121028656/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 243 98 0 0 0 0 0 0 20 0 1 0 62702735 10170368 686 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 686 608 264 0 134 0
[pid=343268] ppid=343265 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/343268/stat : 343268 (timeout) S 343265 343268 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62702735 8867840 247 134679101440 94180451213312 94180451248328 140727667789504 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94180453345744 94180453347876 94180456361984 140727667790860 140727667791005 140727667791005 140727667797991 0
/proc/343268/statm: 2165 247 223 9 0 87 0
[pid=343269] ppid=343268 vsize=140136 memory=125840 CPUtime=25.43 cores=5,7
/proc/343269/stat : 343269 (CASHWMaxSAT-Dis) R 343268 343268 343080 0 -1 4194304 29161 0 0 0 2539 4 0 0 20 0 1 0 62702735 143499264 31460 134679101440 4194304 14093885 140728489002560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45789184 140728489010194 140728489010326 140728489010326 140728489017312 0
/proc/343269/statm: 35034 31460 2526 2417 0 32136 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 158728 KiB
Current children cumulated memory: 129572 KiB

[startup+51.1056 s]
/proc/loadavg: 3.09 2.15 2.29 5/265 343380
/proc/meminfo: memFree=120817196/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 243 98 0 0 0 0 0 0 20 0 1 0 62702735 10170368 686 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 686 608 264 0 134 0
[pid=343268] ppid=343265 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/343268/stat : 343268 (timeout) S 343265 343268 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62702735 8867840 247 134679101440 94180451213312 94180451248328 140727667789504 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94180453345744 94180453347876 94180456361984 140727667790860 140727667791005 140727667791005 140727667797991 0
/proc/343268/statm: 2165 247 223 9 0 87 0
[pid=343269] ppid=343268 vsize=196736 memory=180716 CPUtime=50.97 cores=5,7
/proc/343269/stat : 343269 (CASHWMaxSAT-Dis) R 343268 343268 343080 0 -1 4194304 42938 0 0 0 5090 7 0 0 20 0 1 0 62702735 201457664 45179 134679101440 4194304 14093885 140728489002560 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45789184 140728489010194 140728489010326 140728489010326 140728489017312 0
/proc/343269/statm: 49184 45179 2526 2417 0 46286 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 215328 KiB
Current children cumulated memory: 184448 KiB

[startup+102.3 s]
/proc/loadavg: 3.68 2.45 2.39 5/265 343389
/proc/meminfo: memFree=120653660/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 243 98 0 0 0 0 0 0 20 0 1 0 62702735 10170368 686 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0

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

/proc/344368/statm: 66729 56039 748 737 0 65817 0
Current children cumulated CPU time: 3393.48 s
Current children cumulated vsize: 285508 KiB
Current children cumulated memory: 227972 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.08 5/265 345249
/proc/meminfo: memFree=120743552/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2804 CPUtime=1793.14 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 277 121682 0 0 0 0 179283 31 20 0 1 0 62702735 10170368 701 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 701 608 264 0 134 0
[pid=344367] ppid=343265 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344367/stat : 344367 (timeout) S 343265 344367 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62882536 8867840 253 134679101440 94060216414208 94060216449224 140722008745120 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94060218546640 94060218548772 94060234371072 140722008749044 140722008749213 140722008749213 140722008756199 0
/proc/344367/statm: 2165 253 229 9 0 87 0
[pid=344368] ppid=344367 vsize=266916 memory=224416 CPUtime=1660.2 cores=5,7
/proc/344368/stat : 344368 (Exact) R 344367 344367 343080 0 -1 4194304 26639 0 0 0 166010 10 0 0 20 0 1 0 62882536 273321984 56104 134679101440 4194304 7210733 140733867004176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 13807616 140733867013136 140733867013286 140733867013286 140733867020272 0
/proc/344368/statm: 66729 56104 748 737 0 65817 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 285508 KiB
Current children cumulated memory: 228232 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.08 5/262 345259
/proc/meminfo: memFree=120740396/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2804 CPUtime=1793.14 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 277 121682 0 0 0 0 179283 31 20 0 1 0 62702735 10170368 701 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 701 608 264 0 134 0
[pid=344367] ppid=343265 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344367/stat : 344367 (timeout) S 343265 344367 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62882536 8867840 253 134679101440 94060216414208 94060216449224 140722008745120 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94060218546640 94060218548772 94060234371072 140722008749044 140722008749213 140722008749213 140722008756199 0
/proc/344367/statm: 2165 253 229 9 0 87 0
[pid=344368] ppid=344367 vsize=267812 memory=225308 CPUtime=1720.06 cores=5,7
/proc/344368/stat : 344368 (Exact) R 344367 344367 343080 0 -1 4194304 26894 0 0 0 171995 11 0 0 20 0 1 0 62882536 274239488 56327 134679101440 4194304 7210733 140733867004176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 13807616 140733867013136 140733867013286 140733867013286 140733867020272 0
/proc/344368/statm: 66953 56327 748 737 0 66041 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 286404 KiB
Current children cumulated memory: 229124 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.15 4.09 5/262 345269
/proc/meminfo: memFree=120736952/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2804 CPUtime=1793.14 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 277 121682 0 0 0 0 179283 31 20 0 1 0 62702735 10170368 701 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 701 608 264 0 134 0
[pid=344367] ppid=343265 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344367/stat : 344367 (timeout) S 343265 344367 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62882536 8867840 253 134679101440 94060216414208 94060216449224 140722008745120 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94060218546640 94060218548772 94060234371072 140722008749044 140722008749213 140722008749213 140722008756199 0
/proc/344367/statm: 2165 253 229 9 0 87 0
[pid=344368] ppid=344367 vsize=268260 memory=225748 CPUtime=1779.93 cores=5,7
/proc/344368/stat : 344368 (Exact) R 344367 344367 343080 0 -1 4194304 27148 0 0 0 177982 11 0 0 20 0 1 0 62882536 274698240 56437 134679101440 4194304 7210733 140733867004176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 13807616 140733867013136 140733867013286 140733867013286 140733867020272 0
/proc/344368/statm: 67065 56437 748 737 0 66153 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 286852 KiB
Current children cumulated memory: 229564 KiB

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

# cumulated CPU time of all completed processes:  user=3586.35 s, system=0.435025 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 345270
/proc/meminfo: memFree=120736840/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2804 CPUtime=1793.14 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 277 121682 0 0 0 0 179283 31 20 0 1 0 62702735 10170368 701 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 701 608 264 0 134 0
[pid=344367] ppid=343265 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344367/stat : 344367 (timeout) S 343265 344367 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62882536 8867840 253 134679101440 94060216414208 94060216449224 140722008745120 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94060218546640 94060218548772 94060234371072 140722008749044 140722008749213 140722008749213 140722008756199 0
/proc/344367/statm: 2165 253 229 9 0 87 0
[pid=344368] ppid=344367 vsize=268260 memory=225748 CPUtime=1781.63 cores=5,7
/proc/344368/stat : 344368 (Exact) R 344367 344367 343080 0 -1 4194304 27148 0 0 0 178152 11 0 0 20 0 1 0 62882536 274698240 56437 134679101440 4194304 7210733 140733867004176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 13807616 140733867013136 140733867013286 140733867013286 140733867020272 0
/proc/344368/statm: 67065 56437 748 737 0 66153 0
Current children cumulated CPU time: 3574.77 s
Current children cumulated vsize: 286852 KiB
Current children cumulated memory: 229564 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.14 4.09 5/262 345271
/proc/meminfo: memFree=120736952/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2804 CPUtime=1793.14 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 277 121682 0 0 0 0 179283 31 20 0 1 0 62702735 10170368 701 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 701 608 264 0 134 0
[pid=344367] ppid=343265 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344367/stat : 344367 (timeout) S 343265 344367 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62882536 8867840 253 134679101440 94060216414208 94060216449224 140722008745120 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94060218546640 94060218548772 94060234371072 140722008749044 140722008749213 140722008749213 140722008756199 0
/proc/344367/statm: 2165 253 229 9 0 87 0
[pid=344368] ppid=344367 vsize=268260 memory=225748 CPUtime=1788.01 cores=5,7
/proc/344368/stat : 344368 (Exact) R 344367 344367 343080 0 -1 4194304 27148 0 0 0 178790 11 0 0 20 0 1 0 62882536 274698240 56437 134679101440 4194304 7210733 140733867004176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 13807616 140733867013136 140733867013286 140733867013286 140733867020272 0
/proc/344368/statm: 67065 56437 748 737 0 66153 0
Current children cumulated CPU time: 3581.15 s
Current children cumulated vsize: 286852 KiB
Current children cumulated memory: 229564 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.14 4.09 5/262 345273
/proc/meminfo: memFree=120736952/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2804 CPUtime=1793.14 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 277 121682 0 0 0 0 179283 31 20 0 1 0 62702735 10170368 701 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 701 608 264 0 134 0
[pid=344367] ppid=343265 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344367/stat : 344367 (timeout) S 343265 344367 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62882536 8867840 253 134679101440 94060216414208 94060216449224 140722008745120 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94060218546640 94060218548772 94060234371072 140722008749044 140722008749213 140722008749213 140722008756199 0
/proc/344367/statm: 2165 253 229 9 0 87 0
[pid=344368] ppid=344367 vsize=268260 memory=225748 CPUtime=1791.2 cores=5,7
/proc/344368/stat : 344368 (Exact) R 344367 344367 343080 0 -1 4194304 27148 0 0 0 179109 11 0 0 20 0 1 0 62882536 274698240 56437 134679101440 4194304 7210733 140733867004176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 13807616 140733867013136 140733867013286 140733867013286 140733867020272 0
/proc/344368/statm: 67065 56437 748 737 0 66153 0
Current children cumulated CPU time: 3584.34 s
Current children cumulated vsize: 286852 KiB
Current children cumulated memory: 229564 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.14 4.09 5/262 345273
/proc/meminfo: memFree=120736840/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2804 CPUtime=1793.14 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 277 121682 0 0 0 0 179283 31 20 0 1 0 62702735 10170368 701 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 701 608 264 0 134 0
[pid=344367] ppid=343265 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344367/stat : 344367 (timeout) S 343265 344367 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62882536 8867840 253 134679101440 94060216414208 94060216449224 140722008745120 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94060218546640 94060218548772 94060234371072 140722008749044 140722008749213 140722008749213 140722008756199 0
/proc/344367/statm: 2165 253 229 9 0 87 0
[pid=344368] ppid=344367 vsize=268260 memory=225748 CPUtime=1792.79 cores=5,7
/proc/344368/stat : 344368 (Exact) R 344367 344367 343080 0 -1 4194304 27148 0 0 0 179268 11 0 0 20 0 1 0 62882536 274698240 56437 134679101440 4194304 7210733 140733867004176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 13807616 140733867013136 140733867013286 140733867013286 140733867020272 0
/proc/344368/statm: 67065 56437 748 737 0 66153 0
Current children cumulated CPU time: 3585.93 s
Current children cumulated vsize: 286852 KiB
Current children cumulated memory: 229564 KiB

[startup+3595.6 s]
/proc/loadavg: 4.13 4.14 4.09 5/262 345273
/proc/meminfo: memFree=120736840/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2804 CPUtime=1793.14 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 277 121682 0 0 0 0 179283 31 20 0 1 0 62702735 10170368 701 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 701 608 264 0 134 0
[pid=344367] ppid=343265 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344367/stat : 344367 (timeout) S 343265 344367 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62882536 8867840 253 134679101440 94060216414208 94060216449224 140722008745120 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94060218546640 94060218548772 94060234371072 140722008749044 140722008749213 140722008749213 140722008756199 0
/proc/344367/statm: 2165 253 229 9 0 87 0
[pid=344368] ppid=344367 vsize=268260 memory=225748 CPUtime=1793.19 cores=5,7
/proc/344368/stat : 344368 (Exact) R 344367 344367 343080 0 -1 4194304 27148 0 0 0 179308 11 0 0 20 0 1 0 62882536 274698240 56437 134679101440 4194304 7210733 140733867004176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 13807616 140733867013136 140733867013286 140733867013286 140733867020272 0
/proc/344368/statm: 67065 56437 748 737 0 66153 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 286852 KiB
Current children cumulated memory: 229564 KiB

[startup+3596 s]*
/proc/loadavg: 4.13 4.14 4.09 5/262 345273
/proc/meminfo: memFree=120736840/131524600 swapFree=131071472/131071996
[pid=343265] ppid=343262 vsize=9932 memory=2804 CPUtime=1793.14 cores=5,7
/proc/343265/stat : 343265 (Hybrid-CASHWMax) S 343262 343265 343080 0 -1 4194304 277 121682 0 0 0 0 179283 31 20 0 1 0 62702735 10170368 701 134679101440 94385376677888 94385377757208 140736500693440 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94385379855664 94385379902852 94385410392064 140736500700112 140736500700270 140736500700270 140736500707285 0
/proc/343265/statm: 2483 701 608 264 0 134 0
[pid=344367] ppid=343265 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/344367/stat : 344367 (timeout) S 343265 344367 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62882536 8867840 253 134679101440 94060216414208 94060216449224 140722008745120 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94060218546640 94060218548772 94060234371072 140722008749044 140722008749213 140722008749213 140722008756199 0
/proc/344367/statm: 2165 253 229 9 0 87 0
[pid=344368] ppid=344367 vsize=268260 memory=225748 CPUtime=1793.6 cores=5,7
/proc/344368/stat : 344368 (Exact) R 344367 344367 343080 0 -1 4194304 27148 0 0 0 179349 11 0 0 20 0 1 0 62882536 274698240 56437 134679101440 4194304 7210733 140733867004176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 13807616 140733867013136 140733867013286 140733867013286 140733867020272 0
/proc/344368/statm: 67065 56437 748 737 0 66153 0
Current children cumulated CPU time: 3586.74 s
Current children cumulated vsize: 286852 KiB
Current children cumulated memory: 229564 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3586.79
CPU user time (s): 3586.35
CPU system time (s): 0.435025
CPU usage (%): 99.743
Max. virtual memory (cumulated for all children) (KiB): 540456
Max. memory (cumulated for all children) (KiB): 516112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.35
system time used= 0.435025
maximum resident set size= 512392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152116
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148
involuntary context switches= 2035


# summary of solver processes directly reported to runsolver:
#   pid: 343265
#   total CPU time (s): 3586.79
#   total CPU user time (s): 3586.35
#   total CPU system time (s): 0.435025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48635 second user time and 17.4836 second system time

The end