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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436855-1722973730/watcher-4436855-1722973730 -o /tmp/evaluation-result-4436855-1722973730/solver-4436855-1722973730 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722973730-348190 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436855-1722973730.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=348238, runsolver pid=348228
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 0.71 1.06 1.52 7/265 348263
/proc/meminfo: memFree=129345844/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 63973495 10170368 674 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 674 595 264 0 134 0
[pid=348246] ppid=348238 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/348246/stat : 348246 (timeout) S 348238 348246 348177 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63973496 8867840 260 134679101440 94591814283264 94591814318280 140729293736624 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94591816415696 94591816417828 94591836999680 140729293743129 140729293743261 140729293743261 140729293750247 0
/proc/348246/statm: 2165 260 236 9 0 87 0
[pid=348249] ppid=348246 vsize=39332 memory=20780 CPUtime=0.09 cores=5,7
/proc/348249/stat : 348249 (CASHWMaxSAT-Dis) R 348246 348246 348177 0 -1 4194304 4572 0 0 0 9 0 0 0 20 0 1 0 63973496 40275968 5195 134679101440 4194304 14093885 140736556358528 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42307584 140736556364831 140736556364950 140736556364950 140736556371936 0
/proc/348249/statm: 9883 5195 750 2417 0 6985 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57924 KiB
Current children cumulated memory: 24516 KiB

[startup+0.206609 s]*
/proc/loadavg: 0.71 1.06 1.52 7/265 348263
/proc/meminfo: memFree=129283216/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 63973495 10170368 674 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 674 595 264 0 134 0
[pid=348246] ppid=348238 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/348246/stat : 348246 (timeout) S 348238 348246 348177 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63973496 8867840 260 134679101440 94591814283264 94591814318280 140729293736624 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94591816415696 94591816417828 94591836999680 140729293743129 140729293743261 140729293743261 140729293750247 0
/proc/348246/statm: 2165 260 236 9 0 87 0
[pid=348249] ppid=348246 vsize=52456 memory=33968 CPUtime=0.19 cores=5,7
/proc/348249/stat : 348249 (CASHWMaxSAT-Dis) R 348246 348246 348177 0 -1 4194304 7841 0 0 0 19 0 0 0 20 0 1 0 63973496 53714944 8492 134679101440 4194304 14093885 140736556358528 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42307584 140736556364831 140736556364950 140736556364950 140736556371936 0
/proc/348249/statm: 13114 8492 750 2417 0 10216 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71048 KiB
Current children cumulated memory: 37704 KiB

[startup+0.306541 s]*
/proc/loadavg: 0.71 1.06 1.52 7/265 348263
/proc/meminfo: memFree=129227160/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 63973495 10170368 674 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 674 595 264 0 134 0
[pid=348246] ppid=348238 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/348246/stat : 348246 (timeout) S 348238 348246 348177 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63973496 8867840 260 134679101440 94591814283264 94591814318280 140729293736624 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94591816415696 94591816417828 94591836999680 140729293743129 140729293743261 140729293743261 140729293750247 0
/proc/348246/statm: 2165 260 236 9 0 87 0
[pid=348249] ppid=348246 vsize=64636 memory=46128 CPUtime=0.3 cores=5,7
/proc/348249/stat : 348249 (CASHWMaxSAT-Dis) R 348246 348246 348177 0 -1 4194304 10869 0 0 0 29 1 0 0 20 0 1 0 63973496 66187264 11532 134679101440 4194304 14093885 140736556358528 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42307584 140736556364831 140736556364950 140736556364950 140736556371936 0
/proc/348249/statm: 16159 11532 750 2417 0 13261 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 83228 KiB
Current children cumulated memory: 49864 KiB

