Trace number 2683635

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.45 1800.92

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randb87834.cudf.paranoid.opb
MD5SUMc9d2aa349018f64c4f149f47f6a63818
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark11434
Best CPU time to get the best result obtained on this benchmark3.00154
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6389
Total number of constraints28635
Number of constraints which are clauses28320
Number of constraints which are cardinality constraints (but not clauses)315
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 2375
Biggest coefficient in the objective function 1826
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 1007950
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1826
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 1007950
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-2683635-1277511138.opb>
0.49/0.52	c original problem has 6389 variables (6389 bin, 0 int, 0 impl, 0 cont) and 28635 constraints
0.49/0.52	c problem read
0.49/0.52	c presolving settings loaded
0.49/0.53	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.67	c presolving:
0.79/0.87	c (round 1) 732 del vars, 1468 del conss, 33 chg bounds, 0 chg sides, 2 chg coeffs, 0 upgd conss, 61551 impls, 310 clqs
0.89/0.92	c (round 2) 970 del vars, 1983 del conss, 165 chg bounds, 0 chg sides, 6 chg coeffs, 0 upgd conss, 69412 impls, 309 clqs
0.89/0.99	c (round 3) 1413 del vars, 7367 del conss, 481 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 70838 impls, 296 clqs
0.99/1.05	c (round 4) 2117 del vars, 12047 del conss, 557 chg bounds, 15 chg sides, 57 chg coeffs, 0 upgd conss, 71485 impls, 292 clqs
0.99/1.08	c (round 5) 2237 del vars, 12871 del conss, 601 chg bounds, 17 chg sides, 62 chg coeffs, 0 upgd conss, 72135 impls, 289 clqs
0.99/1.10	c (round 6) 2289 del vars, 13124 del conss, 607 chg bounds, 20 chg sides, 68 chg coeffs, 0 upgd conss, 72186 impls, 289 clqs
1.10/1.12	c (round 7) 2308 del vars, 13196 del conss, 612 chg bounds, 20 chg sides, 70 chg coeffs, 0 upgd conss, 72213 impls, 289 clqs
1.10/1.14	c (round 8) 2322 del vars, 13509 del conss, 612 chg bounds, 20 chg sides, 70 chg coeffs, 0 upgd conss, 72213 impls, 288 clqs
1.10/1.16	c (round 9) 2325 del vars, 13511 del conss, 612 chg bounds, 20 chg sides, 70 chg coeffs, 0 upgd conss, 72213 impls, 288 clqs
1.49/1.57	c (round 10) 2325 del vars, 15235 del conss, 612 chg bounds, 23 chg sides, 70 chg coeffs, 13391 upgd conss, 72213 impls, 288 clqs
1.49/1.59	c (round 11) 2334 del vars, 15248 del conss, 612 chg bounds, 23 chg sides, 70 chg coeffs, 13391 upgd conss, 72213 impls, 288 clqs
1.59/1.64	c (round 12) 2334 del vars, 15250 del conss, 612 chg bounds, 25 chg sides, 70 chg coeffs, 13391 upgd conss, 72213 impls, 288 clqs
1.59/1.66	c (round 13) 2336 del vars, 15252 del conss, 612 chg bounds, 25 chg sides, 70 chg coeffs, 13457 upgd conss, 72213 impls, 288 clqs
1.69/1.71	c (round 14) 2336 del vars, 15254 del conss, 612 chg bounds, 25 chg sides, 70 chg coeffs, 13457 upgd conss, 72213 impls, 288 clqs
1.79/1.89	c (round 15) 2386 del vars, 15254 del conss, 612 chg bounds, 25 chg sides, 70 chg coeffs, 13457 upgd conss, 88647 impls, 279 clqs
1.89/1.91	c (round 16) 2386 del vars, 15320 del conss, 612 chg bounds, 25 chg sides, 70 chg coeffs, 13457 upgd conss, 88647 impls, 279 clqs
1.89/1.93	c (round 17) 2387 del vars, 15336 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 88647 impls, 279 clqs
1.89/1.98	c (round 18) 2388 del vars, 15337 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 88647 impls, 279 clqs
1.99/2.05	c (round 19) 2388 del vars, 15341 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 88647 impls, 279 clqs
2.29/2.34	c (round 20) 2438 del vars, 15342 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 92220 impls, 273 clqs
2.29/2.36	c (round 21) 2439 del vars, 15460 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 92221 impls, 273 clqs
2.29/2.38	c (round 22) 2441 del vars, 15463 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 92221 impls, 273 clqs
2.59/2.67	c (round 23) 2491 del vars, 15464 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 93086 impls, 273 clqs
2.59/2.69	c (round 24) 2493 del vars, 15490 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 93094 impls, 273 clqs
2.89/2.90	c (round 25) 2543 del vars, 15490 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 95259 impls, 272 clqs
2.89/2.92	c (round 26) 2545 del vars, 15510 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 95275 impls, 272 clqs
2.99/3.03	c (round 27) 2545 del vars, 15525 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 95275 impls, 272 clqs
3.09/3.16	c    (2.3s) probing: 1000/4052 (24.7%) - 53 fixings, 179 aggregations, 3835 implications, 0 bound changes
3.20/3.21	c (round 28) 2595 del vars, 15525 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 96639 impls, 270 clqs
3.20/3.23	c (round 29) 2595 del vars, 15572 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 96639 impls, 270 clqs
3.39/3.43	c (round 30) 2645 del vars, 15572 del conss, 612 chg bounds, 26 chg sides, 70 chg coeffs, 13457 upgd conss, 97878 impls, 269 clqs
3.39/3.45	c (round 31) 2646 del vars, 15589 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 97880 impls, 269 clqs
3.59/3.67	c (round 32) 2696 del vars, 15590 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 98957 impls, 268 clqs
3.59/3.69	c (round 33) 2696 del vars, 15614 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 98957 impls, 268 clqs
3.79/3.89	c    (3.0s) probing: 2000/4052 (49.4%) - 70 fixings, 329 aggregations, 5424 implications, 0 bound changes
3.89/3.90	c (round 34) 2746 del vars, 15615 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 99661 impls, 267 clqs
3.89/3.92	c (round 35) 2746 del vars, 15621 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 99661 impls, 267 clqs
3.99/4.08	c (round 36) 2796 del vars, 15621 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 100413 impls, 267 clqs
4.09/4.11	c (round 37) 2797 del vars, 15647 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 100415 impls, 267 clqs
4.19/4.28	c (round 38) 2847 del vars, 15647 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 101327 impls, 266 clqs
4.30/4.31	c (round 39) 2847 del vars, 15669 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 101327 impls, 266 clqs
4.59/4.66	c (round 40) 2847 del vars, 15762 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 101327 impls, 266 clqs
4.59/4.68	c (round 41) 2848 del vars, 15763 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 101327 impls, 266 clqs
4.79/4.87	c (round 42) 2898 del vars, 15764 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 103108 impls, 265 clqs
4.79/4.89	c (round 43) 2902 del vars, 15836 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 103556 impls, 265 clqs
5.09/5.10	c (round 44) 2902 del vars, 15869 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 103556 impls, 265 clqs
5.19/5.22	c    (4.2s) probing: 3000/4052 (74.0%) - 115 fixings, 452 aggregations, 7391 implications, 0 bound changes
5.29/5.32	c (round 45) 2952 del vars, 15869 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 104802 impls, 265 clqs
5.29/5.34	c (round 46) 2957 del vars, 15943 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 105140 impls, 265 clqs
5.59/5.62	c (round 47) 3007 del vars, 15944 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 108726 impls, 265 clqs
5.59/5.64	c (round 48) 3037 del vars, 16062 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 109572 impls, 265 clqs
5.79/5.80	c (round 49) 3037 del vars, 16121 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 109572 impls, 265 clqs
5.88/5.99	c    (4.9s) probing: 4000/4052 (98.7%) - 228 fixings, 468 aggregations, 11323 implications, 0 bound changes
5.88/5.99	c (round 50) 3083 del vars, 16121 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 112820 impls, 265 clqs
5.99/6.01	c (round 51) 3136 del vars, 16213 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 113674 impls, 265 clqs
6.09/6.10	c (round 52) 3136 del vars, 16224 del conss, 612 chg bounds, 27 chg sides, 70 chg coeffs, 13457 upgd conss, 113674 impls, 265 clqs
6.09/6.14	c presolving (53 rounds):
6.09/6.14	c  3136 deleted vars, 16224 deleted constraints, 612 tightened bounds, 0 added holes, 27 changed sides, 70 changed coefficients
6.09/6.14	c  113674 implications, 265 cliques
6.09/6.14	c presolved problem has 3252 variables (3252 bin, 0 int, 0 impl, 0 cont) and 12420 constraints
6.09/6.15	c     267 constraints of type <setppc>
6.09/6.15	c   12153 constraints of type <logicor>
6.09/6.15	c transformed objective value is always integral (scale: 1)
6.09/6.15	c Presolving Time: 4.95
6.09/6.15	c - non default parameters ----------------------------------------------------------------------
6.09/6.15	c # SCIP version 1.2.1.2
6.09/6.15	c 
6.09/6.15	c # frequency for displaying node information lines
6.09/6.15	c # [type: int, range: [-1,2147483647], default: 100]
6.09/6.15	c display/freq = 10000
6.09/6.15	c 
6.09/6.15	c # maximal time in seconds to run
6.09/6.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.09/6.15	c limits/time = 1799.48
6.09/6.15	c 
6.09/6.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.09/6.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.09/6.15	c limits/memory = 1620
6.09/6.15	c 
6.09/6.15	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
6.09/6.15	c # [type: int, range: [-1,2147483647], default: 1]
6.09/6.15	c lp/solvefreq = -1
6.09/6.15	c 
6.09/6.15	c # should presolving try to simplify inequalities
6.09/6.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.09/6.15	c constraints/linear/simplifyinequalities = TRUE
6.09/6.15	c 
6.09/6.15	c # should presolving try to simplify knapsacks
6.09/6.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.09/6.15	c constraints/knapsack/simplifyinequalities = TRUE
6.09/6.15	c 
6.09/6.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
6.09/6.15	c # [type: int, range: [-1,2147483647], default: -1]
6.09/6.15	c separating/rapidlearning/freq = 0
6.09/6.15	c 
6.09/6.15	c -----------------------------------------------------------------------------------------------
6.09/6.15	c start solving
6.09/6.15	c 
6.09/6.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.09/6.16	c   5.0s|     1 |     2 |     0 |     - |  31M|   0 |   - |3252 |  12k|   0 |   0 |   0 |   0 |   0 | 5.904000e+03 |      --      |    Inf 
103.56/103.68	c   102s| 10000 |  9971 |     0 |   0.0 |  37M| 101 |   - |3252 |  12k|   0 |   0 |   0 |  19 |   0 | 1.139000e+04 |      --      |    Inf 
199.43/199.51	c   198s| 20000 | 19969 |     0 |   0.0 |  43M| 101 |   - |3252 |  12k|   0 |   0 |   0 |  20 |   0 | 1.139200e+04 |      --      |    Inf 
294.81/294.99	c   293s| 30000 | 29966 |     0 |   0.0 |  48M| 101 |   - |3252 |  12k|   0 |   0 |   0 |  21 |   0 | 1.139300e+04 |      --      |    Inf 
389.98/390.14	c   388s| 40000 | 39966 |     0 |   0.0 |  54M| 101 |   - |3252 |  12k|   0 |   0 |   0 |  21 |   0 | 1.139400e+04 |      --      |    Inf 
485.26/485.46	c   483s| 50000 | 49966 |     0 |   0.0 |  59M| 103 |   - |3252 |  12k|   0 |   0 |   0 |  21 |   0 | 1.139500e+04 |      --      |    Inf 
578.35/578.59	c   575s| 60000 | 59957 |     0 |   0.0 |  64M| 125 |   - |3252 |  12k|   0 |   0 |   0 |  27 |   0 | 1.139500e+04 |      --      |    Inf 
671.82/672.02	c   668s| 70000 | 69953 |     0 |   0.0 |  70M| 125 |   - |3252 |  12k|   0 |   0 |   0 |  29 |   0 | 1.139500e+04 |      --      |    Inf 
763.59/763.85	c   760s| 80000 | 79951 |     0 |   0.0 |  75M| 133 |   - |3252 |  12k|   0 |   0 |   0 |  29 |   0 | 1.139500e+04 |      --      |    Inf 
855.17/855.47	c   851s| 90000 | 89935 |     0 |   0.0 |  80M| 143 |   - |3252 |  12k|   0 |   0 |   0 |  39 |   0 | 1.139500e+04 |      --      |    Inf 
945.35/945.66	c   941s|100000 | 99934 |     0 |   0.0 |  85M| 143 |   - |3252 |  12k|   0 |   0 |   0 |  39 |   0 | 1.139600e+04 |      --      |    Inf 
1034.92/1035.21	c  1030s|110000 |109926 |     0 |   0.0 |  91M| 143 |   - |3252 |  12k|   0 |   0 |   0 |  41 |   0 | 1.139600e+04 |      --      |    Inf 
1123.10/1123.41	c  1118s|120000 |119900 |     0 |   0.0 |  96M| 143 |   - |3252 |  12k|   0 |   0 |   0 |  52 |   0 | 1.139600e+04 |      --      |    Inf 
1212.27/1212.67	c  1207s|130000 |129886 |     0 |   0.0 | 101M| 143 |   - |3252 |  12k|   0 |   0 |   0 |  59 |   0 | 1.139600e+04 |      --      |    Inf 
1302.65/1303.08	c  1297s|140000 |139886 |     0 |   0.0 | 107M| 143 |   - |3252 |  12k|   0 |   0 |   0 |  59 |   0 | 1.139600e+04 |      --      |    Inf 
1392.14/1392.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1392.14/1392.51	c  1386s|150000 |149886 |     0 |   0.0 | 112M| 143 |   - |3252 |  12k|   0 |   0 |   0 |  59 |   0 | 1.139600e+04 |      --      |    Inf 
1480.91/1481.35	c  1475s|160000 |159884 |     0 |   0.0 | 118M| 143 |   - |3252 |  12k|   0 |   0 |   0 |  60 |   0 | 1.139600e+04 |      --      |    Inf 
1569.38/1569.89	c  1563s|170000 |169882 |     0 |   0.0 | 123M| 143 |   - |3252 |  12k|   0 |   0 |   0 |  61 |   0 | 1.139600e+04 |      --      |    Inf 
1657.06/1657.54	c  1650s|180000 |179870 |     0 |   0.0 | 128M| 151 |   - |3252 |  12k|   0 |   0 |   0 |  65 |   0 | 1.139600e+04 |      --      |    Inf 
1743.53/1744.09	c  1736s|190000 |189861 |     0 |   0.0 | 133M| 151 |   - |3252 |  12k|   0 |   0 |   0 |  67 |   0 | 1.139600e+04 |      --      |    Inf 
1800.03/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.51	c 
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time (sec) : 1792.54
1800.03/1800.51	c Solving Nodes      : 196555
1800.03/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.51	c Dual Bound         : +1.13960000000000e+04
1800.03/1800.51	c Gap                : infinite
1800.03/1800.51	s UNKNOWN
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time       :    1792.54
1800.03/1800.51	c Original Problem   :
1800.03/1800.51	c   Problem name     : HOME/instance-2683635-1277511138.opb
1800.03/1800.51	c   Variables        : 6389 (6389 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51	c   Constraints      : 28635 initial, 28635 maximal
1800.03/1800.51	c Presolved Problem  :
1800.03/1800.51	c   Problem name     : t_HOME/instance-2683635-1277511138.opb
1800.03/1800.51	c   Variables        : 3252 (3252 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51	c   Constraints      : 12420 initial, 12465 maximal
1800.03/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.51	c   trivial          :       0.02         33          0          0          0          0          0          0          0
1800.03/1800.51	c   dualfix          :       0.03        630          0          0          0          0          0          0          0
1800.03/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   implics          :       0.07          0        365          0          0          0          0          0          0
1800.03/1800.51	c   probing          :       2.17        228        468          0          0          0          0          0          0
1800.03/1800.51	c   setppc           :       0.05          0          1          0          0          0         30          2          0
1800.03/1800.51	c   linear           :       0.44        581        830          0        612          0      15178         25         70
1800.03/1800.51	c   logicor          :       2.03          0          0          0          0          0       1016          0          0
1800.03/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.51	c   setppc           :        267          0     591873          0     196496         62      62149          0          0          0
1800.03/1800.51	c   logicor          :      12153+         0     538281          0     196496        183    1012525          0          0          0
1800.03/1800.51	c   countsols        :          0          0          0          0     196496          0          0          0          0          0
1800.03/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.51	c   setppc           :      41.45       0.00      10.75       0.00      30.70
1800.03/1800.51	c   logicor          :    1384.18       0.00      11.03       0.00    1373.15
1800.03/1800.51	c   countsols        :       0.13       0.00       0.00       0.00       0.13
1800.03/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.51	c   vbounds          :       0.29          2          0          0
1800.03/1800.51	c   rootredcost      :       0.51          0          0          0
1800.03/1800.51	c   pseudoobj        :      65.39     581106          0          0
1800.03/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.51	c   propagation      :       0.00         62         59         69        2.8          2        8.0          -
1800.03/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.51	c   applied globally :          -          -          -         69        3.0          -          -          -
1800.03/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.51	c Pricers            :       Time      Calls       Vars
1800.03/1800.51	c   problem variables:       0.00          0          0
1800.03/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   inference        :     268.54     196496          0          0          0          0     392992
1800.03/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.51	c   LP solutions     :       0.00          -          0
1800.03/1800.51	c   pseudo solutions :       0.00          -          0
1800.03/1800.51	c   oneopt           :       0.11          0          0
1800.03/1800.51	c   trivial          :       0.02          2          0
1800.03/1800.51	c   simplerounding   :       0.00          0          0
1800.03/1800.51	c   zirounding       :       0.00          0          0
1800.03/1800.51	c   rounding         :       0.00          0          0
1800.03/1800.51	c   shifting         :       0.00          0          0
1800.03/1800.51	c   intshifting      :       0.00          0          0
1800.03/1800.51	c   twoopt           :       0.00          0          0
1800.03/1800.51	c   fixandinfer      :       0.00          0          0
1800.03/1800.51	c   feaspump         :       0.00          0          0
1800.03/1800.51	c   coefdiving       :       0.00          0          0
1800.03/1800.51	c   pscostdiving     :       0.00          0          0
1800.03/1800.51	c   fracdiving       :       0.00          0          0
1800.03/1800.51	c   veclendiving     :       0.00          0          0
1800.03/1800.51	c   intdiving        :       0.00          0          0
1800.03/1800.51	c   actconsdiving    :       0.00          0          0
1800.03/1800.51	c   objpscostdiving  :       0.00          0          0
1800.03/1800.51	c   rootsoldiving    :       0.00          0          0
1800.03/1800.51	c   linesearchdiving :       0.00          0          0
1800.03/1800.51	c   guideddiving     :       0.00          0          0
1800.03/1800.51	c   octane           :       0.00          0          0
1800.03/1800.51	c   rens             :       0.00          0          0
1800.03/1800.51	c   rins             :       0.00          0          0
1800.03/1800.51	c   localbranching   :       0.00          0          0
1800.03/1800.51	c   mutation         :       0.00          0          0
1800.03/1800.51	c   crossover        :       0.00          0          0
1800.03/1800.51	c   dins             :       0.00          0          0
1800.03/1800.51	c   undercover       :       0.00          0          0
1800.03/1800.51	c   nlp              :       0.36          0          0
1800.03/1800.51	c   trysol           :       0.07          0          0
1800.03/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.51	c B&B Tree           :
1800.03/1800.51	c   number of runs   :          1
1800.03/1800.51	c   nodes            :     196555
1800.03/1800.51	c   nodes (total)    :     196555
1800.03/1800.51	c   nodes left       :     196412
1800.03/1800.51	c   max depth        :        151
1800.03/1800.51	c   max depth (total):        151
1800.03/1800.51	c   backtracks       :       3130 (1.6%)
1800.03/1800.51	c   delayed cutoffs  :         26
1800.03/1800.51	c   repropagations   :       4420 (782 domain reductions, 3 cutoffs)
1800.03/1800.51	c   avg switch length:       2.60
1800.03/1800.51	c   switching time   :      11.84
1800.03/1800.51	c Solution           :
1800.03/1800.51	c   Solutions found  :          0 (0 improvements)
1800.03/1800.51	c   Primal Bound     :          -
1800.03/1800.51	c   Dual Bound       : +1.13960000000000e+04
1800.03/1800.51	c   Gap              :   infinite
1800.03/1800.51	c   Root Dual Bound  : +5.90400000000000e+03
1800.03/1800.51	c   Root Iterations  :          0
1800.42/1800.92	c Time complete: 1800.44.

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-2683635-1277511138/watcher-2683635-1277511138 -o /tmp/evaluation-result-2683635-1277511138/solver-2683635-1277511138 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683635-1277511138.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.15 1.04 1.01 3/106 31329
/proc/meminfo: memFree=1828372/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=5556 CPUtime=0
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 886 0 0 0 0 0 0 0 20 0 1 0 92405872 5689344 809 1992294400 4194304 7136930 140735342614640 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31329/statm: 1389 809 249 719 0 668 0

[startup+0.0296339 s]
/proc/loadavg: 1.15 1.04 1.01 3/106 31329
/proc/meminfo: memFree=1828372/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=10712 CPUtime=0.02
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 2165 0 0 0 2 0 0 0 20 0 1 0 92405872 10969088 2087 1992294400 4194304 7136930 140735342614640 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31329/statm: 2678 2087 271 719 0 1957 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10712

[startup+0.101642 s]
/proc/loadavg: 1.15 1.04 1.01 3/106 31329
/proc/meminfo: memFree=1828372/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=13388 CPUtime=0.1
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 2854 0 0 0 9 1 0 0 20 0 1 0 92405872 13709312 2776 1992294400 4194304 7136930 140735342614640 18446744073709551615 5652229 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31329/statm: 3347 2776 271 719 0 2626 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13388

[startup+0.300664 s]
/proc/loadavg: 1.15 1.04 1.01 3/106 31329
/proc/meminfo: memFree=1828372/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=18832 CPUtime=0.29
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 4216 0 0 0 28 1 0 0 20 0 1 0 92405872 19283968 4138 1992294400 4194304 7136930 140735342614640 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31329/statm: 4708 4138 271 719 0 3987 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18832

[startup+0.700706 s]
/proc/loadavg: 1.15 1.04 1.01 3/106 31329
/proc/meminfo: memFree=1828372/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=51840 CPUtime=0.69
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 12499 0 0 0 64 5 0 0 21 0 1 0 92405872 53084160 12067 1992294400 4194304 7136930 140735342614640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 12960 12067 342 719 0 12239 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51840

[startup+1.50079 s]
/proc/loadavg: 1.15 1.04 1.01 2/107 31330
/proc/meminfo: memFree=1777400/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=60240 CPUtime=1.49
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 17619 0 0 0 130 19 0 0 23 0 1 0 92405872 61685760 14168 1992294400 4194304 7136930 140735342614640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 15060 14168 358 719 0 14339 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60240

[startup+3.10096 s]
/proc/loadavg: 1.13 1.04 1.01 2/107 31330
/proc/meminfo: memFree=1771200/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=61588 CPUtime=3.09
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 26637 0 0 0 272 37 0 0 25 0 1 0 92405872 63066112 14516 1992294400 4194304 7136930 140735342614640 18446744073709551615 4705716 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 15397 14516 370 719 0 14676 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61588

[startup+6.30031 s]
/proc/loadavg: 1.13 1.04 1.01 2/107 31332
/proc/meminfo: memFree=1769588/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=63644 CPUtime=6.29
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 38278 0 0 0 567 62 0 0 25 0 1 0 92405872 65171456 15047 1992294400 4194304 7136930 140735342614640 18446744073709551615 4697407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 15911 15047 388 719 0 15190 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63644

[startup+12.702 s]
/proc/loadavg: 1.11 1.04 1.01 2/107 31332
/proc/meminfo: memFree=1768472/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=64292 CPUtime=12.69
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 38452 0 0 0 1204 65 0 0 25 0 1 0 92405872 65835008 15221 1992294400 4194304 7136930 140735342614640 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 16073 15221 392 719 0 15352 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64292

[startup+25.5014 s]
/proc/loadavg: 1.10 1.03 1.01 2/107 31332
/proc/meminfo: memFree=1766860/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=66020 CPUtime=25.49
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 38879 0 0 0 2479 70 0 0 25 0 1 0 92405872 67604480 15648 1992294400 4194304 7136930 140735342614640 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 16505 15648 392 719 0 15784 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66020

[startup+51.1011 s]
/proc/loadavg: 1.06 1.03 1.01 2/107 31332
/proc/meminfo: memFree=1765496/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=67900 CPUtime=51.08
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 39359 0 0 0 5028 80 0 0 25 0 1 0 92405872 69529600 16128 1992294400 4194304 7136930 140735342614640 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 16975 16128 392 719 0 16254 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67900

[startup+102.309 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 31334
/proc/meminfo: memFree=1761652/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=71024 CPUtime=102.27
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 40157 0 0 0 10130 97 0 0 25 0 1 0 92405872 72728576 16926 1992294400 4194304 7136930 140735342614640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 17756 16926 392 719 0 17035 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 71024

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 31336
/proc/meminfo: memFree=1758304/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=74196 CPUtime=162.25
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 40976 0 0 0 16107 118 0 0 25 0 1 0 92405872 75976704 17745 1992294400 4194304 7136930 140735342614640 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 18549 17745 392 719 0 17828 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 74196

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31336
/proc/meminfo: memFree=1754088/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=78324 CPUtime=222.24
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 42030 0 0 0 22087 137 0 0 25 0 1 0 92405872 80203776 18799 1992294400 4194304 7136930 140735342614640 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 19581 18799 392 719 0 18860 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 78324

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31338
/proc/meminfo: memFree=1749872/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=82336 CPUtime=282.21
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 43058 0 0 0 28065 156 0 0 25 0 1 0 92405872 84312064 19827 1992294400 4194304 7136930 140735342614640 18446744073709551615 4414776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 20584 19827 392 719 0 19863 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 82336

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31340
/proc/meminfo: memFree=1746276/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=85804 CPUtime=342.2
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 43957 0 0 0 34043 177 0 0 25 0 1 0 92405872 87863296 20726 1992294400 4194304 7136930 140735342614640 18446744073709551615 5005152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 21451 20726 392 719 0 20730 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 85804

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31342
/proc/meminfo: memFree=1742556/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=89480 CPUtime=402.18
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 44881 0 0 0 40021 197 0 0 25 0 1 0 92405872 91627520 21650 1992294400 4194304 7136930 140735342614640 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 22370 21650 392 719 0 21649 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 89480

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31344
/proc/meminfo: memFree=1737720/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=93984 CPUtime=462.17
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 46062 0 0 0 46000 217 0 0 25 0 1 0 92405872 96239616 22831 1992294400 4194304 7136930 140735342614640 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 23496 22831 392 719 0 22775 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 93984

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31344
/proc/meminfo: memFree=1734744/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=97276 CPUtime=522.15
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 46879 0 0 0 51978 237 0 0 25 0 1 0 92405872 99610624 23648 1992294400 4194304 7136930 140735342614640 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 24319 23648 392 719 0 23598 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 97276

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31346
/proc/meminfo: memFree=1733008/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=99456 CPUtime=582.13
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 47472 0 0 0 57958 255 0 0 25 0 1 0 92405872 101842944 24241 1992294400 4194304 7136930 140735342614640 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 24864 24241 392 719 0 24143 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 99456

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31348
/proc/meminfo: memFree=1728668/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=104836 CPUtime=642.13
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 48307 0 0 0 63934 279 0 0 25 0 1 0 92405872 107352064 25076 1992294400 4194304 7136930 140735342614640 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 26209 25076 392 719 0 25488 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 104836

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31358
/proc/meminfo: memFree=1703372/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=129124 CPUtime=1002.03
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 54566 0 0 0 99796 407 0 0 25 0 1 0 92405872 132222976 31335 1992294400 4194304 7136930 140735342614640 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 32281 31335 392 719 0 31560 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 129124

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31360
/proc/meminfo: memFree=1699652/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=132596 CPUtime=1062.01
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 55462 0 0 0 105773 428 0 0 25 0 1 0 92405872 135778304 32231 1992294400 4194304 7136930 140735342614640 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 33149 32231 392 719 0 32428 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 132596

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31360
/proc/meminfo: memFree=1695808/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=136376 CPUtime=1121.99
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 56432 0 0 0 111750 449 0 0 25 0 1 0 92405872 139649024 33201 1992294400 4194304 7136930 140735342614640 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 34094 33201 392 719 0 33373 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 136376

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31362
/proc/meminfo: memFree=1692832/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=139212 CPUtime=1181.98
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 57137 0 0 0 117725 473 0 0 25 0 1 0 92405872 142553088 33906 1992294400 4194304 7136930 140735342614640 18446744073709551615 4643155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 34803 33906 392 719 0 34082 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 139212

[startup+1242.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 31367
/proc/meminfo: memFree=1690540/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=140756 CPUtime=1241.96
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 57551 0 0 0 123703 493 0 0 25 0 1 0 92405872 144134144 34320 1992294400 4194304 7136930 140735342614640 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 35189 34320 392 719 0 34468 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 140756

[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 31369
/proc/meminfo: memFree=1687316/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=143744 CPUtime=1301.95
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 58348 0 0 0 129679 516 0 0 25 0 1 0 92405872 147193856 35117 1992294400 4194304 7136930 140735342614640 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 35936 35117 392 719 0 35215 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 143744

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31371
/proc/meminfo: memFree=1681736/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=149264 CPUtime=1361.93
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 59757 0 0 0 135655 538 0 0 25 0 1 0 92405872 152846336 36526 1992294400 4194304 7136930 140735342614640 18446744073709551615 5005150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 37316 36526 392 719 0 36595 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 149264

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31371
/proc/meminfo: memFree=1678512/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=152448 CPUtime=1421.92
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 60548 0 0 0 141634 558 0 0 25 0 1 0 92405872 156106752 37317 1992294400 4194304 7136930 140735342614640 18446744073709551615 4740353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 38112 37317 392 719 0 37391 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 152448

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31373
/proc/meminfo: memFree=1672312/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=158316 CPUtime=1481.9
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 62074 0 0 0 147612 578 0 0 25 0 1 0 92405872 162115584 38843 1992294400 4194304 7136930 140735342614640 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 39579 38843 392 719 0 38858 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 158316

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31375
/proc/meminfo: memFree=1670824/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=160000 CPUtime=1541.89
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 62520 0 0 0 153588 601 0 0 25 0 1 0 92405872 163840000 39289 1992294400 4194304 7136930 140735342614640 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 40000 39289 392 719 0 39279 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 160000

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31377
/proc/meminfo: memFree=1668716/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=161936 CPUtime=1601.87
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 63030 0 0 0 159564 623 0 0 25 0 1 0 92405872 165822464 39799 1992294400 4194304 7136930 140735342614640 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 40484 39799 392 719 0 39763 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 161936

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31379
/proc/meminfo: memFree=1663880/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=166692 CPUtime=1661.86
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 64235 0 0 0 165540 646 0 0 25 0 1 0 92405872 170692608 41004 1992294400 4194304 7136930 140735342614640 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 41673 41004 392 719 0 40952 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 166692

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31379
/proc/meminfo: memFree=1660532/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=169904 CPUtime=1721.84
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 65062 0 0 0 171516 668 0 0 25 0 1 0 92405872 173981696 41831 1992294400 4194304 7136930 140735342614640 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 42476 41831 392 719 0 41755 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 169904

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31381
/proc/meminfo: memFree=1657556/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=172732 CPUtime=1781.82
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 65800 0 0 0 177491 691 0 0 25 0 1 0 92405872 176877568 42569 1992294400 4194304 7136930 140735342614640 18446744073709551615 4697099 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 43183 42569 392 719 0 42462 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 172732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31381
/proc/meminfo: memFree=1655572/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=174660 CPUtime=1800.03
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 66290 0 0 0 179304 699 0 0 25 0 1 0 92405872 178851840 43059 1992294400 4194304 7136930 140735342614640 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31329/statm: 43665 43059 392 719 0 42944 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 174660

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31382
/proc/meminfo: memFree=1655564/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=174660 CPUtime=1800.14
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 66295 0 0 0 179315 699 0 0 25 0 1 0 92405872 178851840 43064 1992294400 4194304 7136930 140735342614640 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31329/statm: 43665 43064 397 719 0 42944 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 174660

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31382
/proc/meminfo: memFree=1655564/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=171812 CPUtime=1800.32
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 66295 0 0 0 179333 699 0 0 25 0 1 0 92405872 175935488 42352 1992294400 4194304 7136930 140735342614640 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31329/statm: 42953 42352 397 719 0 42232 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 171812

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31382
/proc/meminfo: memFree=1655564/2059040 swapFree=4135892/4192956
[pid=31329] ppid=31327 vsize=36632 CPUtime=1800.42
/proc/31329/stat : 31329 (pbscip.linux.x8) R 31327 31329 30850 0 -1 4202496 66295 0 0 0 179341 701 0 0 25 0 1 0 92405872 37511168 8604 1992294400 4194304 7136930 140735342614640 18446744073709551615 4387400 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31329/statm: 9158 8604 397 719 0 8437 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 36632

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.45
CPU user time (s): 1793.43
CPU system time (s): 7.01593
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 174660

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

runsolver used 2.83657 second user time and 8.64468 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-26 02:12:18
IDJOB=2683635
IDBENCH=72127
IDSOLVER=1167
FILE ID=node047/2683635-1277511138
PBS_JOBID= 11190634
Free space on /tmp= 62480 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.biglist/normalized-randb87834.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-2683635-1277511138/watcher-2683635-1277511138 -o /tmp/evaluation-result-2683635-1277511138/solver-2683635-1277511138 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683635-1277511138.opb -t 1800 -m 1800

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

MD5SUM BENCH= c9d2aa349018f64c4f149f47f6a63818
RANDOM SEED=1108132886

node047.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.244
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.48
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.244
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1828900 kB
Buffers:         35864 kB
Cached:          99372 kB
SwapCached:       9576 kB
Active:          83328 kB
Inactive:        64680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1828900 kB
SwapTotal:     4192956 kB
SwapFree:      4135892 kB
Dirty:            4336 kB
Writeback:          16 kB
AnonPages:       11544 kB
Mapped:           8328 kB
Slab:            60232 kB
PageTables:       4216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180492 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= 62476 MiB
End job on node047 at 2010-06-26 02:42:21