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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443806-1721315874/watcher-4443806-1721315874 -o /tmp/evaluation-result-4443806-1721315874/solver-4443806-1721315874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961570 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443806-1721315874.opb 3600 HOME 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=962643, runsolver pid=962640

[startup+0.100397 s]*
/proc/loadavg: 3.96 2.64 3.25 5/248 962647
/proc/meminfo: memFree=121650772/131655788 swapFree=131071996/131071996
[pid=962643] ppid=962640 vsize=9932 memory=2900 CPUtime=0 cores=0,2
/proc/962643/stat : 962643 (Hybrid-CASHWMax) S 962640 962643 961560 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 183746180 10170368 725 134679101440 94143492567040 94143493646360 140729959874912 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94143495744816 94143495792004 94143523684352 140729959879629 140729959879788 140729959879788 140729959886804 0
/proc/962643/statm: 2483 725 632 264 0 134 0
[pid=962646] ppid=962643 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/962646/stat : 962646 (timeout) S 962643 962646 961560 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 183746180 8867840 263 134679101440 94648590336000 94648590371016 140725076057376 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94648592468432 94648592470564 94648612667392 140725076059133 140725076059292 140725076059292 140725076066279 0
/proc/962646/statm: 2165 263 239 9 0 87 0
[pid=962647] ppid=962646 vsize=39052 memory=24344 CPUtime=0.09 cores=0,2
/proc/962647/stat : 962647 (CASHWMaxSAT-Dis) R 962646 962646 961560 0 -1 4194304 3667 0 0 0 8 1 0 0 20 0 1 0 183746180 39989248 6086 134679101440 4194304 15356333 140733548659152 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52232192 140733548667906 140733548668052 140733548668052 140733548675039 0
/proc/962647/statm: 9763 6086 922 2726 0 6511 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57644 KiB
Current children cumulated memory: 28296 KiB

[startup+0.21381 s]*
/proc/loadavg: 3.96 2.64 3.25 5/248 962647
/proc/meminfo: memFree=121636084/131655788 swapFree=131071996/131071996
[pid=962643] ppid=962640 vsize=9932 memory=2900 CPUtime=0 cores=0,2
/proc/962643/stat : 962643 (Hybrid-CASHWMax) S 962640 962643 961560 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 183746180 10170368 725 134679101440 94143492567040 94143493646360 140729959874912 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94143495744816 94143495792004 94143523684352 140729959879629 140729959879788 140729959879788 140729959886804 0
/proc/962643/statm: 2483 725 632 264 0 134 0
[pid=962646] ppid=962643 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/962646/stat : 962646 (timeout) S 962643 962646 961560 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 183746180 8867840 263 134679101440 94648590336000 94648590371016 140725076057376 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94648592468432 94648592470564 94648612667392 140725076059133 140725076059292 140725076059292 140725076066279 0
/proc/962646/statm: 2165 263 239 9 0 87 0
[pid=962647] ppid=962646 vsize=51340 memory=30496 CPUtime=0.2 cores=0,2
/proc/962647/stat : 962647 (CASHWMaxSAT-Dis) R 962646 962646 961560 0 -1 4194304 4702 0 0 0 19 1 0 0 20 0 1 0 183746180 52572160 7624 134679101440 4194304 15356333 140733548659152 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52232192 140733548667906 140733548668052 140733548668052 140733548675039 0
/proc/962647/statm: 12835 7624 922 2726 0 9583 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69932 KiB
Current children cumulated memory: 34448 KiB

