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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=360177, runsolver pid=360174

[startup+0.100628 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 360181
/proc/meminfo: memFree=128617156/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=42884 memory=33760 CPUtime=0.09 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 6295 0 0 0 9 0 0 0 20 0 1 0 65516467 43913216 8440 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 10721 8440 2414 2417 0 7823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61476 KiB
Current children cumulated memory: 37576 KiB

[startup+0.205869 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 360181
/proc/meminfo: memFree=128616492/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=43320 memory=34024 CPUtime=0.19 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 6403 0 0 0 19 0 0 0 20 0 1 0 65516467 44359680 8506 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 10830 8506 2414 2417 0 7932 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61912 KiB
Current children cumulated memory: 37840 KiB

[startup+0.305057 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 360181
/proc/meminfo: memFree=128615988/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=43832 memory=34552 CPUtime=0.29 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 6531 0 0 0 29 0 0 0 20 0 1 0 65516467 44883968 8638 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 10958 8638 2414 2417 0 8060 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62424 KiB
Current children cumulated memory: 38368 KiB

[startup+0.7003 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 360181
/proc/meminfo: memFree=128606440/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=59716 memory=49632 CPUtime=0.68 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 10199 0 0 0 67 1 0 0 20 0 1 0 65516467 61149184 12408 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 14929 12408 2526 2417 0 12031 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78308 KiB
Current children cumulated memory: 53448 KiB

[startup+1.50027 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 360181
/proc/meminfo: memFree=128599692/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=65520 memory=51968 CPUtime=1.48 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 10816 0 0 0 147 1 0 0 20 0 1 0 65516467 67092480 12992 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 16380 12992 2526 2417 0 13482 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 84112 KiB
Current children cumulated memory: 55784 KiB

[startup+3.10575 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 360181
/proc/meminfo: memFree=128572400/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=101708 memory=78620 CPUtime=3.08 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 17503 0 0 0 305 3 0 0 20 0 1 0 65516467 104148992 19655 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 25427 19655 2526 2417 0 22529 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 120300 KiB
Current children cumulated memory: 82436 KiB

[startup+6.30029 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 360183
/proc/meminfo: memFree=128569836/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=101708 memory=80512 CPUtime=6.27 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 17877 0 0 0 624 3 0 0 20 0 1 0 65516467 104148992 20128 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 25427 20128 2526 2417 0 22529 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 120300 KiB
Current children cumulated memory: 84328 KiB

[startup+12.7003 s]
/proc/loadavg: 4.21 4.12 4.10 5/264 360183
/proc/meminfo: memFree=128535256/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=136052 memory=114776 CPUtime=12.65 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 26468 0 0 0 1261 4 0 0 20 0 1 0 65516467 139317248 28694 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 34013 28694 2542 2417 0 31115 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 154644 KiB
Current children cumulated memory: 118592 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.12 4.10 5/264 360186
/proc/meminfo: memFree=128493052/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=173540 memory=156680 CPUtime=25.4 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 35754 0 0 0 2535 5 0 0 20 0 1 0 65516467 177704960 39170 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 43385 39170 2542 2417 0 40487 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 192132 KiB
Current children cumulated memory: 160496 KiB

[startup+51.1061 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 360189
/proc/meminfo: memFree=128440524/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=200148 memory=192468 CPUtime=50.94 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 42052 0 0 0 5088 6 0 0 20 0 1 0 65516467 204951552 48117 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 50037 48117 2542 2417 0 47139 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 218740 KiB
Current children cumulated memory: 196284 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 360199
/proc/meminfo: memFree=128371520/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0

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


[startup+1602.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/266 361268
/proc/meminfo: memFree=128077316/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=597736 memory=589876 CPUtime=1597.9 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 199986 0 0 0 159751 39 0 0 20 0 1 0 65516467 612081664 147469 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 149434 147469 2794 2417 0 146536 0
Current children cumulated CPU time: 1597.9 s
Current children cumulated vsize: 616328 KiB
Current children cumulated memory: 593692 KiB

[startup+1662.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/266 361278
/proc/meminfo: memFree=128049512/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=597736 memory=589876 CPUtime=1657.76 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 200115 0 0 0 165737 39 0 0 20 0 1 0 65516467 612081664 147469 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 149434 147469 2794 2417 0 146536 0
Current children cumulated CPU time: 1657.76 s
Current children cumulated vsize: 616328 KiB
Current children cumulated memory: 593692 KiB

[startup+1722.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 361288
/proc/meminfo: memFree=128028608/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=597736 memory=589876 CPUtime=1717.61 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 200239 0 0 0 171722 39 0 0 20 0 1 0 65516467 612081664 147469 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 149434 147469 2794 2417 0 146536 0
Current children cumulated CPU time: 1717.61 s
Current children cumulated vsize: 616328 KiB
Current children cumulated memory: 593692 KiB

[startup+1782.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 361299
/proc/meminfo: memFree=128023432/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=597736 memory=589876 CPUtime=1777.47 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 200339 0 0 0 177708 39 0 0 20 0 1 0 65516467 612081664 147469 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 149434 147469 2794 2417 0 146536 0
Current children cumulated CPU time: 1777.47 s
Current children cumulated vsize: 616328 KiB
Current children cumulated memory: 593692 KiB

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

# cumulated CPU time of all completed processes:  user=1793.82 s, system=0.418809 s

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

[startup+1792 s]*
/proc/loadavg: 4.10 4.09 4.09 5/266 361301
/proc/meminfo: memFree=128023376/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=597736 memory=589876 CPUtime=1787.15 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 200373 0 0 0 178676 39 0 0 20 0 1 0 65516467 612081664 147469 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 149434 147469 2794 2417 0 146536 0
Current children cumulated CPU time: 1787.15 s
Current children cumulated vsize: 616328 KiB
Current children cumulated memory: 593692 KiB

[startup+1795.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 361303
/proc/meminfo: memFree=128023348/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=597736 memory=589876 CPUtime=1790.34 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 200373 0 0 0 178995 39 0 0 20 0 1 0 65516467 612081664 147469 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 149434 147469 2794 2417 0 146536 0
Current children cumulated CPU time: 1790.34 s
Current children cumulated vsize: 616328 KiB
Current children cumulated memory: 593692 KiB

[startup+1796.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 361303
/proc/meminfo: memFree=128023264/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2784 CPUtime=0 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 65516467 10170368 696 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 696 617 264 0 134 0
[pid=360180] ppid=360177 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/360180/stat : 360180 (timeout) S 360177 360180 354735 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65516467 8867840 258 134679101440 94119463272448 94119463307464 140722068335520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94119465404880 94119465407012 94119472701440 140722068337676 140722068337821 140722068337821 140722068344807 0
/proc/360180/statm: 2165 258 234 9 0 87 0
[pid=360181] ppid=360180 vsize=597736 memory=589876 CPUtime=1791.93 cores=4,6
/proc/360181/stat : 360181 (CASHWMaxSAT-Dis) R 360180 360180 354735 0 -1 4194304 200373 0 0 0 179154 39 0 0 20 0 1 0 65516467 612081664 147469 134679101440 4194304 14093885 140727959878912 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 46792704 140727959884818 140727959884950 140727959884950 140727959891936 0
/proc/360181/statm: 149434 147469 2794 2417 0 146536 0
Current children cumulated CPU time: 1791.93 s
Current children cumulated vsize: 616328 KiB
Current children cumulated memory: 593692 KiB

[startup+1798.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 361303
/proc/meminfo: memFree=128023292/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2840 CPUtime=1793.15 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 274 200594 0 0 0 0 179275 40 20 0 1 0 65516467 10170368 710 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 710 617 264 0 134 0
Current children cumulated CPU time: 1793.15 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2840 KiB

[startup+1798.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 361303
/proc/meminfo: memFree=128023292/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2840 CPUtime=1793.15 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 274 200594 0 0 0 0 179275 40 20 0 1 0 65516467 10170368 710 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 710 617 264 0 134 0
Current children cumulated CPU time: 1793.15 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2840 KiB

[startup+1799 s]*
/proc/loadavg: 4.09 4.09 4.09 5/267 361305
/proc/meminfo: memFree=128585636/131524600 swapFree=131071996/131071996
[pid=360177] ppid=360174 vsize=9932 memory=2840 CPUtime=1793.15 cores=4,6
/proc/360177/stat : 360177 (Hybrid-CASHWMax) S 360174 360177 354735 0 -1 4194304 274 200594 0 0 0 0 179275 40 20 0 1 0 65516467 10170368 710 134679101440 93900119162880 93900120242200 140735469247904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93900122340656 93900122387844 93900142039040 140735469249488 140735469249646 140735469249646 140735469256661 0
/proc/360177/statm: 2483 710 617 264 0 134 0
[pid=361304] ppid=360177 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/361304/stat : 361304 (timeout) S 360177 361304 354735 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65696268 8867840 247 134679101440 94634061922304 94634061957320 140726727104768 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94634064054736 94634064056868 94634073415680 140726727107572 140726727107741 140726727107741 140726727114727 0
/proc/361304/statm: 2165 247 223 9 0 87 0
[pid=361305] ppid=361304 vsize=34936 memory=20636 CPUtime=0.98 cores=4,6
/proc/361305/stat : 361305 (Exact) R 361304 361304 354735 0 -1 4194304 2446 0 0 0 98 0 0 0 20 0 1 0 65696268 35774464 5159 134679101440 4194304 7210733 140737006095568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 42192896 140737006097424 140737006097574 140737006097574 140737006104560 0
/proc/361305/statm: 8734 5159 748 737 0 7822 0
Current children cumulated CPU time: 1794.13 s
Current children cumulated vsize: 53528 KiB
Current children cumulated memory: 24464 KiB

Child status: 0

Real time (s): 1799.09
CPU time (s): 1794.23
CPU user time (s): 1793.82
CPU system time (s): 0.418809
CPU usage (%): 99.7302
Max. virtual memory (cumulated for all children) (KiB): 808904
Max. memory (cumulated for all children) (KiB): 781044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.82
system time used= 0.418809
maximum resident set size= 777228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204158
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= 140
involuntary context switches= 1489


# summary of solver processes directly reported to runsolver:
#   pid: 360177
#   total CPU time (s): 1794.23
#   total CPU user time (s): 1793.82
#   total CPU system time (s): 0.418809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.3511 second user time and 9.93764 second system time

The end