Trace number 3693660

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
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixedUNSAT 34.8673 17.5015

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ns1745726.opb
MD5SUM0b23fd4cef9a00c3517621c1b2c7d2fd
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.942856
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3208
Total number of constraints4687
Number of constraints which are clauses1452
Number of constraints which are cardinality constraints (but not clauses)467
Number of constraints which are nor clauses,nor cardinality constraints2768
Minimum length of a constraint1
Maximum length of a constraint398
Number of terms in the objective function 33
Biggest coefficient in the objective function 33
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 561
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2000
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 10732
Number of bits of the biggest sum of numbers14
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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3693660-1338042389.opb>
0.00/0.04	c original problem has 3208 variables (3208 bin, 0 int, 0 impl, 0 cont) and 4687 constraints
0.00/0.04	c problem read in 0.04
0.03/0.08	c presolving:
0.09/0.13	c (round 1) 146 del vars, 10 del conss, 0 add conss, 146 chg bounds, 2744 chg sides, 2744 chg coeffs, 0 upgd conss, 68 impls, 441 clqs
0.09/0.16	c (round 2) 166 del vars, 40 del conss, 0 add conss, 166 chg bounds, 2822 chg sides, 2822 chg coeffs, 0 upgd conss, 74 impls, 439 clqs
0.09/0.17	c (round 3) 217 del vars, 149 del conss, 0 add conss, 216 chg bounds, 2831 chg sides, 2831 chg coeffs, 0 upgd conss, 198 impls, 432 clqs
0.09/0.19	c (round 4) 266 del vars, 233 del conss, 0 add conss, 264 chg bounds, 2879 chg sides, 2879 chg coeffs, 0 upgd conss, 312 impls, 432 clqs
0.19/0.20	c (round 5) 307 del vars, 304 del conss, 0 add conss, 305 chg bounds, 2929 chg sides, 2929 chg coeffs, 0 upgd conss, 420 impls, 432 clqs
0.19/0.22	c (round 6) 344 del vars, 370 del conss, 0 add conss, 342 chg bounds, 2980 chg sides, 2980 chg coeffs, 0 upgd conss, 526 impls, 432 clqs
0.19/0.23	c (round 7) 372 del vars, 421 del conss, 0 add conss, 370 chg bounds, 3030 chg sides, 3030 chg coeffs, 0 upgd conss, 722 impls, 432 clqs
0.19/0.24	c (round 8) 391 del vars, 452 del conss, 0 add conss, 389 chg bounds, 3059 chg sides, 3059 chg coeffs, 0 upgd conss, 798 impls, 432 clqs
0.19/0.25	c (round 9) 406 del vars, 472 del conss, 0 add conss, 404 chg bounds, 3074 chg sides, 3074 chg coeffs, 0 upgd conss, 828 impls, 432 clqs
0.19/0.27	c (round 10) 417 del vars, 488 del conss, 0 add conss, 415 chg bounds, 3086 chg sides, 3086 chg coeffs, 0 upgd conss, 886 impls, 432 clqs
0.19/0.28	c (round 11) 423 del vars, 496 del conss, 0 add conss, 421 chg bounds, 3095 chg sides, 3095 chg coeffs, 0 upgd conss, 886 impls, 432 clqs
0.19/0.28	c (round 12) 423 del vars, 496 del conss, 0 add conss, 421 chg bounds, 3101 chg sides, 3101 chg coeffs, 0 upgd conss, 886 impls, 432 clqs
0.29/0.34	c (round 13) 423 del vars, 496 del conss, 0 add conss, 421 chg bounds, 3101 chg sides, 3101 chg coeffs, 4191 upgd conss, 886 impls, 432 clqs
0.58/0.64	c (round 14) 498 del vars, 1240 del conss, 2548 add conss, 445 chg bounds, 5431 chg sides, 12544 chg coeffs, 4191 upgd conss, 40762 impls, 707 clqs
0.89/0.95	c (round 15) 525 del vars, 1657 del conss, 4697 add conss, 445 chg bounds, 7472 chg sides, 17631 chg coeffs, 4193 upgd conss, 182406 impls, 852 clqs
1.09/1.15	c (round 16) 588 del vars, 3573 del conss, 6423 add conss, 445 chg bounds, 8335 chg sides, 20986 chg coeffs, 4193 upgd conss, 182720 impls, 1655 clqs
1.29/1.32	c (round 17) 607 del vars, 4536 del conss, 7937 add conss, 445 chg bounds, 9128 chg sides, 23301 chg coeffs, 4196 upgd conss, 182720 impls, 2366 clqs
1.38/1.43	c (round 18) 607 del vars, 4540 del conss, 7937 add conss, 445 chg bounds, 9128 chg sides, 23322 chg coeffs, 4196 upgd conss, 182720 impls, 2372 clqs
1.49/1.51	c (round 19) 650 del vars, 5307 del conss, 7937 add conss, 445 chg bounds, 9128 chg sides, 23340 chg coeffs, 4196 upgd conss, 182720 impls, 2327 clqs
1.59/1.64	c (round 20) 650 del vars, 5431 del conss, 7953 add conss, 445 chg bounds, 9168 chg sides, 23421 chg coeffs, 4196 upgd conss, 182720 impls, 2330 clqs
1.69/1.76	c (round 21) 683 del vars, 5478 del conss, 7953 add conss, 445 chg bounds, 9168 chg sides, 23435 chg coeffs, 4196 upgd conss, 182720 impls, 2296 clqs
1.78/1.87	c (round 22) 683 del vars, 5572 del conss, 7969 add conss, 445 chg bounds, 9216 chg sides, 23519 chg coeffs, 4196 upgd conss, 182720 impls, 2299 clqs
1.98/2.03	c (round 23) 711 del vars, 5633 del conss, 7969 add conss, 445 chg bounds, 9216 chg sides, 23528 chg coeffs, 4196 upgd conss, 182880 impls, 2260 clqs
2.10/2.13	c (round 24) 726 del vars, 5738 del conss, 7977 add conss, 445 chg bounds, 9244 chg sides, 23579 chg coeffs, 4198 upgd conss, 182886 impls, 2254 clqs
2.10/2.17	c (round 25) 726 del vars, 5747 del conss, 7989 add conss, 445 chg bounds, 9250 chg sides, 23709 chg coeffs, 4198 upgd conss, 182886 impls, 2268 clqs
2.19/2.27	c (round 26) 737 del vars, 5764 del conss, 7989 add conss, 445 chg bounds, 9250 chg sides, 23714 chg coeffs, 4198 upgd conss, 182886 impls, 2259 clqs
2.29/2.33	c (round 27) 737 del vars, 5796 del conss, 7997 add conss, 445 chg bounds, 9282 chg sides, 23771 chg coeffs, 4198 upgd conss, 182886 impls, 2259 clqs
2.39/2.41	c (round 28) 737 del vars, 5799 del conss, 7997 add conss, 445 chg bounds, 9282 chg sides, 23775 chg coeffs, 4198 upgd conss, 182886 impls, 2269 clqs
2.49/2.59	c (round 29) 799 del vars, 5799 del conss, 7997 add conss, 445 chg bounds, 9282 chg sides, 23778 chg coeffs, 4198 upgd conss, 242434 impls, 2206 clqs
2.58/2.67	c (round 30) 799 del vars, 5985 del conss, 7999 add conss, 445 chg bounds, 9283 chg sides, 23814 chg coeffs, 4198 upgd conss, 242442 impls, 2207 clqs
2.69/2.73	c (round 31) 799 del vars, 5988 del conss, 7999 add conss, 445 chg bounds, 9283 chg sides, 23817 chg coeffs, 4200 upgd conss, 242442 impls, 2211 clqs
3.59/3.69	c (round 32) 914 del vars, 5988 del conss, 7999 add conss, 445 chg bounds, 9283 chg sides, 23820 chg coeffs, 4200 upgd conss, 529176 impls, 2141 clqs
3.69/3.77	c (round 33) 914 del vars, 6154 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23854 chg coeffs, 4200 upgd conss, 529180 impls, 2142 clqs
3.78/3.84	c (round 34) 914 del vars, 6157 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23856 chg coeffs, 4201 upgd conss, 529180 impls, 2143 clqs
3.89/3.99	c (round 35) 1029 del vars, 6157 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23858 chg coeffs, 4201 upgd conss, 545192 impls, 2074 clqs
3.99/4.06	c (round 36) 1029 del vars, 6318 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23859 chg coeffs, 4201 upgd conss, 545192 impls, 2074 clqs
4.09/4.14	c (round 37) 1029 del vars, 6347 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23860 chg coeffs, 4201 upgd conss, 545192 impls, 2074 clqs
4.09/4.17	c (round 38) 1140 del vars, 6347 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23861 chg coeffs, 4201 upgd conss, 545192 impls, 2010 clqs
4.18/4.21	c (round 39) 1140 del vars, 6497 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23862 chg coeffs, 4201 upgd conss, 545192 impls, 2010 clqs
4.18/4.25	c (round 40) 1140 del vars, 6499 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23863 chg coeffs, 4201 upgd conss, 545192 impls, 2010 clqs
4.48/4.54	c (round 41) 1165 del vars, 6499 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23864 chg coeffs, 4201 upgd conss, 578554 impls, 1992 clqs
4.58/4.60	c (round 42) 1165 del vars, 6570 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23864 chg coeffs, 4201 upgd conss, 578556 impls, 1993 clqs
4.58/4.65	c (round 43) 1165 del vars, 6591 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23864 chg coeffs, 4202 upgd conss, 578556 impls, 1993 clqs
4.69/4.77	c (round 44) 1190 del vars, 6591 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23864 chg coeffs, 4202 upgd conss, 588636 impls, 1971 clqs
4.78/4.83	c (round 45) 1190 del vars, 6656 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23868 chg coeffs, 4202 upgd conss, 588636 impls, 1971 clqs
4.78/4.89	c (round 46) 1216 del vars, 6674 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23870 chg coeffs, 4202 upgd conss, 588636 impls, 1937 clqs
4.89/4.92	c (round 47) 1216 del vars, 6751 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23872 chg coeffs, 4202 upgd conss, 588636 impls, 1937 clqs
4.89/4.98	c (round 48) 1248 del vars, 6756 del conss, 8001 add conss, 445 chg bounds, 9284 chg sides, 23872 chg coeffs, 4202 upgd conss, 588636 impls, 1897 clqs
4.99/5.03	c (round 49) 1248 del vars, 6852 del conss, 8017 add conss, 445 chg bounds, 9304 chg sides, 23926 chg coeffs, 4202 upgd conss, 588636 impls, 1897 clqs
4.99/5.08	c (round 50) 1248 del vars, 6864 del conss, 8017 add conss, 445 chg bounds, 9304 chg sides, 23936 chg coeffs, 4202 upgd conss, 588636 impls, 1902 clqs
5.08/5.16	c (round 51) 1273 del vars, 6864 del conss, 8017 add conss, 445 chg bounds, 9304 chg sides, 23945 chg coeffs, 4202 upgd conss, 589514 impls, 1877 clqs
5.18/5.22	c (round 52) 1273 del vars, 6932 del conss, 8017 add conss, 445 chg bounds, 9304 chg sides, 23959 chg coeffs, 4202 upgd conss, 589514 impls, 1877 clqs
5.39/5.42	c (round 53) 1290 del vars, 8025 del conss, 8017 add conss, 445 chg bounds, 9304 chg sides, 23969 chg coeffs, 4202 upgd conss, 589514 impls, 1862 clqs
5.39/5.47	c (round 54) 1290 del vars, 8059 del conss, 8025 add conss, 445 chg bounds, 9312 chg sides, 24000 chg coeffs, 4202 upgd conss, 589514 impls, 1864 clqs
5.49/5.54	c (round 55) 1306 del vars, 8069 del conss, 8025 add conss, 445 chg bounds, 9312 chg sides, 24006 chg coeffs, 4202 upgd conss, 589514 impls, 1850 clqs
5.49/5.57	c (round 56) 1306 del vars, 8101 del conss, 8033 add conss, 445 chg bounds, 9330 chg sides, 24044 chg coeffs, 4202 upgd conss, 589514 impls, 1851 clqs
5.58/5.61	c (round 57) 1306 del vars, 8103 del conss, 8033 add conss, 445 chg bounds, 9330 chg sides, 24050 chg coeffs, 4202 upgd conss, 589514 impls, 1856 clqs
5.58/5.63	c (round 58) 1306 del vars, 8109 del conss, 8033 add conss, 445 chg bounds, 9330 chg sides, 24054 chg coeffs, 4202 upgd conss, 589514 impls, 1856 clqs
5.58/5.68	c (round 59) 1331 del vars, 8109 del conss, 8033 add conss, 445 chg bounds, 9330 chg sides, 24056 chg coeffs, 4202 upgd conss, 589514 impls, 1832 clqs
5.69/5.73	c (round 60) 1331 del vars, 8162 del conss, 8033 add conss, 445 chg bounds, 9330 chg sides, 24067 chg coeffs, 4202 upgd conss, 589514 impls, 1832 clqs
5.69/5.78	c (round 61) 1350 del vars, 8168 del conss, 8033 add conss, 445 chg bounds, 9330 chg sides, 24071 chg coeffs, 4202 upgd conss, 589514 impls, 1816 clqs
5.79/5.82	c (round 62) 1350 del vars, 8206 del conss, 8041 add conss, 445 chg bounds, 9342 chg sides, 24106 chg coeffs, 4202 upgd conss, 589514 impls, 1817 clqs
5.79/5.88	c (round 63) 1366 del vars, 8215 del conss, 8041 add conss, 445 chg bounds, 9342 chg sides, 24113 chg coeffs, 4202 upgd conss, 589514 impls, 1807 clqs
5.89/5.92	c (round 64) 1366 del vars, 8247 del conss, 8057 add conss, 445 chg bounds, 9378 chg sides, 24186 chg coeffs, 4202 upgd conss, 589514 impls, 1809 clqs
5.89/5.99	c (round 65) 1366 del vars, 8263 del conss, 8057 add conss, 445 chg bounds, 9378 chg sides, 24194 chg coeffs, 4202 upgd conss, 589514 impls, 1814 clqs
5.99/6.03	c (round 66) 1366 del vars, 8265 del conss, 8057 add conss, 445 chg bounds, 9378 chg sides, 24200 chg coeffs, 4202 upgd conss, 589514 impls, 1814 clqs
5.99/6.04	c (round 67) 1366 del vars, 8266 del conss, 8057 add conss, 445 chg bounds, 9378 chg sides, 24205 chg coeffs, 4202 upgd conss, 589514 impls, 1814 clqs
5.99/6.09	c (round 68) 1391 del vars, 8266 del conss, 8057 add conss, 445 chg bounds, 9378 chg sides, 24208 chg coeffs, 4202 upgd conss, 590666 impls, 1789 clqs
6.09/6.14	c (round 69) 1391 del vars, 8317 del conss, 8057 add conss, 445 chg bounds, 9378 chg sides, 24221 chg coeffs, 4202 upgd conss, 590666 impls, 1789 clqs
6.09/6.19	c (round 70) 1409 del vars, 8323 del conss, 8057 add conss, 445 chg bounds, 9378 chg sides, 24231 chg coeffs, 4202 upgd conss, 590666 impls, 1775 clqs
6.19/6.24	c (round 71) 1409 del vars, 8359 del conss, 8065 add conss, 445 chg bounds, 9386 chg sides, 24263 chg coeffs, 4202 upgd conss, 590666 impls, 1777 clqs
6.28/6.31	c (round 72) 1425 del vars, 8369 del conss, 8065 add conss, 445 chg bounds, 9386 chg sides, 24272 chg coeffs, 4202 upgd conss, 590666 impls, 1766 clqs
6.28/6.34	c (round 73) 1425 del vars, 8401 del conss, 8073 add conss, 445 chg bounds, 9416 chg sides, 24324 chg coeffs, 4202 upgd conss, 590666 impls, 1767 clqs
6.28/6.38	c (round 74) 1425 del vars, 8408 del conss, 8073 add conss, 445 chg bounds, 9416 chg sides, 24329 chg coeffs, 4202 upgd conss, 590666 impls, 1775 clqs
6.38/6.40	c (round 75) 1425 del vars, 8409 del conss, 8073 add conss, 445 chg bounds, 9416 chg sides, 24334 chg coeffs, 4202 upgd conss, 590666 impls, 1775 clqs
6.38/6.45	c (round 76) 1450 del vars, 8409 del conss, 8073 add conss, 445 chg bounds, 9416 chg sides, 24336 chg coeffs, 4202 upgd conss, 591416 impls, 1749 clqs
6.38/6.50	c (round 77) 1450 del vars, 8459 del conss, 8073 add conss, 445 chg bounds, 9416 chg sides, 24354 chg coeffs, 4202 upgd conss, 591416 impls, 1749 clqs
6.49/6.55	c (round 78) 1459 del vars, 8463 del conss, 8073 add conss, 445 chg bounds, 9416 chg sides, 24366 chg coeffs, 4202 upgd conss, 591416 impls, 1752 clqs
6.49/6.58	c (round 79) 1459 del vars, 8481 del conss, 8081 add conss, 445 chg bounds, 9432 chg sides, 24401 chg coeffs, 4202 upgd conss, 591416 impls, 1755 clqs
6.59/6.63	c (round 80) 1467 del vars, 8485 del conss, 8081 add conss, 445 chg bounds, 9432 chg sides, 24401 chg coeffs, 4202 upgd conss, 591416 impls, 1750 clqs
6.59/6.66	c (round 81) 1467 del vars, 8501 del conss, 8089 add conss, 445 chg bounds, 9466 chg sides, 24454 chg coeffs, 4202 upgd conss, 591416 impls, 1750 clqs
6.59/6.69	c (round 82) 1467 del vars, 8509 del conss, 8089 add conss, 445 chg bounds, 9466 chg sides, 24458 chg coeffs, 4202 upgd conss, 591416 impls, 1754 clqs
6.69/6.72	c (round 83) 1467 del vars, 8514 del conss, 8089 add conss, 445 chg bounds, 9466 chg sides, 24460 chg coeffs, 4202 upgd conss, 591416 impls, 1754 clqs
6.69/6.73	c (round 84) 1467 del vars, 8515 del conss, 8089 add conss, 445 chg bounds, 9466 chg sides, 24462 chg coeffs, 4202 upgd conss, 591416 impls, 1754 clqs
6.69/6.78	c (round 85) 1492 del vars, 8515 del conss, 8089 add conss, 445 chg bounds, 9466 chg sides, 24462 chg coeffs, 4202 upgd conss, 593134 impls, 1725 clqs
6.79/6.83	c (round 86) 1492 del vars, 8564 del conss, 8089 add conss, 445 chg bounds, 9466 chg sides, 24478 chg coeffs, 4202 upgd conss, 593134 impls, 1725 clqs
6.79/6.87	c (round 87) 1500 del vars, 8566 del conss, 8089 add conss, 445 chg bounds, 9466 chg sides, 24491 chg coeffs, 4202 upgd conss, 593134 impls, 1732 clqs
6.89/6.90	c (round 88) 1500 del vars, 8582 del conss, 8097 add conss, 445 chg bounds, 9484 chg sides, 24534 chg coeffs, 4202 upgd conss, 593134 impls, 1740 clqs
6.89/6.95	c (round 89) 1500 del vars, 8586 del conss, 8097 add conss, 445 chg bounds, 9484 chg sides, 24540 chg coeffs, 4202 upgd conss, 593134 impls, 1750 clqs
6.89/6.97	c (round 90) 1500 del vars, 8590 del conss, 8097 add conss, 445 chg bounds, 9484 chg sides, 24546 chg coeffs, 4202 upgd conss, 593134 impls, 1751 clqs
6.98/7.04	c (round 91) 1525 del vars, 8590 del conss, 8097 add conss, 445 chg bounds, 9484 chg sides, 24547 chg coeffs, 4202 upgd conss, 598134 impls, 1727 clqs
6.98/7.08	c (round 92) 1525 del vars, 8642 del conss, 8097 add conss, 445 chg bounds, 9484 chg sides, 24562 chg coeffs, 4202 upgd conss, 598134 impls, 1727 clqs
7.09/7.13	c (round 93) 1533 del vars, 8644 del conss, 8097 add conss, 445 chg bounds, 9484 chg sides, 24575 chg coeffs, 4202 upgd conss, 598134 impls, 1732 clqs
7.09/7.16	c (round 94) 1533 del vars, 8660 del conss, 8105 add conss, 445 chg bounds, 9522 chg sides, 24639 chg coeffs, 4202 upgd conss, 598134 impls, 1744 clqs
7.09/7.19	c (round 95) 1533 del vars, 8663 del conss, 8105 add conss, 445 chg bounds, 9522 chg sides, 24652 chg coeffs, 4202 upgd conss, 598134 impls, 1754 clqs
7.19/7.22	c (round 96) 1533 del vars, 8668 del conss, 8105 add conss, 445 chg bounds, 9522 chg sides, 24657 chg coeffs, 4202 upgd conss, 598134 impls, 1755 clqs
7.29/7.31	c (round 97) 1558 del vars, 8668 del conss, 8105 add conss, 445 chg bounds, 9522 chg sides, 24658 chg coeffs, 4202 upgd conss, 606542 impls, 1721 clqs
7.29/7.36	c (round 98) 1558 del vars, 8718 del conss, 8105 add conss, 445 chg bounds, 9522 chg sides, 24672 chg coeffs, 4202 upgd conss, 606542 impls, 1721 clqs
7.29/7.39	c (round 99) 1558 del vars, 8718 del conss, 8105 add conss, 445 chg bounds, 9522 chg sides, 24684 chg coeffs, 4202 upgd conss, 606542 impls, 1732 clqs
7.39/7.46	c    (7.5s) probing: 1000/2471 (40.5%) - 642 fixings, 0 aggregations, 110568 implications, 0 bound changes
7.39/7.48	c (round 100) 1583 del vars, 8718 del conss, 8105 add conss, 445 chg bounds, 9522 chg sides, 24689 chg coeffs, 4202 upgd conss, 612754 impls, 1708 clqs
7.48/7.54	c (round 101) 1583 del vars, 8768 del conss, 8113 add conss, 445 chg bounds, 9530 chg sides, 24721 chg coeffs, 4202 upgd conss, 612754 impls, 1708 clqs
7.48/7.58	c (round 102) 1583 del vars, 8779 del conss, 8113 add conss, 445 chg bounds, 9530 chg sides, 24728 chg coeffs, 4202 upgd conss, 612754 impls, 1719 clqs
7.60/7.61	c (round 103) 1583 del vars, 8780 del conss, 8113 add conss, 445 chg bounds, 9530 chg sides, 24732 chg coeffs, 4202 upgd conss, 612754 impls, 1722 clqs
7.60/7.63	c (round 104) 1583 del vars, 8781 del conss, 8113 add conss, 445 chg bounds, 9530 chg sides, 24732 chg coeffs, 4202 upgd conss, 612754 impls, 1722 clqs
7.69/7.72	c (round 105) 1608 del vars, 8781 del conss, 8113 add conss, 445 chg bounds, 9530 chg sides, 24732 chg coeffs, 4202 upgd conss, 622886 impls, 1693 clqs
7.69/7.77	c (round 106) 1608 del vars, 8830 del conss, 8121 add conss, 445 chg bounds, 9538 chg sides, 24766 chg coeffs, 4202 upgd conss, 622886 impls, 1693 clqs
7.79/7.82	c (round 107) 1608 del vars, 8840 del conss, 8121 add conss, 445 chg bounds, 9538 chg sides, 24776 chg coeffs, 4202 upgd conss, 622886 impls, 1705 clqs
7.79/7.85	c (round 108) 1608 del vars, 8841 del conss, 8121 add conss, 445 chg bounds, 9538 chg sides, 24780 chg coeffs, 4202 upgd conss, 622886 impls, 1709 clqs
7.79/7.88	c (round 109) 1608 del vars, 8842 del conss, 8121 add conss, 445 chg bounds, 9538 chg sides, 24784 chg coeffs, 4202 upgd conss, 622886 impls, 1712 clqs
7.89/7.97	c (round 110) 1633 del vars, 8842 del conss, 8121 add conss, 445 chg bounds, 9538 chg sides, 24787 chg coeffs, 4202 upgd conss, 632004 impls, 1679 clqs
7.98/8.02	c (round 111) 1633 del vars, 8891 del conss, 8121 add conss, 445 chg bounds, 9538 chg sides, 24799 chg coeffs, 4202 upgd conss, 632024 impls, 1679 clqs
7.98/8.07	c (round 112) 1633 del vars, 8893 del conss, 8121 add conss, 445 chg bounds, 9538 chg sides, 24806 chg coeffs, 4203 upgd conss, 632024 impls, 1685 clqs
8.09/8.16	c (round 113) 1658 del vars, 8893 del conss, 8121 add conss, 445 chg bounds, 9538 chg sides, 24809 chg coeffs, 4203 upgd conss, 636228 impls, 1643 clqs
8.19/8.21	c (round 114) 1658 del vars, 8945 del conss, 8121 add conss, 445 chg bounds, 9538 chg sides, 24819 chg coeffs, 4203 upgd conss, 636228 impls, 1644 clqs
8.19/8.26	c (round 115) 1666 del vars, 8948 del conss, 8121 add conss, 445 chg bounds, 9538 chg sides, 24827 chg coeffs, 4203 upgd conss, 636228 impls, 1638 clqs
8.19/8.29	c (round 116) 1666 del vars, 8964 del conss, 8129 add conss, 445 chg bounds, 9580 chg sides, 24887 chg coeffs, 4203 upgd conss, 636228 impls, 1639 clqs
8.28/8.34	c (round 117) 1666 del vars, 8971 del conss, 8129 add conss, 445 chg bounds, 9580 chg sides, 24894 chg coeffs, 4203 upgd conss, 636228 impls, 1641 clqs
8.28/8.37	c (round 118) 1666 del vars, 8974 del conss, 8129 add conss, 445 chg bounds, 9580 chg sides, 24899 chg coeffs, 4203 upgd conss, 636228 impls, 1642 clqs
8.39/8.42	c (round 119) 1691 del vars, 8974 del conss, 8129 add conss, 445 chg bounds, 9580 chg sides, 24904 chg coeffs, 4203 upgd conss, 637928 impls, 1610 clqs
8.39/8.47	c (round 120) 1691 del vars, 9026 del conss, 8139 add conss, 445 chg bounds, 9589 chg sides, 24954 chg coeffs, 4203 upgd conss, 637928 impls, 1612 clqs
8.48/8.51	c (round 121) 1701 del vars, 9040 del conss, 8139 add conss, 445 chg bounds, 9589 chg sides, 24957 chg coeffs, 4203 upgd conss, 637928 impls, 1519 clqs
8.48/8.53	c (round 122) 1701 del vars, 9061 del conss, 8139 add conss, 445 chg bounds, 9589 chg sides, 24957 chg coeffs, 4203 upgd conss, 637928 impls, 1519 clqs
8.48/8.54	c (round 123) 1701 del vars, 9062 del conss, 8139 add conss, 445 chg bounds, 9589 chg sides, 24957 chg coeffs, 4203 upgd conss, 637928 impls, 1519 clqs
8.48/8.59	c (round 124) 1726 del vars, 9062 del conss, 8139 add conss, 445 chg bounds, 9589 chg sides, 24957 chg coeffs, 4203 upgd conss, 640846 impls, 1484 clqs
8.58/8.64	c (round 125) 1726 del vars, 9110 del conss, 8139 add conss, 445 chg bounds, 9589 chg sides, 24964 chg coeffs, 4203 upgd conss, 640846 impls, 1484 clqs
8.58/8.67	c (round 126) 1726 del vars, 9110 del conss, 8139 add conss, 445 chg bounds, 9589 chg sides, 24971 chg coeffs, 4203 upgd conss, 640846 impls, 1487 clqs
8.69/8.75	c (round 127) 1751 del vars, 9110 del conss, 8139 add conss, 445 chg bounds, 9589 chg sides, 24974 chg coeffs, 4203 upgd conss, 644732 impls, 1455 clqs
8.69/8.80	c (round 128) 1751 del vars, 9160 del conss, 8147 add conss, 445 chg bounds, 9613 chg sides, 25016 chg coeffs, 4203 upgd conss, 644732 impls, 1455 clqs
8.79/8.85	c (round 129) 1751 del vars, 9175 del conss, 8149 add conss, 445 chg bounds, 9614 chg sides, 25044 chg coeffs, 4203 upgd conss, 644732 impls, 1458 clqs
8.79/8.87	c (round 130) 1751 del vars, 9176 del conss, 8149 add conss, 445 chg bounds, 9614 chg sides, 25047 chg coeffs, 4203 upgd conss, 644732 impls, 1458 clqs
8.79/8.88	c (round 131) 1751 del vars, 9177 del conss, 8149 add conss, 445 chg bounds, 9614 chg sides, 25047 chg coeffs, 4203 upgd conss, 644732 impls, 1459 clqs
8.89/8.93	c (round 132) 1776 del vars, 9177 del conss, 8149 add conss, 445 chg bounds, 9614 chg sides, 25047 chg coeffs, 4203 upgd conss, 645768 impls, 1428 clqs
8.89/8.97	c (round 133) 1776 del vars, 9229 del conss, 8157 add conss, 445 chg bounds, 9660 chg sides, 25119 chg coeffs, 4203 upgd conss, 645768 impls, 1428 clqs
8.98/9.02	c (round 134) 1776 del vars, 9239 del conss, 8157 add conss, 445 chg bounds, 9660 chg sides, 25127 chg coeffs, 4203 upgd conss, 645768 impls, 1432 clqs
8.98/9.05	c (round 135) 1776 del vars, 9239 del conss, 8157 add conss, 445 chg bounds, 9660 chg sides, 25133 chg coeffs, 4203 upgd conss, 645768 impls, 1432 clqs
9.09/9.14	c (round 136) 1801 del vars, 9239 del conss, 8157 add conss, 445 chg bounds, 9660 chg sides, 25135 chg coeffs, 4203 upgd conss, 654968 impls, 1391 clqs
9.09/9.18	c (round 137) 1801 del vars, 9291 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25207 chg coeffs, 4203 upgd conss, 654968 impls, 1391 clqs
9.19/9.22	c (round 138) 1801 del vars, 9305 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25217 chg coeffs, 4203 upgd conss, 654968 impls, 1393 clqs
9.19/9.24	c (round 139) 1801 del vars, 9305 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25224 chg coeffs, 4203 upgd conss, 654968 impls, 1394 clqs
9.19/9.26	c (round 140) 1801 del vars, 9307 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25227 chg coeffs, 4203 upgd conss, 654968 impls, 1395 clqs
9.28/9.36	c (round 141) 1826 del vars, 9307 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25229 chg coeffs, 4203 upgd conss, 663446 impls, 1362 clqs
9.39/9.40	c (round 142) 1826 del vars, 9358 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25239 chg coeffs, 4203 upgd conss, 663446 impls, 1362 clqs
9.39/9.44	c (round 143) 1826 del vars, 9363 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25249 chg coeffs, 4203 upgd conss, 663446 impls, 1362 clqs
9.39/9.45	c (round 144) 1826 del vars, 9363 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25257 chg coeffs, 4203 upgd conss, 663446 impls, 1362 clqs
9.39/9.46	c (round 145) 1826 del vars, 9364 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25265 chg coeffs, 4203 upgd conss, 663446 impls, 1362 clqs
9.39/9.48	c (round 146) 1826 del vars, 9364 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25271 chg coeffs, 4203 upgd conss, 663446 impls, 1362 clqs
9.39/9.49	c (round 147) 1826 del vars, 9364 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25277 chg coeffs, 4203 upgd conss, 663446 impls, 1362 clqs
9.59/9.63	c (round 148) 1851 del vars, 9364 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25281 chg coeffs, 4203 upgd conss, 678548 impls, 1332 clqs
9.59/9.67	c (round 149) 1851 del vars, 9423 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25290 chg coeffs, 4203 upgd conss, 678548 impls, 1332 clqs
9.68/9.70	c (round 150) 1851 del vars, 9430 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25298 chg coeffs, 4203 upgd conss, 678548 impls, 1333 clqs
9.68/9.72	c (round 151) 1851 del vars, 9430 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25306 chg coeffs, 4203 upgd conss, 678548 impls, 1333 clqs
9.68/9.73	c (round 152) 1851 del vars, 9433 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25314 chg coeffs, 4203 upgd conss, 678548 impls, 1333 clqs
9.68/9.74	c (round 153) 1851 del vars, 9433 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25322 chg coeffs, 4203 upgd conss, 678548 impls, 1333 clqs
9.68/9.75	c (round 154) 1851 del vars, 9433 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25328 chg coeffs, 4203 upgd conss, 678548 impls, 1333 clqs
9.68/9.76	c    (9.8s) probing cycle finished: starting next cycle
9.79/9.83	c (round 155) 1876 del vars, 9433 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25328 chg coeffs, 4203 upgd conss, 682450 impls, 1298 clqs
9.79/9.87	c (round 156) 1876 del vars, 9474 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25341 chg coeffs, 4203 upgd conss, 682450 impls, 1298 clqs
9.89/9.91	c (round 157) 1876 del vars, 9482 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25351 chg coeffs, 4203 upgd conss, 682450 impls, 1303 clqs
9.89/9.93	c (round 158) 1876 del vars, 9482 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25359 chg coeffs, 4203 upgd conss, 682450 impls, 1305 clqs
9.89/9.95	c (round 159) 1876 del vars, 9483 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25367 chg coeffs, 4203 upgd conss, 682450 impls, 1305 clqs
9.89/9.96	c (round 160) 1876 del vars, 9483 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25373 chg coeffs, 4203 upgd conss, 682450 impls, 1305 clqs
9.89/9.97	c (round 161) 1876 del vars, 9483 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25379 chg coeffs, 4203 upgd conss, 682450 impls, 1305 clqs
9.99/10.05	c (round 162) 1901 del vars, 9483 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25379 chg coeffs, 4203 upgd conss, 686642 impls, 1267 clqs
9.99/10.09	c (round 163) 1901 del vars, 9526 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25397 chg coeffs, 4203 upgd conss, 686642 impls, 1267 clqs
10.09/10.13	c (round 164) 1901 del vars, 9527 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25411 chg coeffs, 4203 upgd conss, 686642 impls, 1277 clqs
10.09/10.16	c (round 165) 1901 del vars, 9527 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25421 chg coeffs, 4203 upgd conss, 686642 impls, 1283 clqs
10.09/10.18	c (round 166) 1901 del vars, 9528 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25428 chg coeffs, 4203 upgd conss, 686642 impls, 1285 clqs
10.18/10.20	c (round 167) 1901 del vars, 9528 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25434 chg coeffs, 4203 upgd conss, 686642 impls, 1286 clqs
10.18/10.28	c (round 168) 1926 del vars, 9528 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25438 chg coeffs, 4203 upgd conss, 691174 impls, 1249 clqs
10.29/10.31	c (round 169) 1926 del vars, 9576 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25460 chg coeffs, 4203 upgd conss, 691174 impls, 1249 clqs
10.29/10.34	c (round 170) 1926 del vars, 9576 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25475 chg coeffs, 4203 upgd conss, 691174 impls, 1258 clqs
10.29/10.37	c (round 171) 1926 del vars, 9576 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25486 chg coeffs, 4203 upgd conss, 691174 impls, 1265 clqs
10.29/10.39	c (round 172) 1926 del vars, 9578 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25492 chg coeffs, 4203 upgd conss, 691174 impls, 1270 clqs
10.38/10.47	c (round 173) 1951 del vars, 9578 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25496 chg coeffs, 4203 upgd conss, 695396 impls, 1246 clqs
10.49/10.51	c (round 174) 1951 del vars, 9627 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25518 chg coeffs, 4203 upgd conss, 695396 impls, 1246 clqs
10.49/10.55	c (round 175) 1951 del vars, 9630 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25530 chg coeffs, 4203 upgd conss, 695396 impls, 1258 clqs
10.49/10.57	c (round 176) 1951 del vars, 9630 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25535 chg coeffs, 4203 upgd conss, 695396 impls, 1262 clqs
10.49/10.59	c (round 177) 1951 del vars, 9631 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25539 chg coeffs, 4203 upgd conss, 695396 impls, 1263 clqs
10.58/10.66	c (round 178) 1976 del vars, 9631 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25543 chg coeffs, 4203 upgd conss, 699008 impls, 1235 clqs
10.58/10.70	c (round 179) 1976 del vars, 9681 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25558 chg coeffs, 4203 upgd conss, 699008 impls, 1235 clqs
10.68/10.73	c (round 180) 1976 del vars, 9683 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25567 chg coeffs, 4203 upgd conss, 699008 impls, 1242 clqs
10.68/10.76	c (round 181) 1976 del vars, 9684 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25574 chg coeffs, 4203 upgd conss, 699008 impls, 1247 clqs
10.68/10.77	c (round 182) 1976 del vars, 9684 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25580 chg coeffs, 4203 upgd conss, 699008 impls, 1250 clqs
10.78/10.83	c (round 183) 2001 del vars, 9684 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25582 chg coeffs, 4203 upgd conss, 700460 impls, 1223 clqs
10.78/10.87	c (round 184) 2001 del vars, 9732 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25598 chg coeffs, 4203 upgd conss, 700460 impls, 1223 clqs
10.89/10.90	c (round 185) 2001 del vars, 9733 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25606 chg coeffs, 4203 upgd conss, 700460 impls, 1232 clqs
10.89/10.93	c (round 186) 2001 del vars, 9734 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25606 chg coeffs, 4203 upgd conss, 700460 impls, 1236 clqs
10.89/10.99	c (round 187) 2026 del vars, 9734 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25606 chg coeffs, 4203 upgd conss, 702876 impls, 1209 clqs
10.99/11.03	c (round 188) 2026 del vars, 9785 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25620 chg coeffs, 4203 upgd conss, 702876 impls, 1209 clqs
10.99/11.06	c (round 189) 2026 del vars, 9788 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25630 chg coeffs, 4203 upgd conss, 702876 impls, 1217 clqs
10.99/11.09	c (round 190) 2026 del vars, 9790 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25634 chg coeffs, 4203 upgd conss, 702876 impls, 1223 clqs
11.09/11.14	c (round 191) 2051 del vars, 9790 del conss, 8165 add conss, 445 chg bounds, 9710 chg sides, 25636 chg coeffs, 4203 upgd conss, 704160 impls, 1177 clqs
11.09/11.18	c (round 192) 2051 del vars, 9843 del conss, 8167 add conss, 445 chg bounds, 9711 chg sides, 25654 chg coeffs, 4203 upgd conss, 704160 impls, 1178 clqs
11.18/11.22	c (round 193) 2052 del vars, 9848 del conss, 8167 add conss, 445 chg bounds, 9711 chg sides, 25661 chg coeffs, 4203 upgd conss, 704160 impls, 1177 clqs
11.18/11.24	c (round 194) 2052 del vars, 9851 del conss, 8167 add conss, 445 chg bounds, 9711 chg sides, 25665 chg coeffs, 4203 upgd conss, 704160 impls, 1178 clqs
11.18/11.26	c (round 195) 2052 del vars, 9851 del conss, 8167 add conss, 445 chg bounds, 9711 chg sides, 25669 chg coeffs, 4203 upgd conss, 704160 impls, 1178 clqs
11.18/11.27	c (round 196) 2052 del vars, 9851 del conss, 8167 add conss, 445 chg bounds, 9711 chg sides, 25673 chg coeffs, 4203 upgd conss, 704160 impls, 1178 clqs
11.18/11.28	c (round 197) 2052 del vars, 9852 del conss, 8167 add conss, 445 chg bounds, 9711 chg sides, 25675 chg coeffs, 4203 upgd conss, 704160 impls, 1178 clqs
11.27/11.32	c (round 198) 2077 del vars, 9852 del conss, 8167 add conss, 445 chg bounds, 9711 chg sides, 25677 chg coeffs, 4203 upgd conss, 704764 impls, 1134 clqs
11.27/11.35	c (round 199) 2077 del vars, 9910 del conss, 8167 add conss, 445 chg bounds, 9711 chg sides, 25692 chg coeffs, 4203 upgd conss, 704764 impls, 1134 clqs
11.27/11.38	c (round 200) 2077 del vars, 9919 del conss, 8167 add conss, 445 chg bounds, 9711 chg sides, 25699 chg coeffs, 4203 upgd conss, 704764 impls, 1141 clqs
11.37/11.40	c (round 201) 2077 del vars, 9921 del conss, 8167 add conss, 445 chg bounds, 9711 chg sides, 25705 chg coeffs, 4203 upgd conss, 704764 impls, 1142 clqs
11.37/11.41	c (round 202) 2077 del vars, 9921 del conss, 8167 add conss, 445 chg bounds, 9711 chg sides, 25710 chg coeffs, 4203 upgd conss, 704764 impls, 1143 clqs
11.37/11.43	c (round 203) 2077 del vars, 9921 del conss, 8167 add conss, 445 chg bounds, 9711 chg sides, 25715 chg coeffs, 4203 upgd conss, 704764 impls, 1143 clqs
11.37/11.46	c (round 204) 2102 del vars, 9921 del conss, 8167 add conss, 445 chg bounds, 9711 chg sides, 25716 chg coeffs, 4203 upgd conss, 704996 impls, 1097 clqs
11.37/11.49	c (round 205) 2102 del vars, 9974 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25732 chg coeffs, 4203 upgd conss, 704996 impls, 1097 clqs
11.47/11.52	c (round 206) 2102 del vars, 9978 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25742 chg coeffs, 4203 upgd conss, 704996 impls, 1105 clqs
11.47/11.54	c (round 207) 2102 del vars, 9979 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25748 chg coeffs, 4203 upgd conss, 704996 impls, 1110 clqs
11.47/11.56	c (round 208) 2102 del vars, 9979 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25752 chg coeffs, 4203 upgd conss, 704996 impls, 1112 clqs
11.47/11.57	c (round 209) 2102 del vars, 9979 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25756 chg coeffs, 4203 upgd conss, 704996 impls, 1112 clqs
11.58/11.60	c (round 210) 2127 del vars, 9979 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25756 chg coeffs, 4203 upgd conss, 705222 impls, 1017 clqs
11.58/11.63	c (round 211) 2127 del vars, 10032 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25768 chg coeffs, 4203 upgd conss, 705222 impls, 1018 clqs
11.58/11.66	c (round 212) 2127 del vars, 10039 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25783 chg coeffs, 4203 upgd conss, 705222 impls, 1024 clqs
11.58/11.68	c (round 213) 2127 del vars, 10039 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25794 chg coeffs, 4203 upgd conss, 705222 impls, 1034 clqs
11.58/11.69	c (round 214) 2127 del vars, 10039 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25805 chg coeffs, 4203 upgd conss, 705222 impls, 1041 clqs
11.68/11.70	c (round 215) 2127 del vars, 10039 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25816 chg coeffs, 4203 upgd conss, 705222 impls, 1048 clqs
11.68/11.71	c (round 216) 2127 del vars, 10039 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25823 chg coeffs, 4203 upgd conss, 705222 impls, 1055 clqs
11.68/11.72	c (round 217) 2127 del vars, 10039 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25830 chg coeffs, 4203 upgd conss, 705222 impls, 1062 clqs
11.68/11.73	c (round 218) 2127 del vars, 10039 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25835 chg coeffs, 4203 upgd conss, 705222 impls, 1069 clqs
11.68/11.76	c (round 219) 2152 del vars, 10039 del conss, 8169 add conss, 445 chg bounds, 9712 chg sides, 25835 chg coeffs, 4203 upgd conss, 705224 impls, 1027 clqs
11.68/11.79	c (round 220) 2152 del vars, 10104 del conss, 8175 add conss, 445 chg bounds, 9715 chg sides, 25906 chg coeffs, 4203 upgd conss, 705224 impls, 1030 clqs
11.77/11.83	c (round 221) 2174 del vars, 10118 del conss, 8177 add conss, 445 chg bounds, 9716 chg sides, 25934 chg coeffs, 4203 upgd conss, 705226 impls, 925 clqs
11.77/11.84	c (round 222) 2174 del vars, 10168 del conss, 8177 add conss, 445 chg bounds, 9716 chg sides, 25948 chg coeffs, 4203 upgd conss, 705226 impls, 929 clqs
11.77/11.87	c (round 223) 2174 del vars, 10170 del conss, 8177 add conss, 445 chg bounds, 9716 chg sides, 25955 chg coeffs, 4203 upgd conss, 705226 impls, 935 clqs
11.77/11.89	c (round 224) 2174 del vars, 10170 del conss, 8177 add conss, 445 chg bounds, 9716 chg sides, 25959 chg coeffs, 4203 upgd conss, 705226 impls, 936 clqs
11.88/11.92	c (round 225) 2199 del vars, 10170 del conss, 8177 add conss, 445 chg bounds, 9716 chg sides, 25959 chg coeffs, 4203 upgd conss, 705228 impls, 910 clqs
11.88/11.94	c (round 226) 2199 del vars, 10223 del conss, 8177 add conss, 445 chg bounds, 9716 chg sides, 25970 chg coeffs, 4203 upgd conss, 705228 impls, 910 clqs
11.88/11.96	c (round 227) 2199 del vars, 10225 del conss, 8177 add conss, 445 chg bounds, 9716 chg sides, 25980 chg coeffs, 4203 upgd conss, 705228 impls, 918 clqs
11.88/11.98	c (round 228) 2199 del vars, 10226 del conss, 8177 add conss, 445 chg bounds, 9716 chg sides, 25986 chg coeffs, 4203 upgd conss, 705228 impls, 926 clqs
11.88/11.99	c (round 229) 2199 del vars, 10226 del conss, 8177 add conss, 445 chg bounds, 9716 chg sides, 25991 chg coeffs, 4203 upgd conss, 705228 impls, 931 clqs
11.98/12.02	c (round 230) 2224 del vars, 10226 del conss, 8177 add conss, 445 chg bounds, 9716 chg sides, 25991 chg coeffs, 4203 upgd conss, 705234 impls, 889 clqs
11.98/12.04	c (round 231) 2224 del vars, 10285 del conss, 8179 add conss, 445 chg bounds, 9717 chg sides, 26004 chg coeffs, 4203 upgd conss, 705234 impls, 890 clqs
11.98/12.07	c (round 232) 2224 del vars, 10291 del conss, 8179 add conss, 445 chg bounds, 9717 chg sides, 26011 chg coeffs, 4203 upgd conss, 705234 impls, 896 clqs
11.98/12.08	c (round 233) 2224 del vars, 10291 del conss, 8179 add conss, 445 chg bounds, 9717 chg sides, 26017 chg coeffs, 4203 upgd conss, 705234 impls, 902 clqs
11.98/12.09	c (round 234) 2224 del vars, 10291 del conss, 8179 add conss, 445 chg bounds, 9717 chg sides, 26022 chg coeffs, 4203 upgd conss, 705234 impls, 908 clqs
11.98/12.10	c (round 235) 2224 del vars, 10291 del conss, 8179 add conss, 445 chg bounds, 9717 chg sides, 26026 chg coeffs, 4203 upgd conss, 705234 impls, 913 clqs
12.08/12.13	c (round 236) 2249 del vars, 10291 del conss, 8179 add conss, 445 chg bounds, 9717 chg sides, 26028 chg coeffs, 4203 upgd conss, 705236 impls, 892 clqs
12.08/12.14	c (round 237) 2249 del vars, 10345 del conss, 8179 add conss, 445 chg bounds, 9717 chg sides, 26032 chg coeffs, 4203 upgd conss, 705236 impls, 894 clqs
12.08/12.16	c (round 238) 2249 del vars, 10345 del conss, 8179 add conss, 445 chg bounds, 9717 chg sides, 26035 chg coeffs, 4203 upgd conss, 705236 impls, 897 clqs
12.08/12.17	c (round 239) 2249 del vars, 10345 del conss, 8179 add conss, 445 chg bounds, 9717 chg sides, 26038 chg coeffs, 4203 upgd conss, 705236 impls, 899 clqs
12.17/12.23	c (round 240) 2276 del vars, 10345 del conss, 8179 add conss, 450 chg bounds, 9717 chg sides, 26039 chg coeffs, 4203 upgd conss, 712187 impls, 727 clqs
12.17/12.25	c (round 241) 2276 del vars, 10409 del conss, 8179 add conss, 450 chg bounds, 9717 chg sides, 26041 chg coeffs, 4205 upgd conss, 712187 impls, 728 clqs
12.17/12.27	c (round 242) 2276 del vars, 10426 del conss, 8179 add conss, 450 chg bounds, 9717 chg sides, 26043 chg coeffs, 4205 upgd conss, 712187 impls, 728 clqs
12.27/12.31	c (round 243) 2307 del vars, 10426 del conss, 8179 add conss, 453 chg bounds, 9717 chg sides, 26043 chg coeffs, 4205 upgd conss, 715766 impls, 663 clqs
12.27/12.33	c (round 244) 2312 del vars, 10505 del conss, 8181 add conss, 453 chg bounds, 9718 chg sides, 26047 chg coeffs, 4205 upgd conss, 715986 impls, 666 clqs
12.27/12.35	c (round 245) 2312 del vars, 10508 del conss, 8181 add conss, 453 chg bounds, 9718 chg sides, 26047 chg coeffs, 4206 upgd conss, 715986 impls, 666 clqs
12.27/12.36	c (round 246) 2320 del vars, 10521 del conss, 8181 add conss, 453 chg bounds, 9718 chg sides, 26047 chg coeffs, 4206 upgd conss, 715986 impls, 658 clqs
12.27/12.37	c (round 247) 2320 del vars, 10545 del conss, 8181 add conss, 453 chg bounds, 9718 chg sides, 26047 chg coeffs, 4206 upgd conss, 715986 impls, 658 clqs
12.38/12.41	c (round 248) 2345 del vars, 10545 del conss, 8181 add conss, 453 chg bounds, 9718 chg sides, 26047 chg coeffs, 4206 upgd conss, 718106 impls, 635 clqs
12.38/12.43	c (round 249) 2352 del vars, 10607 del conss, 8183 add conss, 453 chg bounds, 9719 chg sides, 26055 chg coeffs, 4206 upgd conss, 718398 impls, 633 clqs
12.38/12.44	c (round 250) 2353 del vars, 10620 del conss, 8183 add conss, 453 chg bounds, 9719 chg sides, 26058 chg coeffs, 4206 upgd conss, 718398 impls, 633 clqs
12.38/12.46	c (round 251) 2353 del vars, 10625 del conss, 8183 add conss, 453 chg bounds, 9719 chg sides, 26060 chg coeffs, 4213 upgd conss, 718398 impls, 633 clqs
12.48/12.52	c (round 252) 2384 del vars, 10628 del conss, 8184 add conss, 455 chg bounds, 9719 chg sides, 26060 chg coeffs, 4213 upgd conss, 724080 impls, 617 clqs
12.48/12.53	c (round 253) 2385 del vars, 10711 del conss, 8185 add conss, 455 chg bounds, 9719 chg sides, 26062 chg coeffs, 4213 upgd conss, 724336 impls, 617 clqs
12.48/12.54	c (round 254) 2385 del vars, 10713 del conss, 8185 add conss, 455 chg bounds, 9719 chg sides, 26062 chg coeffs, 4213 upgd conss, 724336 impls, 617 clqs
12.48/12.56	c (round 255) 2385 del vars, 10728 del conss, 8185 add conss, 455 chg bounds, 9719 chg sides, 26062 chg coeffs, 4226 upgd conss, 724336 impls, 617 clqs
12.58/12.60	c (round 256) 2410 del vars, 10731 del conss, 8186 add conss, 455 chg bounds, 9719 chg sides, 26062 chg coeffs, 4226 upgd conss, 727538 impls, 613 clqs
12.58/12.61	c (round 257) 2417 del vars, 10796 del conss, 8186 add conss, 455 chg bounds, 9719 chg sides, 26074 chg coeffs, 4226 upgd conss, 727568 impls, 613 clqs
12.58/12.63	c (round 258) 2451 del vars, 10910 del conss, 8186 add conss, 455 chg bounds, 9719 chg sides, 26078 chg coeffs, 4226 upgd conss, 727606 impls, 589 clqs
12.58/12.64	c (round 259) 2452 del vars, 10917 del conss, 8186 add conss, 455 chg bounds, 9719 chg sides, 26080 chg coeffs, 4226 upgd conss, 727608 impls, 589 clqs
12.58/12.65	c (round 260) 2452 del vars, 10918 del conss, 8186 add conss, 455 chg bounds, 9719 chg sides, 26080 chg coeffs, 4247 upgd conss, 727608 impls, 589 clqs
12.68/12.72	c (round 261) 2477 del vars, 10918 del conss, 8186 add conss, 456 chg bounds, 9719 chg sides, 26080 chg coeffs, 4247 upgd conss, 732211 impls, 567 clqs
12.68/12.73	c (round 262) 2477 del vars, 10979 del conss, 8186 add conss, 456 chg bounds, 9719 chg sides, 26088 chg coeffs, 4247 upgd conss, 732249 impls, 567 clqs
12.68/12.75	c (round 263) 2477 del vars, 10994 del conss, 8186 add conss, 456 chg bounds, 9719 chg sides, 26090 chg coeffs, 4253 upgd conss, 732249 impls, 573 clqs
12.68/12.76	c    (12.8s) probing cycle finished: starting next cycle
12.68/12.77	c (round 264) 2502 del vars, 10997 del conss, 8187 add conss, 456 chg bounds, 9719 chg sides, 26090 chg coeffs, 4253 upgd conss, 733373 impls, 557 clqs
12.68/12.78	c (round 265) 2504 del vars, 11056 del conss, 8187 add conss, 456 chg bounds, 9719 chg sides, 26097 chg coeffs, 4253 upgd conss, 733453 impls, 557 clqs
12.78/12.80	c (round 266) 2504 del vars, 11077 del conss, 8187 add conss, 456 chg bounds, 9719 chg sides, 26099 chg coeffs, 4260 upgd conss, 733453 impls, 557 clqs
12.78/12.81	c (round 267) 2504 del vars, 11077 del conss, 8187 add conss, 456 chg bounds, 9719 chg sides, 26101 chg coeffs, 4260 upgd conss, 733453 impls, 557 clqs
12.88/12.91	c (round 268) 2529 del vars, 11077 del conss, 8187 add conss, 456 chg bounds, 9719 chg sides, 26101 chg coeffs, 4260 upgd conss, 736945 impls, 530 clqs
12.88/12.92	c (round 269) 2529 del vars, 11134 del conss, 8193 add conss, 456 chg bounds, 9722 chg sides, 26116 chg coeffs, 4260 upgd conss, 736951 impls, 530 clqs
12.88/12.93	c (round 270) 2529 del vars, 11151 del conss, 8193 add conss, 456 chg bounds, 9722 chg sides, 26122 chg coeffs, 4269 upgd conss, 736951 impls, 530 clqs
12.88/12.94	c (round 271) 2529 del vars, 11151 del conss, 8193 add conss, 456 chg bounds, 9722 chg sides, 26126 chg coeffs, 4269 upgd conss, 736951 impls, 530 clqs
12.88/12.99	c (round 272) 2554 del vars, 11151 del conss, 8193 add conss, 456 chg bounds, 9722 chg sides, 26126 chg coeffs, 4269 upgd conss, 738567 impls, 501 clqs
12.98/13.00	c (round 273) 2554 del vars, 11212 del conss, 8195 add conss, 456 chg bounds, 9723 chg sides, 26135 chg coeffs, 4269 upgd conss, 738583 impls, 502 clqs
12.98/13.02	c (round 274) 2554 del vars, 11213 del conss, 8195 add conss, 456 chg bounds, 9723 chg sides, 26136 chg coeffs, 4272 upgd conss, 738583 impls, 502 clqs
12.98/13.03	c (round 275) 2579 del vars, 11213 del conss, 8195 add conss, 456 chg bounds, 9723 chg sides, 26137 chg coeffs, 4272 upgd conss, 738607 impls, 456 clqs
12.98/13.04	c (round 276) 2579 del vars, 11282 del conss, 8195 add conss, 456 chg bounds, 9723 chg sides, 26137 chg coeffs, 4272 upgd conss, 738607 impls, 457 clqs
12.98/13.05	c (round 277) 2579 del vars, 11284 del conss, 8195 add conss, 456 chg bounds, 9723 chg sides, 26137 chg coeffs, 4272 upgd conss, 738607 impls, 457 clqs
12.98/13.10	c (round 278) 2605 del vars, 11284 del conss, 8195 add conss, 458 chg bounds, 9723 chg sides, 26137 chg coeffs, 4272 upgd conss, 742377 impls, 428 clqs
13.08/13.11	c (round 279) 2607 del vars, 11364 del conss, 8195 add conss, 458 chg bounds, 9723 chg sides, 26137 chg coeffs, 4272 upgd conss, 742403 impls, 426 clqs
13.08/13.12	c (round 280) 2607 del vars, 11368 del conss, 8195 add conss, 458 chg bounds, 9723 chg sides, 26137 chg coeffs, 4280 upgd conss, 742403 impls, 426 clqs
13.08/13.12	c (round 281) 2607 del vars, 11370 del conss, 8195 add conss, 458 chg bounds, 9723 chg sides, 26137 chg coeffs, 4280 upgd conss, 742403 impls, 426 clqs
13.08/13.17	c (round 282) 2632 del vars, 11370 del conss, 8195 add conss, 462 chg bounds, 9723 chg sides, 26137 chg coeffs, 4280 upgd conss, 747949 impls, 413 clqs
13.08/13.17	c (round 283) 2634 del vars, 11422 del conss, 8197 add conss, 462 chg bounds, 9724 chg sides, 26142 chg coeffs, 4280 upgd conss, 748117 impls, 410 clqs
13.08/13.18	c (round 284) 2634 del vars, 11424 del conss, 8199 add conss, 462 chg bounds, 9725 chg sides, 26148 chg coeffs, 4303 upgd conss, 748117 impls, 411 clqs
13.08/13.19	c (round 285) 2634 del vars, 11448 del conss, 8199 add conss, 462 chg bounds, 9726 chg sides, 26148 chg coeffs, 4303 upgd conss, 748117 impls, 411 clqs
13.08/13.20	c    (13.2s) probing cycle finished: starting next cycle
13.18/13.21	c (round 286) 2659 del vars, 11448 del conss, 8199 add conss, 462 chg bounds, 9726 chg sides, 26148 chg coeffs, 4303 upgd conss, 749767 impls, 394 clqs
13.18/13.22	c (round 287) 2659 del vars, 11496 del conss, 8203 add conss, 462 chg bounds, 9728 chg sides, 26158 chg coeffs, 4303 upgd conss, 749961 impls, 394 clqs
13.18/13.23	c (round 288) 2659 del vars, 11510 del conss, 8203 add conss, 462 chg bounds, 9729 chg sides, 26158 chg coeffs, 4321 upgd conss, 749961 impls, 394 clqs
13.18/13.24	c (round 289) 2659 del vars, 11511 del conss, 8203 add conss, 462 chg bounds, 9729 chg sides, 26158 chg coeffs, 4321 upgd conss, 749961 impls, 394 clqs
13.27/13.30	c (round 290) 2684 del vars, 11511 del conss, 8203 add conss, 462 chg bounds, 9729 chg sides, 26158 chg coeffs, 4321 upgd conss, 758401 impls, 382 clqs
13.27/13.31	c (round 291) 2685 del vars, 11568 del conss, 8203 add conss, 462 chg bounds, 9729 chg sides, 26158 chg coeffs, 4321 upgd conss, 758439 impls, 382 clqs
13.27/13.32	c (round 292) 2685 del vars, 11578 del conss, 8203 add conss, 462 chg bounds, 9729 chg sides, 26158 chg coeffs, 4337 upgd conss, 758439 impls, 382 clqs
13.27/13.32	c (round 293) 2685 del vars, 11582 del conss, 8203 add conss, 462 chg bounds, 9729 chg sides, 26158 chg coeffs, 4337 upgd conss, 758439 impls, 382 clqs
13.27/13.39	c (round 294) 2710 del vars, 11582 del conss, 8203 add conss, 462 chg bounds, 9729 chg sides, 26158 chg coeffs, 4337 upgd conss, 765953 impls, 369 clqs
13.27/13.39	c (round 295) 2710 del vars, 11633 del conss, 8203 add conss, 462 chg bounds, 9729 chg sides, 26158 chg coeffs, 4337 upgd conss, 765953 impls, 369 clqs
13.37/13.40	c (round 296) 2710 del vars, 11651 del conss, 8203 add conss, 462 chg bounds, 9729 chg sides, 26158 chg coeffs, 4342 upgd conss, 765953 impls, 369 clqs
13.37/13.43	c (round 297) 2735 del vars, 11651 del conss, 8203 add conss, 462 chg bounds, 9729 chg sides, 26158 chg coeffs, 4342 upgd conss, 767491 impls, 334 clqs
13.37/13.43	c (round 298) 2736 del vars, 11717 del conss, 8205 add conss, 462 chg bounds, 9730 chg sides, 26164 chg coeffs, 4342 upgd conss, 767491 impls, 334 clqs
13.37/13.44	c (round 299) 2736 del vars, 11718 del conss, 8205 add conss, 462 chg bounds, 9730 chg sides, 26164 chg coeffs, 4342 upgd conss, 767491 impls, 334 clqs
13.37/13.45	c (round 300) 2762 del vars, 11718 del conss, 8205 add conss, 468 chg bounds, 9730 chg sides, 26164 chg coeffs, 4342 upgd conss, 770296 impls, 311 clqs
13.37/13.46	c (round 301) 2763 del vars, 11793 del conss, 8205 add conss, 468 chg bounds, 9730 chg sides, 26164 chg coeffs, 4342 upgd conss, 770362 impls, 311 clqs
13.37/13.47	c (round 302) 2763 del vars, 11813 del conss, 8205 add conss, 468 chg bounds, 9730 chg sides, 26164 chg coeffs, 4354 upgd conss, 770362 impls, 311 clqs
13.37/13.47	c (round 303) 2763 del vars, 11815 del conss, 8205 add conss, 468 chg bounds, 9730 chg sides, 26164 chg coeffs, 4354 upgd conss, 770362 impls, 311 clqs
13.47/13.52	c    (13.5s) probing cycle finished: starting next cycle
13.58/13.63	c    (13.6s) probing: 344/424 (81.1%) - 1717 fixings, 23 aggregations, 179708 implications, 23 bound changes
13.58/13.63	c    (13.6s) probing aborted: 50/50 successive totally useless probings
13.58/13.63	c (round 304) 2784 del vars, 11815 del conss, 8205 add conss, 468 chg bounds, 9730 chg sides, 26164 chg coeffs, 4354 upgd conss, 776780 impls, 302 clqs
13.58/13.63	c (round 305) 2784 del vars, 11866 del conss, 8205 add conss, 468 chg bounds, 9730 chg sides, 26164 chg coeffs, 4354 upgd conss, 776780 impls, 302 clqs
13.58/13.64	c (round 306) 2784 del vars, 11881 del conss, 8205 add conss, 468 chg bounds, 9730 chg sides, 26164 chg coeffs, 4360 upgd conss, 776780 impls, 302 clqs
13.58/13.64	c (round 307) 2784 del vars, 11883 del conss, 8205 add conss, 468 chg bounds, 9730 chg sides, 26164 chg coeffs, 4360 upgd conss, 776780 impls, 302 clqs
13.58/13.65	c    (13.6s) probing: 349/424 (82.3%) - 1717 fixings, 23 aggregations, 179708 implications, 23 bound changes
13.58/13.65	c    (13.6s) probing aborted: 50/50 successive totally useless probings
13.58/13.65	c presolving (308 rounds):
13.58/13.65	c  2784 deleted vars, 11883 deleted constraints, 8205 added constraints, 468 tightened bounds, 0 added holes, 9730 changed sides, 26164 changed coefficients
13.58/13.65	c  776780 implications, 302 cliques
13.58/13.65	c presolved problem has 424 variables (424 bin, 0 int, 0 impl, 0 cont) and 1007 constraints
13.58/13.65	c      25 constraints of type <knapsack>
13.58/13.65	c     408 constraints of type <setppc>
13.58/13.65	c     574 constraints of type <logicor>
13.58/13.65	c transformed objective value is always integral (scale: 1)
13.58/13.65	c Presolving Time: 13.59
13.58/13.65	c - non default parameters ----------------------------------------------------------------------
13.58/13.65	c # SCIP version 2.1.1.4
13.58/13.65	c 
13.58/13.65	c # maximal time in seconds to run
13.58/13.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.58/13.65	c limits/time = 1797
13.58/13.65	c 
13.58/13.65	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.58/13.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.58/13.65	c limits/memory = 13950
13.58/13.65	c 
13.58/13.65	c # default clock type (1: CPU user seconds, 2: wall clock time)
13.58/13.65	c # [type: int, range: [1,2], default: 1]
13.58/13.65	c timing/clocktype = 2
13.58/13.65	c 
13.58/13.65	c # belongs reading time to solving time?
13.58/13.65	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.58/13.65	c timing/reading = TRUE
13.58/13.65	c 
13.58/13.65	c -----------------------------------------------------------------------------------------------
13.58/13.65	c start solving
13.58/13.65	c 
13.58/13.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
13.58/13.67	c  13.7s|     1 |     0 |   392 |     - |  20M|   0 | 171 | 424 |1028 | 424 |1007 |   0 |  21 |   0 | 3.100000e+01 |      --      |    Inf 
13.88/13.97	c  14.0s|     1 |     0 |  2724 |     - |  21M|   0 |  57 | 424 |1028 | 424 |2164 |1157 |  21 |   0 | 3.100000e+01 |      --      |    Inf 
13.98/14.09	c  14.1s|     1 |     0 |  3048 |     - |  22M|   0 |  74 | 424 |1028 | 424 |2328 |1321 |  21 |   0 | 3.100000e+01 |      --      |    Inf 
14.08/14.18	c  14.2s|     1 |     0 |  3293 |     - |  23M|   0 | 122 | 424 |1028 | 424 |2397 |1390 |  21 |   0 | 3.100000e+01 |      --      |    Inf 
14.18/14.27	c  14.3s|     1 |     0 |  3362 |     - |  24M|   0 |   8 | 424 |1028 | 424 |2415 |1408 |  21 |   0 | 3.100000e+01 |      --      |    Inf 
14.28/14.32	c  14.3s|     1 |     0 |  3506 |     - |  24M|   0 |   9 | 424 |1028 | 424 |2419 |1412 |  21 |   0 | 3.100000e+01 |      --      |    Inf 
14.28/14.37	c  14.4s|     1 |     0 |  3644 |     - |  24M|   0 |   7 | 424 |1028 | 424 |2421 |1414 |  21 |   0 | 3.100000e+01 |      --      |    Inf 
14.38/14.48	c  14.5s|     1 |     0 |  4263 |     - |  24M|   0 |  41 | 424 |1028 | 424 |2425 |1418 |  21 |   0 | 3.100000e+01 |      --      |    Inf 
14.48/14.59	c  14.6s|     1 |     0 |  4324 |     - |  25M|   0 |  39 | 424 |1028 | 424 |2430 |1423 |  21 |   0 | 3.100000e+01 |      --      |    Inf 
14.58/14.67	c  14.7s|     1 |     0 |  4365 |     - |  25M|   0 |  39 | 424 |1028 | 424 |2435 |1428 |  21 |   0 | 3.100000e+01 |      --      |    Inf 
14.77/14.80	c  14.8s|     1 |     0 |  4514 |     - |  26M|   0 |  94 | 424 |1028 | 424 |2437 |1430 |  21 |   0 | 3.100000e+01 |      --      |    Inf 
14.77/14.87	c  14.9s|     1 |     0 |  4550 |     - |  28M|   0 |  87 | 424 |1028 | 424 |2444 |1437 |  21 |   0 | 3.100000e+01 |      --      |    Inf 
15.67/15.72	c  15.7s|     1 |     2 |  4550 |     - |  28M|   0 |  87 | 424 |1028 | 424 |2444 |1437 |  21 |  19 | 3.100000e+01 |      --      |    Inf 
17.38/17.47	c 
17.38/17.47	c SCIP Status        : problem is solved [infeasible]
17.38/17.47	c Solving Time (sec) : 17.46
17.38/17.47	c Solving Nodes      : 5
17.38/17.47	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
17.38/17.47	c Dual Bound         : +1.00000000000000e+20
17.38/17.47	c Gap                : 0.00 %
17.38/17.47	s UNSATISFIABLE
17.38/17.47	c SCIP Status        : problem is solved [infeasible]
17.38/17.47	c Total Time         :      17.46
17.38/17.47	c   solving          :      17.46
17.38/17.47	c   presolving       :      13.59 (included in solving)
17.38/17.47	c   reading          :       0.04 (included in solving)
17.38/17.47	c   copying          :       0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
17.38/17.47	c Original Problem   :
17.38/17.47	c   Problem name     : HOME/instance-3693660-1338042389.opb
17.38/17.47	c   Variables        : 3208 (3208 binary, 0 integer, 0 implicit integer, 0 continuous)
17.38/17.47	c   Constraints      : 4687 initial, 4687 maximal
17.38/17.47	c   Objective sense  : minimize
17.38/17.47	c Presolved Problem  :
17.38/17.47	c   Problem name     : t_HOME/instance-3693660-1338042389.opb
17.38/17.47	c   Variables        : 424 (424 binary, 0 integer, 0 implicit integer, 0 continuous)
17.38/17.47	c   Constraints      : 1007 initial, 1028 maximal
17.38/17.47	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
17.38/17.47	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
17.38/17.47	c   trivial          :       0.02       0.00         26          0          0          0          0          0          0          0          0
17.38/17.47	c   dualfix          :       0.01       0.00          0          0          0          0          0          0          0          0          0
17.38/17.47	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
17.38/17.47	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
17.38/17.47	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
17.38/17.47	c   gateextraction   :       0.06       0.00          0          0          0          0          0          9          3          0          0
17.38/17.47	c   implics          :       0.07       0.00          0          4          0          0          0          0          0          0          0
17.38/17.47	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
17.38/17.47	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
17.38/17.47	c   probing          :       4.07       0.00       1717         23          0         23          0          0          0          0          0
17.38/17.47	c   knapsack         :       5.40       0.00          9          0          0          0          0       2283       8201       6627      23063
17.38/17.47	c   setppc           :       2.59       0.00        568          4          0         24          0       8616          0          2          0
17.38/17.47	c   and              :       0.00       0.00          0          0          0          0          0          1          1          0          0
17.38/17.47	c   linear           :       0.21       0.00        421          2          0        421          0        496          0       3101       3101
17.38/17.47	c   logicor          :       0.78       0.00         10          0          0          0          0        478          0          0          0
17.38/17.47	c   root node        :          -          -         13          -          -         13          -          -          -          -          -
17.38/17.47	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
17.38/17.47	c   integral         :          0          0          0          0          5          0          4          0          1         10          0          0          4
17.38/17.47	c   knapsack         :         25         25         11      12925          0          0          3       4709        145         26         44          0          0
17.38/17.47	c   setppc           :        408        408         11      12780          0          0          1       2512        951         72          0          0          0
17.38/17.47	c   logicor          :        574+       595         11       9798          0          0          0        228         15         21          0          0          0
17.38/17.47	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
17.38/17.47	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
17.38/17.47	c   integral         :       2.47       0.00       0.00       0.00       2.47       0.00       0.00       0.00
17.38/17.47	c   knapsack         :       0.53       0.00       0.00       0.52       0.00       0.00       0.00       0.01
17.38/17.47	c   setppc           :       0.71       0.00       0.00       0.71       0.00       0.00       0.00       0.00
17.38/17.47	c   logicor          :       0.12       0.00       0.00       0.12       0.00       0.00       0.00       0.00
17.38/17.47	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
17.38/17.47	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
17.38/17.47	c   rootredcost      :          0          0          0          0
17.38/17.47	c   pseudoobj        :         75          0          0          1
17.38/17.47	c   vbounds          :          0          0          0          0
17.38/17.47	c   redcost          :         16          0          0          0
17.38/17.47	c   probing          :          0          0          0          0
17.38/17.47	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
17.38/17.47	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00
17.38/17.47	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00
17.38/17.47	c   vbounds          :       0.01       0.00       0.00       0.01       0.00
17.38/17.47	c   redcost          :       0.01       0.00       0.00       0.01       0.00
17.38/17.47	c   probing          :       4.07       0.00       4.07       0.00       0.00
17.38/17.47	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
17.38/17.47	c   propagation      :       0.02       1111         15         22        5.0          0        0.0          -
17.38/17.47	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
17.38/17.47	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
17.38/17.47	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
17.38/17.47	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
17.38/17.47	c   applied globally :          -          -          -         21        4.9          -          -          -
17.38/17.47	c   applied locally  :          -          -          -          0        0.0          -          -          -
17.38/17.47	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
17.38/17.47	c   cut pool         :       0.01                    10          -          -         23          -    (maximal pool size: 3107)
17.38/17.47	c   closecuts        :       0.00       0.00          0          0          0          0          0
17.38/17.47	c   impliedbounds    :       0.00       0.00         11          0          0       1468          0
17.38/17.47	c   intobj           :       0.00       0.00          0          0          0          0          0
17.38/17.47	c   gomory           :       0.13       0.00         10          0          0        201          0
17.38/17.47	c   cgmip            :       0.00       0.00          0          0          0          0          0
17.38/17.47	c   strongcg         :       0.29       0.00         11          0          0       2836          0
17.38/17.47	c   cmir             :       0.09       0.00         10          0          0         21          0
17.38/17.47	c   flowcover        :       0.14       0.00         10          0          0         42          0
17.38/17.47	c   clique           :       0.05       0.00         11          0          0         47          0
17.38/17.47	c   zerohalf         :       0.00       0.00          0          0          0          0          0
17.38/17.47	c   mcf              :       0.00       0.00          1          0          0          0          0
17.38/17.47	c   oddcycle         :       0.00       0.00          0          0          0          0          0
17.38/17.47	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
17.38/17.47	c Pricers            :   ExecTime  SetupTime      Calls       Vars
17.38/17.47	c   problem variables:       0.00          -          0          0
17.38/17.47	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
17.38/17.47	c   relpscost        :       2.47       0.00          5          1         10          0          0          4
17.38/17.47	c   pscost           :       0.00       0.00          0          0          0          0          0          0
17.38/17.47	c   inference        :       0.00       0.00          0          0          0          0          0          0
17.38/17.47	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
17.38/17.47	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
17.38/17.47	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
17.38/17.47	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
17.38/17.47	c   random           :       0.00       0.00          0          0          0          0          0          0
17.38/17.47	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
17.38/17.47	c   LP solutions     :       0.00          -          -          0
17.38/17.47	c   pseudo solutions :       0.00          -          -          0
17.38/17.47	c   oneopt           :       0.00       0.00          0          0
17.38/17.47	c   crossover        :       0.00       0.00          0          0
17.38/17.47	c   coefdiving       :       0.00       0.00          0          0
17.38/17.47	c   pscostdiving     :       0.00       0.00          0          0
17.38/17.47	c   smallcard        :       0.00       0.00          0          0
17.38/17.47	c   trivial          :       0.00       0.00          2          0
17.38/17.47	c   shiftandpropagate:       0.01       0.00          1          0
17.38/17.47	c   simplerounding   :       0.00       0.00          0          0
17.38/17.47	c   zirounding       :       0.00       0.00          0          0
17.38/17.47	c   rounding         :       0.00       0.00         16          0
17.38/17.47	c   shifting         :       0.01       0.00         12          0
17.38/17.47	c   intshifting      :       0.00       0.00          0          0
17.38/17.47	c   twoopt           :       0.00       0.00          0          0
17.38/17.47	c   indtwoopt        :       0.00       0.00          0          0
17.38/17.47	c   indoneopt        :       0.00       0.00          0          0
17.38/17.47	c   fixandinfer      :       0.00       0.00          0          0
17.38/17.47	c   feaspump         :       0.16       0.00          1          0
17.38/17.47	c   clique           :       0.00       0.00          0          0
17.38/17.47	c   indrounding      :       0.00       0.00          0          0
17.38/17.47	c   indcoefdiving    :       0.00       0.00          0          0
17.38/17.47	c   fracdiving       :       0.00       0.00          0          0
17.38/17.47	c   nlpdiving        :       0.00       0.00          0          0
17.38/17.47	c   veclendiving     :       0.00       0.00          0          0
17.38/17.47	c   intdiving        :       0.00       0.00          0          0
17.38/17.47	c   actconsdiving    :       0.00       0.00          0          0
17.38/17.47	c   objpscostdiving  :       0.00       0.00          0          0
17.38/17.47	c   rootsoldiving    :       0.00       0.00          0          0
17.38/17.47	c   linesearchdiving :       0.00       0.00          0          0
17.38/17.47	c   guideddiving     :       0.00       0.00          0          0
17.38/17.47	c   octane           :       0.00       0.00          0          0
17.38/17.47	c   rens             :       0.03       0.00          1          0
17.38/17.47	c   rins             :       0.00       0.00          0          0
17.38/17.47	c   localbranching   :       0.00       0.00          0          0
17.38/17.47	c   mutation         :       0.00       0.00          0          0
17.38/17.47	c   dins             :       0.00       0.00          0          0
17.38/17.47	c   vbounds          :       0.00       0.00          0          0
17.38/17.47	c   undercover       :       0.00       0.00          0          0
17.38/17.47	c   subnlp           :       0.00       0.00          0          0
17.38/17.47	c   trysol           :       0.00       0.00          0          0
17.38/17.47	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
17.38/17.47	c   primal LP        :       0.00          1          0       0.00          -       0.00          1
17.38/17.47	c   dual LP          :       0.37         17       3421     213.81    9148.92       0.00          1
17.38/17.47	c   lex dual LP      :       0.00          0          0       0.00          -
17.38/17.47	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
17.38/17.47	c   diving/probing LP:       0.16         13       2031     156.23   12743.53
17.38/17.47	c   strong branching :       2.47         73      23246     318.44    9404.79
17.38/17.47	c     (at root node) :          -         19       5444     286.53          -
17.38/17.47	c   conflict analysis:       0.00          0          0       0.00          -
17.38/17.47	c B&B Tree           :
17.38/17.47	c   number of runs   :          1
17.38/17.47	c   nodes            :          5
17.38/17.47	c   nodes (total)    :          5
17.38/17.47	c   nodes left       :          0
17.38/17.47	c   max depth        :          2
17.38/17.47	c   max depth (total):          2
17.38/17.47	c   backtracks       :          0 (0.0%)
17.38/17.47	c   delayed cutoffs  :          0
17.38/17.47	c   repropagations   :          1 (0 domain reductions, 0 cutoffs)
17.38/17.47	c   avg switch length:       2.40
17.38/17.47	c   switching time   :       0.00
17.38/17.47	c Solution           :
17.38/17.47	c   Solutions found  :          0 (0 improvements)
17.38/17.47	c   Primal Bound     : infeasible
17.38/17.47	c   Dual Bound       :          -
17.38/17.47	c   Gap              :       0.00 %
17.38/17.47	c   Root Dual Bound  : +3.10000000000000e+01
17.38/17.47	c   Root Iterations  :       4550
17.38/17.50	c Time complete: 17.47.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693660-1338042389/watcher-3693660-1338042389 -o /tmp/evaluation-result-3693660-1338042389/solver-3693660-1338042389 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693660-1338042389.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 3500
/proc/meminfo: memFree=27227384/32873844 swapFree=7608/7608
[pid=3500] ppid=3498 vsize=8128 CPUtime=0 cores=1,3,5,7
/proc/3500/stat : 3500 (scip-2.1.1.4sfi) R 3498 3500 30878 0 -1 4202496 864 0 0 0 0 0 0 0 20 0 1 0 270363733 8323072 819 33554432000 4194304 10169799 140735014925136 140734361572728 8844157 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3500/statm: 2032 825 387 1459 0 564 0

