Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | SAT (TO) | -29 | 1800.85 | 1801.18 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_3.opb |
| MD5SUM | 1b4456ec5e57b53956abc30521c99789 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -29 |
| Best CPU time to get the best result obtained on this benchmark | 1797.7 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -30 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 45 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6216 |
| Sum of products size (including duplicates) | 12432 |
| Number of different products | 3108 |
| Sum of products size | 6216 |
0.00/0.01 c SCIP version 1.1.0.7 0.00/0.01 c LP-Solver SoPlex 1.4.1 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c read problem <HOME/instance-3737290-1338741280.opb> 0.00/0.01 c original problem has 3308 variables (3308 bin, 0 int, 0 impl, 0 cont) and 3308 constraints 0.00/0.02 c start presolving problem 0.00/0.02 c presolving: 0.02/0.08 c (round 1) 3108 del vars, 200 del conss, 3108 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12432 impls, 0 clqs 0.09/0.17 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.17 c presolving (2 rounds): 0.09/0.17 c 3108 deleted vars, 200 deleted constraints, 3108 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.17 c 18648 implications, 0 cliques 0.09/0.17 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3108 constraints 0.09/0.17 c 3108 constraints of type <and> 0.09/0.17 c transformed objective value is always integral (scale: 1) 0.09/0.17 c Presolving Time: 0.09 0.09/0.17 c OPT-NLC 0.09/0.17 c ----------------------------------------------------------------------------------------------- 0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/memory = c 13950 0.09/0.17 c # maximal time in seconds to run 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/time = c 1791 0.09/0.17 c # frequency for displaying node information lines 0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.17 c display/freq = c 10000 0.09/0.17 c ----------------------------------------------------------------------------------------------- 0.09/0.17 c start solving problem 0.09/0.17 c 0.09/0.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.19 c 0.1s| 1 | 0 | 202 | 11M| 0 | 200 | 200 |3108 |3108 | 200 |3108 | 0 | 0 | 0 |-1.000000e+02 | -- | Inf 0.09/0.19 o -16 0.09/0.19 c R 0.1s| 1 | 0 | 202 | 11M| 0 | 200 | 200 |3108 |3108 | 200 |3108 | 0 | 0 | 0 |-1.000000e+02 |-1.600000e+01 | 84.00% 0.19/0.24 c 0.1s| 1 | 0 | 326 | 11M| 0 | 189 | 200 |3108 |3108 | 200 |3117 | 9 | 0 | 0 |-9.450000e+01 |-1.600000e+01 | 83.07% 0.19/0.24 o -20 0.19/0.24 c R 0.1s| 1 | 0 | 326 | 11M| 0 | 189 | 200 |3108 |3108 | 200 |3117 | 9 | 0 | 0 |-9.450000e+01 |-2.000000e+01 | 78.84% 0.28/0.30 c 0.2s| 1 | 0 | 389 | 11M| 0 | 183 | 200 |3108 |3108 | 200 |3121 | 13 | 0 | 0 |-9.150000e+01 |-2.000000e+01 | 78.14% 0.28/0.36 c 0.3s| 1 | 0 | 450 | 11M| 0 | 177 | 200 |3108 |3108 | 200 |3127 | 19 | 0 | 0 |-8.850000e+01 |-2.000000e+01 | 77.40% 0.28/0.37 o -21 0.28/0.37 c R 0.3s| 1 | 0 | 450 | 11M| 0 | 177 | 200 |3108 |3108 | 200 |3127 | 19 | 0 | 0 |-8.850000e+01 |-2.100000e+01 | 76.27% 0.38/0.43 c 0.3s| 1 | 0 | 555 | 11M| 0 | 173 | 200 |3108 |3108 | 200 |3134 | 26 | 0 | 0 |-8.650000e+01 |-2.100000e+01 | 75.72% 0.49/0.50 c 0.4s| 1 | 0 | 654 | 11M| 0 | 166 | 200 |3108 |3108 | 200 |3140 | 32 | 0 | 0 |-8.300000e+01 |-2.100000e+01 | 74.70% 0.49/0.57 c 0.5s| 1 | 0 | 732 | 11M| 0 | 163 | 200 |3108 |3108 | 200 |3146 | 38 | 0 | 0 |-8.150000e+01 |-2.100000e+01 | 74.23% 0.59/0.65 c 0.6s| 1 | 0 | 844 | 11M| 0 | 160 | 200 |3108 |3108 | 200 |3153 | 45 | 0 | 0 |-8.000000e+01 |-2.100000e+01 | 73.75% 0.69/0.77 c 0.7s| 1 | 0 | 1034 | 11M| 0 | 155 | 200 |3108 |3108 | 200 |3162 | 54 | 0 | 0 |-7.750000e+01 |-2.100000e+01 | 72.90% 0.79/0.88 c 0.8s| 1 | 0 | 1225 | 11M| 0 | 153 | 200 |3108 |3108 | 200 |3167 | 59 | 0 | 0 |-7.650000e+01 |-2.100000e+01 | 72.55% 0.88/0.97 c 0.9s| 1 | 0 | 1383 | 11M| 0 | 151 | 200 |3108 |3108 | 200 |3173 | 65 | 0 | 0 |-7.550000e+01 |-2.100000e+01 | 72.19% 1.00/1.03 c 0.9s| 1 | 0 | 1492 | 11M| 0 | 149 | 200 |3108 |3108 | 200 | 368 | 74 | 0 | 0 |-7.450000e+01 |-2.100000e+01 | 71.81% 1.00/1.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.00/1.06 c 1.0s| 1 | 0 | 1671 | 11M| 0 | 138 | 200 |3108 |3108 | 200 | 375 | 81 | 0 | 0 |-7.400000e+01 |-2.100000e+01 | 71.62% 1.00/1.09 c 1.0s| 1 | 0 | 1862 | 12M| 0 | 138 | 200 |3108 |3108 | 200 | 479 | 185 | 0 | 0 |-7.300000e+01 |-2.100000e+01 | 71.23% 1.10/1.13 c 1.0s| 1 | 0 | 2087 | 12M| 0 | 142 | 200 |3108 |3108 | 200 | 551 | 257 | 0 | 0 |-7.200000e+01 |-2.100000e+01 | 70.83% 1.10/1.16 c 1.1s| 1 | 0 | 2252 | 12M| 0 | 139 | 200 |3108 |3108 | 200 | 578 | 284 | 0 | 0 |-7.150000e+01 |-2.100000e+01 | 70.63% 1.18/1.20 c 1.1s| 1 | 0 | 2488 | 12M| 0 | 145 | 200 |3108 |3108 | 200 | 614 | 320 | 0 | 0 |-7.050000e+01 |-2.100000e+01 | 70.21% 1.18/1.28 c 1.2s| 1 | 0 | 2792 | 12M| 0 | 170 | 200 |3108 |3108 | 200 | 610 | 465 | 0 | 0 |-6.833333e+01 |-2.100000e+01 | 69.27% 1.29/1.37 c 1.2s| 1 | 0 | 3067 | 13M| 0 | 167 | 200 |3108 |3108 | 200 | 734 | 589 | 0 | 0 |-6.562500e+01 |-2.100000e+01 | 68.00% 1.39/1.44 c 1.3s| 1 | 0 | 3310 | 13M| 0 | 138 | 200 |3108 |3108 | 200 | 800 | 655 | 0 | 0 |-6.450000e+01 |-2.100000e+01 | 67.44% 1.49/1.52 c 1.4s| 1 | 0 | 3672 | 13M| 0 | 161 | 200 |3108 |3108 | 200 | 808 | 663 | 0 | 0 |-6.350000e+01 |-2.100000e+01 | 66.93% 1.49/1.58 c 1.5s| 1 | 0 | 3931 | 13M| 0 | 162 | 200 |3108 |3108 | 200 | 857 | 712 | 0 | 0 |-6.202273e+01 |-2.100000e+01 | 66.14% 1.59/1.66 c 1.5s| 1 | 0 | 4273 | 14M| 0 | 172 | 200 |3108 |3108 | 200 | 892 | 747 | 0 | 0 |-6.125704e+01 |-2.100000e+01 | 65.72% 1.69/1.74 c 1.6s| 1 | 0 | 4536 | 14M| 0 | 165 | 200 |3108 |3108 | 200 | 835 | 812 | 0 | 0 |-5.995238e+01 |-2.100000e+01 | 64.97% 1.78/1.80 c 1.7s| 1 | 0 | 4790 | 15M| 0 | 160 | 200 |3108 |3108 | 200 | 866 | 843 | 0 | 0 |-5.920370e+01 |-2.100000e+01 | 64.53% 1.78/1.87 c 1.7s| 1 | 0 | 4977 | 15M| 0 | 165 | 200 |3108 |3108 | 200 | 938 | 915 | 0 | 0 |-5.869605e+01 |-2.100000e+01 | 64.22% 1.88/1.94 c 1.8s| 1 | 0 | 5259 | 16M| 0 | 173 | 200 |3108 |3108 | 200 | 952 | 929 | 0 | 0 |-5.835729e+01 |-2.100000e+01 | 64.01% 1.99/2.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.99/2.04 c 1.9s| 1 | 0 | 5546 | 16M| 0 | 173 | 200 |3108 |3108 | 200 | 983 | 960 | 0 | 0 |-5.764472e+01 |-2.100000e+01 | 63.57% 2.10/2.12 c 2.0s| 1 | 0 | 5794 | 16M| 0 | 174 | 200 |3108 |3108 | 200 |1018 | 995 | 0 | 0 |-5.710859e+01 |-2.100000e+01 | 63.23% 2.20/2.24 c 2.1s| 1 | 0 | 6115 | 17M| 0 | 182 | 200 |3108 |3108 | 200 | 660 |1021 | 0 | 0 |-5.635377e+01 |-2.100000e+01 | 62.74% 2.29/2.31 c 2.2s| 1 | 0 | 6358 | 17M| 0 | 184 | 200 |3108 |3108 | 200 | 687 |1048 | 0 | 0 |-5.561374e+01 |-2.100000e+01 | 62.24% 2.29/2.37 c 2.2s| 1 | 0 | 6493 | 17M| 0 | 179 | 200 |3108 |3108 | 200 | 714 |1075 | 0 | 0 |-5.515397e+01 |-2.100000e+01 | 61.92% 2.39/2.43 c 2.3s| 1 | 0 | 6642 | 17M| 0 | 182 | 200 |3108 |3108 | 200 | 779 |1140 | 0 | 0 |-5.491344e+01 |-2.100000e+01 | 61.76% 2.49/2.50 c 2.4s| 1 | 0 | 6797 | 17M| 0 | 186 | 200 |3108 |3108 | 200 | 803 |1164 | 0 | 0 |-5.451034e+01 |-2.100000e+01 | 61.48% 2.49/2.58 c 2.5s| 1 | 0 | 6973 | 17M| 0 | 187 | 200 |3108 |3108 | 200 | 813 |1174 | 0 | 0 |-5.412662e+01 |-2.100000e+01 | 61.20% 2.59/2.66 c 2.5s| 1 | 0 | 7159 | 17M| 0 | 187 | 200 |3108 |3108 | 200 | 591 |1188 | 0 | 0 |-5.364679e+01 |-2.100000e+01 | 60.86% 2.69/2.72 c 2.6s| 1 | 0 | 7299 | 17M| 0 | 185 | 200 |3108 |3108 | 200 | 604 |1201 | 0 | 0 |-5.335177e+01 |-2.100000e+01 | 60.64% 2.69/2.77 c 2.6s| 1 | 0 | 7449 | 17M| 0 | 186 | 200 |3108 |3108 | 200 | 629 |1226 | 0 | 0 |-5.301032e+01 |-2.100000e+01 | 60.39% 2.78/2.83 c 2.7s| 1 | 0 | 7612 | 17M| 0 | 189 | 200 |3108 |3108 | 200 | 647 |1244 | 0 | 0 |-5.261444e+01 |-2.100000e+01 | 60.09% 2.78/2.88 c 2.8s| 1 | 0 | 7680 | 17M| 0 | 190 | 200 |3108 |3108 | 200 | 663 |1260 | 0 | 0 |-5.251150e+01 |-2.100000e+01 | 60.01% 2.88/2.96 c 2.8s| 1 | 0 | 7883 | 17M| 0 | 192 | 200 |3108 |3108 | 200 | 677 |1274 | 0 | 0 |-5.212611e+01 |-2.100000e+01 | 59.71% 2.98/3.01 c 2.9s| 1 | 0 | 7941 | 17M| 0 | 195 | 200 |3108 |3108 | 200 | 523 |1282 | 0 | 0 |-5.203726e+01 |-2.100000e+01 | 59.64% 2.98/3.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 2.98/3.06 c 2.9s| 1 | 0 | 8047 | 17M| 0 | 193 | 200 |3108 |3108 | 200 | 532 |1291 | 0 | 0 |-5.180223e+01 |-2.100000e+01 | 59.46% 3.08/3.12 c 3.0s| 1 | 0 | 8188 | 17M| 0 | 195 | 200 |3108 |3108 | 200 | 545 |1304 | 0 | 0 |-5.155385e+01 |-2.100000e+01 | 59.27% 3.08/3.16 c 3.0s| 1 | 0 | 8254 | 17M| 0 | 195 | 200 |3108 |3108 | 200 | 552 |1311 | 0 | 0 |-5.153110e+01 |-2.100000e+01 | 59.25% 3.20/3.21 c 3.1s| 1 | 0 | 8371 | 17M| 0 | 197 | 200 |3108 |3108 | 200 | 566 |1325 | 0 | 0 |-5.138953e+01 |-2.100000e+01 | 59.14% 3.20/3.26 c 3.1s| 1 | 0 | 8426 | 17M| 0 | 196 | 200 |3108 |3108 | 200 | 570 |1329 | 0 | 0 |-5.128302e+01 |-2.100000e+01 | 59.05% 3.30/3.30 c 3.2s| 1 | 0 | 8486 | 17M| 0 | 195 | 200 |3108 |3108 | 200 | 474 |1332 | 0 | 0 |-5.119900e+01 |-2.100000e+01 | 58.98% 3.30/3.34 c 3.2s| 1 | 0 | 8553 | 17M| 0 | 195 | 200 |3108 |3108 | 200 | 482 |1340 | 0 | 0 |-5.113172e+01 |-2.100000e+01 | 58.93% 3.30/3.38 c 3.2s| 1 | 0 | 8616 | 17M| 0 | 198 | 200 |3108 |3108 | 200 | 492 |1350 | 0 | 0 |-5.093285e+01 |-2.100000e+01 | 58.77% 3.39/3.42 c 3.3s| 1 | 0 | 8708 | 17M| 0 | 197 | 200 |3108 |3108 | 200 | 501 |1359 | 0 | 0 |-5.082309e+01 |-2.100000e+01 | 58.68% 3.39/3.47 c 3.3s| 1 | 0 | 8798 | 17M| 0 | 196 | 200 |3108 |3108 | 200 | 514 |1372 | 0 | 0 |-5.064709e+01 |-2.100000e+01 | 58.54% 3.49/3.51 c 3.4s| 1 | 0 | 8861 | 17M| 0 | 197 | 200 |3108 |3108 | 200 | 524 |1382 | 0 | 0 |-5.060431e+01 |-2.100000e+01 | 58.50% 3.49/3.56 c 3.4s| 1 | 0 | 8972 | 17M| 0 | 199 | 200 |3108 |3108 | 200 | 475 |1388 | 0 | 0 |-5.046222e+01 |-2.100000e+01 | 58.38% 3.59/3.60 c 3.5s| 1 | 0 | 9061 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 485 |1398 | 0 | 0 |-5.032798e+01 |-2.100000e+01 | 58.27% 3.59/3.64 c 3.5s| 1 | 0 | 9135 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 491 |1404 | 0 | 0 |-5.024678e+01 |-2.100000e+01 | 58.21% 3.59/3.68 c 3.5s| 1 | 0 | 9191 | 17M| 0 | 199 | 200 |3108 |3108 | 200 | 501 |1414 | 0 | 0 |-5.018116e+01 |-2.100000e+01 | 58.15% 3.68/3.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 3.68/3.72 c 3.6s| 1 | 0 | 9276 | 17M| 0 | 199 | 200 |3108 |3108 | 200 | 510 |1423 | 0 | 0 |-5.010604e+01 |-2.100000e+01 | 58.09% 3.68/3.77 c 3.6s| 1 | 0 | 9374 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 521 |1434 | 0 | 0 |-5.004398e+01 |-2.100000e+01 | 58.04% 3.78/3.81 c 3.7s| 1 | 0 | 9449 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 496 |1445 | 0 | 0 |-4.998523e+01 |-2.100000e+01 | 57.99% 3.78/3.86 c 3.7s| 1 | 0 | 9520 | 17M| 0 | 199 | 200 |3108 |3108 | 200 | 503 |1452 | 0 | 0 |-4.993498e+01 |-2.100000e+01 | 57.95% 3.89/3.90 c 3.8s| 1 | 0 | 9582 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 514 |1463 | 0 | 0 |-4.990476e+01 |-2.100000e+01 | 57.92% 3.89/3.95 c 3.8s| 1 | 0 | 9690 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 525 |1474 | 0 | 0 |-4.983950e+01 |-2.100000e+01 | 57.86% 3.89/3.98 c 3.8s| 1 | 0 | 9730 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 534 |1483 | 0 | 0 |-4.983013e+01 |-2.100000e+01 | 57.86% 3.99/4.03 c 3.9s| 1 | 0 | 9777 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 539 |1488 | 0 | 0 |-4.980880e+01 |-2.100000e+01 | 57.84% 3.99/4.07 c 3.9s| 1 | 0 | 9825 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 493 |1495 | 0 | 0 |-4.979013e+01 |-2.100000e+01 | 57.82% 4.09/4.11 c 4.0s| 1 | 0 | 9853 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 498 |1500 | 0 | 0 |-4.977856e+01 |-2.100000e+01 | 57.81% 4.09/4.14 c 4.0s| 1 | 0 | 9889 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 508 |1510 | 0 | 0 |-4.976771e+01 |-2.100000e+01 | 57.80% 4.09/4.18 c 4.0s| 1 | 0 | 9930 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 516 |1518 | 0 | 0 |-4.975822e+01 |-2.100000e+01 | 57.80% 4.19/4.22 c 4.1s| 1 | 0 | 9969 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 523 |1525 | 0 | 0 |-4.975443e+01 |-2.100000e+01 | 57.79% 4.19/4.26 c 4.1s| 1 | 0 | 9975 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 524 |1526 | 0 | 0 |-4.975432e+01 |-2.100000e+01 | 57.79% 4.19/4.30 c 4.2s| 1 | 0 | 9987 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 444 |1527 | 0 | 0 |-4.975360e+01 |-2.100000e+01 | 57.79% 5.19/5.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 5.19/5.25 c 5.1s| 1 | 2 | 9987 | 17M| 0 | 200 | 200 |3108 |3108 | 200 | 444 |1527 | 0 | 20 |-4.975360e+01 |-2.100000e+01 | 57.79% 6.89/6.97 o -22 6.89/6.97 c R 6.8s| 19 | 14 | 11573 | 17M| 16 | 8 | 200 |3108 | 50 | 200 | 369 |2160 | 0 | 277 |-4.942895e+01 |-2.200000e+01 | 55.49% 7.38/7.49 o -23 7.38/7.49 c * 7.3s| 32 | 21 | 12463 | 17M| 16 | - | 200 |3108 | 34 | 200 | 348 |2521 | 0 | 455 |-4.942895e+01 |-2.300000e+01 | 53.47% 10.19/10.26 o -24 10.19/10.26 c *10.0s| 81 | 46 | 16636 | 17M| 17 | - | 200 |3108 | 54 | 200 | 353 |4245 | 0 |1010 |-4.928698e+01 |-2.400000e+01 | 51.31% 11.99/12.01 o -25 11.99/12.01 c *11.8s| 341 | 173 | 31827 | 18M| 24 | - | 200 |3108 | 48 | 200 | 374 | 10k| 0 |1120 |-4.926443e+01 |-2.500000e+01 | 49.25% 45.18/45.20 o -26 45.18/45.20 c *44.2s| 8152 | 4322 |553661 | 32M| 48 | - | 200 |3108 | 76 | 200 | 355 | 183k| 0 |1452 |-4.524670e+01 |-2.600000e+01 | 42.54% 49.87/49.93 c 48.9s| 10000 | 4996 |631604 | 34M| 51 | 54 | 200 |3108 | 460 | 200 | 375 | 209k| 0 |1538 |-4.496429e+01 |-2.600000e+01 | 42.18% 57.97/58.02 o -27 57.97/58.02 c *56.8s| 13297 | 5349 |761270 | 37M| 53 | - | 200 |3108 | 58 | 200 | 362 | 254k| 0 |1811 |-4.463839e+01 |-2.700000e+01 | 39.51% 59.97/60.09 o -28 59.97/60.09 c *58.8s| 14149 | 4904 |794939 | 37M| 53 | - | 200 |3108 | 132 | 200 | 342 | 265k| 0 |1838 |-4.455620e+01 |-2.800000e+01 | 37.16% 72.26/72.38 c 70.8s| 20000 | 6443 |999788 | 42M| 56 | 56 | 200 |3108 | 266 | 200 | 335 | 329k| 0 |2207 |-4.414062e+01 |-2.800000e+01 | 36.57% 92.95/93.04 c 91.0s| 30000 | 9173 | 1340k| 52M| 61 | 52 | 200 |3108 | 211 | 200 | 380 | 427k| 0 |2696 |-4.352941e+01 |-2.800000e+01 | 35.68% 113.65/113.76 c 111s| 40000 | 11777 | 1683k| 61M| 63 | 52 | 200 |3108 | 231 | 200 | 400 | 524k| 0 |3069 |-4.311597e+01 |-2.800000e+01 | 35.06% 135.15/135.21 c 132s| 50000 | 14375 | 2036k| 71M| 63 | 95 | 200 |3108 | 758 | 200 | 386 | 619k| 0 |3524 |-4.275000e+01 |-2.800000e+01 | 34.50% 154.75/154.86 c 151s| 60000 | 16935 | 2367k| 80M| 64 | 51 | 200 |3108 | 308 | 200 | 394 | 712k| 0 |3849 |-4.247256e+01 |-2.800000e+01 | 34.08% 175.84/175.95 c 172s| 70000 | 19677 | 2721k| 90M| 69 | 48 | 200 |3108 | 208 | 200 | 488 | 810k| 0 |4196 |-4.216667e+01 |-2.800000e+01 | 33.60% 196.23/196.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 196.23/196.35 c 192s| 80000 | 22079 | 3061k| 98M| 71 | 44 | 200 |3108 | 144 | 200 | 361 | 901k| 0 |4543 |-4.185017e+01 |-2.800000e+01 | 33.09% 215.34/215.42 c 211s| 90000 | 24263 | 3381k| 106M| 74 | - | 200 |3108 | 111 | 200 | 424 | 990k| 0 |4823 |-4.155263e+01 |-2.800000e+01 | 32.62% 232.93/233.03 c 228s|100000 | 26295 | 3678k| 114M| 75 | 44 | 200 |3108 | 181 | 200 | 393 |1067k| 0 |5071 |-4.133034e+01 |-2.800000e+01 | 32.25% 249.54/249.68 c 244s|110000 | 28121 | 3958k| 121M| 75 | 91 | 200 |3108 | 939 | 200 | 410 |1143k| 0 |5322 |-4.110294e+01 |-2.800000e+01 | 31.88% 265.52/265.68 c 260s|120000 | 29985 | 4230k| 127M| 77 | 62 | 200 |3108 | 533 | 200 | 412 |1220k| 0 |5542 |-4.095000e+01 |-2.800000e+01 | 31.62% 281.92/282.07 c 276s|130000 | 31833 | 4509k| 134M| 77 | - | 200 |3108 | 166 | 200 | 375 |1295k| 0 |5700 |-4.075000e+01 |-2.800000e+01 | 31.29% 297.72/297.80 c 291s|140000 | 33627 | 4773k| 140M| 77 | 49 | 200 |3108 | 239 | 200 | 399 |1368k| 0 |5960 |-4.057143e+01 |-2.800000e+01 | 30.99% 313.12/313.24 c 306s|150000 | 35449 | 5041k| 147M| 78 | 51 | 200 |3108 | 318 | 200 | 351 |1441k| 0 |6143 |-4.050000e+01 |-2.800000e+01 | 30.86% 328.81/328.96 c 321s|160000 | 37263 | 5307k| 153M| 78 | 74 | 200 |3108 | 449 | 200 | 370 |1515k| 0 |6333 |-4.033333e+01 |-2.800000e+01 | 30.58% 341.10/341.25 o -29 341.10/341.25 c * 333s|168169 | 31260 | 5518k| 138M| 78 | - | 200 |3108 | 94 | 200 | 410 |1571k| 0 |6473 |-4.025000e+01 |-2.900000e+01 | 27.95% 344.01/344.16 c 336s|170000 | 31507 | 5566k| 139M| 78 | 53 | 200 |3108 | 297 | 200 | 498 |1582k| 0 |6549 |-4.021429e+01 |-2.900000e+01 | 27.89% 358.90/359.05 c 351s|180000 | 32789 | 5816k| 144M| 81 | - | 200 |3108 | 154 | 200 | 423 |1642k| 0 |6730 |-4.010084e+01 |-2.900000e+01 | 27.68% 373.30/373.41 c 365s|190000 | 33933 | 6059k| 148M| 81 | 56 | 200 |3108 | 263 | 200 | 350 |1701k| 0 |6858 |-4.000000e+01 |-2.900000e+01 | 27.50% 386.50/386.67 c 378s|200000 | 34989 | 6288k| 152M| 81 | 50 | 200 |3108 | 210 | 200 | 481 |1761k| 0 |7086 |-4.000000e+01 |-2.900000e+01 | 27.50% 400.40/400.58 c 391s|210000 | 36133 | 6524k| 157M| 84 | - | 200 |3108 | 133 | 200 | 414 |1819k| 0 |7254 |-3.995161e+01 |-2.900000e+01 | 27.41% 414.40/414.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 414.40/414.52 c 405s|220000 | 37183 | 6759k| 161M| 84 | 49 | 200 |3108 | 288 | 200 | 390 |1873k| 0 |7369 |-3.983333e+01 |-2.900000e+01 | 27.20% 428.20/428.31 c 418s|230000 | 38215 | 6995k| 165M| 84 | 53 | 200 |3108 | 226 | 200 | 400 |1928k| 0 |7493 |-3.975000e+01 |-2.900000e+01 | 27.04% 441.09/441.25 c 431s|240000 | 39171 | 7217k| 169M| 84 | 54 | 200 |3108 | 300 | 200 | 459 |1980k| 0 |7658 |-3.972109e+01 |-2.900000e+01 | 26.99% 454.49/454.68 c 444s|250000 | 40149 | 7444k| 172M| 84 | 56 | 200 |3108 | 352 | 200 | 454 |2035k| 0 |7802 |-3.962500e+01 |-2.900000e+01 | 26.81% 467.89/468.09 c 457s|260000 | 41087 | 7671k| 176M| 84 | 52 | 200 |3108 | 282 | 200 | 443 |2088k| 0 |7965 |-3.956522e+01 |-2.900000e+01 | 26.70% 481.59/481.71 c 470s|270000 | 42047 | 7901k| 180M| 84 | 50 | 200 |3108 | 231 | 200 | 364 |2142k| 0 |8148 |-3.950000e+01 |-2.900000e+01 | 26.58% 494.29/494.48 c 483s|280000 | 42869 | 8120k| 183M| 84 | - | 200 |3108 | 144 | 200 | 357 |2196k| 0 |8305 |-3.950000e+01 |-2.900000e+01 | 26.58% 506.77/506.94 c 495s|290000 | 43789 | 8336k| 187M| 84 | - | 200 |3108 | 257 | 200 | 395 |2250k| 0 |8436 |-3.950000e+01 |-2.900000e+01 | 26.58% 519.77/519.91 c 508s|300000 | 44735 | 8560k| 191M| 84 | - | 200 |3108 | 206 | 200 | 442 |2306k| 0 |8569 |-3.945000e+01 |-2.900000e+01 | 26.49% 533.57/533.72 c 521s|310000 | 45701 | 8792k| 194M| 86 | 62 | 200 |3108 | 270 | 200 | 433 |2358k| 0 |8692 |-3.933333e+01 |-2.900000e+01 | 26.27% 547.27/547.47 c 534s|320000 | 46717 | 9022k| 198M| 86 | 75 | 200 |3108 | 838 | 200 | 419 |2409k| 0 |8822 |-3.925000e+01 |-2.900000e+01 | 26.11% 560.17/560.36 c 547s|330000 | 47673 | 9244k| 202M| 86 | 70 | 200 |3108 | 708 | 200 | 407 |2463k| 0 |8959 |-3.925000e+01 |-2.900000e+01 | 26.11% 573.27/573.46 c 560s|340000 | 48641 | 9467k| 206M| 86 | 61 | 200 |3108 | 267 | 200 | 449 |2514k| 0 |9083 |-3.916667e+01 |-2.900000e+01 | 25.96% 585.97/586.20 c 572s|350000 | 49529 | 9682k| 209M| 86 | - | 200 |3108 | 226 | 200 | 473 |2562k| 0 |9206 |-3.908824e+01 |-2.900000e+01 | 25.81% 598.86/599.09 c 585s|360000 | 50409 | 9903k| 213M| 87 | 68 | 200 |3108 | 348 | 200 | 395 |2611k| 0 |9325 |-3.900000e+01 |-2.900000e+01 | 25.64% 611.26/611.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 611.26/611.46 c 597s|370000 | 51285 | 10116k| 216M| 87 | 61 | 200 |3108 | 297 | 200 | 444 |2663k| 0 |9449 |-3.900000e+01 |-2.900000e+01 | 25.64% 623.76/623.96 c 609s|380000 | 52195 | 10331k| 220M| 87 | 48 | 200 |3108 | 252 | 200 | 396 |2714k| 0 |9592 |-3.900000e+01 |-2.900000e+01 | 25.64% 635.96/636.14 c 621s|390000 | 53091 | 10541k| 223M| 87 | 51 | 200 |3108 | 257 | 200 | 391 |2766k| 0 |9721 |-3.900000e+01 |-2.900000e+01 | 25.64% 648.65/648.85 c 633s|400000 | 54017 | 10760k| 227M| 87 | - | 200 |3108 | 199 | 200 | 391 |2818k| 0 |9849 |-3.900000e+01 |-2.900000e+01 | 25.64% 661.36/661.50 c 645s|410000 | 54881 | 10975k| 230M| 87 | - | 200 |3108 | 177 | 200 | 377 |2863k| 0 |9951 |-3.888095e+01 |-2.900000e+01 | 25.41% 673.45/673.62 c 657s|420000 | 55661 | 11180k| 233M| 87 | 48 | 200 |3108 | 221 | 200 | 419 |2908k| 0 | 10k|-3.882759e+01 |-2.900000e+01 | 25.31% 685.85/686.06 c 669s|430000 | 56435 | 11391k| 236M| 87 | - | 200 |3108 | 258 | 200 | 482 |2955k| 0 | 10k|-3.875000e+01 |-2.900000e+01 | 25.16% 698.05/698.25 c 681s|440000 | 57277 | 11600k| 239M| 87 | 46 | 200 |3108 | 248 | 200 | 446 |3007k| 0 | 10k|-3.875000e+01 |-2.900000e+01 | 25.16% 710.05/710.28 c 693s|450000 | 58077 | 11805k| 242M| 89 | - | 200 |3108 | 210 | 200 | 484 |3052k| 0 | 10k|-3.875000e+01 |-2.900000e+01 | 25.16% 722.45/722.69 c 705s|460000 | 58867 | 12016k| 246M| 89 | 51 | 200 |3108 | 324 | 200 | 407 |3096k| 0 | 10k|-3.866667e+01 |-2.900000e+01 | 25.00% 735.14/735.30 c 717s|470000 | 59721 | 12231k| 249M| 89 | 51 | 200 |3108 | 237 | 200 | 400 |3144k| 0 | 10k|-3.861538e+01 |-2.900000e+01 | 24.90% 746.93/747.11 c 729s|480000 | 60475 | 12431k| 252M| 89 | 60 | 200 |3108 | 278 | 200 | 361 |3187k| 0 | 10k|-3.856250e+01 |-2.900000e+01 | 24.80% 758.53/758.77 c 740s|490000 | 61205 | 12629k| 255M| 89 | - | 200 |3108 | 168 | 200 | 389 |3228k| 0 | 10k|-3.850000e+01 |-2.900000e+01 | 24.68% 769.93/770.15 c 751s|500000 | 61971 | 12829k| 257M| 89 | 46 | 200 |3108 | 287 | 200 | 411 |3279k| 0 | 10k|-3.850000e+01 |-2.900000e+01 | 24.68% 781.93/782.12 c 763s|510000 | 62741 | 13041k| 261M| 89 | 53 | 200 |3108 | 203 | 200 | 384 |3332k| 0 | 11k|-3.850000e+01 |-2.900000e+01 | 24.68% 793.33/793.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 793.33/793.52 c 774s|520000 | 63469 | 13238k| 263M| 89 | - | 200 |3108 | 266 | 200 | 419 |3384k| 0 | 11k|-3.850000e+01 |-2.900000e+01 | 24.68% 805.12/805.32 c 785s|530000 | 64205 | 13439k| 266M| 89 | - | 200 |3108 | 252 | 200 | 387 |3432k| 0 | 11k|-3.850000e+01 |-2.900000e+01 | 24.68% 816.03/816.20 c 796s|540000 | 64881 | 13626k| 269M| 89 | 46 | 200 |3108 | 244 | 200 | 395 |3474k| 0 | 11k|-3.850000e+01 |-2.900000e+01 | 24.68% 827.62/827.87 c 807s|550000 | 65635 | 13828k| 272M| 89 | - | 200 |3108 | 177 | 200 | 417 |3520k| 0 | 11k|-3.850000e+01 |-2.900000e+01 | 24.68% 839.03/839.28 c 818s|560000 | 66301 | 14023k| 274M| 89 | 55 | 200 |3108 | 248 | 200 | 436 |3563k| 0 | 11k|-3.850000e+01 |-2.900000e+01 | 24.68% 850.72/850.99 c 830s|570000 | 66989 | 14224k| 277M| 91 | 48 | 200 |3108 | 184 | 200 | 376 |3607k| 0 | 11k|-3.847727e+01 |-2.900000e+01 | 24.63% 862.42/862.65 c 841s|580000 | 67647 | 14420k| 280M| 91 | 51 | 200 |3108 | 276 | 200 | 399 |3649k| 0 | 11k|-3.837500e+01 |-2.900000e+01 | 24.43% 874.11/874.33 c 853s|590000 | 68215 | 14617k| 282M| 91 | 86 | 200 |3108 | 601 | 200 | 439 |3691k| 0 | 11k|-3.833333e+01 |-2.900000e+01 | 24.35% 885.51/885.79 c 864s|600000 | 68755 | 14809k| 284M| 91 | - | 200 |3108 | 247 | 200 | 459 |3732k| 0 | 11k|-3.828571e+01 |-2.900000e+01 | 24.25% 897.51/897.73 c 875s|610000 | 69389 | 15009k| 287M| 91 | 55 | 200 |3108 | 246 | 200 | 389 |3773k| 0 | 12k|-3.825000e+01 |-2.900000e+01 | 24.18% 909.11/909.34 c 887s|620000 | 70013 | 15209k| 289M| 91 | - | 200 |3108 | 200 | 200 | 416 |3823k| 0 | 12k|-3.825000e+01 |-2.900000e+01 | 24.18% 920.52/920.75 c 898s|630000 | 70591 | 15403k| 292M| 91 | 51 | 200 |3108 | 280 | 200 | 420 |3869k| 0 | 12k|-3.825000e+01 |-2.900000e+01 | 24.18% 931.91/932.15 c 909s|640000 | 71185 | 15596k| 294M| 91 | - | 200 |3108 | 192 | 200 | 380 |3911k| 0 | 12k|-3.824000e+01 |-2.900000e+01 | 24.16% 943.61/943.83 c 920s|650000 | 71779 | 15793k| 296M| 91 | 58 | 200 |3108 | 382 | 200 | 396 |3954k| 0 | 12k|-3.816667e+01 |-2.900000e+01 | 24.02% 955.00/955.24 c 931s|660000 | 72373 | 15988k| 299M| 91 | - | 200 |3108 | 212 | 200 | 434 |3997k| 0 | 12k|-3.815000e+01 |-2.900000e+01 | 23.98% 966.61/966.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 966.61/966.87 c 943s|670000 | 72947 | 16185k| 301M| 93 | - | 200 |3108 | 245 | 200 | 382 |4038k| 0 | 12k|-3.810000e+01 |-2.900000e+01 | 23.88% 978.10/978.35 c 954s|680000 | 73539 | 16378k| 303M| 93 | 61 | 200 |3108 | 358 | 200 | 436 |4078k| 0 | 12k|-3.805556e+01 |-2.900000e+01 | 23.80% 989.70/989.91 c 965s|690000 | 74137 | 16574k| 306M| 93 | - | 200 |3108 | 240 | 200 | 410 |4118k| 0 | 12k|-3.800000e+01 |-2.900000e+01 | 23.68% 1000.80/1001.07 c 976s|700000 | 74671 | 16766k| 308M| 93 | 61 | 200 |3108 | 311 | 200 | 417 |4162k| 0 | 12k|-3.800000e+01 |-2.900000e+01 | 23.68% 1011.69/1011.92 c 986s|710000 | 75187 | 16949k| 310M| 93 | - | 200 |3108 | 158 | 200 | 409 |4202k| 0 | 12k|-3.800000e+01 |-2.900000e+01 | 23.68% 1022.89/1023.10 c 997s|720000 | 75779 | 17141k| 312M| 93 | 42 | 200 |3108 | 233 | 200 | 431 |4248k| 0 | 13k|-3.800000e+01 |-2.900000e+01 | 23.68% 1033.99/1034.23 c 1008s|730000 | 76391 | 17336k| 315M| 93 | 57 | 200 |3108 | 293 | 200 | 407 |4296k| 0 | 13k|-3.800000e+01 |-2.900000e+01 | 23.68% 1045.09/1045.33 c 1019s|740000 | 77041 | 17530k| 317M| 93 | 59 | 200 |3108 | 408 | 200 | 405 |4343k| 0 | 13k|-3.800000e+01 |-2.900000e+01 | 23.68% 1056.48/1056.77 c 1030s|750000 | 77629 | 17725k| 320M| 93 | - | 200 |3108 | 204 | 200 | 413 |4388k| 0 | 13k|-3.800000e+01 |-2.900000e+01 | 23.68% 1067.28/1067.53 c 1041s|760000 | 78197 | 17912k| 322M| 93 | 61 | 200 |3108 | 372 | 200 | 404 |4435k| 0 | 13k|-3.800000e+01 |-2.900000e+01 | 23.68% 1078.38/1078.62 c 1051s|770000 | 78723 | 18101k| 324M| 93 | - | 200 |3108 | 262 | 200 | 382 |4477k| 0 | 13k|-3.800000e+01 |-2.900000e+01 | 23.68% 1089.48/1089.74 c 1062s|780000 | 79263 | 18290k| 326M| 93 | 60 | 200 |3108 | 323 | 200 | 375 |4519k| 0 | 13k|-3.800000e+01 |-2.900000e+01 | 23.68% 1100.48/1100.78 c 1073s|790000 | 79831 | 18478k| 329M| 93 | 62 | 200 |3108 | 328 | 200 | 416 |4557k| 0 | 13k|-3.800000e+01 |-2.900000e+01 | 23.68% 1111.27/1111.59 c 1083s|800000 | 80371 | 18660k| 331M| 93 | - | 200 |3108 | 179 | 200 | 471 |4595k| 0 | 13k|-3.800000e+01 |-2.900000e+01 | 23.68% 1122.67/1122.90 c 1094s|810000 | 80937 | 18851k| 333M| 93 | 48 | 200 |3108 | 187 | 200 | 413 |4633k| 0 | 13k|-3.796429e+01 |-2.900000e+01 | 23.61% 1133.87/1134.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1133.87/1134.14 c 1105s|820000 | 81449 | 19042k| 335M| 93 | 52 | 200 |3108 | 305 | 200 | 475 |4673k| 0 | 13k|-3.788462e+01 |-2.900000e+01 | 23.45% 1145.17/1145.50 c 1116s|830000 | 81969 | 19233k| 337M| 93 | 61 | 200 |3108 | 390 | 200 | 457 |4714k| 0 | 13k|-3.784375e+01 |-2.900000e+01 | 23.37% 1156.87/1157.13 c 1128s|840000 | 82587 | 19430k| 340M| 93 | 57 | 200 |3108 | 336 | 200 | 414 |4755k| 0 | 14k|-3.782143e+01 |-2.900000e+01 | 23.32% 1168.17/1168.40 c 1139s|850000 | 83085 | 19619k| 342M| 93 | - | 200 |3108 | 151 | 200 | 404 |4794k| 0 | 14k|-3.777778e+01 |-2.900000e+01 | 23.24% 1179.07/1179.37 c 1150s|860000 | 83633 | 19804k| 344M| 93 | - | 200 |3108 | 176 | 200 | 445 |4833k| 0 | 14k|-3.775000e+01 |-2.900000e+01 | 23.18% 1189.87/1190.16 c 1160s|870000 | 84117 | 19987k| 346M| 93 | - | 200 |3108 | 148 | 200 | 364 |4874k| 0 | 14k|-3.775000e+01 |-2.900000e+01 | 23.18% 1200.76/1201.08 c 1171s|880000 | 84593 | 20173k| 348M| 93 | 51 | 200 |3108 | 258 | 200 | 438 |4914k| 0 | 14k|-3.775000e+01 |-2.900000e+01 | 23.18% 1212.26/1212.57 c 1182s|890000 | 85195 | 20371k| 350M| 93 | 52 | 200 |3108 | 245 | 200 | 433 |4962k| 0 | 14k|-3.775000e+01 |-2.900000e+01 | 23.18% 1223.86/1224.15 c 1193s|900000 | 85769 | 20567k| 353M| 93 | - | 200 |3108 | 146 | 200 | 411 |5004k| 0 | 14k|-3.771429e+01 |-2.900000e+01 | 23.11% 1235.66/1235.94 c 1205s|910000 | 86325 | 20766k| 355M| 97 | 50 | 200 |3108 | 245 | 200 | 442 |5045k| 0 | 14k|-3.766667e+01 |-2.900000e+01 | 23.01% 1246.56/1246.85 c 1215s|920000 | 86803 | 20952k| 357M| 97 | 61 | 200 |3108 | 293 | 200 | 406 |5084k| 0 | 14k|-3.764286e+01 |-2.900000e+01 | 22.96% 1258.25/1258.52 c 1227s|930000 | 87309 | 21148k| 359M| 97 | - | 200 |3108 | 197 | 200 | 394 |5124k| 0 | 14k|-3.761240e+01 |-2.900000e+01 | 22.90% 1269.25/1269.54 c 1237s|940000 | 87789 | 21334k| 361M| 97 | - | 200 |3108 | 147 | 200 | 357 |5161k| 0 | 14k|-3.757143e+01 |-2.900000e+01 | 22.81% 1280.55/1280.89 c 1248s|950000 | 88363 | 21525k| 363M| 97 | - | 200 |3108 | 174 | 200 | 487 |5198k| 0 | 14k|-3.752174e+01 |-2.900000e+01 | 22.71% 1291.54/1291.81 c 1259s|960000 | 88795 | 21710k| 365M| 97 | 44 | 200 |3108 | 151 | 200 | 430 |5240k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1302.15/1302.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1302.15/1302.43 c 1269s|970000 | 89291 | 21893k| 367M| 97 | 61 | 200 |3108 | 359 | 200 | 402 |5284k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1313.04/1313.37 c 1280s|980000 | 89787 | 22080k| 369M| 97 | - | 200 |3108 | 131 | 200 | 411 |5326k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1323.84/1324.12 c 1290s|990000 | 90245 | 22263k| 371M| 97 | - | 200 |3108 | 181 | 200 | 400 |5365k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1334.74/1335.00 c 1301s| 1000k| 90683 | 22447k| 373M| 97 | 50 | 200 |3108 | 227 | 200 | 395 |5406k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1345.54/1345.88 c 1312s| 1010k| 91117 | 22630k| 375M| 97 | - | 200 |3108 | 181 | 200 | 421 |5445k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1356.23/1356.55 c 1322s| 1020k| 91569 | 22813k| 376M| 97 | 55 | 200 |3108 | 255 | 200 | 393 |5484k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1366.74/1367.05 c 1332s| 1030k| 91959 | 22989k| 378M| 97 | - | 200 |3108 | 177 | 200 | 414 |5522k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1377.44/1377.77 c 1343s| 1040k| 92387 | 23170k| 380M| 97 | 64 | 200 |3108 | 364 | 200 | 428 |5560k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1388.33/1388.66 c 1353s| 1050k| 92821 | 23355k| 382M| 97 | 55 | 200 |3108 | 297 | 200 | 344 |5600k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1399.03/1399.31 c 1364s| 1060k| 93361 | 23538k| 384M| 97 | 56 | 200 |3108 | 356 | 200 | 359 |5643k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1409.93/1410.29 c 1374s| 1070k| 93909 | 23727k| 386M| 97 | - | 200 |3108 | 132 | 200 | 401 |5690k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1420.83/1421.20 c 1385s| 1080k| 94431 | 23912k| 388M| 97 | 52 | 200 |3108 | 312 | 200 | 340 |5735k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1431.52/1431.87 c 1395s| 1090k| 94929 | 24095k| 390M| 97 | - | 200 |3108 | 248 | 200 | 525 |5776k| 0 | 15k|-3.750000e+01 |-2.900000e+01 | 22.67% 1442.33/1442.68 c 1406s| 1100k| 95371 | 24277k| 392M| 97 | 49 | 200 |3108 | 183 | 200 | 362 |5813k| 0 | 16k|-3.750000e+01 |-2.900000e+01 | 22.67% 1453.42/1453.77 c 1417s| 1110k| 95861 | 24462k| 394M| 97 | 49 | 200 |3108 | 299 | 200 | 373 |5852k| 0 | 16k|-3.750000e+01 |-2.900000e+01 | 22.67% 1464.52/1464.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1464.52/1464.87 c 1427s| 1120k| 96395 | 24650k| 396M| 97 | 61 | 200 |3108 | 298 | 200 | 500 |5888k| 0 | 16k|-3.741667e+01 |-2.900000e+01 | 22.49% 1475.42/1475.71 c 1438s| 1130k| 96821 | 24833k| 398M| 97 | - | 200 |3108 | 202 | 200 | 405 |5926k| 0 | 16k|-3.737500e+01 |-2.900000e+01 | 22.41% 1486.31/1486.61 c 1449s| 1140k| 97319 | 25018k| 400M| 97 | - | 200 |3108 | 239 | 200 | 423 |5962k| 0 | 16k|-3.733333e+01 |-2.900000e+01 | 22.32% 1497.62/1497.93 c 1460s| 1150k| 97783 | 25208k| 402M| 97 | - | 200 |3108 | 244 | 200 | 431 |6001k| 0 | 16k|-3.731915e+01 |-2.900000e+01 | 22.29% 1508.51/1508.86 c 1470s| 1160k| 98171 | 25392k| 404M| 97 | 55 | 200 |3108 | 306 | 200 | 456 |6036k| 0 | 16k|-3.728571e+01 |-2.900000e+01 | 22.22% 1519.82/1520.14 c 1481s| 1170k| 98687 | 25583k| 406M| 97 | 64 | 200 |3108 | 458 | 200 | 406 |6078k| 0 | 16k|-3.725000e+01 |-2.900000e+01 | 22.15% 1530.51/1530.86 c 1492s| 1180k| 99081 | 25765k| 407M| 97 | - | 200 |3108 | 155 | 200 | 417 |6117k| 0 | 16k|-3.725000e+01 |-2.900000e+01 | 22.15% 1541.21/1541.56 c 1502s| 1190k| 99511 | 25947k| 409M| 97 | - | 200 |3108 | 85 | 200 | 443 |6155k| 0 | 16k|-3.725000e+01 |-2.900000e+01 | 22.15% 1551.71/1552.03 c 1512s| 1200k| 99935 | 26126k| 411M| 97 | - | 200 |3108 | 282 | 200 | 441 |6191k| 0 | 16k|-3.725000e+01 |-2.900000e+01 | 22.15% 1562.30/1562.69 c 1523s| 1210k|100401 | 26308k| 413M| 97 | 50 | 200 |3108 | 230 | 200 | 469 |6233k| 0 | 16k|-3.725000e+01 |-2.900000e+01 | 22.15% 1573.50/1573.86 c 1534s| 1220k|100793 | 26494k| 415M| 97 | - | 200 |3108 | 253 | 200 | 448 |6269k| 0 | 16k|-3.720588e+01 |-2.900000e+01 | 22.06% 1584.50/1584.90 c 1544s| 1230k|101249 | 26681k| 417M| 97 | - | 200 |3108 | 207 | 200 | 503 |6304k| 0 | 16k|-3.716667e+01 |-2.900000e+01 | 21.97% 1595.40/1595.78 c 1555s| 1240k|101665 | 26865k| 418M| 97 | - | 200 |3108 | 204 | 200 | 387 |6341k| 0 | 17k|-3.715000e+01 |-2.900000e+01 | 21.94% 1606.49/1606.88 c 1566s| 1250k|102127 | 27053k| 420M| 97 | 48 | 200 |3108 | 266 | 200 | 382 |6379k| 0 | 17k|-3.712500e+01 |-2.900000e+01 | 21.89% 1617.39/1617.74 c 1576s| 1260k|102497 | 27234k| 422M| 97 | 53 | 200 |3108 | 335 | 200 | 433 |6415k| 0 | 17k|-3.709091e+01 |-2.900000e+01 | 21.81% 1628.10/1628.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1628.10/1628.41 c 1587s| 1270k|102857 | 27416k| 424M| 97 | 61 | 200 |3108 | 286 | 200 | 429 |6449k| 0 | 17k|-3.705000e+01 |-2.900000e+01 | 21.73% 1639.10/1639.43 c 1598s| 1280k|103303 | 27600k| 425M| 97 | - | 200 |3108 | 173 | 200 | 369 |6482k| 0 | 17k|-3.700000e+01 |-2.900000e+01 | 21.62% 1649.39/1649.79 c 1608s| 1290k|103727 | 27780k| 427M| 97 | - | 200 |3108 | 194 | 200 | 439 |6525k| 0 | 17k|-3.700000e+01 |-2.900000e+01 | 21.62% 1660.09/1660.46 c 1618s| 1300k|104201 | 27962k| 429M| 97 | 54 | 200 |3108 | 365 | 200 | 355 |6568k| 0 | 17k|-3.700000e+01 |-2.900000e+01 | 21.62% 1670.29/1670.66 c 1628s| 1310k|104587 | 28137k| 431M| 97 | - | 200 |3108 | 271 | 200 | 410 |6607k| 0 | 17k|-3.700000e+01 |-2.900000e+01 | 21.62% 1680.89/1681.25 c 1638s| 1320k|104963 | 28316k| 432M| 97 | - | 200 |3108 | 252 | 200 | 412 |6644k| 0 | 17k|-3.700000e+01 |-2.900000e+01 | 21.62% 1691.08/1691.46 c 1648s| 1330k|105369 | 28490k| 434M| 97 | - | 200 |3108 | 192 | 200 | 431 |6679k| 0 | 17k|-3.700000e+01 |-2.900000e+01 | 21.62% 1701.29/1701.61 c 1658s| 1340k|105655 | 28660k| 435M| 97 | - | 200 |3108 | 217 | 200 | 376 |6713k| 0 | 17k|-3.700000e+01 |-2.900000e+01 | 21.62% 1711.29/1711.67 c 1668s| 1350k|105959 | 28831k| 437M| 97 | - | 200 |3108 | 244 | 200 | 443 |6748k| 0 | 17k|-3.700000e+01 |-2.900000e+01 | 21.62% 1721.87/1722.27 c 1678s| 1360k|106383 | 29012k| 439M| 97 | 66 | 200 |3108 | 665 | 200 | 371 |6784k| 0 | 17k|-3.700000e+01 |-2.900000e+01 | 21.62% 1732.37/1732.70 c 1688s| 1370k|106787 | 29190k| 440M| 97 | 59 | 200 |3108 | 450 | 200 | 395 |6821k| 0 | 17k|-3.700000e+01 |-2.900000e+01 | 21.62% 1742.48/1742.82 c 1698s| 1380k|107121 | 29361k| 442M| 97 | 48 | 200 |3108 | 209 | 200 | 475 |6855k| 0 | 17k|-3.700000e+01 |-2.900000e+01 | 21.62% 1752.18/1752.51 c 1708s| 1390k|107433 | 29526k| 443M| 97 | 52 | 200 |3108 | 312 | 200 | 431 |6887k| 0 | 17k|-3.700000e+01 |-2.900000e+01 | 21.62% 1762.47/1762.89 c 1718s| 1400k|107777 | 29702k| 445M| 97 | - | 200 |3108 | 157 | 200 | 405 |6924k| 0 | 18k|-3.700000e+01 |-2.900000e+01 | 21.62% 1772.78/1773.19 c 1728s| 1410k|108085 | 29877k| 446M| 97 | 54 | 200 |3108 | 350 | 200 | 453 |6959k| 0 | 18k|-3.700000e+01 |-2.900000e+01 | 21.62% 1783.17/1783.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1783.17/1783.59 c 1738s| 1420k|108413 | 30052k| 448M| 97 | 66 | 200 |3108 | 380 | 200 | 423 |6994k| 0 | 18k|-3.700000e+01 |-2.900000e+01 | 21.62% 1793.47/1793.84 c 1748s| 1430k|108847 | 30228k| 450M| 97 | 48 | 200 |3108 | 220 | 200 | 478 |7033k| 0 | 18k|-3.700000e+01 |-2.900000e+01 | 21.62% 1800.07/1800.40 c 1800.07/1800.40 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.40 c Solving Time (sec) : 1754.21 1800.07/1800.40 c Solving Nodes : 1436288 1800.07/1800.40 c Primal Bound : -2.90000000000000e+01 (13 solutions) 1800.07/1800.40 c Dual Bound : -3.70000000000000e+01 1800.07/1800.40 c Gap : 21.62 % 1800.07/1800.41 c NODE 1436288 1800.07/1800.41 c DUAL BOUND -37 1800.07/1800.41 c PRIMAL BOUND -29 1800.07/1800.41 c GAP 0.216216 1800.07/1800.41 s SATISFIABLE 1800.07/1800.41 v -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 x188 -x187 x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 1800.07/1800.41 v -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 x170 x169 -x168 x167 x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 1800.07/1800.41 v -x156 -x155 -x154 x153 x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 x135 1800.07/1800.41 v -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 1800.07/1800.41 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 x94 -x93 x92 -x91 1800.07/1800.41 v -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 1800.07/1800.41 v x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 1800.07/1800.41 v x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 1800.07/1800.41 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1 1800.07/1800.41 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.41 c Solving Time : 1754.21 1800.07/1800.41 c Original Problem : 1800.07/1800.41 c Problem name : HOME/instance-3737290-1338741280.opb 1800.07/1800.41 c Variables : 3308 (3308 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.41 c Constraints : 3308 initial, 3308 maximal 1800.07/1800.41 c Presolved Problem : 1800.07/1800.41 c Problem name : t_HOME/instance-3737290-1338741280.opb 1800.07/1800.41 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.41 c Constraints : 3108 initial, 3108 maximal 1800.07/1800.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.07/1800.41 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.41 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.41 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.41 c implics : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.41 c probing : 0.04 0 0 0 0 0 0 0 0 1800.07/1800.41 c and : 0.04 0 0 0 0 0 0 0 0 1800.07/1800.41 c linear : 0.00 3108 0 0 3108 0 200 0 0 1800.07/1800.41 c root node : - 0 - - 0 - - - - 1800.07/1800.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.07/1800.41 c integral : 0 0 0 778232 0 277 1619 0 0 1554828 1800.07/1800.41 c and : 3108 1408466 2335399 8 0 0 9047198 7057343 0 0 1800.07/1800.41 c countsols : 0 0 0 7 0 0 0 0 0 0 1800.07/1800.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.07/1800.41 c integral : 47.41 0.00 0.00 47.41 0.00 1800.07/1800.41 c and : 93.03 61.31 31.72 0.00 0.00 1800.07/1800.41 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.07/1800.41 c Propagators : Time Calls Cutoffs DomReds 1800.07/1800.41 c rootredcost : 0.42 8 0 0 1800.07/1800.41 c pseudoobj : 11.22 2338016 0 0 1800.07/1800.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.07/1800.41 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1800.07/1800.41 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.07/1800.41 c applied globally : - - - 0 0.0 - - - 1800.07/1800.41 c applied locally : - - - 0 0.0 - - - 1800.07/1800.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.07/1800.41 c cut pool : 0.03 71 - - 182 - (maximal pool size: 2677) 1800.07/1800.41 c redcost : 6.45 1449751 0 139298 0 0 1800.07/1800.41 c impliedbounds : 0.00 72 0 0 1568 0 1800.07/1800.41 c intobj : 0.00 0 0 0 0 0 1800.07/1800.41 c gomory : 1.97 72 0 0 11822 0 1800.07/1800.41 c strongcg : 0.27 20 0 0 8408 0 1800.07/1800.41 c cmir : 0.09 10 0 0 0 0 1800.07/1800.41 c flowcover : 0.09 10 0 0 0 0 1800.07/1800.41 c clique : 0.13 72 0 0 597 0 1800.07/1800.41 c zerohalf : 0.00 0 0 0 0 0 1800.07/1800.41 c mcf : 0.00 1 0 0 0 0 1800.07/1800.41 c Pricers : Time Calls Vars 1800.07/1800.41 c problem variables: 0.00 0 0 1800.07/1800.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.07/1800.41 c relpscost : 47.04 778224 277 1619 0 0 1554828 1800.07/1800.41 c pscost : 0.00 0 0 0 0 0 0 1800.07/1800.41 c inference : 0.00 0 0 0 0 0 0 1800.07/1800.41 c mostinf : 0.00 0 0 0 0 0 0 1800.07/1800.41 c leastinf : 0.00 0 0 0 0 0 0 1800.07/1800.41 c fullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.41 c allfullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.41 c random : 0.00 0 0 0 0 0 0 1800.07/1800.41 c Primal Heuristics : Time Calls Found 1800.07/1800.41 c LP solutions : 0.04 - 7 1800.07/1800.41 c pseudo solutions : 0.00 - 0 1800.07/1800.41 c feaspump : 0.00 0 0 1800.07/1800.41 c intshifting : 0.01 0 0 1800.07/1800.41 c oneopt : 0.41 9 0 1800.07/1800.41 c crossover : 0.41 24 0 1800.07/1800.41 c guideddiving : 0.78 286 0 1800.07/1800.41 c coefdiving : 0.82 286 0 1800.07/1800.41 c fracdiving : 0.86 286 0 1800.07/1800.41 c pscostdiving : 0.88 287 0 1800.07/1800.41 c veclendiving : 0.78 287 0 1800.07/1800.41 c linesearchdiving : 0.72 287 0 1800.07/1800.41 c objpscostdiving : 0.83 144 1 1800.07/1800.41 c rootsoldiving : 0.53 144 0 1800.07/1800.41 c simplerounding : 0.32 0 0 1800.07/1800.41 c rounding : 7.70 109072 4 1800.07/1800.41 c shifting : 0.65 7451 1 1800.07/1800.41 c fixandinfer : 0.00 0 0 1800.07/1800.41 c intdiving : 0.00 0 0 1800.07/1800.41 c actconsdiving : 0.00 0 0 1800.07/1800.41 c octane : 0.00 0 0 1800.07/1800.41 c rens : 0.01 0 0 1800.07/1800.41 c rins : 0.00 0 0 1800.07/1800.41 c localbranching : 0.00 0 0 1800.07/1800.41 c mutation : 0.00 0 0 1800.07/1800.41 c dins : 0.00 0 0 1800.07/1800.41 c LP : Time Calls Iterations Iter/call Iter/sec 1800.07/1800.41 c primal LP : 54.98 0 0 0.00 0.00 1800.07/1800.41 c dual LP : 1327.32 2068038 30233901 14.62 22778.16 1800.07/1800.41 c barrier LP : 0.00 0 0 0.00 - 1800.07/1800.41 c diving/probing LP: 4.86 15406 105113 6.82 21628.19 1800.07/1800.41 c strong branching : 33.97 18259 719910 39.43 21192.52 1800.07/1800.41 c (at root node) : - 20 8170 408.50 - 1800.07/1800.41 c conflict analysis: 0.00 0 0 0.00 - 1800.07/1800.41 c B&B Tree : 1800.07/1800.41 c number of runs : 1 1800.07/1800.41 c nodes : 1436288 1800.07/1800.41 c nodes (total) : 1436288 1800.07/1800.41 c nodes left : 109079 1800.07/1800.41 c max depth : 97 1800.07/1800.41 c max depth (total): 97 1800.07/1800.41 c backtracks : 142004 (9.9%) 1800.07/1800.41 c delayed cutoffs : 0 1800.07/1800.41 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1800.07/1800.41 c avg switch length: 4.82 1800.07/1800.41 c switching time : 106.10 1800.07/1800.41 c Solution : 1800.07/1800.41 c Solutions found : 13 (11 improvements) 1800.07/1800.41 c Primal Bound : -2.90000000000000e+01 (in run 1, after 168169 nodes, 333.35 seconds, depth 33, found by <relaxation>) 1800.07/1800.41 c Dual Bound : -3.70000000000000e+01 1800.07/1800.41 c Gap : 21.62 % 1800.07/1800.41 c Root Dual Bound : -4.97536037282737e+01 1800.76/1801.17 c Time complete: 1800.85.
OK -29
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737290-1338741280/watcher-3737290-1338741280 -o /tmp/evaluation-result-3737290-1338741280/solver-3737290-1338741280 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737290-1338741280.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.02 2.00 3/176 29497 /proc/meminfo: memFree=26971228/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=8856 CPUtime=0 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 1554 0 0 0 0 0 0 0 20 0 1 0 340254741 9068544 1506 33554432000 4194304 7823515 140736033633648 140736033565688 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 2214 1506 354 887 0 1324 0 [startup+0.041541 s] /proc/loadavg: 2.03 2.02 2.00 3/176 29497 /proc/meminfo: memFree=26971228/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=21912 CPUtime=0.02 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 4892 0 0 0 2 0 0 0 20 0 1 0 340254741 22437888 4490 33554432000 4194304 7823515 140736033633648 140736033565688 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 5478 4490 404 887 0 4588 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 21912 [startup+0.100329 s] /proc/loadavg: 2.03 2.02 2.00 3/176 29497 /proc/meminfo: memFree=26971228/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=21912 CPUtime=0.09 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 4925 0 0 0 5 4 0 0 20 0 1 0 340254741 22437888 4523 33554432000 4194304 7823515 140736033633648 140736033565688 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 5478 4523 425 887 0 4588 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21912 [startup+0.300282 s] /proc/loadavg: 2.03 2.02 2.00 3/176 29497 /proc/meminfo: memFree=26971228/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=30836 CPUtime=0.28 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 7206 0 0 0 21 7 0 0 20 0 1 0 340254741 31576064 6771 33554432000 4194304 7823515 140736033633648 140736033629400 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 7709 6771 543 887 0 6819 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 30836 [startup+0.70028 s] /proc/loadavg: 2.03 2.02 2.00 3/176 29497 /proc/meminfo: memFree=26971228/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=34352 CPUtime=0.69 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 8237 0 0 0 61 8 0 0 20 0 1 0 340254741 35176448 7761 33554432000 4194304 7823515 140736033633648 140736033629400 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 8588 7761 545 887 0 7698 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34352 [startup+1.50029 s] /proc/loadavg: 2.03 2.02 2.00 3/177 29498 /proc/meminfo: memFree=26940956/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=43472 CPUtime=1.49 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 10617 0 0 0 139 10 0 0 20 0 1 0 340254741 44515328 10090 33554432000 4194304 7823515 140736033633648 140736033628984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 10868 10090 546 887 0 9978 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43472 [startup+3.10029 s] /proc/loadavg: 2.03 2.02 2.00 3/177 29498 /proc/meminfo: memFree=26929928/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=48384 CPUtime=3.08 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 11873 0 0 0 297 11 0 0 20 0 1 0 340254741 49545216 11328 33554432000 4194304 7823515 140736033633648 140736033628744 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 12096 11328 546 887 0 11206 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 48384 [startup+6.30024 s] /proc/loadavg: 2.03 2.02 2.00 3/177 29498 /proc/meminfo: memFree=26925344/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=50264 CPUtime=6.29 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 12377 0 0 0 614 15 0 0 20 0 1 0 340254741 51470336 11810 33554432000 4194304 7823515 140736033633648 140736033628696 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 12566 11810 553 887 0 11676 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50264 [startup+12.7002 s] /proc/loadavg: 2.02 2.02 2.00 3/177 29498 /proc/meminfo: memFree=26923864/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=48884 CPUtime=12.69 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 13415 0 0 0 1244 25 0 0 20 0 1 0 340254741 50057216 11533 33554432000 4194304 7823515 140736033633648 140736033628616 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 12221 11533 566 887 0 11331 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48884 [startup+25.5003 s] /proc/loadavg: 2.02 2.02 2.00 3/177 29498 /proc/meminfo: memFree=26919440/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=53024 CPUtime=25.48 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 19054 0 0 0 2499 49 0 0 20 0 1 0 340254741 54296576 12552 33554432000 4194304 7823515 140736033633648 140736033629432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 13256 12552 567 887 0 12366 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 53024 [startup+51.1003 s] /proc/loadavg: 2.01 2.02 2.00 3/177 29498 /proc/meminfo: memFree=26900872/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=68340 CPUtime=51.08 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 29236 0 0 0 5003 105 0 0 20 0 1 0 340254741 69980160 16581 33554432000 4194304 7823515 140736033633648 140736033628984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 17085 16581 574 887 0 16195 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 68340 [startup+102.306 s] /proc/loadavg: 2.00 2.01 2.00 3/177 29499 /proc/meminfo: memFree=26876128/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=87060 CPUtime=102.27 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 43122 0 0 0 10000 227 0 0 20 0 1 0 340254741 89149440 21297 33554432000 4194304 7823515 140736033633648 140736033630136 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 21765 21297 574 887 0 20875 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 87060 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 29499 /proc/meminfo: memFree=26838152/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=118136 CPUtime=162.24 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 52483 0 0 0 15868 356 0 0 20 0 1 0 340254741 120971264 29084 33554432000 4194304 7823515 140736033633648 140736033629272 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 29534 29084 574 887 0 28644 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 118136 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29499 /proc/meminfo: memFree=26804308/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=144216 CPUtime=222.23 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 60606 0 0 0 21724 499 0 0 20 0 1 0 340254741 147677184 35626 33554432000 4194304 7823515 140736033633648 140736033629400 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 36054 35626 574 887 0 35164 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 144216 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29499 /proc/meminfo: memFree=26773308/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=170592 CPUtime=282.23 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 68119 0 0 0 27584 639 0 0 20 0 1 0 340254741 174686208 42204 33554432000 4194304 7823515 140736033633648 140736033629400 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 42648 42204 574 887 0 41758 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 170592 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29502 /proc/meminfo: memFree=26739556/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=197180 CPUtime=342.21 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 76654 0 0 0 33441 780 0 0 20 0 1 0 340254741 201912320 48843 33554432000 4194304 7823515 140736033633648 140736033629400 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 49295 48843 574 887 0 48405 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 197180 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29503 /proc/meminfo: memFree=26734408/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=200004 CPUtime=402.2 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 79250 0 0 0 39290 930 0 0 20 0 1 0 340254741 204804096 49550 33554432000 4194304 7823515 140736033633648 140736033630680 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 50001 49550 574 887 0 49111 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 200004 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29503 /proc/meminfo: memFree=26714692/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=213756 CPUtime=462.19 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 83631 0 0 0 45148 1071 0 0 20 0 1 0 340254741 218886144 52999 33554432000 4194304 7823515 140736033633648 140736033630696 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 53439 52999 574 887 0 52549 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 213756 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29503 /proc/meminfo: memFree=26696716/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=227696 CPUtime=522.18 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 87131 0 0 0 50990 1228 0 0 20 0 1 0 340254741 233160704 56492 33554432000 4194304 7823515 140736033633648 140736033630136 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 56924 56492 574 887 0 56034 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 227696 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29503 /proc/meminfo: memFree=26675680/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=242484 CPUtime=582.16 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 90794 0 0 0 56836 1380 0 0 20 0 1 0 340254741 248303616 60155 33554432000 4194304 7823515 140736033633648 140736033628616 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 60621 60155 574 887 0 59731 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 242484 [startup+642.3 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29507 /proc/meminfo: memFree=26549220/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=344020 CPUtime=1002.1 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 115851 0 0 0 97708 2502 0 0 20 0 1 0 340254741 352276480 85323 33554432000 4194304 7823515 140736033633648 140736033630136 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 86005 85323 574 887 0 85115 0 Current children cumulated CPU time (s) 1002.1 Current children cumulated vsize (KiB) 344020 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29508 /proc/meminfo: memFree=26533272/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=357680 CPUtime=1062.08 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 119283 0 0 0 103545 2663 0 0 20 0 1 0 340254741 366264320 88748 33554432000 4194304 7823515 140736033633648 140736033630136 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 89420 88748 574 887 0 88530 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 357680 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29508 /proc/meminfo: memFree=26516084/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=370476 CPUtime=1122.07 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 122489 0 0 0 109390 2817 0 0 20 0 1 0 340254741 379367424 91954 33554432000 4194304 7823515 140736033633648 140736033629448 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 92619 91954 574 887 0 91729 0 Current children cumulated CPU time (s) 1122.07 Current children cumulated vsize (KiB) 370476 [startup+1182.3 s] /proc/loadavg: 2.06 2.01 2.00 3/177 29508 /proc/meminfo: memFree=26501204/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=383700 CPUtime=1182.06 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 125776 0 0 0 115236 2970 0 0 20 0 1 0 340254741 392908800 95241 33554432000 4194304 7823515 140736033633648 140736033628984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 95925 95241 574 887 0 95035 0 Current children cumulated CPU time (s) 1182.06 Current children cumulated vsize (KiB) 383700 [startup+1242.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 29508 /proc/meminfo: memFree=26487936/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=394084 CPUtime=1242.06 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 128400 0 0 0 121086 3120 0 0 20 0 1 0 340254741 403542016 97865 33554432000 4194304 7823515 140736033633648 140736033628984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 98521 97865 574 887 0 97631 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 394084 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29508 /proc/meminfo: memFree=26475536/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=403224 CPUtime=1302.05 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 130691 0 0 0 126926 3279 0 0 20 0 1 0 340254741 412901376 100156 33554432000 4194304 7823515 140736033633648 140736033631480 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 100806 100156 574 887 0 99916 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 403224 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29509 /proc/meminfo: memFree=26461028/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=413548 CPUtime=1362.04 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 134246 0 0 0 132764 3440 0 0 20 0 1 0 340254741 423473152 102742 33554432000 4194304 7823515 140736033633648 140736033628984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 103387 102742 574 887 0 102497 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 413548 [startup+1422.31 s] /proc/loadavg: 2.07 2.02 2.00 3/177 29509 /proc/meminfo: memFree=26445536/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=427952 CPUtime=1422.03 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 137854 0 0 0 138602 3601 0 0 20 0 1 0 340254741 438222848 106350 33554432000 4194304 7823515 140736033633648 140736033628984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 106988 106350 574 887 0 106098 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 427952 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 29509 /proc/meminfo: memFree=26434424/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=438280 CPUtime=1482.02 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 140437 0 0 0 144450 3752 0 0 20 0 1 0 340254741 448798720 108933 33554432000 4194304 7823515 140736033633648 140736033630136 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 109570 108933 574 887 0 108680 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 438280 [startup+1542.3 s] /proc/loadavg: 2.01 2.00 2.00 3/178 29512 /proc/meminfo: memFree=26423252/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=446616 CPUtime=1542.01 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 142543 0 0 0 150294 3907 0 0 20 0 1 0 340254741 457334784 111039 33554432000 4194304 7823515 140736033633648 140736033628984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 111654 111039 574 887 0 110764 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 446616 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29535 /proc/meminfo: memFree=26407700/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=458308 CPUtime=1601.99 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 145428 0 0 0 156139 4060 0 0 20 0 1 0 340254741 469307392 113924 33554432000 4194304 7823515 140736033633648 140736033629448 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 114577 113924 574 887 0 113687 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 458308 [startup+1662.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 29536 /proc/meminfo: memFree=26399640/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=466360 CPUtime=1661.99 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 147442 0 0 0 161982 4217 0 0 20 0 1 0 340254741 477552640 115938 33554432000 4194304 7823515 140736033633648 140736033629496 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 116590 115938 574 887 0 115700 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 466360 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 29575 /proc/meminfo: memFree=26321124/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=475608 CPUtime=1721.97 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 149779 0 0 0 167826 4371 0 0 20 0 1 0 340254741 487022592 118272 33554432000 4194304 7823515 140736033633648 140736033631480 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 118902 118272 574 887 0 118012 0 Current children cumulated CPU time (s) 1721.97 Current children cumulated vsize (KiB) 475608 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.00 3/176 29575 /proc/meminfo: memFree=26277268/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=482840 CPUtime=1781.97 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 151608 0 0 0 173664 4533 0 0 20 0 1 0 340254741 494428160 120101 33554432000 4194304 7823515 140736033633648 140736033628984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 120710 120101 574 887 0 119820 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 482840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.05 2.01 2.00 3/176 29575 /proc/meminfo: memFree=26273528/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=487704 CPUtime=1800.07 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 152809 0 0 0 175422 4585 0 0 20 0 1 0 340254741 499408896 121302 33554432000 4194304 7823515 140736033633648 140736033630136 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 121926 121302 574 887 0 121036 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 487704 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.05 2.01 2.00 3/177 29576 /proc/meminfo: memFree=26273528/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=487704 CPUtime=1800.27 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 152811 0 0 0 175442 4585 0 0 20 0 1 0 340254741 499408896 121304 33554432000 4194304 7823515 140736033633648 140736033630136 4212040 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 121926 121304 576 887 0 121036 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 487704 [startup+1801 s] /proc/loadavg: 2.05 2.01 2.00 3/177 29576 /proc/meminfo: memFree=26273528/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=487704 CPUtime=1800.66 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 152811 0 0 0 175481 4585 0 0 20 0 1 0 340254741 499408896 121304 33554432000 4194304 7823515 140736033633648 140736033630136 5875143 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 121926 121304 576 887 0 121036 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (KiB) 487704 [startup+1801.1 s] /proc/loadavg: 2.05 2.01 2.00 3/177 29576 /proc/meminfo: memFree=26273528/32873648 swapFree=6852/6852 [pid=29497] ppid=29495 vsize=487704 CPUtime=1800.76 cores=0,2,4,6 /proc/29497/stat : 29497 (pbscip.linux.x8) R 29495 29497 27068 0 -1 4202496 152811 0 0 0 175491 4585 0 0 20 0 1 0 340254741 499408896 121304 33554432000 4194304 7823515 140736033633648 140736033630136 4212027 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/29497/statm: 121926 121304 576 887 0 121036 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (KiB) 487704 Child status: 0 Real time (s): 1801.18 CPU time (s): 1800.85 CPU user time (s): 1754.99 CPU system time (s): 45.864 CPU usage (%): 99.982 Max. virtual memory (cumulated for all children) (KiB): 487704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1754.99 system time used= 45.864 maximum resident set size= 485216 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152814 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= 74 involuntary context switches= 1849 runsolver used 3.2715 second user time and 8.32473 second system time The end
Begin job on node115 at 2012-06-03 18:34:40 IDJOB=3737290 IDBENCH=48212 IDSOLVER=2321 FILE ID=node115/3737290-1338741280 RUNJOBID= node115-1338714108-27084 PBS_JOBID= 14636752 Free space on /tmp= 70820 MiB SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_3.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737290-1338741280/watcher-3737290-1338741280 -o /tmp/evaluation-result-3737290-1338741280/solver-3737290-1338741280 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737290-1338741280.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1b4456ec5e57b53956abc30521c99789 RANDOM SEED=1057085705 node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26971228 kB Buffers: 1436980 kB Cached: 3493660 kB SwapCached: 1016 kB Active: 2812768 kB Inactive: 2180764 kB Active(anon): 51404 kB Inactive(anon): 9868 kB Active(file): 2761364 kB Inactive(file): 2170896 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67106440 kB Dirty: 9720 kB Writeback: 0 kB AnonPages: 29272 kB Mapped: 13892 kB Shmem: 96 kB Slab: 771700 kB SReclaimable: 215408 kB SUnreclaim: 556292 kB KernelStack: 1472 kB PageTables: 4112 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 173776 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70808 MiB End job on node115 at 2012-06-03 19:04:42