| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1794.73 | 1795.2 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbea.opb |
| MD5SUM | fed9726f7ff3b53e29a48b8849ad3d9b |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 155427 |
| Total number of constraints | 2674 |
| 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 | 2674 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 7267 |
| Number of terms in the objective function | 15205 |
| Biggest coefficient in the objective function | 536870912000000 |
| Number of bits for the biggest coefficient in the objective function | 49 |
| Sum of the numbers in the objective function | 11303756896327816 |
| Number of bits of the sum of numbers in the objective function | 54 |
| Biggest number in a constraint | 536870912000000 |
| Number of bits of the biggest number in a constraint | 49 |
| Biggest sum of numbers in a constraint | 24454743822989865 |
| Number of bits of the biggest sum of numbers | 55 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703493-1278559450.opb>
2.20/2.22 c original problem has 155427 variables (155427 bin, 0 int, 0 impl, 0 cont) and 2674 constraints
2.20/2.22 c problem read
2.20/2.22 c presolving settings loaded
3.99/4.07 c presolving:
4.99/5.02 c (round 1) 49097 del vars, 336 del conss, 47957 chg bounds, 501 chg sides, 1023 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
5.39/5.50 c (round 2) 63408 del vars, 491 del conss, 62190 chg bounds, 525 chg sides, 1217 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
5.79/5.80 c (round 3) 68874 del vars, 532 del conss, 67625 chg bounds, 526 chg sides, 1675 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
5.99/6.02 c (round 4) 70379 del vars, 564 del conss, 69118 chg bounds, 528 chg sides, 1715 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
6.09/6.13 c (round 5) 70655 del vars, 569 del conss, 69393 chg bounds, 528 chg sides, 1724 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
6.09/6.19 c (round 6) 70695 del vars, 571 del conss, 69433 chg bounds, 528 chg sides, 1735 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
6.19/6.23 c (round 7) 70713 del vars, 571 del conss, 69451 chg bounds, 528 chg sides, 1737 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
6.49/6.54 c (round 8) 70714 del vars, 571 del conss, 69452 chg bounds, 528 chg sides, 1737 chg coeffs, 433 upgd conss, 0 impls, 0 clqs
9.09/9.11 c (round 9) 70720 del vars, 571 del conss, 69454 chg bounds, 618 chg sides, 16096 chg coeffs, 433 upgd conss, 1740 impls, 217 clqs
10.39/10.41 c (round 10) 70796 del vars, 571 del conss, 69454 chg bounds, 618 chg sides, 16096 chg coeffs, 433 upgd conss, 1994 impls, 145 clqs
11.09/11.12 c (round 11) 70796 del vars, 571 del conss, 69454 chg bounds, 621 chg sides, 16099 chg coeffs, 433 upgd conss, 1994 impls, 152 clqs
12.29/12.37 c (round 12) 70846 del vars, 571 del conss, 69454 chg bounds, 621 chg sides, 16099 chg coeffs, 433 upgd conss, 3108 impls, 111 clqs
14.68/14.73 c (round 13) 70899 del vars, 571 del conss, 69454 chg bounds, 621 chg sides, 16099 chg coeffs, 433 upgd conss, 6510 impls, 98 clqs
15.18/15.27 c (round 14) 70899 del vars, 571 del conss, 69454 chg bounds, 623 chg sides, 16101 chg coeffs, 433 upgd conss, 6510 impls, 99 clqs
34.29/34.33 c (round 15) 70949 del vars, 571 del conss, 69454 chg bounds, 623 chg sides, 16101 chg coeffs, 433 upgd conss, 27154 impls, 96 clqs
35.58/35.64 c (round 16) 70949 del vars, 571 del conss, 69454 chg bounds, 633 chg sides, 16111 chg coeffs, 433 upgd conss, 27156 impls, 99 clqs
42.38/42.45 c (40.2s) probing: 1000/84707 (1.2%) - 277 fixings, 0 aggregations, 12789 implications, 0 bound changes
42.79/42.82 c (round 17) 70999 del vars, 571 del conss, 69454 chg bounds, 633 chg sides, 16111 chg coeffs, 433 upgd conss, 43866 impls, 99 clqs
44.28/44.33 c (round 18) 70999 del vars, 571 del conss, 69454 chg bounds, 643 chg sides, 16121 chg coeffs, 433 upgd conss, 43866 impls, 99 clqs
46.68/46.73 c (round 19) 71053 del vars, 571 del conss, 69456 chg bounds, 643 chg sides, 16121 chg coeffs, 433 upgd conss, 46792 impls, 99 clqs
47.88/47.97 c (round 20) 71112 del vars, 571 del conss, 69456 chg bounds, 643 chg sides, 16121 chg coeffs, 433 upgd conss, 47754 impls, 99 clqs
53.28/53.34 c (round 21) 71162 del vars, 571 del conss, 69456 chg bounds, 643 chg sides, 16121 chg coeffs, 433 upgd conss, 77458 impls, 99 clqs
54.78/54.82 c (round 22) 71164 del vars, 571 del conss, 69458 chg bounds, 653 chg sides, 16131 chg coeffs, 433 upgd conss, 77458 impls, 99 clqs
73.47/73.54 c (round 23) 71217 del vars, 571 del conss, 69458 chg bounds, 653 chg sides, 16131 chg coeffs, 433 upgd conss, 84670 impls, 95 clqs
75.27/75.30 c (round 24) 71217 del vars, 571 del conss, 69458 chg bounds, 667 chg sides, 16145 chg coeffs, 433 upgd conss, 84670 impls, 229 clqs
84.27/84.38 c (round 25) 71267 del vars, 571 del conss, 69458 chg bounds, 667 chg sides, 16145 chg coeffs, 433 upgd conss, 87416 impls, 87 clqs
85.68/85.80 c (round 26) 71267 del vars, 571 del conss, 69458 chg bounds, 671 chg sides, 16149 chg coeffs, 433 upgd conss, 87418 impls, 93 clqs
94.27/94.34 c (92.1s) probing: 2000/84707 (2.4%) - 563 fixings, 0 aggregations, 25096 implications, 2 bound changes
99.16/99.22 c (round 27) 71323 del vars, 571 del conss, 69458 chg bounds, 671 chg sides, 16149 chg coeffs, 433 upgd conss, 98698 impls, 88 clqs
100.26/100.38 c (round 28) 71323 del vars, 571 del conss, 69458 chg bounds, 681 chg sides, 16159 chg coeffs, 433 upgd conss, 98698 impls, 88 clqs
107.86/107.99 c (round 29) 71400 del vars, 571 del conss, 69458 chg bounds, 681 chg sides, 16159 chg coeffs, 433 upgd conss, 104584 impls, 88 clqs
109.46/109.55 c (round 30) 71400 del vars, 571 del conss, 69458 chg bounds, 690 chg sides, 16168 chg coeffs, 433 upgd conss, 104584 impls, 88 clqs
114.06/114.17 c (round 31) 71450 del vars, 571 del conss, 69458 chg bounds, 690 chg sides, 16168 chg coeffs, 433 upgd conss, 114470 impls, 86 clqs
115.16/115.25 c (round 32) 71452 del vars, 571 del conss, 69458 chg bounds, 696 chg sides, 16175 chg coeffs, 433 upgd conss, 114486 impls, 80 clqs
115.26/115.34 c (round 33) 71452 del vars, 571 del conss, 69458 chg bounds, 700 chg sides, 16185 chg coeffs, 433 upgd conss, 114486 impls, 82 clqs
115.37/115.47 c (round 34) 71452 del vars, 571 del conss, 69458 chg bounds, 701 chg sides, 16186 chg coeffs, 433 upgd conss, 114486 impls, 82 clqs
132.66/132.72 c (round 35) 71507 del vars, 571 del conss, 69458 chg bounds, 701 chg sides, 16186 chg coeffs, 433 upgd conss, 140588 impls, 81 clqs
134.46/134.54 c (round 36) 71507 del vars, 571 del conss, 69458 chg bounds, 711 chg sides, 16196 chg coeffs, 433 upgd conss, 140588 impls, 107 clqs
140.06/140.14 c (round 37) 71557 del vars, 571 del conss, 69458 chg bounds, 711 chg sides, 16196 chg coeffs, 433 upgd conss, 156638 impls, 75 clqs
141.76/141.87 c (round 38) 71558 del vars, 571 del conss, 69459 chg bounds, 715 chg sides, 16200 chg coeffs, 433 upgd conss, 156640 impls, 77 clqs
149.85/149.96 c (round 39) 71612 del vars, 571 del conss, 69459 chg bounds, 715 chg sides, 16200 chg coeffs, 433 upgd conss, 173910 impls, 75 clqs
151.45/151.55 c (round 40) 71612 del vars, 571 del conss, 69459 chg bounds, 721 chg sides, 16206 chg coeffs, 433 upgd conss, 173910 impls, 77 clqs
154.05/154.18 c (152.0s) probing: 3000/84707 (3.5%) - 892 fixings, 0 aggregations, 41669 implications, 2 bound changes
170.85/170.94 c (round 41) 71662 del vars, 571 del conss, 69459 chg bounds, 721 chg sides, 16206 chg coeffs, 433 upgd conss, 194652 impls, 74 clqs
172.05/172.12 c (round 42) 71662 del vars, 571 del conss, 69459 chg bounds, 727 chg sides, 16212 chg coeffs, 433 upgd conss, 194652 impls, 74 clqs
174.45/174.52 c (round 43) 71712 del vars, 571 del conss, 69459 chg bounds, 727 chg sides, 16212 chg coeffs, 433 upgd conss, 196712 impls, 68 clqs
175.15/175.27 c (round 44) 71714 del vars, 571 del conss, 69459 chg bounds, 729 chg sides, 16214 chg coeffs, 433 upgd conss, 196730 impls, 63 clqs
184.84/184.94 c (182.7s) probing: 3761/84707 (4.4%) - 1019 fixings, 0 aggregations, 46805 implications, 2 bound changes
184.84/184.94 c (182.7s) probing aborted: 100/100 successive totally useless probings
184.84/184.94 c (round 45) 71746 del vars, 571 del conss, 69459 chg bounds, 729 chg sides, 16214 chg coeffs, 433 upgd conss, 198672 impls, 62 clqs
186.04/186.18 c (round 46) 71746 del vars, 571 del conss, 69459 chg bounds, 731 chg sides, 16216 chg coeffs, 433 upgd conss, 198674 impls, 63 clqs
192.24/192.40 c (190.2s) probing: 3964/84707 (4.7%) - 1061 fixings, 0 aggregations, 49196 implications, 2 bound changes
192.24/192.40 c (190.2s) probing aborted: 100/100 successive totally useless probings
192.24/192.40 c (round 47) 71788 del vars, 571 del conss, 69459 chg bounds, 731 chg sides, 16216 chg coeffs, 433 upgd conss, 207176 impls, 63 clqs
193.14/193.26 c (round 48) 71788 del vars, 571 del conss, 69459 chg bounds, 737 chg sides, 16222 chg coeffs, 433 upgd conss, 207176 impls, 63 clqs
195.24/195.30 c (193.1s) probing: 4000/84707 (4.7%) - 1069 fixings, 0 aggregations, 49291 implications, 2 bound changes
201.44/201.57 c (199.3s) probing: 4210/84707 (5.0%) - 1098 fixings, 0 aggregations, 49955 implications, 2 bound changes
201.44/201.57 c (199.3s) probing aborted: 100/100 successive totally useless probings
201.44/201.57 c (round 49) 71825 del vars, 571 del conss, 69459 chg bounds, 737 chg sides, 16222 chg coeffs, 433 upgd conss, 210758 impls, 63 clqs
202.44/202.57 c (round 50) 71825 del vars, 571 del conss, 69459 chg bounds, 741 chg sides, 16226 chg coeffs, 433 upgd conss, 210766 impls, 63 clqs
205.34/205.47 c (203.2s) probing: 4326/84707 (5.1%) - 1108 fixings, 0 aggregations, 50453 implications, 2 bound changes
205.34/205.47 c (203.2s) probing aborted: 100/100 successive totally useless probings
205.34/205.47 c (round 51) 71835 del vars, 571 del conss, 69459 chg bounds, 741 chg sides, 16226 chg coeffs, 433 upgd conss, 211764 impls, 63 clqs
215.33/215.47 c (213.2s) probing: 4729/84707 (5.6%) - 1139 fixings, 0 aggregations, 51370 implications, 2 bound changes
215.33/215.47 c (213.2s) probing aborted: 100/100 successive totally useless probings
215.33/215.47 c (round 52) 71866 del vars, 571 del conss, 69459 chg bounds, 741 chg sides, 16226 chg coeffs, 433 upgd conss, 214214 impls, 62 clqs
223.33/223.42 c (round 53) 71916 del vars, 571 del conss, 69459 chg bounds, 741 chg sides, 16226 chg coeffs, 433 upgd conss, 217704 impls, 60 clqs
225.83/225.95 c (223.7s) probing: 5000/84707 (5.9%) - 1192 fixings, 0 aggregations, 52540 implications, 2 bound changes
236.53/236.64 c (round 54) 71969 del vars, 571 del conss, 69461 chg bounds, 741 chg sides, 16226 chg coeffs, 433 upgd conss, 219762 impls, 61 clqs
237.73/237.85 c (round 55) 71969 del vars, 571 del conss, 69461 chg bounds, 743 chg sides, 16228 chg coeffs, 433 upgd conss, 219762 impls, 61 clqs
244.43/244.58 c (242.4s) probing: 5710/84707 (6.7%) - 1279 fixings, 0 aggregations, 53357 implications, 2 bound changes
244.43/244.58 c (242.4s) probing aborted: 100/100 successive totally useless probings
244.43/244.58 c (round 56) 72008 del vars, 571 del conss, 69461 chg bounds, 743 chg sides, 16228 chg coeffs, 433 upgd conss, 220534 impls, 61 clqs
245.92/246.05 c (round 57) 72008 del vars, 571 del conss, 69461 chg bounds, 745 chg sides, 16230 chg coeffs, 433 upgd conss, 220534 impls, 61 clqs
249.32/249.41 c (247.2s) probing: 5840/84707 (6.9%) - 1291 fixings, 0 aggregations, 53549 implications, 2 bound changes
249.32/249.41 c (247.2s) probing aborted: 100/100 successive totally useless probings
249.32/249.41 c (round 58) 72020 del vars, 571 del conss, 69461 chg bounds, 745 chg sides, 16230 chg coeffs, 433 upgd conss, 221368 impls, 59 clqs
253.72/253.80 c (251.6s) probing: 6000/84707 (7.1%) - 1291 fixings, 0 aggregations, 53618 implications, 2 bound changes
255.32/255.41 c (253.2s) probing: 6073/84707 (7.2%) - 1291 fixings, 0 aggregations, 53618 implications, 2 bound changes
255.32/255.41 c (253.2s) probing aborted: 100/100 successive totally useless probings
255.32/255.43 c presolving (59 rounds):
255.32/255.43 c 72020 deleted vars, 571 deleted constraints, 69461 tightened bounds, 0 added holes, 745 changed sides, 16230 changed coefficients
255.32/255.43 c 221506 implications, 61 cliques
255.32/255.43 c presolved problem has 83407 variables (83407 bin, 0 int, 0 impl, 0 cont) and 2107 constraints
255.32/255.43 c 433 constraints of type <knapsack>
255.32/255.43 c 4 constraints of type <setppc>
255.32/255.43 c 1670 constraints of type <linear>
255.32/255.43 c transformed objective value is always integral (scale: 1)
255.32/255.43 c Presolving Time: 252.28
255.32/255.43 c - non default parameters ----------------------------------------------------------------------
255.32/255.43 c # SCIP version 1.2.1.3
255.32/255.43 c
255.32/255.43 c # frequency for displaying node information lines
255.32/255.43 c # [type: int, range: [-1,2147483647], default: 100]
255.32/255.43 c display/freq = 10000
255.32/255.43 c
255.32/255.43 c # maximal time in seconds to run
255.32/255.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
255.32/255.43 c limits/time = 1787.78
255.32/255.43 c
255.32/255.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
255.32/255.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
255.32/255.43 c limits/memory = 1620
255.32/255.43 c
255.32/255.43 c # default clock type (1: CPU user seconds, 2: wall clock time)
255.32/255.43 c # [type: int, range: [1,2], default: 1]
255.32/255.43 c timing/clocktype = 2
255.32/255.43 c
255.32/255.43 c # should presolving try to simplify inequalities
255.32/255.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
255.32/255.43 c constraints/linear/simplifyinequalities = TRUE
255.32/255.43 c
255.32/255.43 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
255.32/255.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
255.32/255.43 c constraints/indicator/addCouplingCons = TRUE
255.32/255.43 c
255.32/255.43 c # should presolving try to simplify knapsacks
255.32/255.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
255.32/255.43 c constraints/knapsack/simplifyinequalities = TRUE
255.32/255.43 c
255.32/255.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
255.32/255.43 c # [type: int, range: [-1,2147483647], default: -1]
255.32/255.43 c separating/rapidlearning/freq = 0
255.32/255.43 c
255.32/255.43 c -----------------------------------------------------------------------------------------------
255.32/255.43 c start solving
255.42/255.50 c
1793.63/1794.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1793.63/1794.16 c 1792s| 1 | 0 |233527 | - | 393M| 0 | - | 83k|2107 | 83k|2107 | 0 | 0 | 0 |-1.164890e+15 | -- | Inf
1793.72/1794.20 c 1792s| 1 | 2 |233527 | - | 393M| 0 | - | 83k|2107 | 83k|2107 | 0 | 0 | 0 |-1.164890e+15 | -- | Inf
1793.72/1794.20 c
1793.72/1794.20 c SCIP Status : solving was interrupted [time limit reached]
1793.72/1794.20 c Solving Time (sec) : 1791.98
1793.72/1794.20 c Solving Nodes : 1
1793.72/1794.20 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.72/1794.20 c Dual Bound : -1.16489036040990e+15
1793.72/1794.20 c Gap : infinite
1793.72/1794.20 s UNKNOWN
1793.72/1794.20 c SCIP Status : solving was interrupted [time limit reached]
1793.72/1794.20 c Solving Time : 1791.98
1793.72/1794.20 c Original Problem :
1793.72/1794.20 c Problem name : HOME/instance-2703493-1278559450.opb
1793.72/1794.20 c Variables : 155427 (155427 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.72/1794.20 c Constraints : 2674 initial, 2674 maximal
1793.72/1794.20 c Presolved Problem :
1793.72/1794.20 c Problem name : t_HOME/instance-2703493-1278559450.opb
1793.72/1794.20 c Variables : 83407 (83407 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.72/1794.20 c Constraints : 2107 initial, 2107 maximal
1793.72/1794.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.72/1794.20 c trivial : 0.95 0 0 0 0 0 0 0 0
1793.72/1794.20 c dualfix : 0.94 0 0 0 0 0 0 0 0
1793.72/1794.20 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.72/1794.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.72/1794.20 c implics : 0.41 0 0 0 0 0 0 0 0
1793.72/1794.20 c probing : 213.56 1291 0 0 2 0 0 0 0
1793.72/1794.20 c knapsack : 30.12 8 0 0 0 0 0 217 14493
1793.72/1794.20 c setppc : 0.00 0 0 0 0 0 0 0 0
1793.72/1794.20 c linear : 5.26 70425 296 0 69459 0 571 528 1737
1793.72/1794.20 c root node : - 0 - - 0 - - - -
1793.72/1794.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.72/1794.20 c integral : 0 0 0 0 0 0 0 0 0 0
1793.72/1794.20 c knapsack : 433 0 16173 0 1 16 0 0 0 0
1793.72/1794.20 c setppc : 4 0 9212 0 1 0 0 0 0 0
1793.72/1794.20 c linear : 1670 0 16157 0 1 503 0 0 0 0
1793.72/1794.20 c countsols : 0 0 0 0 1 0 0 0 0 0
1793.72/1794.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.72/1794.20 c integral : 0.00 0.00 0.00 0.00 0.00
1793.72/1794.20 c knapsack : 10.54 0.00 10.54 0.00 0.00
1793.72/1794.20 c setppc : 0.01 0.00 0.01 0.00 0.00
1793.72/1794.20 c linear : 92.20 0.00 92.20 0.00 0.00
1793.72/1794.20 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.72/1794.20 c Propagators : Time Calls Cutoffs DomReds
1793.72/1794.20 c vbounds : 0.01 2 0 0
1793.72/1794.20 c rootredcost : 0.01 0 0 0
1793.72/1794.20 c pseudoobj : 0.01 1 0 0
1793.72/1794.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.72/1794.20 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.72/1794.20 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.72/1794.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.72/1794.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.72/1794.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.72/1794.20 c applied globally : - - - 0 0.0 - - -
1793.72/1794.20 c applied locally : - - - 0 0.0 - - -
1793.72/1794.20 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1793.72/1794.20 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1793.72/1794.20 c redcost : 0.00 0 0 0 0 0
1793.72/1794.20 c impliedbounds : 0.00 0 0 0 0 0
1793.72/1794.20 c intobj : 0.00 0 0 0 0 0
1793.72/1794.20 c cgmip : 0.00 0 0 0 0 0
1793.72/1794.20 c gomory : 0.00 0 0 0 0 0
1793.72/1794.20 c strongcg : 0.00 0 0 0 0 0
1793.72/1794.20 c cmir : 0.00 0 0 0 0 0
1793.72/1794.20 c flowcover : 0.00 0 0 0 0 0
1793.72/1794.20 c clique : 0.00 0 0 0 0 0
1793.72/1794.20 c zerohalf : 0.00 0 0 0 0 0
1793.72/1794.20 c mcf : 0.00 0 0 0 0 0
1793.72/1794.20 c rapidlearning : 0.00 0 0 0 0 0
1793.72/1794.20 c Pricers : Time Calls Vars
1793.72/1794.20 c problem variables: 0.00 0 0
1793.72/1794.20 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1793.72/1794.20 c relpscost : 0.00 0 0 0 0 0 0
1793.72/1794.20 c pscost : 0.00 0 0 0 0 0 0
1793.72/1794.20 c inference : 0.03 1 0 0 0 0 2
1793.72/1794.20 c mostinf : 0.00 0 0 0 0 0 0
1793.72/1794.20 c leastinf : 0.00 0 0 0 0 0 0
1793.72/1794.20 c fullstrong : 0.00 0 0 0 0 0 0
1793.72/1794.20 c allfullstrong : 0.00 0 0 0 0 0 0
1793.72/1794.20 c random : 0.00 0 0 0 0 0 0
1793.72/1794.20 c Primal Heuristics : Time Calls Found
1793.72/1794.20 c LP solutions : 0.00 - 0
1793.72/1794.20 c pseudo solutions : 0.00 - 0
1793.72/1794.20 c oneopt : 0.00 0 0
1793.72/1794.20 c trivial : 0.43 2 0
1793.72/1794.20 c simplerounding : 0.00 0 0
1793.72/1794.20 c zirounding : 0.00 0 0
1793.72/1794.20 c rounding : 0.00 0 0
1793.72/1794.20 c shifting : 0.00 0 0
1793.72/1794.20 c intshifting : 0.00 0 0
1793.72/1794.20 c twoopt : 0.00 0 0
1793.72/1794.20 c fixandinfer : 0.00 0 0
1793.72/1794.20 c feaspump : 0.00 0 0
1793.72/1794.20 c coefdiving : 0.00 0 0
1793.72/1794.20 c pscostdiving : 0.00 0 0
1793.72/1794.20 c fracdiving : 0.00 0 0
1793.72/1794.20 c veclendiving : 0.00 0 0
1793.72/1794.20 c intdiving : 0.00 0 0
1793.72/1794.20 c actconsdiving : 0.00 0 0
1793.72/1794.20 c objpscostdiving : 0.00 0 0
1793.72/1794.20 c rootsoldiving : 0.00 0 0
1793.72/1794.20 c linesearchdiving : 0.00 0 0
1793.72/1794.20 c guideddiving : 0.00 0 0
1793.72/1794.20 c octane : 0.00 0 0
1793.72/1794.20 c rens : 0.00 0 0
1793.72/1794.20 c rins : 0.00 0 0
1793.72/1794.20 c localbranching : 0.00 0 0
1793.72/1794.20 c mutation : 0.00 0 0
1793.72/1794.20 c crossover : 0.00 0 0
1793.72/1794.20 c dins : 0.00 0 0
1793.72/1794.20 c undercover : 0.00 0 0
1793.72/1794.20 c nlp : 0.00 0 0
1793.72/1794.20 c trysol : 0.00 0 0
1793.72/1794.20 c LP : Time Calls Iterations Iter/call Iter/sec
1793.72/1794.20 c primal LP : 0.00 0 0 0.00 -
1793.72/1794.20 c dual LP : 1537.89 1 233527 233527.00 151.85
1793.72/1794.20 c lex dual LP : 0.00 0 0 0.00 -
1793.72/1794.20 c barrier LP : 0.00 0 0 0.00 -
1793.72/1794.20 c diving/probing LP: 0.00 0 0 0.00 -
1793.72/1794.20 c strong branching : 0.00 0 0 0.00 -
1793.72/1794.20 c (at root node) : - 0 0 0.00 -
1793.72/1794.20 c conflict analysis: 0.00 0 0 0.00 -
1793.72/1794.20 c B&B Tree :
1793.72/1794.20 c number of runs : 1
1793.72/1794.20 c nodes : 1
1793.72/1794.20 c nodes (total) : 1
1793.72/1794.20 c nodes left : 2
1793.72/1794.20 c max depth : 0
1793.72/1794.20 c max depth (total): 0
1793.72/1794.20 c backtracks : 0 (0.0%)
1793.72/1794.20 c delayed cutoffs : 0
1793.72/1794.20 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1793.72/1794.20 c avg switch length: 1.00
1793.72/1794.20 c switching time : 0.00
1793.72/1794.20 c Solution :
1793.72/1794.20 c Solutions found : 0 (0 improvements)
1793.72/1794.20 c Primal Bound : -
1793.72/1794.20 c Dual Bound : -1.16489036040990e+15
1793.72/1794.20 c Gap : infinite
1793.72/1794.20 c Root Dual Bound : -1.16489036040990e+15
1793.72/1794.20 c Root Iterations : 233527
1794.62/1795.20 c Time complete: 1794.72.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703493-1278559450/watcher-2703493-1278559450 -o /tmp/evaluation-result-2703493-1278559450/solver-2703493-1278559450 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703493-1278559450.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.00 1.00 1.00 3/105 30603 /proc/meminfo: memFree=1656884/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=7904 CPUtime=0 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 1151 0 0 0 0 0 0 0 23 0 1 0 24153348 8093696 1062 1992294400 4194304 8395647 140736302086864 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30603/statm: 1976 1071 365 1026 0 946 0 [startup+0.0473369 s] /proc/loadavg: 1.00 1.00 1.00 3/105 30603 /proc/meminfo: memFree=1656884/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=17604 CPUtime=0.04 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 3688 0 0 0 3 1 0 0 23 0 1 0 24153348 18026496 3598 1992294400 4194304 8395647 140736302086864 18446744073709551615 4245998 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30603/statm: 4401 3598 392 1026 0 3371 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 17604 [startup+0.101342 s] /proc/loadavg: 1.00 1.00 1.00 3/105 30603 /proc/meminfo: memFree=1656884/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=26244 CPUtime=0.09 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 5892 0 0 0 7 2 0 0 23 0 1 0 24153348 26873856 5797 1992294400 4194304 8395647 140736302086864 18446744073709551615 7385017 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30603/statm: 6561 5797 394 1026 0 5531 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26244 [startup+0.301365 s] /proc/loadavg: 1.00 1.00 1.00 3/105 30603 /proc/meminfo: memFree=1656884/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=64592 CPUtime=0.29 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 15464 0 0 0 24 5 0 0 23 0 1 0 24153348 66142208 15369 1992294400 4194304 8395647 140736302086864 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30603/statm: 16148 15369 394 1026 0 15118 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 64592 [startup+0.701409 s] /proc/loadavg: 1.00 1.00 1.00 3/105 30603 /proc/meminfo: memFree=1656884/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=97508 CPUtime=0.69 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 23557 0 0 0 61 8 0 0 25 0 1 0 24153348 99848192 23462 1992294400 4194304 8395647 140736302086864 18446744073709551615 5753713 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30603/statm: 24377 23462 394 1026 0 23347 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 97508 [startup+1.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30604 /proc/meminfo: memFree=1542796/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=129756 CPUtime=1.49 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 31330 0 0 0 138 11 0 0 25 0 1 0 24153348 132870144 31235 1992294400 4194304 8395647 140736302086864 18446744073709551615 7301437 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30603/statm: 32439 31235 394 1026 0 31409 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 129756 [startup+3.10167 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30604 /proc/meminfo: memFree=1525560/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=328144 CPUtime=3.09 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 80108 0 0 0 283 26 0 0 25 0 1 0 24153348 336019456 79659 1992294400 4194304 8395647 140736302086864 18446744073709551615 4449009 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 82036 79659 421 1026 0 81006 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 328144 [startup+6.30103 s] /proc/loadavg: 1.16 1.03 1.01 2/106 30604 /proc/meminfo: memFree=1299632/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=374112 CPUtime=6.29 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 90065 0 0 0 600 29 0 0 25 0 1 0 24153348 383090688 89616 1992294400 4194304 8395647 140736302086864 18446744073709551615 4982403 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 93528 89616 473 1026 0 92498 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 374112 [startup+12.7017 s] /proc/loadavg: 1.15 1.03 1.01 2/106 30604 /proc/meminfo: memFree=1246932/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=429264 CPUtime=12.69 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 103285 0 0 0 1236 33 0 0 25 0 1 0 24153348 439566336 102708 1992294400 4194304 8395647 140736302086864 18446744073709551615 4482954 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 107316 102708 535 1026 0 106286 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 429264 [startup+25.5012 s] /proc/loadavg: 1.11 1.03 1.00 2/106 30604 /proc/meminfo: memFree=1246312/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=429776 CPUtime=25.49 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 103449 0 0 0 2515 34 0 0 25 0 1 0 24153348 440090624 102836 1992294400 4194304 8395647 140736302086864 18446744073709551615 5604430 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 107444 102836 499 1026 0 106414 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 429776 [startup+51.101 s] /proc/loadavg: 1.07 1.03 1.00 2/106 30604 /proc/meminfo: memFree=1243832/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=432320 CPUtime=51.08 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 104091 0 0 0 5074 34 0 0 25 0 1 0 24153348 442695680 103478 1992294400 4194304 8395647 140736302086864 18446744073709551615 5604418 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 108080 103478 505 1026 0 107050 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 432320 [startup+102.309 s] /proc/loadavg: 1.03 1.02 1.00 2/106 30606 /proc/meminfo: memFree=1241104/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=435172 CPUtime=102.27 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 104804 0 0 0 10193 34 0 0 25 0 1 0 24153348 445616128 104191 1992294400 4194304 8395647 140736302086864 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 108793 104191 505 1026 0 107763 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 435172 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/106 30608 /proc/meminfo: memFree=1238500/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=437812 CPUtime=162.25 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 105469 0 0 0 16191 34 0 0 25 0 1 0 24153348 448319488 104856 1992294400 4194304 8395647 140736302086864 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 109453 104856 509 1026 0 108423 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 437812 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 30610 /proc/meminfo: memFree=1236888/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=439456 CPUtime=222.23 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 105880 0 0 0 22189 34 0 0 25 0 1 0 24153348 450002944 105267 1992294400 4194304 8395647 140736302086864 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 109864 105267 509 1026 0 108834 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 439456 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30612 /proc/meminfo: memFree=1155792/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=282.22 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127308 0 0 0 28173 49 0 0 25 0 1 0 24153348 550780928 125539 1992294400 4194304 8395647 140736302086864 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125539 588 1026 0 133438 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 537872 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30612 /proc/meminfo: memFree=1155296/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=342.2 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127447 0 0 0 34156 64 0 0 25 0 1 0 24153348 550780928 125672 1992294400 4194304 8395647 140736302086864 18446744073709551615 6663822 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125672 588 1026 0 133438 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 537872 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30614 /proc/meminfo: memFree=1155048/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=402.19 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127482 0 0 0 40140 79 0 0 25 0 1 0 24153348 550780928 125707 1992294400 4194304 8395647 140736302086864 18446744073709551615 6503034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125707 588 1026 0 133438 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 537872 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30616 /proc/meminfo: memFree=1155048/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=462.17 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127482 0 0 0 46124 93 0 0 25 0 1 0 24153348 550780928 125707 1992294400 4194304 8395647 140736302086864 18446744073709551615 6503853 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125707 588 1026 0 133438 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 537872 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30618 /proc/meminfo: memFree=1155048/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=522.15 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127482 0 0 0 52109 106 0 0 25 0 1 0 24153348 550780928 125707 1992294400 4194304 8395647 140736302086864 18446744073709551615 6663843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125707 588 1026 0 133438 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 537872 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30620 /proc/meminfo: memFree=1154924/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=582.14 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127482 0 0 0 58095 119 0 0 25 0 1 0 24153348 550780928 125707 1992294400 4194304 8395647 140736302086864 18446744073709551615 6503038 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125707 588 1026 0 133438 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 537872 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30620 /proc/meminfo: memFree=1154924/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=642.13 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127483 0 0 0 64078 135 0 0 25 0 1 0 24153348 550780928 125708 1992294400 4194304 8395647 140736302086864 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125708 588 1026 0 133438 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 537872 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1154552/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1062.01 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127497 0 0 0 105982 219 0 0 25 0 1 0 24153348 550780928 125722 1992294400 4194304 8395647 140736302086864 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125722 588 1026 0 133438 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 537872 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30634 /proc/meminfo: memFree=1154428/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1122 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127498 0 0 0 111969 231 0 0 25 0 1 0 24153348 550780928 125723 1992294400 4194304 8395647 140736302086864 18446744073709551615 6692853 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125723 588 1026 0 133438 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 537872 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30636 /proc/meminfo: memFree=1154304/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1181.98 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127499 0 0 0 117955 243 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 6503870 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 588 1026 0 133438 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 537872 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30636 /proc/meminfo: memFree=1154180/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1241.96 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127499 0 0 0 123940 256 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 6501675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 588 1026 0 133438 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 537872 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30638 /proc/meminfo: memFree=1154056/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1301.96 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127499 0 0 0 129930 266 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 6663841 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 588 1026 0 133438 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 537872 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30640 /proc/meminfo: memFree=1154056/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1361.93 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127499 0 0 0 135915 278 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 6503922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 588 1026 0 133438 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 537872 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30642 /proc/meminfo: memFree=1154056/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1421.93 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127499 0 0 0 141902 291 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 588 1026 0 133438 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 537872 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30644 /proc/meminfo: memFree=1154056/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1481.91 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127505 0 0 0 147885 306 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 6663864 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 582 1026 0 133438 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 537872 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30644 /proc/meminfo: memFree=1154056/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1541.88 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127505 0 0 0 153872 316 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 6663843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 582 1026 0 133438 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 537872 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30646 /proc/meminfo: memFree=1154056/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1601.87 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127505 0 0 0 159860 327 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 6503922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 582 1026 0 133438 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 537872 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30648 /proc/meminfo: memFree=1154056/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1661.85 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127505 0 0 0 165848 337 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 582 1026 0 133438 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 537872 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30650 /proc/meminfo: memFree=1154056/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1721.84 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127505 0 0 0 171835 349 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 582 1026 0 133438 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 537872 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30652 /proc/meminfo: memFree=1153808/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1781.82 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127505 0 0 0 177821 361 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 6501688 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 582 1026 0 133438 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 537872 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30652 /proc/meminfo: memFree=1153808/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1785.02 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127505 0 0 0 178140 362 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 6663849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 582 1026 0 133438 0 Current children cumulated CPU time (s) 1785.02 Current children cumulated vsize (KiB) 537872 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30652 /proc/meminfo: memFree=1153808/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1791.43 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127505 0 0 0 178780 363 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 582 1026 0 133438 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 537872 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30652 /proc/meminfo: memFree=1153808/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1793.02 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127505 0 0 0 178939 363 0 0 25 0 1 0 24153348 550780928 125724 1992294400 4194304 8395647 140736302086864 18446744073709551615 6663822 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125724 582 1026 0 133438 0 Current children cumulated CPU time (s) 1793.02 Current children cumulated vsize (KiB) 537872 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30652 /proc/meminfo: memFree=1153808/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1793.82 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127676 0 0 0 179018 364 0 0 18 0 1 0 24153348 550780928 125895 1992294400 4194304 8395647 140736302086864 18446744073709551615 6150524 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125895 591 1026 0 133438 0 Current children cumulated CPU time (s) 1793.82 Current children cumulated vsize (KiB) 537872 [startup+1794.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30652 /proc/meminfo: memFree=1153808/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=537872 CPUtime=1794.22 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127679 0 0 0 179058 364 0 0 18 0 1 0 24153348 550780928 125898 1992294400 4194304 8395647 140736302086864 18446744073709551615 6345751 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30603/statm: 134468 125898 594 1026 0 133438 0 Current children cumulated CPU time (s) 1794.22 Current children cumulated vsize (KiB) 537872 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30652 /proc/meminfo: memFree=1215560/2059040 swapFree=4136400/4192956 [pid=30603] ppid=30601 vsize=460264 CPUtime=1794.62 /proc/30603/stat : 30603 (pbscip.linux.x8) R 30601 30603 29223 0 -1 4202496 127679 0 0 0 179098 364 0 0 19 0 1 0 24153348 471310336 110349 1992294400 4194304 8395647 140736302086864 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30603/statm: 115066 110349 594 1026 0 114036 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 460264 Child status: 0 Real time (s): 1795.2 CPU time (s): 1794.73 CPU user time (s): 1791.04 CPU system time (s): 3.68844 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 537872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.04 system time used= 3.68844 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127687 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= 3 involuntary context switches= 3348 runsolver used 2.95355 second user time and 8.49171 second system time The end
Begin job on node087 at 2010-07-08 05:24:11 IDJOB=2703493 IDBENCH=2438 IDSOLVER=1213 FILE ID=node087/2703493-1278559450 PBS_JOBID= 11239476 Free space on /tmp= 62540 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbea.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-2703493-1278559450/watcher-2703493-1278559450 -o /tmp/evaluation-result-2703493-1278559450/solver-2703493-1278559450 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703493-1278559450.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fed9726f7ff3b53e29a48b8849ad3d9b RANDOM SEED=554811042 node087.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.201 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.40 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.201 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 : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1657412 kB Buffers: 85528 kB Cached: 221504 kB SwapCached: 12768 kB Active: 157824 kB Inactive: 165848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1657412 kB SwapTotal: 4192956 kB SwapFree: 4136400 kB Dirty: 24696 kB Writeback: 0 kB AnonPages: 11460 kB Mapped: 8316 kB Slab: 56304 kB PageTables: 4128 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181568 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= 62528 MiB End job on node087 at 2010-07-08 05:54:06