Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | ? (TO) | 3600.04 | 3609.53 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern60-45.lin.opb |
| MD5SUM | e90ac6318c333aedb2302bda439cf6b8 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -119793 |
| Best CPU time to get the best result obtained on this benchmark | 3600.22 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 43689 |
| Total number of constraints | 87258 |
| Number of constraints which are clauses | 43629 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 43629 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 43689 |
| Biggest coefficient in the objective function | 22846 |
| Number of bits for the biggest coefficient in the objective function | 15 |
| Sum of the numbers in the objective function | 9057216 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 22846 |
| Number of bits of the biggest number in a constraint | 15 |
| Biggest sum of numbers in a constraint | 9057216 |
| Number of bits of the biggest sum of numbers | 24 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4508974-1751510338.opb>
0.20/0.25 c original problem has 43689 variables (43689 bin, 0 int, 0 impl, 0 cont) and 87258 constraints
0.20/0.25 c problem read in 0.25
0.39/0.50 o 0
0.50/0.52 c feasible solution found by trivial heuristic after 0.5 seconds, objective value 0.000000e+00
0.50/0.52 c presolving:
0.68/0.77 c (0.8s) running MILP presolver
1.98/2.09 c (2.1s) MILP presolver found nothing
2.17/2.25 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 43629 upgd conss, 0 impls, 0 clqs
2.47/2.52 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 87258 upgd conss, 0 impls, 0 clqs
4.77/4.83 c (round 3, medium) 0 del vars, 43629 del conss, 143020 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 87258 upgd conss, 0 impls, 143020 clqs
5.47/5.53 c (round 4, exhaustive) 0 del vars, 230278 del conss, 186649 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 87258 upgd conss, 0 impls, 143020 clqs
20.21/20.39 c (20.4s) probing: 1000/43689 (2.3%) - 0 fixings, 0 aggregations, 5068 implications, 0 bound changes
20.31/20.40 c (20.4s) probing: 1001/43689 (2.3%) - 0 fixings, 0 aggregations, 5071 implications, 0 bound changes
20.31/20.40 c (20.4s) probing aborted: 1000/1000 successive useless probings
20.31/20.40 c (20.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
20.51/20.61 c (20.6s) symmetry computation finished: 1 generators found (max: 1464, log10 of symmetry group size: 0.0) (symcode time: 0.14)
20.61/20.70 c dynamic symmetry handling statistics:
20.61/20.70 c orbitopal reduction: no components
20.61/20.70 c orbital reduction: no components
20.61/20.70 c lexicographic reduction: 1 permutations with support sizes 43436
20.61/20.70 c handled 1 out of 1 symmetry components
21.01/21.16 c presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):
21.01/21.16 c 0 deleted vars, 230278 deleted constraints, 186649 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
21.01/21.16 c 0 implications, 148091 cliques
21.01/21.16 c presolved problem has 43689 variables (43689 bin, 0 int, 0 impl, 0 cont) and 43629 constraints
21.01/21.16 c 43629 constraints of type <and>
21.01/21.16 c transformed objective value is always integral (scale: 1)
21.01/21.16 c Presolving Time: 20.70
21.01/21.16 c - non default parameters ----------------------------------------------------------------------
21.01/21.16 c # SCIP version 10.0.0
21.01/21.16 c
21.01/21.16 c # maximal time in seconds to run
21.01/21.16 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
21.01/21.16 c limits/time = 3596.997039
21.01/21.16 c
21.01/21.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
21.01/21.16 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
21.01/21.16 c limits/memory = 27900
21.01/21.16 c
21.01/21.16 c # belongs reading time to solving time?
21.01/21.16 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
21.01/21.16 c timing/reading = TRUE
21.01/21.16 c
21.01/21.16 c -----------------------------------------------------------------------------------------------
21.01/21.16 c start solving
21.10/21.21 c transformed 2/2 original solutions to the transformed problem space
21.10/21.22 c
22.40/22.56 o -946
22.40/22.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.40/22.56 c p22.5s| 1 | 0 | 0 | - | locks| 0 | 43k| 43k| 87k| 0 | 0 | 2 | 0 |-4.528608e+06 |-9.460000e+02 | Large | unknown
22.90/23.06 o -4022
22.90/23.06 c p23.1s| 1 | 0 | 0 | - | vbounds| 0 | 43k| 43k| 87k| 0 | 0 | 2 | 0 |-4.528608e+06 |-4.022000e+03 | Large | unknown
197.37/198.15 c 198s| 1 | 0 | 40338 | - | 905M | 0 | 43k| 43k| 87k| 0 | 0 | 14 | 0 |-2.264304e+06 |-4.022000e+03 | Large | unknown
197.47/198.26 o -22846
197.47/198.26 c r 198s| 1 | 0 | 40338 | - |rounding| 0 | 43k| 43k| 87k| 0 | 0 | 15 | 0 |-2.264304e+06 |-2.284600e+04 |9811.16%| unknown
222.58/223.40 c 223s| 1 | 0 | 42475 | - | 1303M | 0 | 43k| 43k| 89k|2000 | 1 | 15 | 0 |-2.162816e+06 |-2.284600e+04 |9366.94%| unknown
724.98/727.15 c 727s| 1 | 0 | 44674 | - | 1973M | 0 | 43k| 43k| 91k|3835 | 2 | 16 | 0 |-2.095732e+06 |-2.284600e+04 |9073.30%| unknown
1226.39/1229.80 c 1230s| 1 | 0 | 47387 | - | 2125M | 0 | 43k| 43k| 92k|5478 | 3 | 17 | 0 |-2.025752e+06 |-2.284600e+04 |8766.99%| unknown
1730.21/1734.97 c 1735s| 1 | 0 | 51116 | - | 2282M | 0 | 43k| 43k| 94k|7101 | 4 | 18 | 0 |-1.967336e+06 |-2.284600e+04 |8511.29%| unknown
1738.48/1743.30 c 1743s| 1 | 0 | 54141 | - | 2284M | 0 | 43k| 43k| 95k|8529 | 5 | 18 | 0 |-1.925337e+06 |-2.284600e+04 |8327.46%| unknown
2242.41/2248.69 c 2249s| 1 | 0 | 57268 | - | 2367M | 0 | 43k| 43k| 97k|9782 | 6 | 19 | 0 |-1.893323e+06 |-2.284600e+04 |8187.33%| unknown
2264.14/2270.49 c 2270s| 1 | 0 | 63422 | - | 2368M | 0 | 43k| 43k| 98k| 11k| 7 | 20 | 0 |-1.831000e+06 |-2.284600e+04 |7914.53%| unknown
2267.63/2273.94 c 2274s| 1 | 0 | 64350 | - | 2370M | 0 | 43k| 43k| 98k| 11k| 8 | 20 | 0 |-1.821692e+06 |-2.284600e+04 |7873.79%| unknown
2287.68/2294.08 c 2294s| 1 | 0 | 70031 | - | 2372M | 0 | 43k| 43k| 100k| 13k| 9 | 21 | 0 |-1.727906e+06 |-2.284600e+04 |7463.28%| unknown
2287.87/2294.28 o -61878
2287.87/2294.28 c r2294s| 1 | 0 | 70031 | - |shifting| 0 | 43k| 43k| 100k| 13k| 9 | 22 | 0 |-1.727906e+06 |-6.187800e+04 |2692.44%| unknown
2770.90/2778.40 c 2778s| 1 | 0 | 72311 | - | 2709M | 0 | 43k| 43k| 101k| 14k| 10 | 22 | 0 |-1.703505e+06 |-6.187800e+04 |2653.01%| unknown
2804.61/2812.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2804.61/2812.28 c 2812s| 1 | 0 | 81723 | - | 2710M | 0 | 43k| 43k| 102k| 15k| 11 | 23 | 0 |-1.623572e+06 |-6.187800e+04 |2523.83%| unknown
2811.89/2819.53 c 2820s| 1 | 0 | 83805 | - | 2711M | 0 | 43k| 43k| 103k| 16k| 12 | 24 | 0 |-1.607963e+06 |-6.187800e+04 |2498.60%| unknown
2816.18/2823.89 c 2824s| 1 | 0 | 85030 | - | 2712M | 0 | 43k| 43k| 103k| 16k| 13 | 25 | 0 |-1.601016e+06 |-6.187800e+04 |2487.38%| unknown
2833.74/2841.46 c 2841s| 1 | 0 | 89826 | - | 2713M | 0 | 43k| 43k| 105k| 18k| 14 | 26 | 0 |-1.565079e+06 |-6.187800e+04 |2429.30%| unknown
2833.84/2841.59 o -74297
2833.84/2841.59 c r2842s| 1 | 0 | 89826 | - |shifting| 0 | 43k| 43k| 105k| 18k| 14 | 27 | 0 |-1.565079e+06 |-7.429700e+04 |2006.52%| unknown
3303.99/3312.84 c 3313s| 1 | 0 | 95473 | - | 2920M | 0 | 43k| 43k| 106k| 19k| 15 | 27 | 0 |-1.528323e+06 |-7.429700e+04 |1957.05%| unknown
3352.88/3361.86 c 3362s| 1 | 0 |105718 | - | 2921M | 0 | 43k| 43k| 107k| 20k| 16 | 28 | 0 |-1.465206e+06 |-7.429700e+04 |1872.09%| unknown
3361.86/3370.82 c 3371s| 1 | 0 |108286 | - | 2922M | 0 | 43k| 43k| 107k| 21k| 17 | 29 | 0 |-1.455450e+06 |-7.429700e+04 |1858.96%| unknown
3385.80/3394.85 c 3395s| 1 | 0 |114890 | - | 2922M | 0 | 43k| 43k| 108k| 22k| 18 | 30 | 0 |-1.423517e+06 |-7.429700e+04 |1815.98%| unknown
3400.46/3409.57 c 3410s| 1 | 0 |119103 | - | 2924M | 0 | 43k| 43k| 109k| 22k| 19 | 31 | 0 |-1.406683e+06 |-7.429700e+04 |1793.32%| unknown
3405.15/3414.28 c 3414s| 1 | 0 |120385 | - | 2926M | 0 | 43k| 43k| 109k| 23k| 20 | 32 | 0 |-1.404041e+06 |-7.429700e+04 |1789.77%| unknown
3420.31/3429.43 c 3429s| 1 | 0 |124447 | - | 2927M | 0 | 43k| 43k| 110k| 23k| 21 | 32 | 0 |-1.387900e+06 |-7.429700e+04 |1768.04%| unknown
3424.40/3433.55 c 3434s| 1 | 0 |125542 | - | 2928M | 0 | 43k| 43k| 110k| 23k| 22 | 33 | 0 |-1.385564e+06 |-7.429700e+04 |1764.90%| unknown
3429.49/3438.66 c 3439s| 1 | 0 |126869 | - | 2930M | 0 | 43k| 43k| 110k| 24k| 23 | 34 | 0 |-1.382787e+06 |-7.429700e+04 |1761.16%| unknown
3436.77/3445.91 c 3446s| 1 | 0 |128783 | - | 2930M | 0 | 43k| 43k| 110k| 24k| 24 | 35 | 0 |-1.377635e+06 |-7.429700e+04 |1754.23%| unknown
ERROR: no interpretation found !
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: 63665 MiB (60108 MiB free)
memory of node 1: 64507 MiB (62360 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508974-1751510338/watcher-4508974-1751510338 -o /tmp/evaluation-result-4508974-1751510338/solver-4508974-1751510338 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751506081-77371 --watchdog 3760 pbscip -f HOME/instance-4508974-1751510338.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=78421, runsolver pid=78418
[startup+0.100069 s]*
/proc/loadavg: 4.10 4.09 4.09 5/266 78422
/proc/meminfo: memFree=125344524/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=106364 memory=76672 CPUtime=0.09 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 16254 0 0 0 6 3 0 0 20 0 1 0 66711620 108916736 19168 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 26591 19168 3232 3530 0 18042 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106364 KiB
Current children cumulated memory: 76672 KiB
[startup+0.205817 s]*
/proc/loadavg: 4.10 4.09 4.09 5/266 78422
/proc/meminfo: memFree=125320584/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=131208 memory=101120 CPUtime=0.2 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 22374 0 0 0 16 4 0 0 20 0 1 0 66711620 134356992 25280 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 32802 25280 3232 3530 0 24253 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 131208 KiB
Current children cumulated memory: 101120 KiB
[startup+0.305668 s]*
/proc/loadavg: 4.10 4.09 4.09 5/266 78422
/proc/meminfo: memFree=125272452/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=180724 memory=153444 CPUtime=0.3 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 36825 0 0 0 24 6 0 0 20 0 1 0 66711620 185061376 38361 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 45181 38361 3520 3530 0 36632 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 180724 KiB
Current children cumulated memory: 153444 KiB
[startup+0.700214 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 78422
/proc/meminfo: memFree=125167620/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=322524 memory=277468 CPUtime=0.68 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 66877 0 0 0 56 12 0 0 20 0 1 0 66711620 330264576 69367 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 80631 69367 3584 3530 0 72082 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 322524 KiB
Current children cumulated memory: 277468 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 78422
/proc/meminfo: memFree=125086448/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=368552 memory=330800 CPUtime=1.47 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 75128 0 0 0 133 14 0 0 20 0 1 0 66711620 377397248 82700 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 92138 82700 3712 3530 0 83589 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 368552 KiB
Current children cumulated memory: 330800 KiB
[startup+3.10553 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 78422
/proc/meminfo: memFree=125046824/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=378532 memory=339696 CPUtime=3.08 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 96423 0 0 0 288 20 0 0 20 0 1 0 66711620 387616768 84924 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 94633 84924 3744 3530 0 86084 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 378532 KiB
Current children cumulated memory: 339696 KiB
[startup+6.30019 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 78422
/proc/meminfo: memFree=124966544/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=457036 memory=417264 CPUtime=6.26 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 115022 0 0 0 603 23 0 0 20 0 1 0 66711620 468004864 104316 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 114259 104316 3744 3530 0 105710 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 457036 KiB
Current children cumulated memory: 417264 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 78423
/proc/meminfo: memFree=124962708/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=457036 memory=417264 CPUtime=12.64 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 115026 0 0 0 1241 23 0 0 20 0 1 0 66711620 468004864 104316 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 114259 104316 3744 3530 0 105710 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 457036 KiB
Current children cumulated memory: 417264 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 78423
/proc/meminfo: memFree=124576064/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=1015988 memory=817092 CPUtime=25.39 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 214152 0 0 0 2501 38 0 0 20 0 1 0 66711620 1040371712 204273 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 253997 204273 3904 3530 0 245448 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1015988 KiB
Current children cumulated memory: 817092 KiB
[startup+51.1057 s]
/proc/loadavg: 4.04 4.07 4.08 5/265 78424
/proc/meminfo: memFree=124563944/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=1017648 memory=819524 CPUtime=50.91 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 214762 0 0 0 5052 39 0 0 20 0 1 0 66711620 1042071552 204881 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 254412 204881 3904 3530 0 245863 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1017648 KiB
Current children cumulated memory: 819524 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 78427
/proc/meminfo: memFree=124522840/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=1027732 memory=830532 CPUtime=101.92 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 217504 0 0 0 10153 39 0 0 20 0 1 0 66711620 1052397568 207633 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 256933 207633 3936 3530 0 248384 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1027732 KiB
Current children cumulated memory: 830532 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 78429
/proc/meminfo: memFree=124530624/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=1034868 memory=841156 CPUtime=161.7 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 220173 0 0 0 16130 40 0 0 20 0 1 0 66711620 1059704832 210289 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 258717 210289 3936 3530 0 250168 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 1034868 KiB
Current children cumulated memory: 841156 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 78434
/proc/meminfo: memFree=123986104/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=1609344 memory=1375280 CPUtime=221.49 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 293513 0 0 0 22093 56 0 0 20 0 1 0 66711620 1647968256 343820 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 402336 343820 3968 3530 0 393787 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 1609344 KiB
Current children cumulated memory: 1375280 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/265 78440
/proc/meminfo: memFree=123983108/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=1609344 memory=1380400 CPUtime=281.34 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 294870 0 0 0 28077 57 0 0 20 0 1 0 66711620 1647968256 345100 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 402336 345100 3968 3530 0 393787 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 1609344 KiB
Current children cumulated memory: 1380400 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/267 78445
/proc/meminfo: memFree=123827624/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=1749972 memory=1517872 CPUtime=341.18 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 329361 0 0 0 34056 62 0 0 20 0 1 0 66711620 1791971328 379468 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 437493 379468 3968 3530 0 428944 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 1749972 KiB
Current children cumulated memory: 1517872 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 78448
/proc/meminfo: memFree=123715168/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=1902716 memory=1668236 CPUtime=401.03 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 365555 0 0 0 40034 69 0 0 20 0 1 0 66711620 1948381184 417059 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 475679 417059 3968 3530 0 467130 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 1902716 KiB
Current children cumulated memory: 1668236 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 78451
/proc/meminfo: memFree=123592624/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=2051340 memory=1814504 CPUtime=460.88 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 401230 0 0 0 46013 75 0 0 20 0 1 0 66711620 2100572160 453626 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 512835 453626 3968 3530 0 504286 0
Current children cumulated CPU time: 460.88 s
################
# More data... #
################
Current children cumulated memory: 2918848 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 78761
/proc/meminfo: memFree=123278424/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3095288 memory=2918848 CPUtime=2914.44 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 623740 0 0 0 291327 117 0 0 20 0 1 0 66711620 3169574912 729712 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 773822 729712 3968 3530 0 765273 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 3095288 KiB
Current children cumulated memory: 2918848 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 78854
/proc/meminfo: memFree=123687344/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3095288 memory=2920640 CPUtime=2974.29 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 623986 0 0 0 297312 117 0 0 20 0 1 0 66711620 3169574912 730160 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 773822 730160 3968 3530 0 765273 0
Current children cumulated CPU time: 2974.29 s
Current children cumulated vsize: 3095288 KiB
Current children cumulated memory: 2920640 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 78858
/proc/meminfo: memFree=123420028/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3095288 memory=2921024 CPUtime=3034.14 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 623989 0 0 0 303297 117 0 0 20 0 1 0 66711620 3169574912 730256 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 773822 730256 3968 3530 0 765273 0
Current children cumulated CPU time: 3034.14 s
Current children cumulated vsize: 3095288 KiB
Current children cumulated memory: 2921024 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/266 78860
/proc/meminfo: memFree=123068608/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3104028 memory=2931480 CPUtime=3094.01 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 624642 0 0 0 309283 118 0 0 20 0 1 0 66711620 3178524672 732870 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 776007 732870 3968 3530 0 767458 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 3104028 KiB
Current children cumulated memory: 2931480 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 78862
/proc/meminfo: memFree=122348096/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3114520 memory=2935116 CPUtime=3153.87 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 624806 0 0 0 315269 118 0 0 20 0 1 0 66711620 3189268480 733779 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 778630 733779 3968 3530 0 770081 0
Current children cumulated CPU time: 3153.87 s
Current children cumulated vsize: 3114520 KiB
Current children cumulated memory: 2935116 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 78866
/proc/meminfo: memFree=122101768/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3177608 memory=3005904 CPUtime=3213.72 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 640696 0 0 0 321251 121 0 0 20 0 1 0 66711620 3253870592 751476 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 794402 751476 3968 3530 0 785853 0
Current children cumulated CPU time: 3213.72 s
Current children cumulated vsize: 3177608 KiB
Current children cumulated memory: 3005904 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 4/262 78882
/proc/meminfo: memFree=122796508/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3258004 memory=3086912 CPUtime=3273.57 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 658125 0 0 0 327233 124 0 0 20 0 1 0 66711620 3336196096 771728 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 814501 771728 3968 3530 0 805952 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 3258004 KiB
Current children cumulated memory: 3086912 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 78921
/proc/meminfo: memFree=120995452/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3267928 memory=3096856 CPUtime=3333.42 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 659299 0 0 0 333217 125 0 0 20 0 1 0 66711620 3346358272 774214 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 816982 774214 3968 3530 0 808433 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 3267928 KiB
Current children cumulated memory: 3096856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 78923
/proc/meminfo: memFree=120980208/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3267928 memory=3097112 CPUtime=3393.28 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 659307 0 0 0 339203 125 0 0 20 0 1 0 66711620 3346358272 774278 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 816982 774278 3968 3530 0 808433 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 3267928 KiB
Current children cumulated memory: 3097112 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 78925
/proc/meminfo: memFree=120962988/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3267928 memory=3098520 CPUtime=3453.13 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 659379 0 0 0 345188 125 0 0 20 0 1 0 66711620 3346358272 774630 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 816982 774630 3968 3530 0 808433 0
Current children cumulated CPU time: 3453.13 s
Current children cumulated vsize: 3267928 KiB
Current children cumulated memory: 3098520 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 78927
/proc/meminfo: memFree=120573644/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3267928 memory=3102488 CPUtime=3513 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 659563 0 0 0 351175 125 0 0 20 0 1 0 66711620 3346358272 775622 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 816982 775622 3968 3530 0 808433 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 3267928 KiB
Current children cumulated memory: 3102488 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 78929
/proc/meminfo: memFree=120380360/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3267928 memory=3106456 CPUtime=3572.86 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 660219 0 0 0 357161 125 0 0 20 0 1 0 66711620 3346358272 776614 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 816982 776614 3968 3530 0 808433 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 3267928 KiB
Current children cumulated memory: 3106456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 78930
/proc/meminfo: memFree=120280404/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3267928 memory=3106584 CPUtime=3600 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 660222 0 0 0 359875 125 0 0 20 0 1 0 66711620 3346358272 776646 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 816982 776646 3968 3530 0 808433 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3267928 KiB
Current children cumulated memory: 3106584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.53 s]
# the end of solver process 78421 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.76 s, system=1.28554 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 78930
/proc/meminfo: memFree=120280404/131250000 swapFree=33010416/33010684
[pid=78421] ppid=78418 vsize=3267928 memory=3106584 CPUtime=3600 cores=5,7
/proc/78421/stat : 78421 (pbscip) R 78418 78421 77358 0 -1 4194304 660222 0 0 0 359875 125 0 0 20 0 1 0 66711620 3346358272 776646 18446744073709551615 4235264 18693293 140722681050608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33439744 140722681059721 140722681059820 140722681059820 140722681065422 0
/proc/78421/statm: 816982 776646 3968 3530 0 808433 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3267928 KiB
Current children cumulated memory: 3106584 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.53
CPU time (s): 3600.04
CPU user time (s): 3598.76
CPU system time (s): 1.28554
CPU usage (%): 99.7371
Max. virtual memory (cumulated for all children) (KiB): 3267928
Max. memory (cumulated for all children) (KiB): 3106584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.76
system time used= 1.28554
maximum resident set size= 3106584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 660222
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= 144
involuntary context switches= 2909
# summary of solver processes directly reported to runsolver:
# pid: 78421
# total CPU time (s): 3600.04
# total CPU user time (s): 3598.76
# total CPU system time (s): 1.28554
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75304 second user time and 15.175 second system time
The end
Begin job on nodeC018 at 2025-07-03 04:38:58 IDJOB=4508974 IDBENCH=158542 IDSOLVER=3365 FILE ID=nodeC018/4508974-1751510338 RUNJOBID= nodeC018-1751506081-77371 SLURM_JOB_ID= 9598599 Free space on /tmp= 432848 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-45.lin.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508974-1751510338/watcher-4508974-1751510338 -o /tmp/evaluation-result-4508974-1751510338/solver-4508974-1751510338 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751506081-77371 --watchdog 3760 pbscip -f HOME/instance-4508974-1751510338.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e90ac6318c333aedb2302bda439cf6b8 RANDOM SEED=1527411764 nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3599.824 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 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 : 3599.812 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 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 : 3576.330 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 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 : 3635.821 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 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 : 3599.869 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 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 : 3535.525 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 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 : 3700.000 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 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.824 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 125408816 kB MemAvailable: 125428156 kB Buffers: 2128 kB Cached: 784776 kB SwapCached: 32 kB Active: 4769008 kB Inactive: 367948 kB Active(anon): 4367808 kB Inactive(anon): 288 kB Active(file): 401200 kB Inactive(file): 367660 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 22572 kB Writeback: 12 kB AnonPages: 4353092 kB Mapped: 139152 kB Shmem: 18044 kB KReclaimable: 179036 kB Slab: 269352 kB SReclaimable: 179036 kB SUnreclaim: 90316 kB KernelStack: 4288 kB PageTables: 12068 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 4992716 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1533952 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432840 MiB End job on nodeC018 at 2025-07-03 05:39:07