Trace number 2683609

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand35d0c8.cudf.paranoid.opb
MD5SUM2686d4f51e8518b6571055243ec92c1e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5656
Best CPU time to get the best result obtained on this benchmark3.03354
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6184
Total number of constraints27313
Number of constraints which are clauses27013
Number of constraints which are cardinality constraints (but not clauses)300
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 2304
Biggest coefficient in the objective function 1755
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 968758
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1755
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 968758
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-2683609-1277510908.opb>
0.40/0.46	c original problem has 6184 variables (6184 bin, 0 int, 0 impl, 0 cont) and 27313 constraints
0.40/0.46	c problem read
0.40/0.46	c presolving settings loaded
0.40/0.47	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.60/0.60	c presolving:
0.69/0.78	c (round 1) 701 del vars, 1372 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 59474 impls, 296 clqs
0.79/0.82	c (round 2) 887 del vars, 1759 del conss, 111 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 66683 impls, 293 clqs
0.79/0.87	c (round 3) 1092 del vars, 5052 del conss, 233 chg bounds, 1 chg sides, 5 chg coeffs, 0 upgd conss, 70136 impls, 291 clqs
0.89/0.93	c (round 4) 1765 del vars, 9478 del conss, 287 chg bounds, 14 chg sides, 39 chg coeffs, 0 upgd conss, 71551 impls, 288 clqs
0.89/0.96	c (round 5) 1819 del vars, 10388 del conss, 290 chg bounds, 16 chg sides, 50 chg coeffs, 0 upgd conss, 71647 impls, 288 clqs
0.89/0.98	c (round 6) 1833 del vars, 10449 del conss, 291 chg bounds, 16 chg sides, 50 chg coeffs, 0 upgd conss, 71668 impls, 288 clqs
0.89/1.00	c (round 7) 1836 del vars, 10450 del conss, 291 chg bounds, 16 chg sides, 50 chg coeffs, 0 upgd conss, 71668 impls, 288 clqs
0.99/1.02	c (round 8) 1837 del vars, 10456 del conss, 291 chg bounds, 16 chg sides, 50 chg coeffs, 0 upgd conss, 71668 impls, 288 clqs
1.20/1.21	c (round 9) 1837 del vars, 11850 del conss, 291 chg bounds, 16 chg sides, 50 chg coeffs, 15392 upgd conss, 71668 impls, 288 clqs
1.20/1.26	c (round 10) 1841 del vars, 11854 del conss, 291 chg bounds, 16 chg sides, 50 chg coeffs, 15392 upgd conss, 71668 impls, 288 clqs
1.29/1.31	c (round 11) 1841 del vars, 11856 del conss, 291 chg bounds, 16 chg sides, 50 chg coeffs, 15458 upgd conss, 71668 impls, 288 clqs
1.39/1.41	c (round 12) 1895 del vars, 11856 del conss, 291 chg bounds, 16 chg sides, 50 chg coeffs, 15459 upgd conss, 76751 impls, 282 clqs
1.39/1.43	c (round 13) 1906 del vars, 12673 del conss, 299 chg bounds, 16 chg sides, 50 chg coeffs, 15459 upgd conss, 76940 impls, 282 clqs
1.39/1.46	c (round 14) 1916 del vars, 12682 del conss, 299 chg bounds, 16 chg sides, 50 chg coeffs, 15459 upgd conss, 76942 impls, 281 clqs
1.49/1.50	c (round 15) 1916 del vars, 12694 del conss, 299 chg bounds, 16 chg sides, 50 chg coeffs, 15459 upgd conss, 76942 impls, 281 clqs
1.59/1.68	c (round 16) 1967 del vars, 12694 del conss, 299 chg bounds, 16 chg sides, 50 chg coeffs, 15459 upgd conss, 85859 impls, 278 clqs
1.69/1.70	c (round 17) 1974 del vars, 13014 del conss, 302 chg bounds, 16 chg sides, 50 chg coeffs, 15459 upgd conss, 86060 impls, 278 clqs
1.69/1.72	c (round 18) 1978 del vars, 13029 del conss, 302 chg bounds, 16 chg sides, 50 chg coeffs, 15459 upgd conss, 86060 impls, 278 clqs
1.79/1.86	c (round 19) 1979 del vars, 13087 del conss, 302 chg bounds, 16 chg sides, 50 chg coeffs, 15459 upgd conss, 86060 impls, 278 clqs
1.79/1.88	c (round 20) 1982 del vars, 13090 del conss, 302 chg bounds, 16 chg sides, 50 chg coeffs, 15459 upgd conss, 86060 impls, 278 clqs
2.10/2.13	c (round 21) 2032 del vars, 13090 del conss, 302 chg bounds, 16 chg sides, 50 chg coeffs, 15459 upgd conss, 88457 impls, 276 clqs
2.10/2.15	c (round 22) 2032 del vars, 13123 del conss, 302 chg bounds, 18 chg sides, 50 chg coeffs, 15459 upgd conss, 88457 impls, 276 clqs
2.39/2.40	c (round 23) 2082 del vars, 13123 del conss, 302 chg bounds, 18 chg sides, 50 chg coeffs, 15459 upgd conss, 91112 impls, 272 clqs
2.39/2.42	c (round 24) 2082 del vars, 13171 del conss, 302 chg bounds, 18 chg sides, 50 chg coeffs, 15459 upgd conss, 91112 impls, 272 clqs
2.39/2.48	c (round 25) 2082 del vars, 13176 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 91112 impls, 272 clqs
2.69/2.72	c (round 26) 2132 del vars, 13176 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 96353 impls, 270 clqs
2.69/2.74	c (round 27) 2135 del vars, 13193 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 96365 impls, 270 clqs
2.79/2.80	c (round 28) 2135 del vars, 13195 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 96365 impls, 270 clqs
2.89/2.97	c    (2.2s) probing: 1000/4343 (23.0%) - 114 fixings, 190 aggregations, 5237 implications, 0 bound changes
2.89/2.98	c (round 29) 2185 del vars, 13195 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 98454 impls, 266 clqs
2.99/3.00	c (round 30) 2188 del vars, 13236 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 98476 impls, 266 clqs
2.99/3.09	c (round 31) 2188 del vars, 13275 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 98476 impls, 266 clqs
3.20/3.27	c (round 32) 2238 del vars, 13275 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 99624 impls, 266 clqs
3.20/3.29	c (round 33) 2241 del vars, 13341 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 99690 impls, 266 clqs
3.39/3.49	c (round 34) 2291 del vars, 13341 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 101100 impls, 265 clqs
3.49/3.52	c (round 35) 2293 del vars, 13359 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 101104 impls, 265 clqs
3.69/3.72	c (round 36) 2343 del vars, 13359 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 101981 impls, 264 clqs
3.69/3.74	c (round 37) 2343 del vars, 13380 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 101981 impls, 264 clqs
3.89/3.91	c    (3.0s) probing: 2000/4343 (46.1%) - 148 fixings, 339 aggregations, 6949 implications, 0 bound changes
3.89/3.94	c (round 38) 2393 del vars, 13381 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 102789 impls, 264 clqs
3.89/3.97	c (round 39) 2393 del vars, 13394 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 102789 impls, 264 clqs
4.09/4.13	c (round 40) 2443 del vars, 13394 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 103371 impls, 263 clqs
4.09/4.15	c (round 41) 2445 del vars, 13424 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 103375 impls, 263 clqs
4.29/4.33	c (round 42) 2495 del vars, 13424 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 103763 impls, 262 clqs
4.29/4.35	c (round 43) 2496 del vars, 13469 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 103765 impls, 262 clqs
4.49/4.57	c (round 44) 2546 del vars, 13470 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 105339 impls, 262 clqs
4.49/4.59	c (round 45) 2547 del vars, 13506 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 105339 impls, 262 clqs
4.59/4.64	c (round 46) 2547 del vars, 13509 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 105339 impls, 262 clqs
4.59/4.69	c (round 47) 2547 del vars, 13511 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 105339 impls, 262 clqs
4.69/4.78	c    (3.8s) probing: 3000/4343 (69.1%) - 188 fixings, 473 aggregations, 8555 implications, 0 bound changes
4.89/4.92	c (round 48) 2597 del vars, 13511 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 106585 impls, 262 clqs
4.89/4.94	c (round 49) 2601 del vars, 13575 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 106597 impls, 262 clqs
4.99/5.03	c (round 50) 2601 del vars, 13587 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 106597 impls, 262 clqs
5.29/5.37	c (round 51) 2651 del vars, 13587 del conss, 302 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 110795 impls, 262 clqs
5.29/5.39	c (round 52) 2679 del vars, 13703 del conss, 303 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 111368 impls, 262 clqs
5.39/5.44	c (round 53) 2680 del vars, 13708 del conss, 303 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 111368 impls, 262 clqs
5.39/5.50	c (round 54) 2680 del vars, 13717 del conss, 303 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 111368 impls, 262 clqs
5.50/5.52	c (round 55) 2681 del vars, 13718 del conss, 303 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 111368 impls, 262 clqs
5.59/5.65	c    (4.6s) probing: 4000/4343 (92.1%) - 273 fixings, 504 aggregations, 12561 implications, 0 bound changes
5.69/5.77	c (round 56) 2727 del vars, 13718 del conss, 303 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 117642 impls, 262 clqs
5.69/5.80	c (round 57) 2777 del vars, 13810 del conss, 303 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 118474 impls, 262 clqs
5.79/5.87	c (round 58) 2777 del vars, 13815 del conss, 303 chg bounds, 19 chg sides, 50 chg coeffs, 15459 upgd conss, 118474 impls, 262 clqs
5.89/5.91	c presolving (59 rounds):
5.89/5.91	c  2777 deleted vars, 13815 deleted constraints, 303 tightened bounds, 0 added holes, 19 changed sides, 50 changed coefficients
5.89/5.91	c  118474 implications, 262 cliques
5.89/5.91	c presolved problem has 3407 variables (3407 bin, 0 int, 0 impl, 0 cont) and 13499 constraints
5.89/5.91	c     264 constraints of type <setppc>
5.89/5.91	c   13235 constraints of type <logicor>
5.89/5.91	c transformed objective value is always integral (scale: 1)
5.89/5.91	c Presolving Time: 4.76
5.89/5.91	c - non default parameters ----------------------------------------------------------------------
5.89/5.91	c # SCIP version 1.2.1.2
5.89/5.91	c 
5.89/5.91	c # frequency for displaying node information lines
5.89/5.91	c # [type: int, range: [-1,2147483647], default: 100]
5.89/5.91	c display/freq = 10000
5.89/5.91	c 
5.89/5.91	c # maximal time in seconds to run
5.89/5.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.89/5.91	c limits/time = 1799.54
5.89/5.91	c 
5.89/5.91	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.89/5.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.89/5.91	c limits/memory = 1620
5.89/5.91	c 
5.89/5.91	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.89/5.91	c # [type: int, range: [-1,2147483647], default: 1]
5.89/5.91	c lp/solvefreq = -1
5.89/5.91	c 
5.89/5.91	c # should presolving try to simplify inequalities
5.89/5.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.89/5.91	c constraints/linear/simplifyinequalities = TRUE
5.89/5.91	c 
5.89/5.91	c # should presolving try to simplify knapsacks
5.89/5.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.89/5.91	c constraints/knapsack/simplifyinequalities = TRUE
5.89/5.91	c 
5.89/5.91	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.89/5.91	c # [type: int, range: [-1,2147483647], default: -1]
5.89/5.91	c separating/rapidlearning/freq = 0
5.89/5.91	c 
5.89/5.91	c -----------------------------------------------------------------------------------------------
5.89/5.91	c start solving
5.89/5.92	c 
5.89/5.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.89/5.93	c   4.8s|     1 |     2 |     0 |     - |  31M|   0 |   - |3407 |  13k|   0 |   0 |   0 |   0 |   0 | 3.836000e+03 |      --      |    Inf 
107.36/107.43	c   106s| 10000 |  9946 |     0 |   0.0 |  37M|  85 |   - |3407 |  13k|   0 |   0 |   0 |  44 |   0 | 5.599000e+03 |      --      |    Inf 
208.23/208.37	c   207s| 20000 | 19919 |     0 |   0.0 |  43M| 101 |   - |3407 |  13k|   0 |   0 |   0 |  79 |   0 | 5.603000e+03 |      --      |    Inf 
308.39/308.57	c   306s| 30000 | 29910 |     0 |   0.0 |  48M| 103 |   - |3407 |  13k|   0 |   0 |   0 |  80 |   0 | 5.606000e+03 |      --      |    Inf 
405.77/405.98	c   404s| 40000 | 39902 |     0 |   0.0 |  53M| 127 |   - |3407 |  13k|   0 |   0 |   0 |  81 |   0 | 5.608000e+03 |      --      |    Inf 
501.44/501.62	c   499s| 50000 | 49891 |     0 |   0.0 |  58M| 143 |   - |3407 |  13k|   0 |   0 |   0 |  87 |   0 | 5.609000e+03 |      --      |    Inf 
593.31/593.59	c   590s| 60000 | 59882 |     0 |   0.0 |  63M| 167 |   - |3407 |  13k|   0 |   0 |   0 |  91 |   0 | 5.609000e+03 |      --      |    Inf 
684.98/685.23	c   682s| 70000 | 69879 |     0 |   0.0 |  68M| 167 |   - |3407 |  13k|   0 |   0 |   0 |  92 |   0 | 5.610000e+03 |      --      |    Inf 
776.15/776.40	c   773s| 80000 | 79873 |     0 |   0.0 |  73M| 167 |   - |3407 |  13k|   0 |   0 |   0 |  95 |   0 | 5.610000e+03 |      --      |    Inf 
864.33/864.63	c   861s| 90000 | 89853 |     0 |   0.0 |  78M| 167 |   - |3407 |  13k|   0 |   0 |   0 | 106 |   0 | 5.610000e+03 |      --      |    Inf 
954.20/954.59	c   950s|100000 | 99848 |     0 |   0.0 |  83M| 167 |   - |3407 |  13k|   0 |   0 |   0 | 108 |   0 | 5.611000e+03 |      --      |    Inf 
1045.07/1045.49	c  1041s|110000 |109837 |     0 |   0.0 |  89M| 167 |   - |3407 |  13k|   0 |   0 |   0 | 114 |   0 | 5.611000e+03 |      --      |    Inf 
1131.05/1131.41	c  1126s|120000 |119826 |     0 |   0.0 |  93M| 205 |   - |3407 |  13k|   0 |   0 |   0 | 119 |   0 | 5.611000e+03 |      --      |    Inf 
1220.63/1221.07	c  1216s|130000 |129818 |     0 |   0.0 |  99M| 205 |   - |3407 |  13k|   0 |   0 |   0 | 123 |   0 | 5.611000e+03 |      --      |    Inf 
1308.79/1309.21	c  1303s|140000 |139812 |     0 |   0.0 | 104M| 205 |   - |3407 |  13k|   0 |   0 |   0 | 126 |   0 | 5.612000e+03 |      --      |    Inf 
1398.78/1399.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1398.78/1399.22	c  1393s|150000 |149812 |     0 |   0.0 | 109M| 205 |   - |3407 |  13k|   0 |   0 |   0 | 126 |   0 | 5.612000e+03 |      --      |    Inf 
1487.55/1488.04	c  1482s|160000 |159810 |     0 |   0.0 | 114M| 205 |   - |3407 |  13k|   0 |   0 |   0 | 126 |   0 | 5.612000e+03 |      --      |    Inf 
1572.62/1573.14	c  1566s|170000 |169793 |     0 |   0.0 | 118M| 205 |   - |3407 |  13k|   0 |   0 |   0 | 134 |   0 | 5.612000e+03 |      --      |    Inf 
1658.89/1659.45	c  1652s|180000 |179791 |     0 |   0.0 | 123M| 205 |   - |3407 |  13k|   0 |   0 |   0 | 136 |   0 | 5.612000e+03 |      --      |    Inf 
1747.26/1747.83	c  1740s|190000 |189787 |     0 |   0.0 | 128M| 205 |   - |3407 |  13k|   0 |   0 |   0 | 139 |   0 | 5.613000e+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) : 1793.07
1800.05/1800.62	c Solving Nodes      : 195760
1800.05/1800.62	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.62	c Dual Bound         : +5.61300000000000e+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       :    1793.07
1800.05/1800.62	c Original Problem   :
1800.05/1800.62	c   Problem name     : HOME/instance-2683609-1277510908.opb
1800.05/1800.62	c   Variables        : 6184 (6184 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62	c   Constraints      : 27313 initial, 27313 maximal
1800.05/1800.62	c Presolved Problem  :
1800.05/1800.62	c   Problem name     : t_HOME/instance-2683609-1277510908.opb
1800.05/1800.62	c   Variables        : 3407 (3407 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62	c   Constraints      : 13499 initial, 13628 maximal
1800.05/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.62	c   trivial          :       0.03         36          0          0          0          0          0          0          0
1800.05/1800.62	c   dualfix          :       0.04        592          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.10          0        306          0          0          0          0          0          0
1800.05/1800.62	c   probing          :       2.50        297        504          0          0          0          0          0          0
1800.05/1800.62	c   setppc           :       0.06          0          1          0          0          0         25          3          0
1800.05/1800.62	c   linear           :       0.36        269        772          0        291          0      11854         16         50
1800.05/1800.62	c   logicor          :       1.57          0          0          0         12          0       1936          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           :        264          0     564244          0     195673         69      56651          0          0          0
1800.05/1800.62	c   logicor          :      13235+         0     508234          0     195673        205     910640          0          0          0
1800.05/1800.62	c   countsols        :          0          0          0          0     195673          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           :      39.85       0.00      10.36       0.00      29.49
1800.05/1800.62	c   logicor          :    1397.08       0.00      10.64       0.00    1386.44
1800.05/1800.62	c   countsols        :       0.22       0.00       0.00       0.00       0.22
1800.05/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.62	c   vbounds          :       0.35          2          0          0
1800.05/1800.62	c   rootredcost      :       0.46          0          0          0
1800.05/1800.62	c   pseudoobj        :      64.91     552859          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         87         87        101        2.5         40        2.0          -
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 :          -          -          -        139        2.3          -          -          -
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        :     261.24     195673          0          0          0          0     391346
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.13          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.25          0          0
1800.05/1800.62	c   trysol           :       0.09          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            :     195760
1800.05/1800.62	c   nodes (total)    :     195760
1800.05/1800.62	c   nodes left       :     195547
1800.05/1800.62	c   max depth        :        205
1800.05/1800.62	c   max depth (total):        205
1800.05/1800.62	c   backtracks       :       2550 (1.3%)
1800.05/1800.62	c   delayed cutoffs  :         40
1800.05/1800.62	c   repropagations   :       5393 (908 domain reductions, 0 cutoffs)
1800.05/1800.62	c   avg switch length:       2.50
1800.05/1800.62	c   switching time   :      10.95
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.61300000000000e+03
1800.05/1800.62	c   Gap              :   infinite
1800.05/1800.62	c   Root Dual Bound  : +3.83600000000000e+03
1800.05/1800.62	c   Root Iterations  :          0
1800.34/1800.99	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-2683609-1277510908/watcher-2683609-1277510908 -o /tmp/evaluation-result-2683609-1277510908/solver-2683609-1277510908 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683609-1277510908.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 956
/proc/meminfo: memFree=1823572/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=3652 CPUtime=0
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 448 0 0 0 0 0 0 0 25 0 1 0 92384292 3739648 370 1992294400 4194304 7136930 140733645181056 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/956/statm: 913 371 224 719 0 192 0

[startup+0.085369 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 956
/proc/meminfo: memFree=1823572/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=13372 CPUtime=0.08
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 2824 0 0 0 7 1 0 0 25 0 1 0 92384292 13692928 2745 1992294400 4194304 7136930 140733645181056 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/956/statm: 3343 2745 271 719 0 2622 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13372

[startup+0.10137 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 956
/proc/meminfo: memFree=1823572/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=15004 CPUtime=0.09
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 3232 0 0 0 8 1 0 0 25 0 1 0 92384292 15364096 3153 1992294400 4194304 7136930 140733645181056 18446744073709551615 6269993 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/956/statm: 3751 3153 271 719 0 3030 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15004

[startup+0.301392 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 956
/proc/meminfo: memFree=1823572/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=19952 CPUtime=0.29
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 4498 0 0 0 28 1 0 0 25 0 1 0 92384292 20430848 4419 1992294400 4194304 7136930 140733645181056 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/956/statm: 4988 4419 271 719 0 4267 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19952

[startup+0.701433 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 956
/proc/meminfo: memFree=1823572/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=52364 CPUtime=0.69
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 12619 0 0 0 62 7 0 0 25 0 1 0 92384292 53620736 12164 1992294400 4194304 7136930 140733645181056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 13091 12164 344 719 0 12370 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52364

[startup+1.50152 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 957
/proc/meminfo: memFree=1773344/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=60484 CPUtime=1.49
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 21241 0 0 0 127 22 0 0 25 0 1 0 92384292 61935616 14277 1992294400 4194304 7136930 140733645181056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 15121 14277 370 719 0 14400 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60484

[startup+3.10169 s]
/proc/loadavg: 1.08 1.02 1.01 2/106 957
/proc/meminfo: memFree=1766400/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=61748 CPUtime=3.09
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 28817 0 0 0 270 39 0 0 25 0 1 0 92384292 63229952 14564 1992294400 4194304 7136930 140733645181056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 15437 14564 376 719 0 14716 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61748

[startup+6.30102 s]
/proc/loadavg: 1.08 1.02 1.01 2/106 957
/proc/meminfo: memFree=1763300/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=65004 CPUtime=6.29
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 42864 0 0 0 565 64 0 0 25 0 1 0 92384292 66564096 15414 1992294400 4194304 7136930 140733645181056 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 16251 15414 388 719 0 15530 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65004

[startup+12.7017 s]
/proc/loadavg: 1.07 1.02 1.00 2/106 957
/proc/meminfo: memFree=1762184/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=65656 CPUtime=12.69
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 43037 0 0 0 1203 66 0 0 25 0 1 0 92384292 67231744 15587 1992294400 4194304 7136930 140733645181056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 16414 15587 392 719 0 15693 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65656

[startup+25.501 s]
/proc/loadavg: 1.06 1.01 1.00 2/106 957
/proc/meminfo: memFree=1760696/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=67236 CPUtime=25.49
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 43418 0 0 0 2479 70 0 0 25 0 1 0 92384292 68849664 15968 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 16809 15968 392 719 0 16088 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67236

[startup+51.1007 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 959
/proc/meminfo: memFree=1759332/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=68480 CPUtime=51.07
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 43756 0 0 0 5030 77 0 0 25 0 1 0 92384292 70123520 16306 1992294400 4194304 7136930 140733645181056 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 17120 16306 392 719 0 16399 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 68480

[startup+102.308 s]
/proc/loadavg: 1.05 1.02 1.00 2/106 959
/proc/meminfo: memFree=1755116/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=72604 CPUtime=102.26
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 44797 0 0 0 10134 92 0 0 25 0 1 0 92384292 74346496 17347 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 18151 17347 392 719 0 17430 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 72604

[startup+162.301 s]
/proc/loadavg: 1.05 1.03 1.00 2/106 961
/proc/meminfo: memFree=1752636/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=75032 CPUtime=162.24
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 45410 0 0 0 16111 113 0 0 25 0 1 0 92384292 76832768 17960 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 18758 17960 392 719 0 18037 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 75032

[startup+222.301 s]
/proc/loadavg: 1.13 1.05 1.01 2/106 963
/proc/meminfo: memFree=1748172/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=79212 CPUtime=222.22
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 46488 0 0 0 22091 131 0 0 25 0 1 0 92384292 81113088 19038 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 19803 19038 392 719 0 19082 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 79212

[startup+282.301 s]
/proc/loadavg: 1.12 1.06 1.00 2/106 965
/proc/meminfo: memFree=1745196/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=82140 CPUtime=282.2
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 47218 0 0 0 28070 150 0 0 25 0 1 0 92384292 84111360 19768 1992294400 4194304 7136930 140733645181056 18446744073709551615 4407859 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 20535 19768 392 719 0 19814 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 82140

[startup+342.301 s]
/proc/loadavg: 1.11 1.06 1.00 2/106 967
/proc/meminfo: memFree=1739368/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=87884 CPUtime=342.18
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 48677 0 0 0 34049 169 0 0 25 0 1 0 92384292 89993216 21227 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 21971 21227 392 719 0 21250 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 87884

[startup+402.301 s]
/proc/loadavg: 1.10 1.06 1.00 2/106 967
/proc/meminfo: memFree=1738252/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=88788 CPUtime=402.17
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 48956 0 0 0 40029 188 0 0 25 0 1 0 92384292 90918912 21506 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 22197 21506 392 719 0 21476 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 88788

[startup+462.301 s]
/proc/loadavg: 1.09 1.06 1.00 2/106 969
/proc/meminfo: memFree=1734904/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=92096 CPUtime=462.15
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 49783 0 0 0 46009 206 0 0 25 0 1 0 92384292 94306304 22333 1992294400 4194304 7136930 140733645181056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 23024 22333 392 719 0 22303 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 92096

[startup+522.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/106 971
/proc/meminfo: memFree=1730688/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=96092 CPUtime=522.13
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 50811 0 0 0 51989 224 0 0 25 0 1 0 92384292 98398208 23361 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 24023 23361 392 719 0 23302 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 96092

[startup+582.301 s]
/proc/loadavg: 1.11 1.08 1.01 2/106 973
/proc/meminfo: memFree=1727836/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=98764 CPUtime=582.11
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 51500 0 0 0 57968 243 0 0 25 0 1 0 92384292 101134336 24050 1992294400 4194304 7136930 140733645181056 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 24691 24050 392 719 0 23970 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 98764

[startup+642.301 s]
/proc/loadavg: 1.07 1.08 1.01 2/106 975
/proc/meminfo: memFree=1724240/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=102256 CPUtime=642.09
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 52393 0 0 0 63946 263 0 0 25 0 1 0 92384292 104710144 24943 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 25564 24943 392 719 0 24843 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 102256

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 983
/proc/meminfo: memFree=1704276/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=123364 CPUtime=942
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 57286 0 0 0 93836 364 0 0 25 0 1 0 92384292 126324736 29836 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 30841 29836 392 719 0 30120 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 123364

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 983
/proc/meminfo: memFree=1702044/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=125376 CPUtime=1001.98
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 57841 0 0 0 99817 381 0 0 25 0 1 0 92384292 128385024 30391 1992294400 4194304 7136930 140733645181056 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 31344 30391 392 719 0 30623 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 125376

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 985
/proc/meminfo: memFree=1698944/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=128304 CPUtime=1061.97
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 58602 0 0 0 105793 404 0 0 25 0 1 0 92384292 131383296 31152 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 32076 31152 392 719 0 31355 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 128304

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 987
/proc/meminfo: memFree=1694728/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=132508 CPUtime=1121.95
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 59648 0 0 0 111768 427 0 0 25 0 1 0 92384292 135688192 32198 1992294400 4194304 7136930 140733645181056 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 33127 32198 392 719 0 32406 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 132508

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 989
/proc/meminfo: memFree=1689024/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=138024 CPUtime=1181.93
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 61051 0 0 0 117746 447 0 0 25 0 1 0 92384292 141336576 33601 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 34506 33601 392 719 0 33785 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 138024

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 991
/proc/meminfo: memFree=1684808/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=141856 CPUtime=1241.91
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 62068 0 0 0 123724 467 0 0 25 0 1 0 92384292 145260544 34618 1992294400 4194304 7136930 140733645181056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 35464 34618 392 719 0 34743 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 141856

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 991
/proc/meminfo: memFree=1682824/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=143796 CPUtime=1301.9
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 62546 0 0 0 129704 486 0 0 25 0 1 0 92384292 147247104 35096 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 35949 35096 392 719 0 35228 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 143796

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 993
/proc/meminfo: memFree=1680716/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=145600 CPUtime=1361.88
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 63056 0 0 0 135682 506 0 0 25 0 1 0 92384292 149094400 35606 1992294400 4194304 7136930 140733645181056 18446744073709551615 4414768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 36400 35606 392 719 0 35679 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 145600

[startup+1422.31 s]
/proc/loadavg: 1.08 1.02 1.01 3/107 998
/proc/meminfo: memFree=1649152/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=149964 CPUtime=1421.86
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 64171 0 0 0 141661 525 0 0 25 0 1 0 92384292 153563136 36721 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 37491 36721 392 719 0 36770 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 149964

[startup+1482.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 1000
/proc/meminfo: memFree=1673836/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=151776 CPUtime=1481.84
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 64651 0 0 0 147638 546 0 0 25 0 1 0 92384292 155418624 37201 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 37944 37201 392 719 0 37223 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 151776

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 1002
/proc/meminfo: memFree=1671108/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=154400 CPUtime=1541.83
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 65304 0 0 0 153614 569 0 0 25 0 1 0 92384292 158105600 37854 1992294400 4194304 7136930 140733645181056 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 38600 37854 392 719 0 37879 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 154400

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1002
/proc/meminfo: memFree=1664784/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=160424 CPUtime=1601.81
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 66872 0 0 0 159590 591 0 0 25 0 1 0 92384292 164274176 39422 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 40106 39422 392 719 0 39385 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 160424

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1004
/proc/meminfo: memFree=1661064/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=164088 CPUtime=1661.79
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 67813 0 0 0 165570 609 0 0 25 0 1 0 92384292 168026112 40363 1992294400 4194304 7136930 140733645181056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 41022 40363 392 719 0 40301 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 164088

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1006
/proc/meminfo: memFree=1657096/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=167820 CPUtime=1721.77
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 68774 0 0 0 171547 630 0 0 25 0 1 0 92384292 171847680 41324 1992294400 4194304 7136930 140733645181056 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 41955 41324 392 719 0 41234 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 167820

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1008
/proc/meminfo: memFree=1653872/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=170884 CPUtime=1781.75
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 69568 0 0 0 177525 650 0 0 25 0 1 0 92384292 174985216 42118 1992294400 4194304 7136930 140733645181056 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 42721 42118 392 719 0 42000 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 170884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1008
/proc/meminfo: memFree=1652880/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=171896 CPUtime=1800.05
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 69826 0 0 0 179350 655 0 0 25 0 1 0 92384292 176021504 42376 1992294400 4194304 7136930 140733645181056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/956/statm: 42974 42376 392 719 0 42253 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 171896

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1008
/proc/meminfo: memFree=1652880/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=171896 CPUtime=1800.25
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 69831 0 0 0 179369 656 0 0 25 0 1 0 92384292 176021504 42381 1992294400 4194304 7136930 140733645181056 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/956/statm: 42974 42381 397 719 0 42253 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 171896

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1008
/proc/meminfo: memFree=1652880/2059040 swapFree=4139112/4192956
[pid=956] ppid=954 vsize=150672 CPUtime=1800.34
/proc/956/stat : 956 (pbscip.linux.x8) R 954 956 341 0 -1 4202496 69831 0 0 0 179378 656 0 0 25 0 1 0 92384292 154288128 37075 1992294400 4194304 7136930 140733645181056 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/956/statm: 37668 36946 397 719 0 36947 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 150672

Child status: 0
Real time (s): 1801
CPU time (s): 1800.45
CPU user time (s): 1793.86
CPU system time (s): 6.585
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 171896

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

runsolver used 2.92955 second user time and 8.5517 second system time

The end

Launcher Data 

Begin job on node082 at 2010-06-26 02:08:28
IDJOB=2683609
IDBENCH=72125
IDSOLVER=1167
FILE ID=node082/2683609-1277510908
PBS_JOBID= 11190595
Free space on /tmp= 62356 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-rand35d0c8.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-2683609-1277510908/watcher-2683609-1277510908 -o /tmp/evaluation-result-2683609-1277510908/solver-2683609-1277510908 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683609-1277510908.opb -t 1800 -m 1800

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

MD5SUM BENCH= 2686d4f51e8518b6571055243ec92c1e
RANDOM SEED=922555126

node082.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.215
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.215
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:       1823976 kB
Buffers:         35452 kB
Cached:         100144 kB
SwapCached:       6436 kB
Active:          80656 kB
Inactive:        68248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1823976 kB
SwapTotal:     4192956 kB
SwapFree:      4139112 kB
Dirty:            4012 kB
Writeback:           0 kB
AnonPages:       12044 kB
Mapped:          11836 kB
Slab:            64084 kB
PageTables:       4120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182544 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62356 MiB
End job on node082 at 2010-06-26 02:38:31