[startup+0.700306 s]
/proc/loadavg: 0.71 1.06 1.52 7/265 348263
/proc/meminfo: memFree=129120968/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 63973495 10170368 674 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 674 595 264 0 134 0
[pid=348246] ppid=348238 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/348246/stat : 348246 (timeout) S 348238 348246 348177 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63973496 8867840 260 134679101440 94591814283264 94591814318280 140729293736624 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94591816415696 94591816417828 94591836999680 140729293743129 140729293743261 140729293743261 140729293750247 0
/proc/348246/statm: 2165 260 236 9 0 87 0
[pid=348249] ppid=348246 vsize=121156 memory=102456 CPUtime=0.68 cores=5,7
/proc/348249/stat : 348249 (CASHWMaxSAT-Dis) R 348246 348246 348177 0 -1 4194304 22406 0 0 0 65 3 0 0 20 0 1 0 63973496 124063744 25614 134679101440 4194304 14093885 140736556358528 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42307584 140736556364831 140736556364950 140736556364950 140736556371936 0
/proc/348249/statm: 30289 25614 782 2417 0 27391 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 139748 KiB
Current children cumulated memory: 106192 KiB

[startup+1.50033 s]
/proc/loadavg: 0.71 1.06 1.52 7/265 348263
/proc/meminfo: memFree=128818276/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 63973495 10170368 674 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 674 595 264 0 134 0
[pid=348246] ppid=348238 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/348246/stat : 348246 (timeout) S 348238 348246 348177 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63973496 8867840 260 134679101440 94591814283264 94591814318280 140729293736624 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94591816415696 94591816417828 94591836999680 140729293743129 140729293743261 140729293743261 140729293750247 0
/proc/348246/statm: 2165 260 236 9 0 87 0
[pid=348249] ppid=348246 vsize=320016 memory=285756 CPUtime=1.48 cores=5,7
/proc/348249/stat : 348249 (CASHWMaxSAT-Dis) R 348246 348246 348177 0 -1 4194304 37063 0 0 0 140 8 0 0 20 0 1 0 63973496 327696384 71439 134679101440 4194304 14093885 140736556358528 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42307584 140736556364831 140736556364950 140736556364950 140736556371936 0
/proc/348249/statm: 80004 71439 782 2417 0 77106 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 338608 KiB
Current children cumulated memory: 289492 KiB

[startup+3.10633 s]
/proc/loadavg: 0.98 1.11 1.53 7/265 348263
/proc/meminfo: memFree=127848676/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 63973495 10170368 674 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 674 595 264 0 134 0
[pid=348246] ppid=348238 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/348246/stat : 348246 (timeout) S 348238 348246 348177 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63973496 8867840 260 134679101440 94591814283264 94591814318280 140729293736624 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94591816415696 94591816417828 94591836999680 140729293743129 140729293743261 140729293743261 140729293750247 0
/proc/348246/statm: 2165 260 236 9 0 87 0
[pid=348249] ppid=348246 vsize=286332 memory=242552 CPUtime=3.08 cores=5,7
/proc/348249/stat : 348249 (CASHWMaxSAT-Dis) R 348246 348246 348177 0 -1 4194304 37907 0 0 0 299 9 0 0 20 0 1 0 63973496 293203968 60638 134679101440 4194304 14093885 140736556358528 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42307584 140736556364831 140736556364950 140736556364950 140736556371936 0
/proc/348249/statm: 71583 60638 782 2417 0 68685 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 304924 KiB
Current children cumulated memory: 246288 KiB

[startup+6.30029 s]
/proc/loadavg: 0.98 1.11 1.53 7/265 348265
/proc/meminfo: memFree=126426848/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 63973495 10170368 674 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 674 595 264 0 134 0
[pid=348246] ppid=348238 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/348246/stat : 348246 (timeout) S 348238 348246 348177 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63973496 8867840 260 134679101440 94591814283264 94591814318280 140729293736624 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94591816415696 94591816417828 94591836999680 140729293743129 140729293743261 140729293743261 140729293750247 0
/proc/348246/statm: 2165 260 236 9 0 87 0
[pid=348249] ppid=348246 vsize=297340 memory=253632 CPUtime=6.27 cores=5,7
/proc/348249/stat : 348249 (CASHWMaxSAT-Dis) R 348246 348246 348177 0 -1 4194304 38649 0 0 0 618 9 0 0 20 0 1 0 63973496 304476160 63408 134679101440 4194304 14093885 140736556358528 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42307584 140736556364831 140736556364950 140736556364950 140736556371936 0
/proc/348249/statm: 74335 63408 814 2417 0 71437 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 315932 KiB
Current children cumulated memory: 257368 KiB

