Trace number 2683349

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.newlist/normalized-rand27da90.cudf.paranoid.opb
MD5SUMa48dca57cfda6cf4188a4a57f992ffd8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark11364
Best CPU time to get the best result obtained on this benchmark2.51562
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5732
Total number of constraints25423
Number of constraints which are clauses25128
Number of constraints which are cardinality constraints (but not clauses)295
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 2127
Biggest coefficient in the objective function 1578
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 871054
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1578
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 871054
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-2683349-1277509021.opb>
0.39/0.45	c original problem has 5732 variables (5732 bin, 0 int, 0 impl, 0 cont) and 25423 constraints
0.39/0.45	c problem read
0.39/0.45	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.58	c presolving:
0.69/0.76	c (round 1) 622 del vars, 1197 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 54190 impls, 292 clqs
0.79/0.80	c (round 2) 707 del vars, 1441 del conss, 41 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 61315 impls, 291 clqs
0.79/0.84	c (round 3) 864 del vars, 3188 del conss, 158 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 61761 impls, 283 clqs
0.79/0.90	c (round 4) 1604 del vars, 7192 del conss, 307 chg bounds, 5 chg sides, 12 chg coeffs, 0 upgd conss, 62687 impls, 277 clqs
0.89/0.93	c (round 5) 1692 del vars, 8472 del conss, 337 chg bounds, 7 chg sides, 26 chg coeffs, 0 upgd conss, 63089 impls, 273 clqs
0.89/0.95	c (round 6) 1729 del vars, 8751 del conss, 340 chg bounds, 7 chg sides, 28 chg coeffs, 0 upgd conss, 63257 impls, 273 clqs
0.89/0.97	c (round 7) 1745 del vars, 8781 del conss, 340 chg bounds, 8 chg sides, 29 chg coeffs, 0 upgd conss, 63259 impls, 273 clqs
0.89/0.99	c (round 8) 1748 del vars, 8788 del conss, 340 chg bounds, 8 chg sides, 29 chg coeffs, 0 upgd conss, 63259 impls, 273 clqs
0.99/1.01	c (round 9) 1750 del vars, 8789 del conss, 340 chg bounds, 8 chg sides, 29 chg coeffs, 0 upgd conss, 63259 impls, 273 clqs
1.19/1.22	c (round 10) 1750 del vars, 10221 del conss, 340 chg bounds, 9 chg sides, 29 chg coeffs, 15167 upgd conss, 63259 impls, 273 clqs
1.19/1.27	c (round 11) 1757 del vars, 10228 del conss, 340 chg bounds, 9 chg sides, 29 chg coeffs, 15167 upgd conss, 63259 impls, 273 clqs
1.29/1.31	c (round 12) 1757 del vars, 10229 del conss, 340 chg bounds, 9 chg sides, 29 chg coeffs, 15194 upgd conss, 63259 impls, 273 clqs
1.39/1.41	c (round 13) 1807 del vars, 10229 del conss, 340 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 64574 impls, 271 clqs
1.39/1.44	c (round 14) 1823 del vars, 10779 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 64978 impls, 271 clqs
1.39/1.46	c (round 15) 1842 del vars, 10797 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 64980 impls, 270 clqs
1.49/1.51	c (round 16) 1842 del vars, 10824 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 64980 impls, 270 clqs
1.59/1.62	c (round 17) 1892 del vars, 10824 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 68540 impls, 266 clqs
1.59/1.64	c (round 18) 1893 del vars, 11425 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 68660 impls, 266 clqs
1.59/1.67	c (round 19) 1898 del vars, 11456 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 68660 impls, 266 clqs
1.59/1.69	c (round 20) 1899 del vars, 11457 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 68660 impls, 266 clqs
1.89/1.96	c (round 21) 1949 del vars, 11458 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 72900 impls, 266 clqs
1.89/1.98	c (round 22) 1949 del vars, 11545 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 72900 impls, 266 clqs
2.20/2.22	c (round 23) 1999 del vars, 11545 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 76380 impls, 263 clqs
2.20/2.24	c (round 24) 2000 del vars, 11594 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 76388 impls, 263 clqs
2.39/2.47	c (round 25) 2050 del vars, 11595 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 78414 impls, 262 clqs
2.39/2.49	c (round 26) 2050 del vars, 11639 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 78414 impls, 262 clqs
2.49/2.58	c    (1.8s) probing: 1000/3975 (25.2%) - 114 fixings, 155 aggregations, 4631 implications, 0 bound changes
2.69/2.71	c (round 27) 2100 del vars, 11639 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 80057 impls, 260 clqs
2.69/2.73	c (round 28) 2101 del vars, 11697 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 80111 impls, 260 clqs
2.89/2.95	c (round 29) 2151 del vars, 11698 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 81478 impls, 258 clqs
2.89/2.97	c (round 30) 2151 del vars, 11717 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 81478 impls, 258 clqs
3.09/3.18	c (round 31) 2201 del vars, 11717 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 82675 impls, 257 clqs
3.19/3.20	c (round 32) 2202 del vars, 11745 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 82677 impls, 257 clqs
3.30/3.34	c    (2.5s) probing: 2000/3975 (50.3%) - 131 fixings, 294 aggregations, 6932 implications, 0 bound changes
3.30/3.39	c (round 33) 2252 del vars, 11745 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 83389 impls, 257 clqs
3.39/3.42	c (round 34) 2252 del vars, 11749 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 83389 impls, 257 clqs
3.49/3.60	c (round 35) 2302 del vars, 11749 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 84138 impls, 256 clqs
3.59/3.62	c (round 36) 2304 del vars, 11778 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 84141 impls, 256 clqs
3.59/3.66	c (round 37) 2305 del vars, 11778 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 84141 impls, 256 clqs
3.79/3.85	c (round 38) 2355 del vars, 11778 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 85391 impls, 256 clqs
3.79/3.87	c (round 39) 2355 del vars, 11827 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 85391 impls, 256 clqs
3.99/4.07	c    (3.1s) probing: 3000/3975 (75.5%) - 161 fixings, 432 aggregations, 8696 implications, 0 bound changes
3.99/4.09	c (round 40) 2405 del vars, 11828 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 87165 impls, 255 clqs
4.09/4.11	c (round 41) 2406 del vars, 11862 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 87171 impls, 255 clqs
4.09/4.16	c (round 42) 2406 del vars, 11865 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 87171 impls, 255 clqs
4.40/4.45	c (round 43) 2456 del vars, 11865 del conss, 357 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 89843 impls, 255 clqs
4.40/4.47	c (round 44) 2466 del vars, 11974 del conss, 360 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 89872 impls, 255 clqs
4.40/4.49	c (round 45) 2470 del vars, 11979 del conss, 361 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 89879 impls, 255 clqs
4.49/4.56	c (round 46) 2471 del vars, 12002 del conss, 361 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 89879 impls, 255 clqs
4.59/4.63	c (round 47) 2471 del vars, 12004 del conss, 361 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 89879 impls, 255 clqs
4.79/4.88	c (round 48) 2519 del vars, 12004 del conss, 361 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 96045 impls, 255 clqs
4.89/4.90	c (round 49) 2567 del vars, 12100 del conss, 361 chg bounds, 9 chg sides, 29 chg coeffs, 15195 upgd conss, 96203 impls, 255 clqs
4.89/4.95	c presolving (50 rounds):
4.89/4.95	c  2567 deleted vars, 12101 deleted constraints, 361 tightened bounds, 0 added holes, 9 changed sides, 29 changed coefficients
4.89/4.95	c  96203 implications, 255 cliques
4.89/4.95	c presolved problem has 3165 variables (3165 bin, 0 int, 0 impl, 0 cont) and 13324 constraints
4.89/4.95	c     258 constraints of type <setppc>
4.89/4.95	c   13066 constraints of type <logicor>
4.89/4.95	c transformed objective value is always integral (scale: 1)
4.89/4.95	c Presolving Time: 3.85
4.89/4.95	c - non default parameters ----------------------------------------------------------------------
4.89/4.95	c # SCIP version 1.2.1.2
4.89/4.95	c 
4.89/4.95	c # frequency for displaying node information lines
4.89/4.95	c # [type: int, range: [-1,2147483647], default: 100]
4.89/4.95	c display/freq = 10000
4.89/4.95	c 
4.89/4.95	c # maximal time in seconds to run
4.89/4.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.89/4.95	c limits/time = 1799.55
4.89/4.95	c 
4.89/4.95	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.89/4.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.89/4.95	c limits/memory = 1620
4.89/4.95	c 
4.89/4.95	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.89/4.95	c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.95	c lp/solvefreq = -1
4.89/4.95	c 
4.89/4.95	c # should presolving try to simplify inequalities
4.89/4.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.95	c constraints/linear/simplifyinequalities = TRUE
4.89/4.95	c 
4.89/4.95	c # should presolving try to simplify knapsacks
4.89/4.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.95	c constraints/knapsack/simplifyinequalities = TRUE
4.89/4.95	c 
4.89/4.95	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.89/4.95	c # [type: int, range: [-1,2147483647], default: -1]
4.89/4.95	c separating/rapidlearning/freq = 0
4.89/4.95	c 
4.89/4.95	c -----------------------------------------------------------------------------------------------
4.89/4.95	c start solving
4.89/4.95	c 
4.89/4.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.89/4.97	c   3.9s|     1 |     2 |     0 |     - |  29M|   0 |   - |3165 |  13k|   0 |   0 |   0 |   0 |   0 | 9.738000e+03 |      --      |    Inf 
106.35/106.41	c   105s| 10000 |  9947 |     0 |   0.0 |  35M| 149 |   - |3165 |  13k|   0 |   0 |   0 |  33 |   0 | 1.132600e+04 |      --      |    Inf 
203.93/204.08	c   202s| 20000 | 19935 |     0 |   0.0 |  41M| 149 |   - |3165 |  13k|   0 |   0 |   0 |  40 |   0 | 1.132600e+04 |      --      |    Inf 
299.31/299.43	c   297s| 30000 | 29927 |     0 |   0.0 |  46M| 149 |   - |3165 |  13k|   0 |   0 |   0 |  44 |   0 | 1.132600e+04 |      --      |    Inf 
393.47/393.66	c   391s| 40000 | 39917 |     0 |   0.0 |  51M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  50 |   0 | 1.132700e+04 |      --      |    Inf 
485.05/485.29	c   482s| 50000 | 49908 |     0 |   0.0 |  55M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  51 |   0 | 1.132700e+04 |      --      |    Inf 
578.52/578.78	c   576s| 60000 | 59908 |     0 |   0.0 |  60M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  51 |   0 | 1.132700e+04 |      --      |    Inf 
669.50/669.71	c   666s| 70000 | 69902 |     0 |   0.0 |  65M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  54 |   0 | 1.132700e+04 |      --      |    Inf 
757.67/757.93	c   754s| 80000 | 79894 |     0 |   0.0 |  70M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  58 |   0 | 1.132800e+04 |      --      |    Inf 
852.04/852.36	c   848s| 90000 | 89888 |     0 |   0.0 |  75M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  63 |   0 | 1.132800e+04 |      --      |    Inf 
945.31/945.64	c   941s|100000 | 99888 |     0 |   0.0 |  79M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  63 |   0 | 1.132800e+04 |      --      |    Inf 
1037.49/1037.85	c  1033s|110000 |109885 |     0 |   0.0 |  84M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  64 |   0 | 1.132800e+04 |      --      |    Inf 
1127.66/1128.05	c  1123s|120000 |119868 |     0 |   0.0 |  89M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  64 |   0 | 1.132800e+04 |      --      |    Inf 
1216.24/1216.67	c  1211s|130000 |129851 |     0 |   0.0 |  94M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  65 |   0 | 1.132800e+04 |      --      |    Inf 
1303.60/1304.04	c  1298s|140000 |139842 |     0 |   0.0 |  98M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  67 |   0 | 1.132800e+04 |      --      |    Inf 
1390.48/1390.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1390.48/1390.99	c  1385s|150000 |149838 |     0 |   0.0 | 103M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  69 |   0 | 1.132800e+04 |      --      |    Inf 
1484.95/1485.43	c  1479s|160000 |159836 |     0 |   0.0 | 108M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  71 |   0 | 1.132800e+04 |      --      |    Inf 
1577.21/1577.74	c  1571s|170000 |169836 |     0 |   0.0 | 113M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  71 |   0 | 1.132800e+04 |      --      |    Inf 
1667.38/1667.96	c  1661s|180000 |179836 |     0 |   0.0 | 118M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  71 |   0 | 1.132900e+04 |      --      |    Inf 
1756.66/1757.25	c  1750s|190000 |189834 |     0 |   0.0 | 123M| 183 |   - |3165 |  13k|   0 |   0 |   0 |  72 |   0 | 1.132900e+04 |      --      |    Inf 
1800.05/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61	c 
1800.05/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.61	c Solving Time (sec) : 1792.80
1800.05/1800.61	c Solving Nodes      : 194877
1800.05/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61	c Dual Bound         : +1.13290000000000e+04
1800.05/1800.61	c Gap                : infinite
1800.05/1800.61	s UNKNOWN
1800.05/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.61	c Solving Time       :    1792.80
1800.05/1800.61	c Original Problem   :
1800.05/1800.61	c   Problem name     : HOME/instance-2683349-1277509021.opb
1800.05/1800.61	c   Variables        : 5732 (5732 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 25423 initial, 25423 maximal
1800.05/1800.61	c Presolved Problem  :
1800.05/1800.61	c   Problem name     : t_HOME/instance-2683349-1277509021.opb
1800.05/1800.61	c   Variables        : 3165 (3165 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 13324 initial, 13385 maximal
1800.05/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.61	c   trivial          :       0.02         35          0          0          0          0          0          0          0
1800.05/1800.61	c   dualfix          :       0.06        608          0          0          0          0          0          0          0
1800.05/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   implics          :       0.04          0        179          0          0          0          0          0          0
1800.05/1800.61	c   probing          :       2.19        250        448          0          0          0          0          0          0
1800.05/1800.61	c   setppc           :       0.03          0          2          0          0          0         17          0          0
1800.05/1800.61	c   linear           :       0.34        329        716          0        340          0      10228          9         29
1800.05/1800.61	c   logicor          :       1.04          0          0          0         21          0       1856          0          0
1800.05/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.61	c   setppc           :        258          0     558095          0     194808         60      40737          0          0          0
1800.05/1800.61	c   logicor          :      13066+         0     500078          0     194808        179     845996          0          0          0
1800.05/1800.61	c   countsols        :          0          0          0          0     194808          0          0          0          0          0
1800.05/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.61	c   setppc           :      37.07       0.00       9.63       0.00      27.44
1800.05/1800.61	c   logicor          :    1423.50       0.00       9.54       0.00    1413.96
1800.05/1800.61	c   countsols        :       0.22       0.00       0.00       0.00       0.22
1800.05/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.61	c   vbounds          :       0.31          2          0          0
1800.05/1800.61	c   rootredcost      :       0.47          0          0          0
1800.05/1800.61	c   pseudoobj        :      61.41     547381          0          0
1800.05/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.61	c   propagation      :       0.00         70         64         79        3.0          6        2.3          -
1800.05/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.61	c   applied globally :          -          -          -         77        2.7          -          -          -
1800.05/1800.61	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.61	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.61	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.61	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.61	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.61	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.61	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.61	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.61	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.61	c Pricers            :       Time      Calls       Vars
1800.05/1800.61	c   problem variables:       0.00          0          0
1800.05/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   inference        :     242.21     194808          0          0          0          0     389616
1800.05/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.61	c   LP solutions     :       0.00          -          0
1800.05/1800.61	c   pseudo solutions :       0.00          -          0
1800.05/1800.61	c   oneopt           :       0.15          0          0
1800.05/1800.61	c   trivial          :       0.02          2          0
1800.05/1800.61	c   simplerounding   :       0.00          0          0
1800.05/1800.61	c   zirounding       :       0.00          0          0
1800.05/1800.61	c   rounding         :       0.00          0          0
1800.05/1800.61	c   shifting         :       0.00          0          0
1800.05/1800.61	c   intshifting      :       0.00          0          0
1800.05/1800.61	c   twoopt           :       0.00          0          0
1800.05/1800.61	c   fixandinfer      :       0.00          0          0
1800.05/1800.61	c   feaspump         :       0.00          0          0
1800.05/1800.61	c   coefdiving       :       0.00          0          0
1800.05/1800.61	c   pscostdiving     :       0.00          0          0
1800.05/1800.61	c   fracdiving       :       0.00          0          0
1800.05/1800.61	c   veclendiving     :       0.00          0          0
1800.05/1800.61	c   intdiving        :       0.00          0          0
1800.05/1800.61	c   actconsdiving    :       0.00          0          0
1800.05/1800.61	c   objpscostdiving  :       0.00          0          0
1800.05/1800.61	c   rootsoldiving    :       0.00          0          0
1800.05/1800.61	c   linesearchdiving :       0.00          0          0
1800.05/1800.61	c   guideddiving     :       0.00          0          0
1800.05/1800.61	c   octane           :       0.00          0          0
1800.05/1800.61	c   rens             :       0.00          0          0
1800.05/1800.61	c   rins             :       0.00          0          0
1800.05/1800.61	c   localbranching   :       0.00          0          0
1800.05/1800.61	c   mutation         :       0.00          0          0
1800.05/1800.61	c   crossover        :       0.00          0          0
1800.05/1800.61	c   dins             :       0.00          0          0
1800.05/1800.61	c   undercover       :       0.00          0          0
1800.05/1800.61	c   nlp              :       0.29          0          0
1800.05/1800.61	c   trysol           :       0.11          0          0
1800.05/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.61	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            :     194877
1800.05/1800.62	c   nodes (total)    :     194877
1800.05/1800.62	c   nodes left       :     194703
1800.05/1800.62	c   max depth        :        183
1800.05/1800.62	c   max depth (total):        183
1800.05/1800.62	c   backtracks       :       2321 (1.2%)
1800.05/1800.62	c   delayed cutoffs  :         37
1800.05/1800.62	c   repropagations   :       4120 (782 domain reductions, 1 cutoffs)
1800.05/1800.62	c   avg switch length:       2.56
1800.05/1800.62	c   switching time   :       9.74
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       : +1.13290000000000e+04
1800.05/1800.62	c   Gap              :   infinite
1800.05/1800.62	c   Root Dual Bound  : +9.73800000000000e+03
1800.05/1800.62	c   Root Iterations  :          0
1800.34/1800.99	c Time complete: 1800.43.

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-2683349-1277509021/watcher-2683349-1277509021 -o /tmp/evaluation-result-2683349-1277509021/solver-2683349-1277509021 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683349-1277509021.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 24872
/proc/meminfo: memFree=1880648/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=5556 CPUtime=0
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 885 0 0 0 0 0 0 0 18 0 1 0 126488543 5689344 807 1992294400 4194304 7136930 140734812979264 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24872/statm: 1389 807 249 719 0 668 0

[startup+0.0875079 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 24872
/proc/meminfo: memFree=1880648/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=12320 CPUtime=0.08
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 2568 0 0 0 7 1 0 0 20 0 1 0 126488543 12615680 2489 1992294400 4194304 7136930 140734812979264 18446744073709551615 6349487 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24872/statm: 3080 2489 271 719 0 2359 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12320

[startup+0.101508 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 24872
/proc/meminfo: memFree=1880648/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=13940 CPUtime=0.09
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 2964 0 0 0 8 1 0 0 20 0 1 0 126488543 14274560 2885 1992294400 4194304 7136930 140734812979264 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24872/statm: 3485 2885 271 719 0 2764 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13940

[startup+0.301527 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 24872
/proc/meminfo: memFree=1880648/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=19808 CPUtime=0.29
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 4460 0 0 0 27 2 0 0 20 0 1 0 126488543 20283392 4381 1992294400 4194304 7136930 140734812979264 18446744073709551615 6303888 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24872/statm: 4952 4381 271 719 0 4231 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19808

[startup+0.700569 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 24872
/proc/meminfo: memFree=1880648/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=48836 CPUtime=0.69
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 11782 0 0 0 62 7 0 0 21 0 1 0 126488543 50008064 11349 1992294400 4194304 7136930 140734812979264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 12209 11349 348 719 0 11488 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48836

[startup+1.50065 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 24873
/proc/meminfo: memFree=1834884/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=54908 CPUtime=1.49
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 20230 0 0 0 124 25 0 0 23 0 1 0 126488543 56225792 12931 1992294400 4194304 7136930 140734812979264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 13727 12931 370 719 0 13006 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54908

[startup+3.10081 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 24873
/proc/meminfo: memFree=1828436/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=56712 CPUtime=3.09
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 27524 0 0 0 269 40 0 0 25 0 1 0 126488543 58073088 13385 1992294400 4194304 7136930 140734812979264 18446744073709551615 5004400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 14178 13385 376 719 0 13457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56712

[startup+6.30113 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 24873
/proc/meminfo: memFree=1826576/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=58164 CPUtime=6.29
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 36411 0 0 0 568 61 0 0 25 0 1 0 126488543 59559936 13763 1992294400 4194304 7136930 140734812979264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 14541 13763 392 719 0 13820 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58164

[startup+12.7008 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 24873
/proc/meminfo: memFree=1826204/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=58572 CPUtime=12.69
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 36510 0 0 0 1205 64 0 0 25 0 1 0 126488543 59977728 13862 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 14643 13862 392 719 0 13922 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58572

[startup+25.5011 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 24873
/proc/meminfo: memFree=1824964/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=59832 CPUtime=25.48
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 36830 0 0 0 2480 68 0 0 25 0 1 0 126488543 61267968 14182 1992294400 4194304 7136930 140734812979264 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 14958 14182 392 719 0 14237 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59832

[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 24875
/proc/meminfo: memFree=1823476/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=61224 CPUtime=51.07
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 37168 0 0 0 5032 75 0 0 25 0 1 0 126488543 62693376 14520 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 15306 14520 392 719 0 14585 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 61224

[startup+102.309 s]
/proc/loadavg: 1.01 0.99 0.99 2/107 24875
/proc/meminfo: memFree=1818764/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=65780 CPUtime=102.27
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 38342 0 0 0 10134 93 0 0 25 0 1 0 126488543 67358720 15694 1992294400 4194304 7136930 140734812979264 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 16445 15694 392 719 0 15724 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 65780

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24877
/proc/meminfo: memFree=1814920/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=69496 CPUtime=162.25
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 39283 0 0 0 16111 114 0 0 25 0 1 0 126488543 71163904 16635 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 17374 16635 392 719 0 16653 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 69496

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24879
/proc/meminfo: memFree=1811820/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=72504 CPUtime=222.22
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 40050 0 0 0 22089 133 0 0 25 0 1 0 126488543 74244096 17402 1992294400 4194304 7136930 140734812979264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 18126 17402 392 719 0 17405 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 72504

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24881
/proc/meminfo: memFree=1808100/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=76128 CPUtime=282.2
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 40967 0 0 0 28064 156 0 0 25 0 1 0 126488543 77955072 18319 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 19032 18319 392 719 0 18311 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 76128

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24883
/proc/meminfo: memFree=1805124/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=78756 CPUtime=342.19
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 41672 0 0 0 34045 174 0 0 25 0 1 0 126488543 80646144 19024 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 19689 19024 392 719 0 18968 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 78756

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24883
/proc/meminfo: memFree=1799668/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=84132 CPUtime=402.17
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 43028 0 0 0 40020 197 0 0 25 0 1 0 126488543 86151168 20380 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 21033 20380 392 719 0 20312 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 84132

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24885
/proc/meminfo: memFree=1796196/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=87408 CPUtime=462.16
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 43871 0 0 0 45998 218 0 0 25 0 1 0 126488543 89505792 21223 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 21852 21223 392 719 0 21131 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 87408

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24887
/proc/meminfo: memFree=1793344/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=90088 CPUtime=522.14
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 44589 0 0 0 51975 239 0 0 25 0 1 0 126488543 92250112 21941 1992294400 4194304 7136930 140734812979264 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 22522 21941 392 719 0 21801 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 90088

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24889
/proc/meminfo: memFree=1791608/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=91624 CPUtime=582.12
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 44997 0 0 0 57954 258 0 0 25 0 1 0 126488543 93822976 22349 1992294400 4194304 7136930 140734812979264 18446744073709551615 4697167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 22906 22349 392 719 0 22185 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 91624

[startup+642.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24891
/proc/meminfo: memFree=1788384/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=96836 CPUtime=642.11
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 45792 0 0 0 63933 278 0 0 25 0 1 0 126488543 99160064 23144 1992294400 4194304 7136930 140734812979264 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 24209 23144 392 719 0 23488 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 96836

[startup+702.3 s]

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

[startup+942.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24899
/proc/meminfo: memFree=1771024/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=113300 CPUtime=942.01
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 50059 0 0 0 93818 383 0 0 25 0 1 0 126488543 116019200 27411 1992294400 4194304 7136930 140734812979264 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 28325 27411 392 719 0 27604 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 113300

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24899
/proc/meminfo: memFree=1767552/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=116660 CPUtime=1002
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 50892 0 0 0 99796 404 0 0 25 0 1 0 126488543 119459840 28244 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 29165 28244 392 719 0 28444 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 116660

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24901
/proc/meminfo: memFree=1763832/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=120132 CPUtime=1061.98
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 51818 0 0 0 105775 423 0 0 25 0 1 0 126488543 123015168 29170 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 30033 29170 392 719 0 29312 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 120132

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24903
/proc/meminfo: memFree=1762096/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=121684 CPUtime=1121.96
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 52233 0 0 0 111753 443 0 0 25 0 1 0 126488543 124604416 29585 1992294400 4194304 7136930 140734812979264 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 30421 29585 392 719 0 29700 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 121684

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 3/107 24905
/proc/meminfo: memFree=1759492/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=124136 CPUtime=1181.94
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 52873 0 0 0 117728 466 0 0 25 0 1 0 126488543 127115264 30225 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 31034 30225 392 719 0 30313 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 124136

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24907
/proc/meminfo: memFree=1755276/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=128152 CPUtime=1241.92
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 53903 0 0 0 123704 488 0 0 25 0 1 0 126488543 131227648 31255 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 32038 31255 392 719 0 31317 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 128152

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24907
/proc/meminfo: memFree=1751184/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=132048 CPUtime=1301.91
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 54904 0 0 0 129682 509 0 0 25 0 1 0 126488543 135217152 32256 1992294400 4194304 7136930 140734812979264 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 33012 32256 392 719 0 32291 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 132048

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24909
/proc/meminfo: memFree=1748952/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=134204 CPUtime=1361.89
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 55439 0 0 0 135659 530 0 0 25 0 1 0 126488543 137424896 32791 1992294400 4194304 7136930 140734812979264 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 33551 32791 392 719 0 32830 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 134204

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24911
/proc/meminfo: memFree=1746844/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=136148 CPUtime=1421.87
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 55976 0 0 0 141635 552 0 0 25 0 1 0 126488543 139415552 33328 1992294400 4194304 7136930 140734812979264 18446744073709551615 4697388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 34037 33328 392 719 0 33316 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 136148

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 3/107 24922
/proc/meminfo: memFree=1744736/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=138336 CPUtime=1481.84
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 56549 0 0 0 147610 574 0 0 25 0 1 0 126488543 141656064 33901 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 34584 33901 392 719 0 33863 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 138336

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24924
/proc/meminfo: memFree=1740644/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=141816 CPUtime=1541.82
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 57450 0 0 0 153589 593 0 0 25 0 1 0 126488543 145219584 34802 1992294400 4194304 7136930 140734812979264 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 35454 34802 392 719 0 34733 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 141816

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24924
/proc/meminfo: memFree=1736676/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=145680 CPUtime=1601.8
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 58441 0 0 0 159568 612 0 0 25 0 1 0 126488543 149176320 35793 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 36420 35793 392 719 0 35699 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 145680

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24926
/proc/meminfo: memFree=1731344/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=150880 CPUtime=1661.79
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 59767 0 0 0 165546 633 0 0 25 0 1 0 126488543 154501120 37119 1992294400 4194304 7136930 140734812979264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 37720 37119 392 719 0 36999 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 150880

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24928
/proc/meminfo: memFree=1729112/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=152920 CPUtime=1721.77
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 60303 0 0 0 171523 654 0 0 25 0 1 0 126488543 156590080 37655 1992294400 4194304 7136930 140734812979264 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 38230 37655 392 719 0 37509 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 152920

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24930
/proc/meminfo: memFree=1724772/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=157200 CPUtime=1781.75
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 61399 0 0 0 177499 676 0 0 25 0 1 0 126488543 160972800 38751 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 39300 38751 392 719 0 38579 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 157200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24930
/proc/meminfo: memFree=1723284/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=158616 CPUtime=1800.05
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 61761 0 0 0 179322 683 0 0 25 0 1 0 126488543 162422784 39113 1992294400 4194304 7136930 140734812979264 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24872/statm: 39654 39113 392 719 0 38933 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 158616

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 0.99 0.99 2/107 24930
/proc/meminfo: memFree=1723284/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=158484 CPUtime=1800.24
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 61766 0 0 0 179341 683 0 0 25 0 1 0 126488543 162287616 39085 1992294400 4194304 7136930 140734812979264 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24872/statm: 39621 39085 397 719 0 38900 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 158484

[startup+1800.9 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24930
/proc/meminfo: memFree=1723284/2059040 swapFree=4133944/4192956
[pid=24872] ppid=24870 vsize=141160 CPUtime=1800.34
/proc/24872/stat : 24872 (pbscip.linux.x8) R 24870 24872 24484 0 -1 4202496 61766 0 0 0 179351 683 0 0 25 0 1 0 126488543 144547840 34754 1992294400 4194304 7136930 140734812979264 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24872/statm: 35290 34754 397 719 0 34569 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 141160

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

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

runsolver used 2.86756 second user time and 8.61869 second system time

The end

Launcher Data 

Begin job on node017 at 2010-06-26 01:37:01
IDJOB=2683349
IDBENCH=72105
IDSOLVER=1167
FILE ID=node017/2683349-1277509021
PBS_JOBID= 11190606
Free space on /tmp= 62232 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-rand27da90.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-2683349-1277509021/watcher-2683349-1277509021 -o /tmp/evaluation-result-2683349-1277509021/solver-2683349-1277509021 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683349-1277509021.opb -t 1800 -m 1800

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

MD5SUM BENCH= a48dca57cfda6cf4188a4a57f992ffd8
RANDOM SEED=445999831

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1881052 kB
Buffers:          3092 kB
Cached:          82632 kB
SwapCached:      11984 kB
Active:          40012 kB
Inactive:        60152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1881052 kB
SwapTotal:     4192956 kB
SwapFree:      4133944 kB
Dirty:            4260 kB
Writeback:           0 kB
AnonPages:       12244 kB
Mapped:           8388 kB
Slab:            55876 kB
PageTables:       4212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183484 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= 62228 MiB
End job on node017 at 2010-06-26 02:07:04