Trace number 2683388

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.49 1800.98

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randec6fe1.cudf.paranoid.opb
MD5SUMa477a9044f2b3b58598ddfcaca6d0c17
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9316
Best CPU time to get the best result obtained on this benchmark2.22266
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5473
Total number of constraints24484
Number of constraints which are clauses24212
Number of constraints which are cardinality constraints (but not clauses)272
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 2046
Biggest coefficient in the objective function 1497
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 826342
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1497
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 826342
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-2683388-1277509326.opb>
0.39/0.44	c original problem has 5473 variables (5473 bin, 0 int, 0 impl, 0 cont) and 24484 constraints
0.39/0.44	c problem read
0.39/0.44	c presolving settings loaded
0.39/0.44	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.56	c presolving:
0.69/0.73	c (round 1) 593 del vars, 1147 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 52154 impls, 269 clqs
0.69/0.77	c (round 2) 694 del vars, 1410 del conss, 63 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 59012 impls, 267 clqs
0.79/0.83	c (round 3) 1080 del vars, 5326 del conss, 344 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 61909 impls, 256 clqs
0.79/0.89	c (round 4) 1741 del vars, 10529 del conss, 403 chg bounds, 13 chg sides, 41 chg coeffs, 0 upgd conss, 62612 impls, 252 clqs
0.89/0.91	c (round 5) 1849 del vars, 11054 del conss, 448 chg bounds, 18 chg sides, 47 chg coeffs, 0 upgd conss, 63071 impls, 246 clqs
0.89/0.93	c (round 6) 1909 del vars, 11488 del conss, 460 chg bounds, 20 chg sides, 49 chg coeffs, 0 upgd conss, 63154 impls, 246 clqs
0.89/0.95	c (round 7) 1924 del vars, 11603 del conss, 464 chg bounds, 20 chg sides, 50 chg coeffs, 0 upgd conss, 63258 impls, 246 clqs
0.89/0.97	c (round 8) 1929 del vars, 11617 del conss, 465 chg bounds, 20 chg sides, 50 chg coeffs, 0 upgd conss, 63267 impls, 246 clqs
0.89/0.98	c (round 9) 1930 del vars, 11618 del conss, 465 chg bounds, 20 chg sides, 50 chg coeffs, 0 upgd conss, 63267 impls, 246 clqs
1.10/1.16	c (round 10) 1930 del vars, 12959 del conss, 465 chg bounds, 20 chg sides, 50 chg coeffs, 11485 upgd conss, 63267 impls, 246 clqs
1.19/1.21	c (round 11) 1937 del vars, 12966 del conss, 465 chg bounds, 20 chg sides, 50 chg coeffs, 11485 upgd conss, 63267 impls, 246 clqs
1.19/1.25	c (round 12) 1937 del vars, 12967 del conss, 465 chg bounds, 21 chg sides, 50 chg coeffs, 11485 upgd conss, 63267 impls, 246 clqs
1.19/1.27	c (round 13) 1938 del vars, 12968 del conss, 465 chg bounds, 21 chg sides, 50 chg coeffs, 11518 upgd conss, 63267 impls, 246 clqs
1.29/1.32	c (round 14) 1938 del vars, 12969 del conss, 465 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 63267 impls, 246 clqs
1.39/1.48	c (round 15) 1989 del vars, 12969 del conss, 465 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 70034 impls, 241 clqs
1.49/1.50	c (round 16) 1993 del vars, 13122 del conss, 467 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 70053 impls, 241 clqs
1.49/1.52	c (round 17) 1996 del vars, 13126 del conss, 467 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 70053 impls, 241 clqs
1.49/1.58	c (round 18) 1996 del vars, 13143 del conss, 467 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 70053 impls, 241 clqs
1.49/1.60	c (round 19) 1997 del vars, 13144 del conss, 467 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 70053 impls, 241 clqs
1.69/1.79	c (round 20) 1997 del vars, 13166 del conss, 467 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 70053 impls, 241 clqs
1.99/2.01	c (round 21) 2051 del vars, 13167 del conss, 467 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 73696 impls, 239 clqs
1.99/2.03	c (round 22) 2053 del vars, 13202 del conss, 467 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 73705 impls, 239 clqs
1.99/2.08	c (round 23) 2054 del vars, 13202 del conss, 467 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 73705 impls, 239 clqs
2.20/2.29	c (round 24) 2104 del vars, 13203 del conss, 467 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 75996 impls, 235 clqs
2.29/2.31	c (round 25) 2108 del vars, 13257 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 76053 impls, 235 clqs
2.29/2.35	c (round 26) 2109 del vars, 13258 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 76053 impls, 235 clqs
2.49/2.52	c (round 27) 2159 del vars, 13258 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 77228 impls, 233 clqs
2.49/2.53	c (round 28) 2159 del vars, 13340 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 77228 impls, 233 clqs
2.59/2.65	c    (1.9s) probing: 1000/3535 (28.3%) - 64 fixings, 157 aggregations, 3943 implications, 0 bound changes
2.69/2.71	c (round 29) 2209 del vars, 13340 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 78240 impls, 232 clqs
2.69/2.72	c (round 30) 2209 del vars, 13352 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 78240 impls, 232 clqs
2.89/2.90	c (round 31) 2259 del vars, 13352 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 79074 impls, 231 clqs
2.89/2.92	c (round 32) 2259 del vars, 13374 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 79074 impls, 231 clqs
3.09/3.18	c (round 33) 2259 del vars, 13465 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 79074 impls, 231 clqs
3.30/3.33	c (round 34) 2309 del vars, 13465 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 79432 impls, 231 clqs
3.30/3.35	c (round 35) 2310 del vars, 13474 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 79434 impls, 231 clqs
3.49/3.52	c (round 36) 2360 del vars, 13474 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 80312 impls, 231 clqs
3.49/3.54	c (round 37) 2360 del vars, 13477 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 80312 impls, 231 clqs
3.49/3.59	c    (2.8s) probing: 2000/3535 (56.6%) - 78 fixings, 327 aggregations, 5046 implications, 0 bound changes
3.59/3.70	c (round 38) 2410 del vars, 13477 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 80952 impls, 231 clqs
3.69/3.71	c (round 39) 2410 del vars, 13500 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 80952 impls, 231 clqs
3.69/3.78	c (round 40) 2410 del vars, 13511 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 80952 impls, 231 clqs
3.89/3.96	c (round 41) 2460 del vars, 13511 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 82116 impls, 231 clqs
3.89/3.98	c (round 42) 2461 del vars, 13555 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 82118 impls, 231 clqs
3.99/4.03	c (round 43) 2461 del vars, 13558 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 82118 impls, 231 clqs
4.09/4.11	c (round 44) 2461 del vars, 13562 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 82118 impls, 231 clqs
4.30/4.32	c    (3.4s) probing: 3000/3535 (84.9%) - 125 fixings, 425 aggregations, 7239 implications, 0 bound changes
4.30/4.39	c (round 45) 2511 del vars, 13562 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 84802 impls, 231 clqs
4.40/4.41	c (round 46) 2521 del vars, 13649 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 84830 impls, 231 clqs
4.59/4.61	c (round 47) 2557 del vars, 13650 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 88756 impls, 231 clqs
4.59/4.62	c (round 48) 2593 del vars, 13722 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 88858 impls, 231 clqs
4.59/4.67	c (round 49) 2593 del vars, 13724 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 88858 impls, 231 clqs
4.69/4.73	c (round 50) 2593 del vars, 13747 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 88858 impls, 231 clqs
4.69/4.75	c (round 51) 2594 del vars, 13748 del conss, 468 chg bounds, 21 chg sides, 50 chg coeffs, 11519 upgd conss, 88858 impls, 231 clqs
4.69/4.79	c presolving (52 rounds):
4.69/4.79	c  2594 deleted vars, 13748 deleted constraints, 468 tightened bounds, 0 added holes, 21 changed sides, 50 changed coefficients
4.69/4.79	c  88858 implications, 231 cliques
4.69/4.79	c presolved problem has 2879 variables (2879 bin, 0 int, 0 impl, 0 cont) and 10739 constraints
4.69/4.79	c     234 constraints of type <setppc>
4.69/4.79	c   10505 constraints of type <logicor>
4.69/4.79	c transformed objective value is always integral (scale: 1)
4.69/4.79	c Presolving Time: 3.80
4.69/4.79	c - non default parameters ----------------------------------------------------------------------
4.69/4.79	c # SCIP version 1.2.1.2
4.69/4.79	c 
4.69/4.79	c # frequency for displaying node information lines
4.69/4.79	c # [type: int, range: [-1,2147483647], default: 100]
4.69/4.79	c display/freq = 10000
4.69/4.79	c 
4.69/4.79	c # maximal time in seconds to run
4.69/4.79	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.69/4.79	c limits/time = 1799.57
4.69/4.79	c 
4.69/4.79	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.69/4.79	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.69/4.79	c limits/memory = 1620
4.69/4.79	c 
4.69/4.79	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.69/4.79	c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.79	c lp/solvefreq = -1
4.69/4.79	c 
4.69/4.79	c # should presolving try to simplify inequalities
4.69/4.79	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.79	c constraints/linear/simplifyinequalities = TRUE
4.69/4.79	c 
4.69/4.79	c # should presolving try to simplify knapsacks
4.69/4.79	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.79	c constraints/knapsack/simplifyinequalities = TRUE
4.69/4.79	c 
4.69/4.79	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.69/4.79	c # [type: int, range: [-1,2147483647], default: -1]
4.69/4.79	c separating/rapidlearning/freq = 0
4.69/4.79	c 
4.69/4.79	c -----------------------------------------------------------------------------------------------
4.69/4.79	c start solving
4.69/4.79	c 
4.79/4.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.79/4.81	c   3.9s|     1 |     2 |     0 |     - |  27M|   0 |   - |2879 |  10k|   0 |   0 |   0 |   0 |   0 | 6.284000e+03 |      --      |    Inf 
88.77/88.80	c  87.5s| 10000 |  9971 |     0 |   0.0 |  32M|  67 |   - |2879 |  10k|   0 |   0 |   0 |  18 |   0 | 7.789000e+03 |      --      |    Inf 
169.64/169.77	c   168s| 20000 | 19957 |     0 |   0.0 |  38M|  97 |   - |2879 |  10k|   0 |   0 |   0 |  24 |   0 | 7.790000e+03 |      --      |    Inf 
248.93/249.04	c   247s| 30000 | 29934 |     0 |   0.0 |  43M|  97 |   - |2879 |  10k|   0 |   0 |   0 |  36 |   0 | 7.790000e+03 |      --      |    Inf 
328.30/328.43	c   326s| 40000 | 39907 |     0 |   0.0 |  49M| 105 |   - |2879 |  10k|   0 |   0 |   0 |  39 |   0 | 7.791000e+03 |      --      |    Inf 
407.29/407.47	c   405s| 50000 | 49899 |     0 |   0.0 |  54M| 105 |   - |2879 |  10k|   0 |   0 |   0 |  41 |   0 | 7.791000e+03 |      --      |    Inf 
482.77/482.96	c   480s| 60000 | 59851 |     0 |   0.0 |  59M| 131 |   - |2879 |  10k|   0 |   0 |   0 |  68 |   0 | 7.791000e+03 |      --      |    Inf 
557.45/557.68	c   554s| 70000 | 69841 |     0 |   0.0 |  64M| 157 |   - |2879 |  10k|   0 |   0 |   0 |  75 |   0 | 7.792000e+03 |      --      |    Inf 
632.52/632.77	c   629s| 80000 | 79833 |     0 |   0.0 |  69M| 157 |   - |2879 |  10k|   0 |   0 |   0 |  78 |   0 | 7.792000e+03 |      --      |    Inf 
706.40/706.64	c   703s| 90000 | 89827 |     0 |   0.0 |  75M| 157 |   - |2879 |  10k|   0 |   0 |   0 |  82 |   0 | 7.792000e+03 |      --      |    Inf 
779.39/779.66	c   775s|100000 | 99825 |     0 |   0.0 |  80M| 157 |   - |2879 |  10k|   0 |   0 |   0 |  83 |   0 | 7.792000e+03 |      --      |    Inf 
853.16/853.46	c   849s|110000 |109817 |     0 |   0.0 |  85M| 157 |   - |2879 |  10k|   0 |   0 |   0 |  87 |   0 | 7.792000e+03 |      --      |    Inf 
927.74/928.06	c   923s|120000 |119815 |     0 |   0.0 |  90M| 157 |   - |2879 |  10k|   0 |   0 |   0 |  90 |   0 | 7.792000e+03 |      --      |    Inf 
1000.13/1000.49	c   995s|130000 |129813 |     0 |   0.0 |  95M| 161 |   - |2879 |  10k|   0 |   0 |   0 |  91 |   0 | 7.792000e+03 |      --      |    Inf 
1072.01/1072.36	c  1067s|140000 |139803 |     0 |   0.0 | 100M| 163 |   - |2879 |  10k|   0 |   0 |   0 |  97 |   0 | 7.792000e+03 |      --      |    Inf 
1147.48/1147.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1147.48/1147.89	c  1142s|150000 |149803 |     0 |   0.0 | 105M| 163 |   - |2879 |  10k|   0 |   0 |   0 |  97 |   0 | 7.792000e+03 |      --      |    Inf 
1221.16/1221.56	c  1215s|160000 |159801 |     0 |   0.0 | 110M| 163 |   - |2879 |  10k|   0 |   0 |   0 |  98 |   0 | 7.792000e+03 |      --      |    Inf 
1292.34/1292.78	c  1286s|170000 |169799 |     0 |   0.0 | 115M| 163 |   - |2879 |  10k|   0 |   0 |   0 |  99 |   0 | 7.792000e+03 |      --      |    Inf 
1361.33/1361.70	c  1355s|180000 |179797 |     0 |   0.0 | 120M| 163 |   - |2879 |  10k|   0 |   0 |   0 | 100 |   0 | 7.792000e+03 |      --      |    Inf 
1433.20/1433.64	c  1426s|190000 |189785 |     0 |   0.0 | 125M| 163 |   - |2879 |  10k|   0 |   0 |   0 | 107 |   0 | 7.793000e+03 |      --      |    Inf 
1508.39/1508.87	c  1501s|200000 |199779 |     0 |   0.0 | 130M| 163 |   - |2879 |  10k|   0 |   0 |   0 | 107 |   0 | 7.793000e+03 |      --      |    Inf 
1583.16/1583.63	c  1576s|210000 |209777 |     0 |   0.0 | 135M| 163 |   - |2879 |  10k|   0 |   0 |   0 | 108 |   0 | 7.793000e+03 |      --      |    Inf 
1656.94/1657.41	c  1649s|220000 |219775 |     0 |   0.0 | 141M| 163 |   - |2879 |  10k|   0 |   0 |   0 | 108 |   0 | 7.793000e+03 |      --      |    Inf 
1730.32/1730.82	c  1722s|230000 |229773 |     0 |   0.0 | 146M| 163 |   - |2879 |  10k|   0 |   0 |   0 | 109 |   0 | 7.793000e+03 |      --      |    Inf 
1800.01/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.51	c 
1800.01/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.51	c Solving Time (sec) : 1791.62
1800.01/1800.51	c Solving Nodes      : 239523
1800.01/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.01/1800.51	c Dual Bound         : +7.79300000000000e+03
1800.01/1800.51	c Gap                : infinite
1800.01/1800.51	s UNKNOWN
1800.01/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.51	c Solving Time       :    1791.62
1800.01/1800.51	c Original Problem   :
1800.01/1800.51	c   Problem name     : HOME/instance-2683388-1277509326.opb
1800.01/1800.51	c   Variables        : 5473 (5473 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 24484 initial, 24484 maximal
1800.01/1800.51	c Presolved Problem  :
1800.01/1800.51	c   Problem name     : t_HOME/instance-2683388-1277509326.opb
1800.01/1800.51	c   Variables        : 2879 (2879 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 10739 initial, 10812 maximal
1800.01/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.51	c   trivial          :       0.04         28          0          0          0          0          0          0          0
1800.01/1800.51	c   dualfix          :       0.02        613          0          0          0          0          0          0          0
1800.01/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   implics          :       0.09          0        219          0          0          0          0          0          0
1800.01/1800.51	c   probing          :       1.59        166        425          0          0          0          0          0          0
1800.01/1800.51	c   setppc           :       0.02          0          2          0          0          0         15          0          0
1800.01/1800.51	c   linear           :       0.35        443        698          0        465          0      12965         21         50
1800.01/1800.51	c   logicor          :       1.58          0          0          0          3          0        768          0          0
1800.01/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.51	c   setppc           :        234          0     692749          0     239413         22      77405          0          0          0
1800.01/1800.51	c   logicor          :      10505+         0     620408          0     239413        203    1123884          0          0          0
1800.01/1800.51	c   countsols        :          0          0          0          0     239413          0          0          0          0          0
1800.01/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.51	c   setppc           :      39.80       0.00      11.13       0.00      28.67
1800.01/1800.51	c   logicor          :    1364.33       0.00      11.22       0.00    1353.11
1800.01/1800.51	c   countsols        :       0.22       0.00       0.00       0.00       0.22
1800.01/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.51	c   vbounds          :       0.41          2          0          0
1800.01/1800.51	c   rootredcost      :       0.49          0          0          0
1800.01/1800.51	c   pseudoobj        :      72.41     683264          0          0
1800.01/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.51	c   propagation      :       0.00        111         95        111        2.8          3        3.7          -
1800.01/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.51	c   applied globally :          -          -          -        110        2.7          -          -          -
1800.01/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.51	c Pricers            :       Time      Calls       Vars
1800.01/1800.51	c   problem variables:       0.00          0          0
1800.01/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   inference        :     279.17     239413          0          0          0          0     478826
1800.01/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.51	c   LP solutions     :       0.00          -          0
1800.01/1800.51	c   pseudo solutions :       0.00          -          0
1800.01/1800.51	c   oneopt           :       0.17          0          0
1800.01/1800.51	c   trivial          :       0.02          2          0
1800.01/1800.51	c   simplerounding   :       0.00          0          0
1800.01/1800.51	c   zirounding       :       0.00          0          0
1800.01/1800.51	c   rounding         :       0.00          0          0
1800.01/1800.51	c   shifting         :       0.00          0          0
1800.01/1800.51	c   intshifting      :       0.00          0          0
1800.01/1800.51	c   twoopt           :       0.00          0          0
1800.01/1800.51	c   fixandinfer      :       0.00          0          0
1800.01/1800.51	c   feaspump         :       0.00          0          0
1800.01/1800.51	c   coefdiving       :       0.00          0          0
1800.01/1800.51	c   pscostdiving     :       0.00          0          0
1800.01/1800.51	c   fracdiving       :       0.00          0          0
1800.01/1800.51	c   veclendiving     :       0.00          0          0
1800.01/1800.51	c   intdiving        :       0.00          0          0
1800.01/1800.51	c   actconsdiving    :       0.00          0          0
1800.01/1800.51	c   objpscostdiving  :       0.00          0          0
1800.01/1800.51	c   rootsoldiving    :       0.00          0          0
1800.01/1800.51	c   linesearchdiving :       0.00          0          0
1800.01/1800.51	c   guideddiving     :       0.00          0          0
1800.01/1800.51	c   octane           :       0.00          0          0
1800.01/1800.51	c   rens             :       0.00          0          0
1800.01/1800.51	c   rins             :       0.00          0          0
1800.01/1800.51	c   localbranching   :       0.00          0          0
1800.01/1800.51	c   mutation         :       0.00          0          0
1800.01/1800.51	c   crossover        :       0.00          0          0
1800.01/1800.51	c   dins             :       0.00          0          0
1800.01/1800.51	c   undercover       :       0.00          0          0
1800.01/1800.51	c   nlp              :       0.24          0          0
1800.01/1800.51	c   trysol           :       0.12          0          0
1800.01/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.52	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.52	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.52	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.52	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.52	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.52	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.52	c B&B Tree           :
1800.01/1800.52	c   number of runs   :          1
1800.01/1800.52	c   nodes            :     239523
1800.01/1800.52	c   nodes (total)    :     239523
1800.01/1800.52	c   nodes left       :     239294
1800.01/1800.52	c   max depth        :        163
1800.01/1800.52	c   max depth (total):        163
1800.01/1800.52	c   backtracks       :       3509 (1.5%)
1800.01/1800.52	c   delayed cutoffs  :         10
1800.01/1800.52	c   repropagations   :       2291 (328 domain reductions, 1 cutoffs)
1800.01/1800.52	c   avg switch length:       2.57
1800.01/1800.52	c   switching time   :      12.96
1800.01/1800.52	c Solution           :
1800.01/1800.52	c   Solutions found  :          0 (0 improvements)
1800.01/1800.52	c   Primal Bound     :          -
1800.01/1800.52	c   Dual Bound       : +7.79300000000000e+03
1800.01/1800.52	c   Gap              :   infinite
1800.01/1800.52	c   Root Dual Bound  : +6.28400000000000e+03
1800.01/1800.52	c   Root Iterations  :          0
1800.40/1800.97	c Time complete: 1800.48.

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-2683388-1277509326/watcher-2683388-1277509326 -o /tmp/evaluation-result-2683388-1277509326/solver-2683388-1277509326 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683388-1277509326.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 3/106 31204
/proc/meminfo: memFree=1843016/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=5556 CPUtime=0
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 885 0 0 0 0 0 0 0 24 0 1 0 92224657 5689344 808 1992294400 4194304 7136930 140737208406688 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31204/statm: 1389 808 249 719 0 668 0

[startup+0.080106 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31204
/proc/meminfo: memFree=1843016/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=12176 CPUtime=0.06
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 2542 0 0 0 6 0 0 0 24 0 1 0 92224657 12468224 2464 1992294400 4194304 7136930 140737208406688 18446744073709551615 6340390 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31204/statm: 3044 2464 271 719 0 2323 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12176

[startup+0.101108 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31204
/proc/meminfo: memFree=1843016/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=13840 CPUtime=0.09
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 2964 0 0 0 8 1 0 0 24 0 1 0 92224657 14172160 2886 1992294400 4194304 7136930 140737208406688 18446744073709551615 5650597 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31204/statm: 3460 2886 271 719 0 2739 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13840

[startup+0.301129 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31204
/proc/meminfo: memFree=1843016/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=19736 CPUtime=0.29
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 4433 0 0 0 28 1 0 0 24 0 1 0 92224657 20209664 4355 1992294400 4194304 7136930 140737208406688 18446744073709551615 6270316 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31204/statm: 4934 4355 271 719 0 4213 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19736

[startup+0.701172 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31204
/proc/meminfo: memFree=1843016/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=48416 CPUtime=0.69
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 11673 0 0 0 63 6 0 0 25 0 1 0 92224657 49577984 11241 1992294400 4194304 7136930 140737208406688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 12104 11241 348 719 0 11383 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48416

[startup+1.50126 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31205
/proc/meminfo: memFree=1797128/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=53644 CPUtime=1.49
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 19273 0 0 0 130 19 0 0 25 0 1 0 92224657 54931456 12611 1992294400 4194304 7136930 140737208406688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 13411 12611 370 719 0 12690 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53644

[startup+3.10043 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31205
/proc/meminfo: memFree=1792292/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=55420 CPUtime=3.09
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 27876 0 0 0 275 34 0 0 25 0 1 0 92224657 56750080 13058 1992294400 4194304 7136930 140737208406688 18446744073709551615 5008776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 13855 13058 376 719 0 13134 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55420

[startup+6.30077 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31205
/proc/meminfo: memFree=1790556/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=56448 CPUtime=6.29
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 35726 0 0 0 578 51 0 0 25 0 1 0 92224657 57802752 13331 1992294400 4194304 7136930 140737208406688 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 14112 13331 392 719 0 13391 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56448

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31205
/proc/meminfo: memFree=1790432/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=56712 CPUtime=12.69
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 35765 0 0 0 1215 54 0 0 25 0 1 0 92224657 58073088 13370 1992294400 4194304 7136930 140737208406688 18446744073709551615 4407888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 14178 13370 392 719 0 13457 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56712

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31207
/proc/meminfo: memFree=1789440/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=57816 CPUtime=25.48
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 36047 0 0 0 2488 60 0 0 25 0 1 0 92224657 59203584 13652 1992294400 4194304 7136930 140737208406688 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 14454 13652 392 719 0 13733 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57816

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31207
/proc/meminfo: memFree=1788076/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=59012 CPUtime=51.08
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 36370 0 0 0 5037 71 0 0 25 0 1 0 92224657 60428288 13975 1992294400 4194304 7136930 140737208406688 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 14753 13975 392 719 0 14032 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 59012

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31209
/proc/meminfo: memFree=1782744/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=64240 CPUtime=102.27
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 37682 0 0 0 10135 92 0 0 25 0 1 0 92224657 65781760 15287 1992294400 4194304 7136930 140737208406688 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 16060 15287 392 719 0 15339 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 64240

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31209
/proc/meminfo: memFree=1779148/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=67508 CPUtime=162.25
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 38556 0 0 0 16113 112 0 0 25 0 1 0 92224657 69128192 16161 1992294400 4194304 7136930 140737208406688 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 16877 16161 392 719 0 16156 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 67508

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31211
/proc/meminfo: memFree=1773196/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=73328 CPUtime=222.23
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 40037 0 0 0 22087 136 0 0 25 0 1 0 92224657 75087872 17642 1992294400 4194304 7136930 140737208406688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 18332 17642 392 719 0 17611 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 73328

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31213
/proc/meminfo: memFree=1771212/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=75240 CPUtime=282.22
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 40516 0 0 0 28064 158 0 0 25 0 1 0 92224657 77045760 18121 1992294400 4194304 7136930 140737208406688 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 18810 18121 392 719 0 18089 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 75240

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31215
/proc/meminfo: memFree=1764144/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=82136 CPUtime=342.2
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 42295 0 0 0 34038 182 0 0 25 0 1 0 92224657 84107264 19900 1992294400 4194304 7136930 140737208406688 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 20534 19900 392 719 0 19813 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 82136

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31217
/proc/meminfo: memFree=1759680/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=86360 CPUtime=402.19
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 43382 0 0 0 40012 207 0 0 25 0 1 0 92224657 88432640 20987 1992294400 4194304 7136930 140737208406688 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 21590 20987 392 719 0 20869 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 86360

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31217
/proc/meminfo: memFree=1756952/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=88932 CPUtime=462.17
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 44055 0 0 0 45986 231 0 0 25 0 1 0 92224657 91066368 21660 1992294400 4194304 7136930 140737208406688 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 22233 21660 392 719 0 21512 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 88932

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31219
/proc/meminfo: memFree=1754596/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=91036 CPUtime=522.15
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 44613 0 0 0 51961 254 0 0 25 0 1 0 92224657 93220864 22218 1992294400 4194304 7136930 140737208406688 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 22759 22218 392 719 0 22038 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 91036

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31221
/proc/meminfo: memFree=1748272/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=99360 CPUtime=582.14
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 46206 0 0 0 57933 281 0 0 25 0 1 0 92224657 101744640 23811 1992294400 4194304 7136930 140737208406688 18446744073709551615 5005126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 24840 23811 392 719 0 24119 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 99360

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31223
/proc/meminfo: memFree=1742444/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=105036 CPUtime=642.13
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 47649 0 0 0 63907 306 0 0 25 0 1 0 92224657 107556864 25254 1992294400 4194304 7136930 140737208406688 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 26259 25254 392 719 0 25538 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 105036

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31233
/proc/meminfo: memFree=1717644/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=128604 CPUtime=1002.03
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 53738 0 0 0 99741 462 0 0 25 0 1 0 92224657 131690496 31343 1992294400 4194304 7136930 140737208406688 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 32151 31343 392 719 0 31430 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 128604

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31233
/proc/meminfo: memFree=1712436/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=133624 CPUtime=1062.01
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 55030 0 0 0 105712 489 0 0 25 0 1 0 92224657 136830976 32635 1992294400 4194304 7136930 140737208406688 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 33406 32635 392 719 0 32685 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 133624

[startup+1122.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 31235
/proc/meminfo: memFree=1707972/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=137852 CPUtime=1122
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 56124 0 0 0 111686 514 0 0 25 0 1 0 92224657 141160448 33729 1992294400 4194304 7136930 140737208406688 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 34463 33729 392 719 0 33742 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 137852

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31246
/proc/meminfo: memFree=1703260/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=141824 CPUtime=1181.97
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 57148 0 0 0 117658 539 0 0 25 0 1 0 92224657 145227776 34753 1992294400 4194304 7136930 140737208406688 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 35456 34753 392 719 0 34735 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 141824

[startup+1242.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 31248
/proc/meminfo: memFree=1698796/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=146360 CPUtime=1241.96
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 58288 0 0 0 123631 565 0 0 25 0 1 0 92224657 149872640 35893 1992294400 4194304 7136930 140737208406688 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 36590 35893 392 719 0 35869 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 146360

[startup+1302.3 s]
/proc/loadavg: 1.20 1.06 1.01 2/107 31250
/proc/meminfo: memFree=1693464/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=151508 CPUtime=1301.94
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 59610 0 0 0 129605 589 0 0 25 0 1 0 92224657 155144192 37215 1992294400 4194304 7136930 140737208406688 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 37877 37215 392 719 0 37156 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 151508

[startup+1362.3 s]
/proc/loadavg: 1.17 1.08 1.02 2/107 31250
/proc/meminfo: memFree=1690736/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=153968 CPUtime=1361.92
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 60267 0 0 0 135578 614 0 0 25 0 1 0 92224657 157663232 37872 1992294400 4194304 7136930 140737208406688 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 38492 37872 392 719 0 37771 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 153968

[startup+1422.31 s]
/proc/loadavg: 1.06 1.06 1.01 2/107 31252
/proc/meminfo: memFree=1686768/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=157752 CPUtime=1421.91
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 61264 0 0 0 141550 641 0 0 25 0 1 0 92224657 161538048 38869 1992294400 4194304 7136930 140737208406688 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 39438 38869 392 719 0 38717 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 157752

[startup+1482.3 s]
/proc/loadavg: 1.02 1.05 1.01 2/107 31254
/proc/meminfo: memFree=1683544/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=160844 CPUtime=1481.89
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 62069 0 0 0 147522 667 0 0 25 0 1 0 92224657 164704256 39674 1992294400 4194304 7136930 140737208406688 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 40211 39674 392 719 0 39490 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 160844

[startup+1542.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 31256
/proc/meminfo: memFree=1678584/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=169900 CPUtime=1541.87
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 63340 0 0 0 153495 692 0 0 25 0 1 0 92224657 173977600 40945 1992294400 4194304 7136930 140737208406688 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 42475 40945 392 719 0 41754 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 169900

[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 31258
/proc/meminfo: memFree=1673996/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=174512 CPUtime=1601.86
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 64495 0 0 0 159471 715 0 0 25 0 1 0 92224657 178700288 42100 1992294400 4194304 7136930 140737208406688 18446744073709551615 5005126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 43628 42100 392 719 0 42907 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 174512

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31258
/proc/meminfo: memFree=1669780/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=178504 CPUtime=1661.84
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 65541 0 0 0 165443 741 0 0 25 0 1 0 92224657 182788096 43146 1992294400 4194304 7136930 140737208406688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 44626 43146 392 719 0 43905 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 178504

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31260
/proc/meminfo: memFree=1664572/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=183552 CPUtime=1721.83
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 66818 0 0 0 171414 769 0 0 25 0 1 0 92224657 187957248 44423 1992294400 4194304 7136930 140737208406688 18446744073709551615 4697566 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 45888 44423 392 719 0 45167 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 183552

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31262
/proc/meminfo: memFree=1661472/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=186444 CPUtime=1781.81
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 67606 0 0 0 177390 791 0 0 25 0 1 0 92224657 190918656 45211 1992294400 4194304 7136930 140737208406688 18446744073709551615 4697113 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 46611 45211 392 719 0 45890 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 186444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.00 3/107 31262
/proc/meminfo: memFree=1661348/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=186592 CPUtime=1800.01
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 67620 0 0 0 179203 798 0 0 25 0 1 0 92224657 191070208 45225 1992294400 4194304 7136930 140737208406688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31204/statm: 46648 45225 392 719 0 45927 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 186592

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 31263
/proc/meminfo: memFree=1661340/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=186592 CPUtime=1800.11
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 67625 0 0 0 179213 798 0 0 25 0 1 0 92224657 191070208 45230 1992294400 4194304 7136930 140737208406688 18446744073709551615 4616711 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31204/statm: 46648 45230 397 719 0 45927 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 186592

[startup+1800.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 31263
/proc/meminfo: memFree=1661340/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=186076 CPUtime=1800.3
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 67625 0 0 0 179232 798 0 0 25 0 1 0 92224657 190541824 45101 1992294400 4194304 7136930 140737208406688 18446744073709551615 6165639 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31204/statm: 46519 45101 397 719 0 45798 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 186076

[startup+1800.9 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 31263
/proc/meminfo: memFree=1661340/2059040 swapFree=4135892/4192956
[pid=31204] ppid=31202 vsize=136952 CPUtime=1800.4
/proc/31204/stat : 31204 (pbscip.linux.x8) R 31202 31204 30850 0 -1 4202496 67625 0 0 0 179241 799 0 0 25 0 1 0 92224657 140238848 32820 1992294400 4194304 7136930 140737208406688 18446744073709551615 5950487 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31204/statm: 34238 32820 397 719 0 33517 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 136952

Child status: 0
Real time (s): 1800.98
CPU time (s): 1800.49
CPU user time (s): 1792.47
CPU system time (s): 8.01378
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 186592

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

runsolver used 2.94455 second user time and 8.5427 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-26 01:42:06
IDJOB=2683388
IDBENCH=72108
IDSOLVER=1167
FILE ID=node047/2683388-1277509326
PBS_JOBID= 11190634
Free space on /tmp= 62480 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randec6fe1.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-2683388-1277509326/watcher-2683388-1277509326 -o /tmp/evaluation-result-2683388-1277509326/solver-2683388-1277509326 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683388-1277509326.opb -t 1800 -m 1800

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

MD5SUM BENCH= a477a9044f2b3b58598ddfcaca6d0c17
RANDOM SEED=1424791726

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1843420 kB
Buffers:         34208 kB
Cached:          86592 kB
SwapCached:       9576 kB
Active:          78804 kB
Inactive:        54640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1843420 kB
SwapTotal:     4192956 kB
SwapFree:      4135892 kB
Dirty:            3996 kB
Writeback:           8 kB
AnonPages:       11484 kB
Mapped:           8328 kB
Slab:            60072 kB
PageTables:       4204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180600 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node047 at 2010-06-26 02:12:09