[startup+12.7003 s]
/proc/loadavg: 1.22 1.15 1.55 7/265 348265
/proc/meminfo: memFree=122916292/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 63973495 10170368 674 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 674 595 264 0 134 0
[pid=348246] ppid=348238 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/348246/stat : 348246 (timeout) S 348238 348246 348177 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63973496 8867840 260 134679101440 94591814283264 94591814318280 140729293736624 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94591816415696 94591816417828 94591836999680 140729293743129 140729293743261 140729293743261 140729293750247 0
/proc/348246/statm: 2165 260 236 9 0 87 0
[pid=348249] ppid=348246 vsize=316196 memory=272352 CPUtime=12.65 cores=5,7
/proc/348249/stat : 348249 (CASHWMaxSAT-Dis) R 348246 348246 348177 0 -1 4194304 39413 0 0 0 1255 10 0 0 20 0 1 0 63973496 323784704 68088 134679101440 4194304 14093885 140736556358528 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42307584 140736556364831 140736556364950 140736556364950 140736556371936 0
/proc/348249/statm: 79049 68088 814 2417 0 76151 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 334788 KiB
Current children cumulated memory: 276088 KiB

[startup+25.5003 s]
/proc/loadavg: 1.92 1.31 1.59 7/265 348268
/proc/meminfo: memFree=120614720/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 63973495 10170368 674 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 674 595 264 0 134 0
[pid=348246] ppid=348238 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/348246/stat : 348246 (timeout) S 348238 348246 348177 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63973496 8867840 260 134679101440 94591814283264 94591814318280 140729293736624 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94591816415696 94591816417828 94591836999680 140729293743129 140729293743261 140729293743261 140729293750247 0
/proc/348246/statm: 2165 260 236 9 0 87 0
[pid=348249] ppid=348246 vsize=316196 memory=272368 CPUtime=25.42 cores=5,7
/proc/348249/stat : 348249 (CASHWMaxSAT-Dis) R 348246 348246 348177 0 -1 4194304 39469 0 0 0 2531 11 0 0 20 0 1 0 63973496 323784704 68092 134679101440 4194304 14093885 140736556358528 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42307584 140736556364831 140736556364950 140736556364950 140736556371936 0
/proc/348249/statm: 79049 68092 814 2417 0 76151 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 334788 KiB
Current children cumulated memory: 276104 KiB

[startup+51.1065 s]
/proc/loadavg: 2.63 1.53 1.66 7/265 348271
/proc/meminfo: memFree=118655196/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 63973495 10170368 674 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 674 595 264 0 134 0
[pid=348246] ppid=348238 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/348246/stat : 348246 (timeout) S 348238 348246 348177 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63973496 8867840 260 134679101440 94591814283264 94591814318280 140729293736624 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94591816415696 94591816417828 94591836999680 140729293743129 140729293743261 140729293743261 140729293750247 0
/proc/348246/statm: 2165 260 236 9 0 87 0
[pid=348249] ppid=348246 vsize=316196 memory=262588 CPUtime=50.96 cores=5,7
/proc/348249/stat : 348249 (CASHWMaxSAT-Dis) R 348246 348246 348177 0 -1 4194304 41559 0 0 0 5082 14 0 0 20 0 1 0 63973496 323784704 65647 134679101440 4194304 14093885 140736556358528 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42307584 140736556364831 140736556364950 140736556364950 140736556371936 0
/proc/348249/statm: 79049 65647 814 2417 0 76151 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 334788 KiB
Current children cumulated memory: 266324 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.93 1.79 7/267 348283
/proc/meminfo: memFree=118724096/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 63973495 10170368 674 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0

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

