Trace number 2683245

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.47 1801.13

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb
MD5SUM57471a5ce832e5ebd253498616527363
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4927
Best CPU time to get the best result obtained on this benchmark2.41363
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5630
Total number of constraints25603
Number of constraints which are clauses25332
Number of constraints which are cardinality constraints (but not clauses)271
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2111
Biggest coefficient in the objective function 1562
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 862222
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1562
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 862222
Number of bits of the biggest sum of numbers20
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2683245-1277508483.opb>
0.39/0.46	c original problem has 5630 variables (5630 bin, 0 int, 0 impl, 0 cont) and 25603 constraints
0.39/0.46	c problem read
0.39/0.46	c presolving settings loaded
0.39/0.46	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.49/0.58	c presolving:
0.69/0.76	c (round 1) 632 del vars, 1246 del conss, 17 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 59658 impls, 268 clqs
0.79/0.81	c (round 2) 742 del vars, 1517 del conss, 48 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 67858 impls, 267 clqs
0.79/0.86	c (round 3) 1005 del vars, 4462 del conss, 254 chg bounds, 1 chg sides, 5 chg coeffs, 0 upgd conss, 68859 impls, 259 clqs
0.89/0.91	c (round 4) 1649 del vars, 9139 del conss, 317 chg bounds, 8 chg sides, 25 chg coeffs, 0 upgd conss, 70296 impls, 253 clqs
0.89/0.94	c (round 5) 1714 del vars, 9657 del conss, 331 chg bounds, 12 chg sides, 30 chg coeffs, 0 upgd conss, 70805 impls, 253 clqs
0.89/0.96	c (round 6) 1736 del vars, 9737 del conss, 331 chg bounds, 12 chg sides, 31 chg coeffs, 0 upgd conss, 70807 impls, 253 clqs
0.89/0.98	c (round 7) 1742 del vars, 9749 del conss, 331 chg bounds, 12 chg sides, 31 chg coeffs, 0 upgd conss, 70807 impls, 253 clqs
0.99/1.00	c (round 8) 1743 del vars, 9750 del conss, 331 chg bounds, 12 chg sides, 31 chg coeffs, 0 upgd conss, 70807 impls, 253 clqs
1.10/1.19	c (round 9) 1743 del vars, 11224 del conss, 331 chg bounds, 12 chg sides, 31 chg coeffs, 14336 upgd conss, 70807 impls, 253 clqs
1.19/1.25	c (round 10) 1751 del vars, 11233 del conss, 331 chg bounds, 12 chg sides, 31 chg coeffs, 14336 upgd conss, 70807 impls, 253 clqs
1.19/1.29	c (round 11) 1751 del vars, 11234 del conss, 331 chg bounds, 13 chg sides, 31 chg coeffs, 14336 upgd conss, 70807 impls, 253 clqs
1.29/1.31	c (round 12) 1752 del vars, 11235 del conss, 331 chg bounds, 13 chg sides, 31 chg coeffs, 14369 upgd conss, 70807 impls, 253 clqs
1.29/1.36	c (round 13) 1752 del vars, 11237 del conss, 331 chg bounds, 13 chg sides, 31 chg coeffs, 14370 upgd conss, 70807 impls, 253 clqs
1.59/1.69	c (round 14) 1802 del vars, 11237 del conss, 331 chg bounds, 13 chg sides, 31 chg coeffs, 14370 upgd conss, 89882 impls, 251 clqs
1.69/1.71	c (round 15) 1804 del vars, 11287 del conss, 332 chg bounds, 13 chg sides, 31 chg coeffs, 14370 upgd conss, 89889 impls, 251 clqs
1.69/1.73	c (round 16) 1805 del vars, 11289 del conss, 332 chg bounds, 13 chg sides, 31 chg coeffs, 14370 upgd conss, 89889 impls, 251 clqs
1.99/2.03	c (round 17) 1855 del vars, 11290 del conss, 332 chg bounds, 13 chg sides, 31 chg coeffs, 14370 upgd conss, 92297 impls, 250 clqs
1.99/2.05	c (round 18) 1855 del vars, 11297 del conss, 332 chg bounds, 14 chg sides, 31 chg coeffs, 14370 upgd conss, 92297 impls, 250 clqs
2.29/2.36	c (round 19) 1906 del vars, 11297 del conss, 332 chg bounds, 14 chg sides, 31 chg coeffs, 14370 upgd conss, 96187 impls, 246 clqs
2.29/2.38	c (round 20) 1906 del vars, 11317 del conss, 332 chg bounds, 14 chg sides, 31 chg coeffs, 14370 upgd conss, 96187 impls, 246 clqs
2.39/2.42	c (round 21) 1906 del vars, 11318 del conss, 332 chg bounds, 15 chg sides, 31 chg coeffs, 14370 upgd conss, 96187 impls, 246 clqs
2.49/2.56	c    (1.8s) probing: 1000/3878 (25.8%) - 18 fixings, 163 aggregations, 5572 implications, 0 bound changes
2.59/2.62	c (round 22) 1956 del vars, 11318 del conss, 332 chg bounds, 15 chg sides, 31 chg coeffs, 14370 upgd conss, 98081 impls, 244 clqs
2.69/2.71	c (round 23) 1956 del vars, 11355 del conss, 332 chg bounds, 16 chg sides, 31 chg coeffs, 14370 upgd conss, 98081 impls, 244 clqs
2.89/2.96	c (round 24) 2006 del vars, 11355 del conss, 332 chg bounds, 16 chg sides, 31 chg coeffs, 14370 upgd conss, 100391 impls, 243 clqs
2.89/2.99	c (round 25) 2007 del vars, 11366 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 100393 impls, 243 clqs
3.09/3.15	c (round 26) 2057 del vars, 11366 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 101171 impls, 242 clqs
3.09/3.17	c (round 27) 2057 del vars, 11395 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 101171 impls, 242 clqs
3.29/3.32	c    (2.5s) probing: 2000/3878 (51.6%) - 28 fixings, 307 aggregations, 7418 implications, 0 bound changes
3.29/3.35	c (round 28) 2107 del vars, 11395 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 101591 impls, 242 clqs
3.29/3.38	c (round 29) 2108 del vars, 11397 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 101591 impls, 241 clqs
3.49/3.53	c (round 30) 2158 del vars, 11397 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 102592 impls, 241 clqs
3.49/3.56	c (round 31) 2160 del vars, 11409 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 102612 impls, 241 clqs
3.69/3.74	c (round 32) 2210 del vars, 11409 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 104050 impls, 241 clqs
3.69/3.76	c (round 33) 2210 del vars, 11424 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 104050 impls, 241 clqs
3.89/3.97	c    (3.1s) probing: 3000/3878 (77.4%) - 46 fixings, 446 aggregations, 9691 implications, 0 bound changes
3.89/3.98	c (round 34) 2260 del vars, 11424 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 106080 impls, 241 clqs
3.99/4.01	c (round 35) 2261 del vars, 11453 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 106082 impls, 241 clqs
4.29/4.36	c (round 36) 2311 del vars, 11454 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 113366 impls, 241 clqs
4.29/4.39	c (round 37) 2341 del vars, 11559 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 113652 impls, 241 clqs
4.40/4.47	c (round 38) 2341 del vars, 11571 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 113652 impls, 241 clqs
4.58/4.61	c (round 39) 2363 del vars, 11571 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 116278 impls, 241 clqs
4.58/4.64	c (round 40) 2385 del vars, 11615 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 116348 impls, 241 clqs
4.69/4.73	c (round 41) 2385 del vars, 11652 del conss, 332 chg bounds, 17 chg sides, 31 chg coeffs, 14370 upgd conss, 116348 impls, 241 clqs
4.69/4.77	c presolving (42 rounds):
4.69/4.77	c  2385 deleted vars, 11652 deleted constraints, 332 tightened bounds, 0 added holes, 17 changed sides, 31 changed coefficients
4.69/4.77	c  116348 implications, 241 cliques
4.69/4.77	c presolved problem has 3245 variables (3245 bin, 0 int, 0 impl, 0 cont) and 13954 constraints
4.69/4.77	c     241 constraints of type <setppc>
4.69/4.77	c   13713 constraints of type <logicor>
4.69/4.77	c transformed objective value is always integral (scale: 1)
4.69/4.77	c Presolving Time: 3.76
4.69/4.77	c - non default parameters ----------------------------------------------------------------------
4.69/4.77	c # SCIP version 1.2.1.2
4.69/4.77	c 
4.69/4.77	c # frequency for displaying node information lines
4.69/4.77	c # [type: int, range: [-1,2147483647], default: 100]
4.69/4.77	c display/freq = 10000
4.69/4.77	c 
4.69/4.77	c # maximal time in seconds to run
4.69/4.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.69/4.77	c limits/time = 1799.55
4.69/4.77	c 
4.69/4.77	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.69/4.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.69/4.77	c limits/memory = 1620
4.69/4.77	c 
4.69/4.77	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.69/4.77	c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.77	c lp/solvefreq = -1
4.69/4.77	c 
4.69/4.77	c # should presolving try to simplify inequalities
4.69/4.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.77	c constraints/linear/simplifyinequalities = TRUE
4.69/4.77	c 
4.69/4.77	c # should presolving try to simplify knapsacks
4.69/4.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.77	c constraints/knapsack/simplifyinequalities = TRUE
4.69/4.77	c 
4.69/4.77	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.69/4.77	c # [type: int, range: [-1,2147483647], default: -1]
4.69/4.77	c separating/rapidlearning/freq = 0
4.69/4.77	c 
4.69/4.77	c -----------------------------------------------------------------------------------------------
4.69/4.77	c start solving
4.69/4.78	c 
4.69/4.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.69/4.79	c   3.8s|     1 |     2 |     0 |     - |  29M|   0 |   - |3245 |  13k|   0 |   0 |   0 |   0 |   0 | 1.940000e+02 |      --      |    Inf 
102.34/102.48	c   101s| 10000 |  9951 |     0 |   0.0 |  36M|  93 |   - |3245 |  13k|   0 |   0 |   0 |  31 |   0 | 3.341000e+03 |      --      |    Inf 
197.32/197.41	c   196s| 20000 | 19917 |     0 |   0.0 |  42M| 111 |   - |3245 |  14k|   0 |   0 |   0 |  48 |   0 | 3.343000e+03 |      --      |    Inf 
288.68/288.80	c   287s| 30000 | 29895 |     0 |   0.0 |  48M| 157 |   - |3245 |  14k|   0 |   0 |   0 |  59 |   0 | 3.343000e+03 |      --      |    Inf 
379.26/379.47	c   377s| 40000 | 39883 |     0 |   0.0 |  53M| 157 |   - |3245 |  14k|   0 |   0 |   0 |  66 |   0 | 3.344000e+03 |      --      |    Inf 
470.41/470.69	c   468s| 50000 | 49871 |     0 |   0.0 |  59M| 157 |   - |3245 |  14k|   0 |   0 |   0 |  72 |   0 | 3.344000e+03 |      --      |    Inf 
560.99/561.22	c   558s| 60000 | 59865 |     0 |   0.0 |  64M| 157 |   - |3245 |  14k|   0 |   0 |   0 |  75 |   0 | 3.344000e+03 |      --      |    Inf 
652.35/652.65	c   649s| 70000 | 69859 |     0 |   0.0 |  70M| 157 |   - |3245 |  14k|   0 |   0 |   0 |  79 |   0 | 3.345000e+03 |      --      |    Inf 
740.82/741.20	c   737s| 80000 | 79859 |     0 |   0.0 |  75M| 157 |   - |3245 |  14k|   0 |   0 |   0 |  79 |   0 | 3.345000e+03 |      --      |    Inf 
829.99/830.35	c   826s| 90000 | 89855 |     0 |   0.0 |  81M| 157 |   - |3245 |  14k|   0 |   0 |   0 |  81 |   0 | 3.345000e+03 |      --      |    Inf 
918.45/918.87	c   914s|100000 | 99855 |     0 |   0.0 |  86M| 157 |   - |3245 |  14k|   0 |   0 |   0 |  81 |   0 | 3.345000e+03 |      --      |    Inf 
1005.52/1005.98	c  1001s|110000 |109841 |     0 |   0.0 |  92M| 221 |   - |3245 |  14k|   0 |   0 |   0 |  89 |   0 | 3.346000e+03 |      --      |    Inf 
1092.19/1092.67	c  1087s|120000 |119839 |     0 |   0.0 |  97M| 221 |   - |3245 |  14k|   0 |   0 |   0 |  91 |   0 | 3.346000e+03 |      --      |    Inf 
1177.76/1178.24	c  1173s|130000 |129827 |     0 |   0.0 | 102M| 221 |   - |3245 |  14k|   0 |   0 |   0 | 101 |   0 | 3.346000e+03 |      --      |    Inf 
1261.93/1262.41	c  1256s|140000 |139825 |     0 |   0.0 | 107M| 221 |   - |3245 |  14k|   0 |   0 |   0 | 104 |   0 | 3.346000e+03 |      --      |    Inf 
1345.49/1346.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1345.49/1346.08	c  1340s|150000 |149821 |     0 |   0.0 | 112M| 221 |   - |3245 |  14k|   0 |   0 |   0 | 107 |   0 | 3.346000e+03 |      --      |    Inf 
1425.86/1426.41	c  1420s|160000 |159799 |     0 |   0.0 | 117M| 225 |   - |3245 |  14k|   0 |   0 |   0 | 124 |   0 | 3.346000e+03 |      --      |    Inf 
1510.84/1511.49	c  1505s|170000 |169799 |     0 |   0.0 | 122M| 225 |   - |3245 |  14k|   0 |   0 |   0 | 124 |   0 | 3.346000e+03 |      --      |    Inf 
1594.80/1595.46	c  1588s|180000 |179797 |     0 |   0.0 | 128M| 225 |   - |3245 |  14k|   0 |   0 |   0 | 125 |   0 | 3.346000e+03 |      --      |    Inf 
1678.07/1678.71	c  1671s|190000 |189797 |     0 |   0.0 | 133M| 225 |   - |3245 |  14k|   0 |   0 |   0 | 125 |   0 | 3.346000e+03 |      --      |    Inf 
1760.35/1761.03	c  1753s|200000 |199795 |     0 |   0.0 | 138M| 225 |   - |3245 |  14k|   0 |   0 |   0 | 126 |   0 | 3.346000e+03 |      --      |    Inf 
1800.04/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.71	c 
1800.04/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.71	c Solving Time (sec) : 1792.60
1800.04/1800.71	c Solving Nodes      : 204906
1800.04/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.71	c Dual Bound         : +3.34600000000000e+03
1800.04/1800.71	c Gap                : infinite
1800.04/1800.71	s UNKNOWN
1800.04/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.71	c Solving Time       :    1792.60
1800.04/1800.71	c Original Problem   :
1800.04/1800.71	c   Problem name     : HOME/instance-2683245-1277508483.opb
1800.04/1800.71	c   Variables        : 5630 (5630 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71	c   Constraints      : 25603 initial, 25603 maximal
1800.04/1800.71	c Presolved Problem  :
1800.04/1800.71	c   Problem name     : t_HOME/instance-2683245-1277508483.opb
1800.04/1800.71	c   Variables        : 3245 (3245 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71	c   Constraints      : 13954 initial, 14050 maximal
1800.04/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.71	c   trivial          :       0.02          9          0          0          0          0          0          0          0
1800.04/1800.71	c   dualfix          :       0.03        575          0          0          0          0          0          0          0
1800.04/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   implics          :       0.04          0        177          0          0          0          0          0          0
1800.04/1800.71	c   probing          :       2.15        113        460          0          0          0          0          0          0
1800.04/1800.71	c   setppc           :       0.04          1          0          0          0          0         15          4          0
1800.04/1800.71	c   linear           :       0.37        323        726          0        331          0      11233         13         31
1800.04/1800.71	c   logicor          :       0.99          1          0          0          1          0        404          0          0
1800.04/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.71	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.71	c   setppc           :        241          0     616882          0     204803         33      59386          0          0          0
1800.04/1800.71	c   logicor          :      13713+         0     569097          0     204803        168    1089580          0          0          0
1800.04/1800.71	c   countsols        :          0          0          0          0     204803          0          0          0          0          0
1800.04/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.71	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.71	c   setppc           :      33.41       0.00       9.15       0.00      24.26
1800.04/1800.71	c   logicor          :    1407.34       0.00      12.39       0.00    1394.95
1800.04/1800.71	c   countsols        :       0.24       0.00       0.00       0.00       0.24
1800.04/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.71	c   vbounds          :       0.40          2          0          0
1800.04/1800.71	c   rootredcost      :       0.42          0          0          0
1800.04/1800.71	c   pseudoobj        :      72.30     606099          0          0
1800.04/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.71	c   propagation      :       0.00        103        103        115        2.7         13        2.8          -
1800.04/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.71	c   applied globally :          -          -          -        126        2.6          -          -          -
1800.04/1800.71	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.71	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.71	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.71	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.71	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.71	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.71	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.71	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.71	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.71	c Pricers            :       Time      Calls       Vars
1800.04/1800.71	c   problem variables:       0.00          0          0
1800.04/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.71	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   inference        :     247.77     204803          0          0          0          0     409606
1800.04/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.72	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.72	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.72	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.72	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.72	c   LP solutions     :       0.00          -          0
1800.04/1800.72	c   pseudo solutions :       0.00          -          0
1800.04/1800.72	c   oneopt           :       0.14          0          0
1800.04/1800.72	c   trivial          :       0.01          2          0
1800.04/1800.72	c   simplerounding   :       0.00          0          0
1800.04/1800.72	c   zirounding       :       0.00          0          0
1800.04/1800.72	c   rounding         :       0.00          0          0
1800.04/1800.72	c   shifting         :       0.00          0          0
1800.04/1800.72	c   intshifting      :       0.00          0          0
1800.04/1800.72	c   twoopt           :       0.00          0          0
1800.04/1800.72	c   fixandinfer      :       0.00          0          0
1800.04/1800.72	c   feaspump         :       0.00          0          0
1800.04/1800.72	c   coefdiving       :       0.00          0          0
1800.04/1800.72	c   pscostdiving     :       0.00          0          0
1800.04/1800.72	c   fracdiving       :       0.00          0          0
1800.04/1800.72	c   veclendiving     :       0.00          0          0
1800.04/1800.72	c   intdiving        :       0.00          0          0
1800.04/1800.72	c   actconsdiving    :       0.00          0          0
1800.04/1800.72	c   objpscostdiving  :       0.00          0          0
1800.04/1800.72	c   rootsoldiving    :       0.00          0          0
1800.04/1800.72	c   linesearchdiving :       0.00          0          0
1800.04/1800.72	c   guideddiving     :       0.00          0          0
1800.04/1800.72	c   octane           :       0.00          0          0
1800.04/1800.72	c   rens             :       0.00          0          0
1800.04/1800.72	c   rins             :       0.00          0          0
1800.04/1800.72	c   localbranching   :       0.00          0          0
1800.04/1800.72	c   mutation         :       0.00          0          0
1800.04/1800.72	c   crossover        :       0.00          0          0
1800.04/1800.72	c   dins             :       0.00          0          0
1800.04/1800.72	c   undercover       :       0.00          0          0
1800.04/1800.72	c   nlp              :       0.24          0          0
1800.04/1800.72	c   trysol           :       0.06          0          0
1800.04/1800.72	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.72	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.72	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.72	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.72	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.72	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.72	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.72	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.72	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.72	c B&B Tree           :
1800.04/1800.72	c   number of runs   :          1
1800.04/1800.72	c   nodes            :     204906
1800.04/1800.72	c   nodes (total)    :     204906
1800.04/1800.72	c   nodes left       :     204701
1800.04/1800.72	c   max depth        :        225
1800.04/1800.72	c   max depth (total):        225
1800.04/1800.72	c   backtracks       :       2393 (1.2%)
1800.04/1800.72	c   delayed cutoffs  :          0
1800.04/1800.72	c   repropagations   :       4012 (256 domain reductions, 0 cutoffs)
1800.04/1800.72	c   avg switch length:       2.45
1800.04/1800.72	c   switching time   :      11.94
1800.04/1800.72	c Solution           :
1800.04/1800.72	c   Solutions found  :          0 (0 improvements)
1800.04/1800.72	c   Primal Bound     :          -
1800.04/1800.72	c   Dual Bound       : +3.34600000000000e+03
1800.04/1800.72	c   Gap              :   infinite
1800.04/1800.72	c   Root Dual Bound  : +1.94000000000000e+02
1800.04/1800.72	c   Root Iterations  :          0
1800.43/1801.12	c Time complete: 1800.45.

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-2683245-1277508483/watcher-2683245-1277508483 -o /tmp/evaluation-result-2683245-1277508483/solver-2683245-1277508483 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683245-1277508483.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.10 1.09 1.04 3/106 25831
/proc/meminfo: memFree=1846324/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=5556 CPUtime=0
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 886 0 0 0 0 0 0 0 18 0 1 0 126449902 5689344 809 1992294400 4194304 7136930 140733867521376 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25831/statm: 1389 809 249 719 0 668 0

[startup+0.0809979 s]
/proc/loadavg: 1.10 1.09 1.04 3/106 25831
/proc/meminfo: memFree=1846324/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=12336 CPUtime=0.07
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 2570 0 0 0 7 0 0 0 20 0 1 0 126449902 12632064 2492 1992294400 4194304 7136930 140733867521376 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25831/statm: 3084 2492 271 719 0 2363 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12336

[startup+0.101002 s]
/proc/loadavg: 1.10 1.09 1.04 3/106 25831
/proc/meminfo: memFree=1846324/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=13988 CPUtime=0.09
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 2974 0 0 0 9 0 0 0 20 0 1 0 126449902 14323712 2896 1992294400 4194304 7136930 140733867521376 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25831/statm: 3497 2896 271 719 0 2776 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13988

[startup+0.301044 s]
/proc/loadavg: 1.10 1.09 1.04 3/106 25831
/proc/meminfo: memFree=1846324/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=19876 CPUtime=0.29
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 4475 0 0 0 28 1 0 0 20 0 1 0 126449902 20353024 4397 1992294400 4194304 7136930 140733867521376 18446744073709551615 4640689 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25831/statm: 4969 4397 271 719 0 4248 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19876

[startup+0.70113 s]
/proc/loadavg: 1.10 1.09 1.04 3/106 25831
/proc/meminfo: memFree=1846324/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=49272 CPUtime=0.69
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 11868 0 0 0 63 6 0 0 21 0 1 0 126449902 50454528 11428 1992294400 4194304 7136930 140733867521376 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 12318 11441 344 719 0 11597 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49272

[startup+1.5013 s]
/proc/loadavg: 1.10 1.09 1.04 2/107 25832
/proc/meminfo: memFree=1799072/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=56388 CPUtime=1.49
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 19474 0 0 0 128 21 0 0 23 0 1 0 126449902 57741312 13318 1992294400 4194304 7136930 140733867521376 18446744073709551615 5497096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 14097 13318 370 719 0 13376 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56388

[startup+3.10164 s]
/proc/loadavg: 1.09 1.09 1.04 2/107 25832
/proc/meminfo: memFree=1792748/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=58580 CPUtime=3.09
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 25808 0 0 0 275 34 0 0 25 0 1 0 126449902 59985920 13840 1992294400 4194304 7136930 140733867521376 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 14645 13840 376 719 0 13924 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58580

[startup+6.30132 s]
/proc/loadavg: 1.09 1.09 1.04 2/107 25832
/proc/meminfo: memFree=1790888/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=59608 CPUtime=6.29
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 33627 0 0 0 578 51 0 0 25 0 1 0 126449902 61038592 14113 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 14902 14113 392 719 0 14181 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59608

[startup+12.7017 s]
/proc/loadavg: 1.08 1.08 1.03 2/107 25832
/proc/meminfo: memFree=1790764/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=59748 CPUtime=12.69
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 33682 0 0 0 1215 54 0 0 25 0 1 0 126449902 61181952 14168 1992294400 4194304 7136930 140733867521376 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 14937 14168 392 719 0 14216 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59748

[startup+25.5014 s]
/proc/loadavg: 1.07 1.08 1.03 2/107 25832
/proc/meminfo: memFree=1789276/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=61372 CPUtime=25.48
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 34069 0 0 0 2489 59 0 0 25 0 1 0 126449902 62844928 14555 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 15343 14555 392 719 0 14622 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 61372

[startup+51.1009 s]
/proc/loadavg: 1.04 1.07 1.03 2/107 25832
/proc/meminfo: memFree=1787168/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=63320 CPUtime=51.07
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 34569 0 0 0 5040 67 0 0 25 0 1 0 126449902 64839680 15055 1992294400 4194304 7136930 140733867521376 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 15830 15055 392 719 0 15109 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 63320

[startup+102.309 s]
/proc/loadavg: 1.02 1.06 1.03 2/107 25834
/proc/meminfo: memFree=1783696/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=66616 CPUtime=102.25
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 35425 0 0 0 10141 84 0 0 25 0 1 0 126449902 68214784 15911 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 16654 15911 392 719 0 15933 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 66616

[startup+162.301 s]
/proc/loadavg: 1.00 1.05 1.02 2/107 25836
/proc/meminfo: memFree=1777496/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=72608 CPUtime=162.23
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 36950 0 0 0 16117 106 0 0 25 0 1 0 126449902 74350592 17436 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 18152 17436 392 719 0 17431 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 72608

[startup+222.3 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 25838
/proc/meminfo: memFree=1773900/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=75984 CPUtime=222.21
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 37814 0 0 0 22094 127 0 0 25 0 1 0 126449902 77807616 18300 1992294400 4194304 7136930 140733867521376 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 18996 18300 392 719 0 18275 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 75984

[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 25838
/proc/meminfo: memFree=1770428/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=79412 CPUtime=282.18
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 38697 0 0 0 28071 147 0 0 25 0 1 0 126449902 81317888 19183 1992294400 4194304 7136930 140733867521376 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 19853 19183 392 719 0 19132 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 79412

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 25840
/proc/meminfo: memFree=1766584/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=83448 CPUtime=342.16
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 39706 0 0 0 34045 171 0 0 25 0 1 0 126449902 85450752 20192 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 20862 20192 392 719 0 20141 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 83448

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25842
/proc/meminfo: memFree=1761748/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=87896 CPUtime=402.14
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 40843 0 0 0 40020 194 0 0 25 0 1 0 126449902 90005504 21329 1992294400 4194304 7136930 140733867521376 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 21974 21329 392 719 0 21253 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 87896

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25844
/proc/meminfo: memFree=1756292/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=93180 CPUtime=462.11
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 42177 0 0 0 45996 215 0 0 25 0 1 0 126449902 95416320 22663 1992294400 4194304 7136930 140733867521376 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 23295 22663 392 719 0 22574 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 93180

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25846
/proc/meminfo: memFree=1751704/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=97508 CPUtime=522.09
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 43303 0 0 0 51973 236 0 0 25 0 1 0 126449902 99848192 23789 1992294400 4194304 7136930 140733867521376 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 24377 23789 392 719 0 23656 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 97508

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25846
/proc/meminfo: memFree=1749844/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=99320 CPUtime=582.07
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 43764 0 0 0 57949 258 0 0 25 0 1 0 126449902 101703680 24250 1992294400 4194304 7136930 140733867521376 18446744073709551615 5507249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 24830 24250 392 719 0 24109 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 99320

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25848
/proc/meminfo: memFree=1746124/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=104840 CPUtime=642.05
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 44669 0 0 0 63926 279 0 0 25 0 1 0 126449902 107356160 25155 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697099 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 26210 25155 392 719 0 25489 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 104840

[startup+702.301 s]

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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25856
/proc/meminfo: memFree=1723060/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=126920 CPUtime=941.94
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 50343 0 0 0 93802 392 0 0 25 0 1 0 126449902 129966080 30829 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 31730 30829 392 719 0 31009 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 126920

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25858
/proc/meminfo: memFree=1719836/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=130096 CPUtime=1001.92
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 51126 0 0 0 99779 413 0 0 25 0 1 0 126449902 133218304 31612 1992294400 4194304 7136930 140733867521376 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 32524 31612 392 719 0 31803 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 130096

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25860
/proc/meminfo: memFree=1717976/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=131844 CPUtime=1061.9
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 51622 0 0 0 105757 433 0 0 25 0 1 0 126449902 135008256 32108 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 32961 32108 392 719 0 32240 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 131844

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25862
/proc/meminfo: memFree=1714256/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=135448 CPUtime=1121.88
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 52524 0 0 0 111732 456 0 0 25 0 1 0 126449902 138698752 33010 1992294400 4194304 7136930 140733867521376 18446744073709551615 5005114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 33862 33010 392 719 0 33141 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 135448

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25862
/proc/meminfo: memFree=1711528/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=137984 CPUtime=1181.86
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 53184 0 0 0 117708 478 0 0 25 0 1 0 126449902 141295616 33670 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 34496 33670 392 719 0 33775 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 137984

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25864
/proc/meminfo: memFree=1706320/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=143004 CPUtime=1241.83
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 54468 0 0 0 123684 499 0 0 25 0 1 0 126449902 146436096 34954 1992294400 4194304 7136930 140733867521376 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 35751 34954 392 719 0 35030 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 143004

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25866
/proc/meminfo: memFree=1703220/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=145712 CPUtime=1301.82
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 55203 0 0 0 129662 520 0 0 25 0 1 0 126449902 149209088 35689 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 36428 35689 392 719 0 35707 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 145712

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25868
/proc/meminfo: memFree=1699252/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=149636 CPUtime=1361.79
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 56212 0 0 0 135636 543 0 0 25 0 1 0 126449902 153227264 36698 1992294400 4194304 7136930 140733867521376 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 37409 36698 392 719 0 36688 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 149636

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25870
/proc/meminfo: memFree=1697392/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=151468 CPUtime=1421.77
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 56667 0 0 0 141612 565 0 0 25 0 1 0 126449902 155103232 37153 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 37867 37153 392 719 0 37146 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 151468

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25870
/proc/meminfo: memFree=1694788/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=154712 CPUtime=1481.74
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 57537 0 0 0 147589 585 0 0 25 0 1 0 126449902 158425088 38023 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 38678 38023 392 719 0 37957 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 154712

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25872
/proc/meminfo: memFree=1688960/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=159556 CPUtime=1541.72
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 58757 0 0 0 153564 608 0 0 25 0 1 0 126449902 163385344 39243 1992294400 4194304 7136930 140733867521376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 39889 39243 392 719 0 39168 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 159556

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25874
/proc/meminfo: memFree=1683752/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=164668 CPUtime=1601.71
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 60065 0 0 0 159541 630 0 0 25 0 1 0 126449902 168620032 40551 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 41167 40551 392 719 0 40446 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 164668

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25876
/proc/meminfo: memFree=1678544/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=169688 CPUtime=1661.68
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 61348 0 0 0 165516 652 0 0 25 0 1 0 126449902 173760512 41834 1992294400 4194304 7136930 140733867521376 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 42422 41834 392 719 0 41701 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 169688

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25878
/proc/meminfo: memFree=1677180/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=170832 CPUtime=1721.66
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 61663 0 0 0 171493 673 0 0 25 0 1 0 126449902 174931968 42149 1992294400 4194304 7136930 140733867521376 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 42708 42149 392 719 0 41987 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 170832

[startup+1782.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 25878
/proc/meminfo: memFree=1672592/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=179160 CPUtime=1781.64
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 62748 0 0 0 177470 694 0 0 25 0 1 0 126449902 183459840 43234 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 44790 43234 392 719 0 44069 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 179160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 25880
/proc/meminfo: memFree=1670360/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=181348 CPUtime=1800.04
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 63303 0 0 0 179303 701 0 0 25 0 1 0 126449902 185700352 43789 1992294400 4194304 7136930 140733867521376 18446744073709551615 4697422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25831/statm: 45337 43789 392 719 0 44616 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 181348

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 25880
/proc/meminfo: memFree=1670360/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=178116 CPUtime=1800.33
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 63308 0 0 0 179332 701 0 0 25 0 1 0 126449902 182390784 42986 1992294400 4194304 7136930 140733867521376 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25831/statm: 44529 42986 397 719 0 43808 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 178116

[startup+1801.1 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 25880
/proc/meminfo: memFree=1670360/2059040 swapFree=4139124/4192956
[pid=25831] ppid=25829 vsize=69772 CPUtime=1800.43
/proc/25831/stat : 25831 (pbscip.linux.x8) R 25829 25831 25718 0 -1 4202496 63308 0 0 0 179340 703 0 0 25 0 1 0 126449902 71446528 16657 1992294400 4194304 7136930 140733867521376 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25831/statm: 17187 16657 397 719 0 16466 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 69772

Child status: 0
Real time (s): 1801.13
CPU time (s): 1800.47
CPU user time (s): 1793.43
CPU system time (s): 7.03893
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 181348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.43
system time used= 7.03893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63315
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= 4
involuntary context switches= 6643

runsolver used 2.92855 second user time and 8.5517 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-26 01:28:03
IDJOB=2683245
IDBENCH=72097
IDSOLVER=1167
FILE ID=node010/2683245-1277508483
PBS_JOBID= 11190643
Free space on /tmp= 62388 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683245-1277508483/watcher-2683245-1277508483 -o /tmp/evaluation-result-2683245-1277508483/solver-2683245-1277508483 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683245-1277508483.opb -t 1800 -m 1800

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

MD5SUM BENCH= 57471a5ce832e5ebd253498616527363
RANDOM SEED=165410987

node010.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.267
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.267
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:       1846852 kB
Buffers:         20476 kB
Cached:          97468 kB
SwapCached:       6008 kB
Active:          71964 kB
Inactive:        58656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1846852 kB
SwapTotal:     4192956 kB
SwapFree:      4139124 kB
Dirty:            4024 kB
Writeback:           0 kB
AnonPages:       11396 kB
Mapped:          11916 kB
Slab:            59460 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184428 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= 62388 MiB
End job on node010 at 2010-06-26 01:58:05