Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
IPBHS-SCIP 2025-06-09 | ? (TO) | 3600.03 | 3610.62 |
Name | PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-ab51-40-100.opb |
MD5SUM | 8fca917194ea3f00cf99a1d77833d022 |
Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -1285215 |
Best CPU time to get the best result obtained on this benchmark | 13.3284 |
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 | 12675 |
Total number of constraints | 11890 |
Number of constraints which are clauses | 11766 |
Number of constraints which are cardinality constraints (but not clauses) | 124 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1473 |
Number of terms in the objective function | 11734 |
Biggest coefficient in the objective function | 512291 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 500000167 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 512291 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 500000167 |
Number of bits of the biggest sum of numbers | 29 |
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 initialize IPBHS solver 0.00/0.01 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0 0.00/0.01 c optimizer = "scip" 0.00/0.01 c pbsolver = "roundingsat" 0.00/0.01 c use separate pbsolver for SIS 0.00/0.01 c load symmetries from file "" 0.00/0.01 c set time limit for symmetry computation to 100 seconds. 0.00/0.01 c set interchangeable summation variable limit to 3 0.00/0.01 c set sym compact max subset size to 5 0.00/0.01 c set explicit symmetry matrix usage to 1 0.00/0.01 c sym budget explicit to 100 0.00/0.01 c sym budget explicit lits to 6000 0.00/0.01 c sym budget compact to 100 0.00/0.01 c sym budget compact lits to 6000 0.00/0.01 c sym budget common to 0 0.00/0.01 c sym budget common lits to 0 0.00/0.01 c set sym generation to 's' 0.00/0.01 c set abstraction set creation to 10 iterations without LB change 0.00/0.01 c set abstraction set inputs to 0 0.00/0.01 c set abstraction set cluster min size to 2 0.00/0.01 c set abstraction set cluster max size to 100000000 0.00/0.01 c set abstraction set cluster activation limit to 2 0.00/0.01 c enable abstraction set require equal cost 0.00/0.01 c set abstraction set assumptions to 0 0.00/0.01 c set abstraction set constraint type to 0 0.00/0.01 c set abstract core extraction strategy to b 0.00/0.01 c set core extraction strategy to 2 0.00/0.01 c set core extraction shuffles 10 0.00/0.01 c set cores per iteration to 5 0.00/0.01 c set optimizer bound usage strategy to 2 0.00/0.01 c set optimizer max non-optimal iterations to 1000 0.00/0.01 c set small core cardinality limit to 2 0.00/0.01 c set max coef in cores to 1000000000 0.00/0.01 c set core processing techniques to 4095 0.00/0.01 c set SIS iterations to 5 0.00/0.01 c set SIS budget abs to 1000 0.00/0.01 c set SIS budget rel to 0.05 0.21/0.29 c limit for coefficient in constraints and objective to 1000000000 0.21/0.29 c will solve HOME/instance-4522260-1751599524.opb 0.21/0.29 c [0.03] will start solving 70.82/71.02 c [0.71] solve iteration 1, LB=-500000167, UB=1 70.82/71.02 c [1.58] solve iteration 2, LB=-1344206, UB=-274503 70.82/71.02 c [2.38] solve iteration 3, LB=-1344206, UB=-274503 70.82/71.02 c [3.17] solve iteration 4, LB=-1344206, UB=-282720 70.82/71.02 c [4.05] solve iteration 5, LB=-1344206, UB=-284675 70.82/71.02 c [12.74] solve iteration 6, LB=-1344206, UB=-322479 70.82/71.02 c [13.8] solve iteration 7, LB=-1344206, UB=-322479 70.82/71.02 c [15.02] solve iteration 8, LB=-1344206, UB=-322479 70.82/71.02 c [16.35] solve iteration 9, LB=-1344206, UB=-337848 70.82/71.02 c [17.72] solve iteration 10, LB=-1344206, UB=-337848 70.82/71.02 c [63.79] solve iteration 11, LB=-1344206, UB=-360151 70.82/71.02 c [65.25] solve iteration 12, LB=-1344206, UB=-372253 70.82/71.02 c [66.63] solve iteration 13, LB=-1344206, UB=-372253 70.82/71.02 c [67.94] solve iteration 14, LB=-1344206, UB=-372253 70.82/71.02 c [69.32] solve iteration 15, LB=-1344206, UB=-372253 134.45/134.85 c [132.81] solve iteration 16, LB=-1344206, UB=-372253 212.46/213.04 c [134.45] solve iteration 17, LB=-1344206, UB=-372253 212.46/213.04 c [136.01] solve iteration 18, LB=-1344206, UB=-372253 212.46/213.04 c [137.64] solve iteration 19, LB=-1344206, UB=-372253 212.46/213.04 c [139.19] solve iteration 20, LB=-1344206, UB=-372253 212.46/213.04 c [206.73] solve iteration 21, LB=-1344206, UB=-377643 212.46/213.04 c [208.59] solve iteration 22, LB=-1344206, UB=-377643 212.46/213.04 c [210.25] solve iteration 23, LB=-1344206, UB=-377643 214.25/214.83 c [212.24] solve iteration 24, LB=-1344206, UB=-377643 216.14/216.72 c [214.15] solve iteration 25, LB=-1344206, UB=-377643 218.03/218.64 c [216.21] solve iteration 26, LB=-1344206, UB=-378216 220.03/220.65 c [217.85] solve iteration 27, LB=-1344206, UB=-378216 226.11/226.70 c [220.01] solve iteration 28, LB=-1344206, UB=-378216 226.11/226.70 c [222.01] solve iteration 29, LB=-1344206, UB=-378216 226.11/226.70 c [223.94] solve iteration 30, LB=-1344206, UB=-378216 228.81/229.42 c [226.66] solve iteration 31, LB=-1344206, UB=-378716 231.00/231.67 c [228.58] solve iteration 32, LB=-1344206, UB=-378716 233.29/233.90 c [230.95] solve iteration 33, LB=-1344206, UB=-378716 269.18/269.95 c [233] solve iteration 34, LB=-1344206, UB=-378716 269.18/269.95 c [235.47] solve iteration 35, LB=-1344206, UB=-378716 269.18/269.95 c [237.63] solve iteration 36, LB=-1344206, UB=-378750 269.18/269.95 c [239.76] solve iteration 37, LB=-1344206, UB=-378750 269.18/269.95 c [241.69] solve iteration 38, LB=-1344206, UB=-378750 269.18/269.95 c [243.5] solve iteration 39, LB=-1344206, UB=-378750 269.18/269.95 c [245.8] solve iteration 40, LB=-1344206, UB=-378750 269.18/269.95 c [248.33] solve iteration 41, LB=-1344206, UB=-381757 269.18/269.95 c [250.68] solve iteration 42, LB=-1344206, UB=-381757 269.18/269.95 c [252.81] solve iteration 43, LB=-1344206, UB=-381757 269.18/269.95 c [255.31] solve iteration 44, LB=-1344206, UB=-381757 269.18/269.95 c [257.7] solve iteration 45, LB=-1344206, UB=-381757 269.18/269.95 c [260.35] solve iteration 46, LB=-1344206, UB=-385056 269.18/269.95 c [262.24] solve iteration 47, LB=-1344206, UB=-385056 269.18/269.95 c [264.8] solve iteration 48, LB=-1344206, UB=-385056 269.18/269.95 c [267.51] solve iteration 49, LB=-1344206, UB=-385056 956.10/958.72 c [269.99] solve iteration 50, LB=-1344206, UB=-385056 956.10/958.72 c [277.07] solve iteration 51, LB=-1344206, UB=-386042 956.10/958.72 c [279.47] solve iteration 52, LB=-1344206, UB=-386042 956.10/958.72 c [281.78] solve iteration 53, LB=-1344206, UB=-386042 956.10/958.72 c [284.11] solve iteration 54, LB=-1344206, UB=-386042 956.10/958.72 c [286.17] solve iteration 55, LB=-1344206, UB=-386042 956.10/958.72 c [289.02] solve iteration 56, LB=-1344206, UB=-389391 956.10/958.72 c [291.1] solve iteration 57, LB=-1344206, UB=-389391 956.10/958.72 c [293.58] solve iteration 58, LB=-1344206, UB=-389391 956.10/958.72 c [295.95] solve iteration 59, LB=-1344206, UB=-389391 956.10/958.72 c [298.7] solve iteration 60, LB=-1344206, UB=-389391 956.10/958.72 c [302.38] solve iteration 61, LB=-1344206, UB=-391160 956.10/958.72 c [304.79] solve iteration 62, LB=-1344206, UB=-391160 956.10/958.72 c [307.32] solve iteration 63, LB=-1344206, UB=-391160 956.10/958.72 c [310.02] solve iteration 64, LB=-1344206, UB=-391160 956.10/958.72 c [312.35] solve iteration 65, LB=-1344206, UB=-391160 956.10/958.72 c [314.99] solve iteration 66, LB=-1344206, UB=-392774 956.10/958.72 c [317.61] solve iteration 67, LB=-1344206, UB=-392774 956.10/958.72 c [320.1] solve iteration 68, LB=-1344206, UB=-392774 956.10/958.72 c [322.78] solve iteration 69, LB=-1344206, UB=-392774 956.10/958.72 c [325.6] solve iteration 70, LB=-1344206, UB=-392774 956.10/958.72 c [328.15] solve iteration 71, LB=-1344206, UB=-393476 956.10/958.72 c [330.8] solve iteration 72, LB=-1344206, UB=-393476 956.10/958.72 c [333.42] solve iteration 73, LB=-1344206, UB=-393476 956.10/958.72 c [336.31] solve iteration 74, LB=-1344206, UB=-393476 956.10/958.72 c [339.69] solve iteration 75, LB=-1344206, UB=-393476 956.10/958.72 c [342.38] solve iteration 76, LB=-1344206, UB=-394709 956.10/958.72 c [345.05] solve iteration 77, LB=-1344206, UB=-394709 956.10/958.72 c [347.46] solve iteration 78, LB=-1344206, UB=-394709 956.10/958.72 c [349.88] solve iteration 79, LB=-1344206, UB=-394709 956.10/958.72 c [352.85] solve iteration 80, LB=-1344206, UB=-394709 956.10/958.72 c [356.17] solve iteration 81, LB=-1344206, UB=-398066 956.10/958.72 c [359.03] solve iteration 82, LB=-1344206, UB=-398066 956.10/958.72 c [361.73] solve iteration 83, LB=-1344206, UB=-398066 956.10/958.72 c [364.4] solve iteration 84, LB=-1344206, UB=-398066 956.10/958.72 c [367.3] solve iteration 85, LB=-1344206, UB=-981015 956.10/958.72 c [412.26] solve iteration 86, LB=-1344206, UB=-981015 956.10/958.72 c [415.05] solve iteration 87, LB=-1344206, UB=-981015 956.10/958.72 c [417.8] solve iteration 88, LB=-1344206, UB=-981015 956.10/958.72 c [420.75] solve iteration 89, LB=-1344206, UB=-981015 956.10/958.72 c [423.64] solve iteration 90, LB=-1344206, UB=-1007886 956.10/958.72 c [465.29] solve iteration 91, LB=-1344206, UB=-1007886 956.10/958.72 c [468.02] solve iteration 92, LB=-1344206, UB=-1054925 956.10/958.72 c [471.1] solve iteration 93, LB=-1344206, UB=-1054925 956.10/958.72 c [473.82] solve iteration 94, LB=-1344206, UB=-1054925 956.10/958.72 c [476.77] solve iteration 95, LB=-1344206, UB=-1054925 956.10/958.72 c [522.2] solve iteration 96, LB=-1344206, UB=-1054925 956.10/958.72 c [525.13] solve iteration 97, LB=-1344206, UB=-1054925 956.10/958.72 c [528.01] solve iteration 98, LB=-1344206, UB=-1054925 956.10/958.72 c [530.85] solve iteration 99, LB=-1344206, UB=-1054925 956.10/958.72 c [533.94] solve iteration 100, LB=-1344206, UB=-1064652 956.10/958.72 c [575.7] solve iteration 101, LB=-1344206, UB=-1064652 956.10/958.72 c [579.26] solve iteration 102, LB=-1344206, UB=-1064652 956.10/958.72 c [582.71] solve iteration 103, LB=-1344206, UB=-1064652 956.10/958.72 c [585.73] solve iteration 104, LB=-1344206, UB=-1064652 956.10/958.72 c [588.88] solve iteration 105, LB=-1344206, UB=-1064652 956.10/958.72 c [642.85] solve iteration 106, LB=-1344206, UB=-1064652 956.10/958.72 c [645.6] solve iteration 107, LB=-1344206, UB=-1064652 956.10/958.72 c [648.86] solve iteration 108, LB=-1344206, UB=-1064652 956.10/958.72 c [652.11] solve iteration 109, LB=-1344206, UB=-1064652 956.10/958.72 c [655.38] solve iteration 110, LB=-1344206, UB=-1064652 956.10/958.72 c [744.18] solve iteration 111, LB=-1344206, UB=-1064652 956.10/958.72 c [747.31] solve iteration 112, LB=-1344206, UB=-1064652 956.10/958.72 c [750.86] solve iteration 113, LB=-1344206, UB=-1064652 956.10/958.72 c [754.25] solve iteration 114, LB=-1344206, UB=-1064652 956.10/958.72 c [757.57] solve iteration 115, LB=-1344206, UB=-1064652 956.10/958.72 c [839.53] solve iteration 116, LB=-1344206, UB=-1064652 956.10/958.72 c [842.33] solve iteration 117, LB=-1344206, UB=-1064652 956.10/958.72 c [844.86] solve iteration 118, LB=-1344206, UB=-1064652 956.10/958.72 c [847.54] solve iteration 119, LB=-1344206, UB=-1064652 956.10/958.72 c [850.3] solve iteration 120, LB=-1344206, UB=-1064652 956.10/958.72 c [948.27] solve iteration 121, LB=-1344206, UB=-1064652 956.10/958.72 c [950.93] solve iteration 122, LB=-1344206, UB=-1064652 956.10/958.72 c [953.69] solve iteration 123, LB=-1344206, UB=-1064652 1794.93/1800.03 c [956.4] solve iteration 124, LB=-1344206, UB=-1064652 1794.93/1800.03 c [959.05] solve iteration 125, LB=-1344206, UB=-1068188 1794.93/1800.03 c [1065.79] solve iteration 126, LB=-1344206, UB=-1068188 1794.93/1800.03 c [1068.44] solve iteration 127, LB=-1344206, UB=-1068188 1794.93/1800.03 c [1071.1] solve iteration 128, LB=-1344206, UB=-1068188 1794.93/1800.03 c [1074.41] solve iteration 129, LB=-1344206, UB=-1068188 1794.93/1800.03 c [1077.85] solve iteration 130, LB=-1344206, UB=-1068188 1794.93/1800.03 c [1213.93] solve iteration 131, LB=-1344206, UB=-1068188 1794.93/1800.03 c [1216.98] solve iteration 132, LB=-1344206, UB=-1068188 1794.93/1800.03 c [1220.03] solve iteration 133, LB=-1344206, UB=-1068188 1794.93/1800.03 c [1223.11] solve iteration 134, LB=-1344206, UB=-1068188 1794.93/1800.03 c [1226.14] solve iteration 135, LB=-1344206, UB=-1079046 1794.93/1800.03 c [1318.01] solve iteration 136, LB=-1344206, UB=-1079046 1794.93/1800.03 c [1321.05] solve iteration 137, LB=-1344206, UB=-1079046 1794.93/1800.03 c [1324.07] solve iteration 138, LB=-1344206, UB=-1079046 1794.93/1800.03 c [1326.89] solve iteration 139, LB=-1344206, UB=-1079046 1794.93/1800.03 c [1329.91] solve iteration 140, LB=-1344206, UB=-1079046 1794.93/1800.03 c [1445.22] solve iteration 141, LB=-1344206, UB=-1079046 1794.93/1800.03 c [1448.26] solve iteration 142, LB=-1344206, UB=-1079046 1794.93/1800.03 c [1451.26] solve iteration 143, LB=-1344206, UB=-1079046 1794.93/1800.03 c [1454.35] solve iteration 144, LB=-1344206, UB=-1080355 1794.93/1800.03 c [1457.37] solve iteration 145, LB=-1344206, UB=-1080355 1794.93/1800.03 c [1589.96] solve iteration 146, LB=-1344206, UB=-1080355 1794.93/1800.03 c [1593.32] solve iteration 147, LB=-1344206, UB=-1080355 1794.93/1800.03 c [1596.61] solve iteration 148, LB=-1344206, UB=-1080355 1794.93/1800.03 c [1599.98] solve iteration 149, LB=-1344206, UB=-1080355 1794.93/1800.03 c [1603.19] solve iteration 150, LB=-1344206, UB=-1081800 1794.93/1800.03 c [1779.4] solve iteration 151, LB=-1344206, UB=-1081800 1794.93/1800.03 c [1782.52] solve iteration 152, LB=-1344206, UB=-1084381 1794.93/1800.03 c [1788.89] solve iteration 153, LB=-1344206, UB=-1084381 1804.09/1809.24 c [1797.96] solve iteration 154, LB=-1331205, UB=-1084381 1818.05/1823.28 c [1805.39] solve iteration 155, LB=-1331205, UB=-1084381 1818.05/1823.28 c [1812.22] solve iteration 156, LB=-1331205, UB=-1084381 1826.83/1832.11 c [1821.54] solve iteration 157, LB=-1331205, UB=-1084381 2061.62/2067.56 c [1828.09] solve iteration 158, LB=-1331205, UB=-1084381 2061.62/2067.56 c [2032.29] solve iteration 159, LB=-1331205, UB=-1084381 2061.62/2067.56 c [2039.68] solve iteration 160, LB=-1331205, UB=-1084381 2061.62/2067.56 c [2047.22] solve iteration 161, LB=-1331205, UB=-1084381 2061.62/2067.56 c [2056.23] solve iteration 162, LB=-1331205, UB=-1084381 2225.66/2232.03 c [2062.91] solve iteration 163, LB=-1331205, UB=-1084381 2225.66/2232.03 c [2219.63] solve iteration 164, LB=-1331205, UB=-1084381 2235.42/2241.87 c [2229.72] solve iteration 165, LB=-1331205, UB=-1084381 2243.99/2250.41 c [2238.16] solve iteration 166, LB=-1331205, UB=-1084381 2704.43/2712.20 c [2247.39] solve iteration 167, LB=-1331205, UB=-1084381 2704.43/2712.20 c [2256.63] solve iteration 168, LB=-1331205, UB=-1084381 2704.43/2712.20 c [2440.7] solve iteration 169, LB=-1331205, UB=-1084381 2704.43/2712.20 c [2443.69] solve iteration 170, LB=-1331205, UB=-1089792 2704.43/2712.20 c [2447.15] solve iteration 171, LB=-1331205, UB=-1089792 2704.43/2712.20 c [2450.15] solve iteration 172, LB=-1331205, UB=-1089792 2704.43/2712.20 c [2453.16] solve iteration 173, LB=-1331205, UB=-1089792 2704.43/2712.20 c [2690.05] solve iteration 174, LB=-1331205, UB=-1100152 2704.43/2712.20 c [2698.02] solve iteration 175, LB=-1331205, UB=-1100152 2965.71/2974.31 c [2708.21] solve iteration 176, LB=-1331205, UB=-1100152 2965.71/2974.31 c [2718.37] solve iteration 177, LB=-1331205, UB=-1100152 2965.71/2974.31 c [2728.17] solve iteration 178, LB=-1331205, UB=-1100152 2965.71/2974.31 c [2959.16] solve iteration 179, LB=-1331205, UB=-1100152
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: 63837 MiB (63142 MiB free) memory of node 1: 64465 MiB (63719 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522260-1751599524/watcher-4522260-1751599524 -o /tmp/evaluation-result-4522260-1751599524/solver-4522260-1751599524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751599524-88026 --watchdog 3760 ./ipbhs_scip HOME/instance-4522260-1751599524.opb --optimizer scip --max-coef 1000000000 running on 2 cores: 0,2 CPU governors: performance: 0 2 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=88068, runsolver pid=88064 [startup+0.100072 s]* /proc/loadavg: 2.26 2.15 2.24 5/247 88077 /proc/meminfo: memFree=129673604/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=48528 memory=14664 CPUtime=0.09 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 2349 0 0 0 8 1 0 0 20 0 1 0 75631891 49692672 3666 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 12132 3666 1664 2790 0 5557 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 48528 KiB Current children cumulated memory: 14664 KiB [startup+0.214317 s]* /proc/loadavg: 2.26 2.15 2.24 6/247 88077 /proc/meminfo: memFree=129411024/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=52096 memory=22660 CPUtime=0.21 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 3511 0 0 0 15 6 0 0 20 0 1 0 75631891 53346304 5665 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 13024 5665 1664 2790 0 6449 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 52096 KiB Current children cumulated memory: 22660 KiB [startup+0.314065 s]* /proc/loadavg: 2.26 2.15 2.24 5/247 88077 /proc/meminfo: memFree=129143408/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=80924 memory=56948 CPUtime=0.31 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 10924 0 0 0 22 9 0 0 20 0 1 0 75631891 82866176 14237 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 20231 14237 3168 2790 0 13656 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 80924 KiB Current children cumulated memory: 56948 KiB [startup+0.700252 s] /proc/loadavg: 2.26 2.15 2.24 4/248 88082 /proc/meminfo: memFree=128684912/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=81868 memory=57716 CPUtime=0.68 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 11128 0 0 0 59 9 0 0 20 0 1 0 75631891 83832832 14429 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 20467 14429 3168 2790 0 13892 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 81868 KiB Current children cumulated memory: 57716 KiB [startup+1.50031 s] /proc/loadavg: 2.26 2.15 2.24 5/252 88086 /proc/meminfo: memFree=127536288/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=121416 memory=92020 CPUtime=1.48 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 19448 0 0 0 136 12 0 0 20 0 1 0 75631891 124329984 23005 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 30354 23005 3584 2790 0 23779 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 121416 KiB Current children cumulated memory: 92020 KiB [startup+3.11372 s] /proc/loadavg: 2.40 2.18 2.25 5/252 88086 /proc/meminfo: memFree=127247152/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=184748 memory=149676 CPUtime=3.08 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 37045 0 0 0 292 16 0 0 20 0 1 0 75631891 189181952 37419 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 46187 37419 3648 2790 0 39612 0 Current children cumulated CPU time: 3.08 s Current children cumulated vsize: 184748 KiB Current children cumulated memory: 149676 KiB [startup+6.30023 s] /proc/loadavg: 2.40 2.18 2.25 5/251 88086 /proc/meminfo: memFree=126088176/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=231768 memory=204364 CPUtime=6.26 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 51269 0 0 0 605 21 0 0 20 0 1 0 75631891 237330432 51091 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 57942 51091 3680 2790 0 51367 0 Current children cumulated CPU time: 6.26 s Current children cumulated vsize: 231768 KiB Current children cumulated memory: 204364 KiB [startup+12.7003 s] /proc/loadavg: 2.53 2.21 2.26 5/251 88086 /proc/meminfo: memFree=125354028/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=257764 memory=224560 CPUtime=12.65 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 53229 0 0 0 1243 22 0 0 20 0 1 0 75631891 263950336 56140 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 64441 56140 3680 2790 0 57866 0 Current children cumulated CPU time: 12.65 s Current children cumulated vsize: 257764 KiB Current children cumulated memory: 224560 KiB [startup+25.5003 s] /proc/loadavg: 2.93 2.32 2.30 5/251 88086 /proc/meminfo: memFree=124135216/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=474120 memory=438764 CPUtime=25.41 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 106455 0 0 0 2509 32 0 0 20 0 1 0 75631891 485498880 109691 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 118530 109691 3680 2790 0 111955 0 Current children cumulated CPU time: 25.41 s Current children cumulated vsize: 474120 KiB Current children cumulated memory: 438764 KiB [startup+51.1136 s] /proc/loadavg: 3.42 2.48 2.35 5/251 88087 /proc/meminfo: memFree=124007020/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=555028 memory=489120 CPUtime=50.97 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 107802 0 0 0 5056 41 0 0 20 0 1 0 75631891 568348672 122280 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 138757 122280 3680 2790 0 132182 0 Current children cumulated CPU time: 50.97 s Current children cumulated vsize: 555028 KiB Current children cumulated memory: 489120 KiB [startup+102.3 s] /proc/loadavg: 3.81 2.74 2.45 5/252 88090 /proc/meminfo: memFree=123171440/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=644328 memory=571712 CPUtime=102.03 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 118951 0 0 0 10146 57 0 0 20 0 1 0 75631891 659791872 142928 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 161082 142928 3680 2790 0 154507 0 Current children cumulated CPU time: 102.03 s Current children cumulated vsize: 644328 KiB Current children cumulated memory: 571712 KiB [startup+162.3 s] /proc/loadavg: 3.97 2.98 2.55 5/251 88092 /proc/meminfo: memFree=122624740/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=664864 memory=607200 CPUtime=161.88 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 125359 0 0 0 16119 69 0 0 20 0 1 0 75631891 680820736 151800 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 166216 151800 3680 2790 0 159641 0 Current children cumulated CPU time: 161.88 s Current children cumulated vsize: 664864 KiB Current children cumulated memory: 607200 KiB [startup+222.3 s] /proc/loadavg: 4.17 3.22 2.66 5/252 88142 /proc/meminfo: memFree=123837836/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=682272 memory=657404 CPUtime=221.73 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 144678 0 0 0 22091 82 0 0 20 0 1 0 75631891 698646528 164351 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 170568 164351 3680 2790 0 163993 0 Current children cumulated CPU time: 221.73 s Current children cumulated vsize: 682272 KiB Current children cumulated memory: 657404 KiB [startup+282.3 s] /proc/loadavg: 4.11 3.38 2.75 5/252 88144 /proc/meminfo: memFree=123734968/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=716996 memory=697272 CPUtime=281.56 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 214080 0 0 0 28052 104 0 0 20 0 1 0 75631891 734203904 174318 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 179249 174318 3680 2790 0 172674 0 Current children cumulated CPU time: 281.56 s Current children cumulated vsize: 716996 KiB Current children cumulated memory: 697272 KiB [startup+342.3 s] /proc/loadavg: 4.15 3.52 2.85 5/251 88146 /proc/meminfo: memFree=123697844/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=870924 memory=721436 CPUtime=341.38 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 268382 0 0 0 34020 118 0 0 20 0 1 0 75631891 891826176 180359 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 217731 180359 3680 2790 0 211156 0 Current children cumulated CPU time: 341.38 s Current children cumulated vsize: 870924 KiB Current children cumulated memory: 721436 KiB [startup+402.3 s] /proc/loadavg: 4.11 3.63 2.93 5/250 88148 /proc/meminfo: memFree=123489900/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=888936 memory=799260 CPUtime=401.24 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 289894 0 0 0 39995 129 0 0 20 0 1 0 75631891 910270464 199815 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 222234 199815 3680 2790 0 215659 0 Current children cumulated CPU time: 401.24 s Current children cumulated vsize: 888936 KiB Current children cumulated memory: 799260 KiB [startup+462.3 s] /proc/loadavg: 4.08 3.71 3.00 5/251 88155 /proc/meminfo: memFree=123423816/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=896152 memory=806300 CPUtime=461.09 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 293777 0 0 0 45968 141 0 0 20 0 1 0 75631891 917659648 201575 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 224038 201575 3680 2790 0 217463 0 Current children cumulated CPU time: 461.09 s ################ # More data... # ################ Current children cumulated memory: 1344256 KiB [startup+2862.3 s] /proc/loadavg: 4.09 4.09 4.01 5/251 88279 /proc/meminfo: memFree=121776084/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1711044 memory=1352448 CPUtime=2854.07 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 451103 0 0 0 284926 481 0 0 20 0 1 0 75631891 1752109056 338112 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 427761 338112 3712 2790 0 421186 0 Current children cumulated CPU time: 2854.07 s Current children cumulated vsize: 1711044 KiB Current children cumulated memory: 1352448 KiB [startup+2922.3 s] /proc/loadavg: 4.07 4.08 4.01 6/250 88281 /proc/meminfo: memFree=121770528/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1711044 memory=1352448 CPUtime=2913.88 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 451103 0 0 0 290899 489 0 0 20 0 1 0 75631891 1752109056 338112 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 427761 338112 3712 2790 0 421186 0 Current children cumulated CPU time: 2913.88 s Current children cumulated vsize: 1711044 KiB Current children cumulated memory: 1352448 KiB [startup+2982.3 s] /proc/loadavg: 4.48 4.18 4.05 5/250 88283 /proc/meminfo: memFree=121713660/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1711044 memory=1352448 CPUtime=2973.69 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 451120 0 0 0 296876 493 0 0 20 0 1 0 75631891 1752109056 338112 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 427761 338112 3712 2790 0 421186 0 Current children cumulated CPU time: 2973.69 s Current children cumulated vsize: 1711044 KiB Current children cumulated memory: 1352448 KiB [startup+3042.3 s] /proc/loadavg: 5.20 4.43 4.14 5/250 88285 /proc/meminfo: memFree=121685676/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1717996 memory=1361908 CPUtime=3033.5 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 453486 0 0 0 302853 497 0 0 20 0 1 0 75631891 1759227904 340477 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 429499 340477 3712 2790 0 422924 0 Current children cumulated CPU time: 3033.5 s Current children cumulated vsize: 1717996 KiB Current children cumulated memory: 1361908 KiB [startup+3102.3 s] /proc/loadavg: 5.25 4.61 4.23 5/250 88287 /proc/meminfo: memFree=121690040/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1717996 memory=1361908 CPUtime=3093.32 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 453486 0 0 0 308827 505 0 0 20 0 1 0 75631891 1759227904 340477 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 429499 340477 3712 2790 0 422924 0 Current children cumulated CPU time: 3093.32 s Current children cumulated vsize: 1717996 KiB Current children cumulated memory: 1361908 KiB [startup+3162.3 s] /proc/loadavg: 4.46 4.50 4.21 5/250 88288 /proc/meminfo: memFree=121406612/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1717996 memory=1361908 CPUtime=3153.13 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 453486 0 0 0 314801 512 0 0 20 0 1 0 75631891 1759227904 340477 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 429499 340477 3712 2790 0 422924 0 Current children cumulated CPU time: 3153.13 s Current children cumulated vsize: 1717996 KiB Current children cumulated memory: 1361908 KiB [startup+3222.3 s] /proc/loadavg: 4.28 4.44 4.20 5/250 88292 /proc/meminfo: memFree=121397144/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1717996 memory=1366004 CPUtime=3212.93 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 453493 0 0 0 320773 520 0 0 20 0 1 0 75631891 1759227904 341501 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 429499 341501 3712 2790 0 422924 0 Current children cumulated CPU time: 3212.93 s Current children cumulated vsize: 1717996 KiB Current children cumulated memory: 1366004 KiB [startup+3282.3 s] /proc/loadavg: 4.22 4.39 4.20 5/251 88297 /proc/meminfo: memFree=121370332/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1717996 memory=1394676 CPUtime=3272.74 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 453507 0 0 0 326747 527 0 0 20 0 1 0 75631891 1759227904 348669 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 429499 348669 3712 2790 0 422924 0 Current children cumulated CPU time: 3272.74 s Current children cumulated vsize: 1717996 KiB Current children cumulated memory: 1394676 KiB [startup+3342.3 s] /proc/loadavg: 4.13 4.33 4.18 5/251 88299 /proc/meminfo: memFree=121352152/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1734100 memory=1405948 CPUtime=3332.55 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 455317 0 0 0 332721 534 0 0 20 0 1 0 75631891 1775718400 351487 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 433525 351487 3712 2790 0 426950 0 Current children cumulated CPU time: 3332.55 s Current children cumulated vsize: 1734100 KiB Current children cumulated memory: 1405948 KiB [startup+3402.3 s] /proc/loadavg: 4.11 4.28 4.18 5/251 88301 /proc/meminfo: memFree=121344260/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1724172 memory=1400752 CPUtime=3392.36 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 456249 0 0 0 338698 538 0 0 20 0 1 0 75631891 1765552128 350188 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 431043 350188 3712 2790 0 424468 0 Current children cumulated CPU time: 3392.36 s Current children cumulated vsize: 1724172 KiB Current children cumulated memory: 1400752 KiB [startup+3462.3 s] /proc/loadavg: 4.09 4.25 4.17 5/252 88308 /proc/meminfo: memFree=121352976/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1724172 memory=1400752 CPUtime=3452.17 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 456249 0 0 0 344669 548 0 0 20 0 1 0 75631891 1765552128 350188 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 431043 350188 3712 2790 0 424468 0 Current children cumulated CPU time: 3452.17 s Current children cumulated vsize: 1724172 KiB Current children cumulated memory: 1400752 KiB [startup+3522.3 s] /proc/loadavg: 4.15 4.23 4.17 5/253 88311 /proc/meminfo: memFree=121356328/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1724172 memory=1400752 CPUtime=3511.98 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 456249 0 0 0 350643 555 0 0 20 0 1 0 75631891 1765552128 350188 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 431043 350188 3712 2790 0 424468 0 Current children cumulated CPU time: 3511.98 s Current children cumulated vsize: 1724172 KiB Current children cumulated memory: 1400752 KiB [startup+3582.3 s] /proc/loadavg: 4.15 4.22 4.17 5/251 88313 /proc/meminfo: memFree=121363204/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1724172 memory=1400752 CPUtime=3571.78 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 456249 0 0 0 356617 561 0 0 20 0 1 0 75631891 1765552128 350188 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 431043 350188 3712 2790 0 424468 0 Current children cumulated CPU time: 3571.78 s Current children cumulated vsize: 1724172 KiB Current children cumulated memory: 1400752 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3610.6 s] /proc/loadavg: 4.17 4.21 4.17 5/250 88322 /proc/meminfo: memFree=122268680/131382116 swapFree=33005528/33010684 [pid=88068] ppid=88064 vsize=1724172 memory=1400752 CPUtime=3600 cores=0,2 /proc/88068/stat : 88068 (ipbhs_scip) R 88064 88068 88016 0 -1 4194304 456251 0 0 0 359435 565 0 0 20 0 1 0 75631891 1765552128 350188 18446744073709551615 94016536739840 94016548166237 140730159409776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94016550301912 94016550346930 94016556855296 140730159417746 140730159417865 140730159417865 140730159423467 0 /proc/88068/statm: 431043 350188 3712 2790 0 424468 0 Current children cumulated CPU time: 3600 s Current children cumulated vsize: 1724172 KiB Current children cumulated memory: 1400752 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+3610.62 s] # the end of solver process 88068 was just reported to runsolver # Child ended because it received signal 15 (SIGTERM) # cumulated CPU time of all completed processes: user=3594.35 s, system=5.67362 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): 3610.62 CPU time (s): 3600.03 CPU user time (s): 3594.35 CPU system time (s): 5.67362 CPU usage (%): 99.7065 Max. virtual memory (cumulated for all children) (KiB): 1734100 Max. memory (cumulated for all children) (KiB): 1405948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3594.35 system time used= 5.67362 maximum resident set size= 1405948 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 456251 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= 145 involuntary context switches= 8203 # summary of solver processes directly reported to runsolver: # pid: 88068 # total CPU time (s): 3600.03 # total CPU user time (s): 3594.35 # total CPU system time (s): 5.67362 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 19.1622 second user time and 35.7406 second system time The end
Begin job on nodeC010 at 2025-07-04 05:25:24 IDJOB=4522260 IDBENCH=178655 IDSOLVER=3335 FILE ID=nodeC010/4522260-1751599524 RUNJOBID= nodeC010-1751599524-88026 SLURM_JOB_ID= 9598873 Free space on /tmp= 429996 MiB SOLVER NAME= IPBHS-SCIP 2025-06-09 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-ab51-40-100.opb COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522260-1751599524/watcher-4522260-1751599524 -o /tmp/evaluation-result-4522260-1751599524/solver-4522260-1751599524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751599524-88026 --watchdog 3760 ./ipbhs_scip HOME/instance-4522260-1751599524.opb --optimizer scip --max-coef 1000000000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8fca917194ea3f00cf99a1d77833d022 RANDOM SEED=353306865 nodeC010 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 : 0xb00001f cpu MHz : 1197.145 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 pti 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 : 6983.36 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 : 1197.458 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 pti 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 : 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 : 3700.000 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 pti 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 : 6983.36 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.150 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 pti 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 : 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 : 1197.134 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 pti 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 : 6983.36 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 : 1995.242 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 pti 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 : 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 : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 3700.000 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 pti 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 : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 129902148 kB MemAvailable: 129911656 kB Buffers: 228 kB Cached: 805972 kB SwapCached: 4296 kB Active: 302912 kB Inactive: 569928 kB Active(anon): 23208 kB Inactive(anon): 57072 kB Active(file): 279704 kB Inactive(file): 512856 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33005528 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 248508 kB Writeback: 16 kB AnonPages: 63404 kB Mapped: 99824 kB Shmem: 13620 kB KReclaimable: 113152 kB Slab: 198936 kB SReclaimable: 113152 kB SUnreclaim: 85784 kB KernelStack: 3824 kB PageTables: 2760 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 338232 kB VmallocTotal: 34359738367 kB VmallocUsed: 149256 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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: 205640 kB DirectMap2M: 12279808 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 429684 MiB End job on nodeC010 at 2025-07-04 06:25:36