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 (55867 MiB free)
memory of node 1: 64473 MiB (61695 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457400-1721840432/watcher-4457400-1721840432 -o /tmp/evaluation-result-4457400-1721840432/solver-4457400-1721840432 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721831555-179667 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457400-1721840432 --lp-cut-gomory=0 HOME/instance-4457400-1721840432.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=185108, runsolver pid=185105
[startup+0.100735 s]*
/proc/loadavg: 4.11 4.13 4.16 5/252 185109
/proc/meminfo: memFree=120376052/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=55868 memory=23748 CPUtime=0.1 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 4539 0 0 0 9 1 0 0 20 0 1 0 20032487 57208832 5937 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 13967 5937 1669 992 0 5825 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55868 KiB
Current children cumulated memory: 23748 KiB
[startup+0.213922 s]*
/proc/loadavg: 4.10 4.13 4.16 5/252 185109
/proc/meminfo: memFree=120353504/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=69004 memory=36644 CPUtime=0.22 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 8000 0 0 0 20 2 0 0 20 0 1 0 20032487 70660096 9161 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 17251 9161 1733 992 0 9109 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 69004 KiB
Current children cumulated memory: 36644 KiB
[startup+0.313859 s]*
/proc/loadavg: 4.10 4.13 4.16 5/252 185109
/proc/meminfo: memFree=120352692/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=69004 memory=36908 CPUtime=0.31 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 8004 0 0 0 29 2 0 0 20 0 1 0 20032487 70660096 9227 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 17251 9227 1733 992 0 9109 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 69004 KiB
Current children cumulated memory: 36908 KiB
[startup+0.700352 s]
/proc/loadavg: 4.10 4.13 4.16 5/252 185109
/proc/meminfo: memFree=120351216/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=69248 memory=36908 CPUtime=0.68 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 8067 0 0 0 66 2 0 0 20 0 1 0 20032487 70909952 9227 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 17312 9227 1733 992 0 9170 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69248 KiB
Current children cumulated memory: 36908 KiB
[startup+1.50034 s]
/proc/loadavg: 4.10 4.13 4.16 5/252 185109
/proc/meminfo: memFree=120348268/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=71512 memory=41452 CPUtime=1.49 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 8660 0 0 0 127 22 0 0 20 0 1 0 20032487 73228288 10363 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 17878 10363 1765 992 0 9736 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 71512 KiB
Current children cumulated memory: 41452 KiB
[startup+3.11351 s]
/proc/loadavg: 4.10 4.13 4.16 5/252 185110
/proc/meminfo: memFree=120309936/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=82644 memory=50392 CPUtime=3.09 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 10265 0 0 0 238 71 0 0 20 0 1 0 20032487 84627456 12598 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 20661 12598 1876 992 0 12519 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 82644 KiB
Current children cumulated memory: 50392 KiB
[startup+6.30031 s]
/proc/loadavg: 4.10 4.13 4.16 5/252 185110
/proc/meminfo: memFree=120242304/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=96448 memory=65932 CPUtime=6.27 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 12616 0 0 0 525 102 0 0 20 0 1 0 20032487 98762752 16483 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 24112 16483 1876 992 0 15970 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 96448 KiB
Current children cumulated memory: 65932 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.14 4.16 5/252 185112
/proc/meminfo: memFree=120128952/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=119268 memory=83388 CPUtime=12.65 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 15440 0 0 0 1078 187 0 0 20 0 1 0 20032487 122130432 20847 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 29817 20847 1876 992 0 21675 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 119268 KiB
Current children cumulated memory: 83388 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.14 4.16 5/252 185113
/proc/meminfo: memFree=119898092/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=158960 memory=117076 CPUtime=25.42 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 20809 0 0 0 2214 328 0 0 20 0 1 0 20032487 162775040 29269 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 39740 29269 1876 992 0 31598 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 158960 KiB
Current children cumulated memory: 117076 KiB
[startup+51.1136 s]
/proc/loadavg: 4.16 4.14 4.16 5/252 185128
/proc/meminfo: memFree=119167748/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=413296 memory=343212 CPUtime=50.96 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 45708 0 0 0 4672 424 0 0 20 0 1 0 20032487 423215104 85803 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 103324 85803 1876 992 0 95182 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 413296 KiB
Current children cumulated memory: 343212 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.16 4.17 5/250 185141
/proc/meminfo: memFree=118289684/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=482664 memory=442192 CPUtime=101.99 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 63221 0 0 0 9574 625 0 0 20 0 1 0 20032487 494247936 110548 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 120666 110548 1876 992 0 112524 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 482664 KiB
Current children cumulated memory: 442192 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.16 4.17 5/250 185153
/proc/meminfo: memFree=117132032/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=537180 memory=496044 CPUtime=161.83 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 76777 0 0 0 15122 1061 0 0 20 0 1 0 20032487 550072320 124011 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 134295 124011 1876 992 0 126153 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 537180 KiB
Current children cumulated memory: 496044 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/250 185163
/proc/meminfo: memFree=115613664/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=590120 memory=548312 CPUtime=221.67 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 89895 0 0 0 20899 1268 0 0 20 0 1 0 20032487 604282880 137078 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 147530 137078 1876 992 0 139388 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 590120 KiB
Current children cumulated memory: 548312 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/253 185176
/proc/meminfo: memFree=114245052/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=626676 memory=584608 CPUtime=281.53 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 99088 0 0 0 26719 1434 0 0 20 0 1 0 20032487 641716224 146152 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 156669 146152 1876 992 0 148527 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 626676 KiB
Current children cumulated memory: 584608 KiB
[startup+342.3 s]
/proc/loadavg: 4.27 4.20 4.18 5/252 185190
/proc/meminfo: memFree=112985604/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=831708 memory=685344 CPUtime=341.39 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 115170 0 0 0 32392 1747 0 0 20 0 1 0 20032487 851668992 171336 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 207927 171336 1876 992 0 199785 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 831708 KiB
Current children cumulated memory: 685344 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/253 185203
/proc/meminfo: memFree=112047072/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=861260 memory=712684 CPUtime=401.24 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 122026 0 0 0 38044 2080 0 0 20 0 1 0 20032487 881930240 178171 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 215315 178171 1876 992 0 207173 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 861260 KiB
Current children cumulated memory: 712684 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/255 185401
/proc/meminfo: memFree=114947552/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=957632 memory=802784 CPUtime=461.08 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 144604 0 0 0 43957 2151 0 0 20 0 1 0 20032487 980615168 200696 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 239408 200696 1876 992 0 231266 0
################
# More data... #
################
Current children cumulated memory: 1528484 KiB
[startup+2922.3 s]
/proc/loadavg: 2.09 2.13 2.59 3/230 186539
/proc/meminfo: memFree=115308556/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1579028 memory=1528700 CPUtime=2914.71 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 296964 0 0 0 285639 5832 0 0 20 0 1 0 20032487 1616924672 382175 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 394757 382175 1876 992 0 386615 0
Current children cumulated CPU time: 2914.71 s
Current children cumulated vsize: 1579028 KiB
Current children cumulated memory: 1528700 KiB
[startup+2982.3 s]
/proc/loadavg: 2.07 2.12 2.55 3/232 186554
/proc/meminfo: memFree=115214208/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1579028 memory=1528700 CPUtime=2974.57 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 297607 0 0 0 291571 5886 0 0 20 0 1 0 20032487 1616924672 382175 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 394757 382175 1876 992 0 386615 0
Current children cumulated CPU time: 2974.57 s
Current children cumulated vsize: 1579028 KiB
Current children cumulated memory: 1528700 KiB
[startup+3042.3 s]
/proc/loadavg: 2.06 2.11 2.52 3/232 186564
/proc/meminfo: memFree=115139236/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1579028 memory=1528700 CPUtime=3034.43 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 298110 0 0 0 297484 5959 0 0 20 0 1 0 20032487 1616924672 382175 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 394757 382175 1876 992 0 386615 0
Current children cumulated CPU time: 3034.43 s
Current children cumulated vsize: 1579028 KiB
Current children cumulated memory: 1528700 KiB
[startup+3102.3 s]
/proc/loadavg: 1.84 2.05 2.48 2/225 186606
/proc/meminfo: memFree=116287404/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1579028 memory=1528700 CPUtime=3094.3 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 298678 0 0 0 303412 6018 0 0 20 0 1 0 20032487 1616924672 382175 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 394757 382175 1876 992 0 386615 0
Current children cumulated CPU time: 3094.3 s
Current children cumulated vsize: 1579028 KiB
Current children cumulated memory: 1528700 KiB
[startup+3162.3 s]
/proc/loadavg: 1.42 1.89 2.39 2/225 186617
/proc/meminfo: memFree=116232720/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1579856 memory=1529472 CPUtime=3154.18 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 299467 0 0 0 309343 6075 0 0 20 0 1 0 20032487 1617772544 382368 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 394964 382368 1876 992 0 386822 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 1579856 KiB
Current children cumulated memory: 1529472 KiB
[startup+3222.3 s]
/proc/loadavg: 1.21 1.74 2.31 2/225 186627
/proc/meminfo: memFree=116095408/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1581664 memory=1531176 CPUtime=3214.06 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 300560 0 0 0 315222 6184 0 0 20 0 1 0 20032487 1619623936 382794 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 395416 382794 1876 992 0 387274 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 1581664 KiB
Current children cumulated memory: 1531176 KiB
[startup+3282.3 s]
/proc/loadavg: 1.22 1.64 2.23 2/228 187023
/proc/meminfo: memFree=115901584/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1581664 memory=1531176 CPUtime=3273.93 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 301179 0 0 0 321076 6317 0 0 20 0 1 0 20032487 1619623936 382794 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 395416 382794 1876 992 0 387274 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 1581664 KiB
Current children cumulated memory: 1531176 KiB
[startup+3342.3 s]
/proc/loadavg: 1.14 1.53 2.16 2/226 187033
/proc/meminfo: memFree=115822120/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1581664 memory=1531176 CPUtime=3333.81 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 301819 0 0 0 326966 6415 0 0 20 0 1 0 20032487 1619623936 382794 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 395416 382794 1876 992 0 387274 0
Current children cumulated CPU time: 3333.81 s
Current children cumulated vsize: 1581664 KiB
Current children cumulated memory: 1531176 KiB
[startup+3402.3 s]
/proc/loadavg: 1.14 1.46 2.09 2/226 187045
/proc/meminfo: memFree=115663584/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1581812 memory=1531176 CPUtime=3393.69 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 302483 0 0 0 332840 6529 0 0 20 0 1 0 20032487 1619775488 382794 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 395453 382794 1876 992 0 387311 0
Current children cumulated CPU time: 3393.69 s
Current children cumulated vsize: 1581812 KiB
Current children cumulated memory: 1531176 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.39 2.03 2/228 187225
/proc/meminfo: memFree=115412044/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1581812 memory=1531300 CPUtime=3453.57 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 303041 0 0 0 338713 6644 0 0 20 0 1 0 20032487 1619775488 382825 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 395453 382825 1876 992 0 387311 0
Current children cumulated CPU time: 3453.57 s
Current children cumulated vsize: 1581812 KiB
Current children cumulated memory: 1531300 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.35 1.97 2/228 187235
/proc/meminfo: memFree=115198872/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1581812 memory=1531300 CPUtime=3513.45 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 303591 0 0 0 344638 6707 0 0 20 0 1 0 20032487 1619775488 382825 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 395453 382825 1876 992 0 387311 0
Current children cumulated CPU time: 3513.45 s
Current children cumulated vsize: 1581812 KiB
Current children cumulated memory: 1531300 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.30 1.91 2/229 187249
/proc/meminfo: memFree=115073724/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1582784 memory=1532388 CPUtime=3573.33 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 304478 0 0 0 350593 6740 0 0 20 0 1 0 20032487 1620770816 383097 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 395696 383097 1876 992 0 387554 0
Current children cumulated CPU time: 3573.33 s
Current children cumulated vsize: 1582784 KiB
Current children cumulated memory: 1532388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 1.12 1.29 1.89 2/227 187252
/proc/meminfo: memFree=115029616/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1584036 memory=1533316 CPUtime=3600.09 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 304996 0 0 0 353255 6754 0 0 20 0 1 0 20032487 1622052864 383329 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 396009 383329 1876 992 0 387867 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1584036 KiB
Current children cumulated memory: 1533316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.18 s]
# the end of solver process 185108 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3532.57 s, system=67.5733 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 1.12 1.29 1.89 2/227 187252
/proc/meminfo: memFree=115029616/131655788 swapFree=131056320/131071996
[pid=185108] ppid=185105 vsize=1584036 memory=1533316 CPUtime=3600.09 cores=1,3
/proc/185108/stat : 185108 (roundingsat) R 185105 185108 179655 0 -1 4194304 304996 0 0 0 353255 6754 0 0 20 0 1 0 20032487 1622052864 383329 134679101440 4194304 8254037 140726869238048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 35926016 140726869246812 140726869247074 140726869247074 140726869254089 0
/proc/185108/statm: 396009 383329 1876 992 0 387867 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1584036 KiB
Current children cumulated memory: 1533316 KiB
Child status: 0
Real time (s): 3609.18
CPU time (s): 3600.14
CPU user time (s): 3532.57
CPU system time (s): 67.5733
CPU usage (%): 99.7494
Max. virtual memory (cumulated for all children) (KiB): 1584036
Max. memory (cumulated for all children) (KiB): 1533316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3532.57
system time used= 67.5733
maximum resident set size= 1533632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20600872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2347
involuntary context switches= 4860
# summary of solver processes directly reported to runsolver:
# pid: 185108
# total CPU time (s): 3600.14
# total CPU user time (s): 3532.57
# total CPU system time (s): 67.5733
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5419 second user time and 36.7107 second system time
The end
Begin job on nodeC006 at 2024-07-24 19:00:32
IDJOB=4457400
IDBENCH=164400
IDSOLVER=3085
FILE ID=nodeC006/4457400-1721840432
RUNJOBID= nodeC006-1721831555-179667
SLURM_JOB_ID= 7891518
Free space on /tmp= 723756 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-4457400-1721840432/watcher-4457400-1721840432 -o /tmp/evaluation-result-4457400-1721840432/solver-4457400-1721840432 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721831555-179667 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457400-1721840432 --lp-cut-gomory=0 HOME/instance-4457400-1721840432.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=279094442
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3675.919
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.06
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 : 3491.555
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.40
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.267
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.06
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.099
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.40
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 : 3676.060
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.06
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 : 3586.042
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.40
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.234
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.06
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.112
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.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120385836 kB
MemAvailable: 129181072 kB
Buffers: 275704 kB
Cached: 9125312 kB
SwapCached: 244 kB
Active: 1954224 kB
Inactive: 8389220 kB
Active(anon): 1752 kB
Inactive(anon): 986028 kB
Active(file): 1952472 kB
Inactive(file): 7403192 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056320 kB
Dirty: 26908 kB
Writeback: 0 kB
AnonPages: 937428 kB
Mapped: 101352 kB
Shmem: 45244 kB
KReclaimable: 501480 kB
Slab: 611892 kB
SReclaimable: 501480 kB
SUnreclaim: 110412 kB
KernelStack: 4080 kB
PageTables: 11316 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1291752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 751616 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: 420680 kB
DirectMap2M: 57155584 kB
DirectMap1G: 78643200 kB
Free space on /tmp at the end= 723776 MiB
End job on nodeC006 at 2024-07-24 20:00:42