[startup+0.0525809 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 3500
/proc/meminfo: memFree=27227384/32873844 swapFree=7608/7608
[pid=3500] ppid=3498 vsize=22036 CPUtime=0.03 cores=1,3,5,7
/proc/3500/stat : 3500 (scip-2.1.1.4sfi) R 3498 3500 30878 0 -1 4202496 4220 0 0 0 3 0 0 0 20 0 1 0 270363733 22564864 4175 33554432000 4194304 10169799 140735014925136 140734361572728 8797266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3500/statm: 5509 4177 463 1459 0 4041 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 22036

[startup+0.100357 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 3500
/proc/meminfo: memFree=27227384/32873844 swapFree=7608/7608
[pid=3500] ppid=3498 vsize=38844 CPUtime=0.09 cores=1,3,5,7
/proc/3500/stat : 3500 (scip-2.1.1.4sfi) R 3498 3500 30878 0 -1 4202496 8209 0 0 0 7 2 0 0 20 0 1 0 270363733 39776256 8164 33554432000 4194304 10169799 140735014925136 140734361572728 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3500/statm: 9711 8164 543 1459 0 8243 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38844

[startup+0.300301 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 3500
/proc/meminfo: memFree=27227384/32873844 swapFree=7608/7608
[pid=3500] ppid=3498 vsize=44228 CPUtime=0.29 cores=1,3,5,7
/proc/3500/stat : 3500 (scip-2.1.1.4sfi) R 3498 3500 30878 0 -1 4202496 9852 0 0 0 23 6 0 0 20 0 1 0 270363733 45289472 9550 33554432000 4194304 10169799 140735014925136 140734361572728 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3500/statm: 11057 9550 574 1459 0 9589 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44228

[startup+0.700264 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 3500
/proc/meminfo: memFree=27227384/32873844 swapFree=7608/7608
[pid=3500] ppid=3498 vsize=54312 CPUtime=0.68 cores=1,3,5,7
/proc/3500/stat : 3500 (scip-2.1.1.4sfi) R 3498 3500 30878 0 -1 4202496 12450 0 0 0 61 7 0 0 20 0 1 0 270363733 55615488 12115 33554432000 4194304 10169799 140735014925136 140735014923176 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3500/statm: 13578 12115 602 1459 0 12110 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 54312

[startup+1.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 3501
/proc/meminfo: memFree=27178932/32873844 swapFree=7608/7608
[pid=3500] ppid=3498 vsize=58836 CPUtime=1.49 cores=1,3,5,7
/proc/3500/stat : 3500 (scip-2.1.1.4sfi) R 3498 3500 30878 0 -1 4202496 13581 0 0 0 136 13 0 0 20 0 1 0 270363733 60248064 13246 33554432000 4194304 10169799 140735014925136 140735014923176 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3500/statm: 14709 13246 602 1459 0 13241 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58836

[startup+3.10031 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 3501
/proc/meminfo: memFree=27178276/32873844 swapFree=7608/7608
[pid=3500] ppid=3498 vsize=71176 CPUtime=3.09 cores=1,3,5,7
/proc/3500/stat : 3500 (scip-2.1.1.4sfi) R 3498 3500 30878 0 -1 4202496 16731 0 0 0 286 23 0 0 20 0 1 0 270363733 72884224 16396 33554432000 4194304 10169799 140735014925136 140735014923176 8924570 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3500/statm: 17794 16396 628 1459 0 16326 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71176

[startup+6.30034 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3501
/proc/meminfo: memFree=27160176/32873844 swapFree=7608/7608
[pid=3500] ppid=3498 vsize=76920 CPUtime=6.28 cores=1,3,5,7
/proc/3500/stat : 3500 (scip-2.1.1.4sfi) R 3498 3500 30878 0 -1 4202496 18135 0 0 0 581 47 0 0 20 0 1 0 270363733 78766080 17800 33554432000 4194304 10169799 140735014925136 140735014923528 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3500/statm: 19230 17800 628 1459 0 17762 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 76920

[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3501
/proc/meminfo: memFree=27153920/32873844 swapFree=7608/7608
[pid=3500] ppid=3498 vsize=80936 CPUtime=12.68 cores=1,3,5,7
/proc/3500/stat : 3500 (scip-2.1.1.4sfi) R 3498 3500 30878 0 -1 4202496 19164 0 0 0 1154 114 0 0 20 0 1 0 270363733 82878464 18910 33554432000 4194304 10169799 140735014925136 140735014923528 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3500/statm: 20234 18910 635 1459 0 18766 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 80936

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (17.38 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (17.38 s) to the 'lost time'.

[startup+17.4002 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3501
/proc/meminfo: memFree=27137176/32873844 swapFree=7608/7608
[pid=3500] ppid=3498 vsize=93220 CPUtime=17.38 cores=1,3,5,7
/proc/3500/stat : 3500 (scip-2.1.1.4sfi) R 3498 3500 30878 0 -1 4202496 24933 0 0 0 1596 142 0 0 20 0 1 0 270363733 95457280 22067 33554432000 4194304 10169799 140735014925136 140735014919784 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3500/statm: 23305 22067 863 1459 0 21837 0
Current children cumulated CPU time (s) 17.38
Current children cumulated vsize (KiB) 93220

[startup+17.5002 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3501
/proc/meminfo: memFree=27200260/32873844 swapFree=7608/7608
[pid=3500] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/3500/stat : -- couldn't open stat file --/proc/3500/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+15.9002 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3501
/proc/meminfo: memFree=27137796/32873844 swapFree=7608/7608
[pid=3500] ppid=3498 vsize=93220 CPUtime=15.87 cores=1,3,5,7
/proc/3500/stat : 3500 (scip-2.1.1.4sfi) R 3498 3500 30878 0 -1 4202496 24933 0 0 0 1448 139 0 0 20 0 1 0 270363733 95457280 22067 33554432000 4194304 10169799 140735014925136 140735014919736 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3500/statm: 23305 22067 863 1459 0 21837 0
Current children cumulated CPU time (s) 15.87
Current children cumulated vsize (KiB) 93220

[startup+16.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3501
/proc/meminfo: memFree=27137176/32873844 swapFree=7608/7608
[pid=3500] ppid=3498 vsize=93220 CPUtime=16.67 cores=1,3,5,7
/proc/3500/stat : 3500 (scip-2.1.1.4sfi) R 3498 3500 30878 0 -1 4202496 24933 0 0 0 1527 140 0 0 20 0 1 0 270363733 95457280 22067 33554432000 4194304 10169799 140735014925136 140735014919832 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3500/statm: 23305 22067 863 1459 0 21837 0
Current children cumulated CPU time (s) 16.67
Current children cumulated vsize (KiB) 93220

[startup+17.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3501
/proc/meminfo: memFree=27137176/32873844 swapFree=7608/7608
[pid=3500] ppid=3498 vsize=93220 CPUtime=17.08 cores=1,3,5,7
/proc/3500/stat : 3500 (scip-2.1.1.4sfi) R 3498 3500 30878 0 -1 4202496 24933 0 0 0 1567 141 0 0 20 0 1 0 270363733 95457280 22067 33554432000 4194304 10169799 140735014925136 140735014919832 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3500/statm: 23305 22067 863 1459 0 21837 0
Current children cumulated CPU time (s) 17.08
Current children cumulated vsize (KiB) 93220

[startup+17.5002 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3501
/proc/meminfo: memFree=27200260/32873844 swapFree=7608/7608
[pid=3500] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/3500/stat : -- couldn't open stat file --/proc/3500/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 17.38
#  lost CPU user time (s): 15.96
#  lost CPU system time (s): 1.42

Real time (s): 17.5015
CPU time (s): 34.8673
CPU user time (s): 32.0196
CPU system time (s): 2.84778
CPU usage (%): 199.225
Max. virtual memory (cumulated for all children) (KiB): 103396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.0596
system time used= 1.42778
maximum resident set size= 98396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24938
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= 10
involuntary context switches= 20

runsolver used 0.038994 second user time and 0.104984 second system time

The end

Launcher Data 

Begin job on node135 at 2012-05-26 16:26:29
IDJOB=3693660
IDBENCH=89857
IDSOLVER=2272
FILE ID=node135/3693660-1338042389
RUNJOBID= node135-1338017247-31466
PBS_JOBID= 14624262
Free space on /tmp= 71492 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns1745726.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693660-1338042389/watcher-3693660-1338042389 -o /tmp/evaluation-result-3693660-1338042389/solver-3693660-1338042389 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693660-1338042389.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0b23fd4cef9a00c3517621c1b2c7d2fd
RANDOM SEED=1499314644

node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5238.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27227384 kB
Buffers:          259116 kB
Cached:          3729396 kB
SwapCached:            0 kB
Active:          1798000 kB
Inactive:        3062028 kB
Active(anon):     874136 kB
Inactive(anon):        0 kB
Active(file):     923864 kB
Inactive(file):  3062028 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14344 kB
Writeback:            12 kB
AnonPages:        879216 kB
Mapped:            17788 kB
Shmem:               212 kB
Slab:             640188 kB
SReclaimable:      82232 kB
SUnreclaim:       557956 kB
KernelStack:        1456 kB
PageTables:         5876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1011728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    698368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71480 MiB
End job on node135 at 2012-05-26 16:26:47