0.88/0.96 c initialize IPBHS solver
0.88/0.96 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
0.88/0.96 c optimizer = "scip"
0.88/0.96 c pbsolver = "roundingsat"
0.88/0.96 c load symmetries from file ""
0.88/0.96 c set time limit for symmetry computation to 100 seconds.
0.88/0.96 c set interchangeable summation variable limit to 3
0.88/0.96 c set abs symmetric core budget per WCE-iteration to 100
0.88/0.96 c set rel symmetric core budget per WCE-iteration to 0
0.88/0.96 c set lit symmetric core budget per WCE-iteration to 0
0.88/0.96 c set sym generation to 's'
0.88/0.96 c set abstraction set creation to 10 iterations without LB change
0.88/0.96 c set abstraction set inputs to 0
0.88/0.96 c set abstraction set cluster min size to 2
0.88/0.96 c set abstraction set cluster max size to 100000000
0.88/0.96 c set abstraction set cluster activation limit to 2
0.88/0.96 c enable abstraction set require equal cost
0.88/0.96 c set abstraction set assumptions to 0
0.88/0.96 c set abstraction set constraint type to 0
0.88/0.96 c set abstract core extraction strategy to b
0.88/0.96 c set core extraction strategy to 2
0.88/0.96 c set core extraction shuffles 10
0.88/0.96 c set cores per iteration to 5
0.88/0.96 c set optimizer bound usage strategy to 2
0.88/0.96 c set optimizer max non-optimal iterations to 1000
0.88/0.96 c set small core cardinality limit to 2
0.88/0.96 c set max coef in cores to 1000000000
0.88/0.96 c set SIS iterations to 5
0.88/0.96 c set SIS budget abs to 1000
0.88/0.96 c set SIS budget rel to 0.05
0.88/0.96 c limit for coefficient in constraints and objective to 9223372036854775807
0.88/0.96 c will solve HOME/instance-4431918-1721101934.opb
0.88/0.96 c [0.03] solve iteration 1, LB=0, UB=5516
0.88/0.96 c [0.65] solve iteration 2, LB=0, UB=47
1.79/1.84 c [1.34] solve iteration 3, LB=23, UB=47
2.68/2.70 c [2.03] solve iteration 4, LB=24, UB=47
3.48/3.50 c [2.7] solve iteration 5, LB=24, UB=43
11.66/11.71 c [9.15] solve iteration 6, LB=24, UB=43
12.76/12.84 c [10.1] solve iteration 7, LB=24, UB=43
14.45/14.54 c [11.59] solve iteration 8, LB=24, UB=43
16.06/16.14 c [13] solve iteration 9, LB=24, UB=43
20.74/20.81 c [15.52] solve iteration 10, LB=25, UB=43
32.71/32.85 c [27.22] solve iteration 11, LB=25, UB=43
51.78/51.92 c [42.99] solve iteration 12, LB=26, UB=43
69.34/69.58 c [60.91] solve iteration 13, LB=26, UB=43
84.20/84.40 c [78.25] solve iteration 14, LB=26, UB=43
95.18/95.49 c [89.19] solve iteration 15, LB=26, UB=43
129.10/129.43 c [120.34] solve iteration 16, LB=26, UB=42
173.59/174.00 c [164.7] solve iteration 17, LB=27, UB=42
217.49/218.01 c [211.04] solve iteration 18, LB=27, UB=42
262.28/262.97 c [255.73] solve iteration 19, LB=27, UB=41
334.00/334.82 c [327.29] solve iteration 20, LB=27, UB=41
401.34/402.39 c [390.85] solve iteration 21, LB=27, UB=31
510.29/511.59 c [501.89] solve iteration 22, LB=27, UB=31
803.26/805.21 c [791.44] solve iteration 23, LB=28, UB=31
1094.12/1096.81 c [1081.71] solve iteration 24, LB=28, UB=31
1314.21/1317.59 c [1301.82] solve iteration 25, LB=28, UB=31
1572.32/1576.47 c [1559.5] solve iteration 26, LB=28, UB=31
1825.64/1830.57 c [1812.94] solve iteration 27, LB=28, UB=31
2017.16/2022.60 c [2002.34] solve iteration 28, LB=28, UB=31
2276.67/2282.92 c [2261.95] solve iteration 29, LB=28, UB=31
2576.14/2583.30 c [2560.94] solve iteration 30, LB=28, UB=31
2883.67/2891.72 c [2868.86] solve iteration 31, LB=28, UB=31
3200.66/3209.55 c [3185.15] solve iteration 32, LB=28, UB=31
3484.75/3494.23 c [3467.9] solve iteration 33, LB=28, UB=31
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: 63968 MiB (61607 MiB free)
memory of node 1: 64473 MiB (60700 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431918-1721101934/watcher-4431918-1721101934 -o /tmp/evaluation-result-4431918-1721101934/solver-4431918-1721101934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721094346-872421 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431918-1721101934.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=877429, runsolver pid=877426
[startup+0.100865 s]*
/proc/loadavg: 4.23 4.14 4.10 5/258 877430
/proc/meminfo: memFree=125225288/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=46316 memory=29088 CPUtime=0.1 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 5111 0 0 0 7 3 0 0 20 0 1 0 162361540 47427584 7272 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 11579 7272 2383 2900 0 8093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46316 KiB
Current children cumulated memory: 29088 KiB
[startup+0.205482 s]*
/proc/loadavg: 4.23 4.14 4.10 5/258 877430
/proc/meminfo: memFree=125172200/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=103656 memory=86076 CPUtime=0.2 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 19104 0 0 0 14 6 0 0 20 0 1 0 162361540 106143744 21519 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 25914 21519 2655 2900 0 22428 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 103656 KiB
Current children cumulated memory: 86076 KiB
[startup+0.305497 s]*
/proc/loadavg: 4.23 4.14 4.10 6/258 877430
/proc/meminfo: memFree=125157952/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=114196 memory=94524 CPUtime=0.3 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 21172 0 0 0 23 7 0 0 20 0 1 0 162361540 116936704 23631 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 28549 23631 2655 2900 0 25063 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114196 KiB
Current children cumulated memory: 94524 KiB
[startup+0.700224 s]
/proc/loadavg: 4.23 4.14 4.10 5/258 877430
/proc/meminfo: memFree=125157812/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=114196 memory=94524 CPUtime=0.69 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 21175 0 0 0 55 14 0 0 20 0 1 0 162361540 116936704 23631 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 28549 23631 2655 2900 0 25063 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 114196 KiB
Current children cumulated memory: 94524 KiB
[startup+1.50018 s]
/proc/loadavg: 4.23 4.14 4.10 5/258 877430
/proc/meminfo: memFree=125149392/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=124480 memory=105252 CPUtime=1.49 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 23648 0 0 0 120 29 0 0 20 0 1 0 162361540 127467520 26313 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 31120 26313 2911 2900 0 27634 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 124480 KiB
Current children cumulated memory: 105252 KiB
[startup+3.10489 s]
/proc/loadavg: 4.23 4.14 4.10 5/258 877430
/proc/meminfo: memFree=125114016/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=147872 memory=129052 CPUtime=3.09 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 29607 0 0 0 254 55 0 0 20 0 1 0 162361540 151420928 32263 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 36968 32263 2927 2900 0 33482 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 147872 KiB
Current children cumulated memory: 129052 KiB
[startup+6.30018 s]
/proc/loadavg: 4.21 4.14 4.10 5/258 877430
/proc/meminfo: memFree=125079608/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=184656 memory=164276 CPUtime=6.27 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 37365 0 0 0 523 104 0 0 20 0 1 0 162361540 189087744 41069 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 46164 41069 2943 2900 0 42678 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 184656 KiB
Current children cumulated memory: 164276 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.14 4.10 5/258 877432
/proc/meminfo: memFree=125028288/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=244332 memory=212768 CPUtime=12.66 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 45189 0 0 0 1015 251 0 0 20 0 1 0 162361540 250195968 53192 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 61083 53192 2943 2900 0 57597 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 244332 KiB
Current children cumulated memory: 212768 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 877434
/proc/meminfo: memFree=124931744/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=326816 memory=310968 CPUtime=25.44 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 68415 0 0 0 2155 389 0 0 20 0 1 0 162361540 334659584 77742 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 81704 77742 2943 2900 0 78218 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 326816 KiB
Current children cumulated memory: 310968 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.14 4.10 5/258 877439
/proc/meminfo: memFree=124752052/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=421860 memory=387672 CPUtime=50.98 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 86860 0 0 0 4554 544 0 0 20 0 1 0 162361540 431984640 96918 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 105465 96918 2943 2900 0 101979 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 421860 KiB
Current children cumulated memory: 387672 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/258 877450
/proc/meminfo: memFree=124592396/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=446336 memory=412352 CPUtime=102.06 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 101491 0 0 0 9630 576 0 0 20 0 1 0 162361540 457048064 103088 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 111584 103088 2943 2900 0 108098 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 446336 KiB
Current children cumulated memory: 412352 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/258 877460
/proc/meminfo: memFree=124334344/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=501432 memory=467428 CPUtime=161.92 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 116187 0 0 0 15606 586 0 0 20 0 1 0 162361540 513466368 116857 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 125358 116857 2943 2900 0 121872 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 501432 KiB
Current children cumulated memory: 467428 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 877853
/proc/meminfo: memFree=124317248/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=517988 memory=484160 CPUtime=221.77 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 120864 0 0 0 21566 611 0 0 20 0 1 0 162361540 530419712 121040 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 129497 121040 2943 2900 0 126011 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 517988 KiB
Current children cumulated memory: 484160 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 877864
/proc/meminfo: memFree=124297076/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=515524 memory=482372 CPUtime=281.63 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 120906 0 0 0 27541 622 0 0 20 0 1 0 162361540 527896576 120593 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 128881 120593 2943 2900 0 125395 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 515524 KiB
Current children cumulated memory: 482372 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.09 6/256 877875
/proc/meminfo: memFree=124245780/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=518572 memory=485384 CPUtime=341.48 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 126228 0 0 0 33512 636 0 0 20 0 1 0 162361540 531017728 121346 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 129643 121346 2943 2900 0 126157 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 518572 KiB
Current children cumulated memory: 485384 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/258 878056
/proc/meminfo: memFree=124156692/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=517544 memory=484400 CPUtime=401.34 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 129585 0 0 0 39492 642 0 0 20 0 1 0 162361540 529965056 121100 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 129386 121100 2943 2900 0 125900 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 517544 KiB
Current children cumulated memory: 484400 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/260 878070
/proc/meminfo: memFree=124101844/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=527760 memory=494164 CPUtime=461.19 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 132086 0 0 0 45477 642 0 0 20 0 1 0 162361540 540426240 123541 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 131940 123541 2943 2900 0 128454 0
################
# More data... #
################
Current children cumulated memory: 702496 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 879146
/proc/meminfo: memFree=122145360/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=740360 memory=702496 CPUtime=2854.35 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 192888 0 0 0 284368 1067 0 0 20 0 1 0 162361540 758128640 175624 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 185090 175624 2943 2900 0 181604 0
Current children cumulated CPU time: 2854.35 s
Current children cumulated vsize: 740360 KiB
Current children cumulated memory: 702496 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 879161
/proc/meminfo: memFree=122165624/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=719012 memory=681300 CPUtime=2914.19 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 194919 0 0 0 290344 1075 0 0 20 0 1 0 162361540 736268288 170325 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 179753 170325 2943 2900 0 176267 0
Current children cumulated CPU time: 2914.19 s
Current children cumulated vsize: 719012 KiB
Current children cumulated memory: 681300 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 879172
/proc/meminfo: memFree=122159020/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=724312 memory=687228 CPUtime=2974.03 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 196413 0 0 0 296327 1076 0 0 20 0 1 0 162361540 741695488 171807 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 181078 171807 2943 2900 0 177592 0
Current children cumulated CPU time: 2974.03 s
Current children cumulated vsize: 724312 KiB
Current children cumulated memory: 687228 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/257 879183
/proc/meminfo: memFree=122144740/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=751020 memory=714724 CPUtime=3033.89 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 203218 0 0 0 302311 1078 0 0 20 0 1 0 162361540 769044480 178681 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 187755 178681 2943 2900 0 184269 0
Current children cumulated CPU time: 3033.89 s
Current children cumulated vsize: 751020 KiB
Current children cumulated memory: 714724 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 879196
/proc/meminfo: memFree=122140272/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=751020 memory=715296 CPUtime=3093.74 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 203455 0 0 0 308296 1078 0 0 20 0 1 0 162361540 769044480 178824 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 187755 178824 2943 2900 0 184269 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 751020 KiB
Current children cumulated memory: 715296 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 879207
/proc/meminfo: memFree=122142252/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=751020 memory=715296 CPUtime=3153.58 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 203727 0 0 0 314280 1078 0 0 20 0 1 0 162361540 769044480 178824 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 187755 178824 2943 2900 0 184269 0
Current children cumulated CPU time: 3153.58 s
Current children cumulated vsize: 751020 KiB
Current children cumulated memory: 715296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 879217
/proc/meminfo: memFree=122061892/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=731468 memory=695844 CPUtime=3213.43 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 205717 0 0 0 320260 1083 0 0 20 0 1 0 162361540 749023232 173961 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 182867 173961 2943 2900 0 179381 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 731468 KiB
Current children cumulated memory: 695844 KiB
[startup+3282.3 s]
/proc/loadavg: 3.25 3.88 4.01 3/242 879288
/proc/meminfo: memFree=125246908/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=731468 memory=695844 CPUtime=3273.3 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 205986 0 0 0 326247 1083 0 0 20 0 1 0 162361540 749023232 173961 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 182867 173961 2943 2900 0 179381 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 731468 KiB
Current children cumulated memory: 695844 KiB
[startup+3342.3 s]
/proc/loadavg: 2.60 3.59 3.90 3/242 879300
/proc/meminfo: memFree=125245520/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=732512 memory=696516 CPUtime=3333.17 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 206473 0 0 0 332234 1083 0 0 20 0 1 0 162361540 750092288 174129 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 183128 174129 2943 2900 0 179642 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 732512 KiB
Current children cumulated memory: 696516 KiB
[startup+3402.3 s]
/proc/loadavg: 1.93 3.23 3.76 2/234 879342
/proc/meminfo: memFree=127656384/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=735572 memory=699688 CPUtime=3393.04 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 207484 0 0 0 338221 1083 0 0 20 0 1 0 162361540 753225728 174922 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 183893 174922 2943 2900 0 180407 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 735572 KiB
Current children cumulated memory: 699688 KiB
[startup+3462.3 s]
/proc/loadavg: 1.39 2.84 3.59 2/234 879353
/proc/meminfo: memFree=127647696/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=743744 memory=707936 CPUtime=3452.92 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 209787 0 0 0 344208 1084 0 0 20 0 1 0 162361540 761593856 176984 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 185936 176984 2943 2900 0 182450 0
Current children cumulated CPU time: 3452.92 s
Current children cumulated vsize: 743744 KiB
Current children cumulated memory: 707936 KiB
[startup+3522.3 s]
/proc/loadavg: 1.25 2.53 3.43 2/237 879370
/proc/meminfo: memFree=127558144/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=910104 memory=800088 CPUtime=3512.78 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 225526 0 0 0 350052 1226 0 0 20 0 1 0 162361540 931946496 200022 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 227526 200022 2943 2900 0 224040 0
Current children cumulated CPU time: 3512.78 s
Current children cumulated vsize: 910104 KiB
Current children cumulated memory: 800088 KiB
[startup+3582.3 s]
/proc/loadavg: 1.15 2.26 3.29 2/237 879381
/proc/meminfo: memFree=127514916/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=947720 memory=838844 CPUtime=3572.66 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 235322 0 0 0 356038 1228 0 0 20 0 1 0 162361540 970465280 209711 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 236930 209711 2943 2900 0 233444 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 947720 KiB
Current children cumulated memory: 838844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 1.18 2.18 3.23 2/237 879386
/proc/meminfo: memFree=127508580/131524600 swapFree=131071996/131071996
[pid=877429] ppid=877426 vsize=953560 memory=844656 CPUtime=3600.09 cores=4,6
/proc/877429/stat : 877429 (ipbhs_static_sc) R 877426 877429 872410 0 -1 4194304 236905 0 0 0 358781 1228 0 0 20 0 1 0 162361540 976445440 211164 134679101440 4194304 16068861 140725226667200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 51720192 140725226673190 140725226673277 140725226673277 140725226680292 0
/proc/877429/statm: 238390 211164 2943 2900 0 234904 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 953560 KiB
Current children cumulated memory: 844656 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 877429 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3587.82 s, system=12.2939 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.81
CPU time (s): 3600.11
CPU user time (s): 3587.82
CPU system time (s): 12.2939
CPU usage (%): 99.7314
Max. virtual memory (cumulated for all children) (KiB): 953560
Max. memory (cumulated for all children) (KiB): 844656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.82
system time used= 12.2939
maximum resident set size= 844664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236905
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67
involuntary context switches= 1671
# summary of solver processes directly reported to runsolver:
# pid: 877429
# total CPU time (s): 3600.11
# total CPU user time (s): 3587.82
# total CPU system time (s): 12.2939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46793 second user time and 15.61 second system time
The end
Begin job on nodeC030 at 2024-07-16 05:52:27
IDJOB=4431918
IDBENCH=148139
IDSOLVER=3057
FILE ID=nodeC030/4431918-1721101934
RUNJOBID= nodeC030-1721094346-872421
SLURM_JOB_ID= 7505600
Free space on /tmp= 889912 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431918-1721101934/watcher-4431918-1721101934 -o /tmp/evaluation-result-4431918-1721101934/solver-4431918-1721101934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721094346-872421 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431918-1721101934.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6595cc4610fad26587cd2ec4880b38c3
RANDOM SEED=728960766
nodeC030.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 : 0xb00002a
cpu MHz : 3669.913
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.28
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 : 0xb00002a
cpu MHz : 3685.593
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.11
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 : 0xb00002a
cpu MHz : 3599.928
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.28
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 : 0xb00002a
cpu MHz : 3599.682
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.11
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 : 0xb00002a
cpu MHz : 3670.558
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.28
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 : 0xb00002a
cpu MHz : 3685.600
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.11
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 : 0xb00002a
cpu MHz : 3667.181
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.28
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 : 0xb00002a
cpu MHz : 3599.690
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125242956 kB
MemAvailable: 126735688 kB
Buffers: 383768 kB
Cached: 1934700 kB
SwapCached: 0 kB
Active: 910744 kB
Inactive: 4748184 kB
Active(anon): 1556 kB
Inactive(anon): 3376308 kB
Active(file): 909188 kB
Inactive(file): 1371876 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54616 kB
Writeback: 0 kB
AnonPages: 3339812 kB
Mapped: 139116 kB
Shmem: 37720 kB
KReclaimable: 102984 kB
Slab: 209620 kB
SReclaimable: 102984 kB
SUnreclaim: 106636 kB
KernelStack: 4152 kB
PageTables: 16180 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3839704 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62976 kB
HardwareCorrupted: 0 kB
AnonHugePages: 905216 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC030 at 2024-07-16 06:52:37