Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | -38 | 1800.49 | 1800.93 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb |
| MD5SUM | 20471e978018d28aed0ca16c46de4e3d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -44 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -51 |
| Optimality of the best value was proved | NO |
| Number of variables | 1272 |
| Total number of constraints | 94226 |
| Number of constraints which are clauses | 94226 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1272 |
| 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 | 1272 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1272 |
| Number of bits of the biggest sum of numbers | 11 |
| 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.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666939-1276504305.opb>
1.49/1.53 c original problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94226 constraints
1.49/1.53 c problem read
1.49/1.53 c presolving settings loaded
1.69/1.77 o 0
1.69/1.77 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.69/1.77 c presolving:
2.99/3.04 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 94226 upgd conss, 188452 impls, 0 clqs
4.99/5.06 c (3.2s) probing: 101/1272 (7.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.99/5.06 c (3.2s) probing aborted: 100/100 successive totally useless probings
4.99/5.06 c presolving (2 rounds):
4.99/5.06 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.99/5.06 c 188452 implications, 0 cliques
4.99/5.06 c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94226 constraints
4.99/5.06 c 94226 constraints of type <logicor>
4.99/5.06 c transformed objective value is always integral (scale: 1)
4.99/5.06 c Presolving Time: 3.02
4.99/5.06 c - non default parameters ----------------------------------------------------------------------
4.99/5.06 c # SCIP version 1.2.1.2
4.99/5.06 c
4.99/5.06 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
4.99/5.06 c # [type: int, range: [-1,2147483647], default: -1]
4.99/5.06 c conflict/interconss = 0
4.99/5.06 c
4.99/5.06 c # should binary conflicts be preferred?
4.99/5.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.06 c conflict/preferbinary = TRUE
4.99/5.06 c
4.99/5.06 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
4.99/5.06 c # [type: int, range: [-1,2147483647], default: 0]
4.99/5.06 c constraints/agelimit = 1
4.99/5.06 c
4.99/5.06 c # should enforcement of pseudo solution be disabled?
4.99/5.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.06 c constraints/disableenfops = TRUE
4.99/5.06 c
4.99/5.06 c # frequency for displaying node information lines
4.99/5.06 c # [type: int, range: [-1,2147483647], default: 100]
4.99/5.06 c display/freq = 10000
4.99/5.06 c
4.99/5.06 c # maximal time in seconds to run
4.99/5.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.99/5.06 c limits/time = 1798.48
4.99/5.06 c
4.99/5.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.99/5.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.99/5.06 c limits/memory = 1620
4.99/5.06 c
4.99/5.06 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.99/5.06 c # [type: int, range: [-1,2147483647], default: 1]
4.99/5.06 c lp/solvefreq = 0
4.99/5.06 c
4.99/5.06 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
4.99/5.06 c # [type: char, range: {lafpsqd}, default: l]
4.99/5.06 c lp/pricing = a
4.99/5.06 c
4.99/5.06 c # should presolving try to simplify inequalities
4.99/5.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.06 c constraints/linear/simplifyinequalities = TRUE
4.99/5.06 c
4.99/5.06 c # should presolving try to simplify knapsacks
4.99/5.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.06 c constraints/knapsack/simplifyinequalities = TRUE
4.99/5.06 c
4.99/5.06 c # priority of node selection rule <dfs> in standard mode
4.99/5.06 c # [type: int, range: [-536870912,536870911], default: 0]
4.99/5.06 c nodeselection/dfs/stdpriority = 1000000
4.99/5.06 c
4.99/5.06 c -----------------------------------------------------------------------------------------------
4.99/5.06 c start solving
4.99/5.07 c
15.49/15.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.49/15.56 c t13.5s| 1 | 0 | 1768 | - | 105M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 | 0.000000e+00 | 100.00%
15.69/15.75 o -1
15.69/15.75 c R13.7s| 1 | 0 | 1768 | - | 105M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 |-1.000000e+00 | 99.84%
22.88/22.97 c 20.1s| 1 | 0 | 2052 | - | 105M| 0 |1199 |1272 | 94k|1272 | 94k| 12 | 0 | 0 |-5.995000e+02 |-1.000000e+00 | 99.83%
22.99/23.06 o -38
22.99/23.06 c b20.2s| 1 | 0 | 2052 | - | 105M| 0 |1199 |1272 | 94k|1272 | 94k| 12 | 0 | 0 |-5.995000e+02 |-3.800000e+01 | 93.66%
33.68/33.74 c 30.1s| 1 | 0 | 2392 | - | 105M| 0 |1138 |1272 | 94k|1272 | 94k| 34 | 0 | 0 |-5.690000e+02 |-3.800000e+01 | 93.32%
45.67/45.74 c 41.4s| 1 | 0 | 2627 | - | 105M| 0 |1090 |1272 | 94k|1272 | 94k| 43 | 0 | 0 |-5.450000e+02 |-3.800000e+01 | 93.03%
60.17/60.24 c 55.2s| 1 | 0 | 2923 | - | 105M| 0 |1042 |1272 | 94k|1272 | 94k| 58 | 0 | 0 |-5.210000e+02 |-3.800000e+01 | 92.71%
76.47/76.59 c 70.9s| 1 | 0 | 3365 | - | 105M| 0 | 973 |1272 | 94k|1272 | 94k| 73 | 0 | 0 |-4.865000e+02 |-3.800000e+01 | 92.19%
93.87/93.98 c 87.6s| 1 | 0 | 3736 | - | 105M| 0 | 930 |1272 | 94k|1272 | 94k| 79 | 0 | 0 |-4.642500e+02 |-3.800000e+01 | 91.81%
110.86/110.91 c 104s| 1 | 0 | 4041 | - | 105M| 0 | 905 |1272 | 94k|1272 | 94k| 86 | 0 | 0 |-4.517500e+02 |-3.800000e+01 | 91.59%
127.35/127.40 c 120s| 1 | 0 | 4356 | - | 105M| 0 | 863 |1272 | 94k|1272 | 94k| 93 | 0 | 0 |-4.307500e+02 |-3.800000e+01 | 91.18%
143.85/143.99 c 135s| 1 | 0 | 4653 | - | 105M| 0 | 817 |1272 | 94k|1272 | 94k| 101 | 0 | 0 |-4.068333e+02 |-3.800000e+01 | 90.66%
160.46/160.52 c 151s| 1 | 0 | 4964 | - | 105M| 0 | 792 |1272 | 94k|1272 | 94k| 108 | 0 | 0 |-3.952500e+02 |-3.800000e+01 | 90.39%
170.75/170.85 c 161s| 1 | 0 | 5587 | - | 105M| 0 | 737 |1272 | 94k|1272 | 94k| 117 | 0 | 0 |-3.675000e+02 |-3.800000e+01 | 89.66%
180.75/180.89 c 170s| 1 | 0 | 6165 | - | 105M| 0 | 694 |1272 | 94k|1272 | 94k| 125 | 0 | 0 |-3.462500e+02 |-3.800000e+01 | 89.03%
188.05/188.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.05/188.16 c 177s| 1 | 0 | 6511 | - | 105M| 0 | 674 |1272 | 94k|1272 | 94k| 130 | 0 | 0 |-3.362500e+02 |-3.800000e+01 | 88.70%
194.94/195.01 c 183s| 1 | 0 | 6804 | - | 105M| 0 | 652 |1272 | 94k|1272 | 94k| 136 | 0 | 0 |-3.252500e+02 |-3.800000e+01 | 88.32%
203.84/203.93 c 191s| 1 | 0 | 7320 | - | 105M| 0 | 587 |1272 | 94k|1272 | 94k| 147 | 0 | 0 |-2.922500e+02 |-3.800000e+01 | 87.00%
210.34/210.45 c 197s| 1 | 0 | 7630 | - | 105M| 0 | 544 |1272 | 94k|1272 | 94k| 151 | 0 | 0 |-2.707500e+02 |-3.800000e+01 | 85.96%
218.85/218.99 c 205s| 1 | 0 | 8055 | - | 105M| 0 | 501 |1272 | 94k|1272 | 94k| 156 | 0 | 0 |-2.497500e+02 |-3.800000e+01 | 84.78%
226.83/226.93 c 212s| 1 | 0 | 8507 | - | 105M| 0 | 452 |1272 | 94k|1272 | 94k| 164 | 0 | 0 |-2.260000e+02 |-3.800000e+01 | 83.19%
234.03/234.18 c 218s| 1 | 0 | 8910 | - | 105M| 0 | 411 |1272 | 94k|1272 | 94k| 172 | 0 | 0 |-2.055000e+02 |-3.800000e+01 | 81.51%
242.23/242.33 c 226s| 1 | 0 | 9336 | - | 105M| 0 | 370 |1272 | 94k|1272 | 94k| 176 | 0 | 0 |-1.842500e+02 |-3.800000e+01 | 79.38%
246.93/247.09 c 230s| 1 | 0 | 9682 | - | 105M| 0 | 327 |1272 | 94k|1272 | 94k| 182 | 0 | 0 |-1.627500e+02 |-3.800000e+01 | 76.65%
253.53/253.60 c 236s| 1 | 0 | 10270 | - | 105M| 0 | 282 |1272 | 94k|1272 | 94k| 190 | 0 | 0 |-1.402500e+02 |-3.800000e+01 | 72.91%
260.03/260.16 c 242s| 1 | 0 | 10793 | - | 105M| 0 | 236 |1272 | 94k|1272 | 94k| 195 | 0 | 0 |-1.172500e+02 |-3.800000e+01 | 67.59%
270.12/270.24 c 252s| 1 | 0 | 11805 | - | 105M| 0 | 196 |1272 | 94k|1272 | 94k| 199 | 0 | 0 |-9.800000e+01 |-3.800000e+01 | 61.22%
274.42/274.53 c 256s| 1 | 0 | 12099 | - | 105M| 0 | 173 |1272 | 94k|1272 | 94k| 208 | 0 | 0 |-8.750000e+01 |-3.800000e+01 | 56.57%
277.43/277.54 c 259s| 1 | 0 | 12258 | - | 105M| 0 | 163 |1272 | 94k|1272 | 94k| 214 | 0 | 0 |-7.800000e+01 |-3.800000e+01 | 51.28%
283.42/283.55 c 264s| 1 | 0 | 12774 | - | 105M| 0 | 114 |1272 | 94k|1272 | 94k| 219 | 0 | 0 |-6.100000e+01 |-3.800000e+01 | 37.70%
291.72/291.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.72/291.84 c 272s| 1 | 0 | 13541 | - | 105M| 0 | 276 |1272 | 94k|1272 | 94k| 229 | 0 | 0 |-5.350000e+01 |-3.800000e+01 | 28.97%
296.32/296.49 c 277s| 1 | 0 | 13775 | - | 105M| 0 | 280 |1272 | 94k|1272 | 94k| 238 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
319.81/319.96 c 296s| 1 | 0 | 14149 | - | 105M| 0 | 309 |1272 | 94k|1272 | 94k| 249 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
343.60/343.72 c 316s| 1 | 0 | 14621 | - | 105M| 0 | 323 |1272 | 94k|1272 | 94k| 260 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
483.37/483.52 c 429s| 1 | 0 | 14933 | - | 105M| 0 | 315 |1272 | 94k|1272 | 94k| 271 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
495.88/496.06 c 440s| 1 | 0 | 15642 | - | 105M| 0 | 270 |1272 | 94k|1272 | 94k| 279 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
616.55/616.75 c 537s| 1 | 0 | 16019 | - | 105M| 0 | 320 |1272 | 94k|1272 | 94k| 287 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
898.08/898.34 c 817s| 1 | 2 | 16019 | - | 105M| 0 | 320 |1272 | 94k|1272 | 94k| 287 | 0 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
905.57/905.82 c 825s| 10000 | 22 | 16019 | 0.0 | 106M| 42 | - |1272 | 94k| 0 | 0 | 287 | 28 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
912.98/913.22 c 832s| 20000 | 25 | 16019 | 0.0 | 106M| 46 | - |1272 | 94k| 0 | 0 | 287 | 78 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
920.17/920.40 c 839s| 30000 | 27 | 16019 | 0.0 | 106M| 48 | - |1272 | 94k| 0 | 0 | 287 | 106 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
927.47/927.72 c 846s| 40000 | 24 | 16019 | 0.0 | 106M| 50 | - |1272 | 94k| 0 | 0 | 287 | 151 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
934.78/935.08 c 853s| 50000 | 25 | 16019 | 0.0 | 106M| 50 | - |1272 | 94k| 0 | 0 | 287 | 187 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
942.16/942.41 c 860s| 60000 | 24 | 16019 | 0.0 | 106M| 50 | - |1272 | 94k| 0 | 0 | 287 | 205 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
949.27/949.59 c 868s| 70000 | 24 | 16019 | 0.0 | 106M| 50 | - |1272 | 94k| 0 | 0 | 287 | 224 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
956.47/956.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.47/956.71 c 875s| 80000 | 25 | 16019 | 0.0 | 106M| 50 | - |1272 | 94k| 0 | 0 | 287 | 261 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
963.56/963.89 c 882s| 90000 | 22 | 16019 | 0.0 | 106M| 53 | - |1272 | 94k| 0 | 0 | 287 | 295 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
971.07/971.33 c 889s|100000 | 26 | 16019 | 0.0 | 106M| 53 | - |1272 | 94k| 0 | 0 | 287 | 343 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
978.36/978.68 c 896s|110000 | 25 | 16019 | 0.0 | 106M| 53 | - |1272 | 94k| 0 | 0 | 287 | 383 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
985.86/986.11 c 903s|120000 | 24 | 16019 | 0.0 | 106M| 53 | - |1272 | 94k| 0 | 0 | 287 | 439 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
993.06/993.38 c 911s|130000 | 25 | 16019 | 0.0 | 106M| 53 | - |1272 | 94k| 0 | 0 | 287 | 483 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1000.16/1000.45 c 918s|140000 | 22 | 16019 | 0.0 | 106M| 53 | - |1272 | 94k| 0 | 0 | 287 | 501 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1007.15/1007.45 c 924s|150000 | 22 | 16019 | 0.0 | 106M| 53 | - |1272 | 94k| 0 | 0 | 287 | 515 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1014.25/1014.57 c 931s|160000 | 24 | 16019 | 0.0 | 106M| 53 | - |1272 | 94k| 0 | 0 | 287 | 546 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1021.45/1021.70 c 938s|170000 | 24 | 16019 | 0.0 | 106M| 53 | - |1272 | 94k| 0 | 0 | 287 | 578 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1028.34/1028.64 c 945s|180000 | 25 | 16019 | 0.0 | 106M| 54 | - |1272 | 94k| 0 | 0 | 287 | 609 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1035.24/1035.55 c 952s|190000 | 22 | 16019 | 0.0 | 106M| 54 | - |1272 | 94k| 0 | 0 | 287 | 641 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1042.24/1042.57 c 959s|200000 | 23 | 16019 | 0.0 | 106M| 54 | - |1272 | 94k| 0 | 0 | 287 | 665 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1049.15/1049.42 c 966s|210000 | 24 | 16019 | 0.0 | 106M| 54 | - |1272 | 94k| 0 | 0 | 287 | 698 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1056.34/1056.63 c 973s|220000 | 27 | 16019 | 0.0 | 106M| 54 | - |1272 | 94k| 0 | 0 | 287 | 728 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1063.35/1063.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.35/1063.62 c 979s|230000 | 23 | 16019 | 0.0 | 106M| 54 | - |1272 | 94k| 0 | 0 | 287 | 755 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1070.14/1070.42 c 986s|240000 | 24 | 16019 | 0.0 | 106M| 54 | - |1272 | 94k| 0 | 0 | 287 | 775 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1077.03/1077.39 c 993s|250000 | 22 | 16019 | 0.0 | 106M| 56 | - |1272 | 94k| 0 | 0 | 287 | 818 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1083.94/1084.28 c 1000s|260000 | 24 | 16019 | 0.0 | 106M| 56 | - |1272 | 94k| 0 | 0 | 287 | 851 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1090.84/1091.17 c 1006s|270000 | 23 | 16019 | 0.0 | 106M| 56 | - |1272 | 94k| 0 | 0 | 287 | 885 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1097.83/1098.13 c 1013s|280000 | 25 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 | 927 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1104.53/1104.89 c 1020s|290000 | 23 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 | 970 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1111.42/1111.71 c 1027s|300000 | 26 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 | 998 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1118.33/1118.67 c 1033s|310000 | 25 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1033 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1125.43/1125.71 c 1040s|320000 | 26 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1073 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1132.53/1132.90 c 1047s|330000 | 25 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1103 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1139.92/1140.22 c 1055s|340000 | 25 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1147 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1147.03/1147.32 c 1062s|350000 | 24 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1186 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1154.02/1154.33 c 1068s|360000 | 24 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1221 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1161.23/1161.53 c 1076s|370000 | 25 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1248 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1168.61/1168.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.61/1168.91 c 1083s|380000 | 25 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1286 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1176.22/1176.50 c 1090s|390000 | 23 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1327 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1183.41/1183.72 c 1097s|400000 | 24 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1343 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1190.40/1190.78 c 1104s|410000 | 25 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1361 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1197.81/1198.11 c 1111s|420000 | 25 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1393 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1204.90/1205.25 c 1118s|430000 | 24 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1421 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1212.21/1212.56 c 1126s|440000 | 25 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1471 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1219.51/1219.88 c 1133s|450000 | 24 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1515 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1226.60/1226.96 c 1140s|460000 | 24 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1547 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1233.70/1234.04 c 1147s|470000 | 23 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1583 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1241.00/1241.39 c 1154s|480000 | 25 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1603 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1248.39/1248.77 c 1161s|490000 | 24 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1665 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1255.50/1255.83 c 1168s|500000 | 26 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1719 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1262.79/1263.16 c 1175s|510000 | 25 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1760 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1269.99/1270.33 c 1182s|520000 | 24 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1791 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1277.39/1277.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.39/1277.73 c 1190s|530000 | 24 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1836 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1284.79/1285.14 c 1197s|540000 | 22 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1863 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1292.39/1292.75 c 1204s|550000 | 25 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1913 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1299.68/1300.00 c 1211s|560000 | 23 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1933 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1306.49/1306.86 c 1218s|570000 | 24 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |1961 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1313.68/1314.00 c 1225s|580000 | 24 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |2003 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1321.28/1321.65 c 1233s|590000 | 27 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |2040 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1328.58/1328.94 c 1240s|600000 | 24 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |2091 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1335.58/1335.96 c 1247s|610000 | 21 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |2147 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1342.57/1342.95 c 1254s|620000 | 24 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |2184 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1349.57/1349.97 c 1260s|630000 | 23 | 16019 | 0.0 | 106M| 58 | - |1272 | 94k| 0 | 0 | 287 |2211 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1356.67/1357.02 c 1267s|640000 | 24 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2245 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1363.77/1364.13 c 1274s|650000 | 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2279 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1370.67/1371.02 c 1281s|660000 | 24 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2308 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1377.56/1377.94 c 1288s|670000 | 26 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2330 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1384.36/1384.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.36/1384.75 c 1295s|680000 | 22 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2352 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1391.07/1391.48 c 1301s|690000 | 22 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2394 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1397.96/1398.31 c 1308s|700000 | 26 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2419 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1404.65/1405.06 c 1314s|710000 | 24 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2443 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1411.76/1412.12 c 1321s|720000 | 21 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2469 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1418.96/1419.34 c 1328s|730000 | 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2492 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1425.86/1426.30 c 1335s|740000 | 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2539 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1433.06/1433.42 c 1342s|750000 | 22 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2566 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1439.95/1440.37 c 1349s|760000 | 22 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2591 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1446.75/1447.16 c 1356s|770000 | 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2613 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1453.86/1454.25 c 1363s|780000 | 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2634 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1461.05/1461.43 c 1370s|790000 | 25 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2663 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1468.06/1468.45 c 1377s|800000 | 25 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2698 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1475.24/1475.62 c 1384s|810000 | 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2745 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1482.35/1482.78 c 1391s|820000 | 25 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2775 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1489.34/1489.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1489.34/1489.71 c 1397s|830000 | 21 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2801 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1496.04/1496.46 c 1404s|840000 | 27 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2832 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1502.84/1503.27 c 1411s|850000 | 24 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2870 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1509.54/1509.97 c 1417s|860000 | 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2899 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1516.33/1516.72 c 1424s|870000 | 25 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2940 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1522.93/1523.31 c 1430s|880000 | 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2949 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1529.93/1530.34 c 1437s|890000 | 22 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |2998 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1536.73/1537.12 c 1444s|900000 | 24 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3018 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1543.62/1544.00 c 1451s|910000 | 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3054 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1550.33/1550.79 c 1457s|920000 | 25 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3077 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1557.53/1557.95 c 1464s|930000 | 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3102 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1564.12/1564.57 c 1471s|940000 | 22 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3129 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1571.02/1571.47 c 1478s|950000 | 22 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3154 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1577.72/1578.17 c 1484s|960000 | 24 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3168 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1584.42/1584.89 c 1491s|970000 | 24 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3208 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1591.23/1591.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1591.23/1591.66 c 1497s|980000 | 25 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3241 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1598.41/1598.81 c 1504s|990000 | 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3301 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1605.31/1605.76 c 1511s| 1000k| 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3328 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1612.61/1613.08 c 1518s| 1010k| 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3364 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1619.71/1620.12 c 1525s| 1020k| 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3397 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1626.71/1627.16 c 1532s| 1030k| 25 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3443 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1633.71/1634.17 c 1539s| 1040k| 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3488 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1641.00/1641.41 c 1546s| 1050k| 24 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3519 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1647.71/1648.17 c 1553s| 1060k| 25 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3544 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1654.50/1654.99 c 1559s| 1070k| 23 | 16019 | 0.0 | 106M| 61 | - |1272 | 94k| 0 | 0 | 287 |3582 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1661.20/1661.64 c 1566s| 1080k| 25 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |3628 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1667.89/1668.30 c 1573s| 1090k| 25 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |3681 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1674.59/1675.02 c 1579s| 1100k| 25 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |3724 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1681.19/1681.63 c 1586s| 1110k| 24 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |3757 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1688.00/1688.43 c 1592s| 1120k| 25 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |3781 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1694.89/1695.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.89/1695.36 c 1599s| 1130k| 25 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |3804 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1701.79/1702.30 c 1606s| 1140k| 24 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |3818 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1708.69/1709.18 c 1613s| 1150k| 24 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |3845 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1715.59/1716.01 c 1619s| 1160k| 23 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |3892 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1722.38/1722.87 c 1626s| 1170k| 23 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |3920 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1729.39/1729.89 c 1633s| 1180k| 21 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |3944 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1736.49/1736.97 c 1640s| 1190k| 23 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |3988 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1743.38/1743.89 c 1647s| 1200k| 22 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |4014 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1750.58/1751.08 c 1654s| 1210k| 26 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |4047 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1757.96/1758.40 c 1661s| 1220k| 25 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |4082 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1764.96/1765.48 c 1668s| 1230k| 23 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |4131 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1772.06/1772.50 c 1675s| 1240k| 21 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |4158 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1778.85/1779.36 c 1681s| 1250k| 23 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |4200 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1785.66/1786.14 c 1688s| 1260k| 24 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |4246 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1792.57/1793.01 c 1695s| 1270k| 26 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |4272 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1799.16/1799.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1799.16/1799.62 c 1701s| 1280k| 24 | 16019 | 0.0 | 106M| 62 | - |1272 | 94k| 0 | 0 | 287 |4300 | 32 |-5.300000e+01 |-3.800000e+01 | 28.30%
1800.06/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.50 c
1800.06/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.50 c Solving Time (sec) : 1702.15
1800.06/1800.50 c Solving Nodes : 1281330
1800.06/1800.50 c Primal Bound : -3.80000000000000e+01 (11 solutions)
1800.06/1800.50 c Dual Bound : -5.29999999999999e+01
1800.06/1800.50 c Gap : 28.30 %
1800.06/1800.56 s SATISFIABLE
1800.06/1800.56 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.06/1800.56 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1800.06/1800.56 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.06/1800.56 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102
1800.06/1800.56 v -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123
1800.06/1800.56 v -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1800.06/1800.56 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.06/1800.56 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1800.06/1800.56 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.06/1800.56 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.06/1800.56 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.06/1800.56 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269
1800.06/1800.56 v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
1800.06/1800.56 v -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311
1800.06/1800.56 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332
1800.06/1800.56 v -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353
1800.06/1800.56 v -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374
1800.06/1800.56 v -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
1800.06/1800.56 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416
1800.06/1800.56 v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437
1800.06/1800.56 v -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
1800.06/1800.56 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
1800.06/1800.56 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500
1800.06/1800.56 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521
1800.06/1800.56 v -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542
1800.06/1800.56 v -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563
1800.06/1800.56 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583
1800.06/1800.56 v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604
1800.06/1800.56 v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625
1800.06/1800.56 v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646
1800.06/1800.56 v -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667
1800.06/1800.56 v x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688
1800.06/1800.56 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709
1800.06/1800.56 v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
1800.06/1800.56 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751
1800.06/1800.56 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772
1800.06/1800.56 v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793
1800.06/1800.56 v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814
1800.06/1800.56 v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834
1800.06/1800.56 v -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855
1800.06/1800.56 v -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876
1800.06/1800.56 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897
1800.06/1800.56 v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918
1800.06/1800.56 v -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939
1800.06/1800.56 v -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
1800.06/1800.56 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981
1800.06/1800.56 v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002
1800.06/1800.56 v -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
1800.06/1800.56 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038
1800.06/1800.56 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056
1800.06/1800.56 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.06/1800.56 v -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.06/1800.56 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.06/1800.56 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128
1800.06/1800.56 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1800.06/1800.56 v -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1800.06/1800.56 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182
1800.06/1800.56 v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200
1800.06/1800.56 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217
1800.06/1800.56 v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235
1800.06/1800.56 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253
1800.06/1800.56 v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271
1800.06/1800.56 v x1272
1800.06/1800.56 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.56 c Solving Time : 1702.15
1800.06/1800.56 c Original Problem :
1800.06/1800.56 c Problem name : HOME/instance-2666939-1276504305.opb
1800.06/1800.56 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.56 c Constraints : 94226 initial, 94226 maximal
1800.06/1800.56 c Presolved Problem :
1800.06/1800.56 c Problem name : t_HOME/instance-2666939-1276504305.opb
1800.06/1800.56 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.56 c Constraints : 94226 initial, 94235 maximal
1800.06/1800.56 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.56 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.56 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.56 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.56 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.56 c implics : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.56 c probing : 1.83 0 0 0 0 0 0 0 0
1800.06/1800.56 c logicor : 0.28 0 0 0 0 0 0 0 0
1800.06/1800.56 c root node : - 0 - - 0 - - - -
1800.06/1800.56 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.56 c integral : 0 0 0 1 0 0 0 0 0 2
1800.06/1800.56 c logicor : 94226+ 34 1259343 0 0 77574 2330033 0 0 0
1800.06/1800.56 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.56 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.56 c integral : 276.85 0.00 0.00 276.85 0.00
1800.06/1800.56 c logicor : 258.59 0.47 258.12 0.00 0.00
1800.06/1800.56 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.56 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.56 c vbounds : 1.02 2 0 0
1800.06/1800.56 c rootredcost : 1.05 0 0 0
1800.06/1800.56 c pseudoobj : 257.03 1965389 473007 510794
1800.06/1800.56 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.56 c propagation : 134.47 77574 4309 4309 42.9 0 0.0 -
1800.06/1800.56 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.56 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.56 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.56 c pseudo solution : 215.32 90392 0 0 0.0 0 0.0 -
1800.06/1800.56 c applied globally : - - - 4309 42.9 - - -
1800.06/1800.56 c applied locally : - - - 0 0.0 - - -
1800.06/1800.56 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.56 c cut pool : 0.02 33 - - 86 - (maximal pool size: 563)
1800.06/1800.56 c redcost : 0.00 34 0 0 0 0
1800.06/1800.56 c impliedbounds : 0.12 34 0 0 0 0
1800.06/1800.56 c intobj : 0.00 0 0 0 0 0
1800.06/1800.56 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.56 c gomory : 269.94 34 0 0 16001 0
1800.06/1800.56 c strongcg : 24.21 20 0 0 10000 0
1800.06/1800.56 c cmir : 34.71 10 0 0 0 0
1800.06/1800.56 c flowcover : 37.35 10 0 0 0 0
1800.06/1800.56 c clique : 2.16 34 0 0 315 0
1800.06/1800.56 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.56 c mcf : 0.17 1 0 0 0 0
1800.06/1800.56 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.56 c Pricers : Time Calls Vars
1800.06/1800.56 c problem variables: 0.00 0 0
1800.06/1800.56 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.56 c relpscost : 276.85 1 0 0 0 0 2
1800.06/1800.56 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.56 c inference : 7.21 643350 0 0 0 0 1286700
1800.06/1800.56 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.56 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.56 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.56 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.56 c random : 0.00 0 0 0 0 0 0
1800.06/1800.56 c Primal Heuristics : Time Calls Found
1800.06/1800.56 c LP solutions : 0.00 - 0
1800.06/1800.56 c pseudo solutions : 0.00 - 0
1800.06/1800.56 c crossover : 0.00 0 0
1800.06/1800.56 c oneopt : 1.01 2 1
1800.06/1800.56 c trivial : 0.06 2 3
1800.06/1800.56 c simplerounding : 0.03 35 4
1800.06/1800.56 c zirounding : 0.03 1 1
1800.06/1800.56 c rounding : 2.20 35 1
1800.06/1800.56 c shifting : 2.84 35 0
1800.06/1800.56 c intshifting : 0.00 0 0
1800.06/1800.56 c twoopt : 0.00 0 0
1800.06/1800.56 c fixandinfer : 0.00 0 0
1800.06/1800.56 c feaspump : 0.00 0 0
1800.06/1800.56 c coefdiving : 0.00 0 0
1800.06/1800.56 c pscostdiving : 0.00 0 0
1800.06/1800.56 c fracdiving : 0.00 0 0
1800.06/1800.56 c veclendiving : 0.00 0 0
1800.06/1800.56 c intdiving : 0.00 0 0
1800.06/1800.56 c actconsdiving : 0.00 0 0
1800.06/1800.56 c objpscostdiving : 0.00 0 0
1800.06/1800.56 c rootsoldiving : 0.00 0 0
1800.06/1800.56 c linesearchdiving : 0.00 0 0
1800.06/1800.56 c guideddiving : 0.00 0 0
1800.06/1800.56 c octane : 0.00 0 0
1800.06/1800.56 c rens : 3.62 1 1
1800.06/1800.56 c rins : 0.00 0 0
1800.06/1800.56 c localbranching : 0.00 0 0
1800.06/1800.56 c mutation : 0.00 0 0
1800.06/1800.56 c dins : 0.00 0 0
1800.06/1800.56 c undercover : 0.00 0 0
1800.06/1800.56 c nlp : 0.84 0 0
1800.06/1800.56 c trysol : 0.81 0 0
1800.06/1800.56 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.56 c primal LP : 0.29 0 0 0.00 0.00
1800.06/1800.56 c dual LP : 157.33 35 16019 457.69 101.82
1800.06/1800.56 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.56 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.56 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.56 c strong branching : 276.85 32 24344 760.75 87.93
1800.06/1800.56 c (at root node) : - 32 24344 760.75 -
1800.06/1800.56 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.56 c B&B Tree :
1800.06/1800.56 c number of runs : 1
1800.06/1800.56 c nodes : 1281330
1800.06/1800.56 c nodes (total) : 1281330
1800.06/1800.56 c nodes left : 24
1800.06/1800.56 c max depth : 62
1800.06/1800.56 c max depth (total): 62
1800.06/1800.56 c backtracks : 216839 (16.9%)
1800.06/1800.56 c delayed cutoffs : 3256
1800.06/1800.56 c repropagations : 3641 (11518 domain reductions, 2994 cutoffs)
1800.06/1800.56 c avg switch length: 2.00
1800.06/1800.56 c switching time : 78.47
1800.06/1800.56 c Solution :
1800.06/1800.56 c Solutions found : 11 (3 improvements)
1800.06/1800.56 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.14 seconds, depth 0, found by <trivial>)
1800.06/1800.56 c Primal Bound : -3.80000000000000e+01 (in run 1, after 1 nodes, 20.08 seconds, depth 0, found by <oneopt>)
1800.06/1800.56 c Dual Bound : -5.29999999999999e+01
1800.06/1800.56 c Gap : 28.30 %
1800.06/1800.56 c Root Dual Bound : -5.29999999999999e+01
1800.06/1800.56 c Root Iterations : 16019
1800.45/1800.93 c Time complete: 1800.48.
OK -38
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666939-1276504305/watcher-2666939-1276504305 -o /tmp/evaluation-result-2666939-1276504305/solver-2666939-1276504305 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666939-1276504305.opb -t 1800 -m 1800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.00 1.67 3/106 27656 /proc/meminfo: memFree=1784668/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=6696 CPUtime=0 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 985 0 0 0 0 0 0 0 18 0 1 0 26034426 6856704 904 1992294400 4194304 8223781 140733828664720 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27656/statm: 1674 913 343 984 0 687 0 [startup+0.0457939 s] /proc/loadavg: 1.92 2.00 1.67 3/106 27656 /proc/meminfo: memFree=1784668/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=11116 CPUtime=0.03 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 2093 0 0 0 3 0 0 0 20 0 1 0 26034426 11382784 2012 1992294400 4194304 8223781 140733828664720 18446744073709551615 5649219 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27656/statm: 2779 2012 365 984 0 1792 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11116 [startup+0.101798 s] /proc/loadavg: 1.92 2.00 1.67 3/106 27656 /proc/meminfo: memFree=1784668/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=13580 CPUtime=0.09 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 2691 0 0 0 9 0 0 0 20 0 1 0 26034426 13905920 2610 1992294400 4194304 8223781 140733828664720 18446744073709551615 4364820 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27656/statm: 3395 2610 365 984 0 2408 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13580 [startup+0.301813 s] /proc/loadavg: 1.92 2.00 1.67 3/106 27656 /proc/meminfo: memFree=1784668/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=17940 CPUtime=0.29 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 3793 0 0 0 28 1 0 0 20 0 1 0 26034426 18370560 3712 1992294400 4194304 8223781 140733828664720 18446744073709551615 7210682 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27656/statm: 4485 3712 365 984 0 3498 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17940 [startup+0.701851 s] /proc/loadavg: 1.92 2.00 1.67 3/106 27656 /proc/meminfo: memFree=1784668/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=25688 CPUtime=0.69 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 5742 0 0 0 67 2 0 0 20 0 1 0 26034426 26304512 5661 1992294400 4194304 8223781 140733828664720 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27656/statm: 6422 5661 365 984 0 5435 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25688 [startup+1.50091 s] /proc/loadavg: 1.92 2.00 1.67 2/107 27657 /proc/meminfo: memFree=1756264/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=43312 CPUtime=1.49 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 10150 0 0 0 146 3 0 0 23 0 1 0 26034426 44351488 10069 1992294400 4194304 8223781 140733828664720 18446744073709551615 7247206 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27656/statm: 10828 10069 365 984 0 9841 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43312 [startup+3.10104 s] /proc/loadavg: 1.85 1.99 1.66 2/107 27657 /proc/meminfo: memFree=1689428/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=106420 CPUtime=3.09 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 38600 0 0 0 273 36 0 0 25 0 1 0 26034426 108974080 25035 1992294400 4194304 8223781 140733828664720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 26605 25035 449 984 0 25618 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 106420 [startup+6.3013 s] /proc/loadavg: 1.85 1.99 1.66 2/107 27657 /proc/meminfo: memFree=1615896/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=210744 CPUtime=6.29 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 69152 0 0 0 581 48 0 0 25 0 1 0 26034426 215801856 48063 1992294400 4194304 8223781 140733828664720 18446744073709551615 6446938 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 52686 48063 528 984 0 51699 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 210744 [startup+12.7008 s] /proc/loadavg: 1.72 1.95 1.66 2/107 27657 /proc/meminfo: memFree=1586136/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=230856 CPUtime=12.69 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 73796 0 0 0 1217 52 0 0 25 0 1 0 26034426 236396544 49967 1992294400 4194304 8223781 140733828664720 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 57714 49967 532 984 0 56727 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 230856 [startup+25.5019 s] /proc/loadavg: 1.60 1.92 1.65 2/107 27657 /proc/meminfo: memFree=1584896/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=239996 CPUtime=25.49 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 390058 0 0 0 2364 185 0 0 25 0 1 0 26034426 245755904 50299 1992294400 4194304 8223781 140733828664720 18446744073709551615 6299558 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59999 50299 559 984 0 59012 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 239996 [startup+51.1009 s] /proc/loadavg: 1.40 1.85 1.63 2/107 27657 /proc/meminfo: memFree=1584276/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238460 CPUtime=51.08 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 830622 0 0 0 4760 348 0 0 25 0 1 0 26034426 244183040 50224 1992294400 4194304 8223781 140733828664720 18446744073709551615 5721503 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59615 50224 560 984 0 58628 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 238460 [startup+102.309 s] /proc/loadavg: 1.16 1.70 1.59 2/107 27659 /proc/meminfo: memFree=1583408/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=237068 CPUtime=102.28 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 1398804 0 0 0 9672 556 0 0 25 0 1 0 26034426 242757632 50459 1992294400 4194304 8223781 140733828664720 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59267 50459 561 984 0 58280 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 237068 [startup+162.301 s] /proc/loadavg: 1.06 1.57 1.55 2/107 27661 /proc/meminfo: memFree=1582788/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=236860 CPUtime=162.24 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 2062169 0 0 0 15416 808 0 0 25 0 1 0 26034426 242544640 50827 1992294400 4194304 8223781 140733828664720 18446744073709551615 6300092 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59215 50827 561 984 0 58228 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 236860 [startup+222.302 s] /proc/loadavg: 1.02 1.46 1.51 2/107 27661 /proc/meminfo: memFree=1581672/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=232336 CPUtime=222.24 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 3481262 0 0 0 20872 1352 0 0 25 0 1 0 26034426 237912064 50968 1992294400 4194304 8223781 140733828664720 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 58084 50968 561 984 0 57097 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 232336 [startup+282.302 s] /proc/loadavg: 1.00 1.38 1.48 2/107 27663 /proc/meminfo: memFree=1581300/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=227200 CPUtime=282.22 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 4523922 0 0 0 26464 1758 0 0 25 0 1 0 26034426 232652800 51091 1992294400 4194304 8223781 140733828664720 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 56800 51091 590 984 0 55813 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 227200 [startup+342.302 s] /proc/loadavg: 1.00 1.31 1.45 2/107 27665 /proc/meminfo: memFree=1580184/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=230680 CPUtime=342.21 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 6874993 0 0 0 31578 2643 0 0 25 0 1 0 26034426 236216320 51344 1992294400 4194304 8223781 140733828664720 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 57670 51344 579 984 0 56683 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 230680 [startup+402.301 s] /proc/loadavg: 1.00 1.25 1.42 2/107 27667 /proc/meminfo: memFree=1578944/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=232368 CPUtime=402.19 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 10120258 0 0 0 36416 3803 0 0 25 0 1 0 26034426 237944832 51676 1992294400 4194304 8223781 140733828664720 18446744073709551615 6299978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 58092 51676 579 984 0 57105 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 232368 [startup+462.301 s] /proc/loadavg: 1.00 1.20 1.39 2/107 27669 /proc/meminfo: memFree=1578820/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=232368 CPUtime=462.18 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 13425838 0 0 0 41226 4992 0 0 25 0 1 0 26034426 237944832 51676 1992294400 4194304 8223781 140733828664720 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 58092 51676 579 984 0 57105 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 232368 [startup+522.301 s] /proc/loadavg: 1.00 1.16 1.36 2/107 27669 /proc/meminfo: memFree=1575720/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=233640 CPUtime=522.17 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 16129045 0 0 0 46234 5983 0 0 25 0 1 0 26034426 239247360 52238 1992294400 4194304 8223781 140733828664720 18446744073709551615 6052037 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 58410 52238 561 984 0 57423 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 233640 [startup+582.301 s] /proc/loadavg: 1.00 1.13 1.33 2/107 27671 /proc/meminfo: memFree=1575844/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=234380 CPUtime=582.16 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 19464225 0 0 0 50996 7220 0 0 25 0 1 0 26034426 240005120 52423 1992294400 4194304 8223781 140733828664720 18446744073709551615 6299742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 58595 52423 561 984 0 57608 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 234380 [startup+642.302 s] /proc/loadavg: 1.00 1.10 1.31 2/107 27673 /proc/meminfo: memFree=1565056/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238388 CPUtime=642.15 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21189671 0 0 0 56323 7892 0 0 25 0 1 0 26034426 244109312 54921 1992294400 4194304 8223781 140733828664720 18446744073709551615 6569379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59597 54921 588 984 0 58610 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 238388 [startup+702.302 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.20 2/107 27683 /proc/meminfo: memFree=1564684/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1002.05 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 92080 8125 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 5907496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 238380 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.18 2/107 27685 /proc/meminfo: memFree=1564560/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1062.04 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 97968 8236 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 238380 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.17 2/107 27685 /proc/meminfo: memFree=1564560/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1122.02 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 103846 8356 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 238380 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.16 2/107 27687 /proc/meminfo: memFree=1564436/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1182.01 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 109740 8461 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 238380 [startup+1242.3 s] /proc/loadavg: 1.17 1.05 1.16 2/107 27689 /proc/meminfo: memFree=1564188/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1242 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 115627 8573 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 238380 [startup+1302.3 s] /proc/loadavg: 1.06 1.03 1.15 2/107 27691 /proc/meminfo: memFree=1564188/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1301.99 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 121515 8684 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 238380 [startup+1362.3 s] /proc/loadavg: 1.02 1.03 1.14 2/107 27693 /proc/meminfo: memFree=1564188/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1361.97 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 127399 8798 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 238380 [startup+1422.31 s] /proc/loadavg: 1.01 1.02 1.13 2/107 27693 /proc/meminfo: memFree=1564064/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1421.96 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 133287 8909 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 4240415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 238380 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.11 2/107 27695 /proc/meminfo: memFree=1563940/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1481.94 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 139169 9025 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 238380 [startup+1542.3 s] /proc/loadavg: 1.05 1.02 1.11 2/107 27697 /proc/meminfo: memFree=1563816/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1541.93 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 145051 9142 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 238380 [startup+1602.3 s] /proc/loadavg: 1.06 1.03 1.10 2/107 27699 /proc/meminfo: memFree=1563816/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1601.91 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 150930 9261 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 238380 [startup+1662.3 s] /proc/loadavg: 1.06 1.04 1.09 2/107 27701 /proc/meminfo: memFree=1563816/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1661.9 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 156813 9377 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 238380 [startup+1722.3 s] /proc/loadavg: 1.02 1.03 1.09 2/107 27701 /proc/meminfo: memFree=1563568/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1721.89 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 162698 9491 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 5907479 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 238380 [startup+1782.3 s] /proc/loadavg: 1.01 1.02 1.08 2/107 27712 /proc/meminfo: memFree=1563320/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1781.85 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 168580 9605 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 238380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.02 1.08 2/107 27714 /proc/meminfo: memFree=1563320/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=238380 CPUtime=1800.06 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224988 0 0 0 170364 9642 0 0 25 0 1 0 26034426 244101120 54930 1992294400 4194304 8223781 140733828664720 18446744073709551615 5907474 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27656/statm: 59595 54930 589 984 0 58608 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 238380 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.02 1.08 2/108 27715 /proc/meminfo: memFree=1563312/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=237616 CPUtime=1800.16 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224990 0 0 0 170374 9642 0 0 25 0 1 0 26034426 243318784 54747 1992294400 4194304 8223781 140733828664720 18446744073709551615 6075548 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27656/statm: 59404 54747 591 984 0 58417 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 237616 [startup+1800.8 s] /proc/loadavg: 1.00 1.02 1.08 2/108 27715 /proc/meminfo: memFree=1563312/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=200656 CPUtime=1800.35 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224990 0 0 0 170392 9643 0 0 25 0 1 0 26034426 205471744 45512 1992294400 4194304 8223781 140733828664720 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27656/statm: 50164 45512 591 984 0 49177 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (KiB) 200656 [startup+1800.9 s] /proc/loadavg: 1.00 1.02 1.08 2/108 27715 /proc/meminfo: memFree=1563312/2059040 swapFree=4140200/4192956 [pid=27656] ppid=27654 vsize=60104 CPUtime=1800.45 /proc/27656/stat : 27656 (pbscip.linux.x8) R 27654 27656 27047 0 -1 4202496 21224990 0 0 0 170401 9644 0 0 25 0 1 0 26034426 61546496 13500 1992294400 4194304 8223781 140733828664720 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27656/statm: 15026 13500 591 984 0 14039 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (KiB) 60104 Child status: 0 Real time (s): 1800.93 CPU time (s): 1800.49 CPU user time (s): 1704.04 CPU system time (s): 96.4553 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 329680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1704.03 system time used= 96.4553 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21224994 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= 2 involuntary context switches= 4610 runsolver used 2.87656 second user time and 8.61769 second system time The end
Begin job on node003 at 2010-06-14 10:31:45 IDJOB=2666939 IDBENCH=2258 IDSOLVER=1169 FILE ID=node003/2666939-1276504305 PBS_JOBID= 11173404 Free space on /tmp= 62572 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666939-1276504305/watcher-2666939-1276504305 -o /tmp/evaluation-result-2666939-1276504305/solver-2666939-1276504305 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666939-1276504305.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d RANDOM SEED=1118538642 node003.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1785196 kB Buffers: 84868 kB Cached: 109512 kB SwapCached: 5688 kB Active: 99136 kB Inactive: 107764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1785196 kB SwapTotal: 4192956 kB SwapFree: 4140200 kB Dirty: 6736 kB Writeback: 0 kB AnonPages: 11080 kB Mapped: 12916 kB Slab: 45156 kB PageTables: 3936 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182492 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62568 MiB End job on node003 at 2010-06-14 11:01:47