Trace number 2703474

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1794.15 1794.7

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
MD5SUMebe0bf73b5f65c9fef014886519c9815
Bench CategoryOPT-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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables155020
Total number of constraints2675
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2675
Minimum length of a constraint11
Maximum length of a constraint7172
Number of terms in the objective function 14882
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 12491747892670016
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 numbers55
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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-2703474-1278558863.opb>
2.20/2.23	c original problem has 155020 variables (155020 bin, 0 int, 0 impl, 0 cont) and 2675 constraints
2.20/2.23	c problem read
2.20/2.23	c presolving settings loaded
3.99/4.08	c presolving:
4.99/5.03	c (round 1) 50004 del vars, 337 del conss, 48863 chg bounds, 496 chg sides, 1018 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
5.49/5.52	c (round 2) 65700 del vars, 491 del conss, 64481 chg bounds, 520 chg sides, 1229 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
5.78/5.83	c (round 3) 71533 del vars, 531 del conss, 70283 chg bounds, 524 chg sides, 1652 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
5.98/6.05	c (round 4) 72827 del vars, 563 del conss, 71567 chg bounds, 525 chg sides, 1689 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
6.08/6.16	c (round 5) 73098 del vars, 569 del conss, 71837 chg bounds, 525 chg sides, 1701 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
6.18/6.25	c (round 6) 73175 del vars, 570 del conss, 71914 chg bounds, 525 chg sides, 1713 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
6.28/6.31	c (round 7) 73244 del vars, 570 del conss, 71983 chg bounds, 525 chg sides, 1719 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
6.28/6.37	c (round 8) 73269 del vars, 570 del conss, 72008 chg bounds, 525 chg sides, 1721 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
6.59/6.66	c (round 9) 73270 del vars, 570 del conss, 72009 chg bounds, 525 chg sides, 1721 chg coeffs, 437 upgd conss, 0 impls, 0 clqs
9.09/9.15	c (round 10) 73303 del vars, 570 del conss, 72034 chg bounds, 614 chg sides, 15396 chg coeffs, 437 upgd conss, 1992 impls, 182 clqs
9.99/10.03	c (round 11) 73353 del vars, 570 del conss, 72080 chg bounds, 616 chg sides, 15398 chg coeffs, 437 upgd conss, 3542 impls, 182 clqs
10.69/10.75	c (round 12) 73437 del vars, 570 del conss, 72154 chg bounds, 618 chg sides, 15400 chg coeffs, 437 upgd conss, 6488 impls, 182 clqs
11.39/11.45	c (round 13) 73443 del vars, 570 del conss, 72160 chg bounds, 621 chg sides, 15403 chg coeffs, 437 upgd conss, 6496 impls, 182 clqs
13.09/13.16	c (round 14) 73514 del vars, 570 del conss, 72160 chg bounds, 621 chg sides, 15403 chg coeffs, 437 upgd conss, 10948 impls, 122 clqs
13.38/13.46	c (round 15) 73514 del vars, 570 del conss, 72160 chg bounds, 622 chg sides, 15404 chg coeffs, 437 upgd conss, 10948 impls, 128 clqs
14.68/14.72	c (round 16) 73567 del vars, 570 del conss, 72160 chg bounds, 622 chg sides, 15404 chg coeffs, 437 upgd conss, 11502 impls, 83 clqs
24.38/24.47	c (round 17) 73620 del vars, 570 del conss, 72160 chg bounds, 622 chg sides, 15404 chg coeffs, 437 upgd conss, 24622 impls, 79 clqs
24.99/25.01	c (round 18) 73620 del vars, 570 del conss, 72160 chg bounds, 628 chg sides, 15410 chg coeffs, 437 upgd conss, 24640 impls, 79 clqs
28.19/28.28	c (round 19) 73672 del vars, 570 del conss, 72160 chg bounds, 628 chg sides, 15410 chg coeffs, 437 upgd conss, 27768 impls, 79 clqs
28.89/28.97	c (round 20) 73672 del vars, 570 del conss, 72160 chg bounds, 630 chg sides, 15412 chg coeffs, 437 upgd conss, 27770 impls, 79 clqs
32.18/32.29	c (round 21) 73722 del vars, 570 del conss, 72160 chg bounds, 630 chg sides, 15412 chg coeffs, 437 upgd conss, 36282 impls, 79 clqs
33.48/33.52	c (round 22) 73732 del vars, 570 del conss, 72170 chg bounds, 630 chg sides, 15412 chg coeffs, 437 upgd conss, 36282 impls, 81 clqs
38.68/38.77	c (round 23) 73783 del vars, 570 del conss, 72171 chg bounds, 630 chg sides, 15412 chg coeffs, 437 upgd conss, 51760 impls, 81 clqs
40.08/40.16	c (round 24) 73783 del vars, 570 del conss, 72171 chg bounds, 633 chg sides, 15415 chg coeffs, 437 upgd conss, 51760 impls, 81 clqs
50.08/50.13	c (round 25) 73833 del vars, 570 del conss, 72171 chg bounds, 633 chg sides, 15415 chg coeffs, 437 upgd conss, 100212 impls, 81 clqs
51.38/51.45	c (round 26) 73833 del vars, 570 del conss, 72171 chg bounds, 637 chg sides, 15419 chg coeffs, 437 upgd conss, 100212 impls, 81 clqs
56.77/56.86	c    (54.6s) probing: 1000/81577 (1.2%) - 414 fixings, 0 aggregations, 23386 implications, 0 bound changes
74.57/74.66	c (round 27) 73883 del vars, 570 del conss, 72171 chg bounds, 637 chg sides, 15419 chg coeffs, 437 upgd conss, 112320 impls, 81 clqs
76.17/76.29	c (round 28) 73883 del vars, 570 del conss, 72171 chg bounds, 641 chg sides, 15423 chg coeffs, 437 upgd conss, 112320 impls, 84 clqs
82.87/82.94	c (round 29) 73936 del vars, 570 del conss, 72171 chg bounds, 641 chg sides, 15423 chg coeffs, 437 upgd conss, 119232 impls, 72 clqs
84.06/84.10	c (round 30) 73936 del vars, 570 del conss, 72171 chg bounds, 647 chg sides, 15429 chg coeffs, 437 upgd conss, 119232 impls, 72 clqs
93.26/93.34	c (round 31) 73986 del vars, 570 del conss, 72171 chg bounds, 647 chg sides, 15429 chg coeffs, 437 upgd conss, 129038 impls, 71 clqs
94.66/94.72	c (round 32) 73989 del vars, 570 del conss, 72172 chg bounds, 659 chg sides, 15441 chg coeffs, 437 upgd conss, 129040 impls, 69 clqs
96.16/96.27	c (round 33) 74039 del vars, 570 del conss, 72172 chg bounds, 659 chg sides, 15441 chg coeffs, 437 upgd conss, 131124 impls, 61 clqs
97.16/97.24	c (round 34) 74040 del vars, 570 del conss, 72173 chg bounds, 671 chg sides, 15453 chg coeffs, 437 upgd conss, 131124 impls, 82 clqs
107.15/107.22	c    (105.0s) probing: 2000/81577 (2.5%) - 615 fixings, 0 aggregations, 32711 implications, 0 bound changes
115.25/115.34	c (round 35) 74090 del vars, 570 del conss, 72173 chg bounds, 671 chg sides, 15453 chg coeffs, 437 upgd conss, 143704 impls, 52 clqs
116.95/117.06	c (round 36) 74090 del vars, 570 del conss, 72173 chg bounds, 683 chg sides, 15465 chg coeffs, 437 upgd conss, 143740 impls, 149 clqs
123.45/123.58	c (round 37) 74141 del vars, 570 del conss, 72173 chg bounds, 683 chg sides, 15465 chg coeffs, 437 upgd conss, 155242 impls, 45 clqs
124.95/125.00	c (round 38) 74141 del vars, 570 del conss, 72173 chg bounds, 685 chg sides, 15467 chg coeffs, 437 upgd conss, 155244 impls, 45 clqs
131.35/131.47	c (round 39) 74191 del vars, 570 del conss, 72173 chg bounds, 685 chg sides, 15467 chg coeffs, 437 upgd conss, 169624 impls, 45 clqs
133.14/133.21	c (round 40) 74193 del vars, 570 del conss, 72175 chg bounds, 689 chg sides, 15471 chg coeffs, 437 upgd conss, 169632 impls, 48 clqs
142.64/142.76	c (round 41) 74243 del vars, 570 del conss, 72175 chg bounds, 689 chg sides, 15471 chg coeffs, 437 upgd conss, 175562 impls, 46 clqs
144.54/144.60	c (round 42) 74245 del vars, 570 del conss, 72177 chg bounds, 697 chg sides, 15479 chg coeffs, 437 upgd conss, 175566 impls, 46 clqs
144.84/144.93	c (round 43) 74245 del vars, 570 del conss, 72177 chg bounds, 699 chg sides, 15481 chg coeffs, 437 upgd conss, 175566 impls, 46 clqs
150.55/150.68	c (round 44) 74295 del vars, 570 del conss, 72177 chg bounds, 699 chg sides, 15481 chg coeffs, 437 upgd conss, 182300 impls, 45 clqs
151.94/152.09	c (round 45) 74295 del vars, 570 del conss, 72177 chg bounds, 706 chg sides, 15488 chg coeffs, 437 upgd conss, 182300 impls, 77 clqs
152.24/152.35	c    (150.1s) probing: 3000/81577 (3.7%) - 833 fixings, 0 aggregations, 41452 implications, 0 bound changes
162.44/162.50	c    (160.3s) probing: 3326/81577 (4.1%) - 869 fixings, 0 aggregations, 42727 implications, 0 bound changes
162.44/162.50	c    (160.3s) probing aborted: 100/100 successive totally useless probings
162.44/162.51	c (round 46) 74331 del vars, 570 del conss, 72177 chg bounds, 706 chg sides, 15488 chg coeffs, 437 upgd conss, 185332 impls, 74 clqs
163.33/163.44	c (round 47) 74333 del vars, 570 del conss, 72177 chg bounds, 712 chg sides, 15494 chg coeffs, 437 upgd conss, 185334 impls, 40 clqs
167.23/167.31	c (round 48) 74390 del vars, 570 del conss, 72177 chg bounds, 712 chg sides, 15494 chg coeffs, 437 upgd conss, 192754 impls, 39 clqs
167.73/167.84	c (round 49) 74390 del vars, 570 del conss, 72177 chg bounds, 718 chg sides, 15500 chg coeffs, 437 upgd conss, 192758 impls, 42 clqs
189.03/189.12	c    (186.9s) probing: 4000/81577 (4.9%) - 952 fixings, 0 aggregations, 52515 implications, 0 bound changes
189.53/189.60	c    (187.4s) probing: 4021/81577 (4.9%) - 952 fixings, 0 aggregations, 52515 implications, 0 bound changes
189.53/189.60	c    (187.4s) probing aborted: 100/100 successive totally useless probings
189.53/189.60	c (round 50) 74416 del vars, 570 del conss, 72177 chg bounds, 718 chg sides, 15500 chg coeffs, 437 upgd conss, 213790 impls, 42 clqs
190.13/190.25	c (round 51) 74416 del vars, 570 del conss, 72177 chg bounds, 722 chg sides, 15504 chg coeffs, 437 upgd conss, 213790 impls, 42 clqs
202.82/202.97	c (round 52) 74466 del vars, 570 del conss, 72177 chg bounds, 722 chg sides, 15504 chg coeffs, 437 upgd conss, 218414 impls, 42 clqs
204.92/205.05	c (round 53) 74466 del vars, 570 del conss, 72177 chg bounds, 738 chg sides, 15520 chg coeffs, 437 upgd conss, 218414 impls, 44 clqs
209.52/209.63	c    (207.4s) probing: 4595/81577 (5.6%) - 1013 fixings, 0 aggregations, 55026 implications, 0 bound changes
209.52/209.63	c    (207.4s) probing aborted: 100/100 successive totally useless probings
209.52/209.64	c (round 54) 74477 del vars, 570 del conss, 72177 chg bounds, 738 chg sides, 15520 chg coeffs, 437 upgd conss, 221798 impls, 44 clqs
213.92/214.07	c    (211.8s) probing: 4746/81577 (5.8%) - 1013 fixings, 0 aggregations, 55442 implications, 0 bound changes
213.92/214.07	c    (211.8s) probing aborted: 100/100 successive totally useless probings
213.92/214.09	c presolving (55 rounds):
213.92/214.09	c  74477 deleted vars, 570 deleted constraints, 72177 tightened bounds, 0 added holes, 738 changed sides, 15520 changed coefficients
213.92/214.09	c  222918 implications, 44 cliques
213.92/214.09	c presolved problem has 80543 variables (80543 bin, 0 int, 0 impl, 0 cont) and 2105 constraints
213.92/214.09	c     437 constraints of type <knapsack>
213.92/214.09	c    1668 constraints of type <linear>
213.92/214.09	c transformed objective value is always integral (scale: 1)
213.92/214.09	c Presolving Time: 210.93
213.92/214.09	c - non default parameters ----------------------------------------------------------------------
213.92/214.09	c # SCIP version 1.2.1.3
213.92/214.09	c 
213.92/214.09	c # frequency for displaying node information lines
213.92/214.09	c # [type: int, range: [-1,2147483647], default: 100]
213.92/214.09	c display/freq = 10000
213.92/214.09	c 
213.92/214.09	c # maximal time in seconds to run
213.92/214.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
213.92/214.09	c limits/time = 1787.77
213.92/214.09	c 
213.92/214.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
213.92/214.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
213.92/214.09	c limits/memory = 1620
213.92/214.09	c 
213.92/214.09	c # default clock type (1: CPU user seconds, 2: wall clock time)
213.92/214.09	c # [type: int, range: [1,2], default: 1]
213.92/214.09	c timing/clocktype = 2
213.92/214.09	c 
213.92/214.09	c # should presolving try to simplify inequalities
213.92/214.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
213.92/214.09	c constraints/linear/simplifyinequalities = TRUE
213.92/214.09	c 
213.92/214.09	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
213.92/214.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
213.92/214.09	c constraints/indicator/addCouplingCons = TRUE
213.92/214.09	c 
213.92/214.09	c # should presolving try to simplify knapsacks
213.92/214.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
213.92/214.09	c constraints/knapsack/simplifyinequalities = TRUE
213.92/214.09	c 
213.92/214.09	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
213.92/214.09	c # [type: int, range: [-1,2147483647], default: -1]
213.92/214.09	c separating/rapidlearning/freq = 0
213.92/214.09	c 
213.92/214.09	c -----------------------------------------------------------------------------------------------
213.92/214.09	c start solving
214.02/214.16	c 
1793.04/1793.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1793.04/1793.67	c  1791s|     1 |     0 |195681 |     - | 388M|   0 |   - |  80k|2105 |  80k|2105 |   0 |   0 |   0 |-1.023793e+15 |      --      |    Inf 
1793.14/1793.72	c  1791s|     1 |     2 |195681 |     - | 388M|   0 |   - |  80k|2105 |  80k|2105 |   0 |   0 |   0 |-1.023793e+15 |      --      |    Inf 
1793.14/1793.72	c 
1793.14/1793.72	c SCIP Status        : solving was interrupted [time limit reached]
1793.14/1793.72	c Solving Time (sec) : 1791.48
1793.14/1793.72	c Solving Nodes      : 1
1793.14/1793.72	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1793.14/1793.72	c Dual Bound         : -1.02379295704190e+15
1793.14/1793.72	c Gap                : infinite
1793.14/1793.72	s UNKNOWN
1793.14/1793.72	c SCIP Status        : solving was interrupted [time limit reached]
1793.14/1793.72	c Solving Time       :    1791.48
1793.14/1793.72	c Original Problem   :
1793.14/1793.72	c   Problem name     : HOME/instance-2703474-1278558863.opb
1793.14/1793.72	c   Variables        : 155020 (155020 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.14/1793.72	c   Constraints      : 2675 initial, 2675 maximal
1793.14/1793.72	c Presolved Problem  :
1793.14/1793.72	c   Problem name     : t_HOME/instance-2703474-1278558863.opb
1793.14/1793.72	c   Variables        : 80543 (80543 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.14/1793.72	c   Constraints      : 2105 initial, 2105 maximal
1793.14/1793.72	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1793.14/1793.72	c   trivial          :       0.86          0          0          0          0          0          0          0          0
1793.14/1793.72	c   dualfix          :       0.85          0          0          0          0          0          0          0          0
1793.14/1793.72	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1793.14/1793.72	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1793.14/1793.72	c   implics          :       0.36          0          0          0          0          0          0          0          0
1793.14/1793.72	c   probing          :     175.56       1013          0          0          0          0          0          0          0
1793.14/1793.72	c   knapsack         :      27.57         26          0          0          2          0          0        213      13799
1793.14/1793.72	c   linear           :       4.70      73147        291          0      72175          0        570        525       1721
1793.14/1793.72	c   root node        :          -          0          -          -          0          -          -          -          -
1793.14/1793.72	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1793.14/1793.72	c   integral         :          0          0          0          0          0          0          0          0          0          0
1793.14/1793.72	c   knapsack         :        437          0      12853          0          1         17          0          0          0          0
1793.14/1793.72	c   linear           :       1668          0      12836          0          1        539          0          0          0          0
1793.14/1793.72	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1793.14/1793.72	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1793.14/1793.72	c   integral         :       0.00       0.00       0.00       0.00       0.00
1793.14/1793.72	c   knapsack         :       9.95       0.00       9.95       0.00       0.00
1793.14/1793.72	c   linear           :      83.30       0.00      83.30       0.00       0.00
1793.14/1793.72	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1793.14/1793.72	c Propagators        :       Time      Calls    Cutoffs    DomReds
1793.14/1793.72	c   vbounds          :       0.01          2          0          0
1793.14/1793.72	c   rootredcost      :       0.01          0          0          0
1793.14/1793.72	c   pseudoobj        :       0.01          1          0          0
1793.14/1793.72	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1793.14/1793.72	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1793.14/1793.72	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1793.14/1793.72	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1793.14/1793.72	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1793.14/1793.72	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1793.14/1793.72	c   applied globally :          -          -          -          0        0.0          -          -          -
1793.14/1793.72	c   applied locally  :          -          -          -          0        0.0          -          -          -
1793.14/1793.72	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1793.14/1793.72	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1793.14/1793.72	c   redcost          :       0.00          0          0          0          0          0
1793.14/1793.72	c   impliedbounds    :       0.00          0          0          0          0          0
1793.14/1793.72	c   intobj           :       0.00          0          0          0          0          0
1793.14/1793.72	c   cgmip            :       0.00          0          0          0          0          0
1793.14/1793.72	c   gomory           :       0.00          0          0          0          0          0
1793.14/1793.72	c   strongcg         :       0.00          0          0          0          0          0
1793.14/1793.72	c   cmir             :       0.00          0          0          0          0          0
1793.14/1793.72	c   flowcover        :       0.00          0          0          0          0          0
1793.14/1793.72	c   clique           :       0.00          0          0          0          0          0
1793.14/1793.72	c   zerohalf         :       0.00          0          0          0          0          0
1793.14/1793.72	c   mcf              :       0.00          0          0          0          0          0
1793.14/1793.72	c   rapidlearning    :       0.00          0          0          0          0          0
1793.14/1793.72	c Pricers            :       Time      Calls       Vars
1793.14/1793.72	c   problem variables:       0.00          0          0
1793.14/1793.72	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1793.14/1793.72	c   relpscost        :       0.00          0          0          0          0          0          0
1793.14/1793.72	c   pscost           :       0.00          0          0          0          0          0          0
1793.14/1793.72	c   inference        :       0.03          1          0          0          0          0          2
1793.14/1793.72	c   mostinf          :       0.00          0          0          0          0          0          0
1793.14/1793.72	c   leastinf         :       0.00          0          0          0          0          0          0
1793.14/1793.72	c   fullstrong       :       0.00          0          0          0          0          0          0
1793.14/1793.72	c   allfullstrong    :       0.00          0          0          0          0          0          0
1793.14/1793.72	c   random           :       0.00          0          0          0          0          0          0
1793.14/1793.72	c Primal Heuristics  :       Time      Calls      Found
1793.14/1793.72	c   LP solutions     :       0.00          -          0
1793.14/1793.72	c   pseudo solutions :       0.00          -          0
1793.14/1793.72	c   oneopt           :       0.00          0          0
1793.14/1793.72	c   trivial          :       0.43          2          0
1793.14/1793.72	c   simplerounding   :       0.00          0          0
1793.14/1793.72	c   zirounding       :       0.00          0          0
1793.14/1793.72	c   rounding         :       0.00          0          0
1793.14/1793.72	c   shifting         :       0.00          0          0
1793.14/1793.72	c   intshifting      :       0.00          0          0
1793.14/1793.72	c   twoopt           :       0.00          0          0
1793.14/1793.72	c   fixandinfer      :       0.00          0          0
1793.14/1793.72	c   feaspump         :       0.00          0          0
1793.14/1793.72	c   coefdiving       :       0.00          0          0
1793.14/1793.72	c   pscostdiving     :       0.00          0          0
1793.14/1793.72	c   fracdiving       :       0.00          0          0
1793.14/1793.72	c   veclendiving     :       0.00          0          0
1793.14/1793.72	c   intdiving        :       0.00          0          0
1793.14/1793.72	c   actconsdiving    :       0.00          0          0
1793.14/1793.72	c   objpscostdiving  :       0.00          0          0
1793.14/1793.72	c   rootsoldiving    :       0.00          0          0
1793.14/1793.72	c   linesearchdiving :       0.00          0          0
1793.14/1793.72	c   guideddiving     :       0.00          0          0
1793.14/1793.72	c   octane           :       0.00          0          0
1793.14/1793.72	c   rens             :       0.00          0          0
1793.14/1793.72	c   rins             :       0.00          0          0
1793.14/1793.72	c   localbranching   :       0.00          0          0
1793.14/1793.72	c   mutation         :       0.00          0          0
1793.14/1793.72	c   crossover        :       0.00          0          0
1793.14/1793.72	c   dins             :       0.00          0          0
1793.14/1793.72	c   undercover       :       0.00          0          0
1793.14/1793.72	c   nlp              :       0.00          0          0
1793.14/1793.72	c   trysol           :       0.00          0          0
1793.14/1793.72	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1793.14/1793.72	c   primal LP        :       0.00          0          0       0.00          -
1793.14/1793.72	c   dual LP          :    1578.75          1     195681  195681.00     123.95
1793.14/1793.72	c   lex dual LP      :       0.00          0          0       0.00          -
1793.14/1793.72	c   barrier LP       :       0.00          0          0       0.00          -
1793.14/1793.72	c   diving/probing LP:       0.00          0          0       0.00          -
1793.14/1793.72	c   strong branching :       0.00          0          0       0.00          -
1793.14/1793.72	c     (at root node) :          -          0          0       0.00          -
1793.14/1793.72	c   conflict analysis:       0.00          0          0       0.00          -
1793.14/1793.72	c B&B Tree           :
1793.14/1793.72	c   number of runs   :          1
1793.14/1793.72	c   nodes            :          1
1793.14/1793.72	c   nodes (total)    :          1
1793.14/1793.72	c   nodes left       :          2
1793.14/1793.72	c   max depth        :          0
1793.14/1793.72	c   max depth (total):          0
1793.14/1793.72	c   backtracks       :          0 (0.0%)
1793.14/1793.72	c   delayed cutoffs  :          0
1793.14/1793.72	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1793.14/1793.72	c   avg switch length:       1.00
1793.14/1793.72	c   switching time   :       0.00
1793.14/1793.72	c Solution           :
1793.14/1793.72	c   Solutions found  :          0 (0 improvements)
1793.14/1793.72	c   Primal Bound     :          -
1793.14/1793.72	c   Dual Bound       : -1.02379295704190e+15
1793.14/1793.72	c   Gap              :   infinite
1793.14/1793.72	c   Root Dual Bound  : -1.02379295704190e+15
1793.14/1793.72	c   Root Iterations  :     195681
1794.04/1794.69	c Time complete: 1794.13.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703474-1278558863/watcher-2703474-1278558863 -o /tmp/evaluation-result-2703474-1278558863/solver-2703474-1278558863 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703474-1278558863.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 27581
/proc/meminfo: memFree=1855368/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=7904 CPUtime=0
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 1127 0 0 0 0 0 0 0 23 0 1 0 24095120 8093696 1038 1992294400 4194304 8395647 140735763141456 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27581/statm: 1976 1047 365 1026 0 946 0

[startup+0.0998239 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 27581
/proc/meminfo: memFree=1855368/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=26236 CPUtime=0.09
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 5672 0 0 0 8 1 0 0 23 0 1 0 24095120 26865664 5578 1992294400 4194304 8395647 140735763141456 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27581/statm: 6559 5591 394 1026 0 5529 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26236

[startup+0.100825 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 27581
/proc/meminfo: memFree=1855368/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=26236 CPUtime=0.09
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 5890 0 0 0 8 1 0 0 23 0 1 0 24095120 26865664 5795 1992294400 4194304 8395647 140735763141456 18446744073709551615 4327539 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27581/statm: 6559 5795 394 1026 0 5529 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26236

[startup+0.300845 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 27581
/proc/meminfo: memFree=1855368/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=64568 CPUtime=0.29
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 15456 0 0 0 24 5 0 0 23 0 1 0 24095120 66117632 15361 1992294400 4194304 8395647 140735763141456 18446744073709551615 6349208 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27581/statm: 16142 15361 394 1026 0 15112 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64568

[startup+0.700888 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 27581
/proc/meminfo: memFree=1855368/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=97412 CPUtime=0.69
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 23553 0 0 0 61 8 0 0 25 0 1 0 24095120 99749888 23458 1992294400 4194304 8395647 140735763141456 18446744073709551615 5758034 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27581/statm: 24353 23458 394 1026 0 23323 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 97412

[startup+1.50097 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27582
/proc/meminfo: memFree=1742396/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=129680 CPUtime=1.49
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 31317 0 0 0 139 10 0 0 25 0 1 0 24095120 132792320 31222 1992294400 4194304 8395647 140735763141456 18446744073709551615 4245982 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27581/statm: 32420 31222 394 1026 0 31390 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129680

[startup+3.10119 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27582
/proc/meminfo: memFree=1725532/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=323916 CPUtime=3.09
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 79071 0 0 0 283 26 0 0 25 0 1 0 24095120 331689984 78622 1992294400 4194304 8395647 140735763141456 18446744073709551615 6345725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 80979 78622 421 1026 0 79949 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 323916

[startup+6.30048 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27582
/proc/meminfo: memFree=1498984/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=373392 CPUtime=6.28
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 89871 0 0 0 598 30 0 0 25 0 1 0 24095120 382353408 89422 1992294400 4194304 8395647 140735763141456 18446744073709551615 4684108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 93348 89422 471 1026 0 92318 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 373392

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27582
/proc/meminfo: memFree=1449880/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=425056 CPUtime=12.68
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 102198 0 0 0 1234 34 0 0 25 0 1 0 24095120 435257344 101653 1992294400 4194304 8395647 140735763141456 18446744073709551615 5604430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 106264 101653 543 1026 0 105234 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 425056

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27582
/proc/meminfo: memFree=1447400/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=427208 CPUtime=25.49
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 102780 0 0 0 2514 35 0 0 25 0 1 0 24095120 437460992 102191 1992294400 4194304 8395647 140735763141456 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 106802 102191 499 1026 0 105772 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 427208

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27582
/proc/meminfo: memFree=1443060/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=431560 CPUtime=51.08
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 103868 0 0 0 5073 35 0 0 25 0 1 0 24095120 441917440 103279 1992294400 4194304 8395647 140735763141456 18446744073709551615 4483001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 107890 103279 499 1026 0 106860 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 431560

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27584
/proc/meminfo: memFree=1441324/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=433260 CPUtime=102.27
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 104309 0 0 0 10192 35 0 0 25 0 1 0 24095120 443658240 103720 1992294400 4194304 8395647 140735763141456 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 108315 103720 505 1026 0 107285 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 433260

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27586
/proc/meminfo: memFree=1440084/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=434496 CPUtime=162.24
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 104608 0 0 0 16189 35 0 0 25 0 1 0 24095120 444923904 104019 1992294400 4194304 8395647 140735763141456 18446744073709551615 5026843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 108624 104019 505 1026 0 107594 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 434496

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27588
/proc/meminfo: memFree=1360104/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524340 CPUtime=222.22
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 128934 0 0 0 22177 45 0 0 25 0 1 0 24095120 536924160 124455 1992294400 4194304 8395647 140735763141456 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131085 124455 960 1026 0 130055 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 524340

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27590
/proc/meminfo: memFree=1359484/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=282.21
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129074 0 0 0 28159 62 0 0 25 0 1 0 24095120 537460736 124595 1992294400 4194304 8395647 140735763141456 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124595 963 1026 0 130186 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 524864

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27593
/proc/meminfo: memFree=1358740/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=342.19
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129077 0 0 0 34143 76 0 0 25 0 1 0 24095120 537460736 124598 1992294400 4194304 8395647 140735763141456 18446744073709551615 6663841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124598 963 1026 0 130186 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 524864

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27595
/proc/meminfo: memFree=1358740/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=402.17
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129079 0 0 0 40127 90 0 0 25 0 1 0 24095120 537460736 124600 1992294400 4194304 8395647 140735763141456 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124600 963 1026 0 130186 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 524864

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27597
/proc/meminfo: memFree=1358864/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=462.14
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129079 0 0 0 46110 104 0 0 25 0 1 0 24095120 537460736 124600 1992294400 4194304 8395647 140735763141456 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124600 963 1026 0 130186 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 524864

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27599
/proc/meminfo: memFree=1358864/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=522.13
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129080 0 0 0 52094 119 0 0 25 0 1 0 24095120 537460736 124601 1992294400 4194304 8395647 140735763141456 18446744073709551615 6502208 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124601 963 1026 0 130186 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 524864

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27601
/proc/meminfo: memFree=1358864/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=582.11
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129080 0 0 0 58080 131 0 0 25 0 1 0 24095120 537460736 124601 1992294400 4194304 8395647 140735763141456 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124601 963 1026 0 130186 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 524864

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27601
/proc/meminfo: memFree=1358864/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=642.1
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129080 0 0 0 64067 143 0 0 25 0 1 0 24095120 537460736 124601 1992294400 4194304 8395647 140735763141456 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124601 963 1026 0 130186 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 524864

[startup+702.302 s]

################
# More data... #
################

/proc/meminfo: memFree=1358740/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1121.94
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129083 0 0 0 111975 219 0 0 25 0 1 0 24095120 537460736 124602 1992294400 4194304 8395647 140735763141456 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124602 961 1026 0 130186 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 524864

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27617
/proc/meminfo: memFree=1358616/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1181.92
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129083 0 0 0 117962 230 0 0 25 0 1 0 24095120 537460736 124602 1992294400 4194304 8395647 140735763141456 18446744073709551615 6663822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124602 961 1026 0 130186 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 524864

[startup+1242.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 27617
/proc/meminfo: memFree=1358368/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1241.91
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129083 0 0 0 123950 241 0 0 25 0 1 0 24095120 537460736 124602 1992294400 4194304 8395647 140735763141456 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124602 961 1026 0 130186 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 524864

[startup+1302.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/106 27619
/proc/meminfo: memFree=1358368/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1301.9
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129083 0 0 0 129941 249 0 0 25 0 1 0 24095120 537460736 124602 1992294400 4194304 8395647 140735763141456 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124602 961 1026 0 130186 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 524864

[startup+1362.3 s]
/proc/loadavg: 1.12 1.04 1.00 2/106 27621
/proc/meminfo: memFree=1358368/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1361.87
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129084 0 0 0 135929 258 0 0 25 0 1 0 24095120 537460736 124603 1992294400 4194304 8395647 140735763141456 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124603 961 1026 0 130186 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 524864

[startup+1422.31 s]
/proc/loadavg: 1.11 1.05 1.00 2/106 27623
/proc/meminfo: memFree=1358368/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1421.86
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129084 0 0 0 141921 265 0 0 25 0 1 0 24095120 537460736 124603 1992294400 4194304 8395647 140735763141456 18446744073709551615 6502362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124603 961 1026 0 130186 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 524864

[startup+1482.3 s]
/proc/loadavg: 1.10 1.05 1.00 2/106 27625
/proc/meminfo: memFree=1358368/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1481.83
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129084 0 0 0 147912 271 0 0 25 0 1 0 24095120 537460736 124603 1992294400 4194304 8395647 140735763141456 18446744073709551615 6670365 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124603 961 1026 0 130186 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 524864

[startup+1542.3 s]
/proc/loadavg: 1.09 1.06 1.00 2/106 27625
/proc/meminfo: memFree=1358368/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1541.81
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129085 0 0 0 153902 279 0 0 25 0 1 0 24095120 537460736 124604 1992294400 4194304 8395647 140735763141456 18446744073709551615 6663833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124604 961 1026 0 130186 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 524864

[startup+1602.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/106 27627
/proc/meminfo: memFree=1358244/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1601.79
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129085 0 0 0 159892 287 0 0 25 0 1 0 24095120 537460736 124604 1992294400 4194304 8395647 140735763141456 18446744073709551615 6502266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124604 961 1026 0 130186 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 524864

[startup+1662.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/106 27629
/proc/meminfo: memFree=1358120/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1661.78
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129085 0 0 0 165884 294 0 0 25 0 1 0 24095120 537460736 124604 1992294400 4194304 8395647 140735763141456 18446744073709551615 6670396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124604 961 1026 0 130186 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 524864

[startup+1722.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/106 27631
/proc/meminfo: memFree=1358120/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1721.77
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129085 0 0 0 171874 303 0 0 25 0 1 0 24095120 537460736 124604 1992294400 4194304 8395647 140735763141456 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124604 961 1026 0 130186 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 524864

[startup+1782.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/106 27633
/proc/meminfo: memFree=1357872/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1781.75
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129085 0 0 0 177862 313 0 0 25 0 1 0 24095120 537460736 124604 1992294400 4194304 8395647 140735763141456 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124604 961 1026 0 130186 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 524864

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 1.07 1.06 1.00 2/106 27633
/proc/meminfo: memFree=1357872/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1784.94
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129085 0 0 0 178181 313 0 0 25 0 1 0 24095120 537460736 124604 1992294400 4194304 8395647 140735763141456 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124604 961 1026 0 130186 0
Current children cumulated CPU time (s) 1784.94
Current children cumulated vsize (KiB) 524864

[startup+1788.7 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 27633
/proc/meminfo: memFree=1357872/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1788.14
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129085 0 0 0 178501 313 0 0 25 0 1 0 24095120 537460736 124604 1992294400 4194304 8395647 140735763141456 18446744073709551615 6702020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124604 961 1026 0 130186 0
Current children cumulated CPU time (s) 1788.14
Current children cumulated vsize (KiB) 524864

[startup+1791.91 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 27633
/proc/meminfo: memFree=1357872/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1791.35
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129085 0 0 0 178821 314 0 0 25 0 1 0 24095120 537460736 124604 1992294400 4194304 8395647 140735763141456 18446744073709551615 6670373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124604 961 1026 0 130186 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 524864

[startup+1793.5 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 27633
/proc/meminfo: memFree=1357872/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=524864 CPUtime=1792.94
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129085 0 0 0 178980 314 0 0 25 0 1 0 24095120 537460736 124604 1992294400 4194304 8395647 140735763141456 18446744073709551615 6663825 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27581/statm: 131216 124604 961 1026 0 130186 0
Current children cumulated CPU time (s) 1792.94
Current children cumulated vsize (KiB) 524864

[startup+1794.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 27633
/proc/meminfo: memFree=1357872/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=525532 CPUtime=1793.74
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129255 0 0 0 179060 314 0 0 25 0 1 0 24095120 538144768 124773 1992294400 4194304 8395647 140735763141456 18446744073709551615 6345826 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27581/statm: 131383 124773 972 1026 0 130353 0
Current children cumulated CPU time (s) 1793.74
Current children cumulated vsize (KiB) 525532

[startup+1794.5 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 27633
/proc/meminfo: memFree=1357872/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=513660 CPUtime=1793.94
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129255 0 0 0 179079 315 0 0 25 0 1 0 24095120 525987840 118939 1992294400 4194304 8395647 140735763141456 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27581/statm: 128415 118939 972 1026 0 127385 0
Current children cumulated CPU time (s) 1793.94
Current children cumulated vsize (KiB) 513660

[startup+1794.6 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 27633
/proc/meminfo: memFree=1357872/2059040 swapFree=4139772/4192956
[pid=27581] ppid=27579 vsize=440572 CPUtime=1794.04
/proc/27581/stat : 27581 (pbscip.linux.x8) R 27579 27581 26077 0 -1 4202496 129255 0 0 0 179089 315 0 0 25 0 1 0 24095120 451145728 105376 1992294400 4194304 8395647 140735763141456 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27581/statm: 110143 105376 591 1026 0 109113 0
Current children cumulated CPU time (s) 1794.04
Current children cumulated vsize (KiB) 440572

Child status: 0
Real time (s): 1794.7
CPU time (s): 1794.15
CPU user time (s): 1790.95
CPU system time (s): 3.20051
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 535632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.95
system time used= 3.20051
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129263
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= 3270

runsolver used 3.05653 second user time and 8.37673 second system time

The end

Launcher Data 

Begin job on node081 at 2010-07-08 05:14:25
IDJOB=2703474
IDBENCH=2383
IDSOLVER=1213
FILE ID=node081/2703474-1278558863
PBS_JOBID= 11239482
Free space on /tmp= 121868 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-greenbeb.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-2703474-1278558863/watcher-2703474-1278558863 -o /tmp/evaluation-result-2703474-1278558863/solver-2703474-1278558863 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703474-1278558863.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= ebe0bf73b5f65c9fef014886519c9815
RANDOM SEED=565511745

node081.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.242
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.48
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.242
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.38
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1855896 kB
Buffers:         10296 kB
Cached:         108920 kB
SwapCached:       6268 kB
Active:          89460 kB
Inactive:        43156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1855896 kB
SwapTotal:     4192956 kB
SwapFree:      4139772 kB
Dirty:           24608 kB
Writeback:           0 kB
AnonPages:       11580 kB
Mapped:          12004 kB
Slab:            48784 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183312 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121860 MiB
End job on node081 at 2010-07-08 05:44:19