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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443596-1721315818/watcher-4443596-1721315818 -o /tmp/evaluation-result-4443596-1721315818/solver-4443596-1721315818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961570 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443596-1721315818.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=962261, runsolver pid=962258

[startup+0.100099 s]*
/proc/loadavg: 2.87 2.20 3.15 5/252 962267
/proc/meminfo: memFree=122744352/131655788 swapFree=131071996/131071996
[pid=962261] ppid=962258 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/962261/stat : 962261 (Hybrid-CASHWMax) S 962258 962261 961560 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 183740520 10170368 682 134679101440 94868526288896 94868527368216 140731913252160 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94868529466672 94868529513860 94868560515072 140731913253837 140731913253996 140731913253996 140731913261012 0
/proc/962261/statm: 2483 682 603 264 0 134 0
[pid=962264] ppid=962261 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/962264/stat : 962264 (timeout) S 962261 962264 961560 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183740521 8867840 255 134679101440 94874279378944 94874279413960 140729327479520 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94874281511376 94874281513508 94874283200512 140729327485949 140729327486108 140729327486108 140729327493095 0
/proc/962264/statm: 2165 255 231 9 0 87 0
[pid=962265] ppid=962264 vsize=43148 memory=27844 CPUtime=0.1 cores=0,2
/proc/962265/stat : 962265 (CASHWMaxSAT-Dis) R 962264 962264 961560 0 -1 4194304 4034 0 0 0 9 1 0 0 20 0 1 0 183740521 44183552 6961 134679101440 4194304 15356333 140723572388800 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 44138496 140723572392962 140723572393108 140723572393108 140723572400095 0
/proc/962265/statm: 10787 6961 922 2726 0 7535 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 61740 KiB
Current children cumulated memory: 31592 KiB

[startup+0.213326 s]*
/proc/loadavg: 2.87 2.20 3.15 5/252 962267
/proc/meminfo: memFree=122714996/131655788 swapFree=131071996/131071996
[pid=962261] ppid=962258 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/962261/stat : 962261 (Hybrid-CASHWMax) S 962258 962261 961560 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 183740520 10170368 682 134679101440 94868526288896 94868527368216 140731913252160 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94868529466672 94868529513860 94868560515072 140731913253837 140731913253996 140731913253996 140731913261012 0
/proc/962261/statm: 2483 682 603 264 0 134 0
[pid=962264] ppid=962261 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/962264/stat : 962264 (timeout) S 962261 962264 961560 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183740521 8867840 255 134679101440 94874279378944 94874279413960 140729327479520 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94874281511376 94874281513508 94874283200512 140729327485949 140729327486108 140729327486108 140729327493095 0
/proc/962264/statm: 2165 255 231 9 0 87 0
[pid=962265] ppid=962264 vsize=51340 memory=33992 CPUtime=0.21 cores=0,2
/proc/962265/stat : 962265 (CASHWMaxSAT-Dis) R 962264 962264 961560 0 -1 4194304 4554 0 0 0 20 1 0 0 20 0 1 0 183740521 52572160 8498 134679101440 4194304 15356333 140723572388800 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 44138496 140723572392962 140723572393108 140723572393108 140723572400095 0
/proc/962265/statm: 12835 8498 922 2726 0 9583 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 69932 KiB
Current children cumulated memory: 37740 KiB

