Trace number 3692849

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 NameAnswerCPU timeWall clock time
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed? 1797.85 1798.25

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
MD5SUM1785d65de493315a1e7654bb7aab8248
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark33.6839
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables84836
Total number of constraints245062
Number of constraints which are clauses233598
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11464
Minimum length of a constraint1
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
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-3692849-1338025414.opb>
0.59/0.68	c original problem has 84836 variables (84836 bin, 0 int, 0 impl, 0 cont) and 245062 constraints
0.59/0.68	c problem read in 0.69
1.59/1.65	c presolving:
3.88/3.99	c (round 1) 1663 del vars, 1804 del conss, 0 add conss, 686 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4302008 impls, 0 clqs
4.19/4.26	c (round 2) 1810 del vars, 4310 del conss, 0 add conss, 700 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304250 impls, 0 clqs
4.39/4.47	c (round 3) 1814 del vars, 4412 del conss, 0 add conss, 704 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304250 impls, 0 clqs
4.59/4.68	c (round 4) 1825 del vars, 4429 del conss, 0 add conss, 708 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304276 impls, 0 clqs
4.79/4.89	c (round 5) 1845 del vars, 4468 del conss, 0 add conss, 714 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304312 impls, 0 clqs
5.09/5.10	c (round 6) 1874 del vars, 4533 del conss, 0 add conss, 722 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304364 impls, 0 clqs
5.28/5.31	c (round 7) 1907 del vars, 4620 del conss, 0 add conss, 732 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304434 impls, 0 clqs
5.49/5.52	c (round 8) 1935 del vars, 4711 del conss, 0 add conss, 743 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304630 impls, 0 clqs
5.69/5.72	c (round 9) 1954 del vars, 4784 del conss, 0 add conss, 754 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304814 impls, 0 clqs
5.89/5.93	c (round 10) 1965 del vars, 4831 del conss, 0 add conss, 765 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304958 impls, 0 clqs
6.09/6.14	c (round 11) 1977 del vars, 4862 del conss, 0 add conss, 777 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4305086 impls, 0 clqs
6.28/6.34	c (round 12) 1993 del vars, 4899 del conss, 0 add conss, 791 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4305308 impls, 0 clqs
6.49/6.55	c (round 13) 2015 del vars, 4951 del conss, 0 add conss, 806 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4306302 impls, 0 clqs
6.68/6.76	c (round 14) 2048 del vars, 5028 del conss, 0 add conss, 821 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4307204 impls, 0 clqs
6.89/6.97	c (round 15) 2059 del vars, 5095 del conss, 0 add conss, 832 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4307550 impls, 0 clqs
7.09/7.18	c (round 16) 2074 del vars, 5128 del conss, 0 add conss, 845 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4307688 impls, 0 clqs
7.29/7.39	c (round 17) 2087 del vars, 5174 del conss, 0 add conss, 857 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4307892 impls, 0 clqs
7.49/7.60	c (round 18) 2095 del vars, 5200 del conss, 0 add conss, 865 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308122 impls, 0 clqs
7.79/7.81	c (round 19) 2104 del vars, 5222 del conss, 0 add conss, 874 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308154 impls, 0 clqs
7.99/8.01	c (round 20) 2117 del vars, 5250 del conss, 0 add conss, 885 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308176 impls, 0 clqs
8.19/8.22	c (round 21) 2128 del vars, 5291 del conss, 0 add conss, 895 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308248 impls, 0 clqs
8.38/8.43	c (round 22) 2136 del vars, 5313 del conss, 0 add conss, 903 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308272 impls, 0 clqs
8.59/8.64	c (round 23) 2145 del vars, 5335 del conss, 0 add conss, 912 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308304 impls, 0 clqs
8.79/8.85	c (round 24) 2158 del vars, 5363 del conss, 0 add conss, 923 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308326 impls, 0 clqs
8.98/9.05	c (round 25) 2169 del vars, 5404 del conss, 0 add conss, 933 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308510 impls, 0 clqs
9.19/9.26	c (round 26) 2177 del vars, 5426 del conss, 0 add conss, 941 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308534 impls, 0 clqs
9.39/9.47	c (round 27) 2186 del vars, 5448 del conss, 0 add conss, 950 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308566 impls, 0 clqs
9.59/9.68	c (round 28) 2199 del vars, 5476 del conss, 0 add conss, 961 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308588 impls, 0 clqs
9.80/9.89	c (round 29) 2210 del vars, 5517 del conss, 0 add conss, 971 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308636 impls, 0 clqs
10.09/10.10	c (round 30) 2218 del vars, 5539 del conss, 0 add conss, 979 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308660 impls, 0 clqs
10.29/10.30	c (round 31) 2227 del vars, 5561 del conss, 0 add conss, 988 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308692 impls, 0 clqs
10.49/10.51	c (round 32) 2240 del vars, 5589 del conss, 0 add conss, 999 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308714 impls, 0 clqs
10.68/10.72	c (round 33) 2250 del vars, 5630 del conss, 0 add conss, 1009 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308768 impls, 0 clqs
11.38/11.47	c (round 34) 2702 del vars, 5668 del conss, 0 add conss, 1135 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4334468 impls, 0 clqs
11.68/11.78	c (round 35) 2833 del vars, 6942 del conss, 0 add conss, 1135 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4340462 impls, 0 clqs
11.89/11.99	c (round 36) 2833 del vars, 7204 del conss, 0 add conss, 1135 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4340462 impls, 0 clqs
13.49/13.54	c (round 37) 2833 del vars, 7241 del conss, 0 add conss, 1135 chg bounds, 5732 chg sides, 12000 chg coeffs, 238066 upgd conss, 4340462 impls, 0 clqs
14.19/14.20	c (round 38) 2833 del vars, 7284 del conss, 0 add conss, 1135 chg bounds, 5732 chg sides, 12000 chg coeffs, 238069 upgd conss, 4340462 impls, 0 clqs
15.59/15.67	c (round 39) 3252 del vars, 232332 del conss, 75015 add conss, 1277 chg bounds, 5732 chg sides, 12000 chg coeffs, 238069 upgd conss, 4378524 impls, 0 clqs
16.89/16.91	c (round 40) 3391 del vars, 232524 del conss, 75015 add conss, 1277 chg bounds, 5732 chg sides, 12140 chg coeffs, 238291 upgd conss, 4383508 impls, 2 clqs
18.19/18.25	c (round 41) 3486 del vars, 233200 del conss, 75691 add conss, 1277 chg bounds, 5732 chg sides, 12140 chg coeffs, 238291 upgd conss, 4391760 impls, 3 clqs
19.49/19.56	c (round 42) 3517 del vars, 233298 del conss, 75789 add conss, 1277 chg bounds, 5732 chg sides, 12140 chg coeffs, 238291 upgd conss, 4391760 impls, 676 clqs
20.69/20.71	c (round 43) 3529 del vars, 233306 del conss, 75789 add conss, 1277 chg bounds, 5732 chg sides, 12140 chg coeffs, 238291 upgd conss, 4391760 impls, 677 clqs
21.79/21.87	c (round 44) 3541 del vars, 233318 del conss, 75789 add conss, 1277 chg bounds, 5732 chg sides, 12152 chg coeffs, 238291 upgd conss, 4391760 impls, 677 clqs
23.09/23.17	c (round 45) 3561 del vars, 233346 del conss, 75817 add conss, 1277 chg bounds, 5732 chg sides, 12152 chg coeffs, 238291 upgd conss, 4391760 impls, 677 clqs
24.38/24.47	c (round 46) 3567 del vars, 233366 del conss, 75837 add conss, 1277 chg bounds, 5732 chg sides, 12152 chg coeffs, 238291 upgd conss, 4391760 impls, 677 clqs
25.69/25.77	c (round 47) 3573 del vars, 233372 del conss, 75843 add conss, 1277 chg bounds, 5732 chg sides, 12152 chg coeffs, 238291 upgd conss, 4391760 impls, 677 clqs
26.98/27.07	c (round 48) 3579 del vars, 233378 del conss, 75849 add conss, 1277 chg bounds, 5732 chg sides, 12152 chg coeffs, 238291 upgd conss, 4391760 impls, 677 clqs
28.29/28.37	c (round 49) 3585 del vars, 233384 del conss, 75855 add conss, 1277 chg bounds, 5732 chg sides, 12152 chg coeffs, 238291 upgd conss, 4391760 impls, 677 clqs
29.59/29.67	c (round 50) 3589 del vars, 233390 del conss, 75861 add conss, 1277 chg bounds, 5732 chg sides, 12152 chg coeffs, 238291 upgd conss, 4391760 impls, 677 clqs
32.78/32.86	c (round 51) 4020 del vars, 233430 del conss, 75869 add conss, 1424 chg bounds, 5732 chg sides, 12152 chg coeffs, 238291 upgd conss, 4432587 impls, 675 clqs
33.99/34.02	c (round 52) 4150 del vars, 233630 del conss, 75869 add conss, 1424 chg bounds, 5732 chg sides, 12282 chg coeffs, 238523 upgd conss, 4439629 impls, 675 clqs
35.39/35.49	c (round 53) 4151 del vars, 233643 del conss, 75881 add conss, 1424 chg bounds, 5732 chg sides, 12282 chg coeffs, 238523 upgd conss, 4439681 impls, 675 clqs
37.19/37.21	c (round 54) 4397 del vars, 233643 del conss, 75881 add conss, 1534 chg bounds, 5732 chg sides, 12282 chg coeffs, 238523 upgd conss, 4461983 impls, 684 clqs
38.29/38.35	c (round 55) 4477 del vars, 233771 del conss, 75881 add conss, 1534 chg bounds, 5732 chg sides, 12362 chg coeffs, 238667 upgd conss, 4465841 impls, 684 clqs
39.78/39.81	c (round 56) 4477 del vars, 233782 del conss, 75892 add conss, 1534 chg bounds, 5732 chg sides, 12362 chg coeffs, 238667 upgd conss, 4465841 impls, 685 clqs
41.58/41.60	c (round 57) 4699 del vars, 233782 del conss, 75892 add conss, 1606 chg bounds, 5732 chg sides, 12362 chg coeffs, 238667 upgd conss, 4490233 impls, 693 clqs
42.68/42.72	c (round 58) 4771 del vars, 233889 del conss, 75892 add conss, 1606 chg bounds, 5732 chg sides, 12434 chg coeffs, 238803 upgd conss, 4495053 impls, 693 clqs
44.08/44.18	c (round 59) 4771 del vars, 233900 del conss, 75903 add conss, 1606 chg bounds, 5732 chg sides, 12434 chg coeffs, 238803 upgd conss, 4495053 impls, 694 clqs
45.99/46.04	c (round 60) 4842 del vars, 233900 del conss, 75903 add conss, 1624 chg bounds, 5732 chg sides, 12434 chg coeffs, 238803 upgd conss, 4536799 impls, 702 clqs
47.08/47.15	c (round 61) 4846 del vars, 233930 del conss, 75903 add conss, 1624 chg bounds, 5732 chg sides, 12438 chg coeffs, 238821 upgd conss, 4536799 impls, 702 clqs
48.39/48.42	c (round 62) 4857 del vars, 233942 del conss, 75915 add conss, 1624 chg bounds, 5732 chg sides, 12438 chg coeffs, 238821 upgd conss, 4536931 impls, 703 clqs
49.78/49.87	c (round 63) 4857 del vars, 233953 del conss, 75926 add conss, 1624 chg bounds, 5732 chg sides, 12438 chg coeffs, 238821 upgd conss, 4536931 impls, 713 clqs
51.48/51.59	c (round 64) 4918 del vars, 233954 del conss, 75926 add conss, 1640 chg bounds, 5732 chg sides, 12438 chg coeffs, 238821 upgd conss, 4562097 impls, 714 clqs
52.69/52.71	c (round 65) 4934 del vars, 233974 del conss, 75926 add conss, 1640 chg bounds, 5732 chg sides, 12454 chg coeffs, 238853 upgd conss, 4562113 impls, 714 clqs
54.28/54.38	c (round 66) 4968 del vars, 233975 del conss, 75927 add conss, 1657 chg bounds, 5732 chg sides, 12454 chg coeffs, 238853 upgd conss, 4583488 impls, 714 clqs
55.38/55.49	c (round 67) 4989 del vars, 234004 del conss, 75927 add conss, 1657 chg bounds, 5732 chg sides, 12475 chg coeffs, 238867 upgd conss, 4583488 impls, 714 clqs
57.09/57.18	c (round 68) 5036 del vars, 234004 del conss, 75927 add conss, 1671 chg bounds, 5732 chg sides, 12475 chg coeffs, 238867 upgd conss, 4602580 impls, 714 clqs
58.18/58.29	c (round 69) 5070 del vars, 234046 del conss, 75927 add conss, 1671 chg bounds, 5732 chg sides, 12509 chg coeffs, 238885 upgd conss, 4602580 impls, 714 clqs
60.08/60.12	c (round 70) 5130 del vars, 234046 del conss, 75927 add conss, 1699 chg bounds, 5732 chg sides, 12509 chg coeffs, 238885 upgd conss, 4642492 impls, 714 clqs
61.18/61.23	c (round 71) 5160 del vars, 234092 del conss, 75927 add conss, 1699 chg bounds, 5732 chg sides, 12539 chg coeffs, 238901 upgd conss, 4642492 impls, 714 clqs
62.88/62.93	c (round 72) 5199 del vars, 234094 del conss, 75929 add conss, 1719 chg bounds, 5732 chg sides, 12539 chg coeffs, 238901 upgd conss, 4668764 impls, 714 clqs
63.98/64.05	c (round 73) 5220 del vars, 234123 del conss, 75929 add conss, 1719 chg bounds, 5732 chg sides, 12560 chg coeffs, 238917 upgd conss, 4668764 impls, 714 clqs
65.78/65.83	c (round 74) 5265 del vars, 234123 del conss, 75929 add conss, 1748 chg bounds, 5732 chg sides, 12560 chg coeffs, 238917 upgd conss, 4706017 impls, 714 clqs
66.87/66.94	c (round 75) 5290 del vars, 234156 del conss, 75929 add conss, 1748 chg bounds, 5732 chg sides, 12585 chg coeffs, 238939 upgd conss, 4706017 impls, 714 clqs
68.87/68.98	c (round 76) 5324 del vars, 234159 del conss, 75932 add conss, 1767 chg bounds, 5732 chg sides, 12585 chg coeffs, 238939 upgd conss, 4757636 impls, 714 clqs
69.98/70.09	c (round 77) 5345 del vars, 234184 del conss, 75932 add conss, 1767 chg bounds, 5732 chg sides, 12606 chg coeffs, 238945 upgd conss, 4757636 impls, 714 clqs
71.48/71.53	c (round 78) 5345 del vars, 234190 del conss, 75938 add conss, 1767 chg bounds, 5732 chg sides, 12606 chg coeffs, 238945 upgd conss, 4757636 impls, 714 clqs
73.08/73.15	c (round 79) 5377 del vars, 234190 del conss, 75938 add conss, 1773 chg bounds, 5732 chg sides, 12606 chg coeffs, 238945 upgd conss, 4776870 impls, 714 clqs
74.17/74.26	c (round 80) 5401 del vars, 234214 del conss, 75938 add conss, 1773 chg bounds, 5732 chg sides, 12630 chg coeffs, 238961 upgd conss, 4776870 impls, 714 clqs
75.67/75.80	c (round 81) 5500 del vars, 234214 del conss, 75938 add conss, 1815 chg bounds, 5732 chg sides, 12630 chg coeffs, 238961 upgd conss, 4785200 impls, 713 clqs
76.77/76.90	c (round 82) 5527 del vars, 234269 del conss, 75938 add conss, 1815 chg bounds, 5732 chg sides, 12657 chg coeffs, 239017 upgd conss, 4785522 impls, 713 clqs
78.27/78.32	c (round 83) 5527 del vars, 234282 del conss, 75946 add conss, 1815 chg bounds, 5732 chg sides, 12657 chg coeffs, 239017 upgd conss, 4785522 impls, 713 clqs
80.07/80.18	c (round 84) 5561 del vars, 234282 del conss, 75946 add conss, 1849 chg bounds, 5732 chg sides, 12657 chg coeffs, 239017 upgd conss, 4823580 impls, 718 clqs
81.17/81.27	c (round 85) 5578 del vars, 234299 del conss, 75946 add conss, 1849 chg bounds, 5732 chg sides, 12674 chg coeffs, 239031 upgd conss, 4823580 impls, 718 clqs
82.57/82.68	c (round 86) 5578 del vars, 234309 del conss, 75956 add conss, 1849 chg bounds, 5732 chg sides, 12674 chg coeffs, 239031 upgd conss, 4823580 impls, 719 clqs
84.27/84.37	c (round 87) 5621 del vars, 234309 del conss, 75956 add conss, 1891 chg bounds, 5732 chg sides, 12674 chg coeffs, 239031 upgd conss, 4848934 impls, 719 clqs
85.37/85.46	c (round 88) 5642 del vars, 234330 del conss, 75956 add conss, 1891 chg bounds, 5732 chg sides, 12695 chg coeffs, 239073 upgd conss, 4848934 impls, 719 clqs
87.07/87.14	c (round 89) 5685 del vars, 234331 del conss, 75957 add conss, 1933 chg bounds, 5732 chg sides, 12695 chg coeffs, 239073 upgd conss, 4873690 impls, 719 clqs
88.17/88.24	c (round 90) 5706 del vars, 234352 del conss, 75957 add conss, 1933 chg bounds, 5732 chg sides, 12716 chg coeffs, 239115 upgd conss, 4873690 impls, 719 clqs
90.17/90.28	c (round 91) 5748 del vars, 234353 del conss, 75958 add conss, 1938 chg bounds, 5732 chg sides, 12716 chg coeffs, 239115 upgd conss, 4918081 impls, 719 clqs
91.27/91.37	c (round 92) 5752 del vars, 234373 del conss, 75958 add conss, 1938 chg bounds, 5732 chg sides, 12722 chg coeffs, 239117 upgd conss, 4918085 impls, 719 clqs
92.67/92.79	c (round 93) 5752 del vars, 234383 del conss, 75968 add conss, 1938 chg bounds, 5732 chg sides, 12722 chg coeffs, 239117 upgd conss, 4918085 impls, 719 clqs
94.27/94.37	c (round 94) 5931 del vars, 234383 del conss, 75968 add conss, 1971 chg bounds, 5732 chg sides, 12722 chg coeffs, 239117 upgd conss, 4932703 impls, 722 clqs
95.37/95.46	c (round 95) 5979 del vars, 234468 del conss, 75968 add conss, 1971 chg bounds, 5732 chg sides, 12770 chg coeffs, 239231 upgd conss, 4933779 impls, 722 clqs
96.77/96.87	c (round 96) 5979 del vars, 234479 del conss, 75979 add conss, 1971 chg bounds, 5732 chg sides, 12770 chg coeffs, 239231 upgd conss, 4933779 impls, 723 clqs
98.57/98.64	c (round 97) 6017 del vars, 234479 del conss, 75979 add conss, 1974 chg bounds, 5732 chg sides, 12770 chg coeffs, 239231 upgd conss, 4947748 impls, 731 clqs
99.67/99.72	c (round 98) 6031 del vars, 234512 del conss, 75979 add conss, 1974 chg bounds, 5732 chg sides, 12784 chg coeffs, 239255 upgd conss, 4948090 impls, 731 clqs
102.56/102.67	c (round 99) 6065 del vars, 234513 del conss, 75980 add conss, 1979 chg bounds, 5732 chg sides, 12784 chg coeffs, 239255 upgd conss, 4968325 impls, 732 clqs
103.67/103.75	c (round 100) 6077 del vars, 234535 del conss, 75980 add conss, 1979 chg bounds, 5732 chg sides, 12796 chg coeffs, 239277 upgd conss, 4968341 impls, 732 clqs
105.07/105.15	c (round 101) 6079 del vars, 234542 del conss, 75985 add conss, 1979 chg bounds, 5732 chg sides, 12796 chg coeffs, 239277 upgd conss, 4968457 impls, 732 clqs
106.96/107.07	c (round 102) 6126 del vars, 234544 del conss, 75985 add conss, 1993 chg bounds, 5732 chg sides, 12796 chg coeffs, 239277 upgd conss, 5003271 impls, 734 clqs
108.06/108.19	c (round 103) 6150 del vars, 234592 del conss, 75985 add conss, 1993 chg bounds, 5732 chg sides, 12819 chg coeffs, 239279 upgd conss, 5043131 impls, 734 clqs
109.77/109.82	c (round 104) 6186 del vars, 234596 del conss, 75989 add conss, 2007 chg bounds, 5732 chg sides, 12819 chg coeffs, 239279 upgd conss, 5061583 impls, 735 clqs
110.87/110.90	c (round 105) 6207 del vars, 234629 del conss, 75989 add conss, 2007 chg bounds, 5732 chg sides, 12840 chg coeffs, 239281 upgd conss, 5061587 impls, 735 clqs
112.18/112.30	c (round 106) 6207 del vars, 234637 del conss, 75997 add conss, 2007 chg bounds, 5732 chg sides, 12840 chg coeffs, 239281 upgd conss, 5061587 impls, 736 clqs
114.06/114.13	c (round 107) 6255 del vars, 234638 del conss, 75997 add conss, 2021 chg bounds, 5732 chg sides, 12840 chg coeffs, 239281 upgd conss, 5094823 impls, 736 clqs
115.16/115.20	c (round 108) 6275 del vars, 234666 del conss, 75997 add conss, 2021 chg bounds, 5732 chg sides, 12860 chg coeffs, 239293 upgd conss, 5094825 impls, 736 clqs
116.47/116.60	c (round 109) 6275 del vars, 234672 del conss, 76003 add conss, 2021 chg bounds, 5732 chg sides, 12860 chg coeffs, 239293 upgd conss, 5094825 impls, 736 clqs
118.36/118.45	c (round 110) 6320 del vars, 234672 del conss, 76003 add conss, 2031 chg bounds, 5732 chg sides, 12860 chg coeffs, 239293 upgd conss, 5133349 impls, 736 clqs
119.46/119.53	c (round 111) 6339 del vars, 234707 del conss, 76003 add conss, 2031 chg bounds, 5732 chg sides, 12879 chg coeffs, 239305 upgd conss, 5133349 impls, 736 clqs
120.66/120.75	c (round 112) 6343 del vars, 234712 del conss, 76008 add conss, 2031 chg bounds, 5732 chg sides, 12879 chg coeffs, 239305 upgd conss, 5133349 impls, 736 clqs
122.96/123.00	c (round 113) 6472 del vars, 234716 del conss, 76008 add conss, 2046 chg bounds, 5732 chg sides, 12883 chg coeffs, 239305 upgd conss, 5143568 impls, 736 clqs
123.96/124.08	c (round 114) 6507 del vars, 234776 del conss, 76008 add conss, 2046 chg bounds, 5732 chg sides, 12918 chg coeffs, 239385 upgd conss, 5144116 impls, 736 clqs
125.36/125.47	c (round 115) 6507 del vars, 234787 del conss, 76019 add conss, 2046 chg bounds, 5732 chg sides, 12918 chg coeffs, 239385 upgd conss, 5144116 impls, 736 clqs
127.46/127.56	c (round 116) 6563 del vars, 234787 del conss, 76019 add conss, 2057 chg bounds, 5732 chg sides, 12918 chg coeffs, 239385 upgd conss, 5196153 impls, 744 clqs
128.57/128.63	c (round 117) 6580 del vars, 234824 del conss, 76019 add conss, 2057 chg bounds, 5732 chg sides, 12935 chg coeffs, 239413 upgd conss, 5196939 impls, 744 clqs
129.77/129.84	c (round 118) 6584 del vars, 234832 del conss, 76027 add conss, 2057 chg bounds, 5732 chg sides, 12935 chg coeffs, 239413 upgd conss, 5196939 impls, 745 clqs
133.16/133.23	c (round 119) 6625 del vars, 234836 del conss, 76027 add conss, 2069 chg bounds, 5732 chg sides, 12939 chg coeffs, 239413 upgd conss, 5325223 impls, 747 clqs
134.17/134.29	c (round 120) 6642 del vars, 234861 del conss, 76027 add conss, 2069 chg bounds, 5732 chg sides, 12956 chg coeffs, 239423 upgd conss, 5325225 impls, 747 clqs
135.46/135.51	c (round 121) 6646 del vars, 234874 del conss, 76040 add conss, 2069 chg bounds, 5732 chg sides, 12956 chg coeffs, 239423 upgd conss, 5325225 impls, 747 clqs
138.36/138.48	c (round 122) 6681 del vars, 234880 del conss, 76040 add conss, 2073 chg bounds, 5732 chg sides, 12960 chg coeffs, 239423 upgd conss, 5423449 impls, 749 clqs
139.45/139.55	c (round 123) 6691 del vars, 234895 del conss, 76040 add conss, 2073 chg bounds, 5732 chg sides, 12970 chg coeffs, 239431 upgd conss, 5423449 impls, 749 clqs
140.66/140.76	c (round 124) 6695 del vars, 234914 del conss, 76059 add conss, 2073 chg bounds, 5732 chg sides, 12970 chg coeffs, 239431 upgd conss, 5423449 impls, 749 clqs
143.55/143.67	c (round 125) 6742 del vars, 234920 del conss, 76059 add conss, 2073 chg bounds, 5732 chg sides, 12974 chg coeffs, 239431 upgd conss, 5498003 impls, 753 clqs
144.66/144.73	c (round 126) 6745 del vars, 234924 del conss, 76059 add conss, 2073 chg bounds, 5732 chg sides, 12977 chg coeffs, 239455 upgd conss, 5498003 impls, 753 clqs
145.85/145.94	c (round 127) 6749 del vars, 234933 del conss, 76068 add conss, 2073 chg bounds, 5732 chg sides, 12977 chg coeffs, 239455 upgd conss, 5498003 impls, 754 clqs
149.15/149.30	c (round 128) 6862 del vars, 234937 del conss, 76068 add conss, 2118 chg bounds, 5732 chg sides, 12981 chg coeffs, 239455 upgd conss, 5611700 impls, 756 clqs
150.26/150.35	c (round 129) 6888 del vars, 234966 del conss, 76068 add conss, 2118 chg bounds, 5732 chg sides, 13007 chg coeffs, 239541 upgd conss, 5614144 impls, 756 clqs
151.45/151.56	c (round 130) 6921 del vars, 234980 del conss, 76082 add conss, 2118 chg bounds, 5732 chg sides, 13007 chg coeffs, 239541 upgd conss, 5614144 impls, 756 clqs
152.56/152.62	c (round 131) 6929 del vars, 234980 del conss, 76082 add conss, 2118 chg bounds, 5732 chg sides, 13007 chg coeffs, 239541 upgd conss, 5614144 impls, 761 clqs
153.55/153.68	c (round 132) 6937 del vars, 234988 del conss, 76082 add conss, 2118 chg bounds, 5732 chg sides, 13015 chg coeffs, 239541 upgd conss, 5614144 impls, 761 clqs
154.96/155.06	c (round 133) 6939 del vars, 235015 del conss, 76107 add conss, 2118 chg bounds, 5732 chg sides, 13015 chg coeffs, 239541 upgd conss, 5616124 impls, 761 clqs
157.55/157.69	c (round 134) 7002 del vars, 235015 del conss, 76107 add conss, 2121 chg bounds, 5732 chg sides, 13015 chg coeffs, 239541 upgd conss, 5740987 impls, 762 clqs
158.65/158.75	c (round 135) 7012 del vars, 235027 del conss, 76107 add conss, 2121 chg bounds, 5732 chg sides, 13025 chg coeffs, 239569 upgd conss, 5740987 impls, 762 clqs
159.85/159.95	c (round 136) 7016 del vars, 235050 del conss, 76130 add conss, 2121 chg bounds, 5732 chg sides, 13025 chg coeffs, 239569 upgd conss, 5740987 impls, 762 clqs
163.55/163.68	c (round 137) 7060 del vars, 235056 del conss, 76130 add conss, 2129 chg bounds, 5732 chg sides, 13029 chg coeffs, 239569 upgd conss, 5906555 impls, 766 clqs
164.65/164.74	c (round 138) 7069 del vars, 235081 del conss, 76130 add conss, 2129 chg bounds, 5732 chg sides, 13042 chg coeffs, 239573 upgd conss, 5906555 impls, 766 clqs
165.86/165.94	c (round 139) 7081 del vars, 235105 del conss, 76154 add conss, 2129 chg bounds, 5732 chg sides, 13042 chg coeffs, 239573 upgd conss, 5906555 impls, 767 clqs
166.96/167.00	c (round 140) 7093 del vars, 235105 del conss, 76154 add conss, 2129 chg bounds, 5732 chg sides, 13042 chg coeffs, 239573 upgd conss, 5906555 impls, 773 clqs
167.95/168.06	c (round 141) 7105 del vars, 235117 del conss, 76154 add conss, 2129 chg bounds, 5732 chg sides, 13054 chg coeffs, 239573 upgd conss, 5906555 impls, 773 clqs
169.85/169.91	c (round 142) 7140 del vars, 235119 del conss, 76154 add conss, 2146 chg bounds, 5732 chg sides, 13054 chg coeffs, 239573 upgd conss, 5954400 impls, 773 clqs
170.85/170.97	c (round 143) 7160 del vars, 235147 del conss, 76154 add conss, 2146 chg bounds, 5732 chg sides, 13074 chg coeffs, 239583 upgd conss, 5954400 impls, 773 clqs
172.05/172.18	c (round 144) 7174 del vars, 235165 del conss, 76172 add conss, 2146 chg bounds, 5732 chg sides, 13074 chg coeffs, 239583 upgd conss, 5954400 impls, 774 clqs
173.15/173.24	c (round 145) 7189 del vars, 235165 del conss, 76172 add conss, 2146 chg bounds, 5732 chg sides, 13074 chg coeffs, 239583 upgd conss, 5954400 impls, 775 clqs
174.25/174.30	c (round 146) 7204 del vars, 235180 del conss, 76172 add conss, 2146 chg bounds, 5732 chg sides, 13089 chg coeffs, 239583 upgd conss, 5954400 impls, 775 clqs
176.45/176.50	c (round 147) 7268 del vars, 235180 del conss, 76172 add conss, 2182 chg bounds, 5732 chg sides, 13089 chg coeffs, 239583 upgd conss, 6047190 impls, 775 clqs
177.45/177.56	c (round 148) 7305 del vars, 235230 del conss, 76172 add conss, 2182 chg bounds, 5732 chg sides, 13127 chg coeffs, 239607 upgd conss, 6047190 impls, 775 clqs
178.65/178.75	c (round 149) 7306 del vars, 235235 del conss, 76177 add conss, 2182 chg bounds, 5732 chg sides, 13127 chg coeffs, 239607 upgd conss, 6047190 impls, 775 clqs
180.95/181.08	c (round 150) 7363 del vars, 235237 del conss, 76177 add conss, 2213 chg bounds, 5732 chg sides, 13129 chg coeffs, 239607 upgd conss, 6081633 impls, 775 clqs
182.05/182.13	c (round 151) 7395 del vars, 235283 del conss, 76177 add conss, 2213 chg bounds, 5732 chg sides, 13161 chg coeffs, 239627 upgd conss, 6081633 impls, 775 clqs
184.05/184.15	c (round 152) 7455 del vars, 235283 del conss, 76177 add conss, 2227 chg bounds, 5732 chg sides, 13161 chg coeffs, 239627 upgd conss, 6146945 impls, 776 clqs
185.15/185.20	c (round 153) 7485 del vars, 235321 del conss, 76177 add conss, 2227 chg bounds, 5732 chg sides, 13193 chg coeffs, 239655 upgd conss, 6146945 impls, 776 clqs
186.44/186.57	c (round 154) 7485 del vars, 235327 del conss, 76183 add conss, 2227 chg bounds, 5732 chg sides, 13193 chg coeffs, 239655 upgd conss, 6146945 impls, 776 clqs
188.24/188.32	c (round 155) 7554 del vars, 235327 del conss, 76183 add conss, 2255 chg bounds, 5732 chg sides, 13193 chg coeffs, 239655 upgd conss, 6179759 impls, 780 clqs
189.24/189.37	c (round 156) 7583 del vars, 235362 del conss, 76183 add conss, 2255 chg bounds, 5732 chg sides, 13222 chg coeffs, 239699 upgd conss, 6179775 impls, 780 clqs
191.95/192.00	c (round 157) 7696 del vars, 235366 del conss, 76187 add conss, 2305 chg bounds, 5732 chg sides, 13222 chg coeffs, 239699 upgd conss, 6230845 impls, 781 clqs
192.95/193.05	c (round 158) 7739 del vars, 235419 del conss, 76187 add conss, 2305 chg bounds, 5732 chg sides, 13265 chg coeffs, 239753 upgd conss, 6230861 impls, 781 clqs
194.15/194.24	c (round 159) 7753 del vars, 235442 del conss, 76210 add conss, 2305 chg bounds, 5732 chg sides, 13265 chg coeffs, 239753 upgd conss, 6230861 impls, 781 clqs
195.15/195.29	c (round 160) 7767 del vars, 235442 del conss, 76210 add conss, 2305 chg bounds, 5732 chg sides, 13265 chg coeffs, 239753 upgd conss, 6230861 impls, 781 clqs
196.24/196.33	c (round 161) 7781 del vars, 235456 del conss, 76210 add conss, 2305 chg bounds, 5732 chg sides, 13279 chg coeffs, 239753 upgd conss, 6230861 impls, 781 clqs
197.95/198.08	c (round 162) 7826 del vars, 235456 del conss, 76210 add conss, 2332 chg bounds, 5732 chg sides, 13279 chg coeffs, 239753 upgd conss, 6274130 impls, 781 clqs
199.05/199.13	c (round 163) 7856 del vars, 235488 del conss, 76210 add conss, 2332 chg bounds, 5732 chg sides, 13309 chg coeffs, 239773 upgd conss, 6274138 impls, 781 clqs
201.54/201.63	c (round 164) 7936 del vars, 235492 del conss, 76214 add conss, 2377 chg bounds, 5732 chg sides, 13309 chg coeffs, 239773 upgd conss, 6383743 impls, 780 clqs
202.54/202.67	c (round 165) 7968 del vars, 235528 del conss, 76214 add conss, 2377 chg bounds, 5732 chg sides, 13340 chg coeffs, 239823 upgd conss, 6383755 impls, 780 clqs
203.74/203.85	c (round 166) 7971 del vars, 235540 del conss, 76226 add conss, 2377 chg bounds, 5732 chg sides, 13340 chg coeffs, 239823 upgd conss, 6383755 impls, 780 clqs
206.34/206.44	c (round 167) 8018 del vars, 235543 del conss, 76226 add conss, 2393 chg bounds, 5732 chg sides, 13343 chg coeffs, 239823 upgd conss, 6430457 impls, 781 clqs
207.44/207.54	c (round 168) 8038 del vars, 235565 del conss, 76226 add conss, 2393 chg bounds, 5732 chg sides, 13362 chg coeffs, 239837 upgd conss, 6473007 impls, 781 clqs
208.75/208.90	c (round 169) 8038 del vars, 235573 del conss, 76234 add conss, 2393 chg bounds, 5732 chg sides, 13362 chg coeffs, 239843 upgd conss, 6473007 impls, 781 clqs
210.55/210.64	c (round 170) 8088 del vars, 235573 del conss, 76234 add conss, 2427 chg bounds, 5732 chg sides, 13362 chg coeffs, 239843 upgd conss, 6511873 impls, 781 clqs
211.54/211.69	c (round 171) 8111 del vars, 235596 del conss, 76234 add conss, 2427 chg bounds, 5732 chg sides, 13385 chg coeffs, 239897 upgd conss, 6511873 impls, 781 clqs
213.44/213.52	c (round 172) 8645 del vars, 235600 del conss, 76238 add conss, 2665 chg bounds, 5732 chg sides, 13385 chg coeffs, 239897 upgd conss, 6551369 impls, 782 clqs
214.45/214.56	c (round 173) 8726 del vars, 235696 del conss, 76238 add conss, 2665 chg bounds, 5732 chg sides, 13466 chg coeffs, 239963 upgd conss, 6551369 impls, 784 clqs
216.35/216.43	c (round 174) 8764 del vars, 235698 del conss, 76240 add conss, 2684 chg bounds, 5732 chg sides, 13466 chg coeffs, 239963 upgd conss, 6602684 impls, 784 clqs
217.44/217.50	c (round 175) 8787 del vars, 235725 del conss, 76240 add conss, 2684 chg bounds, 5732 chg sides, 13488 chg coeffs, 239971 upgd conss, 6641790 impls, 784 clqs
218.75/218.84	c (round 176) 8787 del vars, 235734 del conss, 76249 add conss, 2684 chg bounds, 5732 chg sides, 13488 chg coeffs, 239972 upgd conss, 6641790 impls, 784 clqs
220.24/220.36	c (round 177) 8828 del vars, 235734 del conss, 76249 add conss, 2700 chg bounds, 5732 chg sides, 13488 chg coeffs, 239973 upgd conss, 6664252 impls, 785 clqs
221.24/221.39	c (round 178) 8848 del vars, 235754 del conss, 76249 add conss, 2700 chg bounds, 5732 chg sides, 13508 chg coeffs, 240009 upgd conss, 6664254 impls, 785 clqs
223.74/223.85	c (round 179) 8918 del vars, 235757 del conss, 76252 add conss, 2730 chg bounds, 5732 chg sides, 13508 chg coeffs, 240009 upgd conss, 6768420 impls, 785 clqs
224.74/224.87	c (round 180) 8951 del vars, 235794 del conss, 76252 add conss, 2730 chg bounds, 5732 chg sides, 13541 chg coeffs, 240057 upgd conss, 6769744 impls, 785 clqs
225.94/226.03	c (round 181) 8952 del vars, 235801 del conss, 76259 add conss, 2730 chg bounds, 5732 chg sides, 13541 chg coeffs, 240057 upgd conss, 6769744 impls, 785 clqs
228.34/228.48	c (round 182) 8990 del vars, 235803 del conss, 76259 add conss, 2737 chg bounds, 5732 chg sides, 13543 chg coeffs, 240057 upgd conss, 6829793 impls, 786 clqs
229.33/229.49	c (round 183) 9004 del vars, 235823 del conss, 76259 add conss, 2737 chg bounds, 5732 chg sides, 13557 chg coeffs, 240085 upgd conss, 6830445 impls, 786 clqs
232.64/232.74	c (round 184) 9079 del vars, 235830 del conss, 76264 add conss, 2772 chg bounds, 5732 chg sides, 13557 chg coeffs, 240085 upgd conss, 6906402 impls, 786 clqs
233.64/233.75	c (round 185) 9101 del vars, 235856 del conss, 76264 add conss, 2772 chg bounds, 5732 chg sides, 13579 chg coeffs, 240129 upgd conss, 6906404 impls, 788 clqs
234.84/234.90	c (round 186) 9106 del vars, 235873 del conss, 76281 add conss, 2772 chg bounds, 5732 chg sides, 13579 chg coeffs, 240129 upgd conss, 6906404 impls, 789 clqs
236.93/237.09	c (round 187) 9146 del vars, 235878 del conss, 76281 add conss, 2793 chg bounds, 5732 chg sides, 13584 chg coeffs, 240129 upgd conss, 6928177 impls, 790 clqs
238.04/238.10	c (round 188) 9161 del vars, 235893 del conss, 76281 add conss, 2793 chg bounds, 5732 chg sides, 13599 chg coeffs, 240159 upgd conss, 6929615 impls, 790 clqs
239.84/239.99	c (round 189) 9229 del vars, 235895 del conss, 76281 add conss, 2841 chg bounds, 5732 chg sides, 13599 chg coeffs, 240159 upgd conss, 6982883 impls, 790 clqs
240.94/241.01	c (round 190) 9253 del vars, 235919 del conss, 76281 add conss, 2841 chg bounds, 5732 chg sides, 13623 chg coeffs, 240203 upgd conss, 6983459 impls, 790 clqs
242.04/242.15	c (round 191) 9256 del vars, 235930 del conss, 76292 add conss, 2841 chg bounds, 5732 chg sides, 13623 chg coeffs, 240203 upgd conss, 6983459 impls, 790 clqs
244.73/244.81	c (round 192) 9312 del vars, 235933 del conss, 76292 add conss, 2862 chg bounds, 5732 chg sides, 13626 chg coeffs, 240203 upgd conss, 7054156 impls, 790 clqs
245.73/245.83	c (round 193) 9335 del vars, 235956 del conss, 76292 add conss, 2862 chg bounds, 5732 chg sides, 13649 chg coeffs, 240251 upgd conss, 7054156 impls, 790 clqs
249.44/249.57	c (round 194) 9375 del vars, 235960 del conss, 76294 add conss, 2894 chg bounds, 5732 chg sides, 13649 chg coeffs, 240251 upgd conss, 7189178 impls, 790 clqs
250.43/250.57	c (round 195) 9393 del vars, 235978 del conss, 76294 add conss, 2894 chg bounds, 5732 chg sides, 13667 chg coeffs, 240287 upgd conss, 7189178 impls, 790 clqs
251.64/251.71	c (round 196) 9407 del vars, 235993 del conss, 76309 add conss, 2894 chg bounds, 5732 chg sides, 13667 chg coeffs, 240287 upgd conss, 7189178 impls, 790 clqs
252.63/252.72	c (round 197) 9421 del vars, 235993 del conss, 76309 add conss, 2894 chg bounds, 5732 chg sides, 13667 chg coeffs, 240287 upgd conss, 7189178 impls, 790 clqs
253.64/253.72	c (round 198) 9435 del vars, 236007 del conss, 76309 add conss, 2894 chg bounds, 5732 chg sides, 13681 chg coeffs, 240287 upgd conss, 7189178 impls, 790 clqs
255.34/255.48	c (round 199) 9473 del vars, 236009 del conss, 76309 add conss, 2917 chg bounds, 5732 chg sides, 13681 chg coeffs, 240287 upgd conss, 7229107 impls, 790 clqs
256.34/256.48	c (round 200) 9481 del vars, 236017 del conss, 76309 add conss, 2917 chg bounds, 5732 chg sides, 13689 chg coeffs, 240315 upgd conss, 7229107 impls, 790 clqs
258.14/258.20	c (round 201) 9539 del vars, 236021 del conss, 76311 add conss, 2959 chg bounds, 5732 chg sides, 13689 chg coeffs, 240315 upgd conss, 7264541 impls, 790 clqs
259.13/259.21	c (round 202) 9564 del vars, 236046 del conss, 76311 add conss, 2959 chg bounds, 5732 chg sides, 13714 chg coeffs, 240353 upgd conss, 7264541 impls, 790 clqs
260.24/260.35	c (round 203) 9578 del vars, 236068 del conss, 76333 add conss, 2959 chg bounds, 5732 chg sides, 13714 chg coeffs, 240353 upgd conss, 7264541 impls, 790 clqs
261.23/261.35	c (round 204) 9592 del vars, 236068 del conss, 76333 add conss, 2959 chg bounds, 5732 chg sides, 13714 chg coeffs, 240353 upgd conss, 7264541 impls, 790 clqs
262.23/262.35	c (round 205) 9606 del vars, 236082 del conss, 76333 add conss, 2959 chg bounds, 5732 chg sides, 13728 chg coeffs, 240353 upgd conss, 7264541 impls, 790 clqs
267.24/267.38	c (round 206) 9633 del vars, 236084 del conss, 76333 add conss, 2976 chg bounds, 5732 chg sides, 13728 chg coeffs, 240353 upgd conss, 8869108 impls, 790 clqs
271.23/271.34	c (round 207) 10144 del vars, 236128 del conss, 76371 add conss, 3340 chg bounds, 5732 chg sides, 13734 chg coeffs, 240353 upgd conss, 9559858 impls, 790 clqs
272.23/272.35	c (round 208) 10215 del vars, 236216 del conss, 76371 add conss, 3340 chg bounds, 5732 chg sides, 13805 chg coeffs, 240394 upgd conss, 9567940 impls, 809 clqs
273.63/273.75	c (round 209) 10247 del vars, 236293 del conss, 76416 add conss, 3340 chg bounds, 5732 chg sides, 13805 chg coeffs, 240394 upgd conss, 9574384 impls, 810 clqs
276.13/276.29	c (round 210) 10283 del vars, 236296 del conss, 76416 add conss, 3362 chg bounds, 5732 chg sides, 13805 chg coeffs, 240394 upgd conss, 9708928 impls, 851 clqs
277.14/277.28	c (round 211) 10289 del vars, 236302 del conss, 76416 add conss, 3362 chg bounds, 5732 chg sides, 13811 chg coeffs, 240418 upgd conss, 9709658 impls, 851 clqs
278.33/278.40	c (round 212) 10292 del vars, 236316 del conss, 76430 add conss, 3362 chg bounds, 5732 chg sides, 13811 chg coeffs, 240418 upgd conss, 9709658 impls, 852 clqs
283.63/283.75	c (round 213) 10800 del vars, 236319 del conss, 76430 add conss, 3569 chg bounds, 5732 chg sides, 13814 chg coeffs, 240418 upgd conss, 10234143 impls, 861 clqs
284.63/284.77	c (round 214) 10882 del vars, 236417 del conss, 76430 add conss, 3569 chg bounds, 5732 chg sides, 13896 chg coeffs, 240458 upgd conss, 10242887 impls, 861 clqs
285.72/285.89	c (round 215) 10895 del vars, 236444 del conss, 76457 add conss, 3569 chg bounds, 5732 chg sides, 13896 chg coeffs, 240458 upgd conss, 10242887 impls, 861 clqs
286.73/286.87	c (round 216) 10917 del vars, 236450 del conss, 76457 add conss, 3569 chg bounds, 5732 chg sides, 13902 chg coeffs, 240458 upgd conss, 10242887 impls, 865 clqs
287.73/287.85	c (round 217) 10933 del vars, 236466 del conss, 76457 add conss, 3569 chg bounds, 5732 chg sides, 13918 chg coeffs, 240458 upgd conss, 10242887 impls, 865 clqs
289.23/289.38	c (round 218) 11049 del vars, 236582 del conss, 76457 add conss, 3569 chg bounds, 5732 chg sides, 13918 chg coeffs, 240458 upgd conss, 10287889 impls, 865 clqs
297.32/297.44	c (round 219) 11129 del vars, 236582 del conss, 76457 add conss, 3569 chg bounds, 5732 chg sides, 13918 chg coeffs, 240458 upgd conss, 14076345 impls, 865 clqs
298.32/298.41	c (round 220) 11144 del vars, 236608 del conss, 76457 add conss, 3569 chg bounds, 5732 chg sides, 13933 chg coeffs, 240458 upgd conss, 14096419 impls, 865 clqs
299.42/299.52	c (round 221) 11146 del vars, 236672 del conss, 76521 add conss, 3569 chg bounds, 5732 chg sides, 13933 chg coeffs, 240458 upgd conss, 14096509 impls, 865 clqs
301.72/301.81	c (round 222) 11178 del vars, 236674 del conss, 76523 add conss, 3585 chg bounds, 5732 chg sides, 13933 chg coeffs, 240458 upgd conss, 14160435 impls, 922 clqs
302.72/302.81	c (round 223) 11184 del vars, 236680 del conss, 76523 add conss, 3585 chg bounds, 5732 chg sides, 13939 chg coeffs, 240482 upgd conss, 14163187 impls, 923 clqs
304.43/304.53	c (round 224) 11246 del vars, 236682 del conss, 76525 add conss, 3615 chg bounds, 5732 chg sides, 13939 chg coeffs, 240482 upgd conss, 14196171 impls, 923 clqs
305.43/305.55	c (round 225) 11268 del vars, 236704 del conss, 76525 add conss, 3615 chg bounds, 5732 chg sides, 13961 chg coeffs, 240536 upgd conss, 14200949 impls, 923 clqs
308.03/308.10	c (round 226) 13628 del vars, 236705 del conss, 76526 add conss, 3615 chg bounds, 5732 chg sides, 13961 chg coeffs, 240536 upgd conss, 14268425 impls, 923 clqs
308.93/309.02	c (round 227) 13720 del vars, 236876 del conss, 76526 add conss, 3615 chg bounds, 5732 chg sides, 14053 chg coeffs, 240538 upgd conss, 14286249 impls, 923 clqs
310.13/310.22	c (round 228) 13720 del vars, 236880 del conss, 76530 add conss, 3615 chg bounds, 5732 chg sides, 14053 chg coeffs, 240538 upgd conss, 14286249 impls, 923 clqs
316.73/316.83	c (round 229) 13751 del vars, 236880 del conss, 76530 add conss, 3615 chg bounds, 5732 chg sides, 14053 chg coeffs, 240538 upgd conss, 14811957 impls, 923 clqs
317.62/317.77	c (round 230) 13767 del vars, 236896 del conss, 76530 add conss, 3615 chg bounds, 5732 chg sides, 14069 chg coeffs, 240552 upgd conss, 14813283 impls, 923 clqs
318.72/318.80	c (round 231) 13771 del vars, 236926 del conss, 76560 add conss, 3615 chg bounds, 5732 chg sides, 14069 chg coeffs, 240552 upgd conss, 14813299 impls, 923 clqs
319.92/320.01	c (round 232) 13771 del vars, 236930 del conss, 76564 add conss, 3615 chg bounds, 5732 chg sides, 14069 chg coeffs, 240552 upgd conss, 14813299 impls, 944 clqs
488.87/489.05	c (round 233) 13796 del vars, 236930 del conss, 76564 add conss, 3621 chg bounds, 5732 chg sides, 14069 chg coeffs, 240552 upgd conss, 77155961 impls, 945 clqs
489.97/490.14	c (round 234) 13808 del vars, 236939 del conss, 76564 add conss, 3621 chg bounds, 5732 chg sides, 14078 chg coeffs, 240560 upgd conss, 77163189 impls, 945 clqs
493.58/493.70	c (round 235) 14010 del vars, 236939 del conss, 76564 add conss, 3621 chg bounds, 5732 chg sides, 14078 chg coeffs, 240565 upgd conss, 77174745 impls, 945 clqs
494.67/494.90	c (round 236) 14037 del vars, 236999 del conss, 76564 add conss, 3621 chg bounds, 5732 chg sides, 14105 chg coeffs, 240570 upgd conss, 77205863 impls, 945 clqs
495.98/496.16	c (round 237) 14050 del vars, 237371 del conss, 76936 add conss, 3621 chg bounds, 5732 chg sides, 14105 chg coeffs, 240570 upgd conss, 77206001 impls, 945 clqs
507.47/507.63	c (round 238) 14091 del vars, 237376 del conss, 76936 add conss, 3624 chg bounds, 5732 chg sides, 14110 chg coeffs, 240570 upgd conss, 78270396 impls, 1305 clqs
508.57/508.70	c (round 239) 14107 del vars, 237392 del conss, 76936 add conss, 3624 chg bounds, 5732 chg sides, 14126 chg coeffs, 240602 upgd conss, 78276784 impls, 1305 clqs
509.77/509.99	c (round 240) 14107 del vars, 237437 del conss, 76981 add conss, 3624 chg bounds, 5732 chg sides, 14126 chg coeffs, 240602 upgd conss, 78276784 impls, 1306 clqs
560.25/560.44	c (round 241) 14147 del vars, 237437 del conss, 76981 add conss, 3650 chg bounds, 5732 chg sides, 14126 chg coeffs, 240602 upgd conss, 91180824 impls, 1342 clqs
561.64/561.85	c (round 242) 14155 del vars, 237445 del conss, 76981 add conss, 3650 chg bounds, 5732 chg sides, 14134 chg coeffs, 240630 upgd conss, 91198676 impls, 1342 clqs
562.95/563.16	c (round 243) 14155 del vars, 237548 del conss, 77084 add conss, 3650 chg bounds, 5732 chg sides, 14134 chg coeffs, 240630 upgd conss, 91198676 impls, 1343 clqs
600.45/600.62	c    (600.6s) probing: 1000/82572 (1.2%) - 8788 fixings, 98 aggregations, 5898892 implications, 2627 bound changes
606.84/607.09	c (round 244) 14221 del vars, 237549 del conss, 77084 add conss, 3650 chg bounds, 5732 chg sides, 14134 chg coeffs, 240630 upgd conss, 102131254 impls, 1439 clqs
607.94/608.17	c (round 245) 14230 del vars, 237570 del conss, 77084 add conss, 3650 chg bounds, 5732 chg sides, 14143 chg coeffs, 240630 upgd conss, 102141992 impls, 1439 clqs
609.24/609.50	c (round 246) 14230 del vars, 237654 del conss, 77168 add conss, 3650 chg bounds, 5732 chg sides, 14143 chg coeffs, 240630 upgd conss, 102141992 impls, 1439 clqs
687.11/687.32	c (round 247) 14319 del vars, 237654 del conss, 77168 add conss, 3652 chg bounds, 5732 chg sides, 14143 chg coeffs, 240630 upgd conss, 120425701 impls, 1522 clqs
688.32/688.58	c (round 248) 14337 del vars, 237684 del conss, 77168 add conss, 3652 chg bounds, 5732 chg sides, 14161 chg coeffs, 240632 upgd conss, 120492349 impls, 1522 clqs
689.61/689.81	c (round 249) 14341 del vars, 237980 del conss, 77464 add conss, 3652 chg bounds, 5732 chg sides, 14161 chg coeffs, 240632 upgd conss, 120492387 impls, 1523 clqs
820.79/821.03	c (round 250) 14423 del vars, 237981 del conss, 77464 add conss, 3653 chg bounds, 5732 chg sides, 14162 chg coeffs, 240632 upgd conss, 140182212 impls, 1811 clqs
822.18/822.48	c (round 251) 14436 del vars, 238004 del conss, 77464 add conss, 3653 chg bounds, 5732 chg sides, 14175 chg coeffs, 240632 upgd conss, 140192896 impls, 1811 clqs
825.18/825.49	c (round 252) 14468 del vars, 238278 del conss, 77696 add conss, 3653 chg bounds, 5732 chg sides, 14175 chg coeffs, 240632 upgd conss, 140240690 impls, 1811 clqs
944.26/944.60	c (round 253) 14523 del vars, 238278 del conss, 77696 add conss, 3653 chg bounds, 5732 chg sides, 14175 chg coeffs, 240632 upgd conss, 162756558 impls, 2031 clqs
945.47/945.72	c (round 254) 14531 del vars, 238297 del conss, 77696 add conss, 3653 chg bounds, 5732 chg sides, 14183 chg coeffs, 240632 upgd conss, 162760210 impls, 2031 clqs
946.77/947.10	c (round 255) 14531 del vars, 238392 del conss, 77791 add conss, 3653 chg bounds, 5732 chg sides, 14183 chg coeffs, 240632 upgd conss, 162760210 impls, 2031 clqs
951.26/951.58	c (round 256) 14730 del vars, 238392 del conss, 77791 add conss, 3653 chg bounds, 5732 chg sides, 14183 chg coeffs, 240632 upgd conss, 162869724 impls, 2122 clqs
953.47/953.75	c (round 257) 14793 del vars, 238477 del conss, 77791 add conss, 3653 chg bounds, 5732 chg sides, 14246 chg coeffs, 240648 upgd conss, 163172020 impls, 2122 clqs
954.66/954.95	c (round 258) 14794 del vars, 238483 del conss, 77795 add conss, 3653 chg bounds, 5732 chg sides, 14246 chg coeffs, 240648 upgd conss, 163172038 impls, 2123 clqs
1023.65/1023.97	c    (1024.0s) probing: 2000/82572 (2.4%) - 9257 fixings, 128 aggregations, 10214291 implications, 2630 bound changes
1084.73/1085.02	c (round 259) 14844 del vars, 238484 del conss, 77796 add conss, 3661 chg bounds, 5732 chg sides, 14246 chg coeffs, 240648 upgd conss, 177953986 impls, 2121 clqs
1086.33/1086.62	c (round 260) 14847 del vars, 238492 del conss, 77796 add conss, 3661 chg bounds, 5732 chg sides, 14250 chg coeffs, 240684 upgd conss, 177994668 impls, 2122 clqs
1087.74/1088.01	c (round 261) 14847 del vars, 238593 del conss, 77893 add conss, 3661 chg bounds, 5732 chg sides, 14250 chg coeffs, 240684 upgd conss, 177994668 impls, 2122 clqs
1263.69/1264.09	c (round 262) 15012 del vars, 238593 del conss, 77893 add conss, 3689 chg bounds, 5732 chg sides, 14250 chg coeffs, 240684 upgd conss, 203896274 impls, 2215 clqs
1266.69/1267.04	c (round 263) 15037 del vars, 238637 del conss, 77893 add conss, 3689 chg bounds, 5732 chg sides, 14275 chg coeffs, 240708 upgd conss, 203972564 impls, 2215 clqs
1268.09/1268.44	c (round 264) 15037 del vars, 238853 del conss, 78109 add conss, 3689 chg bounds, 5732 chg sides, 14275 chg coeffs, 240708 upgd conss, 203972564 impls, 2216 clqs
1464.25/1464.63	c    (1464.6s) probing: 3000/82572 (3.6%) - 9455 fixings, 153 aggregations, 13801421 implications, 2666 bound changes
1661.82/1662.28	c (round 265) 15062 del vars, 238853 del conss, 78109 add conss, 3689 chg bounds, 5732 chg sides, 14275 chg coeffs, 240708 upgd conss, 260917212 impls, 2412 clqs
1663.62/1664.10	c (round 266) 15065 del vars, 238862 del conss, 78109 add conss, 3689 chg bounds, 5732 chg sides, 14278 chg coeffs, 240708 upgd conss, 260918360 impls, 2412 clqs
1665.21/1665.60	c (round 267) 15086 del vars, 239785 del conss, 79032 add conss, 3689 chg bounds, 5732 chg sides, 14278 chg coeffs, 240708 upgd conss, 260987770 impls, 2412 clqs
1666.62/1667.05	c (round 268) 15086 del vars, 239810 del conss, 79053 add conss, 3689 chg bounds, 5732 chg sides, 14278 chg coeffs, 240708 upgd conss, 260987770 impls, 3322 clqs
1739.09/1739.56	c    (1739.5s) probing: 4000/82572 (4.8%) - 9455 fixings, 164 aggregations, 16088499 implications, 2666 bound changes
1796.79/1797.29	c    (1797.3s) probing: 4134/82572 (5.0%) - 9455 fixings, 164 aggregations, 16606092 implications, 2666 bound changes
1796.79/1797.29	c    (1797.3s) probing aborted: solving stopped
1796.89/1797.38	c presolving (269 rounds):
1796.89/1797.38	c  15090 deleted vars, 239810 deleted constraints, 79053 added constraints, 3689 tightened bounds, 0 added holes, 5732 changed sides, 14278 changed coefficients
1796.89/1797.38	c  276158502 implications, 3323 cliques
1796.89/1797.38	c presolved problem has 69746 variables (69746 bin, 0 int, 0 impl, 0 cont) and 76881 constraints
1796.89/1797.38	c   11464 constraints of type <knapsack>
1796.89/1797.38	c    5716 constraints of type <setppc>
1796.89/1797.38	c   59698 constraints of type <and>
1796.89/1797.38	c       3 constraints of type <logicor>
1796.89/1797.38	c transformed objective value is always integral (scale: 1)
1796.89/1797.38	c Presolving Time: 1796.42
1796.89/1797.38	c - non default parameters ----------------------------------------------------------------------
1796.89/1797.38	c # SCIP version 2.1.1.4
1796.89/1797.38	c 
1796.89/1797.38	c # maximal time in seconds to run
1796.89/1797.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.89/1797.38	c limits/time = 1797
1796.89/1797.38	c 
1796.89/1797.38	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.89/1797.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.89/1797.38	c limits/memory = 13950
1796.89/1797.38	c 
1796.89/1797.38	c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.89/1797.38	c # [type: int, range: [1,2], default: 1]
1796.89/1797.38	c timing/clocktype = 2
1796.89/1797.38	c 
1796.89/1797.38	c # belongs reading time to solving time?
1796.89/1797.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.89/1797.38	c timing/reading = TRUE
1796.89/1797.38	c 
1796.89/1797.38	c -----------------------------------------------------------------------------------------------
1796.89/1797.38	c start solving
1796.99/1797.40	c 
1796.99/1797.40	c 
1796.99/1797.40	c SCIP Status        : solving was interrupted [time limit reached]
1796.99/1797.40	c Solving Time (sec) : 1797.39
1796.99/1797.40	c Solving Nodes      : 0
1796.99/1797.40	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.99/1797.40	c Dual Bound         : -1.00000000000000e+20
1796.99/1797.40	c Gap                : infinite
1796.99/1797.40	s UNKNOWN
1796.99/1797.40	c SCIP Status        : solving was interrupted [time limit reached]
1796.99/1797.40	c Total Time         :    1797.39
1796.99/1797.40	c   solving          :    1797.39
1796.99/1797.40	c   presolving       :    1796.42 (included in solving)
1796.99/1797.40	c   reading          :       0.69 (included in solving)
1796.99/1797.40	c   copying          :       0.00 (0 times copied the problem)
1796.99/1797.40	c Original Problem   :
1796.99/1797.40	c   Problem name     : HOME/instance-3692849-1338025414.opb
1796.99/1797.40	c   Variables        : 84836 (84836 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.99/1797.40	c   Constraints      : 245062 initial, 245062 maximal
1796.99/1797.40	c   Objective sense  : minimize
1796.99/1797.40	c Presolved Problem  :
1796.99/1797.40	c   Problem name     : t_HOME/instance-3692849-1338025414.opb
1796.99/1797.40	c   Variables        : 69746 (69746 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.99/1797.40	c   Constraints      : 76881 initial, 76881 maximal
1796.99/1797.40	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.99/1797.40	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.40	c   trivial          :       1.26       0.00         85          0          0          0          0          0          0          0          0
1796.99/1797.40	c   dualfix          :       0.88       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.40	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.40	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.40	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.40	c   gateextraction   :       0.86       0.00          0          0          0          0          0     225048      75015          0          0
1796.99/1797.40	c   implics          :      10.34       0.00          0       1281          0          0          0          0          0          0          0
1796.99/1797.40	c   components       :       0.08       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.40	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.40	c   probing          :    1476.64       0.00       9455        164          0       2666          0          0          0          0          0
1796.99/1797.40	c   knapsack         :       3.10       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.40	c   setppc           :       2.12       0.00          0          4          0          0          0        950          0          0          0
1796.99/1797.40	c   and              :     289.31       0.00        313       2759          0          0          0       6570       4038          0       2278
1796.99/1797.40	c   linear           :      10.16       0.00       1023          6          0       1023          0       7241          0       5732      12000
1796.99/1797.40	c   logicor          :       0.54       0.00          0          0          0          0          0          1          0          0          0
1796.99/1797.40	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.99/1797.40	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.99/1797.40	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.99/1797.40	c   knapsack         :      11464      11464          0      66092          0          0          0          0          0          0          0          0          0
1796.99/1797.40	c   setppc           :       5716       5716          0      66092          0          0          0          1          4          0          0          0          0
1796.99/1797.40	c   and              :      59698      59698          0      66088          0          0          0        981         11          0          0          0          0
1796.99/1797.40	c   logicor          :          3          3          0       2197          0          0          0          0          0          0          0          0          0
1796.99/1797.40	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.99/1797.40	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.99/1797.40	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.99/1797.40	c   knapsack         :      21.17       0.00       0.00      21.17       0.00       0.00       0.00       0.00
1796.99/1797.40	c   setppc           :      11.88       0.00       0.00      11.88       0.00       0.00       0.00       0.00
1796.99/1797.40	c   and              :     202.80       0.00       0.00     202.80       0.00       0.00       0.00       0.00
1796.99/1797.40	c   logicor          :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00
1796.99/1797.40	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.99/1797.40	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.99/1797.40	c   rootredcost      :          0          0          0          0
1796.99/1797.40	c   pseudoobj        :          0          0          0          0
1796.99/1797.40	c   vbounds          :          0          0          0          0
1796.99/1797.40	c   redcost          :          0          0          0          0
1796.99/1797.40	c   probing          :          0          0          0          0
1796.99/1797.40	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.99/1797.40	c   rootredcost      :       0.07       0.00       0.00       0.07       0.00
1796.99/1797.40	c   pseudoobj        :       0.07       0.00       0.00       0.07       0.00
1796.99/1797.40	c   vbounds          :       0.08       0.01       0.00       0.07       0.00
1796.99/1797.40	c   redcost          :       0.06       0.00       0.00       0.06       0.00
1796.99/1797.40	c   probing          :    1476.64       0.00    1476.64       0.00       0.00
1796.99/1797.40	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.99/1797.40	c   propagation      :       0.00         15          0          0        0.0          0        0.0          -
1796.99/1797.40	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.99/1797.40	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.99/1797.40	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.99/1797.40	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.99/1797.40	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.99/1797.40	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.99/1797.40	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.99/1797.40	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 0)
1796.99/1797.40	c   clique           :       0.00       0.00          0          0          0          0          0
1796.99/1797.40	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.99/1797.40	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.99/1797.40	c   cmir             :       0.00       0.00          0          0          0          0          0
1796.99/1797.40	c   flowcover        :       0.00       0.00          0          0          0          0          0
1796.99/1797.40	c   gomory           :       0.00       0.00          0          0          0          0          0
1796.99/1797.40	c   impliedbounds    :       0.00       0.00          0          0          0          0          0
1796.99/1797.40	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.99/1797.40	c   mcf              :       0.00       0.00          0          0          0          0          0
1796.99/1797.40	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.99/1797.40	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.99/1797.40	c   strongcg         :       0.00       0.00          0          0          0          0          0
1796.99/1797.40	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.99/1797.40	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.99/1797.40	c   problem variables:       0.00          -          0          0
1796.99/1797.40	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.99/1797.40	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.40	c   inference        :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.40	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.40	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.40	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.40	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.40	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.40	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.40	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.99/1797.40	c   LP solutions     :       0.00          -          -          0
1796.99/1797.40	c   pseudo solutions :       0.00          -          -          0
1796.99/1797.40	c   smallcard        :       0.00       0.00          0          0
1796.99/1797.40	c   trivial          :       0.06       0.00          1          0
1796.99/1797.40	c   shiftandpropagate:       0.00       0.00          0          0
1796.99/1797.40	c   simplerounding   :       0.00       0.00          0          0
1796.99/1797.40	c   zirounding       :       0.00       0.00          0          0
1796.99/1797.40	c   rounding         :       0.00       0.00          0          0
1796.99/1797.40	c   shifting         :       0.00       0.00          0          0
1796.99/1797.40	c   intshifting      :       0.00       0.00          0          0
1796.99/1797.40	c   oneopt           :       0.00       0.00          0          0
1796.99/1797.40	c   twoopt           :       0.00       0.00          0          0
1796.99/1797.40	c   indtwoopt        :       0.00       0.00          0          0
1796.99/1797.40	c   indoneopt        :       0.00       0.00          0          0
1796.99/1797.40	c   fixandinfer      :       0.00       0.00          0          0
1796.99/1797.40	c   feaspump         :       0.00       0.00          0          0
1796.99/1797.40	c   clique           :       0.00       0.00          0          0
1796.99/1797.40	c   indrounding      :       0.00       0.00          0          0
1796.99/1797.40	c   indcoefdiving    :       0.00       0.00          0          0
1796.99/1797.40	c   coefdiving       :       0.00       0.00          0          0
1796.99/1797.40	c   pscostdiving     :       0.00       0.00          0          0
1796.99/1797.40	c   nlpdiving        :       0.00       0.00          0          0
1796.99/1797.40	c   fracdiving       :       0.00       0.00          0          0
1796.99/1797.40	c   veclendiving     :       0.00       0.00          0          0
1796.99/1797.40	c   intdiving        :       0.00       0.00          0          0
1796.99/1797.40	c   actconsdiving    :       0.00       0.00          0          0
1796.99/1797.40	c   objpscostdiving  :       0.00       0.00          0          0
1796.99/1797.40	c   rootsoldiving    :       0.00       0.00          0          0
1796.99/1797.40	c   linesearchdiving :       0.00       0.00          0          0
1796.99/1797.40	c   guideddiving     :       0.00       0.00          0          0
1796.99/1797.40	c   octane           :       0.00       0.00          0          0
1796.99/1797.40	c   rens             :       0.00       0.00          0          0
1796.99/1797.40	c   rins             :       0.00       0.00          0          0
1796.99/1797.40	c   localbranching   :       0.00       0.00          0          0
1796.99/1797.40	c   mutation         :       0.00       0.00          0          0
1796.99/1797.40	c   crossover        :       0.00       0.00          0          0
1796.99/1797.40	c   dins             :       0.00       0.00          0          0
1796.99/1797.40	c   vbounds          :       0.00       0.00          0          0
1796.99/1797.40	c   undercover       :       0.00       0.00          0          0
1796.99/1797.40	c   subnlp           :       0.00       0.00          0          0
1796.99/1797.40	c   trysol           :       0.00       0.00          0          0
1796.99/1797.40	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.99/1797.40	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
1796.99/1797.40	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
1796.99/1797.40	c   lex dual LP      :       0.00          0          0       0.00          -
1796.99/1797.40	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.99/1797.40	c   diving/probing LP:       0.00          0          0       0.00          -
1796.99/1797.40	c   strong branching :       0.00          0          0       0.00          -
1796.99/1797.40	c     (at root node) :          -          0          0       0.00          -
1796.99/1797.40	c   conflict analysis:       0.00          0          0       0.00          -
1796.99/1797.40	c B&B Tree           :
1796.99/1797.40	c   number of runs   :          1
1796.99/1797.40	c   nodes            :          0
1796.99/1797.40	c   nodes (total)    :          0
1796.99/1797.40	c   nodes left       :          1
1796.99/1797.40	c   max depth        :         -1
1796.99/1797.40	c   max depth (total):         -1
1796.99/1797.40	c   backtracks       :          0 (0.0%)
1796.99/1797.40	c   delayed cutoffs  :          0
1796.99/1797.40	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.99/1797.40	c   avg switch length:       0.00
1796.99/1797.40	c   switching time   :       0.00
1796.99/1797.40	c Solution           :
1796.99/1797.40	c   Solutions found  :          0 (0 improvements)
1796.99/1797.40	c   Primal Bound     :          -
1796.99/1797.40	c   Dual Bound       :          -
1796.99/1797.40	c   Gap              :   infinite
1796.99/1797.40	c   Root Dual Bound  :          -
1796.99/1797.40	c   Root Iterations  :          0
1797.79/1798.25	c Time complete: 1797.84.

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-3692849-1338025414/watcher-3692849-1338025414 -o /tmp/evaluation-result-3692849-1338025414/solver-3692849-1338025414 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692849-1338025414.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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.08 2.02 2.01 3/178 6161
/proc/meminfo: memFree=26610192/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=10304 CPUtime=0 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 1323 0 0 0 0 0 0 0 20 0 1 0 268666199 10551296 1278 33554432000 4194304 10169799 140733304824960 140734311826664 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 2576 1278 409 1459 0 1108 0

[startup+0.00948588 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 6161
/proc/meminfo: memFree=26610192/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=11156 CPUtime=0 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 1542 0 0 0 0 0 0 0 20 0 1 0 268666199 11423744 1497 33554432000 4194304 10169799 140733304824960 140734311826664 8883659 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 2789 1497 409 1459 0 1321 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11156

[startup+0.100259 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 6161
/proc/meminfo: memFree=26610192/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=31984 CPUtime=0.09 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 6753 0 0 0 8 1 0 0 20 0 1 0 268666199 32751616 6708 33554432000 4194304 10169799 140733304824960 140734311826664 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 7996 6708 409 1459 0 6528 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31984

[startup+0.300279 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 6161
/proc/meminfo: memFree=26610192/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=73328 CPUtime=0.29 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 17044 0 0 0 27 2 0 0 20 0 1 0 268666199 75087872 16999 33554432000 4194304 10169799 140733304824960 140734311826664 8982256 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 18332 16999 409 1459 0 16864 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73328

[startup+0.700289 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 6161
/proc/meminfo: memFree=26610192/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=145776 CPUtime=0.69 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 35124 0 0 0 64 5 0 0 20 0 1 0 268666199 149274624 35079 33554432000 4194304 10169799 140733304824960 140733304822984 4334810 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 36444 35079 416 1459 0 34976 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 145776

[startup+1.50031 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 6162
/proc/meminfo: memFree=26315808/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=462688 CPUtime=1.49 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 113044 0 0 0 133 16 0 0 20 0 1 0 268666199 473792512 112969 33554432000 4194304 10169799 140733304824960 140733304822984 4950092 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 115672 112969 498 1459 0 114204 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 462688

[startup+3.10027 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 6162
/proc/meminfo: memFree=26155732/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=540068 CPUtime=3.09 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 144076 0 0 0 252 57 0 0 20 0 1 0 268666199 553029632 130932 33554432000 4194304 10169799 140733304824960 140733304823112 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 135017 130932 561 1459 0 133549 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 540068

[startup+6.30027 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 6162
/proc/meminfo: memFree=26020244/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=589484 CPUtime=6.28 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 156095 0 0 0 362 266 0 0 20 0 1 0 268666199 603631616 142302 33554432000 4194304 10169799 140733304824960 140733304823112 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 147371 142302 562 1459 0 145903 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 589484

[startup+12.7003 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 6162
/proc/meminfo: memFree=26030688/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=661888 CPUtime=12.69 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 174878 0 0 0 541 728 0 0 20 0 1 0 268666199 677773312 160426 33554432000 4194304 10169799 140733304824960 140733304823112 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 165472 160426 591 1459 0 164004 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 661888

[startup+25.5002 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 6162
/proc/meminfo: memFree=25883888/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=719776 CPUtime=25.48 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 199936 0 0 0 1721 827 0 0 20 0 1 0 268666199 737050624 174960 33554432000 4194304 10169799 140733304824960 140733304823368 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 179944 174960 624 1459 0 178476 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 719776

[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 6162
/proc/meminfo: memFree=25870564/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=733116 CPUtime=51.08 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 202449 0 0 0 4063 1045 0 0 20 0 1 0 268666199 750710784 178446 33554432000 4194304 10169799 140733304824960 140733304823368 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 183279 178446 624 1459 0 181811 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 733116

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6201
/proc/meminfo: memFree=28239820/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=744560 CPUtime=102.28 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 205349 0 0 0 8627 1601 0 0 20 0 1 0 268666199 762429440 182132 33554432000 4194304 10169799 140733304824960 140733304823368 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 186140 182132 624 1459 0 184672 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 744560

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6202
/proc/meminfo: memFree=28220068/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=763236 CPUtime=162.26 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 208791 0 0 0 13979 2247 0 0 20 0 1 0 268666199 781553664 186971 33554432000 4194304 10169799 140733304824960 140733304823368 5868642 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 190809 186971 624 1459 0 189341 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 763236

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6202
/proc/meminfo: memFree=28191084/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=790076 CPUtime=222.24 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 212826 0 0 0 19197 3027 0 0 20 0 1 0 268666199 809037824 193656 33554432000 4194304 10169799 140733304824960 140733304823368 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 197519 193656 624 1459 0 196051 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 790076

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6202
/proc/meminfo: memFree=28099984/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=883172 CPUtime=282.23 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 233058 0 0 0 24546 3677 0 0 20 0 1 0 268666199 904368128 216052 33554432000 4194304 10169799 140733304824960 140733304822488 8918784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 220793 216052 624 1459 0 219325 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 883172

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6202
/proc/meminfo: memFree=27521616/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=1471076 CPUtime=342.21 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 376354 0 0 0 30260 3961 0 0 20 0 1 0 268666199 1506381824 361968 33554432000 4194304 10169799 140733304824960 140733304822488 8883659 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 367769 361968 629 1459 0 366301 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1471076

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 6205
/proc/meminfo: memFree=26920236/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=2072332 CPUtime=402.19 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 526573 0 0 0 36230 3989 0 0 20 0 1 0 268666199 2122067968 512179 33554432000 4194304 10169799 140733304824960 140733304822472 8883659 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 518083 512179 629 1459 0 516615 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 2072332

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6206
/proc/meminfo: memFree=26427996/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=2558796 CPUtime=462.18 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 648299 0 0 0 42208 4010 0 0 20 0 1 0 268666199 2620207104 633911 33554432000 4194304 10169799 140733304824960 140733304822488 6124221 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 639699 633911 629 1459 0 638231 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 2558796

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6206
/proc/meminfo: memFree=26135008/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=2853024 CPUtime=522.16 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 719911 0 0 0 48082 4134 0 0 20 0 1 0 268666199 2921496576 706551 33554432000 4194304 10169799 140733304824960 140733304822488 8920230 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 713256 706551 629 1459 0 711788 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 2853024

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6206
/proc/meminfo: memFree=25731972/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=3253696 CPUtime=582.14 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 818128 0 0 0 54014 4200 0 0 20 0 1 0 268666199 3331784704 805306 33554432000 4194304 10169799 140733304824960 140733304822488 8918765 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 813424 805306 629 1459 0 811956 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 3253696

[startup+642.3 s]

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

/proc/meminfo: memFree=23231252/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=5767960 CPUtime=1122.03 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 1438053 0 0 0 107583 4620 0 0 20 0 1 0 268666199 5906391040 1429716 33554432000 4194304 10169799 140733304824960 140733304822488 8918746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 1441990 1429716 629 1459 0 1440522 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 5767960

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6234
/proc/meminfo: memFree=22943600/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=6053800 CPUtime=1182.01 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 1508724 0 0 0 113567 4634 0 0 20 0 1 0 268666199 6199091200 1500389 33554432000 4194304 10169799 140733304824960 140733304821224 8918722 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 1513450 1500389 629 1459 0 1511982 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 6053800

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6234
/proc/meminfo: memFree=22659172/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=6337216 CPUtime=1242 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 1578971 0 0 0 119552 4648 0 0 20 0 1 0 268666199 6489309184 1570655 33554432000 4194304 10169799 140733304824960 140733304822488 8918765 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 1584304 1570655 629 1459 0 1582836 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 6337216

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6234
/proc/meminfo: memFree=22576240/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=6419344 CPUtime=1301.99 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 1598574 0 0 0 125490 4709 0 0 20 0 1 0 268666199 6573408256 1591299 33554432000 4194304 10169799 140733304824960 140733304822488 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 1604836 1591299 629 1459 0 1603368 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 6419344

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6235
/proc/meminfo: memFree=22316612/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=6684556 CPUtime=1361.97 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 1663341 0 0 0 131476 4721 0 0 20 0 1 0 268666199 6844985344 1656086 33554432000 4194304 10169799 140733304824960 140733304822968 8922310 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 1671139 1656086 629 1459 0 1669671 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 6684556

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6235
/proc/meminfo: memFree=22089224/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=6915108 CPUtime=1421.96 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 1720274 0 0 0 137463 4733 0 0 20 0 1 0 268666199 7081070592 1713036 33554432000 4194304 10169799 140733304824960 140733304822472 8920226 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 1728777 1713036 629 1459 0 1727309 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 6915108

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6235
/proc/meminfo: memFree=21821288/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=7184732 CPUtime=1481.94 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 1786984 0 0 0 143447 4747 0 0 20 0 1 0 268666199 7357165568 1779797 33554432000 4194304 10169799 140733304824960 140733304821224 8918708 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 1796183 1779797 629 1459 0 1794715 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 7184732

[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 6235
/proc/meminfo: memFree=21610892/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=7393720 CPUtime=1541.94 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 1839081 0 0 0 149436 4758 0 0 20 0 1 0 268666199 7571169280 1831898 33554432000 4194304 10169799 140733304824960 140733304821224 5862022 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 1848430 1831898 629 1459 0 1846962 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 7393720

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 6238
/proc/meminfo: memFree=21349396/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=7662944 CPUtime=1601.93 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 1905117 0 0 0 155422 4771 0 0 20 0 1 0 268666199 7846854656 1897973 33554432000 4194304 10169799 140733304824960 140733304821224 6916923 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 1915736 1897973 629 1459 0 1914268 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 7662944

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6239
/proc/meminfo: memFree=21115072/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=7898704 CPUtime=1661.92 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 1962716 0 0 0 161408 4784 0 0 20 0 1 0 268666199 8088272896 1955579 33554432000 4194304 10169799 140733304824960 140733304821224 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 1974676 1955579 629 1459 0 1973208 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 7898704

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6239
/proc/meminfo: memFree=20960348/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=8052212 CPUtime=1721.9 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 2000299 0 0 0 167335 4855 0 0 20 0 1 0 268666199 8245465088 1993699 33554432000 4194304 10169799 140733304824960 140733304822488 5592221 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 2013053 1993699 629 1459 0 2011585 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 8052212

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6239
/proc/meminfo: memFree=20735564/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=8281172 CPUtime=1781.89 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 2056298 0 0 0 173321 4868 0 0 20 0 1 0 268666199 8479920128 2049704 33554432000 4194304 10169799 140733304824960 140733304822488 6124226 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 2070293 2049704 629 1459 0 2068825 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 8281172

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6239
/proc/meminfo: memFree=20680864/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=8335192 CPUtime=1791.49 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 2069411 0 0 0 174278 4871 0 0 20 0 1 0 268666199 8535236608 2062817 33554432000 4194304 10169799 140733304824960 140733304822472 4906325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 2083798 2062817 629 1459 0 2082330 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 8335192

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6239
/proc/meminfo: memFree=20659412/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=8355596 CPUtime=1794.7 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 2074751 0 0 0 174598 4872 0 0 20 0 1 0 268666199 8556130304 2068157 33554432000 4194304 10169799 140733304824960 140733304821224 4950787 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 2088899 2068157 629 1459 0 2087431 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 8355596

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6239
/proc/meminfo: memFree=20653088/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=8363428 CPUtime=1796.29 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 2076606 0 0 0 174757 4872 0 0 20 0 1 0 268666199 8564150272 2070012 33554432000 4194304 10169799 140733304824960 140733304822488 8918694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 2090857 2070012 629 1459 0 2089389 0
Current children cumulated CPU time (s) 1796.29
Current children cumulated vsize (KiB) 8363428

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6239
/proc/meminfo: memFree=20647756/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=8372132 CPUtime=1797.08 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 2078472 0 0 0 174836 4872 0 0 20 0 1 0 268666199 8573063168 2071837 33554432000 4194304 10169799 140733304824960 140733304822488 4950752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 2093033 2071837 676 1459 0 2091565 0
Current children cumulated CPU time (s) 1797.08
Current children cumulated vsize (KiB) 8372132

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6239
/proc/meminfo: memFree=20647756/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=8134560 CPUtime=1797.49 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 2078477 0 0 0 174875 4874 0 0 20 0 1 0 268666199 8329789440 2012958 33554432000 4194304 10169799 140733304824960 140733304824072 7542233 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 2033640 2012958 681 1459 0 2032172 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 8134560

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6239
/proc/meminfo: memFree=20647756/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=7853740 CPUtime=1797.69 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 2078488 0 0 0 174877 4892 0 0 20 0 1 0 268666199 8042229760 640059 33554432000 4194304 10169799 140733304824960 140733304824072 9174538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 1963435 639622 692 1459 0 1961967 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 7853740

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6239
/proc/meminfo: memFree=20647756/32873844 swapFree=7364/7364
[pid=6161] ppid=6159 vsize=7853740 CPUtime=1797.79 cores=0,2,4,6
/proc/6161/stat : 6161 (scip-2.1.1.4sfi) R 6159 6161 4481 0 -1 4202496 2078488 0 0 0 174877 4902 0 0 20 0 1 0 268666199 8042229760 241602 33554432000 4194304 10169799 140733304824960 140733304824072 9174538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6161/statm: 1963435 241602 692 1459 0 1961967 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 7853740

Child status: 0
Real time (s): 1798.25
CPU time (s): 1797.85
CPU user time (s): 1748.77
CPU system time (s): 49.0765
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 8374340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.77
system time used= 49.0765
maximum resident set size= 8289552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2078490
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= 190
involuntary context switches= 1854

runsolver used 2.6376 second user time and 7.54585 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-26 11:43:34
IDJOB=3692849
IDBENCH=1465
IDSOLVER=2272
FILE ID=node133/3692849-1338025414
RUNJOBID= node133-1338017258-5021
PBS_JOBID= 14624264
Free space on /tmp= 71564 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.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-3692849-1338025414/watcher-3692849-1338025414 -o /tmp/evaluation-result-3692849-1338025414/solver-3692849-1338025414 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692849-1338025414.opb -t 1800 -m 15500

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

MD5SUM BENCH= 1785d65de493315a1e7654bb7aab8248
RANDOM SEED=1814029369

node133.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.540
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.08
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.540
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	: 5331.92
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.540
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	: 5331.92
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.540
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	: 5331.91
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.540
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	: 5331.91
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.540
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	: 5331.90
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.540
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	: 5331.91
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.540
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26610464 kB
Buffers:          248168 kB
Cached:          2778108 kB
SwapCached:            0 kB
Active:          2977804 kB
Inactive:        2504664 kB
Active(anon):    2458708 kB
Inactive(anon):        0 kB
Active(file):     519096 kB
Inactive(file):  2504664 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             21840 kB
Writeback:             0 kB
AnonPages:       2465820 kB
Mapped:            17816 kB
Shmem:               212 kB
Slab:             634916 kB
SReclaimable:      76984 kB
SUnreclaim:       557932 kB
KernelStack:        1464 kB
PageTables:         9068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2703588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    710656 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= 71580 MiB
End job on node133 at 2012-05-26 12:13:32