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 (57540 MiB free)
memory of node 1: 64510 MiB (60140 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443686-1721315840/watcher-4443686-1721315840 -o /tmp/evaluation-result-4443686-1721315840/solver-4443686-1721315840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961571 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443686-1721315840.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=962419, runsolver pid=962416
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 3.67 2.44 3.21 5/252 962423
/proc/meminfo: memFree=120455312/131655788 swapFree=131071996/131071996
[pid=962419] ppid=962416 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/962419/stat : 962419 (Hybrid-CASHWMax) S 962416 962419 961560 0 -1 4194304 239 106 0 0 0 0 0 0 20 0 1 0 183742760 10170368 674 134679101440 94875692331008 94875693410328 140726610397216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94875695508784 94875695555972 94875697127424 140726610400205 140726610400364 140726610400364 140726610407380 0
/proc/962419/statm: 2483 674 596 264 0 134 0
[pid=962422] ppid=962419 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/962422/stat : 962422 (timeout) S 962419 962422 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183742761 8867840 229 134679101440 94748885176320 94748885211336 140721907881344 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94748887308752 94748887310884 94748915073024 140721907889149 140721907889308 140721907889308 140721907896295 0
/proc/962422/statm: 2165 229 205 9 0 87 0
[pid=962423] ppid=962422 vsize=68768 memory=53552 CPUtime=0.09 cores=4,6
/proc/962423/stat : 962423 (CASHWMaxSAT-Dis) R 962422 962422 961560 0 -1 4194304 2859 0 0 0 8 1 0 0 20 0 1 0 183742761 70418432 13388 134679101440 4194304 15356333 140732982122608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29196288 140732982125570 140732982125716 140732982125716 140732982132703 0
/proc/962423/statm: 17192 13388 922 2726 0 13940 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87360 KiB
Current children cumulated memory: 57164 KiB
[startup+0.210375 s]*
/proc/loadavg: 3.67 2.44 3.21 5/252 962423
/proc/meminfo: memFree=120452840/131655788 swapFree=131071996/131071996
[pid=962419] ppid=962416 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/962419/stat : 962419 (Hybrid-CASHWMax) S 962416 962419 961560 0 -1 4194304 239 106 0 0 0 0 0 0 20 0 1 0 183742760 10170368 674 134679101440 94875692331008 94875693410328 140726610397216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94875695508784 94875695555972 94875697127424 140726610400205 140726610400364 140726610400364 140726610407380 0
/proc/962419/statm: 2483 674 596 264 0 134 0
[pid=962422] ppid=962419 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/962422/stat : 962422 (timeout) S 962419 962422 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183742761 8867840 229 134679101440 94748885176320 94748885211336 140721907881344 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94748887308752 94748887310884 94748915073024 140721907889149 140721907889308 140721907889308 140721907896295 0
/proc/962422/statm: 2165 229 205 9 0 87 0
[pid=962423] ppid=962422 vsize=74912 memory=57648 CPUtime=0.19 cores=4,6
/proc/962423/stat : 962423 (CASHWMaxSAT-Dis) R 962422 962422 961560 0 -1 4194304 3837 0 0 0 18 1 0 0 20 0 1 0 183742761 76709888 14412 134679101440 4194304 15356333 140732982122608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29196288 140732982125570 140732982125716 140732982125716 140732982132703 0
/proc/962423/statm: 18728 14412 922 2726 0 15476 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93504 KiB
Current children cumulated memory: 61260 KiB
[startup+0.310149 s]*
/proc/loadavg: 3.67 2.44 3.21 5/252 962423
/proc/meminfo: memFree=120448548/131655788 swapFree=131071996/131071996
[pid=962419] ppid=962416 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/962419/stat : 962419 (Hybrid-CASHWMax) S 962416 962419 961560 0 -1 4194304 239 106 0 0 0 0 0 0 20 0 1 0 183742760 10170368 674 134679101440 94875692331008 94875693410328 140726610397216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94875695508784 94875695555972 94875697127424 140726610400205 140726610400364 140726610400364 140726610407380 0
/proc/962419/statm: 2483 674 596 264 0 134 0
[pid=962422] ppid=962419 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/962422/stat : 962422 (timeout) S 962419 962422 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183742761 8867840 229 134679101440 94748885176320 94748885211336 140721907881344 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94748887308752 94748887310884 94748915073024 140721907889149 140721907889308 140721907889308 140721907896295 0
/proc/962422/statm: 2165 229 205 9 0 87 0
[pid=962423] ppid=962422 vsize=74912 memory=59696 CPUtime=0.31 cores=4,6
/proc/962423/stat : 962423 (CASHWMaxSAT-Dis) R 962422 962422 961560 0 -1 4194304 3838 0 0 0 29 2 0 0 20 0 1 0 183742761 76709888 14924 134679101440 4194304 15356333 140732982122608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29196288 140732982125570 140732982125716 140732982125716 140732982132703 0
/proc/962423/statm: 18728 14924 922 2726 0 15476 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 93504 KiB
Current children cumulated memory: 63308 KiB
[startup+0.700484 s]
/proc/loadavg: 3.67 2.44 3.21 5/252 962423
/proc/meminfo: memFree=120439428/131655788 swapFree=131071996/131071996
[pid=962419] ppid=962416 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/962419/stat : 962419 (Hybrid-CASHWMax) S 962416 962419 961560 0 -1 4194304 239 106 0 0 0 0 0 0 20 0 1 0 183742760 10170368 674 134679101440 94875692331008 94875693410328 140726610397216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94875695508784 94875695555972 94875697127424 140726610400205 140726610400364 140726610400364 140726610407380 0
/proc/962419/statm: 2483 674 596 264 0 134 0
[pid=962422] ppid=962419 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/962422/stat : 962422 (timeout) S 962419 962422 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183742761 8867840 229 134679101440 94748885176320 94748885211336 140721907881344 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94748887308752 94748887310884 94748915073024 140721907889149 140721907889308 140721907889308 140721907896295 0
/proc/962422/statm: 2165 229 205 9 0 87 0
[pid=962423] ppid=962422 vsize=83104 memory=67892 CPUtime=0.67 cores=4,6
/proc/962423/stat : 962423 (CASHWMaxSAT-Dis) R 962422 962422 961560 0 -1 4194304 4364 0 0 0 65 2 0 0 20 0 1 0 183742761 85098496 16973 134679101440 4194304 15356333 140732982122608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29196288 140732982125570 140732982125716 140732982125716 140732982132703 0
/proc/962423/statm: 20776 16973 922 2726 0 17524 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 101696 KiB
Current children cumulated memory: 71504 KiB
[startup+1.50046 s]
/proc/loadavg: 3.67 2.44 3.21 5/252 962423
/proc/meminfo: memFree=120721344/131655788 swapFree=131071996/131071996
[pid=962419] ppid=962416 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/962419/stat : 962419 (Hybrid-CASHWMax) S 962416 962419 961560 0 -1 4194304 239 106 0 0 0 0 0 0 20 0 1 0 183742760 10170368 674 134679101440 94875692331008 94875693410328 140726610397216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94875695508784 94875695555972 94875697127424 140726610400205 140726610400364 140726610400364 140726610407380 0
/proc/962419/statm: 2483 674 596 264 0 134 0
[pid=962422] ppid=962419 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/962422/stat : 962422 (timeout) S 962419 962422 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183742761 8867840 229 134679101440 94748885176320 94748885211336 140721907881344 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94748887308752 94748887310884 94748915073024 140721907889149 140721907889308 140721907889308 140721907896295 0
/proc/962422/statm: 2165 229 205 9 0 87 0
[pid=962423] ppid=962422 vsize=132256 memory=98680 CPUtime=1.48 cores=4,6
/proc/962423/stat : 962423 (CASHWMaxSAT-Dis) R 962422 962422 961560 0 -1 4194304 5442 0 0 0 143 5 0 0 20 0 1 0 183742761 135430144 24670 134679101440 4194304 15356333 140732982122608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29196288 140732982125570 140732982125716 140732982125716 140732982132703 0
/proc/962423/statm: 33064 24670 922 2726 0 29812 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 150848 KiB
Current children cumulated memory: 102292 KiB
[startup+3.11354 s]
/proc/loadavg: 3.67 2.44 3.21 5/252 962423
/proc/meminfo: memFree=119783624/131655788 swapFree=131071996/131071996
[pid=962419] ppid=962416 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/962419/stat : 962419 (Hybrid-CASHWMax) S 962416 962419 961560 0 -1 4194304 239 106 0 0 0 0 0 0 20 0 1 0 183742760 10170368 674 134679101440 94875692331008 94875693410328 140726610397216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94875695508784 94875695555972 94875697127424 140726610400205 140726610400364 140726610400364 140726610407380 0
/proc/962419/statm: 2483 674 596 264 0 134 0
[pid=962422] ppid=962419 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/962422/stat : 962422 (timeout) S 962419 962422 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183742761 8867840 229 134679101440 94748885176320 94748885211336 140721907881344 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94748887308752 94748887310884 94748915073024 140721907889149 140721907889308 140721907889308 140721907896295 0
/proc/962422/statm: 2165 229 205 9 0 87 0
[pid=962423] ppid=962422 vsize=582340 memory=536372 CPUtime=3.08 cores=4,6
/proc/962423/stat : 962423 (CASHWMaxSAT-Dis) R 962422 962422 961560 0 -1 4194304 20997 0 0 0 285 23 0 0 20 0 1 0 183742761 596316160 134093 134679101440 4194304 15356333 140732982122608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29196288 140732982125570 140732982125716 140732982125716 140732982132703 0
/proc/962423/statm: 145585 134093 970 2726 0 142333 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 600932 KiB
Current children cumulated memory: 539984 KiB
[startup+6.30044 s]
/proc/loadavg: 3.86 2.50 3.22 5/252 962423
/proc/meminfo: memFree=119363892/131655788 swapFree=131071996/131071996
[pid=962419] ppid=962416 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/962419/stat : 962419 (Hybrid-CASHWMax) S 962416 962419 961560 0 -1 4194304 239 106 0 0 0 0 0 0 20 0 1 0 183742760 10170368 674 134679101440 94875692331008 94875693410328 140726610397216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94875695508784 94875695555972 94875697127424 140726610400205 140726610400364 140726610400364 140726610407380 0
/proc/962419/statm: 2483 674 596 264 0 134 0
[pid=962422] ppid=962419 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/962422/stat : 962422 (timeout) S 962419 962422 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183742761 8867840 229 134679101440 94748885176320 94748885211336 140721907881344 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94748887308752 94748887310884 94748915073024 140721907889149 140721907889308 140721907889308 140721907896295 0
/proc/962422/statm: 2165 229 205 9 0 87 0
[pid=962423] ppid=962422 vsize=531148 memory=485176 CPUtime=6.26 cores=4,6
/proc/962423/stat : 962423 (CASHWMaxSAT-Dis) R 962422 962422 961560 0 -1 4194304 38438 0 0 0 599 27 0 0 20 0 1 0 183742761 543895552 121294 134679101440 4194304 15356333 140732982122608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29196288 140732982125570 140732982125716 140732982125716 140732982132703 0
/proc/962423/statm: 132787 121294 1034 2726 0 129535 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 549740 KiB
Current children cumulated memory: 488788 KiB
[startup+12.7005 s]
/proc/loadavg: 3.95 2.54 3.23 5/245 962462
/proc/meminfo: memFree=115798544/131655788 swapFree=131071996/131071996
[pid=962419] ppid=962416 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/962419/stat : 962419 (Hybrid-CASHWMax) S 962416 962419 961560 0 -1 4194304 239 106 0 0 0 0 0 0 20 0 1 0 183742760 10170368 674 134679101440 94875692331008 94875693410328 140726610397216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94875695508784 94875695555972 94875697127424 140726610400205 140726610400364 140726610400364 140726610407380 0
/proc/962419/statm: 2483 674 596 264 0 134 0
[pid=962422] ppid=962419 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/962422/stat : 962422 (timeout) S 962419 962422 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183742761 8867840 229 134679101440 94748885176320 94748885211336 140721907881344 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94748887308752 94748887310884 94748915073024 140721907889149 140721907889308 140721907889308 140721907896295 0
/proc/962422/statm: 2165 229 205 9 0 87 0
[pid=962423] ppid=962422 vsize=1847132 memory=1750604 CPUtime=12.65 cores=4,6
/proc/962423/stat : 962423 (CASHWMaxSAT-Dis) R 962422 962422 961560 0 -1 4194304 266218 0 0 0 1197 68 0 0 20 0 1 0 183742761 1891463168 437651 134679101440 4194304 15356333 140732982122608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29196288 140732982125570 140732982125716 140732982125716 140732982132703 0
/proc/962423/statm: 461783 437651 1066 2726 0 458531 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1865724 KiB
Current children cumulated memory: 1754216 KiB
[startup+14.6656 s]
# the end of solver process 962419 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=13.824 s, system=0.808377 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8006 s]
/proc/loadavg: 3.95 2.54 3.23 5/245 962462
/proc/meminfo: memFree=115798544/131655788 swapFree=131071996/131071996
[pid=962419] ppid=962416 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/962419/stat : 962419 (Hybrid-CASHWMax) S 962416 962419 961560 0 -1 4194304 239 106 0 0 0 0 0 0 20 0 1 0 183742760 10170368 674 134679101440 94875692331008 94875693410328 140726610397216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94875695508784 94875695555972 94875697127424 140726610400205 140726610400364 140726610400364 140726610407380 0
/proc/962419/statm: 2483 674 596 264 0 134 0
[pid=962422] ppid=962419 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/962422/stat : 962422 (timeout) S 962419 962422 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183742761 8867840 229 134679101440 94748885176320 94748885211336 140721907881344 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94748887308752 94748887310884 94748915073024 140721907889149 140721907889308 140721907889308 140721907896295 0
/proc/962422/statm: 2165 229 205 9 0 87 0
[pid=962423] ppid=962422 vsize=1855324 memory=1757800 CPUtime=12.75 cores=4,6
/proc/962423/stat : 962423 (CASHWMaxSAT-Dis) R 962422 962422 961560 0 -1 4194304 266470 0 0 0 1207 68 0 0 20 0 1 0 183742761 1899851776 439450 134679101440 4194304 15356333 140732982122608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29196288 140732982125570 140732982125716 140732982125716 140732982132703 0
/proc/962423/statm: 463831 439450 1066 2726 0 460579 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 1873916 KiB
Current children cumulated memory: 1761412 KiB
[startup+13.6004 s]
/proc/loadavg: 3.95 2.54 3.23 5/252 962475
/proc/meminfo: memFree=115214216/131655788 swapFree=131071996/131071996
[pid=962419] ppid=962416 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/962419/stat : 962419 (Hybrid-CASHWMax) S 962416 962419 961560 0 -1 4194304 239 106 0 0 0 0 0 0 20 0 1 0 183742760 10170368 674 134679101440 94875692331008 94875693410328 140726610397216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94875695508784 94875695555972 94875697127424 140726610400205 140726610400364 140726610400364 140726610407380 0
/proc/962419/statm: 2483 674 596 264 0 134 0
[pid=962422] ppid=962419 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/962422/stat : 962422 (timeout) S 962419 962422 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183742761 8867840 229 134679101440 94748885176320 94748885211336 140721907881344 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94748887308752 94748887310884 94748915073024 140721907889149 140721907889308 140721907889308 140721907896295 0
/proc/962422/statm: 2165 229 205 9 0 87 0
[pid=962423] ppid=962422 vsize=1800836 memory=1696332 CPUtime=13.55 cores=4,6
/proc/962423/stat : 962423 (CASHWMaxSAT-Dis) R 962422 962422 961560 0 -1 4194304 267397 0 0 0 1286 69 0 0 20 0 1 0 183742761 1844056064 424083 134679101440 4194304 15356333 140732982122608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29196288 140732982125570 140732982125716 140732982125716 140732982132703 0
/proc/962423/statm: 450209 424083 1146 2726 0 446957 0
Current children cumulated CPU time: 13.55 s
Current children cumulated vsize: 1819428 KiB
Current children cumulated memory: 1699944 KiB
[startup+14.4004 s]
/proc/loadavg: 3.95 2.54 3.23 5/252 962475
/proc/meminfo: memFree=114716232/131655788 swapFree=131071996/131071996
[pid=962419] ppid=962416 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/962419/stat : 962419 (Hybrid-CASHWMax) S 962416 962419 961560 0 -1 4194304 239 106 0 0 0 0 0 0 20 0 1 0 183742760 10170368 674 134679101440 94875692331008 94875693410328 140726610397216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94875695508784 94875695555972 94875697127424 140726610400205 140726610400364 140726610400364 140726610407380 0
/proc/962419/statm: 2483 674 596 264 0 134 0
[pid=962422] ppid=962419 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/962422/stat : 962422 (timeout) S 962419 962422 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183742761 8867840 229 134679101440 94748885176320 94748885211336 140721907881344 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94748887308752 94748887310884 94748915073024 140721907889149 140721907889308 140721907889308 140721907896295 0
/proc/962422/statm: 2165 229 205 9 0 87 0
[pid=962423] ppid=962422 vsize=1904484 memory=1800116 CPUtime=14.35 cores=4,6
/proc/962423/stat : 962423 (CASHWMaxSAT-Dis) R 962422 962422 961560 0 -1 4194304 267762 0 0 0 1363 72 0 0 20 0 1 0 183742761 1950191616 450029 134679101440 4194304 15356333 140732982122608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29196288 140732982125570 140732982125716 140732982125716 140732982132703 0
/proc/962423/statm: 476121 450029 1146 2726 0 472869 0
Current children cumulated CPU time: 14.35 s
Current children cumulated vsize: 1923076 KiB
Current children cumulated memory: 1803728 KiB
[startup+14.6004 s]
/proc/loadavg: 3.95 2.54 3.23 5/252 962475
/proc/meminfo: memFree=114716232/131655788 swapFree=131071996/131071996
[pid=962419] ppid=962416 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/962419/stat : 962419 (Hybrid-CASHWMax) S 962416 962419 961560 0 -1 4194304 239 106 0 0 0 0 0 0 20 0 1 0 183742760 10170368 674 134679101440 94875692331008 94875693410328 140726610397216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94875695508784 94875695555972 94875697127424 140726610400205 140726610400364 140726610400364 140726610407380 0
/proc/962419/statm: 2483 674 596 264 0 134 0
[pid=962422] ppid=962419 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/962422/stat : 962422 (timeout) S 962419 962422 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183742761 8867840 229 134679101440 94748885176320 94748885211336 140721907881344 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94748887308752 94748887310884 94748915073024 140721907889149 140721907889308 140721907889308 140721907896295 0
/proc/962422/statm: 2165 229 205 9 0 87 0
[pid=962423] ppid=962422 vsize=2034844 memory=1926312 CPUtime=14.55 cores=4,6
/proc/962423/stat : 962423 (CASHWMaxSAT-Dis) R 962422 962422 961560 0 -1 4194304 273304 0 0 0 1381 74 0 0 20 0 1 0 183742761 2083680256 481578 134679101440 4194304 15356333 140732982122608 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29196288 140732982125570 140732982125716 140732982125716 140732982132703 0
/proc/962423/statm: 508711 481578 1146 2726 0 505459 0
Current children cumulated CPU time: 14.55 s
Current children cumulated vsize: 2053436 KiB
Current children cumulated memory: 1929924 KiB
Child status: 0
Real time (s): 14.6656
CPU time (s): 14.6323
CPU user time (s): 13.824
CPU system time (s): 0.808377
CPU usage (%): 99.773
Max. virtual memory (cumulated for all children) (KiB): 2053436
Max. memory (cumulated for all children) (KiB): 1929924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.824
system time used= 0.808377
maximum resident set size= 1930924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274187
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 21
# summary of solver processes directly reported to runsolver:
# pid: 962419
# total CPU time (s): 14.6323
# total CPU user time (s): 13.824
# total CPU system time (s): 0.808377
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.103924 second user time and 0.211246 second system time
The end
Begin job on nodeC006 at 2024-07-18 17:17:32
IDJOB=4443686
IDBENCH=147882
IDSOLVER=3072
FILE ID=nodeC006/4443686-1721315840
RUNJOBID= nodeC006-1721315784-961571
SLURM_JOB_ID= 7542651
Free space on /tmp= 723512 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443686-1721315840/watcher-4443686-1721315840 -o /tmp/evaluation-result-4443686-1721315840/solver-4443686-1721315840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961571 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4443686-1721315840.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= edc49dd1b51fcfed98bb9be45944fb6c
RANDOM SEED=557920907
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3549.320
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3670.893
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.393
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.274
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1514.499
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.971
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1333.265
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.312
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120506284 kB
MemAvailable: 126953604 kB
Buffers: 496780 kB
Cached: 6710444 kB
SwapCached: 0 kB
Active: 1137424 kB
Inactive: 9281352 kB
Active(anon): 1508 kB
Inactive(anon): 3247744 kB
Active(file): 1135916 kB
Inactive(file): 6033608 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 269236 kB
Writeback: 0 kB
AnonPages: 3211316 kB
Mapped: 118116 kB
Shmem: 37704 kB
KReclaimable: 235652 kB
Slab: 353976 kB
SReclaimable: 235652 kB
SUnreclaim: 118324 kB
KernelStack: 4016 kB
PageTables: 15924 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3599528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3037184 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723460 MiB
End job on nodeC006 at 2024-07-18 17:17:47