[startup+0.313116 s]*
/proc/loadavg: 2.87 2.20 3.15 5/252 962267
/proc/meminfo: memFree=122687964/131655788 swapFree=131071996/131071996
[pid=962261] ppid=962258 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/962261/stat : 962261 (Hybrid-CASHWMax) S 962258 962261 961560 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 183740520 10170368 682 134679101440 94868526288896 94868527368216 140731913252160 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94868529466672 94868529513860 94868560515072 140731913253837 140731913253996 140731913253996 140731913261012 0
/proc/962261/statm: 2483 682 603 264 0 134 0
[pid=962264] ppid=962261 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/962264/stat : 962264 (timeout) S 962261 962264 961560 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183740521 8867840 255 134679101440 94874279378944 94874279413960 140729327479520 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94874281511376 94874281513508 94874283200512 140729327485949 140729327486108 140729327486108 140729327493095 0
/proc/962264/statm: 2165 255 231 9 0 87 0
[pid=962265] ppid=962264 vsize=67724 memory=40140 CPUtime=0.31 cores=0,2
/proc/962265/stat : 962265 (CASHWMaxSAT-Dis) R 962264 962264 961560 0 -1 4194304 5078 0 0 0 29 2 0 0 20 0 1 0 183740521 69349376 10035 134679101440 4194304 15356333 140723572388800 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 44138496 140723572392962 140723572393108 140723572393108 140723572400095 0
/proc/962265/statm: 16931 10035 922 2726 0 13679 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 86316 KiB
Current children cumulated memory: 43888 KiB

[startup+0.700492 s]
/proc/loadavg: 2.87 2.20 3.15 5/252 962267
/proc/meminfo: memFree=122637040/131655788 swapFree=131071996/131071996
[pid=962261] ppid=962258 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/962261/stat : 962261 (Hybrid-CASHWMax) S 962258 962261 961560 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 183740520 10170368 682 134679101440 94868526288896 94868527368216 140731913252160 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94868529466672 94868529513860 94868560515072 140731913253837 140731913253996 140731913253996 140731913261012 0
/proc/962261/statm: 2483 682 603 264 0 134 0
[pid=962264] ppid=962261 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/962264/stat : 962264 (timeout) S 962261 962264 961560 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183740521 8867840 255 134679101440 94874279378944 94874279413960 140729327479520 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94874281511376 94874281513508 94874283200512 140729327485949 140729327486108 140729327486108 140729327493095 0
/proc/962264/statm: 2165 255 231 9 0 87 0
[pid=962265] ppid=962264 vsize=199404 memory=153064 CPUtime=0.68 cores=0,2
/proc/962265/stat : 962265 (CASHWMaxSAT-Dis) R 962264 962264 961560 0 -1 4194304 9335 0 0 0 63 5 0 0 20 0 1 0 183740521 204189696 38266 134679101440 4194304 15356333 140723572388800 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 44138496 140723572392962 140723572393108 140723572393108 140723572400095 0
/proc/962265/statm: 49851 38266 922 2726 0 46599 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 217996 KiB
Current children cumulated memory: 156812 KiB

[startup+1.50054 s]
/proc/loadavg: 2.87 2.20 3.15 6/252 962267
/proc/meminfo: memFree=122366648/131655788 swapFree=131071996/131071996
[pid=962261] ppid=962258 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/962261/stat : 962261 (Hybrid-CASHWMax) S 962258 962261 961560 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 183740520 10170368 682 134679101440 94868526288896 94868527368216 140731913252160 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94868529466672 94868529513860 94868560515072 140731913253837 140731913253996 140731913253996 140731913261012 0
/proc/962261/statm: 2483 682 603 264 0 134 0
[pid=962264] ppid=962261 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/962264/stat : 962264 (timeout) S 962261 962264 961560 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183740521 8867840 255 134679101440 94874279378944 94874279413960 140729327479520 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94874281511376 94874281513508 94874283200512 140729327485949 140729327486108 140729327486108 140729327493095 0
/proc/962264/statm: 2165 255 231 9 0 87 0
[pid=962265] ppid=962264 vsize=223172 memory=177356 CPUtime=1.48 cores=0,2
/proc/962265/stat : 962265 (CASHWMaxSAT-Dis) R 962264 962264 961560 0 -1 4194304 15518 0 0 0 140 8 0 0 20 0 1 0 183740521 228528128 44339 134679101440 4194304 15356333 140723572388800 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 44138496 140723572392962 140723572393108 140723572393108 140723572400095 0
/proc/962265/statm: 55793 44339 1002 2726 0 52541 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 241764 KiB
Current children cumulated memory: 181104 KiB

