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: 64096 MiB (54470 MiB free)
memory of node 1: 64473 MiB (58580 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457312-1721836451/watcher-4457312-1721836451 -o /tmp/evaluation-result-4457312-1721836451/solver-4457312-1721836451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186543 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457312-1721836451 --lp-cut-gomory=0 HOME/instance-4457312-1721836451.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=190257, runsolver pid=190254
[startup+0.10011 s]*
/proc/loadavg: 4.27 4.21 4.19 5/256 190258
/proc/meminfo: memFree=115728176/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=72424 memory=43016 CPUtime=0.1 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 9092 0 0 0 9 1 0 0 20 0 1 0 19634245 74162176 10754 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 18106 10754 1394 992 0 9964 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 72424 KiB
Current children cumulated memory: 43016 KiB
[startup+0.21398 s]*
/proc/loadavg: 4.27 4.21 4.19 5/256 190258
/proc/meminfo: memFree=115695100/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=106780 memory=77372 CPUtime=0.21 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 13094 0 0 0 19 2 0 0 20 0 1 0 19634245 109342720 19343 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 26695 19343 1394 992 0 18553 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 106780 KiB
Current children cumulated memory: 77372 KiB
[startup+0.314112 s]*
/proc/loadavg: 4.27 4.21 4.19 5/256 190258
/proc/meminfo: memFree=115648720/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=140664 memory=108308 CPUtime=0.31 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 15760 0 0 0 28 3 0 0 20 0 1 0 19634245 144039936 27077 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 35166 27077 1394 992 0 27024 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 140664 KiB
Current children cumulated memory: 108308 KiB
[startup+0.700298 s]
/proc/loadavg: 4.27 4.21 4.19 5/256 190258
/proc/meminfo: memFree=115571860/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=245792 memory=207344 CPUtime=0.69 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 22141 0 0 0 62 7 0 0 20 0 1 0 19634245 251691008 51836 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 61448 51836 1394 992 0 53306 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 245792 KiB
Current children cumulated memory: 207344 KiB
[startup+1.50028 s]
/proc/loadavg: 4.27 4.21 4.19 5/256 190258
/proc/meminfo: memFree=115433960/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=482848 memory=420612 CPUtime=1.49 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 31088 0 0 0 134 15 0 0 20 0 1 0 19634245 494436352 105153 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 120712 105153 1394 992 0 112570 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 482848 KiB
Current children cumulated memory: 420612 KiB
[startup+3.11358 s]
/proc/loadavg: 4.25 4.21 4.19 5/256 190258
/proc/meminfo: memFree=114895708/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=897808 memory=706064 CPUtime=3.1 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 43387 0 0 0 279 31 0 0 20 0 1 0 19634245 919355392 176516 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 224452 176516 1394 992 0 216310 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 897808 KiB
Current children cumulated memory: 706064 KiB
[startup+6.30025 s]
/proc/loadavg: 4.25 4.21 4.19 5/256 190260
/proc/meminfo: memFree=114633844/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=978116 memory=769352 CPUtime=6.27 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 52756 0 0 0 583 44 0 0 20 0 1 0 19634245 1001590784 192338 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 244529 192338 1394 992 0 236387 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 978116 KiB
Current children cumulated memory: 769352 KiB
[startup+12.7003 s]
/proc/loadavg: 4.28 4.22 4.19 5/256 190260
/proc/meminfo: memFree=113054896/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=2498680 memory=2201612 CPUtime=12.66 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 127539 0 0 0 1145 121 0 0 20 0 1 0 19634245 2558648320 550403 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 624670 550403 1729 992 0 616528 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2498680 KiB
Current children cumulated memory: 2201612 KiB
[startup+25.5003 s]
/proc/loadavg: 4.24 4.21 4.19 5/256 190263
/proc/meminfo: memFree=112569872/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=2771432 memory=2414064 CPUtime=25.43 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 131840 0 0 0 2180 363 0 0 20 0 1 0 19634245 2837946368 603516 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 692858 603516 1759 992 0 684716 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2771432 KiB
Current children cumulated memory: 2414064 KiB
[startup+51.1138 s]
/proc/loadavg: 4.22 4.21 4.19 5/256 190266
/proc/meminfo: memFree=111826844/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=3118616 memory=2628528 CPUtime=50.99 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 133227 0 0 0 4631 468 0 0 20 0 1 0 19634245 3193462784 657132 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 779654 657132 1759 992 0 771512 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 3118616 KiB
Current children cumulated memory: 2628528 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.18 4.18 6/256 190657
/proc/meminfo: memFree=111093120/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=3481856 memory=2905200 CPUtime=102.06 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 135719 0 0 0 9437 769 0 0 20 0 1 0 19634245 3565420544 726300 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 870464 726300 1859 992 0 862322 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 3481856 KiB
Current children cumulated memory: 2905200 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/254 190713
/proc/meminfo: memFree=110923660/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=3481856 memory=2938360 CPUtime=161.92 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 136836 0 0 0 14913 1279 0 0 20 0 1 0 19634245 3565420544 734590 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 870464 734590 1859 992 0 862322 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 3481856 KiB
Current children cumulated memory: 2938360 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/250 190724
/proc/meminfo: memFree=110167880/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=3481856 memory=3196484 CPUtime=221.79 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 137458 0 0 0 20847 1332 0 0 20 0 1 0 19634245 3565420544 799121 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 870464 799121 1859 992 0 862322 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 3481856 KiB
Current children cumulated memory: 3196484 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/250 191043
/proc/meminfo: memFree=110180608/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=3481856 memory=3196484 CPUtime=281.64 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 138123 0 0 0 26737 1427 0 0 20 0 1 0 19634245 3565420544 799121 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 870464 799121 1859 992 0 862322 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 3481856 KiB
Current children cumulated memory: 3196484 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/248 191382
/proc/meminfo: memFree=109558492/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=3492096 memory=3208772 CPUtime=341.5 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 138695 0 0 0 32720 1430 0 0 20 0 1 0 19634245 3575906304 802193 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 873024 802193 1859 992 0 864882 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 3492096 KiB
Current children cumulated memory: 3208772 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/248 191396
/proc/meminfo: memFree=109343672/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=3492096 memory=3208772 CPUtime=401.37 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 139112 0 0 0 38705 1432 0 0 20 0 1 0 19634245 3575906304 802193 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 873024 802193 1859 992 0 864882 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 3492096 KiB
Current children cumulated memory: 3208772 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/248 191419
/proc/meminfo: memFree=108781876/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=3492096 memory=3210820 CPUtime=461.21 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 139832 0 0 0 44686 1435 0 0 20 0 1 0 19634245 3575906304 802705 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 873024 802705 1859 992 0 864882 0
################
# More data... #
################
/proc/190257/statm: 1427021 1255641 1859 992 0 1418879 0
Current children cumulated CPU time: 2975.84 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5022564 KiB
[startup+3042.3 s]
/proc/loadavg: 4.31 4.20 4.19 5/259 192586
/proc/meminfo: memFree=78088780/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=5708084 memory=5022564 CPUtime=3035.71 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 330295 0 0 0 300954 2617 0 0 20 0 1 0 19634245 5845078016 1255641 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 1427021 1255641 1859 992 0 1418879 0
Current children cumulated CPU time: 3035.71 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5022564 KiB
[startup+3102.3 s]
/proc/loadavg: 5.24 4.48 4.28 5/256 192596
/proc/meminfo: memFree=77232204/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=5708084 memory=5022564 CPUtime=3095.57 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 330929 0 0 0 306939 2618 0 0 20 0 1 0 19634245 5845078016 1255641 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 1427021 1255641 1859 992 0 1418879 0
Current children cumulated CPU time: 3095.57 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5022564 KiB
[startup+3162.3 s]
/proc/loadavg: 4.85 4.52 4.31 5/256 192881
/proc/meminfo: memFree=107621292/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=5708084 memory=5022564 CPUtime=3155.41 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 331649 0 0 0 312921 2620 0 0 20 0 1 0 19634245 5845078016 1255641 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 1427021 1255641 1859 992 0 1418879 0
Current children cumulated CPU time: 3155.41 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5022564 KiB
[startup+3222.3 s]
/proc/loadavg: 4.42 4.46 4.30 5/254 192892
/proc/meminfo: memFree=107322724/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=5708084 memory=5022564 CPUtime=3215.25 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 333124 0 0 0 318903 2622 0 0 20 0 1 0 19634245 5845078016 1255641 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 1427021 1255641 1859 992 0 1418879 0
Current children cumulated CPU time: 3215.25 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5022564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.28 4.40 4.29 6/254 192902
/proc/meminfo: memFree=106756932/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=5708084 memory=5022564 CPUtime=3275.07 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 333601 0 0 0 324870 2637 0 0 20 0 1 0 19634245 5845078016 1255641 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 1427021 1255641 1859 992 0 1418879 0
Current children cumulated CPU time: 3275.07 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5022564 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.36 4.28 5/253 192914
/proc/meminfo: memFree=106147948/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=5708084 memory=5022564 CPUtime=3334.9 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 335214 0 0 0 330840 2650 0 0 20 0 1 0 19634245 5845078016 1255641 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 1427021 1255641 1859 992 0 1418879 0
Current children cumulated CPU time: 3334.9 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5022564 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.31 4.26 5/247 192930
/proc/meminfo: memFree=105700396/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=5708084 memory=5022564 CPUtime=3394.73 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 336037 0 0 0 336795 2678 0 0 20 0 1 0 19634245 5845078016 1255641 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 1427021 1255641 1859 992 0 1418879 0
Current children cumulated CPU time: 3394.73 s
Current children cumulated vsize: 5708084 KiB
Current children cumulated memory: 5022564 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.26 4.25 5/247 192941
/proc/meminfo: memFree=105200244/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=5713112 memory=5029004 CPUtime=3454.55 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 338698 0 0 0 342756 2699 0 0 20 0 1 0 19634245 5850226688 1257251 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 1428278 1257251 1859 992 0 1420136 0
Current children cumulated CPU time: 3454.55 s
Current children cumulated vsize: 5713112 KiB
Current children cumulated memory: 5029004 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.25 4.25 5/247 192953
/proc/meminfo: memFree=104775516/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=5715520 memory=5031356 CPUtime=3514.38 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 340309 0 0 0 348721 2717 0 0 20 0 1 0 19634245 5852692480 1257839 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 1428880 1257839 1859 992 0 1420738 0
Current children cumulated CPU time: 3514.38 s
Current children cumulated vsize: 5715520 KiB
Current children cumulated memory: 5031356 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.20 4.23 5/247 192963
/proc/meminfo: memFree=104202096/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=5737480 memory=5298828 CPUtime=3574.2 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 346868 0 0 0 354679 2741 0 0 20 0 1 0 19634245 5875179520 1324707 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 1434370 1324707 1859 992 0 1426228 0
Current children cumulated CPU time: 3574.2 s
Current children cumulated vsize: 5737480 KiB
Current children cumulated memory: 5298828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.2 s]
/proc/loadavg: 4.10 4.20 4.22 5/247 192969
/proc/meminfo: memFree=103953916/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=5741856 memory=5422304 CPUtime=3600.03 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 348787 0 0 0 357249 2754 0 0 20 0 1 0 19634245 5879660544 1355576 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 1435464 1355576 1859 992 0 1427322 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5741856 KiB
Current children cumulated memory: 5422304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.95 s]
# the end of solver process 190257 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.05 s, system=27.6487 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.4 s]
/proc/loadavg: 4.10 4.20 4.22 5/247 192969
/proc/meminfo: memFree=103953916/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=5119788 memory=4827092 CPUtime=3600.15 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 348882 0 0 0 357259 2756 0 0 20 0 1 0 19634245 5242662912 1206773 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 7 0 0 8 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 1279947 1206773 1955 992 0 1271805 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 5119788 KiB
Current children cumulated memory: 4827092 KiB
[startup+3608.8 s]
/proc/loadavg: 4.10 4.20 4.22 5/247 192969
/proc/meminfo: memFree=103953916/131655788 swapFree=131071472/131071996
[pid=190257] ppid=190254 vsize=5119788 memory=4827092 CPUtime=3600.55 cores=5,7
/proc/190257/stat : 190257 (roundingsat) R 190254 190257 186530 0 -1 4194304 349232 0 0 0 357299 2756 0 0 20 0 1 0 19634245 5242662912 1206773 134679101440 4194304 8254037 140725470114096 0 0 0 0 0 25182210 0 0 0 17 7 0 0 8 0 0 9037040 9046032 11853824 140725470118748 140725470119010 140725470119010 140725470126025 0
/proc/190257/statm: 1279947 1206773 1955 992 0 1271805 0
Current children cumulated CPU time: 3600.55 s
Current children cumulated vsize: 5119788 KiB
Current children cumulated memory: 4827092 KiB
[startup+3608.9 s]*
/proc/loadavg: 4.10 4.20 4.22 5/247 192969
/proc/meminfo: memFree=106891764/131655788 swapFree=131071472/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3608.95
CPU time (s): 3600.7
CPU user time (s): 3573.05
CPU system time (s): 27.6487
CPU usage (%): 99.7713
Max. virtual memory (cumulated for all children) (KiB): 5741856
Max. memory (cumulated for all children) (KiB): 5422304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.05
system time used= 27.6487
maximum resident set size= 5422304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9479960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1928
involuntary context switches= 2537
# summary of solver processes directly reported to runsolver:
# pid: 190257
# total CPU time (s): 3600.7
# total CPU user time (s): 3573.05
# total CPU system time (s): 27.6487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6074 second user time and 35.6524 second system time
The end
Begin job on nodeC004 at 2024-07-24 17:54:13
IDJOB=4457312
IDBENCH=160493
IDSOLVER=3085
FILE ID=nodeC004/4457312-1721836451
RUNJOBID= nodeC004-1721832165-186543
SLURM_JOB_ID= 7891533
Free space on /tmp= 723640 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm90p-dec.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457312-1721836451/watcher-4457312-1721836451 -o /tmp/evaluation-result-4457312-1721836451/solver-4457312-1721836451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186543 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457312-1721836451 --lp-cut-gomory=0 HOME/instance-4457312-1721836451.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f94999381e02cae36541ecafb635807a
RANDOM SEED=282146636
nodeC004.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 : 3673.107
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 : 6984.13
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 : 3688.438
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.36
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.495
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 : 6984.13
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.719
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.36
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 : 3672.798
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 : 6984.13
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 : 3492.301
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.36
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 : 1197.908
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 : 6984.13
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.354
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 115764440 kB
MemAvailable: 126550612 kB
Buffers: 266356 kB
Cached: 11313128 kB
SwapCached: 60 kB
Active: 2579716 kB
Inactive: 12668464 kB
Active(anon): 1436 kB
Inactive(anon): 3721220 kB
Active(file): 2578280 kB
Inactive(file): 8947244 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 169576 kB
Writeback: 0 kB
AnonPages: 3666448 kB
Mapped: 123872 kB
Shmem: 53860 kB
KReclaimable: 201696 kB
Slab: 315668 kB
SReclaimable: 201696 kB
SUnreclaim: 113972 kB
KernelStack: 4128 kB
PageTables: 16740 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4527208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1327104 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: 392008 kB
DirectMap2M: 50892800 kB
DirectMap1G: 84934656 kB
Free space on /tmp at the end= 723632 MiB
End job on nodeC004 at 2024-07-24 18:54:22