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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458816-1722989111/watcher-4458816-1722989111 -o /tmp/evaluation-result-4458816-1722989111/solver-4458816-1722989111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722981917-352360 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4458816-1722989111.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=357195, runsolver pid=357192
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.04 4.09 4.08 4/260 357205
/proc/meminfo: memFree=127493372/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 65510127 10170368 677 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 677 598 264 0 134 0
[pid=357198] ppid=357195 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/357198/stat : 357198 (timeout) S 357195 357198 352348 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65510127 8867840 253 134679101440 94401063841792 94401063876808 140725611849776 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94401065974224 94401065976356 94401081372672 140725611856921 140725611857053 140725611857053 140725611864039 0
/proc/357198/statm: 2165 253 229 9 0 87 0
[pid=357199] ppid=357198 vsize=40308 memory=21892 CPUtime=0.09 cores=1,3
/proc/357199/stat : 357199 (CASHWMaxSAT-Dis) R 357198 357198 352348 0 -1 4194304 4812 0 0 0 9 0 0 0 20 0 1 0 65510127 41275392 5473 134679101440 4194304 14093885 140731917500080 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38207488 140731917501471 140731917501590 140731917501590 140731917508576 0
/proc/357199/statm: 10077 5473 750 2417 0 7179 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58900 KiB
Current children cumulated memory: 25612 KiB

[startup+0.205654 s]*
/proc/loadavg: 4.04 4.09 4.08 5/259 357226
/proc/meminfo: memFree=127486520/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 65510127 10170368 677 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 677 598 264 0 134 0
[pid=357198] ppid=357195 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/357198/stat : 357198 (timeout) S 357195 357198 352348 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65510127 8867840 253 134679101440 94401063841792 94401063876808 140725611849776 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94401065974224 94401065976356 94401081372672 140725611856921 140725611857053 140725611857053 140725611864039 0
/proc/357198/statm: 2165 253 229 9 0 87 0
[pid=357199] ppid=357198 vsize=58640 memory=40132 CPUtime=0.19 cores=1,3
/proc/357199/stat : 357199 (CASHWMaxSAT-Dis) R 357198 357198 352348 0 -1 4194304 9365 0 0 0 19 0 0 0 20 0 1 0 65510127 60047360 10033 134679101440 4194304 14093885 140731917500080 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38207488 140731917501471 140731917501590 140731917501590 140731917508576 0
/proc/357199/statm: 14660 10033 750 2417 0 11762 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77232 KiB
Current children cumulated memory: 43852 KiB

[startup+0.305667 s]*
/proc/loadavg: 4.04 4.09 4.08 5/257 357227
/proc/meminfo: memFree=127417524/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 65510127 10170368 677 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 677 598 264 0 134 0
[pid=357198] ppid=357195 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/357198/stat : 357198 (timeout) S 357195 357198 352348 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65510127 8867840 253 134679101440 94401063841792 94401063876808 140725611849776 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94401065974224 94401065976356 94401081372672 140725611856921 140725611857053 140725611857053 140725611864039 0
/proc/357198/statm: 2165 253 229 9 0 87 0
[pid=357199] ppid=357198 vsize=75756 memory=57028 CPUtime=0.29 cores=1,3
/proc/357199/stat : 357199 (CASHWMaxSAT-Dis) R 357198 357198 352348 0 -1 4194304 13618 0 0 0 28 1 0 0 20 0 1 0 65510127 77574144 14257 134679101440 4194304 14093885 140731917500080 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38207488 140731917501471 140731917501590 140731917501590 140731917508576 0
/proc/357199/statm: 18939 14257 750 2417 0 16041 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 94348 KiB
Current children cumulated memory: 60748 KiB