[startup+3.1133 s]
/proc/loadavg: 3.04 2.24 3.16 5/252 962267
/proc/meminfo: memFree=121731924/131655788 swapFree=131071996/131071996
[pid=962261] ppid=962258 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/962261/stat : 962261 (Hybrid-CASHWMax) S 962258 962261 961560 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 183740520 10170368 682 134679101440 94868526288896 94868527368216 140731913252160 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94868529466672 94868529513860 94868560515072 140731913253837 140731913253996 140731913253996 140731913261012 0
/proc/962261/statm: 2483 682 603 264 0 134 0
[pid=962264] ppid=962261 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/962264/stat : 962264 (timeout) S 962261 962264 961560 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183740521 8867840 255 134679101440 94874279378944 94874279413960 140729327479520 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94874281511376 94874281513508 94874283200512 140729327485949 140729327486108 140729327486108 140729327493095 0
/proc/962264/statm: 2165 255 231 9 0 87 0
[pid=962265] ppid=962264 vsize=538408 memory=491508 CPUtime=3.08 cores=0,2
/proc/962265/stat : 962265 (CASHWMaxSAT-Dis) R 962264 962264 961560 0 -1 4194304 86867 0 0 0 290 18 0 0 20 0 1 0 183740521 551329792 122877 134679101440 4194304 15356333 140723572388800 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 44138496 140723572392962 140723572393108 140723572393108 140723572400095 0
/proc/962265/statm: 134602 122877 1066 2726 0 131350 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 557000 KiB
Current children cumulated memory: 495256 KiB

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

# cumulated CPU time of all completed processes:  user=4.23272 s, system=0.276065 s

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

[startup+3.20054 s]
/proc/loadavg: 3.04 2.24 3.16 5/252 962267
/proc/meminfo: memFree=121731924/131655788 swapFree=131071996/131071996
[pid=962261] ppid=962258 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/962261/stat : 962261 (Hybrid-CASHWMax) S 962258 962261 961560 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 183740520 10170368 682 134679101440 94868526288896 94868527368216 140731913252160 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94868529466672 94868529513860 94868560515072 140731913253837 140731913253996 140731913253996 140731913261012 0
/proc/962261/statm: 2483 682 603 264 0 134 0
[pid=962264] ppid=962261 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/962264/stat : 962264 (timeout) S 962261 962264 961560 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183740521 8867840 255 134679101440 94874279378944 94874279413960 140729327479520 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94874281511376 94874281513508 94874283200512 140729327485949 140729327486108 140729327486108 140729327493095 0
/proc/962264/statm: 2165 255 231 9 0 87 0
[pid=962265] ppid=962264 vsize=577952 memory=530872 CPUtime=3.17 cores=0,2
/proc/962265/stat : 962265 (CASHWMaxSAT-Dis) R 962264 962264 961560 0 -1 4194304 87012 0 0 0 298 19 0 0 20 0 1 0 183740521 591822848 132718 134679101440 4194304 15356333 140723572388800 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 44138496 140723572392962 140723572393108 140723572393108 140723572400095 0
/proc/962265/statm: 144488 132718 1066 2726 0 141236 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 596544 KiB
Current children cumulated memory: 534620 KiB

[startup+4.00045 s]*
/proc/loadavg: 3.04 2.24 3.16 5/252 962267
/proc/meminfo: memFree=121254088/131655788 swapFree=131071996/131071996
[pid=962261] ppid=962258 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/962261/stat : 962261 (Hybrid-CASHWMax) S 962258 962261 961560 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 183740520 10170368 682 134679101440 94868526288896 94868527368216 140731913252160 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94868529466672 94868529513860 94868560515072 140731913253837 140731913253996 140731913253996 140731913261012 0
/proc/962261/statm: 2483 682 603 264 0 134 0
[pid=962264] ppid=962261 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/962264/stat : 962264 (timeout) S 962261 962264 961560 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183740521 8867840 255 134679101440 94874279378944 94874279413960 140729327479520 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94874281511376 94874281513508 94874283200512 140729327485949 140729327486108 140729327486108 140729327493095 0
/proc/962264/statm: 2165 255 231 9 0 87 0
[pid=962265] ppid=962264 vsize=759656 memory=687688 CPUtime=3.98 cores=0,2
/proc/962265/stat : 962265 (CASHWMaxSAT-Dis) R 962264 962264 961560 0 -1 4194304 90952 0 0 0 375 23 0 0 20 0 1 0 183740521 777887744 171922 134679101440 4194304 15356333 140723572388800 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 44138496 140723572392962 140723572393108 140723572393108 140723572400095 0
/proc/962265/statm: 189914 171922 1066 2726 0 186662 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 778248 KiB
Current children cumulated memory: 691436 KiB

