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 (60084 MiB free)
memory of node 1: 64473 MiB (60831 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460904-1722072318/watcher-4460904-1722072318 -o /tmp/evaluation-result-4460904-1722072318/solver-4460904-1722072318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301309 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460904-1722072318 --lp-cut-gomory=0 HOME/instance-4460904-1722072318.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=305971, runsolver pid=305968
[startup+0.100107 s]*
/proc/loadavg: 4.48 4.26 4.21 5/247 305972
/proc/meminfo: memFree=123785728/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=69004 memory=38080 CPUtime=0.1 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 8851 0 0 0 9 1 0 0 20 0 1 0 43221662 70660096 9520 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 17251 9520 1715 992 0 9109 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 69004 KiB
Current children cumulated memory: 38080 KiB
[startup+0.213539 s]*
/proc/loadavg: 4.48 4.26 4.21 5/247 305972
/proc/meminfo: memFree=123784860/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=69004 memory=38080 CPUtime=0.21 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 8855 0 0 0 20 1 0 0 20 0 1 0 43221662 70660096 9520 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 17251 9520 1715 992 0 9109 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 69004 KiB
Current children cumulated memory: 38080 KiB
[startup+0.312783 s]*
/proc/loadavg: 4.48 4.26 4.21 5/247 305972
/proc/meminfo: memFree=123784704/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=69248 memory=38344 CPUtime=0.31 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 8918 0 0 0 30 1 0 0 20 0 1 0 43221662 70909952 9586 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 17312 9586 1715 992 0 9170 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 69248 KiB
Current children cumulated memory: 38344 KiB
[startup+0.700263 s]
/proc/loadavg: 4.48 4.26 4.21 5/247 305972
/proc/meminfo: memFree=123782616/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=69248 memory=38344 CPUtime=0.69 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 8920 0 0 0 67 2 0 0 20 0 1 0 43221662 70909952 9586 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 17312 9586 1715 992 0 9170 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 69248 KiB
Current children cumulated memory: 38344 KiB
[startup+1.50028 s]
/proc/loadavg: 4.48 4.26 4.21 5/247 305972
/proc/meminfo: memFree=123777228/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=71512 memory=40576 CPUtime=1.49 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 9465 0 0 0 111 38 0 0 20 0 1 0 43221662 73228288 10144 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 17878 10144 1747 992 0 9736 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 71512 KiB
Current children cumulated memory: 40576 KiB
[startup+3.11317 s]
/proc/loadavg: 4.48 4.26 4.21 5/247 305973
/proc/meminfo: memFree=123739700/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=84996 memory=55980 CPUtime=3.1 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 12185 0 0 0 242 68 0 0 20 0 1 0 43221662 87035904 13995 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 21249 13995 1857 992 0 13107 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 84996 KiB
Current children cumulated memory: 55980 KiB
[startup+6.30024 s]
/proc/loadavg: 4.44 4.25 4.21 5/247 305973
/proc/meminfo: memFree=123694988/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=96448 memory=64804 CPUtime=6.27 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 13358 0 0 0 531 96 0 0 20 0 1 0 43221662 98762752 16201 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 24112 16201 1857 992 0 15970 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 96448 KiB
Current children cumulated memory: 64804 KiB
[startup+12.7003 s]
/proc/loadavg: 4.41 4.25 4.21 5/247 306357
/proc/meminfo: memFree=123586872/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=121516 memory=88728 CPUtime=12.66 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 16782 0 0 0 1083 183 0 0 20 0 1 0 43221662 124432384 22182 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 30379 22182 1857 992 0 22237 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 121516 KiB
Current children cumulated memory: 88728 KiB
[startup+25.5003 s]
/proc/loadavg: 4.32 4.24 4.20 5/247 306358
/proc/meminfo: memFree=123310316/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=158960 memory=115752 CPUtime=25.43 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 21526 0 0 0 2214 329 0 0 20 0 1 0 43221662 162775040 28938 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 39740 28938 1857 992 0 31598 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 158960 KiB
Current children cumulated memory: 115752 KiB
[startup+51.113 s]
/proc/loadavg: 4.21 4.22 4.19 5/247 306362
/proc/meminfo: memFree=122485636/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=430232 memory=387528 CPUtime=50.98 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 50174 0 0 0 4665 433 0 0 20 0 1 0 43221662 440557568 96882 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 107558 96882 1857 992 0 99416 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 430232 KiB
Current children cumulated memory: 387528 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.21 4.19 5/254 306379
/proc/meminfo: memFree=121448344/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=484492 memory=442192 CPUtime=102.04 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 63880 0 0 0 9562 642 0 0 20 0 1 0 43221662 496119808 110548 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 121123 110548 1857 992 0 112981 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 484492 KiB
Current children cumulated memory: 442192 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/254 306389
/proc/meminfo: memFree=120413656/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=566740 memory=523044 CPUtime=161.89 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 84155 0 0 0 15110 1079 0 0 20 0 1 0 43221662 580341760 130761 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 141685 130761 1857 992 0 133543 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 566740 KiB
Current children cumulated memory: 523044 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/262 306577
/proc/meminfo: memFree=119129684/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=590276 memory=546812 CPUtime=221.73 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 90124 0 0 0 20924 1249 0 0 20 0 1 0 43221662 604442624 136703 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 147569 136703 1857 992 0 139427 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 590276 KiB
Current children cumulated memory: 546812 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/264 306590
/proc/meminfo: memFree=117940564/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=645480 memory=601600 CPUtime=281.59 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 103903 0 0 0 26681 1478 0 0 20 0 1 0 43221662 660971520 150400 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 161370 150400 1857 992 0 153228 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 645480 KiB
Current children cumulated memory: 601600 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/264 306656
/proc/meminfo: memFree=116551556/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=831708 memory=682996 CPUtime=341.43 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 114981 0 0 0 32403 1740 0 0 20 0 1 0 43221662 851668992 170749 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 207927 170749 1857 992 0 199785 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 831708 KiB
Current children cumulated memory: 682996 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/264 306668
/proc/meminfo: memFree=115682404/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=886320 memory=737120 CPUtime=401.26 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 128558 0 0 0 38072 2054 0 0 20 0 1 0 43221662 907591680 184280 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 221580 184280 1857 992 0 213438 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 886320 KiB
Current children cumulated memory: 737120 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.14 4.17 5/264 306678
/proc/meminfo: memFree=115034424/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=959444 memory=803036 CPUtime=461.09 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 144918 0 0 0 43953 2156 0 0 20 0 1 0 43221662 982470656 200759 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 239861 200759 1857 992 0 231719 0
################
# More data... #
################
Current children cumulated memory: 1523624 KiB
[startup+2862.3 s]
/proc/loadavg: 3.20 3.77 4.03 4/240 307757
/proc/meminfo: memFree=94668376/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1579028 memory=1531068 CPUtime=2854.44 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 303010 0 0 0 279672 5772 0 0 20 0 1 0 43221662 1616924672 382767 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 394757 382767 1857 992 0 386615 0
Current children cumulated CPU time: 2854.44 s
Current children cumulated vsize: 1579028 KiB
Current children cumulated memory: 1531068 KiB
[startup+2922.3 s]
/proc/loadavg: 3.25 3.67 3.98 4/240 307767
/proc/meminfo: memFree=94139304/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1579544 memory=1539904 CPUtime=2914.3 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 303703 0 0 0 285606 5824 0 0 20 0 1 0 43221662 1617453056 384976 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 394886 384976 1857 992 0 386744 0
Current children cumulated CPU time: 2914.3 s
Current children cumulated vsize: 1579544 KiB
Current children cumulated memory: 1539904 KiB
[startup+2982.3 s]
/proc/loadavg: 3.13 3.56 3.92 4/253 307791
/proc/meminfo: memFree=93423832/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1581332 memory=1541544 CPUtime=2974.16 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 304849 0 0 0 291529 5887 0 0 20 0 1 0 43221662 1619283968 385386 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 395333 385386 1857 992 0 387191 0
Current children cumulated CPU time: 2974.16 s
Current children cumulated vsize: 1581332 KiB
Current children cumulated memory: 1541544 KiB
[startup+3042.3 s]
/proc/loadavg: 3.15 3.49 3.87 4/251 307802
/proc/meminfo: memFree=93072940/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1581664 memory=1541900 CPUtime=3034.02 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 305532 0 0 0 297365 6037 0 0 20 0 1 0 43221662 1619623936 385475 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 395416 385475 1857 992 0 387274 0
Current children cumulated CPU time: 3034.02 s
Current children cumulated vsize: 1581664 KiB
Current children cumulated memory: 1541900 KiB
[startup+3102.3 s]
/proc/loadavg: 3.05 3.40 3.81 4/255 307816
/proc/meminfo: memFree=92217644/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1581664 memory=1541900 CPUtime=3093.87 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 306207 0 0 0 303247 6140 0 0 20 0 1 0 43221662 1619623936 385475 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 395416 385475 1857 992 0 387274 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 1581664 KiB
Current children cumulated memory: 1541900 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.35 3.77 4/251 307855
/proc/meminfo: memFree=91362784/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1581664 memory=1541900 CPUtime=3153.71 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 306872 0 0 0 309143 6228 0 0 20 0 1 0 43221662 1619623936 385475 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 395416 385475 1857 992 0 387274 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 1581664 KiB
Current children cumulated memory: 1541900 KiB
[startup+3222.3 s]
/proc/loadavg: 2.76 3.22 3.70 3/249 307870
/proc/meminfo: memFree=94129016/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1581812 memory=1542024 CPUtime=3213.55 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 307585 0 0 0 314978 6377 0 0 20 0 1 0 43221662 1619775488 385506 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 395453 385506 1857 992 0 387311 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 1581812 KiB
Current children cumulated memory: 1542024 KiB
[startup+3282.3 s]
/proc/loadavg: 2.32 3.01 3.60 3/236 307880
/proc/meminfo: memFree=93684352/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1581812 memory=1542024 CPUtime=3273.38 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 308140 0 0 0 320874 6464 0 0 20 0 1 0 43221662 1619775488 385506 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 395453 385506 1857 992 0 387311 0
Current children cumulated CPU time: 3273.38 s
Current children cumulated vsize: 1581812 KiB
Current children cumulated memory: 1542024 KiB
[startup+3342.3 s]
/proc/loadavg: 2.18 2.84 3.50 3/237 307893
/proc/meminfo: memFree=93040164/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1582020 memory=1542260 CPUtime=3333.21 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 308867 0 0 0 326804 6517 0 0 20 0 1 0 43221662 1619988480 385565 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 395505 385565 1857 992 0 387363 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 1582020 KiB
Current children cumulated memory: 1542260 KiB
[startup+3402.3 s]
/proc/loadavg: 2.16 2.72 3.41 3/237 307905
/proc/meminfo: memFree=92422188/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1584036 memory=1544064 CPUtime=3393.04 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 309984 0 0 0 332756 6548 0 0 20 0 1 0 43221662 1622052864 386016 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 396009 386016 1857 992 0 387867 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 1584036 KiB
Current children cumulated memory: 1544064 KiB
[startup+3462.3 s]
/proc/loadavg: 2.17 2.61 3.33 3/233 307915
/proc/meminfo: memFree=92142368/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1613884 memory=1568288 CPUtime=3452.87 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 316676 0 0 0 338692 6595 0 0 20 0 1 0 43221662 1652617216 392072 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 403471 392072 1857 992 0 395329 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 1613884 KiB
Current children cumulated memory: 1568288 KiB
[startup+3522.3 s]
/proc/loadavg: 2.06 2.50 3.25 3/233 307925
/proc/meminfo: memFree=91683308/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1625112 memory=1579224 CPUtime=3512.71 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 320026 0 0 0 344634 6637 0 0 20 0 1 0 43221662 1664114688 394806 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 406278 394806 1857 992 0 398136 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 1625112 KiB
Current children cumulated memory: 1579224 KiB
[startup+3582.3 s]
/proc/loadavg: 1.91 2.39 3.16 2/228 307968
/proc/meminfo: memFree=114671732/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1644616 memory=1606344 CPUtime=3572.55 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 324888 0 0 0 350517 6738 0 0 20 0 1 0 43221662 1684086784 401586 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 411154 401586 1857 992 0 403012 0
Current children cumulated CPU time: 3572.55 s
Current children cumulated vsize: 1644616 KiB
Current children cumulated memory: 1606344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 1.65 2.29 3.11 2/228 307972
/proc/meminfo: memFree=114582740/131655788 swapFree=131058856/131071996
[pid=305971] ppid=305968 vsize=1644616 memory=1606344 CPUtime=3600.08 cores=5,7
/proc/305971/stat : 305971 (roundingsat) R 305968 305971 301296 0 -1 4194304 325128 0 0 0 353193 6815 0 0 20 0 1 0 43221662 1684086784 401586 134679101440 4194304 8254357 140735003728192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21901312 140735003730779 140735003731041 140735003731041 140735003738057 0
/proc/305971/statm: 411154 401586 1857 992 0 403012 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1644616 KiB
Current children cumulated memory: 1606344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.93 s]
# the end of solver process 305971 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3531.94 s, system=68.1701 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.93
CPU time (s): 3600.11
CPU user time (s): 3531.94
CPU system time (s): 68.1701
CPU usage (%): 99.728
Max. virtual memory (cumulated for all children) (KiB): 1644616
Max. memory (cumulated for all children) (KiB): 1606344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.94
system time used= 68.1701
maximum resident set size= 1606344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 325189
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21193080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 935
involuntary context switches= 4822
# summary of solver processes directly reported to runsolver:
# pid: 305971
# total CPU time (s): 3600.11
# total CPU user time (s): 3531.94
# total CPU system time (s): 68.1701
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1145 second user time and 35.7383 second system time
The end
Begin job on nodeC009 at 2024-07-27 11:25:18
IDJOB=4460904
IDBENCH=164400
IDSOLVER=3086
FILE ID=nodeC009/4460904-1722072318
RUNJOBID= nodeC009-1722064837-301309
SLURM_JOB_ID= 8248111
Free space on /tmp= 723764 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.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-4460904-1722072318/watcher-4460904-1722072318 -o /tmp/evaluation-result-4460904-1722072318/solver-4460904-1722072318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301309 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460904-1722072318 --lp-cut-gomory=0 HOME/instance-4460904-1722072318.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=107886715
nodeC009.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 : 3659.276
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.96
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 : 3667.300
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.427
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.96
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.311
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 : 3648.031
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.96
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 : 3494.154
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.258
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.96
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.264
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: 123817732 kB
MemAvailable: 129537740 kB
Buffers: 387512 kB
Cached: 6077312 kB
SwapCached: 4924 kB
Active: 1924536 kB
Inactive: 5180672 kB
Active(anon): 1632 kB
Inactive(anon): 692044 kB
Active(file): 1922904 kB
Inactive(file): 4488628 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131058856 kB
Dirty: 142576 kB
Writeback: 12 kB
AnonPages: 634508 kB
Mapped: 102276 kB
Shmem: 53492 kB
KReclaimable: 297352 kB
Slab: 414292 kB
SReclaimable: 297352 kB
SUnreclaim: 116940 kB
KernelStack: 4012 kB
PageTables: 10420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1002232 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 18848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 258048 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: 367432 kB
DirectMap2M: 44625920 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 723776 MiB
End job on nodeC009 at 2024-07-27 12:25:28