[startup+0.700263 s]
/proc/loadavg: 4.04 4.09 4.08 5/265 357240
/proc/meminfo: memFree=127350236/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 65510127 10170368 677 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 677 598 264 0 134 0
[pid=357198] ppid=357195 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/357198/stat : 357198 (timeout) S 357195 357198 352348 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65510127 8867840 253 134679101440 94401063841792 94401063876808 140725611849776 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94401065974224 94401065976356 94401081372672 140725611856921 140725611857053 140725611857053 140725611864039 0
/proc/357198/statm: 2165 253 229 9 0 87 0
[pid=357199] ppid=357198 vsize=141480 memory=122544 CPUtime=0.68 cores=1,3
/proc/357199/stat : 357199 (CASHWMaxSAT-Dis) R 357198 357198 352348 0 -1 4194304 29990 0 0 0 64 4 0 0 20 0 1 0 65510127 144875520 30636 134679101440 4194304 14093885 140731917500080 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38207488 140731917501471 140731917501590 140731917501590 140731917508576 0
/proc/357199/statm: 35370 30636 750 2417 0 32472 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 160072 KiB
Current children cumulated memory: 126264 KiB

[startup+1.50027 s]
/proc/loadavg: 4.04 4.09 4.08 5/265 357240
/proc/meminfo: memFree=127182556/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 65510127 10170368 677 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 677 598 264 0 134 0
[pid=357198] ppid=357195 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/357198/stat : 357198 (timeout) S 357195 357198 352348 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65510127 8867840 253 134679101440 94401063841792 94401063876808 140725611849776 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94401065974224 94401065976356 94401081372672 140725611856921 140725611857053 140725611857053 140725611864039 0
/proc/357198/statm: 2165 253 229 9 0 87 0
[pid=357199] ppid=357198 vsize=225464 memory=208620 CPUtime=1.49 cores=1,3
/proc/357199/stat : 357199 (CASHWMaxSAT-Dis) R 357198 357198 352348 0 -1 4194304 53044 0 0 0 140 9 0 0 20 0 1 0 65510127 230875136 52155 134679101440 4194304 14093885 140731917500080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38207488 140731917501471 140731917501590 140731917501590 140731917508576 0
/proc/357199/statm: 56366 52155 782 2417 0 53468 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 244056 KiB
Current children cumulated memory: 212340 KiB

[startup+3.10573 s]
/proc/loadavg: 4.04 4.09 4.08 5/265 357240
/proc/meminfo: memFree=127094484/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 65510127 10170368 677 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 677 598 264 0 134 0
[pid=357198] ppid=357195 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/357198/stat : 357198 (timeout) S 357195 357198 352348 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65510127 8867840 253 134679101440 94401063841792 94401063876808 140725611849776 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94401065974224 94401065976356 94401081372672 140725611856921 140725611857053 140725611857053 140725611864039 0
/proc/357198/statm: 2165 253 229 9 0 87 0
[pid=357199] ppid=357198 vsize=225464 memory=208620 CPUtime=3.08 cores=1,3
/proc/357199/stat : 357199 (CASHWMaxSAT-Dis) R 357198 357198 352348 0 -1 4194304 53046 0 0 0 299 9 0 0 20 0 1 0 65510127 230875136 52155 134679101440 4194304 14093885 140731917500080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38207488 140731917501471 140731917501590 140731917501590 140731917508576 0
/proc/357199/statm: 56366 52155 782 2417 0 53468 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 244056 KiB
Current children cumulated memory: 212340 KiB

[startup+6.30029 s]
/proc/loadavg: 4.03 4.08 4.08 5/265 357240
/proc/meminfo: memFree=127085188/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 65510127 10170368 677 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 677 598 264 0 134 0
[pid=357198] ppid=357195 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/357198/stat : 357198 (timeout) S 357195 357198 352348 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65510127 8867840 253 134679101440 94401063841792 94401063876808 140725611849776 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94401065974224 94401065976356 94401081372672 140725611856921 140725611857053 140725611857053 140725611864039 0
/proc/357198/statm: 2165 253 229 9 0 87 0
[pid=357199] ppid=357198 vsize=227028 memory=212024 CPUtime=6.27 cores=1,3
/proc/357199/stat : 357199 (CASHWMaxSAT-Dis) R 357198 357198 352348 0 -1 4194304 53394 0 0 0 618 9 0 0 20 0 1 0 65510127 232476672 53006 134679101440 4194304 14093885 140731917500080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38207488 140731917501471 140731917501590 140731917501590 140731917508576 0
/proc/357199/statm: 56757 53006 798 2417 0 53859 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 245620 KiB
Current children cumulated memory: 215744 KiB