[startup+0.314012 s]*
/proc/loadavg: 3.96 2.64 3.25 5/248 962647
/proc/meminfo: memFree=121623632/131655788 swapFree=131071996/131071996
[pid=962643] ppid=962640 vsize=9932 memory=2900 CPUtime=0 cores=0,2
/proc/962643/stat : 962643 (Hybrid-CASHWMax) S 962640 962643 961560 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 183746180 10170368 725 134679101440 94143492567040 94143493646360 140729959874912 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94143495744816 94143495792004 94143523684352 140729959879629 140729959879788 140729959879788 140729959886804 0
/proc/962643/statm: 2483 725 632 264 0 134 0
[pid=962646] ppid=962643 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/962646/stat : 962646 (timeout) S 962643 962646 961560 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 183746180 8867840 263 134679101440 94648590336000 94648590371016 140725076057376 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94648592468432 94648592470564 94648612667392 140725076059133 140725076059292 140725076059292 140725076066279 0
/proc/962646/statm: 2165 263 239 9 0 87 0
[pid=962647] ppid=962646 vsize=84112 memory=52804 CPUtime=0.3 cores=0,2
/proc/962647/stat : 962647 (CASHWMaxSAT-Dis) R 962646 962646 961560 0 -1 4194304 5226 0 0 0 28 2 0 0 20 0 1 0 183746180 86130688 13201 134679101440 4194304 15356333 140733548659152 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52232192 140733548667906 140733548668052 140733548668052 140733548675039 0
/proc/962647/statm: 21028 13201 922 2726 0 17776 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102704 KiB
Current children cumulated memory: 56756 KiB

[startup+0.7005 s]
/proc/loadavg: 3.96 2.64 3.25 5/248 962647
/proc/meminfo: memFree=121594764/131655788 swapFree=131071996/131071996
[pid=962643] ppid=962640 vsize=9932 memory=2900 CPUtime=0 cores=0,2
/proc/962643/stat : 962643 (Hybrid-CASHWMax) S 962640 962643 961560 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 183746180 10170368 725 134679101440 94143492567040 94143493646360 140729959874912 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94143495744816 94143495792004 94143523684352 140729959879629 140729959879788 140729959879788 140729959886804 0
/proc/962643/statm: 2483 725 632 264 0 134 0
[pid=962646] ppid=962643 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/962646/stat : 962646 (timeout) S 962643 962646 961560 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 183746180 8867840 263 134679101440 94648590336000 94648590371016 140725076057376 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94648592468432 94648592470564 94648612667392 140725076059133 140725076059292 140725076059292 140725076066279 0
/proc/962646/statm: 2165 263 239 9 0 87 0
[pid=962647] ppid=962646 vsize=196832 memory=130596 CPUtime=0.68 cores=0,2
/proc/962647/stat : 962647 (CASHWMaxSAT-Dis) R 962646 962646 961560 0 -1 4194304 8840 0 0 0 63 5 0 0 20 0 1 0 183746180 201555968 32649 134679101440 4194304 15356333 140733548659152 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52232192 140733548667906 140733548668052 140733548668052 140733548675039 0
/proc/962647/statm: 49208 32649 922 2726 0 45956 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 215424 KiB
Current children cumulated memory: 134548 KiB

[startup+1.50049 s]
/proc/loadavg: 3.97 2.66 3.25 5/248 962647
/proc/meminfo: memFree=121454512/131655788 swapFree=131071996/131071996
[pid=962643] ppid=962640 vsize=9932 memory=2900 CPUtime=0 cores=0,2
/proc/962643/stat : 962643 (Hybrid-CASHWMax) S 962640 962643 961560 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 183746180 10170368 725 134679101440 94143492567040 94143493646360 140729959874912 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94143495744816 94143495792004 94143523684352 140729959879629 140729959879788 140729959879788 140729959886804 0
/proc/962643/statm: 2483 725 632 264 0 134 0
[pid=962646] ppid=962643 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/962646/stat : 962646 (timeout) S 962643 962646 961560 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 183746180 8867840 263 134679101440 94648590336000 94648590371016 140725076057376 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94648592468432 94648592470564 94648612667392 140725076059133 140725076059292 140725076059292 140725076066279 0
/proc/962646/statm: 2165 263 239 9 0 87 0
[pid=962647] ppid=962646 vsize=223172 memory=177956 CPUtime=1.48 cores=0,2
/proc/962647/stat : 962647 (CASHWMaxSAT-Dis) R 962646 962646 961560 0 -1 4194304 16690 0 0 0 139 9 0 0 20 0 1 0 183746180 228528128 44489 134679101440 4194304 15356333 140733548659152 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52232192 140733548667906 140733548668052 140733548668052 140733548675039 0
/proc/962647/statm: 55793 44489 1002 2726 0 52541 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 241764 KiB
Current children cumulated memory: 181908 KiB

