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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439626-1721227043/watcher-4439626-1721227043 -o /tmp/evaluation-result-4439626-1721227043/solver-4439626-1721227043 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721218022-947921 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439626-1721227043.opb -total-t=3600 -no-par -v0 

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
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=953142, runsolver pid=953139

[startup+0.100744 s]*
/proc/loadavg: 4.08 4.11 4.09 5/256 953143
/proc/meminfo: memFree=126222372/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=42612 memory=22592 CPUtime=0.09 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 6087 0 0 0 9 0 0 0 20 0 1 0 174872396 43634688 5648 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 10653 5648 842 2550 0 7608 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42612 KiB
Current children cumulated memory: 22592 KiB

[startup+0.205695 s]*
/proc/loadavg: 4.08 4.11 4.09 5/256 953143
/proc/meminfo: memFree=126209520/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=56312 memory=36500 CPUtime=0.2 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 10099 0 0 0 19 1 0 0 20 0 1 0 174872396 57663488 9125 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 14078 9125 922 2550 0 11033 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56312 KiB
Current children cumulated memory: 36500 KiB

[startup+0.305544 s]*
/proc/loadavg: 4.08 4.11 4.09 5/256 953143
/proc/meminfo: memFree=126186868/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=77120 memory=67600 CPUtime=0.29 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 16691 0 0 0 28 1 0 0 20 0 1 0 174872396 78970880 16900 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 19280 16900 2442 2550 0 16235 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77120 KiB
Current children cumulated memory: 67600 KiB

