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 (60478 MiB free)
memory of node 1: 64473 MiB (51779 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457445-1721840529/watcher-4457445-1721840529 -o /tmp/evaluation-result-4457445-1721840529/solver-4457445-1721840529 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186540 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457445-1721840529 --lp-cut-gomory=0 HOME/instance-4457445-1721840529.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
Current StackSize limit: 8192 KiB
solver pid=194265, runsolver pid=194262
[startup+0.100098 s]*
/proc/loadavg: 4.30 4.20 4.19 5/252 194266
/proc/meminfo: memFree=114945040/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=42268 memory=12720 CPUtime=0.11 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 1701 0 0 0 10 1 0 0 20 0 1 0 20041837 43282432 3180 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 10567 3180 1834 992 0 2425 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 42268 KiB
Current children cumulated memory: 12720 KiB
[startup+0.214237 s]*
/proc/loadavg: 4.30 4.20 4.19 5/252 194266
/proc/meminfo: memFree=114939332/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=43636 memory=14040 CPUtime=0.21 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 2083 0 0 0 20 1 0 0 20 0 1 0 20041837 44683264 3510 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 10909 3510 1834 992 0 2767 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43636 KiB
Current children cumulated memory: 14040 KiB
[startup+0.314079 s]*
/proc/loadavg: 4.30 4.20 4.19 5/252 194266
/proc/meminfo: memFree=114933056/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=44040 memory=16880 CPUtime=0.32 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 2268 0 0 0 30 2 0 0 20 0 1 0 20041837 45096960 4220 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 11010 4220 1834 992 0 2868 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 44040 KiB
Current children cumulated memory: 16880 KiB
[startup+0.700286 s]
/proc/loadavg: 4.30 4.20 4.19 5/252 194266
/proc/meminfo: memFree=114926376/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=45116 memory=17932 CPUtime=0.68 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 2548 0 0 0 66 2 0 0 20 0 1 0 20041837 46198784 4483 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 11279 4483 1834 992 0 3137 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45116 KiB
Current children cumulated memory: 17932 KiB
[startup+1.50033 s]
/proc/loadavg: 4.30 4.20 4.19 5/252 194266
/proc/meminfo: memFree=114910924/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=47440 memory=21208 CPUtime=1.49 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 3256 0 0 0 144 5 0 0 20 0 1 0 20041837 48578560 5302 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 11860 5302 1935 992 0 3718 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47440 KiB
Current children cumulated memory: 21208 KiB
[startup+3.11387 s]
/proc/loadavg: 4.27 4.19 4.19 5/252 194266
/proc/meminfo: memFree=114866184/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=55808 memory=28140 CPUtime=3.09 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 4936 0 0 0 302 7 0 0 20 0 1 0 20041837 57147392 7035 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 13952 7035 1935 992 0 5810 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 55808 KiB
Current children cumulated memory: 28140 KiB
[startup+6.30033 s]
/proc/loadavg: 4.27 4.19 4.19 5/254 194268
/proc/meminfo: memFree=114834176/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=61316 memory=33396 CPUtime=6.26 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 5797 0 0 0 616 10 0 0 20 0 1 0 20041837 62787584 8349 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 15329 8349 1935 992 0 7187 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 61316 KiB
Current children cumulated memory: 33396 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.19 4.19 5/254 194270
/proc/meminfo: memFree=114711104/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=66496 memory=37840 CPUtime=12.64 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 6873 0 0 0 1248 16 0 0 20 0 1 0 20041837 68091904 9460 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 16624 9460 1935 992 0 8482 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 66496 KiB
Current children cumulated memory: 37840 KiB
[startup+25.5004 s]
/proc/loadavg: 4.19 4.18 4.18 5/254 194271
/proc/meminfo: memFree=114475464/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=80240 memory=50332 CPUtime=25.39 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 9005 0 0 0 2516 23 0 0 20 0 1 0 20041837 82165760 12583 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 20060 12583 1935 992 0 11918 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 80240 KiB
Current children cumulated memory: 50332 KiB
[startup+51.1145 s]
/proc/loadavg: 4.26 4.20 4.19 5/255 194278
/proc/meminfo: memFree=114238244/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=101056 memory=63344 CPUtime=50.9 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 11229 0 0 0 5058 32 0 0 20 0 1 0 20041837 103481344 15836 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 25264 15836 1935 992 0 17122 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 101056 KiB
Current children cumulated memory: 63344 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 4.21 4.19 5/255 194286
/proc/meminfo: memFree=113698168/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=110612 memory=75708 CPUtime=101.89 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 13475 0 0 0 10141 48 0 0 20 0 1 0 20041837 113266688 18927 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 27653 18927 1935 992 0 19511 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 110612 KiB
Current children cumulated memory: 75708 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.18 5/255 194297
/proc/meminfo: memFree=113187744/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=113160 memory=78560 CPUtime=161.65 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 14210 0 0 0 16105 60 0 0 20 0 1 0 20041837 115875840 19640 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 28290 19640 1935 992 0 20148 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 113160 KiB
Current children cumulated memory: 78560 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/252 194399
/proc/meminfo: memFree=116825056/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=116064 memory=82948 CPUtime=221.43 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 15305 0 0 0 22071 72 0 0 20 0 1 0 20041837 118849536 20737 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 29016 20737 1935 992 0 20874 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 116064 KiB
Current children cumulated memory: 82948 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/253 194411
/proc/meminfo: memFree=116291500/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=137048 memory=87860 CPUtime=281.19 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 16041 0 0 0 28041 78 0 0 20 0 1 0 20041837 140337152 21965 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 34262 21965 1935 992 0 26120 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 87860 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/250 194422
/proc/meminfo: memFree=116039948/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=137360 memory=88388 CPUtime=340.97 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 16139 0 0 0 34008 89 0 0 20 0 1 0 20041837 140656640 22097 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 34340 22097 1935 992 0 26198 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 137360 KiB
Current children cumulated memory: 88388 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/248 194432
/proc/meminfo: memFree=115831720/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=142424 memory=92804 CPUtime=400.74 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 17261 0 0 0 39978 96 0 0 20 0 1 0 20041837 145842176 23201 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 35606 23201 1935 992 0 27464 0
Current children cumulated CPU time: 400.74 s
Current children cumulated vsize: 142424 KiB
Current children cumulated memory: 92804 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/246 194442
/proc/meminfo: memFree=115490572/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=151320 memory=101784 CPUtime=460.51 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 19172 0 0 0 45948 103 0 0 20 0 1 0 20041837 154951680 25446 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 37830 25446 1935 992 0 29688 0
################
# More data... #
################
Current children cumulated memory: 207268 KiB
[startup+2922.3 s]
/proc/loadavg: 3.09 3.53 3.95 4/241 195533
/proc/meminfo: memFree=106960132/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=247716 memory=210956 CPUtime=2911.01 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 34510 0 0 0 290814 287 0 0 20 0 1 0 20041837 253661184 52739 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 61929 52739 1935 992 0 53787 0
Current children cumulated CPU time: 2911.01 s
Current children cumulated vsize: 247716 KiB
Current children cumulated memory: 210956 KiB
[startup+2982.3 s]
/proc/loadavg: 3.07 3.45 3.89 4/241 195544
/proc/meminfo: memFree=106775824/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=249572 memory=212228 CPUtime=2970.8 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 34920 0 0 0 296791 289 0 0 20 0 1 0 20041837 255561728 53057 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 62393 53057 1935 992 0 54251 0
Current children cumulated CPU time: 2970.8 s
Current children cumulated vsize: 249572 KiB
Current children cumulated memory: 212228 KiB
[startup+3042.3 s]
/proc/loadavg: 3.14 3.40 3.84 4/241 195554
/proc/meminfo: memFree=106630664/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=251684 memory=215344 CPUtime=3030.6 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 35289 0 0 0 302768 292 0 0 20 0 1 0 20041837 257724416 53836 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 62921 53836 1935 992 0 54779 0
Current children cumulated CPU time: 3030.6 s
Current children cumulated vsize: 251684 KiB
Current children cumulated memory: 215344 KiB
[startup+3102.3 s]
/proc/loadavg: 3.20 3.37 3.81 4/241 195565
/proc/meminfo: memFree=106522168/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=252700 memory=216276 CPUtime=3090.39 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 35621 0 0 0 308744 295 0 0 20 0 1 0 20041837 258764800 54069 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 63175 54069 1935 992 0 55033 0
Current children cumulated CPU time: 3090.39 s
Current children cumulated vsize: 252700 KiB
Current children cumulated memory: 216276 KiB
[startup+3162.3 s]
/proc/loadavg: 2.91 3.27 3.74 3/234 195607
/proc/meminfo: memFree=118665448/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=252964 memory=216420 CPUtime=3150.18 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 35759 0 0 0 314720 298 0 0 20 0 1 0 20041837 259035136 54105 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 63241 54105 1935 992 0 55099 0
Current children cumulated CPU time: 3150.18 s
Current children cumulated vsize: 252964 KiB
Current children cumulated memory: 216420 KiB
[startup+3222.3 s]
/proc/loadavg: 2.33 3.03 3.63 3/238 196003
/proc/meminfo: memFree=118637944/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=253776 memory=219256 CPUtime=3209.94 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 36040 0 0 0 320693 301 0 0 20 0 1 0 20041837 259866624 54814 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 63444 54814 1935 992 0 55302 0
Current children cumulated CPU time: 3209.94 s
Current children cumulated vsize: 253776 KiB
Current children cumulated memory: 219256 KiB
[startup+3282.3 s]
/proc/loadavg: 2.36 2.90 3.55 3/235 196015
/proc/meminfo: memFree=118613512/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=254280 memory=219800 CPUtime=3269.71 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 36275 0 0 0 326667 304 0 0 20 0 1 0 20041837 260382720 54950 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 63570 54950 1935 992 0 55428 0
Current children cumulated CPU time: 3269.71 s
Current children cumulated vsize: 254280 KiB
Current children cumulated memory: 219800 KiB
[startup+3342.3 s]
/proc/loadavg: 2.18 2.75 3.45 3/235 196025
/proc/meminfo: memFree=118580824/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=254952 memory=225440 CPUtime=3329.47 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 36550 0 0 0 332641 306 0 0 20 0 1 0 20041837 261070848 56360 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 63738 56360 1935 992 0 55596 0
Current children cumulated CPU time: 3329.47 s
Current children cumulated vsize: 254952 KiB
Current children cumulated memory: 225440 KiB
[startup+3402.3 s]
/proc/loadavg: 2.11 2.63 3.36 3/235 196203
/proc/meminfo: memFree=118557888/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=254952 memory=225440 CPUtime=3389.24 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 36653 0 0 0 338615 309 0 0 20 0 1 0 20041837 261070848 56360 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 63738 56360 1935 992 0 55596 0
Current children cumulated CPU time: 3389.24 s
Current children cumulated vsize: 254952 KiB
Current children cumulated memory: 225440 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.53 3.28 3/235 196214
/proc/meminfo: memFree=118528924/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=254952 memory=225440 CPUtime=3449 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 36749 0 0 0 344586 314 0 0 20 0 1 0 20041837 261070848 56360 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 63738 56360 1935 992 0 55596 0
Current children cumulated CPU time: 3449 s
Current children cumulated vsize: 254952 KiB
Current children cumulated memory: 225440 KiB
[startup+3522.3 s]
/proc/loadavg: 2.08 2.44 3.20 3/234 196227
/proc/meminfo: memFree=118502344/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=254952 memory=225440 CPUtime=3508.76 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 36845 0 0 0 350559 317 0 0 20 0 1 0 20041837 261070848 56360 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 63738 56360 1935 992 0 55596 0
Current children cumulated CPU time: 3508.76 s
Current children cumulated vsize: 254952 KiB
Current children cumulated memory: 225440 KiB
[startup+3582.3 s]
/proc/loadavg: 2.17 2.41 3.14 4/232 196249
/proc/meminfo: memFree=118474996/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=254952 memory=225488 CPUtime=3568.53 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 36955 0 0 0 356532 321 0 0 20 0 1 0 20041837 261070848 56372 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 63738 56372 1935 992 0 55596 0
Current children cumulated CPU time: 3568.53 s
Current children cumulated vsize: 254952 KiB
Current children cumulated memory: 225488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.9 s]
/proc/loadavg: 2.09 2.36 3.10 3/232 196254
/proc/meminfo: memFree=118455048/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=254952 memory=225488 CPUtime=3600.01 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 36974 0 0 0 359678 323 0 0 20 0 1 0 20041837 261070848 56372 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 63738 56372 1935 992 0 55596 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 254952 KiB
Current children cumulated memory: 225488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.92 s]
# the end of solver process 194265 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.79 s, system=3.23836 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.9 s]
/proc/loadavg: 2.09 2.36 3.10 3/232 196254
/proc/meminfo: memFree=118455048/131655788 swapFree=131071472/131071996
[pid=194265] ppid=194262 vsize=254952 memory=225488 CPUtime=3600.01 cores=0,2
/proc/194265/stat : 194265 (roundingsat) R 194262 194265 186530 0 -1 4194304 36974 0 0 0 359678 323 0 0 20 0 1 0 20041837 261070848 56372 134679101440 4194304 8254037 140729094673936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25366528 140729094677340 140729094677602 140729094677602 140729094684617 0
/proc/194265/statm: 63738 56372 1935 992 0 55596 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 254952 KiB
Current children cumulated memory: 225488 KiB
Child status: 0
Real time (s): 3613.92
CPU time (s): 3600.03
CPU user time (s): 3596.79
CPU system time (s): 3.23836
CPU usage (%): 99.6156
Max. virtual memory (cumulated for all children) (KiB): 254952
Max. memory (cumulated for all children) (KiB): 225488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.79
system time used= 3.23836
maximum resident set size= 225488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36989
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2725224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122
involuntary context switches= 25363
# summary of solver processes directly reported to runsolver:
# pid: 194265
# total CPU time (s): 3600.03
# total CPU user time (s): 3596.79
# total CPU system time (s): 3.23836
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.841 second user time and 39.8353 second system time
The end
Begin job on nodeC004 at 2024-07-24 19:02:09
IDJOB=4457445
IDBENCH=175942
IDSOLVER=3085
FILE ID=nodeC004/4457445-1721840529
RUNJOBID= nodeC004-1721832165-186540
SLURM_JOB_ID= 7891533
Free space on /tmp= 723756 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq8/normalized-28array_alg_ineq8.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-4457445-1721840529/watcher-4457445-1721840529 -o /tmp/evaluation-result-4457445-1721840529/solver-4457445-1721840529 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186540 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457445-1721840529 --lp-cut-gomory=0 HOME/instance-4457445-1721840529.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e563df95219b214aec9816293324d964
RANDOM SEED=866946119
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.100
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3638.359
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.283
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.473
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 : 3656.773
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3629.612
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.299
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.421
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: 114954104 kB
MemAvailable: 127650044 kB
Buffers: 271804 kB
Cached: 13215080 kB
SwapCached: 60 kB
Active: 2584620 kB
Inactive: 13465160 kB
Active(anon): 1468 kB
Inactive(anon): 2615404 kB
Active(file): 2583152 kB
Inactive(file): 10849756 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 215448 kB
Writeback: 12 kB
AnonPages: 2560108 kB
Mapped: 124640 kB
Shmem: 53860 kB
KReclaimable: 206460 kB
Slab: 325800 kB
SReclaimable: 206460 kB
SUnreclaim: 119340 kB
KernelStack: 4080 kB
PageTables: 14200 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3257672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 677888 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 392008 kB
DirectMap2M: 50892800 kB
DirectMap1G: 84934656 kB
Free space on /tmp at the end= 723772 MiB
End job on nodeC004 at 2024-07-24 20:02:23