[startup+3.1134 s]
/proc/loadavg: 3.97 2.66 3.25 5/248 962647
/proc/meminfo: memFree=119859192/131655788 swapFree=131071996/131071996
[pid=962643] ppid=962640 vsize=9932 memory=2900 CPUtime=0 cores=0,2
/proc/962643/stat : 962643 (Hybrid-CASHWMax) S 962640 962643 961560 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 183746180 10170368 725 134679101440 94143492567040 94143493646360 140729959874912 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94143495744816 94143495792004 94143523684352 140729959879629 140729959879788 140729959879788 140729959886804 0
/proc/962643/statm: 2483 725 632 264 0 134 0
[pid=962646] ppid=962643 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/962646/stat : 962646 (timeout) S 962643 962646 961560 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 183746180 8867840 263 134679101440 94648590336000 94648590371016 140725076057376 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94648592468432 94648592470564 94648612667392 140725076059133 140725076059292 140725076059292 140725076066279 0
/proc/962646/statm: 2165 263 239 9 0 87 0
[pid=962647] ppid=962646 vsize=538504 memory=490848 CPUtime=3.08 cores=0,2
/proc/962647/stat : 962647 (CASHWMaxSAT-Dis) R 962646 962646 961560 0 -1 4194304 88257 0 0 0 288 20 0 0 20 0 1 0 183746180 551428096 122712 134679101440 4194304 15356333 140733548659152 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52232192 140733548667906 140733548668052 140733548668052 140733548675039 0
/proc/962647/statm: 134626 122712 1066 2726 0 131374 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 557096 KiB
Current children cumulated memory: 494800 KiB

[startup+6.30047 s]
/proc/loadavg: 3.97 2.68 3.26 5/252 962684
/proc/meminfo: memFree=119139492/131655788 swapFree=131071996/131071996
[pid=962643] ppid=962640 vsize=9932 memory=2900 CPUtime=0 cores=0,2
/proc/962643/stat : 962643 (Hybrid-CASHWMax) S 962640 962643 961560 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 183746180 10170368 725 134679101440 94143492567040 94143493646360 140729959874912 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94143495744816 94143495792004 94143523684352 140729959879629 140729959879788 140729959879788 140729959886804 0
/proc/962643/statm: 2483 725 632 264 0 134 0
[pid=962646] ppid=962643 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/962646/stat : 962646 (timeout) S 962643 962646 961560 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 183746180 8867840 263 134679101440 94648590336000 94648590371016 140725076057376 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94648592468432 94648592470564 94648612667392 140725076059133 140725076059292 140725076059292 140725076066279 0
/proc/962646/statm: 2165 263 239 9 0 87 0
[pid=962647] ppid=962646 vsize=799684 memory=722424 CPUtime=6.27 cores=0,2
/proc/962647/stat : 962647 (CASHWMaxSAT-Dis) R 962646 962646 961560 0 -1 4194304 96103 0 0 0 600 27 0 0 20 0 1 0 183746180 818876416 180606 134679101440 4194304 15356333 140733548659152 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52232192 140733548667906 140733548668052 140733548668052 140733548675039 0
/proc/962647/statm: 199921 180606 1146 2726 0 196669 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 818276 KiB
Current children cumulated memory: 726376 KiB

