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 (61160 MiB free)
memory of node 1: 64473 MiB (59090 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457394-1721840198/watcher-4457394-1721840198 -o /tmp/evaluation-result-4457394-1721840198/solver-4457394-1721840198 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721831972-195183 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457394-1721840198 --lp-cut-gomory=0 HOME/instance-4457394-1721840198.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=200497, runsolver pid=200494
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.09 4.11 4.15 5/247 200498
/proc/meminfo: memFree=123130616/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=40840 memory=11180 CPUtime=0.11 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 1610 0 0 0 9 2 0 0 20 0 1 0 20008655 41820160 2795 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 10210 2795 1364 992 0 2068 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 40840 KiB
Current children cumulated memory: 11180 KiB
[startup+0.213397 s]*
/proc/loadavg: 4.09 4.11 4.15 5/247 200498
/proc/meminfo: memFree=123117396/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=54300 memory=25736 CPUtime=0.21 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 5369 0 0 0 18 3 0 0 20 0 1 0 20008655 55603200 6434 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 13575 6434 1698 992 0 5433 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54300 KiB
Current children cumulated memory: 25736 KiB
[startup+0.313436 s]*
/proc/loadavg: 4.09 4.11 4.15 5/247 200498
/proc/meminfo: memFree=123117284/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=54300 memory=26000 CPUtime=0.31 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 5386 0 0 0 28 3 0 0 20 0 1 0 20008655 55603200 6500 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 13575 6500 1698 992 0 5433 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54300 KiB
Current children cumulated memory: 26000 KiB
[startup+0.700363 s]
/proc/loadavg: 4.09 4.11 4.15 5/247 200498
/proc/meminfo: memFree=123115800/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=56884 memory=27584 CPUtime=0.69 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 5820 0 0 0 65 4 0 0 20 0 1 0 20008655 58249216 6896 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 14221 6896 1698 992 0 6079 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 56884 KiB
Current children cumulated memory: 27584 KiB
[startup+1.50033 s]
/proc/loadavg: 4.09 4.11 4.15 5/247 200498
/proc/meminfo: memFree=123113756/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=58300 memory=28376 CPUtime=1.48 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 6033 0 0 0 144 4 0 0 20 0 1 0 20008655 59699200 7094 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 14575 7094 1698 992 0 6433 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58300 KiB
Current children cumulated memory: 28376 KiB
[startup+3.11322 s]
/proc/loadavg: 4.09 4.11 4.15 5/247 200498
/proc/meminfo: memFree=123088708/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=75696 memory=49124 CPUtime=3.09 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 8628 0 0 0 302 7 0 0 20 0 1 0 20008655 77512704 12281 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 18924 12281 1730 992 0 10782 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 75696 KiB
Current children cumulated memory: 49124 KiB
[startup+6.30031 s]
/proc/loadavg: 4.08 4.11 4.15 5/246 200500
/proc/meminfo: memFree=123025588/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=143608 memory=96484 CPUtime=6.27 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 11762 0 0 0 613 14 0 0 20 0 1 0 20008655 147054592 24121 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 35902 24121 1730 992 0 27760 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 143608 KiB
Current children cumulated memory: 96484 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.10 4.15 5/246 200500
/proc/meminfo: memFree=122945080/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=208644 memory=149884 CPUtime=12.65 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 15920 0 0 0 1244 21 0 0 20 0 1 0 20008655 213651456 37471 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 52161 37471 1745 992 0 44019 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 208644 KiB
Current children cumulated memory: 149884 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.12 4.15 5/246 200503
/proc/meminfo: memFree=122803952/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=310628 memory=213752 CPUtime=25.4 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 21635 0 0 0 2508 32 0 0 20 0 1 0 20008655 318083072 53438 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 77657 53438 1840 992 0 69515 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 310628 KiB
Current children cumulated memory: 213752 KiB
[startup+51.1132 s]
/proc/loadavg: 4.28 4.15 4.16 5/246 200506
/proc/meminfo: memFree=122580132/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=337020 memory=284764 CPUtime=50.93 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 28173 0 0 0 5045 48 0 0 20 0 1 0 20008655 345108480 71191 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 84255 71191 1840 992 0 76113 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 337020 KiB
Current children cumulated memory: 284764 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/248 200685
/proc/meminfo: memFree=122070120/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=570532 memory=443308 CPUtime=101.94 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 53572 0 0 0 10117 77 0 0 20 0 1 0 20008655 584224768 110827 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 142633 110827 1840 992 0 134491 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 570532 KiB
Current children cumulated memory: 443308 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/249 200696
/proc/meminfo: memFree=121432288/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=644776 memory=564700 CPUtime=161.75 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 71783 0 0 0 16058 117 0 0 20 0 1 0 20008655 660250624 141175 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 161194 141175 1840 992 0 153052 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 644776 KiB
Current children cumulated memory: 564700 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/250 200709
/proc/meminfo: memFree=120777312/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=697712 memory=634824 CPUtime=221.55 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 85216 0 0 0 21999 156 0 0 20 0 1 0 20008655 714457088 158706 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 174428 158706 1840 992 0 166286 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 697712 KiB
Current children cumulated memory: 634824 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/250 200732
/proc/meminfo: memFree=120178380/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=717936 memory=681928 CPUtime=281.34 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 91009 0 0 0 27940 194 0 0 20 0 1 0 20008655 735166464 170482 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 179484 170482 1840 992 0 171342 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 717936 KiB
Current children cumulated memory: 681928 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.13 5/250 200744
/proc/meminfo: memFree=119425024/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=968684 memory=749084 CPUtime=341.13 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 100937 0 0 0 33876 237 0 0 20 0 1 0 20008655 991932416 187271 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 242171 187271 1840 992 0 234029 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 968684 KiB
Current children cumulated memory: 749084 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.11 4.13 5/252 200757
/proc/meminfo: memFree=118616996/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1033980 memory=839764 CPUtime=400.92 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 118767 0 0 0 39814 278 0 0 20 0 1 0 20008655 1058795520 209941 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 258495 209941 1840 992 0 250353 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 1033980 KiB
Current children cumulated memory: 839764 KiB
[startup+462.3 s]
/proc/loadavg: 5.05 4.37 4.22 5/252 200767
/proc/meminfo: memFree=117988056/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1053304 memory=860204 CPUtime=460.72 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 123673 0 0 0 45759 313 0 0 20 0 1 0 20008655 1078583296 215051 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 263326 215051 1840 992 0 255184 0
################
# More data... #
################
Current children cumulated memory: 1449024 KiB
[startup+2862.3 s]
/proc/loadavg: 1.57 2.79 3.58 2/241 201959
/proc/meminfo: memFree=95045476/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1823204 memory=1450928 CPUtime=2852.86 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 245615 0 0 0 283257 2029 0 0 20 0 1 0 20008655 1866960896 362732 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 455801 362732 1840 992 0 447659 0
Current children cumulated CPU time: 2852.86 s
Current children cumulated vsize: 1823204 KiB
Current children cumulated memory: 1450928 KiB
[startup+2922.3 s]
/proc/loadavg: 1.27 2.48 3.42 2/242 201973
/proc/meminfo: memFree=94499004/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1837364 memory=1485524 CPUtime=2912.66 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 249668 0 0 0 289201 2065 0 0 20 0 1 0 20008655 1881460736 371381 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 459341 371381 1840 992 0 451199 0
Current children cumulated CPU time: 2912.66 s
Current children cumulated vsize: 1837364 KiB
Current children cumulated memory: 1485524 KiB
[startup+2982.3 s]
/proc/loadavg: 1.10 2.21 3.26 2/240 201984
/proc/meminfo: memFree=93505240/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1840140 memory=1490400 CPUtime=2972.46 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 250856 0 0 0 295124 2122 0 0 20 0 1 0 20008655 1884303360 372600 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 460035 372600 1840 992 0 451893 0
Current children cumulated CPU time: 2972.46 s
Current children cumulated vsize: 1840140 KiB
Current children cumulated memory: 1490400 KiB
[startup+3042.3 s]
/proc/loadavg: 1.69 2.16 3.18 2/231 201997
/proc/meminfo: memFree=92647692/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1840140 memory=1490400 CPUtime=3032.26 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 251368 0 0 0 301053 2173 0 0 20 0 1 0 20008655 1884303360 372600 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 460035 372600 1840 992 0 451893 0
Current children cumulated CPU time: 3032.26 s
Current children cumulated vsize: 1840140 KiB
Current children cumulated memory: 1490400 KiB
[startup+3102.3 s]
/proc/loadavg: 1.61 2.05 3.07 2/236 202012
/proc/meminfo: memFree=91895376/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1840336 memory=1490400 CPUtime=3092.06 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 252004 0 0 0 306990 2216 0 0 20 0 1 0 20008655 1884504064 372600 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 460084 372600 1840 992 0 451942 0
Current children cumulated CPU time: 3092.06 s
Current children cumulated vsize: 1840336 KiB
Current children cumulated memory: 1490400 KiB
[startup+3162.3 s]
/proc/loadavg: 1.41 1.92 2.96 3/236 202022
/proc/meminfo: memFree=91332984/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1850532 memory=1510908 CPUtime=3151.87 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 254970 0 0 0 312929 2258 0 0 20 0 1 0 20008655 1894944768 377727 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 462633 377727 1840 992 0 454491 0
Current children cumulated CPU time: 3151.87 s
Current children cumulated vsize: 1850532 KiB
Current children cumulated memory: 1510908 KiB
[startup+3222.3 s]
/proc/loadavg: 1.21 1.76 2.84 2/237 202037
/proc/meminfo: memFree=90425756/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1851716 memory=1511856 CPUtime=3211.68 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 255800 0 0 0 318851 2317 0 0 20 0 1 0 20008655 1896157184 377964 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 462929 377964 1840 992 0 454787 0
Current children cumulated CPU time: 3211.68 s
Current children cumulated vsize: 1851716 KiB
Current children cumulated memory: 1511856 KiB
[startup+3282.3 s]
/proc/loadavg: 1.12 1.64 2.73 2/240 202050
/proc/meminfo: memFree=89570668/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1852124 memory=1512524 CPUtime=3271.47 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 256500 0 0 0 324777 2370 0 0 20 0 1 0 20008655 1896574976 378131 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 463031 378131 1840 992 0 454889 0
Current children cumulated CPU time: 3271.47 s
Current children cumulated vsize: 1852124 KiB
Current children cumulated memory: 1512524 KiB
[startup+3342.3 s]
/proc/loadavg: 1.15 1.55 2.63 2/240 202061
/proc/meminfo: memFree=88756440/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1852752 memory=1513148 CPUtime=3331.24 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 257314 0 0 0 330699 2425 0 0 20 0 1 0 20008655 1897218048 378287 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 463188 378287 1840 992 0 455046 0
Current children cumulated CPU time: 3331.24 s
Current children cumulated vsize: 1852752 KiB
Current children cumulated memory: 1513148 KiB
[startup+3402.3 s]
/proc/loadavg: 1.13 1.46 2.53 2/238 202073
/proc/meminfo: memFree=87981016/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1868240 memory=1534864 CPUtime=3391.02 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 261813 0 0 0 336631 2471 0 0 20 0 1 0 20008655 1913077760 383716 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 467060 383716 1840 992 0 458918 0
Current children cumulated CPU time: 3391.02 s
Current children cumulated vsize: 1868240 KiB
Current children cumulated memory: 1534864 KiB
[startup+3462.3 s]
/proc/loadavg: 1.17 1.41 2.44 2/235 202083
/proc/meminfo: memFree=86833716/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1877028 memory=1553916 CPUtime=3450.82 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 264477 0 0 0 342543 2539 0 0 20 0 1 0 20008655 1922076672 388479 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 469257 388479 1840 992 0 461115 0
Current children cumulated CPU time: 3450.82 s
Current children cumulated vsize: 1877028 KiB
Current children cumulated memory: 1553916 KiB
[startup+3522.3 s]
/proc/loadavg: 1.19 1.36 2.36 2/237 202481
/proc/meminfo: memFree=85762256/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1877500 memory=1554384 CPUtime=3510.62 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 265192 0 0 0 348461 2601 0 0 20 0 1 0 20008655 1922560000 388596 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 469375 388596 1840 992 0 461233 0
Current children cumulated CPU time: 3510.62 s
Current children cumulated vsize: 1877500 KiB
Current children cumulated memory: 1554384 KiB
[startup+3582.3 s]
/proc/loadavg: 1.15 1.32 2.28 2/231 202493
/proc/meminfo: memFree=84915892/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1877500 memory=1554384 CPUtime=3570.42 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 265790 0 0 0 354385 2657 0 0 20 0 1 0 20008655 1922560000 388596 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 469375 388596 1840 992 0 461233 0
Current children cumulated CPU time: 3570.42 s
Current children cumulated vsize: 1877500 KiB
Current children cumulated memory: 1554384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 1.27 1.34 2.25 2/231 202498
/proc/meminfo: memFree=84542072/131655788 swapFree=131070192/131071996
[pid=200497] ppid=200494 vsize=1877500 memory=1554384 CPUtime=3600.03 cores=0,2
/proc/200497/stat : 200497 (roundingsat) R 200494 200497 195173 0 -1 4194304 266147 0 0 0 357321 2682 0 0 20 0 1 0 20008655 1922560000 388596 134679101440 4194304 8254037 140735771690240 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22077440 140735771693916 140735771694178 140735771694178 140735771701193 0
/proc/200497/statm: 469375 388596 1840 992 0 461233 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1877500 KiB
Current children cumulated memory: 1554384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.12 s]
# the end of solver process 200497 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.27 s, system=26.841 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.12
CPU time (s): 3600.11
CPU user time (s): 3573.27
CPU system time (s): 26.841
CPU usage (%): 99.6675
Max. virtual memory (cumulated for all children) (KiB): 1877500
Max. memory (cumulated for all children) (KiB): 1554384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.27
system time used= 26.841
maximum resident set size= 1554384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266162
page faults= 0
swaps= 0
block input operations= 0
block output operations= 81275560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 986
involuntary context switches= 25432
# summary of solver processes directly reported to runsolver:
# pid: 200497
# total CPU time (s): 3600.11
# total CPU user time (s): 3573.27
# total CPU system time (s): 26.841
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6469 second user time and 38.0196 second system time
The end
Begin job on nodeC002 at 2024-07-24 18:56:38
IDJOB=4457394
IDBENCH=164235
IDSOLVER=3085
FILE ID=nodeC002/4457394-1721840198
RUNJOBID= nodeC002-1721831972-195183
SLURM_JOB_ID= 7891529
Free space on /tmp= 723764 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab69-40-100.0.s.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-4457394-1721840198/watcher-4457394-1721840198 -o /tmp/evaluation-result-4457394-1721840198/solver-4457394-1721840198 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721831972-195183 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457394-1721840198 --lp-cut-gomory=0 HOME/instance-4457394-1721840198.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fa547ec471690bfe3f3bec5c78a945ae
RANDOM SEED=1002696074
nodeC002.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 : 1296.924
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.43
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 : 3525.277
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.41
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.172
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.43
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.305
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.41
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 : 3631.583
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.43
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 : 3659.751
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.41
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.291
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.43
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.196
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.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123137784 kB
MemAvailable: 129584636 kB
Buffers: 277440 kB
Cached: 6982304 kB
SwapCached: 72 kB
Active: 2245980 kB
Inactive: 5683880 kB
Active(anon): 1560 kB
Inactive(anon): 722152 kB
Active(file): 2244420 kB
Inactive(file): 4961728 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070192 kB
Dirty: 65768 kB
Writeback: 232 kB
AnonPages: 668816 kB
Mapped: 112820 kB
Shmem: 53844 kB
KReclaimable: 161808 kB
Slab: 274840 kB
SReclaimable: 161808 kB
SUnreclaim: 113032 kB
KernelStack: 3932 kB
PageTables: 10340 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1171088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 11872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 313344 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: 316232 kB
DirectMap2M: 36288512 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723776 MiB
End job on nodeC002 at 2024-07-24 19:56:50