[startup+12.7003 s]
/proc/loadavg: 4.03 4.08 4.08 5/265 357242
/proc/meminfo: memFree=127063492/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 65510127 10170368 677 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 677 598 264 0 134 0
[pid=357198] ppid=357195 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/357198/stat : 357198 (timeout) S 357195 357198 352348 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65510127 8867840 253 134679101440 94401063841792 94401063876808 140725611849776 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94401065974224 94401065976356 94401081372672 140725611856921 140725611857053 140725611857053 140725611864039 0
/proc/357198/statm: 2165 253 229 9 0 87 0
[pid=357199] ppid=357198 vsize=237592 memory=221776 CPUtime=12.65 cores=1,3
/proc/357199/stat : 357199 (CASHWMaxSAT-Dis) R 357198 357198 352348 0 -1 4194304 55332 0 0 0 1255 10 0 0 20 0 1 0 65510127 243294208 55444 134679101440 4194304 14093885 140731917500080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38207488 140731917501471 140731917501590 140731917501590 140731917508576 0
/proc/357199/statm: 59398 55444 798 2417 0 56500 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 256184 KiB
Current children cumulated memory: 225496 KiB

[startup+25.5003 s]
/proc/loadavg: 4.02 4.08 4.08 5/266 357244
/proc/meminfo: memFree=127043508/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 65510127 10170368 677 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 677 598 264 0 134 0
[pid=357198] ppid=357195 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/357198/stat : 357198 (timeout) S 357195 357198 352348 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65510127 8867840 253 134679101440 94401063841792 94401063876808 140725611849776 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94401065974224 94401065976356 94401081372672 140725611856921 140725611857053 140725611857053 140725611864039 0
/proc/357198/statm: 2165 253 229 9 0 87 0
[pid=357199] ppid=357198 vsize=238160 memory=222708 CPUtime=25.41 cores=1,3
/proc/357199/stat : 357199 (CASHWMaxSAT-Dis) R 357198 357198 352348 0 -1 4194304 56347 0 0 0 2530 11 0 0 20 0 1 0 65510127 243875840 55677 134679101440 4194304 14093885 140731917500080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38207488 140731917501471 140731917501590 140731917501590 140731917508576 0
/proc/357199/statm: 59540 55677 798 2417 0 56642 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 256752 KiB
Current children cumulated memory: 226428 KiB