[startup+12.7005 s]
/proc/loadavg: 3.97 2.70 3.26 5/246 962721
/proc/meminfo: memFree=118132876/131655788 swapFree=131071996/131071996
[pid=962643] ppid=962640 vsize=9932 memory=2900 CPUtime=0 cores=0,2
/proc/962643/stat : 962643 (Hybrid-CASHWMax) S 962640 962643 961560 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 183746180 10170368 725 134679101440 94143492567040 94143493646360 140729959874912 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94143495744816 94143495792004 94143523684352 140729959879629 140729959879788 140729959879788 140729959886804 0
/proc/962643/statm: 2483 725 632 264 0 134 0
[pid=962646] ppid=962643 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/962646/stat : 962646 (timeout) S 962643 962646 961560 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 183746180 8867840 263 134679101440 94648590336000 94648590371016 140725076057376 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94648592468432 94648592470564 94648612667392 140725076059133 140725076059292 140725076059292 140725076066279 0
/proc/962646/statm: 2165 263 239 9 0 87 0
[pid=962647] ppid=962646 vsize=808536 memory=731840 CPUtime=12.64 cores=0,2
/proc/962647/stat : 962647 (CASHWMaxSAT-Dis) R 962646 962646 961560 0 -1 4194304 101490 0 0 0 1230 34 0 0 20 0 1 0 183746180 827940864 182960 134679101440 4194304 15356333 140733548659152 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52232192 140733548667906 140733548668052 140733548668052 140733548675039 0
/proc/962647/statm: 202134 182960 1146 2726 0 198882 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 827128 KiB
Current children cumulated memory: 735792 KiB

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

# cumulated CPU time of all completed processes:  user=12.4045 s, system=0.375634 s

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

[startup+12.8005 s]
/proc/loadavg: 3.97 2.70 3.26 5/246 962721
/proc/meminfo: memFree=118132876/131655788 swapFree=131071996/131071996
[pid=962643] ppid=962640 vsize=9932 memory=2900 CPUtime=0 cores=0,2
/proc/962643/stat : 962643 (Hybrid-CASHWMax) S 962640 962643 961560 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 183746180 10170368 725 134679101440 94143492567040 94143493646360 140729959874912 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94143495744816 94143495792004 94143523684352 140729959879629 140729959879788 140729959879788 140729959886804 0
/proc/962643/statm: 2483 725 632 264 0 134 0
[pid=962646] ppid=962643 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/962646/stat : 962646 (timeout) S 962643 962646 961560 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 183746180 8867840 263 134679101440 94648590336000 94648590371016 140725076057376 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94648592468432 94648592470564 94648612667392 140725076059133 140725076059292 140725076059292 140725076066279 0
/proc/962646/statm: 2165 263 239 9 0 87 0
[pid=962647] ppid=962646 vsize=821632 memory=744720 CPUtime=12.74 cores=0,2
/proc/962647/stat : 962647 (CASHWMaxSAT-Dis) R 962646 962646 961560 0 -1 4194304 102232 0 0 0 1240 34 0 0 20 0 1 0 183746180 841351168 186180 134679101440 4194304 15356333 140733548659152 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52232192 140733548667906 140733548668052 140733548668052 140733548675039 0
/proc/962647/statm: 205408 186180 1146 2726 0 202156 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 840224 KiB
Current children cumulated memory: 748672 KiB

Child status: 0

Real time (s): 12.825
CPU time (s): 12.7801
CPU user time (s): 12.4045
CPU system time (s): 0.375634
CPU usage (%): 99.6502
Max. virtual memory (cumulated for all children) (KiB): 929900
Max. memory (cumulated for all children) (KiB): 833668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4045
system time used= 0.375634
maximum resident set size= 829716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102921
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 87


# summary of solver processes directly reported to runsolver:
#   pid: 962643
#   total CPU time (s): 12.7801
#   total CPU user time (s): 12.4045
#   total CPU system time (s): 0.375634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.102124 second user time and 0.195297 second system time

The end