/proc/349163/statm: 117698 110129 2849 2753 0 114351 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 489384 KiB
Current children cumulated memory: 444292 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.05 7/263 350082
/proc/meminfo: memFree=123573728/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2796 CPUtime=1792.51 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 266 120724 0 0 0 0 179068 183 20 0 1 0 63973495 10170368 699 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 699 610 264 0 134 0
[pid=349162] ppid=348238 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/349162/stat : 349162 (timeout) S 348238 349162 348177 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64153297 8867840 245 134679101440 94512334422016 94512334457032 140724170367280 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94512336554448 94512336556580 94512360247296 140724170376233 140724170376349 140724170376349 140724170383335 0
/proc/349162/statm: 2165 245 220 9 0 87 0
[pid=349163] ppid=349162 vsize=470792 memory=440516 CPUtime=1660.63 cores=5,7
/proc/349163/stat : 349163 (LS-MabSP) R 349162 349162 348177 0 -1 4194304 99724 0 0 0 164967 1096 0 0 20 0 1 0 64153297 482091008 110129 134679101440 4194304 15467897 140720929571968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54345728 140720929575996 140720929576099 140720929576099 140720929583085 0
/proc/349163/statm: 117698 110129 2849 2753 0 114351 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 489384 KiB
Current children cumulated memory: 444292 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.05 7/263 350093
/proc/meminfo: memFree=123573472/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2796 CPUtime=1792.51 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 266 120724 0 0 0 0 179068 183 20 0 1 0 63973495 10170368 699 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 699 610 264 0 134 0
[pid=349162] ppid=348238 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/349162/stat : 349162 (timeout) S 348238 349162 348177 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64153297 8867840 245 134679101440 94512334422016 94512334457032 140724170367280 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94512336554448 94512336556580 94512360247296 140724170376233 140724170376349 140724170376349 140724170383335 0
/proc/349162/statm: 2165 245 220 9 0 87 0
[pid=349163] ppid=349162 vsize=470792 memory=440516 CPUtime=1720.52 cores=5,7
/proc/349163/stat : 349163 (LS-MabSP) R 349162 349162 348177 0 -1 4194304 99744 0 0 0 170871 1181 0 0 20 0 1 0 64153297 482091008 110129 134679101440 4194304 15467897 140720929571968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54345728 140720929575996 140720929576099 140720929576099 140720929583085 0
/proc/349163/statm: 117698 110129 2849 2753 0 114351 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 489384 KiB
Current children cumulated memory: 444292 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.05 7/263 350105
/proc/meminfo: memFree=123573036/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2796 CPUtime=1792.51 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 266 120724 0 0 0 0 179068 183 20 0 1 0 63973495 10170368 699 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 699 610 264 0 134 0
[pid=349162] ppid=348238 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/349162/stat : 349162 (timeout) S 348238 349162 348177 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64153297 8867840 245 134679101440 94512334422016 94512334457032 140724170367280 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94512336554448 94512336556580 94512360247296 140724170376233 140724170376349 140724170376349 140724170383335 0
/proc/349162/statm: 2165 245 220 9 0 87 0
[pid=349163] ppid=349162 vsize=470792 memory=440516 CPUtime=1780.41 cores=5,7
/proc/349163/stat : 349163 (LS-MabSP) R 349162 349162 348177 0 -1 4194304 99764 0 0 0 176774 1267 0 0 20 0 1 0 64153297 482091008 110129 134679101440 4194304 15467897 140720929571968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54345728 140720929575996 140720929576099 140720929576099 140720929583085 0
/proc/349163/statm: 117698 110129 2849 2753 0 114351 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 489384 KiB
Current children cumulated memory: 444292 KiB

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

