Trace number 2683297

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.41 1800.91

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand4b919e.cudf.paranoid.opb
MD5SUM1291befe507875936d488bb8750ed287
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5116
Best CPU time to get the best result obtained on this benchmark2.46962
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5868
Total number of constraints26331
Number of constraints which are clauses26037
Number of constraints which are cardinality constraints (but not clauses)294
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 2183
Biggest coefficient in the objective function 1634
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 901966
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1634
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 901966
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-2683297-1277508666.opb>
0.39/0.48	c original problem has 5868 variables (5868 bin, 0 int, 0 impl, 0 cont) and 26331 constraints
0.39/0.48	c problem read
0.39/0.48	c presolving settings loaded
0.39/0.48	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.59/0.61	c presolving:
0.69/0.79	c (round 1) 650 del vars, 1330 del conss, 33 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 56288 impls, 288 clqs
0.79/0.84	c (round 2) 738 del vars, 1686 del conss, 59 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 63795 impls, 287 clqs
0.79/0.88	c (round 3) 867 del vars, 3881 del conss, 149 chg bounds, 0 chg sides, 5 chg coeffs, 0 upgd conss, 64519 impls, 282 clqs
0.89/0.93	c (round 4) 1545 del vars, 7273 del conss, 227 chg bounds, 5 chg sides, 22 chg coeffs, 0 upgd conss, 65511 impls, 275 clqs
0.89/0.97	c (round 5) 1606 del vars, 8810 del conss, 243 chg bounds, 11 chg sides, 40 chg coeffs, 0 upgd conss, 65649 impls, 275 clqs
0.89/0.99	c (round 6) 1631 del vars, 9025 del conss, 247 chg bounds, 11 chg sides, 41 chg coeffs, 0 upgd conss, 65662 impls, 275 clqs
0.99/1.01	c (round 7) 1635 del vars, 9031 del conss, 247 chg bounds, 11 chg sides, 41 chg coeffs, 0 upgd conss, 65698 impls, 275 clqs
0.99/1.03	c (round 8) 1636 del vars, 9032 del conss, 247 chg bounds, 11 chg sides, 41 chg coeffs, 0 upgd conss, 65698 impls, 275 clqs
1.20/1.23	c (round 9) 1636 del vars, 10574 del conss, 247 chg bounds, 11 chg sides, 41 chg coeffs, 15724 upgd conss, 65698 impls, 275 clqs
1.20/1.29	c (round 10) 1640 del vars, 10578 del conss, 247 chg bounds, 11 chg sides, 41 chg coeffs, 15724 upgd conss, 65698 impls, 275 clqs
1.29/1.35	c (round 11) 1640 del vars, 10579 del conss, 247 chg bounds, 11 chg sides, 41 chg coeffs, 15752 upgd conss, 65698 impls, 275 clqs
1.69/1.71	c (round 12) 1690 del vars, 10579 del conss, 247 chg bounds, 11 chg sides, 41 chg coeffs, 15753 upgd conss, 95615 impls, 272 clqs
1.69/1.74	c (round 13) 1692 del vars, 10624 del conss, 247 chg bounds, 11 chg sides, 41 chg coeffs, 15753 upgd conss, 95655 impls, 272 clqs
2.09/2.19	c (round 14) 1742 del vars, 10624 del conss, 248 chg bounds, 11 chg sides, 41 chg coeffs, 15753 upgd conss, 99950 impls, 272 clqs
2.19/2.22	c (round 15) 1742 del vars, 10647 del conss, 248 chg bounds, 11 chg sides, 41 chg coeffs, 15753 upgd conss, 99950 impls, 272 clqs
2.49/2.59	c (round 16) 1792 del vars, 10647 del conss, 248 chg bounds, 11 chg sides, 41 chg coeffs, 15753 upgd conss, 103657 impls, 270 clqs
2.59/2.62	c (round 17) 1795 del vars, 10664 del conss, 248 chg bounds, 11 chg sides, 41 chg coeffs, 15753 upgd conss, 103668 impls, 270 clqs
2.59/2.67	c (round 18) 1796 del vars, 10665 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 103668 impls, 270 clqs
2.89/2.91	c    (2.2s) probing: 1000/4228 (23.7%) - 31 fixings, 145 aggregations, 7376 implications, 1 bound changes
2.99/3.00	c (round 19) 1846 del vars, 10665 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 109784 impls, 269 clqs
2.99/3.03	c (round 20) 1847 del vars, 10672 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 109786 impls, 269 clqs
3.30/3.34	c (round 21) 1897 del vars, 10672 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 113292 impls, 269 clqs
3.30/3.37	c (round 22) 1900 del vars, 10678 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 113298 impls, 269 clqs
3.49/3.58	c (round 23) 1950 del vars, 10678 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 115280 impls, 269 clqs
3.59/3.61	c (round 24) 1950 del vars, 10684 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 115280 impls, 269 clqs
3.69/3.76	c    (2.9s) probing: 2000/4228 (47.3%) - 38 fixings, 282 aggregations, 10508 implications, 1 bound changes
3.79/3.85	c (round 25) 2000 del vars, 10684 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 117214 impls, 269 clqs
3.79/3.87	c (round 26) 2000 del vars, 10688 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 117214 impls, 269 clqs
3.99/4.06	c (round 27) 2050 del vars, 10688 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 118068 impls, 269 clqs
3.99/4.08	c (round 28) 2050 del vars, 10698 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 118068 impls, 269 clqs
4.09/4.17	c (round 29) 2050 del vars, 10702 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 118068 impls, 269 clqs
4.29/4.34	c (round 30) 2100 del vars, 10702 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 118683 impls, 269 clqs
4.29/4.37	c (round 31) 2101 del vars, 10714 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 118713 impls, 269 clqs
4.50/4.57	c    (3.6s) probing: 3000/4228 (71.0%) - 54 fixings, 434 aggregations, 12539 implications, 1 bound changes
4.59/4.63	c (round 32) 2151 del vars, 10714 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 120677 impls, 269 clqs
4.59/4.66	c (round 33) 2156 del vars, 10755 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 120691 impls, 269 clqs
4.69/4.78	c (round 34) 2156 del vars, 10856 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 120691 impls, 269 clqs
4.99/5.04	c (round 35) 2206 del vars, 10856 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 123561 impls, 269 clqs
4.99/5.06	c (round 36) 2214 del vars, 10943 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 123583 impls, 269 clqs
5.09/5.12	c (round 37) 2214 del vars, 10949 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 123583 impls, 269 clqs
5.39/5.44	c    (4.5s) probing: 4000/4228 (94.6%) - 126 fixings, 461 aggregations, 17816 implications, 1 bound changes
5.39/5.47	c (round 38) 2264 del vars, 10949 del conss, 248 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 131217 impls, 269 clqs
5.39/5.49	c (round 39) 2305 del vars, 11060 del conss, 249 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 131904 impls, 269 clqs
5.50/5.51	c (round 40) 2306 del vars, 11062 del conss, 249 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 131904 impls, 269 clqs
5.50/5.56	c (round 41) 2306 del vars, 11065 del conss, 249 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 131904 impls, 269 clqs
5.69/5.70	c (round 42) 2324 del vars, 11065 del conss, 249 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 133970 impls, 269 clqs
5.69/5.72	c (round 43) 2342 del vars, 11101 del conss, 249 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 134034 impls, 269 clqs
5.79/5.81	c (round 44) 2342 del vars, 11142 del conss, 249 chg bounds, 12 chg sides, 41 chg coeffs, 15753 upgd conss, 134034 impls, 269 clqs
5.79/5.86	c presolving (45 rounds):
5.79/5.86	c  2342 deleted vars, 11142 deleted constraints, 249 tightened bounds, 0 added holes, 12 changed sides, 41 changed coefficients
5.79/5.86	c  134034 implications, 269 cliques
5.79/5.86	c presolved problem has 3526 variables (3526 bin, 0 int, 0 impl, 0 cont) and 15190 constraints
5.79/5.86	c     269 constraints of type <setppc>
5.79/5.86	c   14921 constraints of type <logicor>
5.79/5.86	c transformed objective value is always integral (scale: 1)
5.79/5.86	c Presolving Time: 4.75
5.79/5.86	c - non default parameters ----------------------------------------------------------------------
5.79/5.86	c # SCIP version 1.2.1.2
5.79/5.86	c 
5.79/5.86	c # frequency for displaying node information lines
5.79/5.86	c # [type: int, range: [-1,2147483647], default: 100]
5.79/5.86	c display/freq = 10000
5.79/5.86	c 
5.79/5.86	c # maximal time in seconds to run
5.79/5.86	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.79/5.86	c limits/time = 1799.52
5.79/5.86	c 
5.79/5.86	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.79/5.86	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.79/5.86	c limits/memory = 1620
5.79/5.86	c 
5.79/5.86	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.79/5.86	c # [type: int, range: [-1,2147483647], default: 1]
5.79/5.86	c lp/solvefreq = -1
5.79/5.86	c 
5.79/5.86	c # should presolving try to simplify inequalities
5.79/5.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.79/5.86	c constraints/linear/simplifyinequalities = TRUE
5.79/5.86	c 
5.79/5.86	c # should presolving try to simplify knapsacks
5.79/5.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.79/5.86	c constraints/knapsack/simplifyinequalities = TRUE
5.79/5.86	c 
5.79/5.86	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.79/5.86	c # [type: int, range: [-1,2147483647], default: -1]
5.79/5.86	c separating/rapidlearning/freq = 0
5.79/5.86	c 
5.79/5.86	c -----------------------------------------------------------------------------------------------
5.79/5.86	c start solving
5.79/5.87	c 
5.79/5.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.79/5.88	c   4.8s|     1 |     2 |     0 |     - |  31M|   0 |   - |3526 |  15k|   0 |   0 |   0 |   0 |   0 | 1.795000e+03 |      --      |    Inf 
114.16/114.21	c   113s| 10000 |  9925 |     0 |   0.0 |  38M|  71 |   - |3526 |  15k|   0 |   0 |   0 |  46 |   0 | 5.071000e+03 |      --      |    Inf 
220.73/220.81	c   219s| 20000 | 19915 |     0 |   0.0 |  45M|  75 |   - |3526 |  15k|   0 |   0 |   0 |  53 |   0 | 5.073000e+03 |      --      |    Inf 
324.20/324.34	c   322s| 30000 | 29908 |     0 |   0.0 |  52M|  97 |   - |3526 |  15k|   0 |   0 |   0 |  58 |   0 | 5.075000e+03 |      --      |    Inf 
426.38/426.51	c   424s| 40000 | 39890 |     0 |   0.0 |  58M|  97 |   - |3526 |  15k|   0 |   0 |   0 |  72 |   0 | 5.075000e+03 |      --      |    Inf 
527.65/527.85	c   525s| 50000 | 49874 |     0 |   0.0 |  64M| 101 |   - |3526 |  15k|   0 |   0 |   0 |  84 |   0 | 5.076000e+03 |      --      |    Inf 
629.52/629.79	c   627s| 60000 | 59874 |     0 |   0.0 |  70M| 101 |   - |3526 |  15k|   0 |   0 |   0 |  84 |   0 | 5.076000e+03 |      --      |    Inf 
729.79/730.03	c   726s| 70000 | 69838 |     0 |   0.0 |  76M| 107 |   - |3526 |  15k|   0 |   0 |   0 |  95 |   0 | 5.077000e+03 |      --      |    Inf 
830.07/830.34	c   826s| 80000 | 79838 |     0 |   0.0 |  82M| 107 |   - |3526 |  15k|   0 |   0 |   0 |  95 |   0 | 5.077000e+03 |      --      |    Inf 
927.85/928.17	c   924s| 90000 | 89828 |     0 |   0.0 |  88M| 107 |   - |3526 |  15k|   0 |   0 |   0 | 103 |   0 | 5.077000e+03 |      --      |    Inf 
1026.81/1027.16	c  1022s|100000 | 99777 |     0 |   0.0 |  94M| 125 |   - |3526 |  15k|   0 |   0 |   0 | 128 |   0 | 5.078000e+03 |      --      |    Inf 
1126.99/1127.35	c  1122s|110000 |109777 |     0 |   0.0 | 101M| 125 |   - |3526 |  15k|   0 |   0 |   0 | 128 |   0 | 5.078000e+03 |      --      |    Inf 
1224.87/1225.27	c  1220s|120000 |119777 |     0 |   0.0 | 107M| 125 |   - |3526 |  15k|   0 |   0 |   0 | 128 |   0 | 5.078000e+03 |      --      |    Inf 
1321.74/1322.14	c  1316s|130000 |129777 |     0 |   0.0 | 113M| 125 |   - |3526 |  15k|   0 |   0 |   0 | 128 |   0 | 5.078000e+03 |      --      |    Inf 
1421.92/1422.31	c  1416s|140000 |139768 |     0 |   0.0 | 119M| 125 |   - |3526 |  15k|   0 |   0 |   0 | 134 |   0 | 5.078000e+03 |      --      |    Inf 
1524.68/1525.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1524.68/1525.11	c  1519s|150000 |149759 |     0 |   0.0 | 125M| 125 |   - |3526 |  15k|   0 |   0 |   0 | 138 |   0 | 5.079000e+03 |      --      |    Inf 
1626.25/1626.70	c  1620s|160000 |159759 |     0 |   0.0 | 131M| 125 |   - |3526 |  15k|   0 |   0 |   0 | 138 |   0 | 5.079000e+03 |      --      |    Inf 
1726.73/1727.28	c  1720s|170000 |169759 |     0 |   0.0 | 138M| 125 |   - |3526 |  15k|   0 |   0 |   0 | 138 |   0 | 5.079000e+03 |      --      |    Inf 
1800.01/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.51	c 
1800.01/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.51	c Solving Time (sec) : 1793.05
1800.01/1800.51	c Solving Nodes      : 177347
1800.01/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.01/1800.51	c Dual Bound         : +5.07900000000000e+03
1800.01/1800.51	c Gap                : infinite
1800.01/1800.51	s UNKNOWN
1800.01/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.51	c Solving Time       :    1793.05
1800.01/1800.51	c Original Problem   :
1800.01/1800.51	c   Problem name     : HOME/instance-2683297-1277508666.opb
1800.01/1800.51	c   Variables        : 5868 (5868 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 26331 initial, 26331 maximal
1800.01/1800.51	c Presolved Problem  :
1800.01/1800.51	c   Problem name     : t_HOME/instance-2683297-1277508666.opb
1800.01/1800.51	c   Variables        : 3526 (3526 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 15190 initial, 15296 maximal
1800.01/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.51	c   trivial          :       0.05         16          0          0          0          0          0          0          0
1800.01/1800.51	c   dualfix          :       0.04        576          0          0          0          0          0          0          0
1800.01/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   implics          :       0.12          0        195          0          0          0          0          0          0
1800.01/1800.51	c   probing          :       2.93        157        461          0          1          0          0          0          0
1800.01/1800.51	c   setppc           :       0.00          0          1          0          0          0          7          1          0
1800.01/1800.51	c   linear           :       0.34        234        702          0        247          0      10578         11         41
1800.01/1800.51	c   logicor          :       1.17          0          0          0          1          0        557          0          0
1800.01/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.51	c   setppc           :        269          0     553596          0     177234         57      50428          0          0          0
1800.01/1800.51	c   logicor          :      14921+         0     514519          0     177234        194    1236286          0          0          0
1800.01/1800.51	c   countsols        :          0          0          0          0     177234          0          0          0          0          0
1800.01/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.51	c   setppc           :      35.14       0.00       9.33       0.00      25.81
1800.01/1800.51	c   logicor          :    1416.19       0.00      12.84       0.00    1403.35
1800.01/1800.51	c   countsols        :       0.24       0.00       0.00       0.00       0.24
1800.01/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.51	c   vbounds          :       0.37          2          0          0
1800.01/1800.51	c   rootredcost      :       0.37          0          0          0
1800.01/1800.51	c   pseudoobj        :      67.13     541802          0          0
1800.01/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.51	c   propagation      :       0.00        113         92        110        3.5         35        2.0          -
1800.01/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.51	c   applied globally :          -          -          -        138        2.9          -          -          -
1800.01/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.51	c Pricers            :       Time      Calls       Vars
1800.01/1800.51	c   problem variables:       0.00          0          0
1800.01/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   inference        :     242.72     177234          0          0          0          0     354468
1800.01/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.51	c   LP solutions     :       0.00          -          0
1800.01/1800.51	c   pseudo solutions :       0.00          -          0
1800.01/1800.51	c   oneopt           :       0.11          0          0
1800.01/1800.51	c   trivial          :       0.01          2          0
1800.01/1800.51	c   simplerounding   :       0.00          0          0
1800.01/1800.51	c   zirounding       :       0.00          0          0
1800.01/1800.51	c   rounding         :       0.00          0          0
1800.01/1800.51	c   shifting         :       0.00          0          0
1800.01/1800.51	c   intshifting      :       0.00          0          0
1800.01/1800.51	c   twoopt           :       0.00          0          0
1800.01/1800.51	c   fixandinfer      :       0.00          0          0
1800.01/1800.51	c   feaspump         :       0.00          0          0
1800.01/1800.51	c   coefdiving       :       0.00          0          0
1800.01/1800.51	c   pscostdiving     :       0.00          0          0
1800.01/1800.51	c   fracdiving       :       0.00          0          0
1800.01/1800.51	c   veclendiving     :       0.00          0          0
1800.01/1800.51	c   intdiving        :       0.00          0          0
1800.01/1800.51	c   actconsdiving    :       0.00          0          0
1800.01/1800.51	c   objpscostdiving  :       0.00          0          0
1800.01/1800.51	c   rootsoldiving    :       0.00          0          0
1800.01/1800.51	c   linesearchdiving :       0.00          0          0
1800.01/1800.51	c   guideddiving     :       0.00          0          0
1800.01/1800.51	c   octane           :       0.00          0          0
1800.01/1800.51	c   rens             :       0.00          0          0
1800.01/1800.51	c   rins             :       0.00          0          0
1800.01/1800.51	c   localbranching   :       0.00          0          0
1800.01/1800.51	c   mutation         :       0.00          0          0
1800.01/1800.51	c   crossover        :       0.00          0          0
1800.01/1800.51	c   dins             :       0.00          0          0
1800.01/1800.51	c   undercover       :       0.00          0          0
1800.01/1800.51	c   nlp              :       0.28          0          0
1800.01/1800.51	c   trysol           :       0.14          0          0
1800.01/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.51	c B&B Tree           :
1800.01/1800.51	c   number of runs   :          1
1800.01/1800.51	c   nodes            :     177347
1800.01/1800.51	c   nodes (total)    :     177347
1800.01/1800.51	c   nodes left       :     177106
1800.01/1800.51	c   max depth        :        125
1800.01/1800.51	c   max depth (total):        125
1800.01/1800.51	c   backtracks       :       3349 (1.9%)
1800.01/1800.51	c   delayed cutoffs  :         16
1800.01/1800.51	c   repropagations   :       1988 (501 domain reductions, 0 cutoffs)
1800.01/1800.51	c   avg switch length:       2.63
1800.01/1800.51	c   switching time   :      12.49
1800.01/1800.51	c Solution           :
1800.01/1800.51	c   Solutions found  :          0 (0 improvements)
1800.01/1800.51	c   Primal Bound     :          -
1800.01/1800.51	c   Dual Bound       : +5.07900000000000e+03
1800.01/1800.51	c   Gap              :   infinite
1800.01/1800.51	c   Root Dual Bound  : +1.79500000000000e+03
1800.01/1800.51	c   Root Iterations  :          0
1800.39/1800.90	c Time complete: 1800.4.

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-2683297-1277508666/watcher-2683297-1277508666 -o /tmp/evaluation-result-2683297-1277508666/solver-2683297-1277508666 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683297-1277508666.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.13 1.08 1.01 3/106 27165
/proc/meminfo: memFree=1841516/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=6584 CPUtime=0
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 970 0 0 0 0 0 0 0 18 0 1 0 126470273 6742016 891 1992294400 4194304 7136930 140737267702976 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27165/statm: 1646 901 254 719 0 925 0

[startup+0.106858 s]
/proc/loadavg: 1.13 1.08 1.01 3/106 27165
/proc/meminfo: memFree=1841516/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=13852 CPUtime=0.1
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 2968 0 0 0 9 1 0 0 20 0 1 0 126470273 14184448 2889 1992294400 4194304 7136930 140737267702976 18446744073709551615 6285948 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27165/statm: 3463 2889 271 719 0 2742 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13852

[startup+0.200869 s]
/proc/loadavg: 1.13 1.08 1.01 3/106 27165
/proc/meminfo: memFree=1841516/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=17352 CPUtime=0.19
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 3818 0 0 0 18 1 0 0 20 0 1 0 126470273 17768448 3739 1992294400 4194304 7136930 140737267702976 18446744073709551615 4680644 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27165/statm: 4338 3739 271 719 0 3617 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17352

[startup+0.30088 s]
/proc/loadavg: 1.13 1.08 1.01 3/106 27165
/proc/meminfo: memFree=1841516/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=18852 CPUtime=0.29
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 4213 0 0 0 28 1 0 0 20 0 1 0 126470273 19304448 4134 1992294400 4194304 7136930 140737267702976 18446744073709551615 4361646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27165/statm: 4713 4134 271 719 0 3992 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18852

[startup+0.700927 s]
/proc/loadavg: 1.13 1.08 1.01 3/106 27165
/proc/meminfo: memFree=1841516/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=49452 CPUtime=0.69
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 11872 0 0 0 64 5 0 0 20 0 1 0 126470273 50638848 11439 1992294400 4194304 7136930 140737267702976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 12363 11439 342 719 0 11642 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49452

[startup+1.50102 s]
/proc/loadavg: 1.12 1.08 1.00 2/107 27166
/proc/meminfo: memFree=1792280/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=58040 CPUtime=1.49
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 19164 0 0 0 128 21 0 0 23 0 1 0 126470273 59432960 13620 1992294400 4194304 7136930 140737267702976 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 14510 13620 370 719 0 13789 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58040

[startup+3.10121 s]
/proc/loadavg: 1.12 1.08 1.00 2/107 27166
/proc/meminfo: memFree=1786204/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=59332 CPUtime=3.09
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 24341 0 0 0 277 32 0 0 25 0 1 0 126470273 60755968 13948 1992294400 4194304 7136930 140737267702976 18446744073709551615 4218735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 14833 13948 376 719 0 14112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59332

[startup+6.30058 s]
/proc/loadavg: 1.12 1.08 1.00 2/107 27166
/proc/meminfo: memFree=1783476/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=62872 CPUtime=6.29
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 35589 0 0 0 572 57 0 0 25 0 1 0 126470273 64380928 14857 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 15718 14857 392 719 0 14997 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62872

[startup+12.7013 s]
/proc/loadavg: 1.10 1.08 1.00 2/107 27168
/proc/meminfo: memFree=1782980/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=63140 CPUtime=12.69
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 35632 0 0 0 1210 59 0 0 25 0 1 0 126470273 64655360 14900 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 15785 14900 392 719 0 15064 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63140

[startup+25.5008 s]
/proc/loadavg: 1.08 1.08 1.00 2/107 27168
/proc/meminfo: memFree=1781988/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=64240 CPUtime=25.49
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 35907 0 0 0 2486 63 0 0 25 0 1 0 126470273 65781760 15175 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 16060 15175 392 719 0 15339 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64240

[startup+51.1008 s]
/proc/loadavg: 1.05 1.07 1.00 2/107 27168
/proc/meminfo: memFree=1779384/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=66644 CPUtime=51.08
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 36519 0 0 0 5037 71 0 0 25 0 1 0 126470273 68243456 15787 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 16661 15787 392 719 0 15940 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66644

[startup+102.301 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 27170
/proc/meminfo: memFree=1774052/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=71816 CPUtime=102.27
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 37823 0 0 0 10138 89 0 0 25 0 1 0 126470273 73539584 17091 1992294400 4194304 7136930 140737267702976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 17954 17091 392 719 0 17233 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 71816

[startup+162.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 27172
/proc/meminfo: memFree=1769588/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=76100 CPUtime=162.25
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 38900 0 0 0 16115 110 0 0 25 0 1 0 126470273 77926400 18168 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 19025 18168 392 719 0 18304 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 76100

[startup+222.309 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 27172
/proc/meminfo: memFree=1765124/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=80436 CPUtime=222.24
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 40018 0 0 0 22095 129 0 0 25 0 1 0 126470273 82366464 19286 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 20109 19286 392 719 0 19388 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 80436

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 27174
/proc/meminfo: memFree=1761032/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=84656 CPUtime=282.21
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 41067 0 0 0 28071 150 0 0 25 0 1 0 126470273 86687744 20335 1992294400 4194304 7136930 140737267702976 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 21164 20335 392 719 0 20443 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 84656

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 27176
/proc/meminfo: memFree=1756692/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=88928 CPUtime=342.19
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 42145 0 0 0 34050 169 0 0 25 0 1 0 126470273 91062272 21413 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 22232 21413 392 719 0 21511 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 88928

[startup+402.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27178
/proc/meminfo: memFree=1752476/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=92852 CPUtime=402.18
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 43165 0 0 0 40029 189 0 0 25 0 1 0 126470273 95080448 22433 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 23213 22433 392 719 0 22492 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 92852

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27180
/proc/meminfo: memFree=1748384/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=96980 CPUtime=462.17
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 44195 0 0 0 46009 208 0 0 25 0 1 0 126470273 99307520 23463 1992294400 4194304 7136930 140737267702976 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 24245 23463 392 719 0 23524 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 96980

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27180
/proc/meminfo: memFree=1743920/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=101616 CPUtime=522.15
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 45376 0 0 0 51987 228 0 0 25 0 1 0 126470273 104054784 24644 1992294400 4194304 7136930 140737267702976 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 25404 24644 392 719 0 24683 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 101616

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27182
/proc/meminfo: memFree=1739456/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=105512 CPUtime=582.14
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 46385 0 0 0 57966 248 0 0 25 0 1 0 126470273 108044288 25653 1992294400 4194304 7136930 140737267702976 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 26378 25653 392 719 0 25657 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 105512

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27184
/proc/meminfo: memFree=1736976/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=107996 CPUtime=642.12
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 47015 0 0 0 63945 267 0 0 25 0 1 0 126470273 110587904 26283 1992294400 4194304 7136930 140737267702976 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 26999 26283 392 719 0 26278 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 107996

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27192
/proc/meminfo: memFree=1717136/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=129032 CPUtime=942.04
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 51909 0 0 0 93837 367 0 0 25 0 1 0 126470273 132128768 31177 1992294400 4194304 7136930 140737267702976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 32258 31177 392 719 0 31537 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 129032

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27194
/proc/meminfo: memFree=1714284/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=131904 CPUtime=1002.03
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 52636 0 0 0 99816 387 0 0 25 0 1 0 126470273 135069696 31904 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 32976 31904 392 719 0 32255 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 131904

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27196
/proc/meminfo: memFree=1706844/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=139244 CPUtime=1062.01
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 54469 0 0 0 105795 406 0 0 25 0 1 0 126470273 142585856 33737 1992294400 4194304 7136930 140737267702976 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 34811 33737 392 719 0 34090 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 139244

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27196
/proc/meminfo: memFree=1703248/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=142732 CPUtime=1121.99
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 55351 0 0 0 111775 424 0 0 25 0 1 0 126470273 146157568 34619 1992294400 4194304 7136930 140737267702976 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 35683 34619 392 719 0 34962 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 142732

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27198
/proc/meminfo: memFree=1699776/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=145968 CPUtime=1181.97
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 56211 0 0 0 117751 446 0 0 25 0 1 0 126470273 149471232 35479 1992294400 4194304 7136930 140737267702976 18446744073709551615 4414520 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 36492 35479 392 719 0 35771 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 145968

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27200
/proc/meminfo: memFree=1696924/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=148632 CPUtime=1241.96
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 56883 0 0 0 123731 465 0 0 25 0 1 0 126470273 152199168 36151 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 37158 36151 392 719 0 36437 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 148632

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27202
/proc/meminfo: memFree=1690228/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=155200 CPUtime=1301.94
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 58552 0 0 0 129708 486 0 0 25 0 1 0 126470273 158924800 37820 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 38800 37820 392 719 0 38079 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 155200

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27204
/proc/meminfo: memFree=1686384/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=159024 CPUtime=1361.93
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 59505 0 0 0 135687 506 0 0 25 0 1 0 126470273 162840576 38773 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 39756 38773 392 719 0 39035 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 159024

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27204
/proc/meminfo: memFree=1684400/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=160832 CPUtime=1421.92
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 60011 0 0 0 141665 527 0 0 25 0 1 0 126470273 164691968 39279 1992294400 4194304 7136930 140737267702976 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 40208 39279 392 719 0 39487 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 160832

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27206
/proc/meminfo: memFree=1681672/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=163668 CPUtime=1481.89
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 60708 0 0 0 147645 544 0 0 25 0 1 0 126470273 167596032 39976 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 40917 39976 392 719 0 40196 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 163668

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27208
/proc/meminfo: memFree=1678076/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=166892 CPUtime=1541.88
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 61567 0 0 0 153623 565 0 0 25 0 1 0 126470273 170897408 40835 1992294400 4194304 7136930 140737267702976 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 41723 40835 392 719 0 41002 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 166892

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27210
/proc/meminfo: memFree=1673364/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=171568 CPUtime=1601.86
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 62736 0 0 0 159601 585 0 0 25 0 1 0 126470273 175685632 42004 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 42892 42004 392 719 0 42171 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 171568

[startup+1662.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 27212
/proc/meminfo: memFree=1668776/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=176144 CPUtime=1661.85
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 63907 0 0 0 165580 605 0 0 25 0 1 0 126470273 180371456 43175 1992294400 4194304 7136930 140737267702976 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 44036 43175 392 719 0 43315 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 176144

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 27212
/proc/meminfo: memFree=1665552/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=179100 CPUtime=1721.83
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 64694 0 0 0 171558 625 0 0 25 0 1 0 126470273 183398400 43962 1992294400 4194304 7136930 140737267702976 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 44775 43962 392 719 0 44054 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 179100

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27214
/proc/meminfo: memFree=1662452/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=181912 CPUtime=1781.82
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 65417 0 0 0 177538 644 0 0 25 0 1 0 126470273 186277888 44685 1992294400 4194304 7136930 140737267702976 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 45478 44685 392 719 0 44757 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 181912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27223
/proc/meminfo: memFree=1660840/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=182560 CPUtime=1800.01
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 65584 0 0 0 179351 650 0 0 25 0 1 0 126470273 186941440 44852 1992294400 4194304 7136930 140737267702976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27165/statm: 45640 44852 392 719 0 44919 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 182560

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

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27224
/proc/meminfo: memFree=1660832/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=182560 CPUtime=1800.21
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 65589 0 0 0 179371 650 0 0 25 0 1 0 126470273 186941440 44857 1992294400 4194304 7136930 140737267702976 18446744073709551615 6166167 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27165/statm: 45640 44857 397 719 0 44919 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 182560

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27224
/proc/meminfo: memFree=1660832/2059040 swapFree=4138920/4192956
[pid=27165] ppid=27163 vsize=24544 CPUtime=1800.39
/proc/27165/stat : 27165 (pbscip.linux.x8) R 27163 27165 26864 0 -1 4202496 65589 0 0 0 179388 651 0 0 25 0 1 0 126470273 25133056 5508 1992294400 4194304 7136930 140737267702976 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27165/statm: 6072 5381 397 719 0 5351 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 24544

Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.41
CPU user time (s): 1793.89
CPU system time (s): 6.52201
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 182560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.89
system time used= 6.52201
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65596
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2709

runsolver used 2.90156 second user time and 8.58769 second system time

The end

Launcher Data 

Begin job on node006 at 2010-06-26 01:31:06
IDJOB=2683297
IDBENCH=72101
IDSOLVER=1167
FILE ID=node006/2683297-1277508666
PBS_JOBID= 11190601
Free space on /tmp= 62540 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-rand4b919e.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-2683297-1277508666/watcher-2683297-1277508666 -o /tmp/evaluation-result-2683297-1277508666/solver-2683297-1277508666 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683297-1277508666.opb -t 1800 -m 1800

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

MD5SUM BENCH= 1291befe507875936d488bb8750ed287
RANDOM SEED=588333425

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.204
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1842044 kB
Buffers:         19864 kB
Cached:         100416 kB
SwapCached:       6900 kB
Active:          53332 kB
Inactive:        80772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1842044 kB
SwapTotal:     4192956 kB
SwapFree:      4138920 kB
Dirty:            4004 kB
Writeback:           4 kB
AnonPages:       12520 kB
Mapped:          11312 kB
Slab:            60984 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183004 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= 62540 MiB
End job on node006 at 2010-06-26 02:01:09