Trace number 2683362

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 1801.01

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand71b131.cudf.paranoid.opb
MD5SUM0a3321c229fdd8db7a8cd40af6f6442f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5657
Best CPU time to get the best result obtained on this benchmark2.73458
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6124
Total number of constraints27447
Number of constraints which are clauses27162
Number of constraints which are cardinality constraints (but not clauses)285
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 2302
Biggest coefficient in the objective function 1753
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 967654
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1753
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 967654
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-2683362-1277509145.opb>
0.39/0.46	c original problem has 6124 variables (6124 bin, 0 int, 0 impl, 0 cont) and 27447 constraints
0.39/0.46	c problem read
0.39/0.46	c presolving settings loaded
0.39/0.46	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.49/0.59	c presolving:
0.69/0.78	c (round 1) 744 del vars, 1489 del conss, 32 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73930 impls, 280 clqs
0.79/0.83	c (round 2) 838 del vars, 1858 del conss, 63 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 82329 impls, 279 clqs
0.89/0.90	c (round 3) 1338 del vars, 7210 del conss, 327 chg bounds, 6 chg sides, 20 chg coeffs, 0 upgd conss, 84392 impls, 261 clqs
0.89/0.95	c (round 4) 2020 del vars, 11708 del conss, 426 chg bounds, 15 chg sides, 46 chg coeffs, 0 upgd conss, 85038 impls, 255 clqs
0.89/0.97	c (round 5) 2103 del vars, 12406 del conss, 450 chg bounds, 18 chg sides, 52 chg coeffs, 0 upgd conss, 85186 impls, 255 clqs
0.89/1.00	c (round 6) 2151 del vars, 12725 del conss, 468 chg bounds, 19 chg sides, 55 chg coeffs, 0 upgd conss, 85226 impls, 254 clqs
1.00/1.01	c (round 7) 2160 del vars, 12837 del conss, 468 chg bounds, 20 chg sides, 57 chg coeffs, 0 upgd conss, 85230 impls, 254 clqs
1.00/1.03	c (round 8) 2163 del vars, 12845 del conss, 468 chg bounds, 20 chg sides, 57 chg coeffs, 0 upgd conss, 85230 impls, 254 clqs
1.19/1.25	c (round 9) 2165 del vars, 14484 del conss, 468 chg bounds, 23 chg sides, 57 chg coeffs, 12921 upgd conss, 85230 impls, 254 clqs
1.19/1.27	c (round 10) 2170 del vars, 14489 del conss, 468 chg bounds, 23 chg sides, 57 chg coeffs, 12921 upgd conss, 85230 impls, 254 clqs
1.29/1.33	c (round 11) 2170 del vars, 14491 del conss, 468 chg bounds, 24 chg sides, 57 chg coeffs, 12921 upgd conss, 85230 impls, 254 clqs
1.29/1.35	c (round 12) 2171 del vars, 14492 del conss, 468 chg bounds, 24 chg sides, 57 chg coeffs, 12975 upgd conss, 85230 impls, 254 clqs
1.59/1.68	c (round 13) 2221 del vars, 14492 del conss, 468 chg bounds, 24 chg sides, 57 chg coeffs, 12976 upgd conss, 102805 impls, 247 clqs
1.69/1.70	c (round 14) 2224 del vars, 14546 del conss, 468 chg bounds, 24 chg sides, 57 chg coeffs, 12976 upgd conss, 102818 impls, 247 clqs
1.69/1.75	c (round 15) 2227 del vars, 14548 del conss, 468 chg bounds, 24 chg sides, 57 chg coeffs, 12976 upgd conss, 102818 impls, 247 clqs
1.90/1.94	c (round 16) 2227 del vars, 14577 del conss, 468 chg bounds, 24 chg sides, 57 chg coeffs, 12976 upgd conss, 102818 impls, 247 clqs
1.90/1.95	c (round 17) 2228 del vars, 14578 del conss, 468 chg bounds, 24 chg sides, 57 chg coeffs, 12976 upgd conss, 102818 impls, 247 clqs
2.20/2.26	c (round 18) 2278 del vars, 14578 del conss, 468 chg bounds, 24 chg sides, 57 chg coeffs, 12976 upgd conss, 105418 impls, 246 clqs
2.20/2.28	c (round 19) 2278 del vars, 14589 del conss, 468 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 105418 impls, 246 clqs
2.29/2.33	c (round 20) 2278 del vars, 14591 del conss, 468 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 105418 impls, 246 clqs
2.39/2.40	c (round 21) 2278 del vars, 14593 del conss, 468 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 105418 impls, 246 clqs
2.59/2.61	c (round 22) 2328 del vars, 14594 del conss, 468 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 107537 impls, 241 clqs
2.59/2.63	c (round 23) 2330 del vars, 14691 del conss, 469 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 107541 impls, 241 clqs
2.59/2.65	c (round 24) 2332 del vars, 14693 del conss, 469 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 107541 impls, 241 clqs
2.79/2.80	c    (2.0s) probing: 1000/3953 (25.3%) - 37 fixings, 142 aggregations, 3840 implications, 0 bound changes
2.79/2.84	c (round 25) 2382 del vars, 14694 del conss, 469 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 108857 impls, 239 clqs
2.79/2.86	c (round 26) 2384 del vars, 14715 del conss, 469 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 108867 impls, 239 clqs
2.99/3.05	c (round 27) 2434 del vars, 14715 del conss, 469 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 110556 impls, 237 clqs
2.99/3.07	c (round 28) 2441 del vars, 14738 del conss, 475 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 110576 impls, 237 clqs
2.99/3.09	c (round 29) 2448 del vars, 14755 del conss, 475 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 110576 impls, 237 clqs
3.09/3.11	c (round 30) 2449 del vars, 14756 del conss, 475 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 110576 impls, 237 clqs
3.09/3.17	c (round 31) 2449 del vars, 14767 del conss, 475 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 110576 impls, 237 clqs
3.30/3.34	c (round 32) 2500 del vars, 14767 del conss, 475 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 111590 impls, 235 clqs
3.30/3.36	c (round 33) 2500 del vars, 14784 del conss, 475 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 111590 impls, 235 clqs
3.49/3.53	c (round 34) 2550 del vars, 14784 del conss, 475 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 112061 impls, 235 clqs
3.49/3.56	c (round 35) 2552 del vars, 14801 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 112066 impls, 235 clqs
3.59/3.61	c (round 36) 2553 del vars, 14808 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 112066 impls, 235 clqs
3.59/3.66	c    (2.8s) probing: 2000/3953 (50.6%) - 61 fixings, 290 aggregations, 5308 implications, 0 bound changes
3.69/3.75	c (round 37) 2603 del vars, 14808 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 112631 impls, 233 clqs
3.69/3.77	c (round 38) 2603 del vars, 14829 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 112631 impls, 233 clqs
3.89/3.95	c (round 39) 2653 del vars, 14829 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 114201 impls, 233 clqs
3.89/3.97	c (round 40) 2653 del vars, 14838 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 114201 impls, 233 clqs
3.99/4.02	c (round 41) 2653 del vars, 14840 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 114201 impls, 233 clqs
4.19/4.22	c (round 42) 2703 del vars, 14840 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 115510 impls, 233 clqs
4.19/4.24	c (round 43) 2705 del vars, 14880 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 115514 impls, 233 clqs
4.29/4.31	c (round 44) 2705 del vars, 14894 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 115514 impls, 233 clqs
4.40/4.40	c    (3.5s) probing: 3000/3953 (75.9%) - 86 fixings, 423 aggregations, 7230 implications, 0 bound changes
4.49/4.50	c (round 45) 2755 del vars, 14895 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 116782 impls, 233 clqs
4.49/4.52	c (round 46) 2768 del vars, 14987 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 116994 impls, 233 clqs
4.49/4.58	c (round 47) 2768 del vars, 14990 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 116994 impls, 233 clqs
4.79/4.87	c (round 48) 2818 del vars, 14990 del conss, 476 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 121400 impls, 233 clqs
4.79/4.89	c (round 49) 2870 del vars, 15107 del conss, 477 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 121911 impls, 233 clqs
4.89/4.91	c (round 50) 2871 del vars, 15110 del conss, 477 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 121911 impls, 232 clqs
4.89/4.99	c (round 51) 2871 del vars, 15168 del conss, 477 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 121911 impls, 232 clqs
4.99/5.08	c (round 52) 2878 del vars, 15168 del conss, 477 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 123331 impls, 232 clqs
5.09/5.10	c (round 53) 2887 del vars, 15182 del conss, 477 chg bounds, 25 chg sides, 57 chg coeffs, 12976 upgd conss, 123357 impls, 232 clqs
5.09/5.15	c presolving (54 rounds):
5.09/5.15	c  2887 deleted vars, 15182 deleted constraints, 477 tightened bounds, 0 added holes, 25 changed sides, 57 changed coefficients
5.09/5.15	c  123357 implications, 232 cliques
5.09/5.15	c presolved problem has 3237 variables (3237 bin, 0 int, 0 impl, 0 cont) and 12272 constraints
5.09/5.15	c     234 constraints of type <setppc>
5.09/5.15	c   12038 constraints of type <logicor>
5.09/5.15	c transformed objective value is always integral (scale: 1)
5.09/5.15	c Presolving Time: 4.09
5.09/5.15	c - non default parameters ----------------------------------------------------------------------
5.09/5.15	c # SCIP version 1.2.1.2
5.09/5.15	c 
5.09/5.15	c # frequency for displaying node information lines
5.09/5.15	c # [type: int, range: [-1,2147483647], default: 100]
5.09/5.15	c display/freq = 10000
5.09/5.15	c 
5.09/5.15	c # maximal time in seconds to run
5.09/5.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.15	c limits/time = 1799.55
5.09/5.15	c 
5.09/5.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.09/5.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.15	c limits/memory = 1620
5.09/5.15	c 
5.09/5.15	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.09/5.15	c # [type: int, range: [-1,2147483647], default: 1]
5.09/5.15	c lp/solvefreq = -1
5.09/5.15	c 
5.09/5.15	c # should presolving try to simplify inequalities
5.09/5.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.15	c constraints/linear/simplifyinequalities = TRUE
5.09/5.15	c 
5.09/5.15	c # should presolving try to simplify knapsacks
5.09/5.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.15	c constraints/knapsack/simplifyinequalities = TRUE
5.09/5.15	c 
5.09/5.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.09/5.15	c # [type: int, range: [-1,2147483647], default: -1]
5.09/5.15	c separating/rapidlearning/freq = 0
5.09/5.15	c 
5.09/5.15	c -----------------------------------------------------------------------------------------------
5.09/5.15	c start solving
5.09/5.15	c 
5.09/5.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.09/5.16	c   4.2s|     1 |     2 |     0 |     - |  30M|   0 |   - |3237 |  12k|   0 |   0 |   0 |   0 |   0 | 2.118000e+03 |      --      |    Inf 
95.57/95.70	c  94.4s| 10000 |  9989 |     0 |   0.0 |  35M| 171 |   - |3237 |  12k|   0 |   0 |   0 |  11 |   0 | 5.628000e+03 |      --      |    Inf 
181.34/181.48	c   180s| 20000 | 19969 |     0 |   0.0 |  39M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  22 |   0 | 5.628000e+03 |      --      |    Inf 
265.62/265.73	c   264s| 30000 | 29966 |     0 |   0.0 |  44M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  23 |   0 | 5.628000e+03 |      --      |    Inf 
347.99/348.15	c   346s| 40000 | 39961 |     0 |   0.0 |  48M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  23 |   0 | 5.628000e+03 |      --      |    Inf 
428.78/428.97	c   426s| 50000 | 49961 |     0 |   0.0 |  53M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  23 |   0 | 5.628000e+03 |      --      |    Inf 
508.74/508.97	c   506s| 60000 | 59961 |     0 |   0.0 |  57M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  23 |   0 | 5.628000e+03 |      --      |    Inf 
590.21/590.43	c   587s| 70000 | 69957 |     0 |   0.0 |  62M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  25 |   0 | 5.628000e+03 |      --      |    Inf 
672.59/672.88	c   669s| 80000 | 79939 |     0 |   0.0 |  67M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  31 |   0 | 5.629000e+03 |      --      |    Inf 
753.46/753.76	c   750s| 90000 | 89923 |     0 |   0.0 |  72M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  36 |   0 | 5.629000e+03 |      --      |    Inf 
832.93/833.28	c   829s|100000 | 99890 |     0 |   0.0 |  77M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  50 |   0 | 5.629000e+03 |      --      |    Inf 
915.72/916.09	c   911s|110000 |109888 |     0 |   0.0 |  82M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  51 |   0 | 5.629000e+03 |      --      |    Inf 
997.40/997.73	c   993s|120000 |119887 |     0 |   0.0 |  86M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  51 |   0 | 5.629000e+03 |      --      |    Inf 
1077.68/1078.06	c  1073s|130000 |129887 |     0 |   0.0 |  91M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  51 |   0 | 5.629000e+03 |      --      |    Inf 
1157.04/1157.43	c  1152s|140000 |139887 |     0 |   0.0 |  96M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  51 |   0 | 5.629000e+03 |      --      |    Inf 
1237.62/1238.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1237.62/1238.07	c  1232s|150000 |149884 |     0 |   0.0 | 101M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  52 |   0 | 5.629000e+03 |      --      |    Inf 
1320.08/1320.58	c  1314s|160000 |159864 |     0 |   0.0 | 106M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  53 |   0 | 5.629000e+03 |      --      |    Inf 
1401.16/1401.62	c  1395s|170000 |169862 |     0 |   0.0 | 111M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  53 |   0 | 5.629000e+03 |      --      |    Inf 
1480.63/1481.18	c  1474s|180000 |179855 |     0 |   0.0 | 115M| 199 |   - |3237 |  12k|   0 |   0 |   0 |  57 |   0 | 5.629000e+03 |      --      |    Inf 
1559.91/1560.47	c  1553s|190000 |189853 |     0 |   0.0 | 120M| 209 |   - |3237 |  12k|   0 |   0 |   0 |  58 |   0 | 5.629000e+03 |      --      |    Inf 
1641.88/1642.47	c  1635s|200000 |199853 |     0 |   0.0 | 125M| 209 |   - |3237 |  12k|   0 |   0 |   0 |  58 |   0 | 5.630000e+03 |      --      |    Inf 
1722.46/1723.06	c  1715s|210000 |209847 |     0 |   0.0 | 130M| 213 |   - |3237 |  12k|   0 |   0 |   0 |  62 |   0 | 5.630000e+03 |      --      |    Inf 
1800.05/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.62	c 
1800.05/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.62	c Solving Time (sec) : 1792.56
1800.05/1800.62	c Solving Nodes      : 219760
1800.05/1800.62	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.62	c Dual Bound         : +5.63000000000000e+03
1800.05/1800.62	c Gap                : infinite
1800.05/1800.62	s UNKNOWN
1800.05/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.62	c Solving Time       :    1792.56
1800.05/1800.62	c Original Problem   :
1800.05/1800.62	c   Problem name     : HOME/instance-2683362-1277509145.opb
1800.05/1800.62	c   Variables        : 6124 (6124 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62	c   Constraints      : 27447 initial, 27447 maximal
1800.05/1800.62	c Presolved Problem  :
1800.05/1800.62	c   Problem name     : t_HOME/instance-2683362-1277509145.opb
1800.05/1800.62	c   Variables        : 3237 (3237 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62	c   Constraints      : 12272 initial, 12318 maximal
1800.05/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.62	c   trivial          :       0.05        159          0          0          0          0          0          0          0
1800.05/1800.62	c   dualfix          :       0.00        587          0          0          0          0          0          0          0
1800.05/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   implics          :       0.09          0        290          0          0          0          0          0          0
1800.05/1800.62	c   probing          :       2.04        176        432          0          0          0          0          0          0
1800.05/1800.62	c   setppc           :       0.01          0          3          0          0          0         27          1          0
1800.05/1800.62	c   linear           :       0.38        441        799          0        468          0      14471         24         57
1800.05/1800.62	c   logicor          :       1.39          0          0          0          9          0        684          0          0
1800.05/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.62	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.62	c   setppc           :        234          0     604369          0     219708         35      56697          0          0          0
1800.05/1800.62	c   logicor          :      12038+         0     555318          0     219708        152     875243          0          0          0
1800.05/1800.62	c   countsols        :          0          0          0          0     219708          0          0          0          0          0
1800.05/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.62	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.62	c   setppc           :      36.80       0.00       9.40       0.00      27.40
1800.05/1800.62	c   logicor          :    1380.27       0.00       9.47       0.00    1370.80
1800.05/1800.62	c   countsols        :       0.19       0.00       0.00       0.00       0.19
1800.05/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.62	c   vbounds          :       0.46          2          0          0
1800.05/1800.62	c   rootredcost      :       0.47          0          0          0
1800.05/1800.62	c   pseudoobj        :      68.76     593830          0          0
1800.05/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.62	c   propagation      :       0.00         55         55         63        2.5          2        2.5          -
1800.05/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.62	c   applied globally :          -          -          -         63        2.4          -          -          -
1800.05/1800.62	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.62	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.62	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.62	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.62	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.62	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.62	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.62	c Pricers            :       Time      Calls       Vars
1800.05/1800.62	c   problem variables:       0.00          0          0
1800.05/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   inference        :     275.46     219708          0          0          0          0     439416
1800.05/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.62	c   LP solutions     :       0.00          -          0
1800.05/1800.62	c   pseudo solutions :       0.00          -          0
1800.05/1800.62	c   oneopt           :       0.16          0          0
1800.05/1800.62	c   trivial          :       0.02          2          0
1800.05/1800.62	c   simplerounding   :       0.00          0          0
1800.05/1800.62	c   zirounding       :       0.00          0          0
1800.05/1800.62	c   rounding         :       0.00          0          0
1800.05/1800.62	c   shifting         :       0.00          0          0
1800.05/1800.62	c   intshifting      :       0.00          0          0
1800.05/1800.62	c   twoopt           :       0.00          0          0
1800.05/1800.62	c   fixandinfer      :       0.00          0          0
1800.05/1800.62	c   feaspump         :       0.00          0          0
1800.05/1800.62	c   coefdiving       :       0.00          0          0
1800.05/1800.62	c   pscostdiving     :       0.00          0          0
1800.05/1800.62	c   fracdiving       :       0.00          0          0
1800.05/1800.62	c   veclendiving     :       0.00          0          0
1800.05/1800.62	c   intdiving        :       0.00          0          0
1800.05/1800.62	c   actconsdiving    :       0.00          0          0
1800.05/1800.62	c   objpscostdiving  :       0.00          0          0
1800.05/1800.62	c   rootsoldiving    :       0.00          0          0
1800.05/1800.62	c   linesearchdiving :       0.00          0          0
1800.05/1800.62	c   guideddiving     :       0.00          0          0
1800.05/1800.62	c   octane           :       0.00          0          0
1800.05/1800.62	c   rens             :       0.00          0          0
1800.05/1800.62	c   rins             :       0.00          0          0
1800.05/1800.62	c   localbranching   :       0.00          0          0
1800.05/1800.62	c   mutation         :       0.00          0          0
1800.05/1800.62	c   crossover        :       0.00          0          0
1800.05/1800.62	c   dins             :       0.00          0          0
1800.05/1800.62	c   undercover       :       0.00          0          0
1800.05/1800.62	c   nlp              :       0.29          0          0
1800.05/1800.62	c   trysol           :       0.10          0          0
1800.05/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.62	c B&B Tree           :
1800.05/1800.62	c   number of runs   :          1
1800.05/1800.62	c   nodes            :     219760
1800.05/1800.62	c   nodes (total)    :     219760
1800.05/1800.62	c   nodes left       :     219605
1800.05/1800.62	c   max depth        :        225
1800.05/1800.62	c   max depth (total):        225
1800.05/1800.62	c   backtracks       :       2292 (1.0%)
1800.05/1800.62	c   delayed cutoffs  :         52
1800.05/1800.62	c   repropagations   :       5163 (946 domain reductions, 3 cutoffs)
1800.05/1800.62	c   avg switch length:       2.52
1800.05/1800.62	c   switching time   :      10.62
1800.05/1800.62	c Solution           :
1800.05/1800.62	c   Solutions found  :          0 (0 improvements)
1800.05/1800.62	c   Primal Bound     :          -
1800.05/1800.62	c   Dual Bound       : +5.63000000000000e+03
1800.05/1800.62	c   Gap              :   infinite
1800.05/1800.62	c   Root Dual Bound  : +2.11800000000000e+03
1800.05/1800.62	c   Root Iterations  :          0
1800.43/1801.01	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-2683362-1277509145/watcher-2683362-1277509145 -o /tmp/evaluation-result-2683362-1277509145/solver-2683362-1277509145 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683362-1277509145.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 31276
/proc/meminfo: memFree=1883040/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=6584 CPUtime=0
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 1145 0 0 0 0 0 0 0 25 0 1 0 92208118 6742016 1066 1992294400 4194304 7136930 140733608192576 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31276/statm: 1646 1075 254 719 0 925 0

[startup+0.015545 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 31276
/proc/meminfo: memFree=1883040/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=9148 CPUtime=0
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 1774 0 0 0 0 0 0 0 25 0 1 0 92208118 9367552 1695 1992294400 4194304 7136930 140733608192576 18446744073709551615 6340056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31276/statm: 2287 1695 266 719 0 1566 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.101554 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 31276
/proc/meminfo: memFree=1883040/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=13856 CPUtime=0.09
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 2970 0 0 0 9 0 0 0 25 0 1 0 92208118 14188544 2891 1992294400 4194304 7136930 140733608192576 18446744073709551615 6166606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31276/statm: 3464 2891 271 719 0 2743 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13856

[startup+0.301576 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 31276
/proc/meminfo: memFree=1883040/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=19832 CPUtime=0.29
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 4461 0 0 0 28 1 0 0 25 0 1 0 92208118 20307968 4382 1992294400 4194304 7136930 140733608192576 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31276/statm: 4958 4382 271 719 0 4237 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19832

[startup+0.701622 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 31276
/proc/meminfo: memFree=1883040/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=53404 CPUtime=0.69
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 12867 0 0 0 63 6 0 0 25 0 1 0 92208118 54685696 12407 1992294400 4194304 7136930 140733608192576 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 13351 12407 342 719 0 12630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53404

[startup+1.50171 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31277
/proc/meminfo: memFree=1832688/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=60084 CPUtime=1.49
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 19858 0 0 0 128 21 0 0 25 0 1 0 92208118 61526016 14131 1992294400 4194304 7136930 140733608192576 18446744073709551615 5500645 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 15021 14131 370 719 0 14300 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60084

[startup+3.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31277
/proc/meminfo: memFree=1826488/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=62212 CPUtime=3.09
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 27842 0 0 0 274 35 0 0 25 0 1 0 92208118 63705088 14665 1992294400 4194304 7136930 140733608192576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 15553 14665 376 719 0 14832 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62212

[startup+6.30126 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31277
/proc/meminfo: memFree=1824380/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=63240 CPUtime=6.29
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 39060 0 0 0 573 56 0 0 25 0 1 0 92208118 64757760 14934 1992294400 4194304 7136930 140733608192576 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 15810 14934 388 719 0 15089 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63240

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31277
/proc/meminfo: memFree=1824256/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=63240 CPUtime=12.69
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 39081 0 0 0 1212 57 0 0 25 0 1 0 92208118 64757760 14955 1992294400 4194304 7136930 140733608192576 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 15810 14955 392 719 0 15089 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63240

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31277
/proc/meminfo: memFree=1823512/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=64028 CPUtime=25.48
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 39288 0 0 0 2486 62 0 0 25 0 1 0 92208118 65564672 15162 1992294400 4194304 7136930 140733608192576 18446744073709551615 5507413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 16007 15162 392 719 0 15286 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64028

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31279
/proc/meminfo: memFree=1822396/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=65472 CPUtime=51.07
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 39647 0 0 0 5036 71 0 0 25 0 1 0 92208118 67043328 15521 1992294400 4194304 7136930 140733608192576 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 16368 15521 392 719 0 15647 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 65472

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31279
/proc/meminfo: memFree=1818056/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=69132 CPUtime=102.27
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 40604 0 0 0 10139 88 0 0 25 0 1 0 92208118 70791168 16478 1992294400 4194304 7136930 140733608192576 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 17283 16478 392 719 0 16562 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 69132

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31281
/proc/meminfo: memFree=1815328/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=71692 CPUtime=162.25
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 41251 0 0 0 16117 108 0 0 25 0 1 0 92208118 73412608 17125 1992294400 4194304 7136930 140733608192576 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 17923 17125 392 719 0 17202 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 71692

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31283
/proc/meminfo: memFree=1812476/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=74472 CPUtime=222.22
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 41965 0 0 0 22096 126 0 0 25 0 1 0 92208118 76259328 17839 1992294400 4194304 7136930 140733608192576 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 18618 17839 392 719 0 17897 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 74472

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31285
/proc/meminfo: memFree=1808508/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=78320 CPUtime=282.21
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 42952 0 0 0 28072 149 0 0 25 0 1 0 92208118 80199680 18826 1992294400 4194304 7136930 140733608192576 18446744073709551615 5005177 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 19580 18826 392 719 0 18859 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 78320

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31285
/proc/meminfo: memFree=1805036/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=81712 CPUtime=342.2
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 43827 0 0 0 34050 170 0 0 25 0 1 0 92208118 83673088 19701 1992294400 4194304 7136930 140733608192576 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 20428 19701 392 719 0 19707 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 81712

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31287
/proc/meminfo: memFree=1801316/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=85240 CPUtime=402.17
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 44738 0 0 0 40025 192 0 0 25 0 1 0 92208118 87285760 20612 1992294400 4194304 7136930 140733608192576 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 21310 20612 392 719 0 20589 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 85240

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31289
/proc/meminfo: memFree=1797100/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=89432 CPUtime=462.15
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 45813 0 0 0 45998 217 0 0 25 0 1 0 92208118 91578368 21687 1992294400 4194304 7136930 140733608192576 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 22358 21687 392 719 0 21637 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 89432

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31291
/proc/meminfo: memFree=1794868/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=91752 CPUtime=522.13
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 46424 0 0 0 51975 238 0 0 25 0 1 0 92208118 93954048 22298 1992294400 4194304 7136930 140733608192576 18446744073709551615 4414776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 22938 22298 392 719 0 22217 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 91752

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31293
/proc/meminfo: memFree=1790652/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=97664 CPUtime=582.12
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 47411 0 0 0 57950 262 0 0 25 0 1 0 92208118 100007936 23285 1992294400 4194304 7136930 140733608192576 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 24416 23285 392 719 0 23695 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 97664

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31293
/proc/meminfo: memFree=1783956/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=103928 CPUtime=642.1
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 49030 0 0 0 63926 284 0 0 25 0 1 0 92208118 106422272 24904 1992294400 4194304 7136930 140733608192576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 25982 24904 392 719 0 25261 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 103928

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31301
/proc/meminfo: memFree=1770316/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=117044 CPUtime=882.02
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 52401 0 0 0 87827 375 0 0 25 0 1 0 92208118 119853056 28275 1992294400 4194304 7136930 140733608192576 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 29261 28275 392 719 0 28540 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 117044

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31301
/proc/meminfo: memFree=1765604/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=121452 CPUtime=942.01
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 53555 0 0 0 93802 399 0 0 25 0 1 0 92208118 124366848 29429 1992294400 4194304 7136930 140733608192576 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 30363 29429 392 719 0 29642 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 121452

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31303
/proc/meminfo: memFree=1762628/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=124320 CPUtime=1001.99
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 54272 0 0 0 99777 422 0 0 25 0 1 0 92208118 127303680 30146 1992294400 4194304 7136930 140733608192576 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 31080 30146 392 719 0 30359 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 124320

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31305
/proc/meminfo: memFree=1758536/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=128272 CPUtime=1061.98
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 55322 0 0 0 105752 446 0 0 25 0 1 0 92208118 131350528 31196 1992294400 4194304 7136930 140733608192576 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 32068 31196 392 719 0 31347 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 128272

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31307
/proc/meminfo: memFree=1754816/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=131824 CPUtime=1121.95
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 56209 0 0 0 111728 467 0 0 25 0 1 0 92208118 134987776 32083 1992294400 4194304 7136930 140733608192576 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 32956 32083 392 719 0 32235 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 131824

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31309
/proc/meminfo: memFree=1753452/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=132860 CPUtime=1181.94
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 56530 0 0 0 117705 489 0 0 25 0 1 0 92208118 136048640 32404 1992294400 4194304 7136930 140733608192576 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 33215 32404 392 719 0 32494 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 132860

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31309
/proc/meminfo: memFree=1748616/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=138468 CPUtime=1241.92
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 57929 0 0 0 123678 514 0 0 25 0 1 0 92208118 141791232 33803 1992294400 4194304 7136930 140733608192576 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 34617 33803 392 719 0 33896 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 138468

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31311
/proc/meminfo: memFree=1745764/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=140152 CPUtime=1301.91
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 58389 0 0 0 129659 532 0 0 25 0 1 0 92208118 143515648 34263 1992294400 4194304 7136930 140733608192576 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 35038 34263 392 719 0 34317 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 140152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31322
/proc/meminfo: memFree=1739688/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=145532 CPUtime=1361.87
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 59766 0 0 0 135634 553 0 0 25 0 1 0 92208118 149024768 35640 1992294400 4194304 7136930 140733608192576 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 36383 35640 392 719 0 35662 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 145532

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31324
/proc/meminfo: memFree=1735348/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=149568 CPUtime=1421.85
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 60824 0 0 0 141611 574 0 0 25 0 1 0 92208118 153157632 36698 1992294400 4194304 7136930 140733608192576 18446744073709551615 4641960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 37392 36698 392 719 0 36671 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 149568

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31326
/proc/meminfo: memFree=1733984/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=150828 CPUtime=1481.83
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 61168 0 0 0 147589 594 0 0 25 0 1 0 92208118 154447872 37042 1992294400 4194304 7136930 140733608192576 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 37707 37042 392 719 0 36986 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 150828

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31326
/proc/meminfo: memFree=1729024/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=155976 CPUtime=1541.81
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 62467 0 0 0 153566 615 0 0 25 0 1 0 92208118 159719424 38341 1992294400 4194304 7136930 140733608192576 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 38994 38341 392 719 0 38273 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 155976

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31328
/proc/meminfo: memFree=1727536/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=157284 CPUtime=1601.79
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 62842 0 0 0 159544 635 0 0 25 0 1 0 92208118 161058816 38716 1992294400 4194304 7136930 140733608192576 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 39321 38716 392 719 0 38600 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 157284

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31330
/proc/meminfo: memFree=1723320/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=165552 CPUtime=1661.77
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 63883 0 0 0 165521 656 0 0 25 0 1 0 92208118 169525248 39757 1992294400 4194304 7136930 140733608192576 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 41388 39757 392 719 0 40667 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 165552

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31332
/proc/meminfo: memFree=1720344/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=168340 CPUtime=1721.76
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 64610 0 0 0 171499 677 0 0 25 0 1 0 92208118 172380160 40484 1992294400 4194304 7136930 140733608192576 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 42085 40484 392 719 0 41364 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 168340

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31334
/proc/meminfo: memFree=1716624/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=171940 CPUtime=1781.74
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 65550 0 0 0 177475 699 0 0 25 0 1 0 92208118 176066560 41424 1992294400 4194304 7136930 140733608192576 18446744073709551615 5122173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 42985 41424 392 719 0 42264 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 171940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31334
/proc/meminfo: memFree=1713152/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=175284 CPUtime=1800.05
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 66394 0 0 0 179300 705 0 0 25 0 1 0 92208118 179490816 42268 1992294400 4194304 7136930 140733608192576 18446744073709551615 4697407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31276/statm: 43821 42268 392 719 0 43100 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 175284

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31334
/proc/meminfo: memFree=1713152/2059040 swapFree=4138812/4192956
[pid=31276] ppid=31274 vsize=26892 CPUtime=1800.43
/proc/31276/stat : 31276 (pbscip.linux.x8) R 31274 31276 30950 0 -1 4202496 66399 0 0 0 179336 707 0 0 25 0 1 0 92208118 27537408 6172 1992294400 4194304 7136930 140733608192576 18446744073709551615 4671856 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31276/statm: 6723 6172 397 719 0 6002 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 26892

Child status: 0
Real time (s): 1801.01
CPU time (s): 1800.45
CPU user time (s): 1793.37
CPU system time (s): 7.07892
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 175284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.37
system time used= 7.07892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66406
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= 1
involuntary context switches= 5586

runsolver used 2.97155 second user time and 8.51271 second system time

The end

Launcher Data 

Begin job on node088 at 2010-06-26 01:39:06
IDJOB=2683362
IDBENCH=72106
IDSOLVER=1167
FILE ID=node088/2683362-1277509145
PBS_JOBID= 11190615
Free space on /tmp= 62468 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-rand71b131.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-2683362-1277509145/watcher-2683362-1277509145 -o /tmp/evaluation-result-2683362-1277509145/solver-2683362-1277509145 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683362-1277509145.opb -t 1800 -m 1800

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

MD5SUM BENCH= 0a3321c229fdd8db7a8cd40af6f6442f
RANDOM SEED=1250330858

node088.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.217
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.43
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.217
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1883568 kB
Buffers:         15860 kB
Cached:          69184 kB
SwapCached:       6152 kB
Active:          64396 kB
Inactive:        33272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1883568 kB
SwapTotal:     4192956 kB
SwapFree:      4138812 kB
Dirty:            3984 kB
Writeback:           0 kB
AnonPages:       11380 kB
Mapped:           8248 kB
Slab:            55688 kB
PageTables:       4128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182276 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= 62464 MiB
End job on node088 at 2010-06-26 02:09:08