Trace number 2683427

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.5 1801.11

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randa2004a.cudf.paranoid.opb
MD5SUM3b140fe9f2cb3c59ddf55faba2e83116
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1859
Best CPU time to get the best result obtained on this benchmark2.73558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5800
Total number of constraints26001
Number of constraints which are clauses25730
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 2171
Biggest coefficient in the objective function 1622
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 895342
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1622
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 895342
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-2683427-1277509659.opb>
0.39/0.47	c original problem has 5800 variables (5800 bin, 0 int, 0 impl, 0 cont) and 26001 constraints
0.39/0.47	c problem read
0.39/0.47	c presolving settings loaded
0.39/0.47	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.60	c presolving:
0.69/0.79	c (round 1) 652 del vars, 1262 del conss, 17 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 70562 impls, 268 clqs
0.79/0.84	c (round 2) 772 del vars, 1534 del conss, 60 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 78554 impls, 258 clqs
0.89/0.90	c (round 3) 1071 del vars, 5817 del conss, 289 chg bounds, 4 chg sides, 19 chg coeffs, 0 upgd conss, 80131 impls, 252 clqs
0.89/0.95	c (round 4) 1706 del vars, 9571 del conss, 325 chg bounds, 10 chg sides, 37 chg coeffs, 0 upgd conss, 82619 impls, 249 clqs
0.89/0.97	c (round 5) 1744 del vars, 10026 del conss, 327 chg bounds, 14 chg sides, 46 chg coeffs, 0 upgd conss, 82975 impls, 249 clqs
0.89/0.99	c (round 6) 1756 del vars, 10069 del conss, 327 chg bounds, 14 chg sides, 46 chg coeffs, 0 upgd conss, 82975 impls, 249 clqs
1.00/1.01	c (round 7) 1761 del vars, 10073 del conss, 327 chg bounds, 14 chg sides, 46 chg coeffs, 0 upgd conss, 82975 impls, 249 clqs
1.20/1.21	c (round 8) 1761 del vars, 11669 del conss, 327 chg bounds, 14 chg sides, 46 chg coeffs, 14259 upgd conss, 82975 impls, 249 clqs
1.20/1.26	c (round 9) 1766 del vars, 11674 del conss, 327 chg bounds, 14 chg sides, 46 chg coeffs, 14259 upgd conss, 82975 impls, 249 clqs
1.29/1.30	c (round 10) 1766 del vars, 11675 del conss, 327 chg bounds, 15 chg sides, 46 chg coeffs, 14259 upgd conss, 82975 impls, 249 clqs
1.29/1.33	c (round 11) 1767 del vars, 11676 del conss, 327 chg bounds, 15 chg sides, 46 chg coeffs, 14325 upgd conss, 82975 impls, 249 clqs
1.29/1.37	c (round 12) 1767 del vars, 11677 del conss, 327 chg bounds, 15 chg sides, 46 chg coeffs, 14326 upgd conss, 82975 impls, 249 clqs
1.39/1.49	c (round 13) 1833 del vars, 11677 del conss, 327 chg bounds, 15 chg sides, 46 chg coeffs, 14326 upgd conss, 96150 impls, 247 clqs
1.50/1.51	c (round 14) 1836 del vars, 11777 del conss, 327 chg bounds, 15 chg sides, 46 chg coeffs, 14326 upgd conss, 96158 impls, 247 clqs
1.50/1.53	c (round 15) 1841 del vars, 11797 del conss, 327 chg bounds, 15 chg sides, 46 chg coeffs, 14326 upgd conss, 96158 impls, 247 clqs
1.50/1.55	c (round 16) 1842 del vars, 11799 del conss, 327 chg bounds, 15 chg sides, 46 chg coeffs, 14326 upgd conss, 96158 impls, 247 clqs
1.69/1.77	c (round 17) 1842 del vars, 11848 del conss, 327 chg bounds, 15 chg sides, 46 chg coeffs, 14326 upgd conss, 96158 impls, 247 clqs
1.69/1.79	c (round 18) 1843 del vars, 11849 del conss, 327 chg bounds, 15 chg sides, 46 chg coeffs, 14326 upgd conss, 96158 impls, 247 clqs
2.20/2.21	c (round 19) 1893 del vars, 11849 del conss, 327 chg bounds, 15 chg sides, 46 chg coeffs, 14326 upgd conss, 103503 impls, 243 clqs
2.20/2.23	c (round 20) 1893 del vars, 11877 del conss, 327 chg bounds, 15 chg sides, 46 chg coeffs, 14326 upgd conss, 103503 impls, 243 clqs
2.20/2.29	c (round 21) 1893 del vars, 11882 del conss, 327 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 103503 impls, 243 clqs
2.50/2.57	c (round 22) 1943 del vars, 11882 del conss, 327 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 107123 impls, 243 clqs
2.50/2.60	c (round 23) 1944 del vars, 11891 del conss, 327 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 107125 impls, 243 clqs
2.79/2.86	c (round 24) 1994 del vars, 11892 del conss, 327 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 112019 impls, 239 clqs
2.79/2.89	c (round 25) 1996 del vars, 11921 del conss, 327 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 112021 impls, 239 clqs
2.89/2.93	c (round 26) 1998 del vars, 11921 del conss, 327 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 112021 impls, 239 clqs
3.00/3.04	c    (2.2s) probing: 1000/4033 (24.8%) - 44 fixings, 187 aggregations, 6233 implications, 0 bound changes
3.09/3.15	c (round 27) 2048 del vars, 11921 del conss, 327 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 114240 impls, 238 clqs
3.09/3.17	c (round 28) 2053 del vars, 11970 del conss, 327 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 114291 impls, 238 clqs
3.19/3.23	c (round 29) 2066 del vars, 11978 del conss, 327 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 114293 impls, 236 clqs
3.39/3.47	c (round 30) 2116 del vars, 11979 del conss, 327 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 116357 impls, 235 clqs
3.39/3.49	c (round 31) 2125 del vars, 11992 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 116384 impls, 235 clqs
3.49/3.51	c (round 32) 2134 del vars, 12006 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 116384 impls, 235 clqs
3.49/3.56	c (round 33) 2134 del vars, 12018 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 116384 impls, 235 clqs
3.69/3.76	c (round 34) 2184 del vars, 12018 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 117266 impls, 234 clqs
3.69/3.78	c (round 35) 2184 del vars, 12041 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 117266 impls, 234 clqs
3.89/3.93	c    (3.0s) probing: 2000/4033 (49.6%) - 56 fixings, 339 aggregations, 8537 implications, 0 bound changes
3.89/3.97	c (round 36) 2234 del vars, 12041 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 117867 impls, 234 clqs
3.89/3.99	c (round 37) 2235 del vars, 12045 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 117869 impls, 234 clqs
4.09/4.19	c (round 38) 2235 del vars, 12087 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 117869 impls, 234 clqs
4.29/4.35	c (round 39) 2285 del vars, 12087 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 118650 impls, 233 clqs
4.29/4.37	c (round 40) 2285 del vars, 12095 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 118650 impls, 233 clqs
4.49/4.54	c (round 41) 2335 del vars, 12095 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 119631 impls, 233 clqs
4.49/4.57	c (round 42) 2336 del vars, 12114 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 119633 impls, 233 clqs
4.79/4.81	c (round 43) 2386 del vars, 12115 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 121639 impls, 233 clqs
4.79/4.84	c (round 44) 2387 del vars, 12152 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 121641 impls, 233 clqs
4.79/4.88	c (round 45) 2387 del vars, 12155 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 121641 impls, 233 clqs
4.89/4.93	c (round 46) 2387 del vars, 12174 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 121641 impls, 233 clqs
4.89/4.99	c    (4.0s) probing: 3000/4033 (74.4%) - 76 fixings, 490 aggregations, 10681 implications, 0 bound changes
5.29/5.30	c (round 47) 2437 del vars, 12174 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 125965 impls, 233 clqs
5.29/5.32	c (round 48) 2450 del vars, 12271 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 126005 impls, 233 clqs
5.40/5.41	c (round 49) 2450 del vars, 12302 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 126005 impls, 233 clqs
5.59/5.64	c    (4.6s) probing: 4000/4033 (99.2%) - 135 fixings, 504 aggregations, 16892 implications, 0 bound changes
5.59/5.64	c (round 50) 2473 del vars, 12302 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 132721 impls, 233 clqs
5.59/5.66	c (round 51) 2497 del vars, 12348 del conss, 336 chg bounds, 16 chg sides, 46 chg coeffs, 14326 upgd conss, 132787 impls, 233 clqs
5.69/5.71	c presolving (52 rounds):
5.69/5.71	c  2497 deleted vars, 12348 deleted constraints, 336 tightened bounds, 0 added holes, 16 changed sides, 46 changed coefficients
5.69/5.71	c  132787 implications, 233 cliques
5.69/5.71	c presolved problem has 3303 variables (3303 bin, 0 int, 0 impl, 0 cont) and 13657 constraints
5.69/5.71	c     233 constraints of type <setppc>
5.69/5.71	c   13424 constraints of type <logicor>
5.69/5.71	c transformed objective value is always integral (scale: 1)
5.69/5.71	c Presolving Time: 4.58
5.69/5.71	c - non default parameters ----------------------------------------------------------------------
5.69/5.71	c # SCIP version 1.2.1.2
5.69/5.71	c 
5.69/5.71	c # frequency for displaying node information lines
5.69/5.71	c # [type: int, range: [-1,2147483647], default: 100]
5.69/5.71	c display/freq = 10000
5.69/5.71	c 
5.69/5.71	c # maximal time in seconds to run
5.69/5.71	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.71	c limits/time = 1799.54
5.69/5.71	c 
5.69/5.71	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.69/5.71	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.71	c limits/memory = 1620
5.69/5.71	c 
5.69/5.71	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.69/5.71	c # [type: int, range: [-1,2147483647], default: 1]
5.69/5.71	c lp/solvefreq = -1
5.69/5.71	c 
5.69/5.71	c # should presolving try to simplify inequalities
5.69/5.71	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.71	c constraints/linear/simplifyinequalities = TRUE
5.69/5.71	c 
5.69/5.71	c # should presolving try to simplify knapsacks
5.69/5.71	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.71	c constraints/knapsack/simplifyinequalities = TRUE
5.69/5.71	c 
5.69/5.71	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.69/5.71	c # [type: int, range: [-1,2147483647], default: -1]
5.69/5.71	c separating/rapidlearning/freq = 0
5.69/5.71	c 
5.69/5.71	c -----------------------------------------------------------------------------------------------
5.69/5.71	c start solving
5.69/5.72	c 
5.69/5.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.69/5.73	c   4.7s|     1 |     2 |     0 |     - |  30M|   0 |   - |3303 |  13k|   0 |   0 |   0 |   0 |   0 | 1.821000e+03 |      --      |    Inf 
101.86/101.92	c   100s| 10000 |  9960 |     0 |   0.0 |  34M| 177 |   - |3303 |  13k|   0 |   0 |   0 |  32 |   0 | 1.829000e+03 |      --      |    Inf 
191.53/191.65	c   190s| 20000 | 19956 |     0 |   0.0 |  39M| 177 |   - |3303 |  13k|   0 |   0 |   0 |  34 |   0 | 1.829000e+03 |      --      |    Inf 
281.60/281.71	c   280s| 30000 | 29946 |     0 |   0.0 |  44M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  39 |   0 | 1.829000e+03 |      --      |    Inf 
370.37/370.51	c   368s| 40000 | 39939 |     0 |   0.0 |  49M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  42 |   0 | 1.830000e+03 |      --      |    Inf 
458.24/458.46	c   456s| 50000 | 49935 |     0 |   0.0 |  54M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  44 |   0 | 1.830000e+03 |      --      |    Inf 
545.32/545.59	c   542s| 60000 | 59935 |     0 |   0.0 |  59M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  44 |   0 | 1.830000e+03 |      --      |    Inf 
634.58/634.84	c   631s| 70000 | 69924 |     0 |   0.0 |  64M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  50 |   0 | 1.831000e+03 |      --      |    Inf 
723.25/723.52	c   720s| 80000 | 79924 |     0 |   0.0 |  69M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  50 |   0 | 1.831000e+03 |      --      |    Inf 
811.11/811.48	c   807s| 90000 | 89924 |     0 |   0.0 |  74M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  50 |   0 | 1.831000e+03 |      --      |    Inf 
898.89/899.22	c   895s|100000 | 99924 |     0 |   0.0 |  79M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  50 |   0 | 1.831000e+03 |      --      |    Inf 
987.65/988.07	c   983s|110000 |109924 |     0 |   0.0 |  84M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  50 |   0 | 1.832000e+03 |      --      |    Inf 
1077.02/1077.49	c  1072s|120000 |119924 |     0 |   0.0 |  89M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  50 |   0 | 1.832000e+03 |      --      |    Inf 
1164.40/1164.89	c  1159s|130000 |129916 |     0 |   0.0 |  94M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  54 |   0 | 1.832000e+03 |      --      |    Inf 
1251.17/1251.64	c  1246s|140000 |139916 |     0 |   0.0 |  99M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  54 |   0 | 1.832000e+03 |      --      |    Inf 
1338.04/1338.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1338.04/1338.59	c  1332s|150000 |149916 |     0 |   0.0 | 104M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  54 |   0 | 1.833000e+03 |      --      |    Inf 
1426.11/1426.65	c  1420s|160000 |159902 |     0 |   0.0 | 109M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  61 |   0 | 1.833000e+03 |      --      |    Inf 
1513.58/1514.13	c  1507s|170000 |169902 |     0 |   0.0 | 114M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  61 |   0 | 1.833000e+03 |      --      |    Inf 
1599.15/1599.70	c  1592s|180000 |179902 |     0 |   0.0 | 118M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  61 |   0 | 1.833000e+03 |      --      |    Inf 
1685.73/1686.31	c  1679s|190000 |189902 |     0 |   0.0 | 123M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  61 |   0 | 1.834000e+03 |      --      |    Inf 
1774.09/1774.78	c  1767s|200000 |199888 |     0 |   0.0 | 128M| 185 |   - |3303 |  13k|   0 |   0 |   0 |  68 |   0 | 1.834000e+03 |      --      |    Inf 
1800.10/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.71	c 
1800.10/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.71	c Solving Time (sec) : 1792.71
1800.10/1800.71	c Solving Nodes      : 202872
1800.10/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.10/1800.71	c Dual Bound         : +1.83500000000000e+03
1800.10/1800.71	c Gap                : infinite
1800.10/1800.71	s UNKNOWN
1800.10/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.71	c Solving Time       :    1792.71
1800.10/1800.71	c Original Problem   :
1800.10/1800.71	c   Problem name     : HOME/instance-2683427-1277509659.opb
1800.10/1800.71	c   Variables        : 5800 (5800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.71	c   Constraints      : 26001 initial, 26001 maximal
1800.10/1800.71	c Presolved Problem  :
1800.10/1800.71	c   Problem name     : t_HOME/instance-2683427-1277509659.opb
1800.10/1800.71	c   Variables        : 3303 (3303 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.71	c   Constraints      : 13657 initial, 13703 maximal
1800.10/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.10/1800.71	c   trivial          :       0.05         38          0          0          0          0          0          0          0
1800.10/1800.71	c   dualfix          :       0.01        586          0          0          0          0          0          0          0
1800.10/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.71	c   implics          :       0.08          0        192          0          0          0          0          0          0
1800.10/1800.71	c   probing          :       2.36        135        504          0          0          0          0          0          0
1800.10/1800.71	c   setppc           :       0.04          0          5          0          0          0         20          1          0
1800.10/1800.71	c   linear           :       0.38        316        721          0        327          0      11675         15         46
1800.10/1800.71	c   logicor          :       1.56          0          0          0          9          0        653          0          0
1800.10/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.10/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.71	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.10/1800.71	c   setppc           :        233          0     576496          0     202817         33      46399          0          0          0
1800.10/1800.71	c   logicor          :      13424+         0     537912          0     202817        114     875228          0          0          0
1800.10/1800.71	c   countsols        :          0          0          0          0     202817          0          0          0          0          0
1800.10/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.10/1800.71	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.71	c   setppc           :      34.07       0.00       8.96       0.00      25.11
1800.10/1800.71	c   logicor          :    1400.27       0.00       9.87       0.00    1390.40
1800.10/1800.71	c   countsols        :       0.31       0.00       0.00       0.00       0.31
1800.10/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.10/1800.71	c   vbounds          :       0.35          2          0          0
1800.10/1800.71	c   rootredcost      :       0.40          0          0          0
1800.10/1800.71	c   pseudoobj        :      69.27     565596          0          0
1800.10/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.10/1800.71	c   propagation      :       0.00         55         55         68        2.8          0        0.0          -
1800.10/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.10/1800.71	c   applied globally :          -          -          -         68        2.8          -          -          -
1800.10/1800.71	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.10/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.10/1800.71	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.10/1800.71	c   redcost          :       0.00          0          0          0          0          0
1800.10/1800.71	c   impliedbounds    :       0.00          0          0          0          0          0
1800.10/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.10/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.10/1800.71	c   gomory           :       0.00          0          0          0          0          0
1800.10/1800.71	c   strongcg         :       0.00          0          0          0          0          0
1800.10/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.10/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.10/1800.71	c   clique           :       0.00          0          0          0          0          0
1800.10/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.10/1800.71	c   mcf              :       0.00          0          0          0          0          0
1800.10/1800.71	c   rapidlearning    :       0.00          0          0          0          0          0
1800.10/1800.71	c Pricers            :       Time      Calls       Vars
1800.10/1800.71	c   problem variables:       0.00          0          0
1800.10/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.71	c   relpscost        :       0.00          0          0          0          0          0          0
1800.10/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.10/1800.71	c   inference        :     257.35     202817          0          0          0          0     405634
1800.10/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.10/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.10/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.10/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.10/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.10/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.10/1800.71	c   LP solutions     :       0.00          -          0
1800.10/1800.71	c   pseudo solutions :       0.00          -          0
1800.10/1800.71	c   oneopt           :       0.15          0          0
1800.10/1800.71	c   trivial          :       0.02          2          0
1800.10/1800.71	c   simplerounding   :       0.00          0          0
1800.10/1800.71	c   zirounding       :       0.00          0          0
1800.10/1800.71	c   rounding         :       0.00          0          0
1800.10/1800.71	c   shifting         :       0.00          0          0
1800.10/1800.71	c   intshifting      :       0.00          0          0
1800.10/1800.71	c   twoopt           :       0.00          0          0
1800.10/1800.71	c   fixandinfer      :       0.00          0          0
1800.10/1800.71	c   feaspump         :       0.00          0          0
1800.10/1800.71	c   coefdiving       :       0.00          0          0
1800.10/1800.71	c   pscostdiving     :       0.00          0          0
1800.10/1800.71	c   fracdiving       :       0.00          0          0
1800.10/1800.71	c   veclendiving     :       0.00          0          0
1800.10/1800.71	c   intdiving        :       0.00          0          0
1800.10/1800.71	c   actconsdiving    :       0.00          0          0
1800.10/1800.71	c   objpscostdiving  :       0.00          0          0
1800.10/1800.71	c   rootsoldiving    :       0.00          0          0
1800.10/1800.71	c   linesearchdiving :       0.00          0          0
1800.10/1800.71	c   guideddiving     :       0.00          0          0
1800.10/1800.71	c   octane           :       0.00          0          0
1800.10/1800.71	c   rens             :       0.00          0          0
1800.10/1800.71	c   rins             :       0.00          0          0
1800.10/1800.71	c   localbranching   :       0.00          0          0
1800.10/1800.71	c   mutation         :       0.00          0          0
1800.10/1800.71	c   crossover        :       0.00          0          0
1800.10/1800.71	c   dins             :       0.00          0          0
1800.10/1800.71	c   undercover       :       0.00          0          0
1800.10/1800.71	c   nlp              :       0.34          0          0
1800.10/1800.71	c   trysol           :       0.13          0          0
1800.10/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.10/1800.71	c   primal LP        :       0.00          0          0       0.00          -
1800.10/1800.71	c   dual LP          :       0.00          0          0       0.00          -
1800.10/1800.71	c   lex dual LP      :       0.00          0          0       0.00          -
1800.10/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.10/1800.71	c   diving/probing LP:       0.00          0          0       0.00          -
1800.10/1800.71	c   strong branching :       0.00          0          0       0.00          -
1800.10/1800.71	c     (at root node) :          -          0          0       0.00          -
1800.10/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.10/1800.71	c B&B Tree           :
1800.10/1800.71	c   number of runs   :          1
1800.10/1800.71	c   nodes            :     202872
1800.10/1800.71	c   nodes (total)    :     202872
1800.10/1800.71	c   nodes left       :     202760
1800.10/1800.71	c   max depth        :        185
1800.10/1800.71	c   max depth (total):        185
1800.10/1800.71	c   backtracks       :       2239 (1.1%)
1800.10/1800.71	c   delayed cutoffs  :          3
1800.10/1800.71	c   repropagations   :       5395 (153 domain reductions, 0 cutoffs)
1800.10/1800.71	c   avg switch length:       2.64
1800.10/1800.71	c   switching time   :      10.69
1800.10/1800.71	c Solution           :
1800.10/1800.71	c   Solutions found  :          0 (0 improvements)
1800.10/1800.71	c   Primal Bound     :          -
1800.10/1800.71	c   Dual Bound       : +1.83500000000000e+03
1800.10/1800.71	c   Gap              :   infinite
1800.10/1800.71	c   Root Dual Bound  : +1.82100000000000e+03
1800.10/1800.71	c   Root Iterations  :          0
1800.49/1801.11	c Time complete: 1800.49.

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-2683427-1277509659/watcher-2683427-1277509659 -o /tmp/evaluation-result-2683427-1277509659/solver-2683427-1277509659 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683427-1277509659.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: 0.91 0.95 0.97 3/106 27708
/proc/meminfo: memFree=1825388/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=5556 CPUtime=0
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 886 0 0 0 0 0 0 0 18 0 1 0 126567450 5689344 809 1992294400 4194304 7136930 140735599671344 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27708/statm: 1389 809 249 719 0 668 0

[startup+0.0752059 s]
/proc/loadavg: 0.91 0.95 0.97 3/106 27708
/proc/meminfo: memFree=1825388/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=12200 CPUtime=0.06
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 2543 0 0 0 6 0 0 0 20 0 1 0 126567450 12492800 2465 1992294400 4194304 7136930 140735599671344 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27708/statm: 3050 2465 271 719 0 2329 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12200

[startup+0.101212 s]
/proc/loadavg: 0.91 0.95 0.97 3/106 27708
/proc/meminfo: memFree=1825388/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=13372 CPUtime=0.09
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 2847 0 0 0 9 0 0 0 20 0 1 0 126567450 13692928 2769 1992294400 4194304 7136930 140735599671344 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27708/statm: 3343 2769 271 719 0 2622 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13372

[startup+0.301247 s]
/proc/loadavg: 0.91 0.95 0.97 3/106 27708
/proc/meminfo: memFree=1825388/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=19876 CPUtime=0.29
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 4366 0 0 0 28 1 0 0 20 0 1 0 126567450 20353024 4288 1992294400 4194304 7136930 140735599671344 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27708/statm: 4969 4299 271 719 0 4248 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19876

[startup+0.701319 s]
/proc/loadavg: 0.91 0.95 0.97 3/106 27708
/proc/meminfo: memFree=1825388/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=49248 CPUtime=0.69
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 11874 0 0 0 64 5 0 0 20 0 1 0 126567450 50429952 11442 1992294400 4194304 7136930 140735599671344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 12312 11442 342 719 0 11591 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49248

[startup+1.50146 s]
/proc/loadavg: 0.91 0.95 0.97 2/107 27709
/proc/meminfo: memFree=1777764/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=57844 CPUtime=1.5
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 19811 0 0 0 129 21 0 0 23 0 1 0 126567450 59232256 13662 1992294400 4194304 7136930 140735599671344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 14461 13662 370 719 0 13740 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 57844

[startup+3.10175 s]
/proc/loadavg: 0.91 0.95 0.97 2/107 27709
/proc/meminfo: memFree=1771068/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=58620 CPUtime=3.09
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 26078 0 0 0 274 35 0 0 25 0 1 0 126567450 60026880 13860 1992294400 4194304 7136930 140735599671344 18446744073709551615 4221071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 14655 13860 376 719 0 13934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58620

[startup+6.30132 s]
/proc/loadavg: 0.92 0.95 0.97 2/107 27709
/proc/meminfo: memFree=1768712/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=61368 CPUtime=6.29
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 38211 0 0 0 568 61 0 0 25 0 1 0 126567450 62840832 14530 1992294400 4194304 7136930 140735599671344 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 15342 14530 392 719 0 14621 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61368

[startup+12.7015 s]
/proc/loadavg: 0.93 0.95 0.97 2/107 27709
/proc/meminfo: memFree=1768092/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=61500 CPUtime=12.69
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 38253 0 0 0 1206 63 0 0 25 0 1 0 126567450 62976000 14572 1992294400 4194304 7136930 140735599671344 18446744073709551615 4697167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 15375 14572 392 719 0 14654 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61500

[startup+25.5008 s]
/proc/loadavg: 0.94 0.96 0.97 2/107 27709
/proc/meminfo: memFree=1767100/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=62424 CPUtime=25.48
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 38493 0 0 0 2481 67 0 0 25 0 1 0 126567450 63922176 14812 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 15606 14812 392 719 0 14885 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62424

[startup+51.1013 s]
/proc/loadavg: 0.96 0.96 0.97 2/107 27709
/proc/meminfo: memFree=1766480/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=63012 CPUtime=51.08
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 38641 0 0 0 5033 75 0 0 25 0 1 0 126567450 64524288 14960 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 15753 14960 392 719 0 15032 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 63012

[startup+102.309 s]
/proc/loadavg: 0.98 0.96 0.97 2/107 27711
/proc/meminfo: memFree=1762636/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=66788 CPUtime=102.26
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 39604 0 0 0 10133 93 0 0 25 0 1 0 126567450 68390912 15923 1992294400 4194304 7136930 140735599671344 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 16697 15923 392 719 0 15976 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 66788

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27713
/proc/meminfo: memFree=1759412/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=69896 CPUtime=162.24
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 40426 0 0 0 16109 115 0 0 25 0 1 0 126567450 71573504 16745 1992294400 4194304 7136930 140735599671344 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 17474 16745 392 719 0 16753 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 69896

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27715
/proc/meminfo: memFree=1756436/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=72640 CPUtime=222.21
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 41110 0 0 0 22082 139 0 0 25 0 1 0 126567450 74383360 17429 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 18160 17429 392 719 0 17439 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 72640

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27717
/proc/meminfo: memFree=1752220/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=76656 CPUtime=282.2
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 42159 0 0 0 28058 162 0 0 25 0 1 0 126567450 78495744 18478 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 19164 18478 392 719 0 18443 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 76656

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27717
/proc/meminfo: memFree=1749244/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=80072 CPUtime=342.18
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 43035 0 0 0 34038 180 0 0 25 0 1 0 126567450 81993728 19354 1992294400 4194304 7136930 140735599671344 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 20018 19354 392 719 0 19297 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 80072

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27719
/proc/meminfo: memFree=1746516/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=82196 CPUtime=402.16
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 43571 0 0 0 40013 203 0 0 25 0 1 0 126567450 84168704 19890 1992294400 4194304 7136930 140735599671344 18446744073709551615 4696940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 20549 19890 392 719 0 19828 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 82196

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27721
/proc/meminfo: memFree=1741928/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=86628 CPUtime=462.14
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 44736 0 0 0 45993 221 0 0 25 0 1 0 126567450 88707072 21055 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005193 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 21657 21055 392 719 0 20936 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 86628

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27723
/proc/meminfo: memFree=1738084/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=90284 CPUtime=522.12
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 45674 0 0 0 51971 241 0 0 25 0 1 0 126567450 92450816 21993 1992294400 4194304 7136930 140735599671344 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 22571 21993 392 719 0 21850 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 90284

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27725
/proc/meminfo: memFree=1731884/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=96348 CPUtime=582.1
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 47197 0 0 0 57947 263 0 0 25 0 1 0 126567450 98660352 23516 1992294400 4194304 7136930 140735599671344 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 24087 23516 392 719 0 23366 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 96348

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27725
/proc/meminfo: memFree=1730024/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=100080 CPUtime=642.08
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 47651 0 0 0 63926 282 0 0 25 0 1 0 126567450 102481920 23970 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 25020 23970 392 719 0 24299 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 100080

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27742
/proc/meminfo: memFree=1711052/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=117960 CPUtime=941.97
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 52237 0 0 0 93811 386 0 0 25 0 1 0 126567450 120791040 28556 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 29490 28556 392 719 0 28769 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 117960

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27744
/proc/meminfo: memFree=1706960/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=121868 CPUtime=1001.95
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 53244 0 0 0 99788 407 0 0 25 0 1 0 126567450 124792832 29563 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 30467 29563 392 719 0 29746 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 121868

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27746
/proc/meminfo: memFree=1703488/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=125212 CPUtime=1061.93
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 54108 0 0 0 105764 429 0 0 25 0 1 0 126567450 128217088 30427 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 31303 30427 392 719 0 30582 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 125212

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27748
/proc/meminfo: memFree=1700388/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=128240 CPUtime=1121.91
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 54893 0 0 0 111741 450 0 0 25 0 1 0 126567450 131317760 31212 1992294400 4194304 7136930 140735599671344 18446744073709551615 5506875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 32060 31212 392 719 0 31339 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 128240

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27750
/proc/meminfo: memFree=1697660/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=130820 CPUtime=1181.88
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 55565 0 0 0 117717 471 0 0 25 0 1 0 126567450 133959680 31884 1992294400 4194304 7136930 140735599671344 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 32705 31884 392 719 0 31984 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 130820

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27750
/proc/meminfo: memFree=1696544/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=131856 CPUtime=1241.87
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 55852 0 0 0 123693 494 0 0 25 0 1 0 126567450 135020544 32171 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 32964 32171 392 719 0 32243 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 131856

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27752
/proc/meminfo: memFree=1692700/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=135596 CPUtime=1301.85
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 56820 0 0 0 129670 515 0 0 25 0 1 0 126567450 138850304 33139 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 33899 33139 392 719 0 33178 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 135596

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27754
/proc/meminfo: memFree=1687616/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=140352 CPUtime=1361.83
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 58038 0 0 0 135644 539 0 0 25 0 1 0 126567450 143720448 34357 1992294400 4194304 7136930 140735599671344 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 35088 34357 392 719 0 34367 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 140352

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27756
/proc/meminfo: memFree=1686004/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=141900 CPUtime=1421.82
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 58469 0 0 0 141624 558 0 0 25 0 1 0 126567450 145305600 34788 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 35475 34788 392 719 0 34754 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 141900

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27758
/proc/meminfo: memFree=1681540/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=146188 CPUtime=1481.78
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 59570 0 0 0 147599 579 0 0 25 0 1 0 126567450 149696512 35889 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 36547 35889 392 719 0 35826 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 146188

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27758
/proc/meminfo: memFree=1678440/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=149156 CPUtime=1541.77
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 60340 0 0 0 153577 600 0 0 25 0 1 0 126567450 152735744 36659 1992294400 4194304 7136930 140735599671344 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 37289 36659 392 719 0 36568 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 149156

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27763
/proc/meminfo: memFree=1674472/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=152724 CPUtime=1601.75
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 61256 0 0 0 159554 621 0 0 25 0 1 0 126567450 156389376 37575 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 38181 37575 392 719 0 37460 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 152724

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27765
/proc/meminfo: memFree=1670380/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=156852 CPUtime=1661.73
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 62285 0 0 0 165532 641 0 0 25 0 1 0 126567450 160616448 38604 1992294400 4194304 7136930 140735599671344 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 39213 38604 392 719 0 38492 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 156852

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27767
/proc/meminfo: memFree=1664676/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=162312 CPUtime=1721.71
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 63710 0 0 0 171506 665 0 0 25 0 1 0 126567450 166207488 40029 1992294400 4194304 7136930 140735599671344 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 40578 40029 392 719 0 39857 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 162312

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27769
/proc/meminfo: memFree=1661948/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=169132 CPUtime=1781.69
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 64400 0 0 0 177482 687 0 0 25 0 1 0 126567450 173191168 40719 1992294400 4194304 7136930 140735599671344 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 42283 40719 392 719 0 41562 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 169132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27769
/proc/meminfo: memFree=1661576/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=169448 CPUtime=1800.1
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 64486 0 0 0 179316 694 0 0 25 0 1 0 126567450 173514752 40805 1992294400 4194304 7136930 140735599671344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27708/statm: 42362 40805 392 719 0 41641 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 169448

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: 0.99 0.97 0.97 2/107 27769
/proc/meminfo: memFree=1661576/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=150632 CPUtime=1800.38
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 64491 0 0 0 179344 694 0 0 25 0 1 0 126567450 154247168 36106 1992294400 4194304 7136930 140735599671344 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27708/statm: 37658 36106 397 719 0 36937 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 150632

[startup+1801.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 27769
/proc/meminfo: memFree=1661576/2059040 swapFree=4136476/4192956
[pid=27708] ppid=27706 vsize=26112 CPUtime=1800.49
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 27072 0 -1 4202496 64491 0 0 0 179353 696 0 0 25 0 1 0 126567450 26738688 6022 1992294400 4194304 7136930 140735599671344 18446744073709551615 5961337 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27708/statm: 6528 6022 397 719 0 5807 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 26112

Child status: 0
Real time (s): 1801.11
CPU time (s): 1800.5
CPU user time (s): 1793.54
CPU system time (s): 6.96494
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 169448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.54
system time used= 6.96494
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 4237

runsolver used 3.19751 second user time and 8.29174 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-26 01:47:39
IDJOB=2683427
IDBENCH=72111
IDSOLVER=1167
FILE ID=node012/2683427-1277509659
PBS_JOBID= 11190629
Free space on /tmp= 62428 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-randa2004a.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-2683427-1277509659/watcher-2683427-1277509659 -o /tmp/evaluation-result-2683427-1277509659/solver-2683427-1277509659 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683427-1277509659.opb -t 1800 -m 1800

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

MD5SUM BENCH= 3b140fe9f2cb3c59ddf55faba2e83116
RANDOM SEED=216358317

node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
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.51
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.258
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:       1825916 kB
Buffers:         35608 kB
Cached:         101020 kB
SwapCached:       8996 kB
Active:          80844 kB
Inactive:        69028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1825916 kB
SwapTotal:     4192956 kB
SwapFree:      4136476 kB
Dirty:            4144 kB
Writeback:           0 kB
AnonPages:       11768 kB
Mapped:           8340 kB
Slab:            61400 kB
PageTables:       4280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182684 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= 62424 MiB
End job on node012 at 2010-06-26 02:17:42