Trace number 2703471

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? 1790.96 1791.42

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb
MD5SUM1a4e4bfb1c77b43166d46bacbe01c892
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 variables103872
Total number of constraints3312
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 constraints3312
Minimum length of a constraint31
Maximum length of a constraint725
Number of terms in the objective function 37632
Biggest coefficient in the objective function 31125091123200
Number of bits for the biggest coefficient in the objective function 45
Sum of the numbers in the objective function 14624065344515792
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 31125091123200
Number of bits of the biggest number in a constraint 45
Biggest sum of numbers in a constraint 14624065344515792
Number of bits of the biggest sum of numbers54
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-2703471-1278558444.opb>
0.79/0.89	c original problem has 103872 variables (103872 bin, 0 int, 0 impl, 0 cont) and 3312 constraints
0.79/0.89	c problem read
0.79/0.89	c presolving settings loaded
1.89/1.96	c presolving:
2.29/2.33	c (round 1) 37416 del vars, 0 del conss, 37410 chg bounds, 0 chg sides, 709 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
2.39/2.40	c (round 2) 37643 del vars, 0 del conss, 37637 chg bounds, 0 chg sides, 709 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
13.09/13.13	c    (12.2s) probing: 669/66228 (1.0%) - 0 fixings, 4 aggregations, 351 implications, 0 bound changes
13.09/13.13	c    (12.2s) probing aborted: 100/100 successive totally useless probings
13.09/13.13	c (round 3) 37648 del vars, 0 del conss, 37638 chg bounds, 0 chg sides, 709 chg coeffs, 1104 upgd conss, 702 impls, 0 clqs
13.48/13.58	c (round 4) 37648 del vars, 0 del conss, 37638 chg bounds, 48 chg sides, 5109 chg coeffs, 2064 upgd conss, 702 impls, 9968 clqs
13.79/13.87	c (round 5) 37648 del vars, 960 del conss, 37638 chg bounds, 10300 chg sides, 34561 chg coeffs, 2064 upgd conss, 1946 impls, 9968 clqs
14.09/14.17	c (round 6) 37699 del vars, 960 del conss, 37638 chg bounds, 10300 chg sides, 34561 chg coeffs, 2064 upgd conss, 10144 impls, 9968 clqs
14.29/14.31	c (round 7) 37699 del vars, 960 del conss, 37638 chg bounds, 10329 chg sides, 34593 chg coeffs, 2064 upgd conss, 10144 impls, 9968 clqs
17.79/17.89	c (round 8) 37749 del vars, 960 del conss, 37638 chg bounds, 10329 chg sides, 34593 chg coeffs, 2064 upgd conss, 54414 impls, 9972 clqs
18.09/18.14	c (round 9) 37749 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34681 chg coeffs, 2064 upgd conss, 54414 impls, 9972 clqs
19.39/19.42	c (round 10) 37799 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34681 chg coeffs, 2064 upgd conss, 73004 impls, 10118 clqs
19.89/19.98	c (round 11) 37849 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34683 chg coeffs, 2064 upgd conss, 73004 impls, 10118 clqs
20.59/20.69	c (round 12) 37899 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34683 chg coeffs, 2064 upgd conss, 73004 impls, 10120 clqs
21.09/21.10	c (round 13) 37952 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34683 chg coeffs, 2064 upgd conss, 73004 impls, 10120 clqs
21.69/21.78	c (round 14) 38012 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34683 chg coeffs, 2064 upgd conss, 73366 impls, 10120 clqs
22.19/22.24	c    (21.3s) probing: 1000/66228 (1.5%) - 387 fixings, 4 aggregations, 20522 implications, 0 bound changes
22.49/22.56	c (round 15) 38062 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34687 chg coeffs, 2064 upgd conss, 73366 impls, 10120 clqs
23.49/23.53	c (round 16) 38112 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34688 chg coeffs, 2064 upgd conss, 73366 impls, 10123 clqs
24.10/24.18	c (round 17) 38162 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34688 chg coeffs, 2064 upgd conss, 73366 impls, 10123 clqs
24.89/24.94	c (round 18) 38212 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34688 chg coeffs, 2064 upgd conss, 73366 impls, 10123 clqs
25.39/25.46	c (round 19) 38276 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34688 chg coeffs, 2064 upgd conss, 73366 impls, 10123 clqs
25.59/25.68	c (round 20) 38326 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34688 chg coeffs, 2064 upgd conss, 73366 impls, 10123 clqs
26.30/26.35	c (round 21) 38376 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34688 chg coeffs, 2064 upgd conss, 73366 impls, 10123 clqs
28.60/28.68	c    (27.8s) probing: 1289/66228 (1.9%) - 770 fixings, 4 aggregations, 20522 implications, 0 bound changes
28.60/28.68	c    (27.8s) probing aborted: 100/100 successive totally useless probings
28.60/28.68	c (round 22) 38418 del vars, 960 del conss, 37638 chg bounds, 10353 chg sides, 34688 chg coeffs, 2064 upgd conss, 73366 impls, 10123 clqs
28.99/29.00	c    (28.1s) probing: 1299/66228 (2.0%) - 770 fixings, 4 aggregations, 20522 implications, 0 bound changes
28.99/29.00	c    (28.1s) probing aborted: 100/100 successive totally useless probings
28.99/29.01	c presolving (23 rounds):
28.99/29.01	c  38418 deleted vars, 960 deleted constraints, 37638 tightened bounds, 0 added holes, 10353 changed sides, 34688 changed coefficients
28.99/29.01	c  73366 implications, 10123 cliques
28.99/29.01	c presolved problem has 65454 variables (65454 bin, 0 int, 0 impl, 0 cont) and 11952 constraints
28.99/29.01	c    1104 constraints of type <knapsack>
28.99/29.01	c    9600 constraints of type <setppc>
28.99/29.01	c    1248 constraints of type <linear>
28.99/29.01	c transformed objective value is always integral (scale: 1)
28.99/29.01	c Presolving Time: 27.71
28.99/29.01	c - non default parameters ----------------------------------------------------------------------
28.99/29.01	c # SCIP version 1.2.1.3
28.99/29.01	c 
28.99/29.01	c # frequency for displaying node information lines
28.99/29.01	c # [type: int, range: [-1,2147483647], default: 100]
28.99/29.01	c display/freq = 10000
28.99/29.01	c 
28.99/29.01	c # maximal time in seconds to run
28.99/29.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
28.99/29.01	c limits/time = 1789.12
28.99/29.01	c 
28.99/29.01	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
28.99/29.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
28.99/29.01	c limits/memory = 1620
28.99/29.01	c 
28.99/29.01	c # default clock type (1: CPU user seconds, 2: wall clock time)
28.99/29.01	c # [type: int, range: [1,2], default: 1]
28.99/29.01	c timing/clocktype = 2
28.99/29.01	c 
28.99/29.01	c # should presolving try to simplify inequalities
28.99/29.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
28.99/29.01	c constraints/linear/simplifyinequalities = TRUE
28.99/29.01	c 
28.99/29.01	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
28.99/29.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
28.99/29.01	c constraints/indicator/addCouplingCons = TRUE
28.99/29.01	c 
28.99/29.01	c # should presolving try to simplify knapsacks
28.99/29.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
28.99/29.01	c constraints/knapsack/simplifyinequalities = TRUE
28.99/29.01	c 
28.99/29.01	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
28.99/29.01	c # [type: int, range: [-1,2147483647], default: -1]
28.99/29.01	c separating/rapidlearning/freq = 0
28.99/29.01	c 
28.99/29.01	c -----------------------------------------------------------------------------------------------
28.99/29.01	c start solving
28.99/29.08	c 
33.38/33.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
33.38/33.43	c  32.5s|     1 |     0 |  3591 |     - | 250M|   0 |2700 |  65k|  11k|  65k|  11k|   0 |   0 |   0 | 1.752824e+10 |      --      |    Inf 
96.07/96.14	c  95.2s|     1 |     2 | 17820 |     - | 253M|   0 |   - |  65k|  11k|  65k|  12k| 341 |   0 |   0 | 1.752824e+10 |      --      |    Inf 
1790.25/1790.79	c 
1790.25/1790.79	c SCIP Status        : solving was interrupted [time limit reached]
1790.25/1790.79	c Solving Time (sec) : 1789.90
1790.25/1790.79	c Solving Nodes      : 429
1790.25/1790.79	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.25/1790.79	c Dual Bound         : +1.75282434079669e+10
1790.25/1790.79	c Gap                : infinite
1790.25/1790.79	s UNKNOWN
1790.25/1790.79	c SCIP Status        : solving was interrupted [time limit reached]
1790.25/1790.79	c Solving Time       :    1789.90
1790.25/1790.79	c Original Problem   :
1790.25/1790.79	c   Problem name     : HOME/instance-2703471-1278558444.opb
1790.25/1790.79	c   Variables        : 103872 (103872 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.25/1790.79	c   Constraints      : 3312 initial, 3312 maximal
1790.25/1790.79	c Presolved Problem  :
1790.25/1790.79	c   Problem name     : t_HOME/instance-2703471-1278558444.opb
1790.25/1790.79	c   Variables        : 65454 (65454 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.25/1790.79	c   Constraints      : 11952 initial, 11996 maximal
1790.25/1790.79	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.25/1790.79	c   trivial          :       0.30          0          0          0          0          0          0          0          0
1790.25/1790.79	c   dualfix          :       0.29          0          0          0          0          0          0          0          0
1790.25/1790.79	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.25/1790.79	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.25/1790.79	c   implics          :       0.13          0          0          0          0          0          0          0          0
1790.25/1790.79	c   probing          :      22.63        770          4          0          0          0          0          0          0
1790.25/1790.79	c   knapsack         :       2.26          0          0          0          0          0        960      10353      33979
1790.25/1790.79	c   setppc           :       0.30          0          0          0          0          0          0          0          0
1790.25/1790.79	c   linear           :       0.94      37638          6          0      37638          0          0          0        709
1790.25/1790.79	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1790.25/1790.79	c   root node        :          -          0          -          -          0          -          -          -          -
1790.25/1790.79	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.25/1790.79	c   integral         :          0          0          0         50          0          0         35          0          0         58
1790.25/1790.79	c   knapsack         :       1104          1       4123          0        390          1      14290        201          0          0
1790.25/1790.79	c   setppc           :       9600          1       2687          0        390          0       8602          0          0          0
1790.25/1790.79	c   linear           :       1248          1       4122          0          0         12       6104        211          0          0
1790.25/1790.79	c   logicor          :          0+         0         94          0          0          0         24          0          0          0
1790.25/1790.79	c   countsols        :          0          0          0          0        390          0          0          0          0          0
1790.25/1790.79	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.25/1790.79	c   integral         :     371.58       0.00       0.00     371.58       0.00
1790.25/1790.79	c   knapsack         :       4.63       0.02       0.65       0.00       3.96
1790.25/1790.79	c   setppc           :       3.55       0.00       2.09       0.00       1.46
1790.25/1790.79	c   linear           :       1.57       0.05       1.52       0.00       0.00
1790.25/1790.79	c   logicor          :       0.01       0.00       0.01       0.00       0.00
1790.25/1790.79	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.25/1790.79	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.25/1790.79	c   vbounds          :       0.00          2          0          0
1790.25/1790.79	c   rootredcost      :       0.00          0          0          0
1790.25/1790.79	c   pseudoobj        :       4.05        736          0          0
1790.25/1790.79	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.25/1790.79	c   propagation      :       0.00          2          2          4       23.0          0        0.0          -
1790.25/1790.79	c   infeasible LP    :       0.23          8          8         48      478.6          0        0.0          0
1790.25/1790.79	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.25/1790.79	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.25/1790.79	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.25/1790.79	c   applied globally :          -          -          -         48      438.1          -          -          -
1790.25/1790.79	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.25/1790.79	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.25/1790.79	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 265)
1790.25/1790.79	c   redcost          :       0.58         51          0          0          0          0
1790.25/1790.79	c   impliedbounds    :       0.01          1          0          0        439          0
1790.25/1790.79	c   intobj           :       0.00          0          0          0          0          0
1790.25/1790.79	c   cgmip            :       0.00          0          0          0          0          0
1790.25/1790.79	c   gomory           :       2.68          1          0          0          0          0
1790.25/1790.79	c   strongcg         :       2.66          1          0          0         12          0
1790.25/1790.79	c   cmir             :       1.12          1          0          0          0          0
1790.25/1790.79	c   flowcover        :       3.90          1          0          0          6          0
1790.25/1790.79	c   clique           :       0.32          1          0          0          6          0
1790.25/1790.79	c   zerohalf         :       0.00          0          0          0          0          0
1790.25/1790.79	c   mcf              :       0.03          1          0          0          0          0
1790.25/1790.79	c   rapidlearning    :       0.00          0          0          0          0          0
1790.25/1790.79	c Pricers            :       Time      Calls       Vars
1790.25/1790.79	c   problem variables:       0.00          0          0
1790.25/1790.79	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.25/1790.79	c   relpscost        :     371.58         50          0         35          0          0         58
1790.25/1790.79	c   pscost           :       0.00          0          0          0          0          0          0
1790.25/1790.79	c   inference        :      10.37        390          0          0          0          0        780
1790.25/1790.79	c   mostinf          :       0.00          0          0          0          0          0          0
1790.25/1790.79	c   leastinf         :       0.00          0          0          0          0          0          0
1790.25/1790.79	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.25/1790.79	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.25/1790.79	c   random           :       0.00          0          0          0          0          0          0
1790.25/1790.79	c Primal Heuristics  :       Time      Calls      Found
1790.25/1790.79	c   LP solutions     :       0.00          -          0
1790.25/1790.79	c   pseudo solutions :       0.00          -          0
1790.25/1790.79	c   oneopt           :       0.00          0          0
1790.25/1790.79	c   crossover        :       0.00          0          0
1790.25/1790.79	c   pscostdiving     :       0.00          0          0
1790.25/1790.79	c   fracdiving       :       0.00          0          0
1790.25/1790.79	c   veclendiving     :       0.00          0          0
1790.25/1790.79	c   objpscostdiving  :       0.00          0          0
1790.25/1790.79	c   rootsoldiving    :       0.00          0          0
1790.25/1790.79	c   linesearchdiving :       0.00          0          0
1790.25/1790.79	c   guideddiving     :       0.00          0          0
1790.25/1790.79	c   intshifting      :       0.00          0          0
1790.25/1790.79	c   coefdiving       :       4.81          1          0
1790.25/1790.79	c   feaspump         :      41.47          1          0
1790.25/1790.79	c   trivial          :       0.33          2          0
1790.25/1790.79	c   simplerounding   :       0.01          0          0
1790.25/1790.79	c   zirounding       :       0.04         28          0
1790.25/1790.79	c   rounding         :       1.82         51          0
1790.25/1790.79	c   shifting         :      21.10          3          0
1790.25/1790.79	c   twoopt           :       0.00          0          0
1790.25/1790.79	c   fixandinfer      :       0.00          0          0
1790.25/1790.79	c   intdiving        :       0.00          0          0
1790.25/1790.79	c   actconsdiving    :       0.00          0          0
1790.25/1790.79	c   octane           :       0.00          0          0
1790.25/1790.79	c   rens             :       0.00          0          0
1790.25/1790.79	c   rins             :       0.00          0          0
1790.25/1790.79	c   localbranching   :       0.00          0          0
1790.25/1790.79	c   mutation         :       0.00          0          0
1790.25/1790.79	c   dins             :       0.00          0          0
1790.25/1790.79	c   undercover       :       0.00          0          0
1790.25/1790.79	c   nlp              :       0.00          0          0
1790.25/1790.79	c   trysol           :       0.00          0          0
1790.25/1790.79	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.25/1790.79	c   primal LP        :       0.00          0          0       0.00          -
1790.25/1790.79	c   dual LP          :    1268.11       1274    1877757    1473.91    1480.75
1790.25/1790.79	c   lex dual LP      :       0.00          0          0       0.00          -
1790.25/1790.79	c   barrier LP       :       0.00          0          0       0.00          -
1790.25/1790.79	c   diving/probing LP:      46.07         10      17951    1795.10     389.65
1790.25/1790.79	c   strong branching :     371.40       1110     373486     336.47    1005.62
1790.25/1790.79	c     (at root node) :          -          0          0       0.00          -
1790.25/1790.79	c   conflict analysis:       0.00          0          0       0.00          -
1790.25/1790.79	c B&B Tree           :
1790.25/1790.79	c   number of runs   :          1
1790.25/1790.79	c   nodes            :        429
1790.25/1790.79	c   nodes (total)    :        429
1790.25/1790.79	c   nodes left       :        410
1790.25/1790.79	c   max depth        :        242
1790.25/1790.79	c   max depth (total):        242
1790.25/1790.79	c   backtracks       :         17 (4.0%)
1790.25/1790.79	c   delayed cutoffs  :          0
1790.25/1790.79	c   repropagations   :         22 (14 domain reductions, 0 cutoffs)
1790.25/1790.79	c   avg switch length:       1.59
1790.25/1790.79	c   switching time   :       0.12
1790.25/1790.79	c Solution           :
1790.25/1790.79	c   Solutions found  :          0 (0 improvements)
1790.25/1790.79	c   Primal Bound     :          -
1790.25/1790.79	c   Dual Bound       : +1.75282434079669e+10
1790.25/1790.79	c   Gap              :   infinite
1790.25/1790.79	c   Root Dual Bound  : +1.75282434079669e+10
1790.25/1790.79	c   Root Iterations  :      17820
1790.94/1791.41	c Time complete: 1790.95.

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-2703471-1278558444/watcher-2703471-1278558444 -o /tmp/evaluation-result-2703471-1278558444/solver-2703471-1278558444 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703471-1278558444.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.03 1.00 3/106 27845
/proc/meminfo: memFree=1823196/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=7904 CPUtime=0
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 1078 0 0 0 0 0 0 0 20 0 1 0 24057426 8093696 990 1992294400 4194304 8395647 140736707618448 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27845/statm: 1976 999 365 1026 0 946 0

[startup+0.0366351 s]
/proc/loadavg: 1.00 1.03 1.00 3/106 27845
/proc/meminfo: memFree=1823196/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=14956 CPUtime=0.02
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 3060 0 0 0 2 0 0 0 20 0 1 0 24057426 15314944 2971 1992294400 4194304 8395647 140736707618448 18446744073709551615 5758032 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27845/statm: 3739 2971 387 1026 0 2709 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14956

[startup+0.101641 s]
/proc/loadavg: 1.00 1.03 1.00 3/106 27845
/proc/meminfo: memFree=1823196/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=27372 CPUtime=0.1
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 6141 0 0 0 8 2 0 0 20 0 1 0 24057426 28028928 6049 1992294400 4194304 8395647 140736707618448 18446744073709551615 6765631 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27845/statm: 6843 6049 389 1026 0 5813 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27372

[startup+0.301661 s]
/proc/loadavg: 1.00 1.03 1.00 3/106 27845
/proc/meminfo: memFree=1823196/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=64532 CPUtime=0.29
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 15314 0 0 0 24 5 0 0 20 0 1 0 24057426 66080768 15220 1992294400 4194304 8395647 140736707618448 18446744073709551615 7324951 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27845/statm: 16133 15220 394 1026 0 15103 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64532

[startup+0.7017 s]
/proc/loadavg: 1.00 1.03 1.00 3/106 27845
/proc/meminfo: memFree=1823196/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=81956 CPUtime=0.7
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 19644 0 0 0 62 8 0 0 20 0 1 0 24057426 83922944 19550 1992294400 4194304 8395647 140736707618448 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27845/statm: 20489 19550 394 1026 0 19459 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 81956

[startup+1.50178 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 27846
/proc/meminfo: memFree=1695592/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=200648 CPUtime=1.49
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 49571 0 0 0 131 18 0 0 22 0 1 0 24057426 205463552 49123 1992294400 4194304 8395647 140736707618448 18446744073709551615 4602326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 50162 49123 431 1026 0 49132 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 200648

[startup+3.10194 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 27846
/proc/meminfo: memFree=1609536/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=231532 CPUtime=3.09
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 56341 0 0 0 289 20 0 0 25 0 1 0 24057426 237088768 55893 1992294400 4194304 8395647 140736707618448 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 57883 55893 562 1026 0 56853 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 231532

[startup+6.30125 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 27846
/proc/meminfo: memFree=1600732/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=231532 CPUtime=6.29
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 56388 0 0 0 609 20 0 0 25 0 1 0 24057426 237088768 55894 1992294400 4194304 8395647 140736707618448 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 57883 55894 517 1026 0 56853 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 231532

[startup+12.7009 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 27847
/proc/meminfo: memFree=1600484/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=231788 CPUtime=12.69
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 56452 0 0 0 1249 20 0 0 25 0 1 0 24057426 237350912 55958 1992294400 4194304 8395647 140736707618448 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 57947 55958 517 1026 0 56917 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 231788

[startup+25.5012 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 27848
/proc/meminfo: memFree=1555596/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=279012 CPUtime=25.49
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 68460 0 0 0 2525 24 0 0 25 0 1 0 24057426 285708288 67187 1992294400 4194304 8395647 140736707618448 18446744073709551615 4735509 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 69753 67187 511 1026 0 68723 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 279012

[startup+51.1007 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 27848
/proc/meminfo: memFree=1495456/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=344952 CPUtime=51.08
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 84217 0 0 0 5074 34 0 0 25 0 1 0 24057426 353230848 82296 1992294400 4194304 8395647 140736707618448 18446744073709551615 6698047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 86238 82296 597 1026 0 85208 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 344952

[startup+102.309 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 27850
/proc/meminfo: memFree=1476112/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=367060 CPUtime=102.27
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 89143 0 0 0 10179 48 0 0 25 0 1 0 24057426 375869440 87194 1992294400 4194304 8395647 140736707618448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 91765 87194 674 1026 0 90735 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 367060

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27851
/proc/meminfo: memFree=1475120/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=367984 CPUtime=162.25
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 89383 0 0 0 16143 82 0 0 25 0 1 0 24057426 376815616 87432 1992294400 4194304 8395647 140736707618448 18446744073709551615 6698688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 91996 87432 678 1026 0 90966 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 367984

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27852
/proc/meminfo: memFree=1474996/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=367984 CPUtime=222.24
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 89384 0 0 0 22103 121 0 0 25 0 1 0 24057426 376815616 87432 1992294400 4194304 8395647 140736707618448 18446744073709551615 6697723 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 91996 87432 677 1026 0 90966 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 367984

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27854
/proc/meminfo: memFree=1474748/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=368188 CPUtime=282.22
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 89437 0 0 0 28065 157 0 0 25 0 1 0 24057426 377024512 87485 1992294400 4194304 8395647 140736707618448 18446744073709551615 6585960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92047 87485 678 1026 0 91017 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 368188

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27856
/proc/meminfo: memFree=1474748/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=368188 CPUtime=342.2
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 89440 0 0 0 34035 185 0 0 25 0 1 0 24057426 377024512 87485 1992294400 4194304 8395647 140736707618448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92047 87485 675 1026 0 91017 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 368188

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27858
/proc/meminfo: memFree=1474376/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=368188 CPUtime=402.19
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 89549 0 0 0 40001 218 0 0 25 0 1 0 24057426 377024512 87594 1992294400 4194304 8395647 140736707618448 18446744073709551615 6119567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92047 87594 675 1026 0 91017 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 368188

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27859
/proc/meminfo: memFree=1473632/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=368780 CPUtime=462.17
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 89697 0 0 0 45968 249 0 0 25 0 1 0 24057426 377630720 87742 1992294400 4194304 8395647 140736707618448 18446744073709551615 6698222 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92195 87742 675 1026 0 91165 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 368780

[startup+522.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 27860
/proc/meminfo: memFree=1473632/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=368780 CPUtime=522.16
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 89697 0 0 0 51934 282 0 0 25 0 1 0 24057426 377630720 87742 1992294400 4194304 8395647 140736707618448 18446744073709551615 6669653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92195 87742 675 1026 0 91165 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 368780

[startup+582.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 27862
/proc/meminfo: memFree=1473632/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=368780 CPUtime=582.15
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 89697 0 0 0 57898 317 0 0 25 0 1 0 24057426 377630720 87742 1992294400 4194304 8395647 140736707618448 18446744073709551615 6702012 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92195 87742 675 1026 0 91165 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 368780

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27864
/proc/meminfo: memFree=1472764/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=369564 CPUtime=642.14
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 89892 0 0 0 63874 340 0 0 25 0 1 0 24057426 378433536 87937 1992294400 4194304 8395647 140736707618448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92391 87937 675 1026 0 91361 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 369564

[startup+702.301 s]

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

/proc/meminfo: memFree=1471152/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1062.02
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90089 0 0 0 105617 585 0 0 25 0 1 0 24057426 379240448 88134 1992294400 4194304 8395647 140736707618448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88134 675 1026 0 91558 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 370352

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27879
/proc/meminfo: memFree=1471152/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1122.01
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90089 0 0 0 111579 622 0 0 25 0 1 0 24057426 379240448 88134 1992294400 4194304 8395647 140736707618448 18446744073709551615 6669653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88134 675 1026 0 91558 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 370352

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27881
/proc/meminfo: memFree=1471152/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1181.99
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90090 0 0 0 117540 659 0 0 25 0 1 0 24057426 379240448 88135 1992294400 4194304 8395647 140736707618448 18446744073709551615 6585964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88135 675 1026 0 91558 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 370352

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27883
/proc/meminfo: memFree=1471152/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1241.97
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90090 0 0 0 123485 712 0 0 25 0 1 0 24057426 379240448 88135 1992294400 4194304 8395647 140736707618448 18446744073709551615 6636339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88135 675 1026 0 91558 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 370352

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27885
/proc/meminfo: memFree=1471152/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1301.97
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90090 0 0 0 129440 757 0 0 25 0 1 0 24057426 379240448 88135 1992294400 4194304 8395647 140736707618448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88135 675 1026 0 91558 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 370352

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27886
/proc/meminfo: memFree=1471152/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1361.94
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90090 0 0 0 135391 803 0 0 25 0 1 0 24057426 379240448 88135 1992294400 4194304 8395647 140736707618448 18446744073709551615 6636339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88135 675 1026 0 91558 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 370352

[startup+1422.31 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 27887
/proc/meminfo: memFree=1471152/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1421.94
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90090 0 0 0 141344 850 0 0 25 0 1 0 24057426 379240448 88135 1992294400 4194304 8395647 140736707618448 18446744073709551615 6699144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88135 675 1026 0 91558 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 370352

[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 27889
/proc/meminfo: memFree=1471152/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1481.92
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90090 0 0 0 147301 891 0 0 25 0 1 0 24057426 379240448 88135 1992294400 4194304 8395647 140736707618448 18446744073709551615 6587234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88135 675 1026 0 91558 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 370352

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 27891
/proc/meminfo: memFree=1471152/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1541.9
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90090 0 0 0 153257 933 0 0 25 0 1 0 24057426 379240448 88135 1992294400 4194304 8395647 140736707618448 18446744073709551615 7382041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88135 675 1026 0 91558 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 370352

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27893
/proc/meminfo: memFree=1471152/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1601.88
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90090 0 0 0 159213 975 0 0 25 0 1 0 24057426 379240448 88135 1992294400 4194304 8395647 140736707618448 18446744073709551615 6585983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88135 675 1026 0 91558 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 370352

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27894
/proc/meminfo: memFree=1471152/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1661.87
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90091 0 0 0 165169 1018 0 0 25 0 1 0 24057426 379240448 88136 1992294400 4194304 8395647 140736707618448 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88136 675 1026 0 91558 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 370352

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27895
/proc/meminfo: memFree=1471028/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1721.85
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90091 0 0 0 171123 1062 0 0 25 0 1 0 24057426 379240448 88136 1992294400 4194304 8395647 140736707618448 18446744073709551615 6697820 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88136 675 1026 0 91558 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 370352

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27897
/proc/meminfo: memFree=1470780/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1781.84
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90091 0 0 0 177079 1105 0 0 25 0 1 0 24057426 379240448 88136 1992294400 4194304 8395647 140736707618448 18446744073709551615 6585987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88136 675 1026 0 91558 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 370352

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 27897
/proc/meminfo: memFree=1470780/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1785.04
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90091 0 0 0 177396 1108 0 0 25 0 1 0 24057426 379240448 88136 1992294400 4194304 8395647 140736707618448 18446744073709551615 6723085 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88136 675 1026 0 91558 0
Current children cumulated CPU time (s) 1785.04
Current children cumulated vsize (KiB) 370352

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27897
/proc/meminfo: memFree=1470780/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1788.24
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90091 0 0 0 177713 1111 0 0 25 0 1 0 24057426 379240448 88136 1992294400 4194304 8395647 140736707618448 18446744073709551615 6667503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88136 675 1026 0 91558 0
Current children cumulated CPU time (s) 1788.24
Current children cumulated vsize (KiB) 370352

[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27897
/proc/meminfo: memFree=1470780/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1789.84
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90091 0 0 0 177871 1113 0 0 25 0 1 0 24057426 379240448 88136 1992294400 4194304 8395647 140736707618448 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88136 675 1026 0 91558 0
Current children cumulated CPU time (s) 1789.84
Current children cumulated vsize (KiB) 370352

[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27897
/proc/meminfo: memFree=1470780/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1790.64
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90098 0 0 0 177950 1114 0 0 25 0 1 0 24057426 379240448 88143 1992294400 4194304 8395647 140736707618448 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88143 682 1026 0 91558 0
Current children cumulated CPU time (s) 1790.64
Current children cumulated vsize (KiB) 370352

[startup+1791.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27897
/proc/meminfo: memFree=1470780/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=370352 CPUtime=1790.84
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90098 0 0 0 177970 1114 0 0 25 0 1 0 24057426 379240448 88143 1992294400 4194304 8395647 140736707618448 18446744073709551615 6345887 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27845/statm: 92588 88143 682 1026 0 91558 0
Current children cumulated CPU time (s) 1790.84
Current children cumulated vsize (KiB) 370352

[startup+1791.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27897
/proc/meminfo: memFree=1470780/2059040 swapFree=4139620/4192956
[pid=27845] ppid=27843 vsize=284644 CPUtime=1790.94
/proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 25669 0 -1 4202496 90099 0 0 0 177978 1116 0 0 25 0 1 0 24057426 291475456 38640 1992294400 4194304 8395647 140736707618448 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27845/statm: 71161 38640 683 1026 0 70131 0
Current children cumulated CPU time (s) 1790.94
Current children cumulated vsize (KiB) 284644

Child status: 0
Real time (s): 1791.42
CPU time (s): 1790.96
CPU user time (s): 1779.79
CPU system time (s): 11.1783
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 370352

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

runsolver used 3.07253 second user time and 8.34473 second system time

The end

Launcher Data 

Begin job on node012 at 2010-07-08 05:07:24
IDJOB=2703471
IDBENCH=2367
IDSOLVER=1213
FILE ID=node012/2703471-1278558444
PBS_JOBID= 11239519
Free space on /tmp= 62488 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/unibo/normalized-mps-v2-20-10-A1C1S1.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-2703471-1278558444/watcher-2703471-1278558444 -o /tmp/evaluation-result-2703471-1278558444/solver-2703471-1278558444 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703471-1278558444.opb -t 1800 -m 1800

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

MD5SUM BENCH= 1a4e4bfb1c77b43166d46bacbe01c892
RANDOM SEED=166543017

node012.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.248
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.49
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.248
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1823724 kB
Buffers:         28068 kB
Cached:         114220 kB
SwapCached:       7184 kB
Active:         114464 kB
Inactive:        42084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1823724 kB
SwapTotal:     4192956 kB
SwapFree:      4139620 kB
Dirty:           14816 kB
Writeback:           0 kB
AnonPages:       11552 kB
Mapped:          12248 kB
Slab:            56832 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62480 MiB
End job on node012 at 2010-07-08 05:37:16