# cumulated CPU time of all completed processes:  user=3571.95 s, system=14.7133 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.05 7/263 350107
/proc/meminfo: memFree=123572860/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2796 CPUtime=1792.51 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 266 120724 0 0 0 0 179068 183 20 0 1 0 63973495 10170368 699 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 699 610 264 0 134 0
[pid=349162] ppid=348238 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/349162/stat : 349162 (timeout) S 348238 349162 348177 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64153297 8867840 245 134679101440 94512334422016 94512334457032 140724170367280 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94512336554448 94512336556580 94512360247296 140724170376233 140724170376349 140724170376349 140724170383335 0
/proc/349162/statm: 2165 245 220 9 0 87 0
[pid=349163] ppid=349162 vsize=470792 memory=440516 CPUtime=1782.11 cores=5,7
/proc/349163/stat : 349163 (LS-MabSP) R 349162 349162 348177 0 -1 4194304 99764 0 0 0 176941 1270 0 0 20 0 1 0 64153297 482091008 110129 134679101440 4194304 15467897 140720929571968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54345728 140720929575996 140720929576099 140720929576099 140720929583085 0
/proc/349163/statm: 117698 110129 2849 2753 0 114351 0
Current children cumulated CPU time: 3574.62 s
Current children cumulated vsize: 489384 KiB
Current children cumulated memory: 444292 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.13 4.06 7/263 350107
/proc/meminfo: memFree=123572976/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2796 CPUtime=1792.51 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 266 120724 0 0 0 0 179068 183 20 0 1 0 63973495 10170368 699 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 699 610 264 0 134 0
[pid=349162] ppid=348238 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/349162/stat : 349162 (timeout) S 348238 349162 348177 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64153297 8867840 245 134679101440 94512334422016 94512334457032 140724170367280 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94512336554448 94512336556580 94512360247296 140724170376233 140724170376349 140724170376349 140724170383335 0
/proc/349162/statm: 2165 245 220 9 0 87 0
[pid=349163] ppid=349162 vsize=470792 memory=440516 CPUtime=1788.5 cores=5,7
/proc/349163/stat : 349163 (LS-MabSP) R 349162 349162 348177 0 -1 4194304 99764 0 0 0 177572 1278 0 0 20 0 1 0 64153297 482091008 110129 134679101440 4194304 15467897 140720929571968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54345728 140720929575996 140720929576099 140720929576099 140720929583085 0
/proc/349163/statm: 117698 110129 2849 2753 0 114351 0
Current children cumulated CPU time: 3581.01 s
Current children cumulated vsize: 489384 KiB
Current children cumulated memory: 444292 KiB

[startup+3593.6 s]
/proc/loadavg: 4.16 4.13 4.06 7/263 350107
/proc/meminfo: memFree=123572964/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2796 CPUtime=1792.51 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 266 120724 0 0 0 0 179068 183 20 0 1 0 63973495 10170368 699 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 699 610 264 0 134 0
[pid=349162] ppid=348238 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/349162/stat : 349162 (timeout) S 348238 349162 348177 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64153297 8867840 245 134679101440 94512334422016 94512334457032 140724170367280 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94512336554448 94512336556580 94512360247296 140724170376233 140724170376349 140724170376349 140724170383335 0
/proc/349162/statm: 2165 245 220 9 0 87 0
[pid=349163] ppid=349162 vsize=470792 memory=440516 CPUtime=1791.69 cores=5,7
/proc/349163/stat : 349163 (LS-MabSP) R 349162 349162 348177 0 -1 4194304 99764 0 0 0 177886 1283 0 0 20 0 1 0 64153297 482091008 110129 134679101440 4194304 15467897 140720929571968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54345728 140720929575996 140720929576099 140720929576099 140720929583085 0
/proc/349163/statm: 117698 110129 2849 2753 0 114351 0
Current children cumulated CPU time: 3584.2 s
Current children cumulated vsize: 489384 KiB
Current children cumulated memory: 444292 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.06 7/263 350108
/proc/meminfo: memFree=123571416/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2796 CPUtime=1792.51 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 266 120724 0 0 0 0 179068 183 20 0 1 0 63973495 10170368 699 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 699 610 264 0 134 0
[pid=349162] ppid=348238 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/349162/stat : 349162 (timeout) S 348238 349162 348177 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64153297 8867840 245 134679101440 94512334422016 94512334457032 140724170367280 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94512336554448 94512336556580 94512360247296 140724170376233 140724170376349 140724170376349 140724170383335 0
/proc/349162/statm: 2165 245 220 9 0 87 0
[pid=349163] ppid=349162 vsize=470792 memory=440516 CPUtime=1793.29 cores=5,7
/proc/349163/stat : 349163 (LS-MabSP) R 349162 349162 348177 0 -1 4194304 99764 0 0 0 178043 1286 0 0 20 0 1 0 64153297 482091008 110129 134679101440 4194304 15467897 140720929571968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54345728 140720929575996 140720929576099 140720929576099 140720929583085 0
/proc/349163/statm: 117698 110129 2849 2753 0 114351 0
Current children cumulated CPU time: 3585.8 s
Current children cumulated vsize: 489384 KiB
Current children cumulated memory: 444292 KiB