[startup+0.700234 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 953143
/proc/meminfo: memFree=126157972/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=128880 memory=117416 CPUtime=0.69 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 29050 0 0 0 66 3 0 0 20 0 1 0 174872396 131973120 29354 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 32220 29354 2570 2550 0 29175 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 128880 KiB
Current children cumulated memory: 117416 KiB

[startup+1.50023 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 953143
/proc/meminfo: memFree=126133392/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=135628 memory=120884 CPUtime=1.48 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 29808 0 0 0 145 3 0 0 20 0 1 0 174872396 138883072 30221 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 33907 30221 2650 2550 0 30862 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 135628 KiB
Current children cumulated memory: 120884 KiB

[startup+3.10545 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 953143
/proc/meminfo: memFree=126127416/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=142520 memory=123788 CPUtime=3.08 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 30548 0 0 0 305 3 0 0 20 0 1 0 174872396 145940480 30947 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 35630 30947 2650 2550 0 32585 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 142520 KiB
Current children cumulated memory: 123788 KiB

[startup+6.30021 s]
/proc/loadavg: 4.07 4.11 4.09 5/256 953143
/proc/meminfo: memFree=126127388/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=146820 memory=123788 CPUtime=6.27 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 30550 0 0 0 624 3 0 0 20 0 1 0 174872396 150343680 30947 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 36705 30947 2650 2550 0 33660 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 146820 KiB
Current children cumulated memory: 123788 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.11 4.09 5/256 953191
/proc/meminfo: memFree=126651192/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=185132 memory=134012 CPUtime=12.65 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 32583 0 0 0 1262 3 0 0 20 0 1 0 174872396 189575168 33503 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 46283 33503 2650 2550 0 43238 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 185132 KiB
Current children cumulated memory: 134012 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.10 5/256 953193
/proc/meminfo: memFree=126611244/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=220444 memory=168260 CPUtime=25.42 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 41204 0 0 0 2537 5 0 0 20 0 1 0 174872396 225734656 42065 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 55111 42065 2650 2550 0 52066 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 220444 KiB
Current children cumulated memory: 168260 KiB

[startup+51.1042 s]
/proc/loadavg: 4.00 4.09 4.08 5/253 953211
/proc/meminfo: memFree=127755472/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=248404 memory=193532 CPUtime=50.96 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 44003 0 0 0 5090 6 0 0 20 0 1 0 174872396 254365696 48383 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 62101 48383 2650 2550 0 59056 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 248404 KiB
Current children cumulated memory: 193532 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/255 953251
/proc/meminfo: memFree=127465364/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=287424 memory=229100 CPUtime=102.02 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 48870 0 0 0 10195 7 0 0 20 0 1 0 174872396 294322176 57275 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 71856 57275 2650 2550 0 68811 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 287424 KiB
Current children cumulated memory: 229100 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/258 953267
/proc/meminfo: memFree=127437568/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=327496 memory=263112 CPUtime=161.86 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 53777 0 0 0 16178 8 0 0 20 0 1 0 174872396 335355904 65778 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 81874 65778 2650 2550 0 78829 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 327496 KiB
Current children cumulated memory: 263112 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 953325
/proc/meminfo: memFree=127637952/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=397636 memory=337544 CPUtime=221.69 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 63191 0 0 0 22159 10 0 0 20 0 1 0 174872396 407179264 84386 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 99409 84386 2650 2550 0 96364 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 397636 KiB
Current children cumulated memory: 337544 KiB

[startup+282.3 s]
/proc/loadavg: 4.25 4.14 4.10 5/258 953335
/proc/meminfo: memFree=127587060/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=414476 memory=363636 CPUtime=281.51 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 63980 0 0 0 28141 10 0 0 20 0 1 0 174872396 424423424 90909 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 103619 90909 2650 2550 0 100574 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 414476 KiB
Current children cumulated memory: 363636 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/258 953346
/proc/meminfo: memFree=127501900/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=453824 memory=428772 CPUtime=341.35 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 65119 0 0 0 34124 11 0 0 20 0 1 0 174872396 464715776 107193 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 113456 107193 2650 2550 0 110411 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 453824 KiB
Current children cumulated memory: 428772 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/258 953359
/proc/meminfo: memFree=127427992/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=457320 memory=435444 CPUtime=401.2 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 66012 0 0 0 40108 12 0 0 20 0 1 0 174872396 468295680 108861 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 114330 108861 2650 2550 0 111285 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 457320 KiB
Current children cumulated memory: 435444 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/258 953370
/proc/meminfo: memFree=127392760/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=482620 memory=460960 CPUtime=461.04 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 74445 0 0 0 46091 13 0 0 20 0 1 0 174872396 494202880 115240 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 120655 115240 2650 2550 0 117610 0
Current children cumulated CPU time: 461.04 s
Current children cumulated vsize: 482620 KiB
Current children cumulated memory: 460960 KiB

[startup+472.526 s]
# the end of solver process 953142 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=471.102 s, system=0.140634 s

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

[startup+467.2 s]
/proc/loadavg: 4.18 4.14 4.10 5/258 953370
/proc/meminfo: memFree=127392716/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=482620 memory=460960 CPUtime=465.93 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 74460 0 0 0 46580 13 0 0 20 0 1 0 174872396 494202880 115240 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 120655 115240 2650 2550 0 117610 0
Current children cumulated CPU time: 465.93 s
Current children cumulated vsize: 482620 KiB
Current children cumulated memory: 460960 KiB

[startup+470.4 s]
/proc/loadavg: 4.18 4.14 4.10 5/255 953372
/proc/meminfo: memFree=127392648/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=482620 memory=460960 CPUtime=469.12 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 74460 0 0 0 46899 13 0 0 20 0 1 0 174872396 494202880 115240 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 120655 115240 2650 2550 0 117610 0
Current children cumulated CPU time: 469.12 s
Current children cumulated vsize: 482620 KiB
Current children cumulated memory: 460960 KiB

[startup+471.2 s]
/proc/loadavg: 4.17 4.13 4.10 5/255 953372
/proc/meminfo: memFree=127392664/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=482620 memory=460960 CPUtime=469.92 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 74460 0 0 0 46979 13 0 0 20 0 1 0 174872396 494202880 115240 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 120655 115240 2650 2550 0 117610 0
Current children cumulated CPU time: 469.92 s
Current children cumulated vsize: 482620 KiB
Current children cumulated memory: 460960 KiB

[startup+472 s]*
/proc/loadavg: 4.17 4.13 4.10 5/255 953372
/proc/meminfo: memFree=127392524/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=482620 memory=460960 CPUtime=470.72 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 74460 0 0 0 47059 13 0 0 20 0 1 0 174872396 494202880 115240 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 120655 115240 2650 2550 0 117610 0
Current children cumulated CPU time: 470.72 s
Current children cumulated vsize: 482620 KiB
Current children cumulated memory: 460960 KiB

[startup+472.4 s]
/proc/loadavg: 4.17 4.13 4.10 5/255 953372
/proc/meminfo: memFree=127392524/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=482620 memory=460960 CPUtime=471.11 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 74461 0 0 0 47098 13 0 0 20 0 1 0 174872396 494202880 115240 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 120655 115240 2650 2550 0 117610 0
Current children cumulated CPU time: 471.11 s
Current children cumulated vsize: 482620 KiB
Current children cumulated memory: 460960 KiB

[startup+472.5 s]
/proc/loadavg: 4.17 4.13 4.10 5/255 953372
/proc/meminfo: memFree=127392524/131524600 swapFree=131071996/131071996
[pid=953142] ppid=953139 vsize=482620 memory=460960 CPUtime=471.21 cores=1,3
/proc/953142/stat : 953142 (CASHWMaxSAT-Dis) R 953139 953142 947909 0 -1 4194304 74461 0 0 0 47108 13 0 0 20 0 1 0 174872396 494202880 115240 134679101440 4194304 14636349 140737266690816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28684288 140737266697186 140737266697302 140737266697302 140737266704318 0
/proc/953142/statm: 120655 115240 2650 2550 0 117610 0
Current children cumulated CPU time: 471.21 s
Current children cumulated vsize: 482620 KiB
Current children cumulated memory: 460960 KiB

Child status: 30

Real time (s): 472.526
CPU time (s): 471.243
CPU user time (s): 471.102
CPU system time (s): 0.140634
CPU usage (%): 99.7285
Max. virtual memory (cumulated for all children) (KiB): 487516
Max. memory (cumulated for all children) (KiB): 465368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 471.102
system time used= 0.140634
maximum resident set size= 468272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72
involuntary context switches= 313


# summary of solver processes directly reported to runsolver:
#   pid: 953142
#   total CPU time (s): 471.243
#   total CPU user time (s): 471.102
#   total CPU system time (s): 0.140634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.896231 second user time and 2.13391 second system time

The end