[startup+4.40046 s]
/proc/loadavg: 3.04 2.24 3.16 5/252 962267
/proc/meminfo: memFree=121254088/131655788 swapFree=131071996/131071996
[pid=962261] ppid=962258 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/962261/stat : 962261 (Hybrid-CASHWMax) S 962258 962261 961560 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 183740520 10170368 682 134679101440 94868526288896 94868527368216 140731913252160 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94868529466672 94868529513860 94868560515072 140731913253837 140731913253996 140731913253996 140731913261012 0
/proc/962261/statm: 2483 682 603 264 0 134 0
[pid=962264] ppid=962261 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/962264/stat : 962264 (timeout) S 962261 962264 961560 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183740521 8867840 255 134679101440 94874279378944 94874279413960 140729327479520 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94874281511376 94874281513508 94874283200512 140729327485949 140729327486108 140729327486108 140729327493095 0
/proc/962264/statm: 2165 255 231 9 0 87 0
[pid=962265] ppid=962264 vsize=762208 memory=683104 CPUtime=4.37 cores=0,2
/proc/962265/stat : 962265 (CASHWMaxSAT-Dis) R 962264 962264 961560 0 -1 4194304 91179 0 0 0 413 24 0 0 20 0 1 0 183740521 780500992 170776 134679101440 4194304 15356333 140723572388800 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 44138496 140723572392962 140723572393108 140723572393108 140723572400095 0
/proc/962265/statm: 190552 170776 1066 2726 0 187300 0
Current children cumulated CPU time: 4.37 s
Current children cumulated vsize: 780800 KiB
Current children cumulated memory: 686852 KiB

[startup+4.50045 s]
/proc/loadavg: 3.04 2.24 3.16 5/252 962267
/proc/meminfo: memFree=121254088/131655788 swapFree=131071996/131071996
[pid=962261] ppid=962258 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/962261/stat : 962261 (Hybrid-CASHWMax) S 962258 962261 961560 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 183740520 10170368 682 134679101440 94868526288896 94868527368216 140731913252160 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94868529466672 94868529513860 94868560515072 140731913253837 140731913253996 140731913253996 140731913261012 0
/proc/962261/statm: 2483 682 603 264 0 134 0
[pid=962264] ppid=962261 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/962264/stat : 962264 (timeout) S 962261 962264 961560 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183740521 8867840 255 134679101440 94874279378944 94874279413960 140729327479520 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94874281511376 94874281513508 94874283200512 140729327485949 140729327486108 140729327486108 140729327493095 0
/proc/962264/statm: 2165 255 231 9 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3748 KiB

Child status: 0

Real time (s): 4.52191
CPU time (s): 4.50879
CPU user time (s): 4.23272
CPU system time (s): 0.276065
CPU usage (%): 99.7099
Max. virtual memory (cumulated for all children) (KiB): 822980
Max. memory (cumulated for all children) (KiB): 728988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.23272
system time used= 0.276065
maximum resident set size= 725240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94529
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= 10
involuntary context switches= 32


# summary of solver processes directly reported to runsolver:
#   pid: 962261
#   total CPU time (s): 4.50879
#   total CPU user time (s): 4.23272
#   total CPU system time (s): 0.276065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053273 second user time and 0.103908 second system time

The end