[startup+3595.6 s]
/proc/loadavg: 4.14 4.12 4.06 7/263 350108
/proc/meminfo: memFree=123571416/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2796 CPUtime=1792.51 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 266 120724 0 0 0 0 179068 183 20 0 1 0 63973495 10170368 699 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 699 610 264 0 134 0
[pid=349162] ppid=348238 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/349162/stat : 349162 (timeout) S 348238 349162 348177 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64153297 8867840 245 134679101440 94512334422016 94512334457032 140724170367280 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94512336554448 94512336556580 94512360247296 140724170376233 140724170376349 140724170376349 140724170383335 0
/proc/349162/statm: 2165 245 220 9 0 87 0
[pid=349163] ppid=349162 vsize=470792 memory=440516 CPUtime=1793.68 cores=5,7
/proc/349163/stat : 349163 (LS-MabSP) R 349162 349162 348177 0 -1 4194304 99784 0 0 0 178082 1286 0 0 20 0 1 0 64153297 482091008 110129 134679101440 4194304 15467897 140720929571968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54345728 140720929575996 140720929576099 140720929576099 140720929583085 0
/proc/349163/statm: 117698 110129 2849 2753 0 114351 0
Current children cumulated CPU time: 3586.19 s
Current children cumulated vsize: 489384 KiB
Current children cumulated memory: 444292 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.12 4.06 7/263 350108
/proc/meminfo: memFree=123571472/131524600 swapFree=131071996/131071996
[pid=348238] ppid=348228 vsize=9932 memory=2796 CPUtime=1792.51 cores=5,7
/proc/348238/stat : 348238 (Hybrid-LSMabSP+) S 348228 348238 348177 0 -1 4194304 266 120724 0 0 0 0 179068 183 20 0 1 0 63973495 10170368 699 134679101440 94129451053056 94129452132376 140733713125088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94129454230832 94129454278020 94129470636032 140733713126350 140733713126509 140733713126509 140733713133524 0
/proc/348238/statm: 2483 699 610 264 0 134 0
[pid=349162] ppid=348238 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/349162/stat : 349162 (timeout) S 348238 349162 348177 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64153297 8867840 245 134679101440 94512334422016 94512334457032 140724170367280 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94512336554448 94512336556580 94512360247296 140724170376233 140724170376349 140724170376349 140724170383335 0
/proc/349162/statm: 2165 245 220 9 0 87 0
[pid=349163] ppid=349162 vsize=470792 memory=440516 CPUtime=1794.1 cores=5,7
/proc/349163/stat : 349163 (LS-MabSP) R 349162 349162 348177 0 -1 4194304 99784 0 0 0 178123 1287 0 0 20 0 1 0 64153297 482091008 110129 134679101440 4194304 15467897 140720929571968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54345728 140720929575996 140720929576099 140720929576099 140720929583085 0
/proc/349163/statm: 117698 110129 2849 2753 0 114351 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 489384 KiB
Current children cumulated memory: 444292 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3586.66
CPU user time (s): 3571.95
CPU system time (s): 14.7133
CPU usage (%): 99.7392
Max. virtual memory (cumulated for all children) (KiB): 643232
Max. memory (cumulated for all children) (KiB): 556956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.95
system time used= 14.7133
maximum resident set size= 553708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223867
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91
involuntary context switches= 1874


# summary of solver processes directly reported to runsolver:
#   pid: 348238
#   total CPU time (s): 3586.66
#   total CPU user time (s): 3571.95
#   total CPU system time (s): 14.7133

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.19823 second user time and 20.6356 second system time

The end