Trace number 2664168

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) 1801.09 1801.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-mitre.opb
MD5SUM2b9af9044591fd3eb9f5def12c800cff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7677
Best CPU time to get the best result obtained on this benchmark26.299
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7680
Optimality of the best value was proved NO
Number of variables10724
Total number of constraints1662
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)1139
Number of constraints which are nor clauses,nor cardinality constraints383
Minimum length of a constraint3
Maximum length of a constraint98
Number of terms in the objective function 9324
Biggest coefficient in the objective function 213
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 909647
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1069
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 909647
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-2664168-1276363058.opb>
0.10/0.14	c original problem has 10724 variables (10724 bin, 0 int, 0 impl, 0 cont) and 1662 constraints
0.10/0.14	c problem read
0.10/0.14	c presolving settings loaded
0.10/0.14	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.19/0.26	c presolving:
0.19/0.30	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 2077 chg coeffs, 0 upgd conss, 0 impls, 383 clqs
0.39/0.40	c (round 2) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 2077 chg coeffs, 1657 upgd conss, 0 impls, 383 clqs
0.49/0.58	c (round 3) 1698 del vars, 57 del conss, 0 chg bounds, 112 chg sides, 3725 chg coeffs, 1657 upgd conss, 0 impls, 383 clqs
0.59/0.69	c (round 4) 2111 del vars, 71 del conss, 0 chg bounds, 124 chg sides, 4221 chg coeffs, 1657 upgd conss, 0 impls, 383 clqs
0.69/0.74	c (round 5) 2231 del vars, 79 del conss, 0 chg bounds, 124 chg sides, 4221 chg coeffs, 1657 upgd conss, 0 impls, 383 clqs
0.69/0.77	c (round 6) 2247 del vars, 82 del conss, 0 chg bounds, 124 chg sides, 4221 chg coeffs, 1657 upgd conss, 0 impls, 383 clqs
1.00/1.02	c (round 7) 2297 del vars, 82 del conss, 0 chg bounds, 124 chg sides, 4221 chg coeffs, 1657 upgd conss, 5334 impls, 383 clqs
1.00/1.06	c (round 8) 2297 del vars, 93 del conss, 0 chg bounds, 129 chg sides, 4231 chg coeffs, 1657 upgd conss, 5334 impls, 383 clqs
1.10/1.19	c (round 9) 2347 del vars, 93 del conss, 0 chg bounds, 129 chg sides, 4231 chg coeffs, 1657 upgd conss, 6936 impls, 383 clqs
1.19/1.23	c (round 10) 2347 del vars, 93 del conss, 0 chg bounds, 132 chg sides, 4237 chg coeffs, 1657 upgd conss, 6936 impls, 383 clqs
1.29/1.33	c (round 11) 2397 del vars, 93 del conss, 0 chg bounds, 132 chg sides, 4237 chg coeffs, 1657 upgd conss, 7558 impls, 383 clqs
1.29/1.36	c (round 12) 2397 del vars, 101 del conss, 0 chg bounds, 133 chg sides, 4239 chg coeffs, 1657 upgd conss, 7558 impls, 383 clqs
1.39/1.48	c (round 13) 2447 del vars, 101 del conss, 0 chg bounds, 133 chg sides, 4239 chg coeffs, 1657 upgd conss, 8666 impls, 383 clqs
1.49/1.51	c (round 14) 2447 del vars, 101 del conss, 0 chg bounds, 135 chg sides, 4243 chg coeffs, 1657 upgd conss, 8666 impls, 383 clqs
1.59/1.67	c (round 15) 2497 del vars, 101 del conss, 0 chg bounds, 135 chg sides, 4243 chg coeffs, 1657 upgd conss, 9576 impls, 383 clqs
1.69/1.71	c (round 16) 2497 del vars, 101 del conss, 0 chg bounds, 137 chg sides, 4247 chg coeffs, 1657 upgd conss, 9576 impls, 383 clqs
1.79/1.87	c (round 17) 2547 del vars, 101 del conss, 0 chg bounds, 137 chg sides, 4247 chg coeffs, 1657 upgd conss, 10668 impls, 383 clqs
1.89/1.91	c (round 18) 2547 del vars, 124 del conss, 0 chg bounds, 139 chg sides, 4251 chg coeffs, 1657 upgd conss, 10668 impls, 383 clqs
2.09/2.14	c (round 19) 2597 del vars, 124 del conss, 0 chg bounds, 139 chg sides, 4251 chg coeffs, 1657 upgd conss, 15102 impls, 383 clqs
2.09/2.18	c (round 20) 2597 del vars, 128 del conss, 0 chg bounds, 145 chg sides, 4263 chg coeffs, 1657 upgd conss, 15102 impls, 383 clqs
2.09/2.19	c (round 21) 2597 del vars, 128 del conss, 0 chg bounds, 146 chg sides, 4297 chg coeffs, 1657 upgd conss, 15102 impls, 383 clqs
2.39/2.45	c (round 22) 2647 del vars, 128 del conss, 0 chg bounds, 146 chg sides, 4297 chg coeffs, 1657 upgd conss, 17484 impls, 383 clqs
2.39/2.48	c (round 23) 2647 del vars, 132 del conss, 0 chg bounds, 149 chg sides, 4303 chg coeffs, 1657 upgd conss, 17484 impls, 384 clqs
2.59/2.60	c    (2.3s) probing: 1000/8477 (11.8%) - 435 fixings, 0 aggregations, 8894 implications, 0 bound changes
2.59/2.62	c (round 24) 2697 del vars, 132 del conss, 0 chg bounds, 149 chg sides, 4303 chg coeffs, 1657 upgd conss, 18268 impls, 384 clqs
2.59/2.65	c (round 25) 2697 del vars, 132 del conss, 0 chg bounds, 155 chg sides, 4315 chg coeffs, 1657 upgd conss, 18268 impls, 384 clqs
2.59/2.67	c (round 26) 2697 del vars, 132 del conss, 0 chg bounds, 158 chg sides, 4355 chg coeffs, 1657 upgd conss, 18268 impls, 384 clqs
2.79/2.84	c (round 27) 2747 del vars, 132 del conss, 0 chg bounds, 158 chg sides, 4355 chg coeffs, 1657 upgd conss, 20798 impls, 384 clqs
2.79/2.87	c (round 28) 2747 del vars, 135 del conss, 0 chg bounds, 160 chg sides, 4359 chg coeffs, 1657 upgd conss, 20798 impls, 385 clqs
2.99/3.04	c (round 29) 2797 del vars, 135 del conss, 0 chg bounds, 160 chg sides, 4359 chg coeffs, 1657 upgd conss, 22784 impls, 385 clqs
2.99/3.08	c (round 30) 2797 del vars, 137 del conss, 0 chg bounds, 161 chg sides, 4361 chg coeffs, 1657 upgd conss, 22784 impls, 385 clqs
3.20/3.22	c (round 31) 2847 del vars, 137 del conss, 0 chg bounds, 161 chg sides, 4361 chg coeffs, 1657 upgd conss, 23984 impls, 385 clqs
3.20/3.25	c (round 32) 2847 del vars, 145 del conss, 0 chg bounds, 163 chg sides, 4365 chg coeffs, 1657 upgd conss, 23984 impls, 385 clqs
3.30/3.39	c (round 33) 2897 del vars, 145 del conss, 0 chg bounds, 163 chg sides, 4365 chg coeffs, 1657 upgd conss, 25206 impls, 385 clqs
3.39/3.43	c (round 34) 2897 del vars, 157 del conss, 0 chg bounds, 167 chg sides, 4373 chg coeffs, 1657 upgd conss, 25206 impls, 385 clqs
3.59/3.64	c (round 35) 2947 del vars, 157 del conss, 0 chg bounds, 167 chg sides, 4373 chg coeffs, 1657 upgd conss, 27426 impls, 385 clqs
3.59/3.67	c (round 36) 2947 del vars, 159 del conss, 0 chg bounds, 168 chg sides, 4375 chg coeffs, 1657 upgd conss, 27426 impls, 385 clqs
3.89/3.95	c (round 37) 2997 del vars, 159 del conss, 0 chg bounds, 168 chg sides, 4375 chg coeffs, 1657 upgd conss, 30162 impls, 385 clqs
3.89/3.99	c (round 38) 2997 del vars, 167 del conss, 0 chg bounds, 173 chg sides, 4385 chg coeffs, 1657 upgd conss, 30162 impls, 385 clqs
4.09/4.13	c (round 39) 3047 del vars, 167 del conss, 0 chg bounds, 173 chg sides, 4385 chg coeffs, 1657 upgd conss, 31324 impls, 385 clqs
4.09/4.16	c (round 40) 3047 del vars, 169 del conss, 0 chg bounds, 176 chg sides, 4391 chg coeffs, 1657 upgd conss, 31324 impls, 385 clqs
4.19/4.29	c (round 41) 3097 del vars, 169 del conss, 0 chg bounds, 176 chg sides, 4391 chg coeffs, 1657 upgd conss, 32866 impls, 385 clqs
4.30/4.32	c (round 42) 3097 del vars, 184 del conss, 0 chg bounds, 177 chg sides, 4393 chg coeffs, 1657 upgd conss, 32866 impls, 385 clqs
4.30/4.40	c (round 43) 3147 del vars, 184 del conss, 0 chg bounds, 177 chg sides, 4393 chg coeffs, 1657 upgd conss, 33112 impls, 385 clqs
4.40/4.42	c (round 44) 3147 del vars, 189 del conss, 0 chg bounds, 177 chg sides, 4393 chg coeffs, 1657 upgd conss, 33112 impls, 385 clqs
4.40/4.49	c    (4.1s) probing: 2000/8477 (23.6%) - 929 fixings, 0 aggregations, 16557 implications, 0 bound changes
4.59/4.62	c (round 45) 3197 del vars, 189 del conss, 0 chg bounds, 177 chg sides, 4393 chg coeffs, 1657 upgd conss, 36220 impls, 385 clqs
4.59/4.65	c (round 46) 3197 del vars, 189 del conss, 0 chg bounds, 181 chg sides, 4401 chg coeffs, 1657 upgd conss, 36220 impls, 385 clqs
4.79/4.85	c (round 47) 3247 del vars, 189 del conss, 0 chg bounds, 181 chg sides, 4401 chg coeffs, 1657 upgd conss, 38434 impls, 385 clqs
4.79/4.88	c (round 48) 3247 del vars, 197 del conss, 0 chg bounds, 183 chg sides, 4405 chg coeffs, 1657 upgd conss, 38434 impls, 385 clqs
5.19/5.21	c (round 49) 3297 del vars, 197 del conss, 0 chg bounds, 183 chg sides, 4405 chg coeffs, 1657 upgd conss, 42004 impls, 385 clqs
5.19/5.25	c (round 50) 3297 del vars, 198 del conss, 0 chg bounds, 188 chg sides, 4415 chg coeffs, 1657 upgd conss, 42004 impls, 385 clqs
5.50/5.54	c (round 51) 3347 del vars, 198 del conss, 0 chg bounds, 188 chg sides, 4415 chg coeffs, 1657 upgd conss, 45676 impls, 385 clqs
5.50/5.57	c (round 52) 3347 del vars, 210 del conss, 0 chg bounds, 192 chg sides, 4422 chg coeffs, 1657 upgd conss, 45676 impls, 385 clqs
5.50/5.58	c (round 53) 3347 del vars, 210 del conss, 0 chg bounds, 193 chg sides, 4462 chg coeffs, 1657 upgd conss, 45676 impls, 385 clqs
5.79/5.82	c (round 54) 3397 del vars, 210 del conss, 0 chg bounds, 193 chg sides, 4462 chg coeffs, 1657 upgd conss, 47514 impls, 385 clqs
5.79/5.85	c (round 55) 3397 del vars, 210 del conss, 0 chg bounds, 195 chg sides, 4465 chg coeffs, 1657 upgd conss, 47514 impls, 385 clqs
5.79/5.87	c (round 56) 3397 del vars, 210 del conss, 0 chg bounds, 196 chg sides, 4493 chg coeffs, 1657 upgd conss, 47514 impls, 385 clqs
6.19/6.26	c (round 57) 3447 del vars, 210 del conss, 0 chg bounds, 196 chg sides, 4493 chg coeffs, 1657 upgd conss, 53308 impls, 385 clqs
6.29/6.30	c (round 58) 3447 del vars, 224 del conss, 0 chg bounds, 204 chg sides, 4509 chg coeffs, 1657 upgd conss, 53308 impls, 385 clqs
6.39/6.42	c (round 59) 3497 del vars, 224 del conss, 0 chg bounds, 204 chg sides, 4509 chg coeffs, 1657 upgd conss, 54192 impls, 385 clqs
6.39/6.45	c (round 60) 3497 del vars, 231 del conss, 0 chg bounds, 204 chg sides, 4509 chg coeffs, 1657 upgd conss, 54192 impls, 385 clqs
6.49/6.54	c    (6.1s) probing: 3000/8477 (35.4%) - 1269 fixings, 0 aggregations, 27152 implications, 0 bound changes
6.49/6.59	c (round 61) 3547 del vars, 231 del conss, 0 chg bounds, 204 chg sides, 4509 chg coeffs, 1657 upgd conss, 55524 impls, 385 clqs
6.60/6.63	c (round 62) 3547 del vars, 237 del conss, 0 chg bounds, 204 chg sides, 4509 chg coeffs, 1657 upgd conss, 55524 impls, 385 clqs
6.79/6.82	c (round 63) 3597 del vars, 237 del conss, 0 chg bounds, 204 chg sides, 4509 chg coeffs, 1657 upgd conss, 57734 impls, 385 clqs
6.79/6.86	c (round 64) 3597 del vars, 237 del conss, 0 chg bounds, 205 chg sides, 4511 chg coeffs, 1657 upgd conss, 57734 impls, 385 clqs
7.19/7.21	c (round 65) 3647 del vars, 237 del conss, 0 chg bounds, 205 chg sides, 4511 chg coeffs, 1657 upgd conss, 61996 impls, 385 clqs
7.19/7.25	c (round 66) 3647 del vars, 240 del conss, 0 chg bounds, 208 chg sides, 4517 chg coeffs, 1657 upgd conss, 61996 impls, 385 clqs
7.39/7.44	c (round 67) 3697 del vars, 240 del conss, 0 chg bounds, 208 chg sides, 4517 chg coeffs, 1657 upgd conss, 63524 impls, 385 clqs
7.39/7.48	c (round 68) 3697 del vars, 243 del conss, 0 chg bounds, 210 chg sides, 4521 chg coeffs, 1657 upgd conss, 63524 impls, 385 clqs
7.59/7.65	c (round 69) 3747 del vars, 243 del conss, 0 chg bounds, 210 chg sides, 4521 chg coeffs, 1657 upgd conss, 64382 impls, 385 clqs
7.59/7.69	c (round 70) 3747 del vars, 243 del conss, 0 chg bounds, 212 chg sides, 4525 chg coeffs, 1657 upgd conss, 64382 impls, 385 clqs
8.19/8.26	c (round 71) 3797 del vars, 243 del conss, 0 chg bounds, 212 chg sides, 4525 chg coeffs, 1657 upgd conss, 73442 impls, 385 clqs
8.29/8.31	c (round 72) 3797 del vars, 257 del conss, 0 chg bounds, 222 chg sides, 4545 chg coeffs, 1657 upgd conss, 73442 impls, 385 clqs
8.39/8.45	c (round 73) 3847 del vars, 257 del conss, 0 chg bounds, 222 chg sides, 4545 chg coeffs, 1657 upgd conss, 74404 impls, 385 clqs
8.39/8.49	c (round 74) 3847 del vars, 261 del conss, 0 chg bounds, 226 chg sides, 4553 chg coeffs, 1657 upgd conss, 74404 impls, 385 clqs
8.59/8.61	c (round 75) 3897 del vars, 261 del conss, 0 chg bounds, 226 chg sides, 4553 chg coeffs, 1657 upgd conss, 75224 impls, 385 clqs
8.59/8.66	c    (8.1s) probing: 4000/8477 (47.2%) - 1651 fixings, 0 aggregations, 37041 implications, 0 bound changes
8.69/8.78	c (round 76) 3947 del vars, 261 del conss, 0 chg bounds, 226 chg sides, 4553 chg coeffs, 1657 upgd conss, 76028 impls, 385 clqs
8.80/8.81	c (round 77) 3947 del vars, 264 del conss, 0 chg bounds, 228 chg sides, 4557 chg coeffs, 1657 upgd conss, 76028 impls, 385 clqs
8.99/9.03	c (round 78) 3997 del vars, 264 del conss, 0 chg bounds, 228 chg sides, 4557 chg coeffs, 1657 upgd conss, 77920 impls, 385 clqs
8.99/9.07	c (round 79) 3997 del vars, 272 del conss, 0 chg bounds, 228 chg sides, 4557 chg coeffs, 1657 upgd conss, 77920 impls, 385 clqs
9.18/9.22	c (round 80) 4047 del vars, 272 del conss, 0 chg bounds, 228 chg sides, 4557 chg coeffs, 1657 upgd conss, 79028 impls, 385 clqs
9.18/9.25	c (round 81) 4047 del vars, 284 del conss, 0 chg bounds, 229 chg sides, 4559 chg coeffs, 1657 upgd conss, 79028 impls, 385 clqs
9.39/9.49	c (round 82) 4097 del vars, 284 del conss, 0 chg bounds, 229 chg sides, 4559 chg coeffs, 1657 upgd conss, 80904 impls, 385 clqs
9.49/9.53	c (round 83) 4097 del vars, 287 del conss, 0 chg bounds, 230 chg sides, 4561 chg coeffs, 1657 upgd conss, 80904 impls, 385 clqs
9.69/9.77	c (round 84) 4147 del vars, 287 del conss, 0 chg bounds, 230 chg sides, 4561 chg coeffs, 1657 upgd conss, 82698 impls, 385 clqs
9.80/9.80	c (round 85) 4147 del vars, 290 del conss, 0 chg bounds, 231 chg sides, 4563 chg coeffs, 1657 upgd conss, 82698 impls, 385 clqs
10.09/10.15	c (round 86) 4197 del vars, 290 del conss, 0 chg bounds, 231 chg sides, 4563 chg coeffs, 1657 upgd conss, 86004 impls, 385 clqs
10.09/10.19	c (round 87) 4197 del vars, 295 del conss, 0 chg bounds, 232 chg sides, 4565 chg coeffs, 1657 upgd conss, 86004 impls, 385 clqs
10.29/10.37	c (round 88) 4247 del vars, 295 del conss, 0 chg bounds, 232 chg sides, 4565 chg coeffs, 1657 upgd conss, 87166 impls, 385 clqs
10.39/10.41	c (round 89) 4247 del vars, 299 del conss, 0 chg bounds, 232 chg sides, 4565 chg coeffs, 1657 upgd conss, 87166 impls, 385 clqs
10.58/10.65	c (round 90) 4297 del vars, 299 del conss, 0 chg bounds, 232 chg sides, 4565 chg coeffs, 1657 upgd conss, 88934 impls, 385 clqs
10.58/10.68	c (round 91) 4297 del vars, 299 del conss, 0 chg bounds, 234 chg sides, 4569 chg coeffs, 1657 upgd conss, 88934 impls, 385 clqs
10.69/10.75	c    (10.1s) probing: 5000/8477 (59.0%) - 2080 fixings, 0 aggregations, 43950 implications, 0 bound changes
10.69/10.79	c (round 92) 4347 del vars, 299 del conss, 0 chg bounds, 234 chg sides, 4569 chg coeffs, 1657 upgd conss, 89310 impls, 385 clqs
10.79/10.81	c (round 93) 4347 del vars, 302 del conss, 0 chg bounds, 236 chg sides, 4573 chg coeffs, 1657 upgd conss, 89310 impls, 385 clqs
10.89/10.96	c (round 94) 4397 del vars, 302 del conss, 0 chg bounds, 236 chg sides, 4573 chg coeffs, 1657 upgd conss, 90616 impls, 385 clqs
10.89/11.00	c (round 95) 4397 del vars, 302 del conss, 0 chg bounds, 239 chg sides, 4579 chg coeffs, 1657 upgd conss, 90616 impls, 385 clqs
11.09/11.11	c (round 96) 4447 del vars, 302 del conss, 0 chg bounds, 239 chg sides, 4579 chg coeffs, 1657 upgd conss, 91132 impls, 385 clqs
11.09/11.15	c (round 97) 4447 del vars, 305 del conss, 0 chg bounds, 241 chg sides, 4583 chg coeffs, 1657 upgd conss, 91132 impls, 385 clqs
11.59/11.67	c (round 98) 4497 del vars, 305 del conss, 0 chg bounds, 241 chg sides, 4583 chg coeffs, 1657 upgd conss, 100230 impls, 385 clqs
11.69/11.71	c (round 99) 4497 del vars, 312 del conss, 0 chg bounds, 248 chg sides, 4597 chg coeffs, 1657 upgd conss, 100230 impls, 385 clqs
11.79/11.87	c (round 100) 4547 del vars, 312 del conss, 0 chg bounds, 248 chg sides, 4597 chg coeffs, 1657 upgd conss, 101178 impls, 385 clqs
11.89/11.90	c (round 101) 4547 del vars, 319 del conss, 0 chg bounds, 251 chg sides, 4603 chg coeffs, 1657 upgd conss, 101178 impls, 385 clqs
11.99/12.09	c (round 102) 4597 del vars, 319 del conss, 0 chg bounds, 251 chg sides, 4603 chg coeffs, 1657 upgd conss, 102618 impls, 385 clqs
12.10/12.12	c (round 103) 4597 del vars, 327 del conss, 0 chg bounds, 251 chg sides, 4603 chg coeffs, 1657 upgd conss, 102618 impls, 385 clqs
12.19/12.28	c (round 104) 4647 del vars, 327 del conss, 0 chg bounds, 251 chg sides, 4603 chg coeffs, 1657 upgd conss, 103330 impls, 385 clqs
12.28/12.31	c (round 105) 4647 del vars, 332 del conss, 0 chg bounds, 253 chg sides, 4607 chg coeffs, 1657 upgd conss, 103330 impls, 385 clqs
12.49/12.50	c (round 106) 4697 del vars, 332 del conss, 0 chg bounds, 253 chg sides, 4607 chg coeffs, 1657 upgd conss, 105024 impls, 385 clqs
12.49/12.55	c (round 107) 4697 del vars, 332 del conss, 0 chg bounds, 256 chg sides, 4612 chg coeffs, 1657 upgd conss, 105024 impls, 385 clqs
12.49/12.56	c (round 108) 4697 del vars, 332 del conss, 0 chg bounds, 257 chg sides, 4640 chg coeffs, 1657 upgd conss, 105024 impls, 385 clqs
12.68/12.72	c (round 109) 4747 del vars, 332 del conss, 0 chg bounds, 257 chg sides, 4640 chg coeffs, 1657 upgd conss, 105720 impls, 385 clqs
12.68/12.75	c (round 110) 4747 del vars, 333 del conss, 0 chg bounds, 259 chg sides, 4644 chg coeffs, 1657 upgd conss, 105720 impls, 385 clqs
12.89/12.92	c (round 111) 4797 del vars, 333 del conss, 0 chg bounds, 259 chg sides, 4644 chg coeffs, 1657 upgd conss, 106862 impls, 385 clqs
12.89/12.95	c (round 112) 4797 del vars, 333 del conss, 0 chg bounds, 261 chg sides, 4648 chg coeffs, 1657 upgd conss, 106862 impls, 385 clqs
12.89/12.98	c    (12.3s) probing: 6000/8477 (70.8%) - 2557 fixings, 0 aggregations, 52550 implications, 0 bound changes
13.20/13.21	c (round 113) 4847 del vars, 333 del conss, 0 chg bounds, 261 chg sides, 4648 chg coeffs, 1657 upgd conss, 108340 impls, 385 clqs
13.20/13.25	c (round 114) 4847 del vars, 348 del conss, 0 chg bounds, 264 chg sides, 4654 chg coeffs, 1657 upgd conss, 108340 impls, 385 clqs
13.49/13.51	c (round 115) 4897 del vars, 348 del conss, 0 chg bounds, 264 chg sides, 4654 chg coeffs, 1657 upgd conss, 109688 impls, 385 clqs
13.79/13.80	c (round 116) 4947 del vars, 348 del conss, 0 chg bounds, 264 chg sides, 4655 chg coeffs, 1657 upgd conss, 110938 impls, 385 clqs
13.79/13.84	c (round 117) 4947 del vars, 351 del conss, 0 chg bounds, 266 chg sides, 4659 chg coeffs, 1657 upgd conss, 110938 impls, 385 clqs
13.89/13.97	c (round 118) 4997 del vars, 351 del conss, 0 chg bounds, 266 chg sides, 4659 chg coeffs, 1657 upgd conss, 111306 impls, 385 clqs
13.99/14.00	c (round 119) 4997 del vars, 364 del conss, 0 chg bounds, 269 chg sides, 4665 chg coeffs, 1657 upgd conss, 111306 impls, 386 clqs
14.49/14.59	c (round 120) 5047 del vars, 364 del conss, 0 chg bounds, 269 chg sides, 4665 chg coeffs, 1657 upgd conss, 118834 impls, 386 clqs
14.59/14.63	c (round 121) 5047 del vars, 371 del conss, 0 chg bounds, 274 chg sides, 4676 chg coeffs, 1657 upgd conss, 118834 impls, 386 clqs
14.59/14.65	c (round 122) 5047 del vars, 371 del conss, 0 chg bounds, 275 chg sides, 4679 chg coeffs, 1657 upgd conss, 118834 impls, 386 clqs
14.79/14.82	c (round 123) 5097 del vars, 371 del conss, 0 chg bounds, 275 chg sides, 4679 chg coeffs, 1657 upgd conss, 119824 impls, 386 clqs
14.79/14.85	c (round 124) 5097 del vars, 373 del conss, 0 chg bounds, 280 chg sides, 4687 chg coeffs, 1657 upgd conss, 119824 impls, 387 clqs
14.79/14.86	c (round 125) 5097 del vars, 373 del conss, 0 chg bounds, 281 chg sides, 4728 chg coeffs, 1657 upgd conss, 119824 impls, 387 clqs
14.89/14.98	c (round 126) 5147 del vars, 373 del conss, 0 chg bounds, 281 chg sides, 4728 chg coeffs, 1657 upgd conss, 120342 impls, 387 clqs
14.99/15.01	c (round 127) 5147 del vars, 376 del conss, 0 chg bounds, 281 chg sides, 4728 chg coeffs, 1657 upgd conss, 120342 impls, 387 clqs
15.09/15.19	c (round 128) 5197 del vars, 376 del conss, 0 chg bounds, 281 chg sides, 4728 chg coeffs, 1657 upgd conss, 121662 impls, 387 clqs
15.19/15.22	c (round 129) 5197 del vars, 377 del conss, 0 chg bounds, 283 chg sides, 4732 chg coeffs, 1657 upgd conss, 121662 impls, 387 clqs
15.19/15.24	c    (14.5s) probing: 7000/8477 (82.6%) - 2956 fixings, 0 aggregations, 59746 implications, 0 bound changes
15.40/15.48	c (round 130) 5247 del vars, 377 del conss, 0 chg bounds, 283 chg sides, 4732 chg coeffs, 1657 upgd conss, 123926 impls, 387 clqs
15.49/15.52	c (round 131) 5247 del vars, 377 del conss, 0 chg bounds, 284 chg sides, 4734 chg coeffs, 1657 upgd conss, 123926 impls, 387 clqs
15.58/15.66	c (round 132) 5297 del vars, 377 del conss, 0 chg bounds, 284 chg sides, 4734 chg coeffs, 1657 upgd conss, 124906 impls, 387 clqs
15.58/15.69	c (round 133) 5297 del vars, 384 del conss, 0 chg bounds, 286 chg sides, 4738 chg coeffs, 1657 upgd conss, 124906 impls, 387 clqs
15.89/15.91	c (round 134) 5347 del vars, 384 del conss, 0 chg bounds, 286 chg sides, 4738 chg coeffs, 1657 upgd conss, 126438 impls, 387 clqs
15.89/15.95	c (round 135) 5347 del vars, 384 del conss, 0 chg bounds, 288 chg sides, 4742 chg coeffs, 1657 upgd conss, 126438 impls, 387 clqs
16.09/16.12	c (round 136) 5397 del vars, 384 del conss, 0 chg bounds, 288 chg sides, 4742 chg coeffs, 1657 upgd conss, 127112 impls, 387 clqs
16.09/16.15	c (round 137) 5397 del vars, 391 del conss, 0 chg bounds, 289 chg sides, 4744 chg coeffs, 1657 upgd conss, 127112 impls, 387 clqs
16.29/16.33	c (round 138) 5447 del vars, 391 del conss, 0 chg bounds, 289 chg sides, 4744 chg coeffs, 1657 upgd conss, 128128 impls, 387 clqs
16.29/16.37	c (round 139) 5447 del vars, 393 del conss, 0 chg bounds, 290 chg sides, 4746 chg coeffs, 1657 upgd conss, 128128 impls, 387 clqs
16.89/16.91	c (round 140) 5497 del vars, 393 del conss, 0 chg bounds, 290 chg sides, 4746 chg coeffs, 1657 upgd conss, 131422 impls, 387 clqs
16.89/16.95	c (round 141) 5497 del vars, 398 del conss, 0 chg bounds, 293 chg sides, 4752 chg coeffs, 1657 upgd conss, 131422 impls, 387 clqs
17.19/17.20	c (round 142) 5547 del vars, 398 del conss, 0 chg bounds, 293 chg sides, 4752 chg coeffs, 1657 upgd conss, 133032 impls, 387 clqs
17.19/17.24	c (round 143) 5547 del vars, 402 del conss, 0 chg bounds, 294 chg sides, 4754 chg coeffs, 1657 upgd conss, 133032 impls, 387 clqs
17.49/17.51	c (round 144) 5597 del vars, 402 del conss, 0 chg bounds, 294 chg sides, 4754 chg coeffs, 1657 upgd conss, 134170 impls, 387 clqs
17.49/17.55	c (round 145) 5597 del vars, 403 del conss, 0 chg bounds, 295 chg sides, 4756 chg coeffs, 1657 upgd conss, 134170 impls, 387 clqs
17.49/17.57	c    (16.7s) probing: 8000/8477 (94.4%) - 3350 fixings, 0 aggregations, 65998 implications, 0 bound changes
17.69/17.79	c (round 146) 5647 del vars, 403 del conss, 0 chg bounds, 295 chg sides, 4756 chg coeffs, 1657 upgd conss, 136124 impls, 387 clqs
17.79/17.83	c (round 147) 5647 del vars, 409 del conss, 0 chg bounds, 300 chg sides, 4766 chg coeffs, 1657 upgd conss, 136124 impls, 387 clqs
17.89/17.90	c (round 148) 5697 del vars, 409 del conss, 0 chg bounds, 300 chg sides, 4766 chg coeffs, 1657 upgd conss, 136304 impls, 387 clqs
17.89/17.93	c (round 149) 5697 del vars, 413 del conss, 0 chg bounds, 301 chg sides, 4768 chg coeffs, 1657 upgd conss, 136304 impls, 387 clqs
17.99/18.08	c (round 150) 5747 del vars, 413 del conss, 0 chg bounds, 301 chg sides, 4768 chg coeffs, 1657 upgd conss, 136870 impls, 387 clqs
18.09/18.11	c (round 151) 5747 del vars, 415 del conss, 0 chg bounds, 302 chg sides, 4770 chg coeffs, 1657 upgd conss, 136870 impls, 387 clqs
18.59/18.63	c (round 152) 5783 del vars, 415 del conss, 0 chg bounds, 302 chg sides, 4770 chg coeffs, 1657 upgd conss, 140288 impls, 387 clqs
18.59/18.66	c (round 153) 5783 del vars, 422 del conss, 0 chg bounds, 306 chg sides, 4778 chg coeffs, 1657 upgd conss, 140288 impls, 387 clqs
18.59/18.67	c presolving (154 rounds):
18.59/18.67	c  5783 deleted vars, 422 deleted constraints, 0 tightened bounds, 0 added holes, 306 changed sides, 4778 changed coefficients
18.59/18.67	c  140288 implications, 387 cliques
18.59/18.67	c presolved problem has 4941 variables (4941 bin, 0 int, 0 impl, 0 cont) and 1406 constraints
18.59/18.67	c     825 constraints of type <knapsack>
18.59/18.67	c     549 constraints of type <setppc>
18.59/18.67	c      32 constraints of type <logicor>
18.59/18.67	c transformed objective value is always integral (scale: 1)
18.59/18.67	c Presolving Time: 17.72
18.59/18.67	c - non default parameters ----------------------------------------------------------------------
18.59/18.67	c # SCIP version 1.2.1.2
18.59/18.67	c 
18.59/18.67	c # frequency for displaying node information lines
18.59/18.67	c # [type: int, range: [-1,2147483647], default: 100]
18.59/18.67	c display/freq = 10000
18.59/18.67	c 
18.59/18.67	c # maximal time in seconds to run
18.59/18.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.59/18.67	c limits/time = 1799.87
18.59/18.67	c 
18.59/18.67	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.59/18.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.59/18.67	c limits/memory = 1620
18.59/18.67	c 
18.59/18.67	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
18.59/18.67	c # [type: int, range: [-1,2147483647], default: 1]
18.59/18.67	c lp/solvefreq = -1
18.59/18.67	c 
18.59/18.67	c # should presolving try to simplify inequalities
18.59/18.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.59/18.67	c constraints/linear/simplifyinequalities = TRUE
18.59/18.67	c 
18.59/18.67	c # should presolving try to simplify knapsacks
18.59/18.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.59/18.67	c constraints/knapsack/simplifyinequalities = TRUE
18.59/18.67	c 
18.59/18.67	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
18.59/18.67	c # [type: int, range: [-1,2147483647], default: -1]
18.59/18.67	c separating/rapidlearning/freq = 0
18.59/18.67	c 
18.59/18.67	c -----------------------------------------------------------------------------------------------
18.59/18.67	c start solving
18.59/18.67	c 
18.59/18.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.59/18.68	c  17.8s|     1 |     2 |     0 |     - |  37M|   0 |   - |4941 |1406 |   0 |   0 |   0 |   0 |   0 |-1.745140e+05 |      --      |    Inf 
61.67/61.73	c  60.5s| 10000 |  9999 |     0 |   0.0 |  48M|  61 |   - |4941 |1407 |   0 |   0 |   0 |   1 |   0 |-1.718710e+05 |      --      |    Inf 
104.17/104.24	c   103s| 20000 | 19999 |     0 |   0.0 |  57M|  65 |   - |4941 |1407 |   0 |   0 |   0 |   1 |   0 |-1.715660e+05 |      --      |    Inf 
146.75/146.87	c   145s| 30000 | 29999 |     0 |   0.0 |  66M|  69 |   - |4941 |1407 |   0 |   0 |   0 |   1 |   0 |-1.713490e+05 |      --      |    Inf 
189.34/189.48	c   187s| 40000 | 39999 |     0 |   0.0 |  75M|  69 |   - |4941 |1407 |   0 |   0 |   0 |   1 |   0 |-1.711640e+05 |      --      |    Inf 
231.93/232.09	c   229s| 50000 | 49999 |     0 |   0.0 |  85M|  73 |   - |4941 |1407 |   0 |   0 |   0 |   1 |   0 |-1.710690e+05 |      --      |    Inf 
274.82/274.94	c   272s| 60000 | 59999 |     0 |   0.0 |  95M|  75 |   - |4941 |1407 |   0 |   0 |   0 |   1 |   0 |-1.709640e+05 |      --      |    Inf 
317.61/317.76	c   315s| 70000 | 69997 |     0 |   0.0 | 105M|  77 |   - |4941 |1408 |   0 |   0 |   0 |   2 |   0 |-1.708800e+05 |      --      |    Inf 
360.20/360.32	c   357s| 80000 | 79997 |     0 |   0.0 | 115M|  79 |   - |4941 |1407 |   0 |   0 |   0 |   2 |   0 |-1.708220e+05 |      --      |    Inf 
402.49/402.69	c   399s| 90000 | 89997 |     0 |   0.0 | 126M|  79 |   - |4941 |1407 |   0 |   0 |   0 |   2 |   0 |-1.707720e+05 |      --      |    Inf 
444.97/445.15	c   441s|100000 | 99997 |     0 |   0.0 | 136M|  79 |   - |4941 |1407 |   0 |   0 |   0 |   2 |   0 |-1.707320e+05 |      --      |    Inf 
487.46/487.63	c   483s|110000 |109997 |     0 |   0.0 | 147M|  79 |   - |4941 |1407 |   0 |   0 |   0 |   2 |   0 |-1.706870e+05 |      --      |    Inf 
529.96/530.13	c   525s|120000 |119997 |     0 |   0.0 | 157M|  79 |   - |4941 |1407 |   0 |   0 |   0 |   2 |   0 |-1.706420e+05 |      --      |    Inf 
572.44/572.67	c   567s|130000 |129997 |     0 |   0.0 | 168M|  79 |   - |4941 |1407 |   0 |   0 |   0 |   2 |   0 |-1.706060e+05 |      --      |    Inf 
615.02/615.22	c   610s|140000 |139997 |     0 |   0.0 | 179M|  79 |   - |4941 |1407 |   0 |   0 |   0 |   2 |   0 |-1.705690e+05 |      --      |    Inf 
657.71/657.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
657.71/657.90	c   652s|150000 |149997 |     0 |   0.0 | 190M|  79 |   - |4941 |1407 |   0 |   0 |   0 |   2 |   0 |-1.705410e+05 |      --      |    Inf 
700.20/700.42	c   694s|160000 |159997 |     0 |   0.0 | 201M|  79 |   - |4941 |1407 |   0 |   0 |   0 |   2 |   0 |-1.705100e+05 |      --      |    Inf 
742.79/743.03	c   736s|170000 |169997 |     0 |   0.0 | 212M|  79 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.704870e+05 |      --      |    Inf 
785.48/785.70	c   779s|180000 |179997 |     0 |   0.0 | 223M|  79 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.704620e+05 |      --      |    Inf 
828.08/828.33	c   821s|190000 |189997 |     0 |   0.0 | 235M|  79 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.704390e+05 |      --      |    Inf 
870.65/870.92	c   863s|200000 |199997 |     0 |   0.0 | 246M|  79 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.704180e+05 |      --      |    Inf 
913.25/913.55	c   906s|210000 |209997 |     0 |   0.0 | 257M|  79 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.703960e+05 |      --      |    Inf 
955.84/956.10	c   948s|220000 |219997 |     0 |   0.0 | 268M|  79 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.703750e+05 |      --      |    Inf 
998.33/998.64	c   990s|230000 |229997 |     0 |   0.0 | 280M|  79 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.703570e+05 |      --      |    Inf 
1040.81/1041.13	c  1032s|240000 |239997 |     0 |   0.0 | 291M|  79 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.703360e+05 |      --      |    Inf 
1083.21/1083.58	c  1074s|250000 |249997 |     0 |   0.0 | 302M|  79 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.703140e+05 |      --      |    Inf 
1125.58/1125.98	c  1116s|260000 |259997 |     0 |   0.0 | 313M|  79 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.702950e+05 |      --      |    Inf 
1168.08/1168.43	c  1158s|270000 |269997 |     0 |   0.0 | 324M|  79 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.702780e+05 |      --      |    Inf 
1210.36/1210.79	c  1200s|280000 |279997 |     0 |   0.0 | 335M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.702560e+05 |      --      |    Inf 
1252.75/1253.17	c  1243s|290000 |289997 |     0 |   0.0 | 346M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.702390e+05 |      --      |    Inf 
1295.14/1295.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1295.14/1295.50	c  1285s|300000 |299997 |     0 |   0.0 | 357M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.702260e+05 |      --      |    Inf 
1337.43/1337.82	c  1327s|310000 |309997 |     0 |   0.0 | 369M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.702100e+05 |      --      |    Inf 
1379.82/1380.21	c  1369s|320000 |319997 |     0 |   0.0 | 380M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.701930e+05 |      --      |    Inf 
1422.10/1422.56	c  1411s|330000 |329997 |     0 |   0.0 | 391M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.701790e+05 |      --      |    Inf 
1464.50/1464.94	c  1453s|340000 |339997 |     0 |   0.0 | 403M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.701660e+05 |      --      |    Inf 
1506.88/1507.35	c  1495s|350000 |349997 |     0 |   0.0 | 414M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.701540e+05 |      --      |    Inf 
1549.18/1549.69	c  1537s|360000 |359997 |     0 |   0.0 | 425M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.701400e+05 |      --      |    Inf 
1591.66/1592.12	c  1579s|370000 |369997 |     0 |   0.0 | 437M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.701270e+05 |      --      |    Inf 
1633.95/1634.47	c  1621s|380000 |379997 |     0 |   0.0 | 448M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.701140e+05 |      --      |    Inf 
1676.34/1676.88	c  1663s|390000 |389997 |     0 |   0.0 | 460M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.701030e+05 |      --      |    Inf 
1718.74/1719.28	c  1705s|400000 |399997 |     0 |   0.0 | 471M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.700920e+05 |      --      |    Inf 
1761.12/1761.65	c  1747s|410000 |409997 |     0 |   0.0 | 483M|  82 |   - |4941 |1406 |   0 |   0 |   0 |   2 |   0 |-1.700800e+05 |      --      |    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) : 1785.42
1800.01/1800.51	c Solving Nodes      : 419166
1800.01/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.01/1800.51	c Dual Bound         : -1.70069000000000e+05
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       :    1785.42
1800.01/1800.51	c Original Problem   :
1800.01/1800.51	c   Problem name     : HOME/instance-2664168-1276363058.opb
1800.01/1800.51	c   Variables        : 10724 (10724 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 1662 initial, 1662 maximal
1800.01/1800.51	c Presolved Problem  :
1800.01/1800.51	c   Problem name     : t_HOME/instance-2664168-1276363058.opb
1800.01/1800.51	c   Variables        : 4941 (4941 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 1406 initial, 1408 maximal
1800.01/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.51	c   trivial          :       0.23          0          0          0          0          0          0          0          0
1800.01/1800.51	c   dualfix          :       0.15          0          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.16          0          0          0          0          0          0          0          0
1800.01/1800.51	c   probing          :      14.23       3536          0          0          0          0          0          0          0
1800.01/1800.51	c   knapsack         :       2.26       2247          0          0          0          0        304        306       2701
1800.01/1800.51	c   setppc           :       0.35          0          0          0          0          0          0          0          0
1800.01/1800.51	c   linear           :       0.09          0          0          0          0          0          5          0       2077
1800.01/1800.51	c   logicor          :       0.00          0          0          0          0          0        113          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   knapsack         :        825          0    1015538          0     419164       1535    6129501          0          0          0
1800.01/1800.51	c   setppc           :        549          0    1014003          0     419164       1989     521652          0          0          0
1800.01/1800.51	c   logicor          :         32+         0      15215          0     419164         14        814          0          0          0
1800.01/1800.51	c   countsols        :          0          0          0          0     419164          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   knapsack         :     107.88       0.00     104.99       0.00       2.89
1800.01/1800.51	c   setppc           :     194.01       0.00      45.37       0.00     148.64
1800.01/1800.51	c   logicor          :      12.38       0.00       0.11       0.00      12.27
1800.01/1800.51	c   countsols        :       0.40       0.00       0.00       0.00       0.40
1800.01/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.51	c   vbounds          :       0.89          2          0          0
1800.01/1800.51	c   rootredcost      :       0.91          0          0          0
1800.01/1800.51	c   pseudoobj        :     524.39     993142          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          2          2          2        2.5          0        0.0          -
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 :          -          -          -          2        2.5          -          -          -
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        :     871.09     419164          0          0          0          0     838328
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.36          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.56          0          0
1800.01/1800.51	c   trysol           :       0.24          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.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.51	c B&B Tree           :
1800.01/1800.51	c   number of runs   :          1
1800.01/1800.51	c   nodes            :     419166
1800.01/1800.51	c   nodes (total)    :     419166
1800.01/1800.51	c   nodes left       :     419163
1800.01/1800.51	c   max depth        :         82
1800.01/1800.51	c   max depth (total):         82
1800.01/1800.51	c   backtracks       :      10145 (2.4%)
1800.01/1800.51	c   delayed cutoffs  :          0
1800.01/1800.51	c   repropagations   :          8 (1 domain reductions, 0 cutoffs)
1800.01/1800.51	c   avg switch length:       2.78
1800.01/1800.51	c   switching time   :      26.52
1800.01/1800.51	c Solution           :
1800.01/1800.51	c   Solutions found  :          0 (0 improvements)
1800.01/1800.51	c   Primal Bound     :          -
1800.01/1800.51	c   Dual Bound       : -1.70069000000000e+05
1800.01/1800.51	c   Gap              :   infinite
1800.01/1800.51	c   Root Dual Bound  : -1.74514000000000e+05
1800.01/1800.51	c   Root Iterations  :          0
1801.01/1801.57	c Time complete: 1801.08.

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-2664168-1276363058/watcher-2664168-1276363058 -o /tmp/evaluation-result-2664168-1276363058/solver-2664168-1276363058 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664168-1276363058.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.11 1.09 1.11 3/106 12157
/proc/meminfo: memFree=1809232/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=5556 CPUtime=0
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 891 0 0 0 0 0 0 0 22 0 1 0 11909870 5689344 814 1992294400 4194304 7136930 140737232797408 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12157/statm: 1389 814 249 719 0 668 0

[startup+0.076186 s]
/proc/loadavg: 1.11 1.09 1.11 3/106 12157
/proc/meminfo: memFree=1809232/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=16504 CPUtime=0.07
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 3627 0 0 0 6 1 0 0 22 0 1 0 11909870 16900096 3547 1992294400 4194304 7136930 140737232797408 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12157/statm: 4126 3547 273 719 0 3405 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16504

[startup+0.101188 s]
/proc/loadavg: 1.11 1.09 1.11 3/106 12157
/proc/meminfo: memFree=1809232/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=17128 CPUtime=0.1
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 3766 0 0 0 9 1 0 0 22 0 1 0 11909870 17539072 3684 1992294400 4194304 7136930 140737232797408 18446744073709551615 6339936 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12157/statm: 4282 3684 271 719 0 3561 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17128

[startup+0.301212 s]
/proc/loadavg: 1.11 1.09 1.11 3/106 12157
/proc/meminfo: memFree=1809232/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=36916 CPUtime=0.29
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 8966 0 0 0 26 3 0 0 22 0 1 0 11909870 37801984 8273 1992294400 4194304 7136930 140737232797408 18446744073709551615 5504232 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 9229 8273 336 719 0 8508 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36916

[startup+0.701258 s]
/proc/loadavg: 1.11 1.09 1.11 3/106 12157
/proc/meminfo: memFree=1809232/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=50152 CPUtime=0.69
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 14284 0 0 0 64 5 0 0 23 0 1 0 11909870 51355648 11520 1992294400 4194304 7136930 140737232797408 18446744073709551615 4893585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 12538 11520 368 719 0 11817 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50152

[startup+1.50135 s]
/proc/loadavg: 1.11 1.09 1.11 2/107 12158
/proc/meminfo: memFree=1763716/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=50984 CPUtime=1.49
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 20969 0 0 0 140 9 0 0 25 0 1 0 11909870 52207616 11776 1992294400 4194304 7136930 140737232797408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 12746 11776 375 719 0 12025 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50984

[startup+3.10054 s]
/proc/loadavg: 1.10 1.08 1.11 2/107 12158
/proc/meminfo: memFree=1762476/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=51764 CPUtime=3.09
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 32501 0 0 0 292 17 0 0 25 0 1 0 11909870 53006336 12000 1992294400 4194304 7136930 140737232797408 18446744073709551615 4854173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 12941 12000 381 719 0 12220 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51764

[startup+6.30092 s]
/proc/loadavg: 1.10 1.08 1.11 2/107 12158
/proc/meminfo: memFree=1758880/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=54776 CPUtime=6.29
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 49951 0 0 0 597 32 0 0 25 0 1 0 11909870 56090624 12745 1992294400 4194304 7136930 140737232797408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 13694 12745 381 719 0 12973 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54776

[startup+12.7007 s]
/proc/loadavg: 1.08 1.08 1.11 2/107 12158
/proc/meminfo: memFree=1755664/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=58524 CPUtime=12.68
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 83529 0 0 0 1212 56 0 0 25 0 1 0 11909870 59928576 13684 1992294400 4194304 7136930 140737232797408 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 14631 13684 381 719 0 13910 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58524

[startup+25.5012 s]
/proc/loadavg: 1.07 1.08 1.11 2/107 12158
/proc/meminfo: memFree=1751448/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=62424 CPUtime=25.48
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 113560 0 0 0 2467 81 0 0 25 0 1 0 11909870 63922176 14674 1992294400 4194304 7136930 140737232797408 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 15606 14674 398 719 0 14885 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62424

[startup+51.1012 s]
/proc/loadavg: 1.10 1.09 1.11 2/107 12158
/proc/meminfo: memFree=1743016/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=70840 CPUtime=51.07
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 115657 0 0 0 5005 102 0 0 25 0 1 0 11909870 72540160 16771 1992294400 4194304 7136930 140737232797408 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 17710 16771 398 719 0 16989 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 70840

[startup+102.308 s]
/proc/loadavg: 1.10 1.09 1.10 2/107 12160
/proc/meminfo: memFree=1730244/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=83108 CPUtime=102.27
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 118792 0 0 0 10088 139 0 0 25 0 1 0 11909870 85102592 19906 1992294400 4194304 7136930 140737232797408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 20777 19906 398 719 0 20056 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 83108

[startup+162.301 s]
/proc/loadavg: 1.09 1.08 1.10 2/107 12162
/proc/meminfo: memFree=1716356/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=96752 CPUtime=162.25
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 122226 0 0 0 16038 187 0 0 25 0 1 0 11909870 99074048 23340 1992294400 4194304 7136930 140737232797408 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 24188 23340 398 719 0 23467 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 96752

[startup+222.301 s]
/proc/loadavg: 1.08 1.08 1.09 2/107 12164
/proc/meminfo: memFree=1701972/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=110920 CPUtime=222.24
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 125845 0 0 0 21989 235 0 0 25 0 1 0 11909870 113582080 26959 1992294400 4194304 7136930 140737232797408 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 27730 26959 398 719 0 27009 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 110920

[startup+282.301 s]
/proc/loadavg: 1.07 1.08 1.09 2/107 12164
/proc/meminfo: memFree=1685356/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=127140 CPUtime=282.21
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 129949 0 0 0 27942 279 0 0 25 0 1 0 11909870 130191360 31063 1992294400 4194304 7136930 140737232797408 18446744073709551615 5892222 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 31785 31063 398 719 0 31064 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 127140

[startup+342.301 s]
/proc/loadavg: 1.07 1.08 1.09 2/107 12166
/proc/meminfo: memFree=1668244/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=145968 CPUtime=342.2
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 134212 0 0 0 33896 324 0 0 25 0 1 0 11909870 149471232 35326 1992294400 4194304 7136930 140737232797408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 36492 35326 398 719 0 35771 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 145968

[startup+402.301 s]
/proc/loadavg: 1.06 1.08 1.09 2/107 12168
/proc/meminfo: memFree=1656836/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=157296 CPUtime=402.18
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 137087 0 0 0 39854 364 0 0 25 0 1 0 11909870 161071104 38201 1992294400 4194304 7136930 140737232797408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 39324 38201 398 719 0 38603 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 157296

[startup+462.302 s]
/proc/loadavg: 1.06 1.07 1.09 2/107 12170
/proc/meminfo: memFree=1638360/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=175380 CPUtime=462.17
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 141667 0 0 0 45804 413 0 0 25 0 1 0 11909870 179589120 42781 1992294400 4194304 7136930 140737232797408 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 43845 42781 398 719 0 43124 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 175380

[startup+522.302 s]
/proc/loadavg: 1.06 1.07 1.09 2/107 12172
/proc/meminfo: memFree=1623976/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=189436 CPUtime=522.15
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 145246 0 0 0 51754 461 0 0 25 0 1 0 11909870 193982464 46360 1992294400 4194304 7136930 140737232797408 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 47359 46360 398 719 0 46638 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 189436

[startup+582.302 s]
/proc/loadavg: 1.12 1.09 1.09 2/107 12172
/proc/meminfo: memFree=1610336/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=202700 CPUtime=582.14
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 148618 0 0 0 57706 508 0 0 25 0 1 0 11909870 207564800 49732 1992294400 4194304 7136930 140737232797408 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 50675 49732 398 719 0 49954 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 202700

[startup+642.302 s]
/proc/loadavg: 1.11 1.09 1.09 2/107 12174
/proc/meminfo: memFree=1590868/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=222008 CPUtime=642.13
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 153470 0 0 0 63655 558 0 0 25 0 1 0 11909870 227336192 54584 1992294400 4194304 7136930 140737232797408 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 55502 54584 398 719 0 54781 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 222008

[startup+702.302 s]

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

[startup+1062.3 s]
/proc/loadavg: 1.06 1.08 1.09 2/107 12186
/proc/meminfo: memFree=1482616/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=332192 CPUtime=1062.01
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 180412 0 0 0 105323 878 0 0 25 0 1 0 11909870 340164608 81526 1992294400 4194304 7136930 140737232797408 18446744073709551615 4407833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 83048 81526 398 719 0 82327 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 332192

[startup+1122.3 s]
/proc/loadavg: 1.06 1.07 1.09 2/107 12188
/proc/meminfo: memFree=1468232/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=346336 CPUtime=1121.98
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 183976 0 0 0 111278 920 0 0 25 0 1 0 11909870 354648064 85090 1992294400 4194304 7136930 140737232797408 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 86584 85090 398 719 0 85863 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 346336

[startup+1182.3 s]
/proc/loadavg: 1.06 1.07 1.09 2/107 12188
/proc/meminfo: memFree=1449260/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=364888 CPUtime=1181.97
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 188679 0 0 0 117233 964 0 0 25 0 1 0 11909870 373645312 89793 1992294400 4194304 7136930 140737232797408 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 91222 89793 398 719 0 90501 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 364888

[startup+1242.3 s]
/proc/loadavg: 1.12 1.09 1.09 2/107 12190
/proc/meminfo: memFree=1435620/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=378200 CPUtime=1241.96
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 192052 0 0 0 123189 1007 0 0 25 0 1 0 11909870 387276800 93166 1992294400 4194304 7136930 140737232797408 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 94550 93166 398 719 0 93829 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 378200

[startup+1302.3 s]
/proc/loadavg: 1.11 1.09 1.09 2/107 12192
/proc/meminfo: memFree=1414912/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=398472 CPUtime=1301.95
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 197204 0 0 0 129140 1055 0 0 25 0 1 0 11909870 408035328 98318 1992294400 4194304 7136930 140737232797408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 99618 98318 398 719 0 98897 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 398472

[startup+1362.3 s]
/proc/loadavg: 1.10 1.08 1.09 2/107 12194
/proc/meminfo: memFree=1398544/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=414660 CPUtime=1361.92
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 201276 0 0 0 135093 1099 0 0 25 0 1 0 11909870 424611840 102390 1992294400 4194304 7136930 140737232797408 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 103665 102390 398 719 0 102944 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 414660

[startup+1422.31 s]
/proc/loadavg: 1.09 1.08 1.09 2/107 12196
/proc/meminfo: memFree=1383044/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=429952 CPUtime=1421.91
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 205182 0 0 0 141044 1147 0 0 25 0 1 0 11909870 440270848 106296 1992294400 4194304 7136930 140737232797408 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 107488 106296 398 719 0 106767 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 429952

[startup+1482.3 s]
/proc/loadavg: 1.08 1.08 1.09 2/107 12196
/proc/meminfo: memFree=1368660/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=444148 CPUtime=1481.89
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 208753 0 0 0 146995 1194 0 0 25 0 1 0 11909870 454807552 109867 1992294400 4194304 7136930 140737232797408 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 111037 109867 398 719 0 110316 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 444148

[startup+1542.3 s]
/proc/loadavg: 1.08 1.08 1.09 2/107 12198
/proc/meminfo: memFree=1351424/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=461172 CPUtime=1541.88
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 213067 0 0 0 152946 1242 0 0 25 0 1 0 11909870 472240128 114181 1992294400 4194304 7136930 140737232797408 18446744073709551615 5122064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 115293 114181 398 719 0 114572 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 461172

[startup+1602.3 s]
/proc/loadavg: 1.07 1.08 1.09 2/107 12200
/proc/meminfo: memFree=1336668/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=475940 CPUtime=1601.86
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 216835 0 0 0 158898 1288 0 0 25 0 1 0 11909870 487362560 117949 1992294400 4194304 7136930 140737232797408 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 118985 117949 398 719 0 118264 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 475940

[startup+1662.3 s]
/proc/loadavg: 1.11 1.09 1.09 2/107 12202
/proc/meminfo: memFree=1319060/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=492888 CPUtime=1661.84
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 221097 0 0 0 164848 1336 0 0 25 0 1 0 11909870 504717312 122211 1992294400 4194304 7136930 140737232797408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 123222 122211 398 719 0 122501 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 492888

[startup+1722.3 s]
/proc/loadavg: 1.08 1.08 1.09 2/107 12204
/proc/meminfo: memFree=1304800/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=507792 CPUtime=1721.83
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 224896 0 0 0 170801 1382 0 0 25 0 1 0 11909870 519979008 126010 1992294400 4194304 7136930 140737232797408 18446744073709551615 5507437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 126948 126010 398 719 0 126227 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 507792

[startup+1782.3 s]
/proc/loadavg: 1.06 1.08 1.09 2/107 12204
/proc/meminfo: memFree=1286200/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=525932 CPUtime=1781.81
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 229478 0 0 0 176751 1430 0 0 25 0 1 0 11909870 538554368 130592 1992294400 4194304 7136930 140737232797408 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 131483 130592 398 719 0 130762 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 525932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.11 1.09 1.09 2/107 12206
/proc/meminfo: memFree=1280744/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=530300 CPUtime=1800.01
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 230596 0 0 0 178553 1448 0 0 25 0 1 0 11909870 543027200 131710 1992294400 4194304 7136930 140737232797408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12157/statm: 132575 131710 398 719 0 131854 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 530300

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.11 1.09 1.09 2/108 12207
/proc/meminfo: memFree=1280736/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=530300 CPUtime=1800.12
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 230601 0 0 0 178564 1448 0 0 25 0 1 0 11909870 543027200 131715 1992294400 4194304 7136930 140737232797408 18446744073709551615 6165746 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12157/statm: 132575 131715 403 719 0 131854 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 530300

[startup+1801 s]
/proc/loadavg: 1.11 1.09 1.09 2/108 12207
/proc/meminfo: memFree=1280736/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=530300 CPUtime=1800.51
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 230601 0 0 0 178603 1448 0 0 25 0 1 0 11909870 543027200 131715 1992294400 4194304 7136930 140737232797408 18446744073709551615 4670183 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12157/statm: 132575 131715 403 719 0 131854 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 530300

[startup+1801.4 s]
/proc/loadavg: 1.11 1.09 1.09 2/108 12207
/proc/meminfo: memFree=1280736/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=479028 CPUtime=1800.9
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 230601 0 0 0 178642 1448 0 0 25 0 1 0 11909870 490524672 118897 1992294400 4194304 7136930 140737232797408 18446744073709551615 4670197 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12157/statm: 119757 118897 403 719 0 119036 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 479028

[startup+1801.5 s]
/proc/loadavg: 1.11 1.09 1.09 2/108 12207
/proc/meminfo: memFree=1280736/2059040 swapFree=4136460/4192956
[pid=12157] ppid=12155 vsize=257536 CPUtime=1801.01
/proc/12157/stat : 12157 (pbscip.linux.x8) R 12155 12157 11471 0 -1 4202496 230601 0 0 0 178650 1451 0 0 25 0 1 0 11909870 263716864 63527 1992294400 4194304 7136930 140737232797408 18446744073709551615 5961205 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12157/statm: 64384 63527 403 719 0 63663 0
Current children cumulated CPU time (s) 1801.01
Current children cumulated vsize (KiB) 257536

Child status: 0
Real time (s): 1801.57
CPU time (s): 1801.09
CPU user time (s): 1786.54
CPU system time (s): 14.5408
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 530300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.54
system time used= 14.5408
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230608
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= 2
involuntary context switches= 2082

runsolver used 3.07553 second user time and 8.41572 second system time

The end

Launcher Data 

Begin job on node001 at 2010-06-12 19:17:38
IDJOB=2664168
IDBENCH=1882
IDSOLVER=1167
FILE ID=node001/2664168-1276363058
PBS_JOBID= 11173206
Free space on /tmp= 62392 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.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-2664168-1276363058/watcher-2664168-1276363058 -o /tmp/evaluation-result-2664168-1276363058/solver-2664168-1276363058 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664168-1276363058.opb -t 1800 -m 1800

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

MD5SUM BENCH= 2b9af9044591fd3eb9f5def12c800cff
RANDOM SEED=1434757840

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1809636 kB
Buffers:         48980 kB
Cached:         128116 kB
SwapCached:      16736 kB
Active:         113540 kB
Inactive:        83192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1809636 kB
SwapTotal:     4192956 kB
SwapFree:      4136460 kB
Dirty:            3596 kB
Writeback:           0 kB
AnonPages:       10796 kB
Mapped:           9264 kB
Slab:            30912 kB
PageTables:       4060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182568 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= 62388 MiB
End job on node001 at 2010-06-12 19:47:41