[startup+51.1061 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 357494
/proc/meminfo: memFree=127432272/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 65510127 10170368 677 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 677 598 264 0 134 0
[pid=357198] ppid=357195 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/357198/stat : 357198 (timeout) S 357195 357198 352348 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65510127 8867840 253 134679101440 94401063841792 94401063876808 140725611849776 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94401065974224 94401065976356 94401081372672 140725611856921 140725611857053 140725611857053 140725611864039 0
/proc/357198/statm: 2165 253 229 9 0 87 0
[pid=357199] ppid=357198 vsize=256836 memory=236984 CPUtime=50.93 cores=1,3
/proc/357199/stat : 357199 (CASHWMaxSAT-Dis) R 357198 357198 352348 0 -1 4194304 57311 0 0 0 5081 12 0 0 20 0 1 0 65510127 263000064 59246 134679101440 4194304 14093885 140731917500080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 38207488 140731917501471 140731917501590 140731917501590 140731917508576 0
/proc/357199/statm: 64209 59246 798 2417 0 61311 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 275428 KiB
Current children cumulated memory: 240704 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 357559
/proc/meminfo: memFree=127376588/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 65510127 10170368 677 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0

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

/proc/358543/statm: 187313 183441 2817 2753 0 183966 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 767844 KiB
Current children cumulated memory: 737536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.41 4.21 4.13 5/269 359416
/proc/meminfo: memFree=119776236/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2808 CPUtime=1792.42 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 265 62882 0 0 0 0 179226 16 20 0 1 0 65510127 10170368 702 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 702 613 264 0 134 0
[pid=358542] ppid=357195 vsize=8660 memory=964 CPUtime=0 cores=1,3
/proc/358542/stat : 358542 (timeout) S 357195 358542 352348 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65689928 8867840 241 134679101440 94803595739136 94803595774152 140727675498880 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94803597871568 94803597873700 94803609149440 140727675507753 140727675507869 140727675507869 140727675514855 0
/proc/358542/statm: 2165 241 216 9 0 87 0
[pid=358543] ppid=358542 vsize=749252 memory=733764 CPUtime=1659.38 cores=1,3
/proc/358543/stat : 358543 (LS-MabSP) R 358542 358542 352348 0 -1 4194304 185192 0 0 0 165667 271 0 0 20 0 1 0 65689928 767234048 183441 134679101440 4194304 15467897 140736902867728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28020736 140736902870076 140736902870179 140736902870179 140736902877165 0
/proc/358543/statm: 187313 183441 2817 2753 0 183966 0
Current children cumulated CPU time: 3451.8 s
Current children cumulated vsize: 767844 KiB
Current children cumulated memory: 737536 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/267 359426
/proc/meminfo: memFree=119775900/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2808 CPUtime=1792.42 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 265 62882 0 0 0 0 179226 16 20 0 1 0 65510127 10170368 702 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 702 613 264 0 134 0
[pid=358542] ppid=357195 vsize=8660 memory=964 CPUtime=0 cores=1,3
/proc/358542/stat : 358542 (timeout) S 357195 358542 352348 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65689928 8867840 241 134679101440 94803595739136 94803595774152 140727675498880 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94803597871568 94803597873700 94803609149440 140727675507753 140727675507869 140727675507869 140727675514855 0
/proc/358542/statm: 2165 241 216 9 0 87 0
[pid=358543] ppid=358542 vsize=749252 memory=733764 CPUtime=1719.25 cores=1,3
/proc/358543/stat : 358543 (LS-MabSP) R 358542 358542 352348 0 -1 4194304 185289 0 0 0 171639 286 0 0 20 0 1 0 65689928 767234048 183441 134679101440 4194304 15467897 140736902867728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28020736 140736902870076 140736902870179 140736902870179 140736902877165 0
/proc/358543/statm: 187313 183441 2817 2753 0 183966 0
Current children cumulated CPU time: 3511.67 s
Current children cumulated vsize: 767844 KiB
Current children cumulated memory: 737536 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/266 359438
/proc/meminfo: memFree=119775564/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2808 CPUtime=1792.42 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 265 62882 0 0 0 0 179226 16 20 0 1 0 65510127 10170368 702 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 702 613 264 0 134 0
[pid=358542] ppid=357195 vsize=8660 memory=964 CPUtime=0 cores=1,3
/proc/358542/stat : 358542 (timeout) S 357195 358542 352348 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65689928 8867840 241 134679101440 94803595739136 94803595774152 140727675498880 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94803597871568 94803597873700 94803609149440 140727675507753 140727675507869 140727675507869 140727675514855 0
/proc/358542/statm: 2165 241 216 9 0 87 0
[pid=358543] ppid=358542 vsize=749252 memory=733764 CPUtime=1779.1 cores=1,3
/proc/358543/stat : 358543 (LS-MabSP) R 358542 358542 352348 0 -1 4194304 185337 0 0 0 177610 300 0 0 20 0 1 0 65689928 767234048 183441 134679101440 4194304 15467897 140736902867728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28020736 140736902870076 140736902870179 140736902870179 140736902877165 0
/proc/358543/statm: 187313 183441 2817 2753 0 183966 0
Current children cumulated CPU time: 3571.52 s
Current children cumulated vsize: 767844 KiB
Current children cumulated memory: 737536 KiB

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

# cumulated CPU time of all completed processes:  user=3582.08 s, system=3.2156 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.18 4.12 5/266 359438
/proc/meminfo: memFree=119775576/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2808 CPUtime=1792.42 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 265 62882 0 0 0 0 179226 16 20 0 1 0 65510127 10170368 702 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 702 613 264 0 134 0
[pid=358542] ppid=357195 vsize=8660 memory=964 CPUtime=0 cores=1,3
/proc/358542/stat : 358542 (timeout) S 357195 358542 352348 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65689928 8867840 241 134679101440 94803595739136 94803595774152 140727675498880 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94803597871568 94803597873700 94803609149440 140727675507753 140727675507869 140727675507869 140727675514855 0
/proc/358542/statm: 2165 241 216 9 0 87 0
[pid=358543] ppid=358542 vsize=749252 memory=733764 CPUtime=1780.81 cores=1,3
/proc/358543/stat : 358543 (LS-MabSP) R 358542 358542 352348 0 -1 4194304 185385 0 0 0 177780 301 0 0 20 0 1 0 65689928 767234048 183441 134679101440 4194304 15467897 140736902867728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28020736 140736902870076 140736902870179 140736902870179 140736902877165 0
/proc/358543/statm: 187313 183441 2817 2753 0 183966 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 767844 KiB
Current children cumulated memory: 737536 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.18 4.12 5/266 359439
/proc/meminfo: memFree=119775588/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2808 CPUtime=1792.42 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 265 62882 0 0 0 0 179226 16 20 0 1 0 65510127 10170368 702 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 702 613 264 0 134 0
[pid=358542] ppid=357195 vsize=8660 memory=964 CPUtime=0 cores=1,3
/proc/358542/stat : 358542 (timeout) S 357195 358542 352348 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65689928 8867840 241 134679101440 94803595739136 94803595774152 140727675498880 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94803597871568 94803597873700 94803609149440 140727675507753 140727675507869 140727675507869 140727675514855 0
/proc/358542/statm: 2165 241 216 9 0 87 0
[pid=358543] ppid=358542 vsize=749252 memory=733764 CPUtime=1787.19 cores=1,3
/proc/358543/stat : 358543 (LS-MabSP) R 358542 358542 352348 0 -1 4194304 185385 0 0 0 178416 303 0 0 20 0 1 0 65689928 767234048 183441 134679101440 4194304 15467897 140736902867728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28020736 140736902870076 140736902870179 140736902870179 140736902877165 0
/proc/358543/statm: 187313 183441 2817 2753 0 183966 0
Current children cumulated CPU time: 3579.61 s
Current children cumulated vsize: 767844 KiB
Current children cumulated memory: 737536 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.17 4.12 5/266 359439
/proc/meminfo: memFree=119775604/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2808 CPUtime=1792.42 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 265 62882 0 0 0 0 179226 16 20 0 1 0 65510127 10170368 702 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 702 613 264 0 134 0
[pid=358542] ppid=357195 vsize=8660 memory=964 CPUtime=0 cores=1,3
/proc/358542/stat : 358542 (timeout) S 357195 358542 352348 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65689928 8867840 241 134679101440 94803595739136 94803595774152 140727675498880 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94803597871568 94803597873700 94803609149440 140727675507753 140727675507869 140727675507869 140727675514855 0
/proc/358542/statm: 2165 241 216 9 0 87 0
[pid=358543] ppid=358542 vsize=749252 memory=733764 CPUtime=1790.38 cores=1,3
/proc/358543/stat : 358543 (LS-MabSP) R 358542 358542 352348 0 -1 4194304 185385 0 0 0 178735 303 0 0 20 0 1 0 65689928 767234048 183441 134679101440 4194304 15467897 140736902867728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28020736 140736902870076 140736902870179 140736902870179 140736902877165 0
/proc/358543/statm: 187313 183441 2817 2753 0 183966 0
Current children cumulated CPU time: 3582.8 s
Current children cumulated vsize: 767844 KiB
Current children cumulated memory: 737536 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.17 4.12 5/266 359439
/proc/meminfo: memFree=119775604/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2808 CPUtime=1792.42 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 265 62882 0 0 0 0 179226 16 20 0 1 0 65510127 10170368 702 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 702 613 264 0 134 0
[pid=358542] ppid=357195 vsize=8660 memory=964 CPUtime=0 cores=1,3
/proc/358542/stat : 358542 (timeout) S 357195 358542 352348 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65689928 8867840 241 134679101440 94803595739136 94803595774152 140727675498880 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94803597871568 94803597873700 94803609149440 140727675507753 140727675507869 140727675507869 140727675514855 0
/proc/358542/statm: 2165 241 216 9 0 87 0
[pid=358543] ppid=358542 vsize=749252 memory=733764 CPUtime=1791.97 cores=1,3
/proc/358543/stat : 358543 (LS-MabSP) R 358542 358542 352348 0 -1 4194304 185385 0 0 0 178894 303 0 0 20 0 1 0 65689928 767234048 183441 134679101440 4194304 15467897 140736902867728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28020736 140736902870076 140736902870179 140736902870179 140736902877165 0
/proc/358543/statm: 187313 183441 2817 2753 0 183966 0
Current children cumulated CPU time: 3584.39 s
Current children cumulated vsize: 767844 KiB
Current children cumulated memory: 737536 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.17 4.12 5/266 359439
/proc/meminfo: memFree=119775604/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2808 CPUtime=1792.42 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 265 62882 0 0 0 0 179226 16 20 0 1 0 65510127 10170368 702 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 702 613 264 0 134 0
[pid=358542] ppid=357195 vsize=8660 memory=964 CPUtime=0 cores=1,3
/proc/358542/stat : 358542 (timeout) S 357195 358542 352348 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65689928 8867840 241 134679101440 94803595739136 94803595774152 140727675498880 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94803597871568 94803597873700 94803609149440 140727675507753 140727675507869 140727675507869 140727675514855 0
/proc/358542/statm: 2165 241 216 9 0 87 0
[pid=358543] ppid=358542 vsize=749252 memory=733764 CPUtime=1792.37 cores=1,3
/proc/358543/stat : 358543 (LS-MabSP) R 358542 358542 352348 0 -1 4194304 185385 0 0 0 178934 303 0 0 20 0 1 0 65689928 767234048 183441 134679101440 4194304 15467897 140736902867728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28020736 140736902870076 140736902870179 140736902870179 140736902877165 0
/proc/358543/statm: 187313 183441 2817 2753 0 183966 0
Current children cumulated CPU time: 3584.79 s
Current children cumulated vsize: 767844 KiB
Current children cumulated memory: 737536 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.17 4.12 4/259 359469
/proc/meminfo: memFree=120574116/131524600 swapFree=131071728/131071996
[pid=357195] ppid=357192 vsize=9932 memory=2808 CPUtime=1792.42 cores=1,3
/proc/357195/stat : 357195 (Hybrid-LSMabSP+) S 357192 357195 352348 0 -1 4194304 265 62882 0 0 0 0 179226 16 20 0 1 0 65510127 10170368 702 134679101440 94751828000768 94751829080088 140730793536640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94751831178544 94751831225732 94751842803712 140730793538510 140730793538669 140730793538669 140730793545684 0
/proc/357195/statm: 2483 702 613 264 0 134 0
[pid=358542] ppid=357195 vsize=8660 memory=964 CPUtime=0 cores=1,3
/proc/358542/stat : 358542 (timeout) S 357195 358542 352348 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65689928 8867840 241 134679101440 94803595739136 94803595774152 140727675498880 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94803597871568 94803597873700 94803609149440 140727675507753 140727675507869 140727675507869 140727675514855 0
/proc/358542/statm: 2165 241 216 9 0 87 0
[pid=358543] ppid=358542 vsize=749252 memory=733764 CPUtime=1792.77 cores=1,3
/proc/358543/stat : 358543 (LS-MabSP) R 358542 358542 352348 0 -1 4194304 185385 0 0 0 178974 303 0 0 20 0 1 0 65689928 767234048 183441 134679101440 4194304 15467897 140736902867728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28020736 140736902870076 140736902870179 140736902870179 140736902877165 0
/proc/358543/statm: 187313 183441 2817 2753 0 183966 0
Current children cumulated CPU time: 3585.19 s
Current children cumulated vsize: 767844 KiB
Current children cumulated memory: 737536 KiB

Child status: 0

Real time (s): 3596.07
CPU time (s): 3585.29
CPU user time (s): 3582.08
CPU system time (s): 3.2156
CPU usage (%): 99.7002
Max. virtual memory (cumulated for all children) (KiB): 1314772
Max. memory (cumulated for all children) (KiB): 1226376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.08
system time used= 3.2156
maximum resident set size= 1222604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251602
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108
involuntary context switches= 1285


# summary of solver processes directly reported to runsolver:
#   pid: 357195
#   total CPU time (s): 3585.29
#   total CPU user time (s): 3582.08
#   total CPU system time (s): 3.2156

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.81776 second user time and 18.8935 second system time

The end