Trace number 2703818

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? 1789.7 1790.34

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos7.opb
MD5SUMf5e09fc51fdb6e7c65b10c880b18ec53
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1920918611
Best CPU time to get the best result obtained on this benchmark1800.44
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2594748416
Optimality of the best value was proved NO
Number of variables33010
Total number of constraints2154
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)142
Number of constraints which are nor clauses,nor cardinality constraints2012
Minimum length of a constraint2
Maximum length of a constraint441
Number of terms in the objective function 4506
Biggest coefficient in the objective function 8053063680000
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 590484474471966
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 1073741839777215
Number of bits of the biggest sum of numbers50
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-2703818-1278557539.opb>
0.29/0.31	c original problem has 33010 variables (33010 bin, 0 int, 0 impl, 0 cont) and 2154 constraints
0.29/0.31	c problem read
0.29/0.31	c presolving settings loaded
0.59/0.66	c presolving:
0.79/0.81	c (round 1) 16731 del vars, 4 del conss, 16696 chg bounds, 453 chg sides, 2140 chg coeffs, 0 upgd conss, 4 impls, 140 clqs
0.79/0.84	c (round 2) 16761 del vars, 145 del conss, 16724 chg bounds, 467 chg sides, 5724 chg coeffs, 0 upgd conss, 4 impls, 140 clqs
0.79/0.85	c (round 3) 16761 del vars, 145 del conss, 16724 chg bounds, 467 chg sides, 5791 chg coeffs, 0 upgd conss, 4 impls, 140 clqs
0.89/0.94	c (round 4) 16761 del vars, 145 del conss, 16724 chg bounds, 467 chg sides, 5791 chg coeffs, 1682 upgd conss, 4 impls, 140 clqs
1.00/1.08	c (round 5) 16768 del vars, 145 del conss, 16724 chg bounds, 7847 chg sides, 64228 chg coeffs, 1682 upgd conss, 20108 impls, 1073 clqs
1.09/1.17	c (round 6) 16768 del vars, 199 del conss, 16724 chg bounds, 9185 chg sides, 68242 chg coeffs, 1682 upgd conss, 20108 impls, 1338 clqs
1.19/1.22	c (round 7) 16768 del vars, 500 del conss, 16724 chg bounds, 10035 chg sides, 70207 chg coeffs, 1682 upgd conss, 20108 impls, 1338 clqs
1.19/1.24	c (round 8) 16768 del vars, 500 del conss, 16724 chg bounds, 10206 chg sides, 70378 chg coeffs, 1682 upgd conss, 20108 impls, 1338 clqs
2.49/2.53	c (round 9) 16822 del vars, 500 del conss, 16724 chg bounds, 10206 chg sides, 70378 chg coeffs, 1682 upgd conss, 254090 impls, 1338 clqs
2.59/2.61	c (round 10) 16823 del vars, 501 del conss, 16724 chg bounds, 10393 chg sides, 70799 chg coeffs, 1682 upgd conss, 254250 impls, 1338 clqs
2.59/2.67	c (round 11) 16823 del vars, 526 del conss, 16724 chg bounds, 10747 chg sides, 71540 chg coeffs, 1682 upgd conss, 255554 impls, 1354 clqs
6.98/7.09	c    (6.8s) probing: 1000/16242 (6.2%) - 37 fixings, 18 aggregations, 36259 implications, 0 bound changes
12.59/12.68	c    (12.4s) probing: 2000/16242 (12.3%) - 38 fixings, 27 aggregations, 67003 implications, 0 bound changes
14.58/14.69	c (round 12) 16873 del vars, 526 del conss, 16724 chg bounds, 10747 chg sides, 71540 chg coeffs, 1682 upgd conss, 565610 impls, 1354 clqs
14.78/14.86	c (round 13) 16874 del vars, 532 del conss, 16724 chg bounds, 11728 chg sides, 73113 chg coeffs, 1682 upgd conss, 565646 impls, 1363 clqs
14.98/15.00	c (round 14) 16874 del vars, 583 del conss, 16724 chg bounds, 13041 chg sides, 75519 chg coeffs, 1682 upgd conss, 565874 impls, 1894 clqs
15.08/15.10	c (round 15) 16874 del vars, 594 del conss, 16724 chg bounds, 13071 chg sides, 75769 chg coeffs, 1682 upgd conss, 565874 impls, 2293 clqs
15.08/15.19	c (round 16) 16874 del vars, 594 del conss, 16724 chg bounds, 13071 chg sides, 75899 chg coeffs, 1682 upgd conss, 565874 impls, 2576 clqs
15.18/15.28	c (round 17) 16874 del vars, 594 del conss, 16724 chg bounds, 13071 chg sides, 75998 chg coeffs, 1682 upgd conss, 565874 impls, 2860 clqs
15.29/15.37	c (round 18) 16874 del vars, 594 del conss, 16724 chg bounds, 13071 chg sides, 76086 chg coeffs, 1682 upgd conss, 565874 impls, 3115 clqs
15.39/15.47	c (round 19) 16874 del vars, 597 del conss, 16724 chg bounds, 13071 chg sides, 76138 chg coeffs, 1682 upgd conss, 565874 impls, 3342 clqs
19.89/19.96	c    (19.6s) probing: 3000/16242 (18.5%) - 52 fixings, 60 aggregations, 120680 implications, 0 bound changes
25.78/25.82	c    (25.5s) probing: 4000/16242 (24.6%) - 52 fixings, 69 aggregations, 137785 implications, 0 bound changes
31.88/31.90	c    (31.6s) probing: 5000/16242 (30.8%) - 62 fixings, 90 aggregations, 166877 implications, 0 bound changes
31.98/32.02	c (round 20) 16924 del vars, 597 del conss, 16724 chg bounds, 13071 chg sides, 76186 chg coeffs, 1682 upgd conss, 787808 impls, 3510 clqs
32.27/32.31	c (round 21) 16924 del vars, 604 del conss, 16724 chg bounds, 14469 chg sides, 78399 chg coeffs, 1682 upgd conss, 787808 impls, 3698 clqs
32.57/32.66	c (round 22) 16924 del vars, 661 del conss, 16724 chg bounds, 18530 chg sides, 83955 chg coeffs, 1682 upgd conss, 787814 impls, 4469 clqs
32.77/32.87	c (round 23) 16924 del vars, 720 del conss, 16724 chg bounds, 18548 chg sides, 84164 chg coeffs, 1682 upgd conss, 787814 impls, 4883 clqs
32.98/33.05	c (round 24) 16924 del vars, 725 del conss, 16724 chg bounds, 18551 chg sides, 84292 chg coeffs, 1682 upgd conss, 787814 impls, 5188 clqs
33.07/33.18	c (round 25) 16924 del vars, 725 del conss, 16724 chg bounds, 18554 chg sides, 84411 chg coeffs, 1682 upgd conss, 787814 impls, 5350 clqs
33.27/33.30	c (round 26) 16924 del vars, 725 del conss, 16724 chg bounds, 18554 chg sides, 84508 chg coeffs, 1682 upgd conss, 787814 impls, 5470 clqs
39.97/40.03	c    (39.7s) probing: 6000/16242 (36.9%) - 62 fixings, 113 aggregations, 197502 implications, 0 bound changes
46.27/46.33	c    (46.0s) probing: 7000/16242 (43.1%) - 62 fixings, 122 aggregations, 208608 implications, 0 bound changes
49.76/49.80	c (round 27) 16977 del vars, 725 del conss, 16724 chg bounds, 18554 chg sides, 84586 chg coeffs, 1682 upgd conss, 954166 impls, 5590 clqs
50.06/50.18	c (round 28) 16977 del vars, 733 del conss, 16724 chg bounds, 19984 chg sides, 86695 chg coeffs, 1682 upgd conss, 954176 impls, 5687 clqs
50.36/50.42	c (round 29) 16977 del vars, 759 del conss, 16724 chg bounds, 22015 chg sides, 89555 chg coeffs, 1682 upgd conss, 954178 impls, 5985 clqs
50.47/50.59	c (round 30) 16977 del vars, 789 del conss, 16724 chg bounds, 22015 chg sides, 89660 chg coeffs, 1682 upgd conss, 954178 impls, 6208 clqs
50.66/50.71	c (round 31) 16977 del vars, 800 del conss, 16724 chg bounds, 22015 chg sides, 89750 chg coeffs, 1682 upgd conss, 954178 impls, 6390 clqs
54.06/54.18	c    (53.9s) probing: 8000/16242 (49.3%) - 81 fixings, 137 aggregations, 246802 implications, 0 bound changes
61.06/61.16	c    (60.8s) probing: 9000/16242 (55.4%) - 81 fixings, 159 aggregations, 290383 implications, 0 bound changes
62.66/62.76	c    (62.4s) probing: 9258/16242 (57.0%) - 81 fixings, 160 aggregations, 293634 implications, 0 bound changes
62.66/62.76	c    (62.4s) probing aborted: 100/100 successive totally useless probings
62.66/62.77	c (round 32) 17011 del vars, 800 del conss, 16724 chg bounds, 22015 chg sides, 89819 chg coeffs, 1682 upgd conss, 1283704 impls, 6558 clqs
63.06/63.17	c (round 33) 17011 del vars, 803 del conss, 16724 chg bounds, 22602 chg sides, 90789 chg coeffs, 1682 upgd conss, 1283704 impls, 6635 clqs
63.26/63.32	c (round 34) 17011 del vars, 830 del conss, 16724 chg bounds, 23528 chg sides, 92409 chg coeffs, 1682 upgd conss, 1283712 impls, 6915 clqs
63.36/63.42	c (round 35) 17011 del vars, 843 del conss, 16724 chg bounds, 23532 chg sides, 92523 chg coeffs, 1682 upgd conss, 1283712 impls, 7168 clqs
63.46/63.52	c (round 36) 17011 del vars, 844 del conss, 16724 chg bounds, 23533 chg sides, 92606 chg coeffs, 1682 upgd conss, 1283712 impls, 7413 clqs
63.66/63.71	c    (63.4s) probing: 9268/16242 (57.1%) - 81 fixings, 160 aggregations, 293634 implications, 0 bound changes
63.66/63.71	c    (63.4s) probing aborted: 100/100 successive totally useless probings
63.66/63.72	c presolving (37 rounds):
63.66/63.72	c  17011 deleted vars, 844 deleted constraints, 16724 tightened bounds, 0 added holes, 23533 changed sides, 92673 changed coefficients
63.66/63.72	c  1283712 implications, 7622 cliques
63.66/63.72	c presolved problem has 15999 variables (15999 bin, 0 int, 0 impl, 0 cont) and 7161 constraints
63.66/63.72	c    1208 constraints of type <knapsack>
63.66/63.72	c    5626 constraints of type <setppc>
63.66/63.72	c     327 constraints of type <linear>
63.66/63.72	c transformed objective value is always integral (scale: 1)
63.66/63.72	c Presolving Time: 63.25
63.66/63.72	c - non default parameters ----------------------------------------------------------------------
63.66/63.72	c # SCIP version 1.2.1.3
63.66/63.72	c 
63.66/63.72	c # frequency for displaying node information lines
63.66/63.72	c # [type: int, range: [-1,2147483647], default: 100]
63.66/63.72	c display/freq = 10000
63.66/63.72	c 
63.66/63.72	c # maximal time in seconds to run
63.66/63.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
63.66/63.72	c limits/time = 1789.69
63.66/63.72	c 
63.66/63.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
63.66/63.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
63.66/63.72	c limits/memory = 1620
63.66/63.72	c 
63.66/63.72	c # default clock type (1: CPU user seconds, 2: wall clock time)
63.66/63.72	c # [type: int, range: [1,2], default: 1]
63.66/63.72	c timing/clocktype = 2
63.66/63.72	c 
63.66/63.72	c # should presolving try to simplify inequalities
63.66/63.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
63.66/63.72	c constraints/linear/simplifyinequalities = TRUE
63.66/63.72	c 
63.66/63.72	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
63.66/63.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
63.66/63.72	c constraints/indicator/addCouplingCons = TRUE
63.66/63.72	c 
63.66/63.72	c # should presolving try to simplify knapsacks
63.66/63.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
63.66/63.72	c constraints/knapsack/simplifyinequalities = TRUE
63.66/63.72	c 
63.66/63.72	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
63.66/63.72	c # [type: int, range: [-1,2147483647], default: -1]
63.66/63.72	c separating/rapidlearning/freq = 0
63.66/63.72	c 
63.66/63.72	c -----------------------------------------------------------------------------------------------
63.66/63.72	c start solving
63.66/63.73	c 
74.36/74.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
74.36/74.49	c  74.2s|     1 |     0 | 12082 |     - | 123M|   0 | 694 |  15k|7161 |  15k|7161 |   0 |   0 |   0 | 5.596519e+08 |      --      |    Inf 
89.65/89.75	c  89.4s|     1 |     0 | 24155 |     - | 124M|   0 | 860 |  15k|7161 |  15k|7653 | 492 |   0 |   0 | 5.772673e+08 |      --      |    Inf 
93.55/93.63	c  93.3s|     1 |     0 | 24888 |     - | 125M|   0 | 936 |  15k|7161 |  15k|8202 |1041 |   0 |   0 | 5.801248e+08 |      --      |    Inf 
98.25/98.30	c  98.0s|     1 |     0 | 25863 |     - | 126M|   0 |1105 |  15k|7161 |  15k|8944 |1783 |   0 |   0 | 5.812884e+08 |      --      |    Inf 
110.74/110.88	c   111s|     1 |     0 | 34892 |     - | 126M|   0 |1125 |  15k|7161 |  15k|9605 |2444 |   0 |   0 | 5.848845e+08 |      --      |    Inf 
116.14/116.24	c   116s|     1 |     0 | 35966 |     - | 127M|   0 |1265 |  15k|7161 |  15k|  10k|3427 |   0 |   0 | 5.869389e+08 |      --      |    Inf 
169.33/169.46	c   169s|     1 |     0 | 58786 |     - | 128M|   0 |1457 |  15k|7161 |  15k|  11k|4207 |   0 |   0 | 5.890356e+08 |      --      |    Inf 
215.30/215.41	c   215s|     1 |     0 | 76650 |     - | 129M|   0 |1614 |  15k|7161 |  15k|  13k|6171 |   0 |   0 | 5.906951e+08 |      --      |    Inf 
227.90/228.08	c   228s|     1 |     0 | 79052 |     - | 130M|   0 |1747 |  15k|7161 |  15k|  14k|7760 |   0 |   0 | 5.917914e+08 |      --      |    Inf 
303.78/303.99	c   304s|     1 |     2 |103460 |     - | 131M|   0 |   - |  15k|7161 |  15k|  15k|8610 |   0 |   0 | 5.917914e+08 |      --      |    Inf 
1527.05/1527.61	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1789.35/1790.04	c 
1789.35/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1789.35/1790.04	c Solving Time (sec) : 1789.72
1789.35/1790.04	c Solving Nodes      : 11
1789.35/1790.04	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.35/1790.04	c Dual Bound         : +5.91791373257972e+08
1789.35/1790.04	c Gap                : infinite
1789.35/1790.04	s UNKNOWN
1789.35/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1789.35/1790.04	c Solving Time       :    1789.72
1789.35/1790.04	c Original Problem   :
1789.35/1790.04	c   Problem name     : HOME/instance-2703818-1278557539.opb
1789.35/1790.04	c   Variables        : 33010 (33010 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.35/1790.04	c   Constraints      : 2154 initial, 2154 maximal
1789.35/1790.04	c Presolved Problem  :
1789.35/1790.04	c   Problem name     : t_HOME/instance-2703818-1278557539.opb
1789.35/1790.04	c   Variables        : 15999 (15999 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.35/1790.04	c   Constraints      : 7161 initial, 7161 maximal
1789.35/1790.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.35/1790.04	c   trivial          :       0.12          0          0          0          0          0          0          0          0
1789.35/1790.04	c   dualfix          :       0.12         22          0          0          0          0          0          0          0
1789.35/1790.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.35/1790.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.35/1790.04	c   implics          :       0.11          0          0          0          0          0          0          0          0
1789.35/1790.04	c   probing          :      58.14         81        160          0          0          0          0          0          0
1789.35/1790.04	c   knapsack         :       3.86          7          0          0          0          0        334      23066      86882
1789.35/1790.04	c   setppc           :       0.28          0          0          0          0          0        365          0          0
1789.35/1790.04	c   linear           :       0.29      16725         16          0      16724          0        145        467       5791
1789.35/1790.04	c   root node        :          -          0          -          -          0          -          -          -          -
1789.35/1790.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.35/1790.04	c   integral         :          0          0          0          5          0          0          0          0          0         10
1789.35/1790.04	c   knapsack         :       1208          9      27249          0          6          0        496       1777          0          0
1789.35/1790.04	c   setppc           :       5626          9      27249          0          6          0        395          0          0          0
1789.35/1790.04	c   linear           :        327          9      27249          0          0          7       1258       1804          0          0
1789.35/1790.04	c   countsols        :          0          0          0          0          6          0          0          0          0          0
1789.35/1790.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.35/1790.04	c   integral         :     194.68       0.00       0.00     194.68       0.00
1789.35/1790.04	c   knapsack         :       6.24       0.18       6.03       0.00       0.03
1789.35/1790.04	c   setppc           :       9.44       0.01       9.41       0.00       0.02
1789.35/1790.04	c   linear           :       5.70       1.24       4.46       0.00       0.00
1789.35/1790.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.35/1790.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.35/1790.04	c   vbounds          :       0.03          2          0          0
1789.35/1790.04	c   rootredcost      :       0.02          0          0          0
1789.35/1790.04	c   pseudoobj        :       0.03         59          0          0
1789.35/1790.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.35/1790.04	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.35/1790.04	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.35/1790.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.35/1790.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.35/1790.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.35/1790.04	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.35/1790.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.35/1790.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.35/1790.04	c   cut pool         :       0.01          8          -          -        321          -    (maximal pool size: 8725)
1789.35/1790.04	c   redcost          :       0.04         14          0          0          0          0
1789.35/1790.04	c   impliedbounds    :       0.15          9          0          0       8544          0
1789.35/1790.04	c   intobj           :       0.00          0          0          0          0          0
1789.35/1790.04	c   cgmip            :       0.00          0          0          0          0          0
1789.35/1790.04	c   gomory           :      12.09          9          0          0        741          0
1789.35/1790.04	c   strongcg         :      11.68          9          0          0       1357          0
1789.35/1790.04	c   cmir             :       5.81          9          0          0        113          0
1789.35/1790.04	c   flowcover        :       8.78          9          0          0       1803          0
1789.35/1790.04	c   clique           :       2.26          9          0          0         75          0
1789.35/1790.04	c   zerohalf         :       0.00          0          0          0          0          0
1789.35/1790.04	c   mcf              :       0.02          1          0          0          0          0
1789.35/1790.04	c   rapidlearning    :       0.00          0          0          0          0          0
1789.35/1790.04	c Pricers            :       Time      Calls       Vars
1789.35/1790.04	c   problem variables:       0.00          0          0
1789.35/1790.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.35/1790.04	c   relpscost        :     194.68          5          0          0          0          0         10
1789.35/1790.04	c   pscost           :       0.00          0          0          0          0          0          0
1789.35/1790.04	c   inference        :       0.05          6          0          0          0          0         12
1789.35/1790.04	c   mostinf          :       0.00          0          0          0          0          0          0
1789.35/1790.04	c   leastinf         :       0.00          0          0          0          0          0          0
1789.35/1790.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.35/1790.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.35/1790.04	c   random           :       0.00          0          0          0          0          0          0
1789.35/1790.04	c Primal Heuristics  :       Time      Calls      Found
1789.35/1790.04	c   LP solutions     :       0.00          -          0
1789.35/1790.04	c   pseudo solutions :       0.00          -          0
1789.35/1790.04	c   oneopt           :       0.00          0          0
1789.35/1790.04	c   pscostdiving     :       0.00          0          0
1789.35/1790.04	c   crossover        :       0.00          0          0
1789.35/1790.04	c   fracdiving       :       0.00          0          0
1789.35/1790.04	c   rootsoldiving    :       0.00          0          0
1789.35/1790.04	c   intshifting      :       0.00          0          0
1789.35/1790.04	c   coefdiving       :     323.52          1          0
1789.35/1790.04	c   feaspump         :      10.04          1          0
1789.35/1790.04	c   trivial          :       0.08          2          0
1789.35/1790.04	c   simplerounding   :       0.00          0          0
1789.35/1790.04	c   zirounding       :       0.01          5          0
1789.35/1790.04	c   rounding         :       0.04         14          0
1789.35/1790.04	c   shifting         :       0.18          9          0
1789.35/1790.04	c   twoopt           :       0.00          0          0
1789.35/1790.04	c   fixandinfer      :       0.00          0          0
1789.35/1790.04	c   veclendiving     :       0.00          0          0
1789.35/1790.04	c   intdiving        :       0.00          0          0
1789.35/1790.04	c   actconsdiving    :       0.00          0          0
1789.35/1790.04	c   objpscostdiving  :       0.00          0          0
1789.35/1790.04	c   linesearchdiving :       0.00          0          0
1789.35/1790.04	c   guideddiving     :       0.00          0          0
1789.35/1790.04	c   octane           :       0.00          0          0
1789.35/1790.04	c   rens             :       0.00          0          0
1789.35/1790.04	c   rins             :       0.00          0          0
1789.35/1790.04	c   localbranching   :       0.00          0          0
1789.35/1790.04	c   mutation         :       0.00          0          0
1789.35/1790.04	c   dins             :       0.00          0          0
1789.35/1790.04	c   undercover       :       0.00          0          0
1789.35/1790.04	c   nlp              :       0.00          0          0
1789.35/1790.04	c   trysol           :       0.00          0          0
1789.35/1790.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.35/1790.04	c   primal LP        :       0.00          0          0       0.00          -
1789.35/1790.04	c   dual LP          :    1153.89         45     385958    8576.84     334.48
1789.35/1790.04	c   lex dual LP      :       0.00          0          0       0.00          -
1789.35/1790.04	c   barrier LP       :       0.00          0          0       0.00          -
1789.35/1790.04	c   diving/probing LP:     333.22         33     107105    3245.61     321.42
1789.35/1790.04	c   strong branching :     194.68         94      71337     758.90     366.44
1789.35/1790.04	c     (at root node) :          -          0          0       0.00          -
1789.35/1790.04	c   conflict analysis:       0.00          0          0       0.00          -
1789.35/1790.04	c B&B Tree           :
1789.35/1790.04	c   number of runs   :          1
1789.35/1790.04	c   nodes            :         11
1789.35/1790.04	c   nodes (total)    :         11
1789.35/1790.04	c   nodes left       :         12
1789.35/1790.04	c   max depth        :          5
1789.35/1790.04	c   max depth (total):          5
1789.35/1790.04	c   backtracks       :          2 (18.2%)
1789.35/1790.04	c   delayed cutoffs  :          0
1789.35/1790.04	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1789.35/1790.04	c   avg switch length:       1.91
1789.35/1790.04	c   switching time   :       0.01
1789.35/1790.04	c Solution           :
1789.35/1790.04	c   Solutions found  :          0 (0 improvements)
1789.35/1790.04	c   Primal Bound     :          -
1789.35/1790.04	c   Dual Bound       : +5.91791373257972e+08
1789.35/1790.04	c   Gap              :   infinite
1789.35/1790.04	c   Root Dual Bound  : +5.91791373257972e+08
1789.35/1790.04	c   Root Iterations  :     103460
1789.65/1790.31	c Time complete: 1789.67.

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-2703818-1278557539/watcher-2703818-1278557539 -o /tmp/evaluation-result-2703818-1278557539/solver-2703818-1278557539 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703818-1278557539.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 0.94 3/106 29885
/proc/meminfo: memFree=1750820/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=7904 CPUtime=0
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 1079 0 0 0 0 0 0 0 20 0 1 0 23961940 8093696 991 1992294400 4194304 8395647 140736964337744 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29885/statm: 1976 1000 365 1026 0 946 0

[startup+0.0567719 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 29885
/proc/meminfo: memFree=1750820/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=17344 CPUtime=0.05
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 3647 0 0 0 4 1 0 0 20 0 1 0 23961940 17760256 3558 1992294400 4194304 8395647 140736964337744 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29885/statm: 4336 3565 394 1026 0 3306 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17344

[startup+0.101781 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 29885
/proc/meminfo: memFree=1750820/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=18300 CPUtime=0.09
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 3874 0 0 0 8 1 0 0 20 0 1 0 23961940 18739200 3785 1992294400 4194304 8395647 140736964337744 18446744073709551615 5753603 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29885/statm: 4575 3785 394 1026 0 3545 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18300

[startup+0.301818 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 29885
/proc/meminfo: memFree=1750820/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=37576 CPUtime=0.29
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 8710 0 0 0 26 3 0 0 20 0 1 0 23961940 38477824 8621 1992294400 4194304 8395647 140736964337744 18446744073709551615 7301419 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29885/statm: 9394 8621 394 1026 0 8364 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37576

[startup+0.700893 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 29885
/proc/meminfo: memFree=1750820/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=84616 CPUtime=0.69
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 20231 0 0 0 63 6 0 0 20 0 1 0 23961940 86646784 19788 1992294400 4194304 8395647 140736964337744 18446744073709551615 5026678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 21154 19788 471 1026 0 20124 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84616

[startup+1.50204 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29886
/proc/meminfo: memFree=1659672/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=107232 CPUtime=1.5
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 25959 0 0 0 141 9 0 0 23 0 1 0 23961940 109805568 25425 1992294400 4194304 8395647 140736964337744 18446744073709551615 6068892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 26808 25425 507 1026 0 25778 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 107232

[startup+3.10135 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29886
/proc/meminfo: memFree=1646280/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=116320 CPUtime=3.09
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 28229 0 0 0 300 9 0 0 25 0 1 0 23961940 119111680 27695 1992294400 4194304 8395647 140736964337744 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 29080 27695 507 1026 0 28050 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 116320

[startup+6.30195 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29886
/proc/meminfo: memFree=1640700/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=117872 CPUtime=6.29
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 28628 0 0 0 620 9 0 0 25 0 1 0 23961940 120700928 28094 1992294400 4194304 8395647 140736964337744 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 29468 28094 507 1026 0 28438 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 117872

[startup+12.7012 s]
/proc/loadavg: 1.08 1.02 0.94 2/107 29886
/proc/meminfo: memFree=1636732/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=121392 CPUtime=12.69
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 29487 0 0 0 1259 10 0 0 25 0 1 0 23961940 124305408 28953 1992294400 4194304 8395647 140736964337744 18446744073709551615 4911233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 30348 28953 512 1026 0 29318 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 121392

[startup+25.5016 s]
/proc/loadavg: 1.06 1.02 0.94 2/107 29886
/proc/meminfo: memFree=1621852/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=135740 CPUtime=25.48
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 33093 0 0 0 2537 11 0 0 25 0 1 0 23961940 138997760 32559 1992294400 4194304 8395647 140736964337744 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 33935 32559 512 1026 0 32905 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 135740

[startup+51.1014 s]
/proc/loadavg: 1.04 1.01 0.94 3/107 29888
/proc/meminfo: memFree=1607840/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=150388 CPUtime=51.06
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 36686 0 0 0 5094 12 0 0 25 0 1 0 23961940 153997312 36152 1992294400 4194304 8395647 140736964337744 18446744073709551615 5608284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 37597 36152 512 1026 0 36567 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 150388

[startup+102.309 s]
/proc/loadavg: 1.06 1.02 0.95 2/107 29888
/proc/meminfo: memFree=1555016/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=204736 CPUtime=102.26
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 50422 0 0 0 10194 32 0 0 25 0 1 0 23961940 209649664 49378 1992294400 4194304 8395647 140736964337744 18446744073709551615 6672044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 51184 49382 624 1026 0 50154 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 204736

[startup+162.301 s]
/proc/loadavg: 1.06 1.03 0.95 2/107 29890
/proc/meminfo: memFree=1548692/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=211956 CPUtime=162.23
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 51982 0 0 0 16169 54 0 0 25 0 1 0 23961940 217042944 50933 1992294400 4194304 8395647 140736964337744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 52989 50933 625 1026 0 51959 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 211956

[startup+222.301 s]
/proc/loadavg: 1.06 1.04 0.96 2/107 29892
/proc/meminfo: memFree=1546088/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=216908 CPUtime=222.21
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 54220 0 0 0 22148 73 0 0 25 0 1 0 23961940 222113792 51894 1992294400 4194304 8395647 140736964337744 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 54227 51894 625 1026 0 53197 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 216908

[startup+282.301 s]
/proc/loadavg: 1.05 1.04 0.96 2/107 29894
/proc/meminfo: memFree=1541128/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=221244 CPUtime=282.18
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 56409 0 0 0 28126 92 0 0 25 0 1 0 23961940 226553856 52805 1992294400 4194304 8395647 140736964337744 18446744073709551615 6652551 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55311 52805 625 1026 0 54281 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 221244

[startup+342.301 s]
/proc/loadavg: 1.13 1.06 0.97 2/107 29896
/proc/meminfo: memFree=1541128/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=220032 CPUtime=342.16
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 57349 0 0 0 34105 111 0 0 25 0 1 0 23961940 225312768 52792 1992294400 4194304 8395647 140736964337744 18446744073709551615 6755522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55008 52792 628 1026 0 53978 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 220032

[startup+402.302 s]
/proc/loadavg: 1.12 1.07 0.98 2/107 29896
/proc/meminfo: memFree=1540632/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=219864 CPUtime=402.14
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 58603 0 0 0 40085 129 0 0 25 0 1 0 23961940 225140736 52903 1992294400 4194304 8395647 140736964337744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 54966 52903 630 1026 0 53936 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 219864

[startup+462.301 s]
/proc/loadavg: 1.11 1.07 0.98 2/107 29898
/proc/meminfo: memFree=1541004/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=219868 CPUtime=462.12
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 61806 0 0 0 46062 150 0 0 25 0 1 0 23961940 225144832 52895 1992294400 4194304 8395647 140736964337744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 54967 52895 695 1026 0 53937 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 219868

[startup+522.302 s]
/proc/loadavg: 1.10 1.07 0.99 2/107 29900
/proc/meminfo: memFree=1540508/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=219976 CPUtime=522.11
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 67711 0 0 0 52039 172 0 0 25 0 1 0 23961940 225255424 52894 1992294400 4194304 8395647 140736964337744 18446744073709551615 6702072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 54994 52894 645 1026 0 53964 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 219976

[startup+582.301 s]
/proc/loadavg: 1.09 1.07 1.00 2/107 29911
/proc/meminfo: memFree=1541252/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=219760 CPUtime=582.07
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 74712 0 0 0 58015 192 0 0 25 0 1 0 23961940 225034240 52683 1992294400 4194304 8395647 140736964337744 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 54940 52683 729 1026 0 53910 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 219760

[startup+642.3 s]
/proc/loadavg: 1.08 1.07 1.00 2/107 29913
/proc/meminfo: memFree=1540012/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=220124 CPUtime=642.05
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 76131 0 0 0 63994 211 0 0 25 0 1 0 23961940 225406976 52926 1992294400 4194304 8395647 140736964337744 18446744073709551615 6707994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55031 52926 649 1026 0 54001 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 220124

[startup+702.302 s]

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

/proc/meminfo: memFree=1539392/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=220132 CPUtime=1001.93
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 81688 0 0 0 99870 323 0 0 25 0 1 0 23961940 225415168 52993 1992294400 4194304 8395647 140736964337744 18446744073709551615 6667541 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55033 52993 629 1026 0 54003 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 220132

[startup+1062.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 29923
/proc/meminfo: memFree=1539268/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=220132 CPUtime=1061.91
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 81688 0 0 0 105851 340 0 0 25 0 1 0 23961940 225415168 52993 1992294400 4194304 8395647 140736964337744 18446744073709551615 6669622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55033 52993 629 1026 0 54003 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 220132

[startup+1122.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 29925
/proc/meminfo: memFree=1538400/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=221284 CPUtime=1121.88
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 83024 0 0 0 111833 355 0 0 25 0 1 0 23961940 226594816 53195 1992294400 4194304 8395647 140736964337744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55321 53195 629 1026 0 54291 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 221284

[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 29927
/proc/meminfo: memFree=1538400/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=221284 CPUtime=1181.86
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 83024 0 0 0 117817 369 0 0 25 0 1 0 23961940 226594816 53195 1992294400 4194304 8395647 140736964337744 18446744073709551615 6702072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55321 53195 629 1026 0 54291 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 221284

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 29929
/proc/meminfo: memFree=1538400/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=221284 CPUtime=1241.84
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 83024 0 0 0 123799 385 0 0 25 0 1 0 23961940 226594816 53195 1992294400 4194304 8395647 140736964337744 18446744073709551615 6502770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55321 53195 629 1026 0 54291 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 221284

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 3/107 29929
/proc/meminfo: memFree=1538028/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=221284 CPUtime=1301.83
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 83098 0 0 0 129784 399 0 0 25 0 1 0 23961940 226594816 53269 1992294400 4194304 8395647 140736964337744 18446744073709551615 6708477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55321 53269 633 1026 0 54291 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 221284

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 29931
/proc/meminfo: memFree=1537904/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=221284 CPUtime=1361.8
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 83098 0 0 0 135767 413 0 0 25 0 1 0 23961940 226594816 53269 1992294400 4194304 8395647 140736964337744 18446744073709551615 6502341 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55321 53269 633 1026 0 54291 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 221284

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29933
/proc/meminfo: memFree=1538896/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=221396 CPUtime=1421.79
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 84373 0 0 0 141752 427 0 0 25 0 1 0 23961940 226709504 53156 1992294400 4194304 8395647 140736964337744 18446744073709551615 7382046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55349 53156 731 1026 0 54319 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 221396

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29935
/proc/meminfo: memFree=1538772/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=221396 CPUtime=1481.76
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 84390 0 0 0 147729 447 0 0 25 0 1 0 23961940 226709504 53173 1992294400 4194304 8395647 140736964337744 18446744073709551615 6504081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55349 53173 731 1026 0 54319 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 221396

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29937
/proc/meminfo: memFree=1541872/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=217676 CPUtime=1541.74
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 84747 0 0 0 153714 460 0 0 25 0 1 0 23961940 222900224 52449 1992294400 4194304 8395647 140736964337744 18446744073709551615 6501694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 54419 52449 729 1026 0 53389 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 217676

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29937
/proc/meminfo: memFree=1540880/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=219188 CPUtime=1601.72
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 86125 0 0 0 159692 480 0 0 25 0 1 0 23961940 224448512 52731 1992294400 4194304 8395647 140736964337744 18446744073709551615 6635072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 54797 52731 784 1026 0 53767 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 219188

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29942
/proc/meminfo: memFree=1541500/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=218204 CPUtime=1661.7
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 117893 0 0 0 165663 507 0 0 25 0 1 0 23961940 223440896 52488 1992294400 4194304 8395647 140736964337744 18446744073709551615 6669653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 54551 52488 729 1026 0 53521 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 218204

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29944
/proc/meminfo: memFree=1539268/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=220904 CPUtime=1721.68
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 119604 0 0 0 171643 525 0 0 25 0 1 0 23961940 226205696 53048 1992294400 4194304 8395647 140736964337744 18446744073709551615 7385767 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55226 53048 730 1026 0 54196 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 220904

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29946
/proc/meminfo: memFree=1539764/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=219876 CPUtime=1781.66
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 120844 0 0 0 177623 543 0 0 25 0 1 0 23961940 225153024 52934 1992294400 4194304 8395647 140736964337744 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 54969 52934 729 1026 0 53939 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 219876

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29946
/proc/meminfo: memFree=1539764/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=219876 CPUtime=1784.85
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 120844 0 0 0 177941 544 0 0 25 0 1 0 23961940 225153024 52934 1992294400 4194304 8395647 140736964337744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 54969 52934 729 1026 0 53939 0
Current children cumulated CPU time (s) 1784.85
Current children cumulated vsize (KiB) 219876

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29946
/proc/meminfo: memFree=1539764/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=219876 CPUtime=1788.06
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 120845 0 0 0 178261 545 0 0 25 0 1 0 23961940 225153024 52935 1992294400 4194304 8395647 140736964337744 18446744073709551615 6697150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 54969 52935 729 1026 0 53939 0
Current children cumulated CPU time (s) 1788.06
Current children cumulated vsize (KiB) 219876

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29946
/proc/meminfo: memFree=1539764/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=221508 CPUtime=1788.86
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 120847 0 0 0 178341 545 0 0 25 0 1 0 23961940 226824192 52937 1992294400 4194304 8395647 140736964337744 18446744073709551615 6503858 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55377 52937 729 1026 0 54347 0
Current children cumulated CPU time (s) 1788.86
Current children cumulated vsize (KiB) 221508

[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29946
/proc/meminfo: memFree=1539764/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=221508 CPUtime=1789.25
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 120848 0 0 0 178380 545 0 0 25 0 1 0 23961940 226824192 52938 1992294400 4194304 8395647 140736964337744 18446744073709551615 6709517 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29885/statm: 55377 52938 729 1026 0 54347 0
Current children cumulated CPU time (s) 1789.25
Current children cumulated vsize (KiB) 221508

[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29946
/proc/meminfo: memFree=1539764/2059040 swapFree=4139712/4192956
[pid=29885] ppid=29883 vsize=189160 CPUtime=1789.65
/proc/29885/stat : 29885 (pbscip.linux.x8) R 29883 29885 28093 0 -1 4202496 120855 0 0 0 178420 545 0 0 25 0 1 0 23961940 193699840 45893 1992294400 4194304 8395647 140736964337744 18446744073709551615 7435351 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29885/statm: 47290 45765 736 1026 0 46260 0
Current children cumulated CPU time (s) 1789.65
Current children cumulated vsize (KiB) 189160

Child status: 0
Real time (s): 1790.34
CPU time (s): 1789.7
CPU user time (s): 1784.22
CPU system time (s): 5.48217
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 221828

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

runsolver used 2.91856 second user time and 8.49071 second system time

The end

Launcher Data 

Begin job on node037 at 2010-07-08 04:52:19
IDJOB=2703818
IDBENCH=2328
IDSOLVER=1213
FILE ID=node037/2703818-1278557539
PBS_JOBID= 11239502
Free space on /tmp= 62580 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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos7.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-2703818-1278557539/watcher-2703818-1278557539 -o /tmp/evaluation-result-2703818-1278557539/solver-2703818-1278557539 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703818-1278557539.opb -t 1800 -m 1800

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

MD5SUM BENCH= f5e09fc51fdb6e7c65b10c880b18ec53
RANDOM SEED=778656452

node037.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.266
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.53
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.266
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1751348 kB
Buffers:         36064 kB
Cached:         172388 kB
SwapCached:       6660 kB
Active:          91188 kB
Inactive:       130824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1751348 kB
SwapTotal:     4192956 kB
SwapFree:      4139712 kB
Dirty:           11916 kB
Writeback:          28 kB
AnonPages:       11604 kB
Mapped:          11876 kB
Slab:            63668 kB
PageTables:       4124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181176 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264880 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62572 MiB
End job on node037 at 2010-07-08 05:22:09