Trace number 3741391

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1795.77 1796.06

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ns1696083.opb
MD5SUM8188d71a03844e125aafcd8487c80120
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark226.602
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7982
Total number of constraints11063
Number of constraints which are clauses2420
Number of constraints which are cardinality constraints (but not clauses)1207
Number of constraints which are nor clauses,nor cardinality constraints7436
Minimum length of a constraint1
Maximum length of a constraint662
Number of terms in the objective function 55
Biggest coefficient in the objective function 55
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 1540
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2000
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 22480
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.29/0.33	c SCIP version 1.1.0.7
0.29/0.33	c LP-Solver SoPlex 1.4.1
0.29/0.33	c user parameter file <scip.set> not found - using default parameters
0.29/0.33	c read problem <HOME/instance-3741391-1338771408.opb>
0.29/0.33	c original problem has 7982 variables (7982 bin, 0 int, 0 impl, 0 cont) and 11063 constraints
0.39/0.41	c start presolving problem
0.39/0.41	c presolving:
0.49/0.55	c (round 1) 122 del vars, 6 del conss, 122 chg bounds, 7326 chg sides, 7326 chg coeffs, 0 upgd conss, 112 impls, 1192 clqs
0.59/0.65	c (round 2) 142 del vars, 33 del conss, 142 chg bounds, 7458 chg sides, 7458 chg coeffs, 0 upgd conss, 158 impls, 1190 clqs
0.69/0.71	c (round 3) 214 del vars, 163 del conss, 212 chg bounds, 7467 chg sides, 7467 chg coeffs, 0 upgd conss, 394 impls, 1179 clqs
0.69/0.77	c (round 4) 282 del vars, 269 del conss, 280 chg bounds, 7535 chg sides, 7535 chg coeffs, 0 upgd conss, 564 impls, 1179 clqs
0.79/0.84	c (round 5) 339 del vars, 353 del conss, 337 chg bounds, 7605 chg sides, 7605 chg coeffs, 0 upgd conss, 730 impls, 1179 clqs
0.79/0.90	c (round 6) 390 del vars, 433 del conss, 388 chg bounds, 7675 chg sides, 7675 chg coeffs, 0 upgd conss, 896 impls, 1179 clqs
0.89/0.95	c (round 7) 430 del vars, 496 del conss, 428 chg bounds, 7739 chg sides, 7739 chg coeffs, 0 upgd conss, 1122 impls, 1179 clqs
0.99/1.01	c (round 8) 459 del vars, 538 del conss, 457 chg bounds, 7777 chg sides, 7777 chg coeffs, 0 upgd conss, 1214 impls, 1179 clqs
0.99/1.06	c (round 9) 482 del vars, 567 del conss, 480 chg bounds, 7802 chg sides, 7802 chg coeffs, 0 upgd conss, 1234 impls, 1179 clqs
1.10/1.11	c (round 10) 499 del vars, 588 del conss, 497 chg bounds, 7822 chg sides, 7822 chg coeffs, 0 upgd conss, 1272 impls, 1179 clqs
1.10/1.16	c (round 11) 509 del vars, 599 del conss, 507 chg bounds, 7837 chg sides, 7837 chg coeffs, 0 upgd conss, 1272 impls, 1179 clqs
1.10/1.16	c (round 12) 509 del vars, 599 del conss, 507 chg bounds, 7847 chg sides, 7847 chg coeffs, 0 upgd conss, 1272 impls, 1179 clqs
1.28/1.30	c (round 13) 509 del vars, 599 del conss, 507 chg bounds, 7847 chg sides, 7847 chg coeffs, 10464 upgd conss, 1272 impls, 1179 clqs
2.98/3.01	c (round 14) 509 del vars, 814 del conss, 507 chg bounds, 14667 chg sides, 39476 chg coeffs, 10464 upgd conss, 84828 impls, 1708 clqs
4.49/4.54	c (round 15) 623 del vars, 4368 del conss, 507 chg bounds, 14667 chg sides, 42481 chg coeffs, 10464 upgd conss, 84828 impls, 1694 clqs
6.79/6.85	c (round 16) 623 del vars, 4486 del conss, 507 chg bounds, 14962 chg sides, 46076 chg coeffs, 10464 upgd conss, 84908 impls, 1700 clqs
9.09/9.12	c (round 17) 726 del vars, 4736 del conss, 507 chg bounds, 14962 chg sides, 49026 chg coeffs, 10464 upgd conss, 84908 impls, 1687 clqs
12.19/12.24	c (round 18) 726 del vars, 4832 del conss, 507 chg bounds, 15337 chg sides, 52756 chg coeffs, 10464 upgd conss, 84908 impls, 1692 clqs
14.88/14.94	c (round 19) 817 del vars, 5096 del conss, 507 chg bounds, 15337 chg sides, 55651 chg coeffs, 10464 upgd conss, 84908 impls, 1681 clqs
18.38/18.49	c (round 20) 817 del vars, 5190 del conss, 507 chg bounds, 15701 chg sides, 59322 chg coeffs, 10464 upgd conss, 84908 impls, 1685 clqs
21.58/21.66	c (round 21) 906 del vars, 5439 del conss, 507 chg bounds, 15701 chg sides, 62173 chg coeffs, 10464 upgd conss, 84992 impls, 1666 clqs
25.89/25.93	c (round 22) 956 del vars, 5606 del conss, 507 chg bounds, 16129 chg sides, 65952 chg coeffs, 10464 upgd conss, 84992 impls, 1670 clqs
29.49/29.50	c (round 23) 956 del vars, 5655 del conss, 507 chg bounds, 16129 chg sides, 68759 chg coeffs, 10464 upgd conss, 84992 impls, 1670 clqs
33.08/33.11	c (round 24) 1024 del vars, 5831 del conss, 507 chg bounds, 16129 chg sides, 71566 chg coeffs, 10464 upgd conss, 84992 impls, 1662 clqs
37.88/37.97	c (round 25) 1024 del vars, 5901 del conss, 507 chg bounds, 16498 chg sides, 75216 chg coeffs, 10464 upgd conss, 84992 impls, 1665 clqs
42.38/42.47	c (round 26) 1079 del vars, 6067 del conss, 507 chg bounds, 16498 chg sides, 77937 chg coeffs, 10464 upgd conss, 84992 impls, 1658 clqs
47.88/47.91	c (round 27) 1079 del vars, 6111 del conss, 507 chg bounds, 16915 chg sides, 81511 chg coeffs, 10464 upgd conss, 84992 impls, 1661 clqs
52.79/52.85	c (round 28) 1122 del vars, 6275 del conss, 507 chg bounds, 16915 chg sides, 84095 chg coeffs, 10464 upgd conss, 84992 impls, 1656 clqs
58.08/58.20	c (round 29) 1122 del vars, 6317 del conss, 507 chg bounds, 17225 chg sides, 86699 chg coeffs, 10464 upgd conss, 84992 impls, 1658 clqs
61.98/62.02	c (round 30) 1155 del vars, 6427 del conss, 507 chg bounds, 17225 chg sides, 87308 chg coeffs, 10464 upgd conss, 84992 impls, 1654 clqs
64.08/64.10	c (round 31) 1155 del vars, 6449 del conss, 507 chg bounds, 17567 chg sides, 88114 chg coeffs, 10464 upgd conss, 84992 impls, 1656 clqs
66.18/66.26	c (round 32) 1176 del vars, 6557 del conss, 507 chg bounds, 17567 chg sides, 88528 chg coeffs, 10464 upgd conss, 84992 impls, 1654 clqs
67.48/67.50	c (round 33) 1176 del vars, 6577 del conss, 507 chg bounds, 17754 chg sides, 88939 chg coeffs, 10464 upgd conss, 84992 impls, 1654 clqs
67.58/67.69	c (round 34) 1187 del vars, 6632 del conss, 507 chg bounds, 17754 chg sides, 88939 chg coeffs, 10464 upgd conss, 84992 impls, 1653 clqs
68.19/68.24	c (round 35) 1187 del vars, 6675 del conss, 507 chg bounds, 17957 chg sides, 89366 chg coeffs, 10464 upgd conss, 84992 impls, 1653 clqs
68.28/68.39	c (round 36) 1192 del vars, 6752 del conss, 507 chg bounds, 17957 chg sides, 89366 chg coeffs, 10464 upgd conss, 85034 impls, 1648 clqs
68.38/68.42	c (round 37) 1217 del vars, 6797 del conss, 507 chg bounds, 17957 chg sides, 89366 chg coeffs, 10464 upgd conss, 85034 impls, 1648 clqs
68.38/68.44	c (round 38) 1217 del vars, 6802 del conss, 507 chg bounds, 17957 chg sides, 89366 chg coeffs, 10464 upgd conss, 85034 impls, 1648 clqs
68.48/68.53	c (round 39) 1267 del vars, 6802 del conss, 507 chg bounds, 17957 chg sides, 89366 chg coeffs, 10464 upgd conss, 85034 impls, 1619 clqs
70.78/70.88	c (round 40) 1267 del vars, 6869 del conss, 507 chg bounds, 17957 chg sides, 91835 chg coeffs, 10464 upgd conss, 85034 impls, 1619 clqs
73.27/73.35	c (round 41) 1267 del vars, 6870 del conss, 507 chg bounds, 17957 chg sides, 94304 chg coeffs, 10464 upgd conss, 85034 impls, 1619 clqs
75.68/75.75	c (round 42) 1267 del vars, 6870 del conss, 507 chg bounds, 17957 chg sides, 96768 chg coeffs, 10464 upgd conss, 85034 impls, 1619 clqs
78.28/78.38	c (round 43) 1267 del vars, 6870 del conss, 507 chg bounds, 17957 chg sides, 99232 chg coeffs, 10464 upgd conss, 85034 impls, 1619 clqs
81.28/81.36	c (round 44) 1271 del vars, 6902 del conss, 507 chg bounds, 17957 chg sides, 101694 chg coeffs, 10464 upgd conss, 85076 impls, 1615 clqs
84.38/84.46	c (round 45) 1291 del vars, 6937 del conss, 507 chg bounds, 17957 chg sides, 103967 chg coeffs, 10464 upgd conss, 85076 impls, 1615 clqs
87.38/87.40	c (round 46) 1291 del vars, 6942 del conss, 507 chg bounds, 17957 chg sides, 105542 chg coeffs, 10464 upgd conss, 85076 impls, 1615 clqs
89.18/89.27	c (round 47) 1291 del vars, 6942 del conss, 507 chg bounds, 17957 chg sides, 107106 chg coeffs, 10464 upgd conss, 85076 impls, 1615 clqs
91.18/91.26	c (round 48) 1291 del vars, 6942 del conss, 507 chg bounds, 17957 chg sides, 108670 chg coeffs, 10464 upgd conss, 85076 impls, 1615 clqs
93.27/93.33	c (round 49) 1291 del vars, 6942 del conss, 507 chg bounds, 17957 chg sides, 109808 chg coeffs, 10464 upgd conss, 85076 impls, 1615 clqs
94.77/94.82	c (round 50) 1292 del vars, 6946 del conss, 507 chg bounds, 17957 chg sides, 110868 chg coeffs, 10464 upgd conss, 85118 impls, 1614 clqs
96.17/96.28	c (round 51) 1297 del vars, 6951 del conss, 507 chg bounds, 17957 chg sides, 111928 chg coeffs, 10464 upgd conss, 85118 impls, 1614 clqs
97.78/97.86	c (round 52) 1297 del vars, 6956 del conss, 507 chg bounds, 17957 chg sides, 112985 chg coeffs, 10464 upgd conss, 85118 impls, 1614 clqs
99.47/99.57	c (round 53) 1297 del vars, 6956 del conss, 507 chg bounds, 17957 chg sides, 114042 chg coeffs, 10464 upgd conss, 85118 impls, 1614 clqs
101.27/101.34	c (round 54) 1297 del vars, 6956 del conss, 507 chg bounds, 17957 chg sides, 114577 chg coeffs, 10464 upgd conss, 85118 impls, 1614 clqs
102.18/102.26	c (round 55) 1297 del vars, 6956 del conss, 507 chg bounds, 17957 chg sides, 115112 chg coeffs, 10464 upgd conss, 85118 impls, 1614 clqs
103.17/103.24	c (round 56) 1298 del vars, 6964 del conss, 507 chg bounds, 17957 chg sides, 115263 chg coeffs, 10464 upgd conss, 85160 impls, 1613 clqs
103.47/103.52	c (round 57) 1303 del vars, 6969 del conss, 507 chg bounds, 17957 chg sides, 115263 chg coeffs, 10464 upgd conss, 85160 impls, 1613 clqs
103.47/103.55	c (round 58) 1303 del vars, 6974 del conss, 507 chg bounds, 17957 chg sides, 115263 chg coeffs, 10464 upgd conss, 85160 impls, 1613 clqs
103.57/103.63	c (round 59) 1423 del vars, 6974 del conss, 507 chg bounds, 17957 chg sides, 115263 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
105.38/105.42	c (round 60) 1423 del vars, 7112 del conss, 507 chg bounds, 17957 chg sides, 117133 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
107.28/107.33	c (round 61) 1423 del vars, 7117 del conss, 507 chg bounds, 17957 chg sides, 118998 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
109.17/109.21	c (round 62) 1423 del vars, 7117 del conss, 507 chg bounds, 17957 chg sides, 120854 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
111.27/111.33	c (round 63) 1423 del vars, 7117 del conss, 507 chg bounds, 17957 chg sides, 122704 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
113.57/113.64	c (round 64) 1423 del vars, 7117 del conss, 507 chg bounds, 17957 chg sides, 124544 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
116.08/116.14	c (round 65) 1423 del vars, 7117 del conss, 507 chg bounds, 17957 chg sides, 126376 chg coeffs, 10464 upgd conss, 85162 impls, 1588 clqs
118.78/118.83	c (round 66) 1425 del vars, 7124 del conss, 507 chg bounds, 17957 chg sides, 127743 chg coeffs, 10464 upgd conss, 85204 impls, 1586 clqs
120.77/120.89	c (round 67) 1435 del vars, 7139 del conss, 507 chg bounds, 17957 chg sides, 129056 chg coeffs, 10464 upgd conss, 85204 impls, 1586 clqs
122.97/123.02	c (round 68) 1435 del vars, 7144 del conss, 507 chg bounds, 17957 chg sides, 130359 chg coeffs, 10464 upgd conss, 85204 impls, 1586 clqs
125.17/125.26	c (round 69) 1435 del vars, 7144 del conss, 507 chg bounds, 17957 chg sides, 131317 chg coeffs, 10464 upgd conss, 85204 impls, 1586 clqs
126.87/126.92	c (round 70) 1435 del vars, 7144 del conss, 507 chg bounds, 17957 chg sides, 131776 chg coeffs, 10464 upgd conss, 85204 impls, 1586 clqs
127.67/127.76	c (round 71) 1529 del vars, 7144 del conss, 507 chg bounds, 17957 chg sides, 131776 chg coeffs, 10464 upgd conss, 85206 impls, 1578 clqs
128.68/128.73	c (round 72) 1529 del vars, 7246 del conss, 507 chg bounds, 17957 chg sides, 132644 chg coeffs, 10464 upgd conss, 85206 impls, 1578 clqs
129.67/129.77	c (round 73) 1529 del vars, 7248 del conss, 507 chg bounds, 17957 chg sides, 133505 chg coeffs, 10464 upgd conss, 85206 impls, 1578 clqs
130.67/130.76	c (round 74) 1529 del vars, 7248 del conss, 507 chg bounds, 17957 chg sides, 134358 chg coeffs, 10464 upgd conss, 85206 impls, 1578 clqs
131.67/131.79	c (round 75) 1529 del vars, 7248 del conss, 507 chg bounds, 17957 chg sides, 134834 chg coeffs, 10464 upgd conss, 85206 impls, 1578 clqs
132.17/132.21	c (round 76) 1529 del vars, 7248 del conss, 507 chg bounds, 17957 chg sides, 135234 chg coeffs, 10464 upgd conss, 85206 impls, 1578 clqs
132.57/132.60	c (round 77) 1531 del vars, 7254 del conss, 507 chg bounds, 17957 chg sides, 135624 chg coeffs, 10464 upgd conss, 85248 impls, 1576 clqs
132.98/133.02	c (round 78) 1541 del vars, 7269 del conss, 507 chg bounds, 17957 chg sides, 136004 chg coeffs, 10464 upgd conss, 85248 impls, 1576 clqs
133.37/133.49	c (round 79) 1541 del vars, 7274 del conss, 507 chg bounds, 17957 chg sides, 136374 chg coeffs, 10464 upgd conss, 85248 impls, 1576 clqs
133.97/134.04	c (round 80) 1541 del vars, 7274 del conss, 507 chg bounds, 17957 chg sides, 136734 chg coeffs, 10464 upgd conss, 85248 impls, 1576 clqs
134.57/134.60	c (round 81) 1541 del vars, 7274 del conss, 507 chg bounds, 17957 chg sides, 137084 chg coeffs, 10464 upgd conss, 85248 impls, 1576 clqs
135.07/135.13	c (round 82) 1541 del vars, 7274 del conss, 507 chg bounds, 17957 chg sides, 137424 chg coeffs, 10464 upgd conss, 85248 impls, 1576 clqs
135.56/135.65	c (round 83) 1629 del vars, 7274 del conss, 507 chg bounds, 17957 chg sides, 137424 chg coeffs, 10464 upgd conss, 85250 impls, 1568 clqs
135.77/135.83	c (round 84) 1629 del vars, 7370 del conss, 507 chg bounds, 17957 chg sides, 137814 chg coeffs, 10464 upgd conss, 85250 impls, 1568 clqs
135.97/136.00	c (round 85) 1629 del vars, 7370 del conss, 507 chg bounds, 17957 chg sides, 138194 chg coeffs, 10464 upgd conss, 85250 impls, 1568 clqs
136.07/136.15	c (round 86) 1629 del vars, 7370 del conss, 507 chg bounds, 17957 chg sides, 138564 chg coeffs, 10464 upgd conss, 85250 impls, 1568 clqs
136.27/136.36	c (round 87) 1629 del vars, 7370 del conss, 507 chg bounds, 17957 chg sides, 138924 chg coeffs, 10464 upgd conss, 85250 impls, 1568 clqs
136.57/136.61	c (round 88) 1629 del vars, 7370 del conss, 507 chg bounds, 17957 chg sides, 139274 chg coeffs, 10464 upgd conss, 85250 impls, 1568 clqs
136.87/136.92	c (round 89) 1632 del vars, 7379 del conss, 507 chg bounds, 17957 chg sides, 139614 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
137.17/137.25	c (round 90) 1647 del vars, 7404 del conss, 507 chg bounds, 17957 chg sides, 139944 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
137.57/137.62	c (round 91) 1647 del vars, 7409 del conss, 507 chg bounds, 17957 chg sides, 140266 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
137.96/138.05	c (round 92) 1647 del vars, 7409 del conss, 507 chg bounds, 17957 chg sides, 140577 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
138.37/138.50	c (round 93) 1647 del vars, 7409 del conss, 507 chg bounds, 17957 chg sides, 140877 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
138.87/138.93	c (round 94) 1647 del vars, 7409 del conss, 507 chg bounds, 17957 chg sides, 141167 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
139.27/139.36	c (round 95) 1647 del vars, 7409 del conss, 507 chg bounds, 17957 chg sides, 141447 chg coeffs, 10464 upgd conss, 85292 impls, 1565 clqs
139.77/139.80	c (round 96) 1648 del vars, 7413 del conss, 507 chg bounds, 17957 chg sides, 141447 chg coeffs, 10464 upgd conss, 85334 impls, 1564 clqs
140.17/140.25	c (round 97) 1653 del vars, 7418 del conss, 507 chg bounds, 17957 chg sides, 141447 chg coeffs, 10464 upgd conss, 85334 impls, 1564 clqs
140.56/140.68	c (round 98) 1653 del vars, 7423 del conss, 507 chg bounds, 17957 chg sides, 141449 chg coeffs, 10464 upgd conss, 85334 impls, 1564 clqs
141.07/141.15	c (round 99) 1738 del vars, 7423 del conss, 507 chg bounds, 17957 chg sides, 141449 chg coeffs, 10464 upgd conss, 85336 impls, 1557 clqs
141.27/141.35	c (round 100) 1738 del vars, 7515 del conss, 507 chg bounds, 17957 chg sides, 141836 chg coeffs, 10464 upgd conss, 85336 impls, 1557 clqs
141.47/141.58	c (round 101) 1738 del vars, 7516 del conss, 507 chg bounds, 17957 chg sides, 142215 chg coeffs, 10464 upgd conss, 85336 impls, 1557 clqs
141.66/141.75	c (round 102) 1738 del vars, 7516 del conss, 507 chg bounds, 17957 chg sides, 142585 chg coeffs, 10464 upgd conss, 85336 impls, 1557 clqs
141.88/141.98	c (round 103) 1738 del vars, 7516 del conss, 507 chg bounds, 17957 chg sides, 142945 chg coeffs, 10464 upgd conss, 85336 impls, 1557 clqs
142.17/142.21	c (round 104) 1738 del vars, 7516 del conss, 507 chg bounds, 17957 chg sides, 143295 chg coeffs, 10464 upgd conss, 85336 impls, 1557 clqs
142.47/142.50	c (round 105) 1740 del vars, 7522 del conss, 507 chg bounds, 17957 chg sides, 143635 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
143.17/143.26	c (round 106) 1750 del vars, 7537 del conss, 507 chg bounds, 17957 chg sides, 143965 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
143.97/144.00	c (round 107) 1750 del vars, 7542 del conss, 507 chg bounds, 17957 chg sides, 144288 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
144.77/144.81	c (round 108) 1750 del vars, 7542 del conss, 507 chg bounds, 17957 chg sides, 144600 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
145.17/145.23	c (round 109) 1750 del vars, 7542 del conss, 507 chg bounds, 17957 chg sides, 144900 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
145.57/145.64	c (round 110) 1750 del vars, 7542 del conss, 507 chg bounds, 17957 chg sides, 145190 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
145.97/146.05	c (round 111) 1750 del vars, 7542 del conss, 507 chg bounds, 17957 chg sides, 145470 chg coeffs, 10464 upgd conss, 85378 impls, 1555 clqs
146.36/146.47	c (round 112) 1751 del vars, 7545 del conss, 507 chg bounds, 17957 chg sides, 145470 chg coeffs, 10464 upgd conss, 85420 impls, 1554 clqs
146.86/146.91	c (round 113) 1756 del vars, 7550 del conss, 507 chg bounds, 17957 chg sides, 145470 chg coeffs, 10464 upgd conss, 85420 impls, 1554 clqs
147.28/147.30	c (round 114) 1756 del vars, 7555 del conss, 507 chg bounds, 17957 chg sides, 145474 chg coeffs, 10464 upgd conss, 85420 impls, 1554 clqs
147.67/147.73	c (round 115) 1839 del vars, 7555 del conss, 507 chg bounds, 17957 chg sides, 145474 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
147.87/147.92	c (round 116) 1839 del vars, 7645 del conss, 507 chg bounds, 17957 chg sides, 145849 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.06/148.12	c (round 117) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 146216 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.17/148.24	c (round 118) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 146575 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.27/148.40	c (round 119) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 146925 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.47/148.54	c (round 120) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 147265 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.67/148.70	c (round 121) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 147595 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.77/148.89	c (round 122) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 147915 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
148.97/149.09	c (round 123) 1839 del vars, 7647 del conss, 507 chg bounds, 17957 chg sides, 148225 chg coeffs, 10464 upgd conss, 85422 impls, 1547 clqs
149.26/149.32	c (round 124) 1840 del vars, 7650 del conss, 507 chg bounds, 17957 chg sides, 148525 chg coeffs, 10464 upgd conss, 85464 impls, 1546 clqs
149.86/149.94	c (round 125) 1845 del vars, 7655 del conss, 507 chg bounds, 17957 chg sides, 148815 chg coeffs, 10464 upgd conss, 85464 impls, 1546 clqs
150.47/150.53	c (round 126) 1845 del vars, 7660 del conss, 507 chg bounds, 17957 chg sides, 149098 chg coeffs, 10464 upgd conss, 85464 impls, 1546 clqs
151.07/151.16	c (round 127) 1845 del vars, 7660 del conss, 507 chg bounds, 17957 chg sides, 149368 chg coeffs, 10464 upgd conss, 85464 impls, 1546 clqs
151.37/151.43	c (round 128) 1845 del vars, 7660 del conss, 507 chg bounds, 17957 chg sides, 149628 chg coeffs, 10464 upgd conss, 85464 impls, 1546 clqs
151.87/151.95	c (round 129) 1895 del vars, 7660 del conss, 507 chg bounds, 17957 chg sides, 149628 chg coeffs, 10464 upgd conss, 86952 impls, 1529 clqs
154.46/154.56	c (round 130) 1895 del vars, 7775 del conss, 507 chg bounds, 17957 chg sides, 150425 chg coeffs, 10464 upgd conss, 86952 impls, 1529 clqs
155.86/155.92	c (round 131) 1895 del vars, 7793 del conss, 507 chg bounds, 17957 chg sides, 150875 chg coeffs, 10464 upgd conss, 86952 impls, 1529 clqs
157.17/157.29	c (round 132) 1945 del vars, 7793 del conss, 507 chg bounds, 17957 chg sides, 150876 chg coeffs, 10464 upgd conss, 138342 impls, 1520 clqs
159.06/159.18	c (round 133) 1945 del vars, 7899 del conss, 507 chg bounds, 18935 chg sides, 153388 chg coeffs, 10464 upgd conss, 194732 impls, 1520 clqs
160.77/160.83	c (round 134) 1952 del vars, 8405 del conss, 507 chg bounds, 18935 chg sides, 153904 chg coeffs, 10464 upgd conss, 194732 impls, 1513 clqs
161.06/161.18	c (round 135) 1952 del vars, 8419 del conss, 507 chg bounds, 18935 chg sides, 154380 chg coeffs, 10464 upgd conss, 194732 impls, 1513 clqs
161.46/161.56	c (round 136) 1952 del vars, 8419 del conss, 507 chg bounds, 18935 chg sides, 154817 chg coeffs, 10464 upgd conss, 194732 impls, 1513 clqs
161.87/161.92	c (round 137) 1952 del vars, 8419 del conss, 507 chg bounds, 18935 chg sides, 155217 chg coeffs, 10464 upgd conss, 194732 impls, 1513 clqs
162.17/162.27	c (round 138) 1952 del vars, 8419 del conss, 507 chg bounds, 18935 chg sides, 155582 chg coeffs, 10464 upgd conss, 194732 impls, 1513 clqs
162.56/162.62	c (round 139) 1952 del vars, 8419 del conss, 507 chg bounds, 18935 chg sides, 155771 chg coeffs, 10464 upgd conss, 194732 impls, 1513 clqs
163.17/163.26	c (round 140) 2002 del vars, 8419 del conss, 507 chg bounds, 18935 chg sides, 155771 chg coeffs, 10464 upgd conss, 211048 impls, 1505 clqs
165.06/165.10	c (round 141) 2002 del vars, 8525 del conss, 507 chg bounds, 18935 chg sides, 155900 chg coeffs, 10464 upgd conss, 211048 impls, 1505 clqs
165.26/165.37	c (round 142) 2002 del vars, 8537 del conss, 507 chg bounds, 18935 chg sides, 155900 chg coeffs, 10464 upgd conss, 211048 impls, 1505 clqs
165.97/166.08	c (round 143) 2052 del vars, 8537 del conss, 507 chg bounds, 18935 chg sides, 155900 chg coeffs, 10464 upgd conss, 248502 impls, 1503 clqs
168.17/168.25	c (round 144) 2052 del vars, 8639 del conss, 507 chg bounds, 18935 chg sides, 156066 chg coeffs, 10464 upgd conss, 248502 impls, 1503 clqs
168.46/168.54	c (round 145) 2052 del vars, 8643 del conss, 507 chg bounds, 18935 chg sides, 156068 chg coeffs, 10464 upgd conss, 248502 impls, 1503 clqs
170.97/171.06	c (round 146) 2102 del vars, 8643 del conss, 507 chg bounds, 18935 chg sides, 156069 chg coeffs, 10464 upgd conss, 459656 impls, 1500 clqs
173.07/173.18	c (round 147) 2102 del vars, 8747 del conss, 507 chg bounds, 18937 chg sides, 156329 chg coeffs, 10464 upgd conss, 459656 impls, 1501 clqs
173.77/173.82	c (round 148) 2102 del vars, 8758 del conss, 507 chg bounds, 18953 chg sides, 156513 chg coeffs, 10464 upgd conss, 459656 impls, 1516 clqs
174.16/174.29	c (round 149) 2102 del vars, 8774 del conss, 507 chg bounds, 18953 chg sides, 156513 chg coeffs, 10464 upgd conss, 459656 impls, 1516 clqs
176.77/176.86	c (round 150) 2152 del vars, 8774 del conss, 507 chg bounds, 18953 chg sides, 156513 chg coeffs, 10464 upgd conss, 679832 impls, 1510 clqs
178.96/179.05	c (round 151) 2152 del vars, 8856 del conss, 507 chg bounds, 18963 chg sides, 157010 chg coeffs, 10464 upgd conss, 679832 impls, 1513 clqs
180.67/180.71	c (round 152) 2152 del vars, 8873 del conss, 507 chg bounds, 18974 chg sides, 157156 chg coeffs, 10464 upgd conss, 679832 impls, 1524 clqs
181.06/181.13	c (round 153) 2152 del vars, 8902 del conss, 507 chg bounds, 18977 chg sides, 157189 chg coeffs, 10464 upgd conss, 679832 impls, 1527 clqs
181.46/181.52	c (round 154) 2152 del vars, 8905 del conss, 507 chg bounds, 18977 chg sides, 157189 chg coeffs, 10464 upgd conss, 679832 impls, 1527 clqs
182.26/182.38	c    (181.6s) probing: 1000/6765 (14.8%) - 827 fixings, 0 aggregations, 273303 implications, 0 bound changes
183.57/183.66	c (round 155) 2202 del vars, 8905 del conss, 507 chg bounds, 18977 chg sides, 157189 chg coeffs, 10464 upgd conss, 849428 impls, 1504 clqs
185.77/185.80	c (round 156) 2202 del vars, 8942 del conss, 507 chg bounds, 19055 chg sides, 158140 chg coeffs, 10464 upgd conss, 849432 impls, 1534 clqs
187.76/187.88	c (round 157) 2202 del vars, 9033 del conss, 507 chg bounds, 19055 chg sides, 158140 chg coeffs, 10464 upgd conss, 849432 impls, 1534 clqs
189.56/189.66	c (round 158) 2252 del vars, 9033 del conss, 507 chg bounds, 19055 chg sides, 158140 chg coeffs, 10464 upgd conss, 992478 impls, 1505 clqs
191.66/191.79	c (round 159) 2252 del vars, 9084 del conss, 507 chg bounds, 19121 chg sides, 158939 chg coeffs, 10464 upgd conss, 992482 impls, 1526 clqs
193.76/193.82	c (round 160) 2252 del vars, 9170 del conss, 507 chg bounds, 19121 chg sides, 158941 chg coeffs, 10464 upgd conss, 992482 impls, 1526 clqs
195.77/195.85	c (round 161) 2302 del vars, 9170 del conss, 507 chg bounds, 19121 chg sides, 158941 chg coeffs, 10464 upgd conss, 1159678 impls, 1507 clqs
197.87/197.93	c (round 162) 2302 del vars, 9214 del conss, 507 chg bounds, 19163 chg sides, 159423 chg coeffs, 10464 upgd conss, 1159680 impls, 1520 clqs
199.96/200.00	c (round 163) 2302 del vars, 9289 del conss, 507 chg bounds, 19163 chg sides, 159423 chg coeffs, 10464 upgd conss, 1159680 impls, 1520 clqs
202.86/202.92	c    (202.1s) probing: 2000/6765 (29.6%) - 1013 fixings, 0 aggregations, 569817 implications, 0 bound changes
203.26/203.34	c (round 164) 2352 del vars, 9289 del conss, 507 chg bounds, 19163 chg sides, 159423 chg coeffs, 10464 upgd conss, 1453706 impls, 1493 clqs
205.25/205.38	c (round 165) 2352 del vars, 9333 del conss, 507 chg bounds, 19193 chg sides, 159783 chg coeffs, 10464 upgd conss, 1453710 impls, 1505 clqs
207.26/207.34	c (round 166) 2352 del vars, 9383 del conss, 507 chg bounds, 19193 chg sides, 159783 chg coeffs, 10464 upgd conss, 1453710 impls, 1505 clqs
211.06/211.19	c (round 167) 2402 del vars, 9383 del conss, 507 chg bounds, 19193 chg sides, 159783 chg coeffs, 10464 upgd conss, 1782900 impls, 1480 clqs
213.16/213.20	c (round 168) 2402 del vars, 9447 del conss, 507 chg bounds, 19222 chg sides, 160150 chg coeffs, 10464 upgd conss, 1782904 impls, 1496 clqs
215.06/215.12	c (round 169) 2402 del vars, 9480 del conss, 507 chg bounds, 19222 chg sides, 160150 chg coeffs, 10464 upgd conss, 1782904 impls, 1496 clqs
218.65/218.73	c (round 170) 2452 del vars, 9481 del conss, 507 chg bounds, 19222 chg sides, 160150 chg coeffs, 10464 upgd conss, 2095222 impls, 1482 clqs
220.66/220.72	c (round 171) 2452 del vars, 9549 del conss, 507 chg bounds, 19256 chg sides, 160573 chg coeffs, 10464 upgd conss, 2095226 impls, 1498 clqs
222.55/222.61	c (round 172) 2452 del vars, 9584 del conss, 507 chg bounds, 19256 chg sides, 160573 chg coeffs, 10464 upgd conss, 2095226 impls, 1498 clqs
222.86/222.99	c    (222.1s) probing: 3000/6765 (44.3%) - 1122 fixings, 0 aggregations, 874534 implications, 0 bound changes
225.86/225.94	c (round 173) 2502 del vars, 9584 del conss, 507 chg bounds, 19256 chg sides, 160573 chg coeffs, 10464 upgd conss, 2370044 impls, 1486 clqs
227.76/227.89	c (round 174) 2502 del vars, 9655 del conss, 507 chg bounds, 19282 chg sides, 160903 chg coeffs, 10464 upgd conss, 2370048 impls, 1498 clqs
229.66/229.76	c (round 175) 2502 del vars, 9689 del conss, 507 chg bounds, 19282 chg sides, 160903 chg coeffs, 10464 upgd conss, 2370048 impls, 1498 clqs
231.76/231.81	c (round 176) 2552 del vars, 9689 del conss, 507 chg bounds, 19282 chg sides, 160903 chg coeffs, 10464 upgd conss, 2523058 impls, 1489 clqs
233.66/233.74	c (round 177) 2552 del vars, 9774 del conss, 507 chg bounds, 19305 chg sides, 161197 chg coeffs, 10464 upgd conss, 2523062 impls, 1501 clqs
235.45/235.57	c (round 178) 2552 del vars, 9797 del conss, 507 chg bounds, 19305 chg sides, 161197 chg coeffs, 10464 upgd conss, 2523062 impls, 1501 clqs
236.85/236.96	c (round 179) 2602 del vars, 9797 del conss, 507 chg bounds, 19305 chg sides, 161197 chg coeffs, 10464 upgd conss, 2614060 impls, 1494 clqs
238.76/238.88	c (round 180) 2602 del vars, 9885 del conss, 507 chg bounds, 19319 chg sides, 161375 chg coeffs, 10464 upgd conss, 2614064 impls, 1502 clqs
240.66/240.73	c (round 181) 2602 del vars, 9903 del conss, 507 chg bounds, 19319 chg sides, 161375 chg coeffs, 10464 upgd conss, 2614064 impls, 1502 clqs
241.75/241.88	c    (240.9s) probing: 4000/6765 (59.1%) - 1310 fixings, 0 aggregations, 1108745 implications, 0 bound changes
242.05/242.14	c (round 182) 2652 del vars, 9903 del conss, 507 chg bounds, 19319 chg sides, 161375 chg coeffs, 10464 upgd conss, 2707054 impls, 1494 clqs
243.95/244.05	c (round 183) 2652 del vars, 9986 del conss, 507 chg bounds, 19326 chg sides, 161462 chg coeffs, 10464 upgd conss, 2707058 impls, 1498 clqs
245.75/245.87	c (round 184) 2652 del vars, 10001 del conss, 507 chg bounds, 19326 chg sides, 161462 chg coeffs, 10464 upgd conss, 2707058 impls, 1498 clqs
245.85/245.92	c (round 185) 2652 del vars, 10008 del conss, 507 chg bounds, 19326 chg sides, 161462 chg coeffs, 10464 upgd conss, 2707058 impls, 1498 clqs
246.95/247.05	c (round 186) 2702 del vars, 10008 del conss, 507 chg bounds, 19326 chg sides, 161462 chg coeffs, 10464 upgd conss, 2778876 impls, 1489 clqs
248.86/248.94	c (round 187) 2702 del vars, 10092 del conss, 507 chg bounds, 19329 chg sides, 161506 chg coeffs, 10464 upgd conss, 2778876 impls, 1490 clqs
249.35/249.40	c (round 188) 2702 del vars, 10099 del conss, 507 chg bounds, 19329 chg sides, 161506 chg coeffs, 10464 upgd conss, 2778876 impls, 1490 clqs
250.35/250.41	c (round 189) 2752 del vars, 10100 del conss, 507 chg bounds, 19329 chg sides, 161506 chg coeffs, 10464 upgd conss, 2834992 impls, 1481 clqs
252.25/252.32	c (round 190) 2752 del vars, 10187 del conss, 507 chg bounds, 19334 chg sides, 161568 chg coeffs, 10464 upgd conss, 2834996 impls, 1484 clqs
253.75/253.86	c (round 191) 2752 del vars, 10198 del conss, 507 chg bounds, 19334 chg sides, 161568 chg coeffs, 10464 upgd conss, 2834996 impls, 1484 clqs
254.85/254.98	c (round 192) 2802 del vars, 10199 del conss, 507 chg bounds, 19334 chg sides, 161568 chg coeffs, 10464 upgd conss, 2903184 impls, 1477 clqs
256.75/256.85	c (round 193) 2802 del vars, 10281 del conss, 507 chg bounds, 19340 chg sides, 161667 chg coeffs, 10464 upgd conss, 2903184 impls, 1478 clqs
257.35/257.49	c (round 194) 2802 del vars, 10296 del conss, 507 chg bounds, 19340 chg sides, 161667 chg coeffs, 10464 upgd conss, 2903184 impls, 1478 clqs
258.36/258.48	c (round 195) 2852 del vars, 10297 del conss, 507 chg bounds, 19340 chg sides, 161667 chg coeffs, 10464 upgd conss, 2963144 impls, 1464 clqs
260.25/260.37	c (round 196) 2852 del vars, 10375 del conss, 507 chg bounds, 19350 chg sides, 161788 chg coeffs, 10464 upgd conss, 2963148 impls, 1468 clqs
261.85/261.96	c (round 197) 2872 del vars, 10409 del conss, 507 chg bounds, 19350 chg sides, 161788 chg coeffs, 10464 upgd conss, 2963148 impls, 1464 clqs
262.15/262.29	c (round 198) 2872 del vars, 10442 del conss, 507 chg bounds, 19564 chg sides, 162284 chg coeffs, 10464 upgd conss, 2963148 impls, 1464 clqs
262.25/262.37	c (round 199) 2872 del vars, 10460 del conss, 507 chg bounds, 19564 chg sides, 162284 chg coeffs, 10464 upgd conss, 2963148 impls, 1464 clqs
262.35/262.40	c (round 200) 2872 del vars, 10467 del conss, 507 chg bounds, 19564 chg sides, 162284 chg coeffs, 10464 upgd conss, 2963148 impls, 1464 clqs
262.35/262.43	c (round 201) 2872 del vars, 10476 del conss, 507 chg bounds, 19564 chg sides, 162284 chg coeffs, 10464 upgd conss, 2963148 impls, 1464 clqs
262.35/262.44	c (round 202) 2872 del vars, 10485 del conss, 507 chg bounds, 19564 chg sides, 162284 chg coeffs, 10464 upgd conss, 2963148 impls, 1464 clqs
263.35/263.42	c (round 203) 2922 del vars, 10486 del conss, 507 chg bounds, 19564 chg sides, 162284 chg coeffs, 10464 upgd conss, 3028846 impls, 1452 clqs
265.15/265.27	c (round 204) 2922 del vars, 10564 del conss, 507 chg bounds, 19575 chg sides, 162471 chg coeffs, 10464 upgd conss, 3028850 impls, 1457 clqs
266.75/266.86	c (round 205) 2944 del vars, 10605 del conss, 507 chg bounds, 19575 chg sides, 162517 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
267.05/267.20	c (round 206) 2944 del vars, 10609 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
267.15/267.29	c (round 207) 2944 del vars, 10658 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
267.26/267.32	c (round 208) 2944 del vars, 10659 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
267.26/267.36	c (round 209) 2944 del vars, 10666 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
267.26/267.39	c (round 210) 2944 del vars, 10673 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
267.35/267.43	c (round 211) 2944 del vars, 10680 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3028850 impls, 1449 clqs
268.55/268.67	c (round 212) 3031 del vars, 10680 del conss, 507 chg bounds, 19757 chg sides, 162927 chg coeffs, 10464 upgd conss, 3113006 impls, 1436 clqs
270.35/270.48	c (round 213) 3031 del vars, 10817 del conss, 507 chg bounds, 19769 chg sides, 163071 chg coeffs, 10464 upgd conss, 3113008 impls, 1438 clqs
271.65/271.75	c (round 214) 3052 del vars, 10863 del conss, 507 chg bounds, 19769 chg sides, 163071 chg coeffs, 10464 upgd conss, 3113008 impls, 1431 clqs
271.95/272.06	c (round 215) 3052 del vars, 10905 del conss, 507 chg bounds, 19929 chg sides, 163279 chg coeffs, 10464 upgd conss, 3113008 impls, 1431 clqs
272.05/272.18	c (round 216) 3064 del vars, 10926 del conss, 507 chg bounds, 19929 chg sides, 163279 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.45/272.51	c (round 217) 3064 del vars, 10930 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.54/272.62	c (round 218) 3064 del vars, 10964 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.54/272.64	c (round 219) 3064 del vars, 10967 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.54/272.65	c (round 220) 3064 del vars, 10970 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.54/272.66	c (round 221) 3064 del vars, 10973 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.54/272.67	c (round 222) 3064 del vars, 10976 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.54/272.68	c (round 223) 3064 del vars, 10979 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3113008 impls, 1427 clqs
272.65/272.79	c    (271.7s) probing: 5000/6765 (73.9%) - 1658 fixings, 0 aggregations, 1272843 implications, 0 bound changes
273.95/274.05	c (round 224) 3114 del vars, 10979 del conss, 507 chg bounds, 20142 chg sides, 163658 chg coeffs, 10464 upgd conss, 3215474 impls, 1412 clqs
275.75/275.81	c (round 225) 3114 del vars, 11006 del conss, 507 chg bounds, 20168 chg sides, 164001 chg coeffs, 10464 upgd conss, 3215494 impls, 1414 clqs
276.85/276.99	c (round 226) 3114 del vars, 11066 del conss, 507 chg bounds, 20168 chg sides, 164003 chg coeffs, 10464 upgd conss, 3215494 impls, 1414 clqs
276.95/277.03	c (round 227) 3114 del vars, 11070 del conss, 507 chg bounds, 20168 chg sides, 164005 chg coeffs, 10464 upgd conss, 3215494 impls, 1414 clqs
277.64/277.75	c (round 228) 3164 del vars, 11070 del conss, 507 chg bounds, 20168 chg sides, 164006 chg coeffs, 10464 upgd conss, 3263082 impls, 1404 clqs
279.35/279.49	c (round 229) 3164 del vars, 11104 del conss, 507 chg bounds, 20200 chg sides, 164433 chg coeffs, 10464 upgd conss, 3263104 impls, 1407 clqs
280.65/280.72	c (round 230) 3165 del vars, 11168 del conss, 507 chg bounds, 20201 chg sides, 164447 chg coeffs, 10464 upgd conss, 3263104 impls, 1405 clqs
280.65/280.73	c (round 231) 3165 del vars, 11171 del conss, 507 chg bounds, 20201 chg sides, 164447 chg coeffs, 10464 upgd conss, 3263104 impls, 1405 clqs
280.65/280.78	c (round 232) 3175 del vars, 11172 del conss, 507 chg bounds, 20201 chg sides, 164447 chg coeffs, 10464 upgd conss, 3263104 impls, 1403 clqs
280.95/281.07	c (round 233) 3175 del vars, 11199 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3263104 impls, 1404 clqs
281.55/281.63	c (round 234) 3175 del vars, 11211 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3263104 impls, 1404 clqs
281.55/281.64	c (round 235) 3175 del vars, 11216 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3263104 impls, 1404 clqs
281.55/281.66	c (round 236) 3175 del vars, 11221 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3263104 impls, 1404 clqs
281.55/281.67	c (round 237) 3175 del vars, 11226 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3263104 impls, 1404 clqs
281.55/281.68	c (round 238) 3175 del vars, 11227 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3263104 impls, 1404 clqs
282.34/282.44	c (round 239) 3225 del vars, 11227 del conss, 507 chg bounds, 20382 chg sides, 164766 chg coeffs, 10464 upgd conss, 3319400 impls, 1392 clqs
284.04/284.14	c (round 240) 3225 del vars, 11268 del conss, 507 chg bounds, 20431 chg sides, 165177 chg coeffs, 10464 upgd conss, 3319422 impls, 1394 clqs
284.85/284.90	c (round 241) 3225 del vars, 11337 del conss, 507 chg bounds, 20431 chg sides, 165177 chg coeffs, 10464 upgd conss, 3319422 impls, 1394 clqs
285.24/285.31	c (round 242) 3275 del vars, 11337 del conss, 507 chg bounds, 20431 chg sides, 165177 chg coeffs, 10464 upgd conss, 3340570 impls, 1380 clqs
287.34/287.42	c (round 243) 3275 del vars, 11362 del conss, 507 chg bounds, 20870 chg sides, 166110 chg coeffs, 10464 upgd conss, 3340592 impls, 1382 clqs
288.15/288.21	c (round 244) 3275 del vars, 11497 del conss, 507 chg bounds, 20873 chg sides, 166195 chg coeffs, 10464 upgd conss, 3340592 impls, 1383 clqs
288.75/288.82	c (round 245) 3275 del vars, 11548 del conss, 507 chg bounds, 20925 chg sides, 166767 chg coeffs, 10464 upgd conss, 3340592 impls, 1384 clqs
288.94/289.04	c (round 246) 3275 del vars, 11557 del conss, 507 chg bounds, 20925 chg sides, 166767 chg coeffs, 10464 upgd conss, 3340592 impls, 1384 clqs
289.44/289.57	c (round 247) 3325 del vars, 11557 del conss, 507 chg bounds, 20925 chg sides, 166767 chg coeffs, 10464 upgd conss, 3373376 impls, 1375 clqs
291.35/291.41	c (round 248) 3325 del vars, 11630 del conss, 507 chg bounds, 21162 chg sides, 167484 chg coeffs, 10464 upgd conss, 3373378 impls, 1375 clqs
291.55/291.63	c (round 249) 3325 del vars, 11698 del conss, 507 chg bounds, 21184 chg sides, 167726 chg coeffs, 10464 upgd conss, 3373378 impls, 1375 clqs
291.64/291.70	c (round 250) 3325 del vars, 11703 del conss, 507 chg bounds, 21184 chg sides, 167726 chg coeffs, 10464 upgd conss, 3373378 impls, 1375 clqs
291.64/291.74	c (round 251) 3325 del vars, 11705 del conss, 507 chg bounds, 21184 chg sides, 167726 chg coeffs, 10464 upgd conss, 3373378 impls, 1375 clqs
292.55/292.66	c (round 252) 3375 del vars, 11705 del conss, 507 chg bounds, 21184 chg sides, 167726 chg coeffs, 10464 upgd conss, 3438264 impls, 1367 clqs
294.15/294.21	c (round 253) 3375 del vars, 11710 del conss, 507 chg bounds, 21270 chg sides, 168692 chg coeffs, 10464 upgd conss, 3438264 impls, 1369 clqs
295.14/295.28	c (round 254) 3376 del vars, 11852 del conss, 507 chg bounds, 21270 chg sides, 168712 chg coeffs, 10464 upgd conss, 3438264 impls, 1367 clqs
295.24/295.32	c (round 255) 3376 del vars, 11854 del conss, 507 chg bounds, 21270 chg sides, 168712 chg coeffs, 10464 upgd conss, 3438264 impls, 1367 clqs
295.45/295.55	c    (294.4s) probing: 6000/6765 (88.7%) - 1995 fixings, 0 aggregations, 1385232 implications, 0 bound changes
295.45/295.58	c (round 256) 3426 del vars, 11854 del conss, 507 chg bounds, 21270 chg sides, 168712 chg coeffs, 10464 upgd conss, 3443464 impls, 1351 clqs
297.14/297.22	c (round 257) 3426 del vars, 11856 del conss, 507 chg bounds, 21442 chg sides, 169522 chg coeffs, 10464 upgd conss, 3443464 impls, 1351 clqs
297.44/297.53	c (round 258) 3428 del vars, 12019 del conss, 507 chg bounds, 21449 chg sides, 169592 chg coeffs, 10464 upgd conss, 3443464 impls, 1348 clqs
297.84/297.91	c (round 259) 3428 del vars, 12024 del conss, 507 chg bounds, 21449 chg sides, 169595 chg coeffs, 10464 upgd conss, 3443464 impls, 1348 clqs
297.84/297.96	c (round 260) 3428 del vars, 12038 del conss, 507 chg bounds, 21452 chg sides, 169625 chg coeffs, 10464 upgd conss, 3443464 impls, 1348 clqs
297.95/298.10	c (round 261) 3463 del vars, 12038 del conss, 507 chg bounds, 21452 chg sides, 169625 chg coeffs, 10464 upgd conss, 3443882 impls, 1317 clqs
299.25/299.30	c (round 262) 3463 del vars, 12128 del conss, 507 chg bounds, 21519 chg sides, 170073 chg coeffs, 10464 upgd conss, 3443882 impls, 1317 clqs
299.35/299.45	c (round 263) 3463 del vars, 12182 del conss, 507 chg bounds, 21532 chg sides, 170217 chg coeffs, 10464 upgd conss, 3443882 impls, 1319 clqs
299.85/299.97	c (round 264) 3463 del vars, 12184 del conss, 507 chg bounds, 21532 chg sides, 170217 chg coeffs, 10464 upgd conss, 3443882 impls, 1319 clqs
299.94/300.00	c presolving (265 rounds):
299.94/300.00	c  3463 deleted vars, 12184 deleted constraints, 507 tightened bounds, 0 added holes, 21532 changed sides, 170217 changed coefficients
299.94/300.00	c  3443882 implications, 1319 cliques
299.94/300.00	c presolved problem has 4519 variables (4519 bin, 0 int, 0 impl, 0 cont) and 9146 constraints
299.94/300.00	c    1450 constraints of type <knapsack>
299.94/300.00	c    5662 constraints of type <setppc>
299.94/300.00	c    2034 constraints of type <logicor>
299.94/300.00	c transformed objective value is always integral (scale: 1)
299.94/300.00	c Presolving Time: 298.74
299.94/300.00	c OPT-LIN
299.94/300.00	c -----------------------------------------------------------------------------------------------
299.94/300.00	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
299.94/300.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
299.94/300.00	c limits/memory = c 13950
299.94/300.00	c # maximal time in seconds to run
299.94/300.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
299.94/300.00	c limits/time = c 1791
299.94/300.00	c # frequency for displaying node information lines
299.94/300.00	c # [type: int, range: [-1,2147483647], default: 100]
299.94/300.00	c display/freq = c 10000
299.94/300.00	c -----------------------------------------------------------------------------------------------
299.94/300.00	c start solving problem
299.94/300.00	c 
303.14/303.28	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
303.14/303.28	c   302s|     1 |     0 |  5012 | 153M|   0 | 802 |4519 |9146 |9146 |4519 |9146 |   0 |   0 |   0 | 1.205920e+01 |      --      |    Inf 
332.23/332.38	c   331s|     1 |     0 | 22116 | 154M|   0 | 766 |4519 |9146 |9146 |4519 |9534 | 388 |   0 |   0 | 1.216753e+01 |      --      |    Inf 
335.74/335.81	c   334s|     1 |     0 | 24158 | 154M|   0 | 816 |4519 |9146 |9146 |4519 |9623 | 477 |   0 |   0 | 1.218919e+01 |      --      |    Inf 
340.44/340.55	c   339s|     1 |     0 | 27104 | 154M|   0 | 864 |4519 |9146 |9146 |4519 |9661 | 515 |   0 |   0 | 1.218919e+01 |      --      |    Inf 
352.84/352.92	c   351s|     1 |     0 | 36297 | 154M|   0 | 981 |4519 |9146 |9146 |4519 |9705 | 559 |   0 |   0 | 1.302249e+01 |      --      |    Inf 
359.43/359.58	c   358s|     1 |     0 | 40380 | 154M|   0 | 946 |4519 |9146 |9146 |4519 |9840 | 694 |   0 |   0 | 1.302249e+01 |      --      |    Inf 
367.73/367.84	c   366s|     1 |     0 | 45477 | 154M|   0 | 965 |4519 |9146 |9146 |4519 |9927 | 781 |   0 |   0 | 1.302249e+01 |      --      |    Inf 
377.63/377.72	c   376s|     1 |     0 | 51585 | 155M|   0 |1025 |4519 |9146 |9146 |4519 |  10k| 887 |   0 |   0 | 1.302249e+01 |      --      |    Inf 
386.63/386.75	c   385s|     1 |     0 | 57347 | 155M|   0 |1000 |4519 |9146 |9146 |4519 |  10k| 984 |   0 |   0 | 1.407692e+01 |      --      |    Inf 
424.12/424.27	c   423s|     1 |     0 | 78347 | 155M|   0 | 822 |4519 |9146 |9146 |4519 |  10k|1220 |   0 |   0 | 1.743243e+01 |      --      |    Inf 
443.72/443.86	c   442s|     1 |     0 | 90769 | 156M|   0 | 862 |4519 |9146 |9146 |4519 |  10k|1352 |   0 |   0 | 1.752821e+01 |      --      |    Inf 
452.03/452.13	c   450s|     1 |     0 | 96231 | 160M|   0 | 791 |4519 |9146 |9146 |4519 |  10k|1486 |   0 |   0 | 1.814854e+01 |      --      |    Inf 
457.72/457.83	c   456s|     1 |     0 |100018 | 161M|   0 | 893 |4519 |9146 |9146 |4519 |  10k|1608 |   0 |   0 | 1.814854e+01 |      --      |    Inf 
464.32/464.40	c   463s|     1 |     0 |104087 | 162M|   0 | 856 |4519 |9146 |9146 |4519 |  10k|1683 |   0 |   0 | 1.842676e+01 |      --      |    Inf 
476.22/476.31	c   474s|     1 |     0 |112924 | 162M|   0 | 859 |4519 |9146 |9146 |4519 |  10k|1810 |   0 |   0 | 1.887640e+01 |      --      |    Inf 
480.52/480.61	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
480.52/480.61	c   479s|     1 |     0 |115267 | 162M|   0 | 944 |4519 |9146 |9146 |4519 |  10k|1856 |   0 |   0 | 1.887640e+01 |      --      |    Inf 
527.11/527.22	c   525s|     1 |     0 |144576 | 162M|   0 |1207 |4519 |9146 |9146 |4519 |  10k|1925 |   0 |   0 | 1.900002e+01 |      --      |    Inf 
702.48/702.68	c   700s|     1 |     0 |240526 | 162M|   0 |1400 |4519 |9146 |9146 |4519 |  10k|1983 |   0 |   0 | 1.900002e+01 |      --      |    Inf 
889.94/890.16	c   888s|     1 |     0 |350248 | 162M|   0 |1426 |4519 |9146 |9146 |4519 |  10k|2089 |   0 |   0 | 1.900003e+01 |      --      |    Inf 
984.13/984.36	c   982s|     1 |     0 |411808 | 162M|   0 |1000 |4519 |9146 |9146 |4519 |  10k|2160 |   0 |   0 | 1.900446e+01 |      --      |    Inf 
1002.62/1002.83	c  1000s|     1 |     0 |424310 | 162M|   0 | 907 |4519 |9146 |9146 |4519 |  10k|2250 |   0 |   0 | 1.901403e+01 |      --      |    Inf 
1020.53/1020.72	c  1018s|     1 |     0 |436939 | 162M|   0 | 812 |4519 |9146 |9146 |4519 |  10k|2308 |   0 |   0 | 1.902532e+01 |      --      |    Inf 
1028.92/1029.18	c  1026s|     1 |     0 |443505 | 162M|   0 | 766 |4519 |9146 |9146 |4519 |  10k|2339 |   0 |   0 | 1.902532e+01 |      --      |    Inf 
1039.02/1039.25	c  1036s|     1 |     0 |451636 | 162M|   0 | 804 |4519 |9146 |9146 |4519 |  10k|2362 |   0 |   0 | 1.902532e+01 |      --      |    Inf 
1052.52/1052.75	c  1050s|     1 |     0 |462634 | 163M|   0 | 799 |4519 |9146 |9146 |4519 |  10k|2379 |   0 |   0 | 1.944231e+01 |      --      |    Inf 
1059.32/1059.56	c  1057s|     1 |     0 |468560 | 164M|   0 | 825 |4519 |9146 |9146 |4519 |  10k|2460 |   0 |   0 | 2.036735e+01 |      --      |    Inf 
1081.21/1081.44	c  1079s|     1 |     0 |485269 | 165M|   0 | 859 |4519 |9146 |9146 |4519 |  10k|2519 |   0 |   0 | 2.301746e+01 |      --      |    Inf 
1094.81/1095.01	c  1092s|     1 |     0 |494950 | 165M|   0 | 845 |4519 |9146 |9146 |4519 |  10k|2584 |   0 |   0 | 2.301746e+01 |      --      |    Inf 
1114.41/1114.63	c  1112s|     1 |     0 |509200 | 165M|   0 | 918 |4519 |9146 |9146 |4519 |  10k|2646 |   0 |   0 | 2.303493e+01 |      --      |    Inf 
1123.81/1124.09	c  1121s|     1 |     0 |516511 | 165M|   0 | 853 |4519 |9146 |9146 |4519 |9993 |2690 |   0 |   0 | 2.303493e+01 |      --      |    Inf 
1128.70/1128.91	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1128.70/1128.91	c  1126s|     1 |     0 |519808 | 165M|   0 | 832 |4519 |9146 |9146 |4519 |  10k|2709 |   0 |   0 | 2.303493e+01 |      --      |    Inf 
1140.60/1140.81	c  1138s|     1 |     0 |529568 | 165M|   0 | 836 |4519 |9146 |9146 |4519 |  10k|2740 |   0 |   0 | 2.303493e+01 |      --      |    Inf 
1155.20/1155.44	c  1152s|     1 |     0 |540959 | 165M|   0 | 819 |4519 |9146 |9146 |4519 |  10k|2794 |   0 |   0 | 2.303493e+01 |      --      |    Inf 
1168.90/1169.13	c  1166s|     1 |     0 |551509 | 165M|   0 | 850 |4519 |9146 |9146 |4519 |  10k|2815 |   0 |   0 | 2.303493e+01 |      --      |    Inf 
1194.90/1195.15	c  1192s|     1 |     2 |551509 | 165M|   0 | 850 |4519 |9146 |9146 |4519 |  10k|2815 |   0 |  20 | 2.303493e+01 |      --      |    Inf 
1795.61/1795.92	c 
1795.61/1795.92	c SCIP Status        : solving was interrupted [time limit reached]
1795.61/1795.92	c Solving Time (sec) : 1791.77
1795.61/1795.92	c Solving Nodes      : 64
1795.61/1795.92	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1795.61/1795.92	c Dual Bound         : +2.30349264705882e+01
1795.61/1795.92	c Gap                : infinite
1795.61/1795.92	c NODE         64
1795.61/1795.92	c DUAL BOUND   23.0349
1795.61/1795.92	c PRIMAL BOUND 1e+20
1795.61/1795.92	c GAP          1e+20
1795.61/1795.92	s UNKNOWN
1795.61/1795.92	c SCIP Status        : solving was interrupted [time limit reached]
1795.61/1795.92	c Solving Time       :    1791.77
1795.61/1795.92	c Original Problem   :
1795.61/1795.92	c   Problem name     : HOME/instance-3741391-1338771408.opb
1795.61/1795.92	c   Variables        : 7982 (7982 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.61/1795.92	c   Constraints      : 11063 initial, 11063 maximal
1795.61/1795.92	c Presolved Problem  :
1795.61/1795.92	c   Problem name     : t_HOME/instance-3741391-1338771408.opb
1795.61/1795.92	c   Variables        : 4519 (4519 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.61/1795.92	c   Constraints      : 9146 initial, 9183 maximal
1795.61/1795.92	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.61/1795.92	c   trivial          :       0.10          0          0          0          0          0          0          0          0
1795.61/1795.92	c   dualfix          :       0.03          0          0          0          0          0          0          0          0
1795.61/1795.92	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.61/1795.92	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.61/1795.92	c   implics          :       0.15          0          0          0          0          0          0          0          0
1795.61/1795.92	c   probing          :      42.93       2042          0          0          0          0          0          0          0
1795.61/1795.92	c   knapsack         :     245.93          0          0          0          0          0       5260      13685     162370
1795.61/1795.92	c   setppc           :       8.00        912          0          0          0          0       5784          0          0
1795.61/1795.92	c   linear           :       0.63        507          2          0        507          0        599       7847       7847
1795.61/1795.92	c   logicor          :       0.43          0          0          0          0          0        541          0          0
1795.61/1795.92	c   root node        :          -          0          -          -          0          -          -          -          -
1795.61/1795.92	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.61/1795.92	c   integral         :          0          0          0         59          0          0          9          0          0        108
1795.61/1795.92	c   knapsack         :       1450         33      43577          0          0        358       2072        306          0          0
1795.61/1795.92	c   setppc           :       5662         33      43219          0          0        764       5336          0          0          0
1795.61/1795.92	c   logicor          :       2034+        33      36813          0          0         74       1119          0          0          0
1795.61/1795.92	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1795.61/1795.92	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.61/1795.92	c   integral         :     454.88       0.00       0.00     454.88       0.00
1795.61/1795.92	c   knapsack         :       3.27       0.26       3.01       0.00       0.00
1795.61/1795.92	c   setppc           :       8.55       0.01       8.54       0.00       0.00
1795.61/1795.92	c   logicor          :       1.21       0.01       1.20       0.00       0.00
1795.61/1795.92	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.61/1795.92	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.61/1795.92	c   rootredcost      :       0.01          0          0          0
1795.61/1795.92	c   pseudoobj        :       0.01        386          0          0
1795.61/1795.92	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.61/1795.92	c   propagation      :       0.00          5          5         20      154.8          3        2.3          -
1795.61/1795.92	c   infeasible LP    :       0.03          7          6         72      403.5          1        2.0          0
1795.61/1795.92	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.61/1795.92	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.61/1795.92	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.61/1795.92	c   applied globally :          -          -          -         44      109.4          -          -          -
1795.61/1795.92	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.61/1795.92	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.61/1795.92	c   cut pool         :       0.06         32          -          -        429          -    (maximal pool size: 3847)
1795.61/1795.92	c   redcost          :       0.02         91          0          0          0          0
1795.61/1795.92	c   impliedbounds    :       0.25         33          0          0       4319          0
1795.61/1795.92	c   intobj           :       0.00          0          0          0          0          0
1795.61/1795.92	c   gomory           :      24.99         33          0          0       2351          0
1795.61/1795.92	c   strongcg         :      15.53         20          0          0       1154          0
1795.61/1795.92	c   cmir             :       0.87         10          0          0          1          0
1795.61/1795.92	c   flowcover        :       0.99         10          0          0         26          0
1795.61/1795.92	c   clique           :       8.59         33          0          0        311          0
1795.61/1795.92	c   zerohalf         :       0.00          0          0          0          0          0
1795.61/1795.92	c   mcf              :       0.01          1          0          0          0          0
1795.61/1795.92	c Pricers            :       Time      Calls       Vars
1795.61/1795.92	c   problem variables:       0.00          0          0
1795.61/1795.92	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.61/1795.92	c   relpscost        :     454.88         59          0          9          0          0        108
1795.61/1795.92	c   pscost           :       0.00          0          0          0          0          0          0
1795.61/1795.92	c   inference        :       0.00          0          0          0          0          0          0
1795.61/1795.92	c   mostinf          :       0.00          0          0          0          0          0          0
1795.61/1795.92	c   leastinf         :       0.00          0          0          0          0          0          0
1795.61/1795.92	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.61/1795.92	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.61/1795.92	c   random           :       0.00          0          0          0          0          0          0
1795.61/1795.92	c Primal Heuristics  :       Time      Calls      Found
1795.61/1795.92	c   LP solutions     :       0.00          -          0
1795.61/1795.92	c   pseudo solutions :       0.00          -          0
1795.61/1795.92	c   oneopt           :       0.00          0          0
1795.61/1795.92	c   pscostdiving     :       0.00          0          0
1795.61/1795.92	c   fracdiving       :       0.00          0          0
1795.61/1795.92	c   veclendiving     :       0.00          0          0
1795.61/1795.92	c   objpscostdiving  :       0.00          0          0
1795.61/1795.92	c   rootsoldiving    :       0.00          0          0
1795.61/1795.92	c   linesearchdiving :       0.00          0          0
1795.61/1795.92	c   guideddiving     :       0.00          0          0
1795.61/1795.92	c   crossover        :       0.00          0          0
1795.61/1795.92	c   intshifting      :       0.00          0          0
1795.61/1795.92	c   coefdiving       :       0.14          1          0
1795.61/1795.92	c   feaspump         :      17.58          1          0
1795.61/1795.92	c   simplerounding   :       0.00          0          0
1795.61/1795.92	c   rounding         :       0.09         92          0
1795.61/1795.92	c   shifting         :       0.22         39          0
1795.61/1795.92	c   fixandinfer      :       0.00          0          0
1795.61/1795.92	c   intdiving        :       0.00          0          0
1795.61/1795.92	c   actconsdiving    :       0.00          0          0
1795.61/1795.92	c   octane           :       0.00          0          0
1795.61/1795.92	c   rens             :       2.14          1          0
1795.61/1795.92	c   rins             :       0.00          0          0
1795.61/1795.92	c   localbranching   :       0.00          0          0
1795.61/1795.92	c   mutation         :       0.00          0          0
1795.61/1795.92	c   dins             :       0.00          0          0
1795.61/1795.92	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.61/1795.92	c   primal LP        :       0.06          0          0       0.00       0.00
1795.61/1795.92	c   dual LP          :     965.79         98     708623    7230.85     733.72
1795.61/1795.92	c   barrier LP       :       0.00          0          0       0.00          -
1795.61/1795.92	c   diving/probing LP:      17.70         10      13127    1312.70     741.64
1795.61/1795.92	c   strong branching :     454.85        555     490133     883.12    1077.57
1795.61/1795.92	c     (at root node) :          -         20      20000    1000.00          -
1795.61/1795.92	c   conflict analysis:       0.00          0          0       0.00          -
1795.61/1795.92	c B&B Tree           :
1795.61/1795.92	c   number of runs   :          1
1795.61/1795.92	c   nodes            :         64
1795.61/1795.92	c   nodes (total)    :         64
1795.61/1795.92	c   nodes left       :         45
1795.61/1795.92	c   max depth        :         33
1795.61/1795.92	c   max depth (total):         33
1795.61/1795.92	c   backtracks       :          2 (3.1%)
1795.61/1795.92	c   delayed cutoffs  :          0
1795.61/1795.92	c   repropagations   :         47 (102 domain reductions, 0 cutoffs)
1795.61/1795.92	c   avg switch length:       3.02
1795.61/1795.92	c   switching time   :       0.05
1795.61/1795.92	c Solution           :
1795.61/1795.92	c   Solutions found  :          0 (0 improvements)
1795.61/1795.92	c   Primal Bound     :          -
1795.61/1795.92	c   Dual Bound       : +2.30349264705882e+01
1795.61/1795.92	c   Gap              :   infinite
1795.61/1795.92	c   Root Dual Bound  : +2.30349264705882e+01
1795.71/1796.05	c Time complete: 1795.76.

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-3741391-1338771408/watcher-3741391-1338771408 -o /tmp/evaluation-result-3741391-1338771408/solver-3741391-1338771408 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741391-1338771408.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.05 2.01 3/178 23374
/proc/meminfo: memFree=27057940/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=8736 CPUtime=0 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 1550 0 0 0 0 0 0 0 20 0 1 0 343265657 8945664 1502 33554432000 4194304 7823515 140736459151744 140737205263256 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 2184 1502 354 887 0 1294 0

[startup+0.0822229 s]
/proc/loadavg: 2.16 2.05 2.01 3/178 23374
/proc/meminfo: memFree=27057940/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=19524 CPUtime=0.07 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 4222 0 0 0 7 0 0 0 20 0 1 0 343265657 19992576 4174 33554432000 4194304 7823515 140736459151744 140737205263256 4765623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 4881 4174 354 887 0 3991 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19524

[startup+0.100289 s]
/proc/loadavg: 2.16 2.05 2.01 3/178 23374
/proc/meminfo: memFree=27057940/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=20080 CPUtime=0.09 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 4368 0 0 0 9 0 0 0 20 0 1 0 343265657 20561920 4320 33554432000 4194304 7823515 140736459151744 140737205263256 6910768 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 5020 4320 354 887 0 4130 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20080

[startup+0.300248 s]
/proc/loadavg: 2.16 2.05 2.01 3/178 23374
/proc/meminfo: memFree=27057940/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=27128 CPUtime=0.29 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 6075 0 0 0 28 1 0 0 20 0 1 0 343265657 27779072 6027 33554432000 4194304 7823515 140736459151744 140736459017848 5542893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 6782 6027 354 887 0 5892 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27128

[startup+0.700297 s]
/proc/loadavg: 2.16 2.05 2.01 3/178 23374
/proc/meminfo: memFree=27057940/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=95884 CPUtime=0.69 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 23300 0 0 0 65 4 0 0 20 0 1 0 343265657 98185216 22898 33554432000 4194304 7823515 140736459151744 140736459017848 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 23971 22898 429 887 0 23081 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 95884

[startup+1.50027 s]
/proc/loadavg: 2.16 2.05 2.01 3/179 23375
/proc/meminfo: memFree=26960824/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=129068 CPUtime=1.49 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 31672 0 0 0 141 8 0 0 20 0 1 0 343265657 132165632 31270 33554432000 4194304 7823515 140736459151744 140736459148680 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 32267 31270 446 887 0 31377 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129068

[startup+3.10028 s]
/proc/loadavg: 2.16 2.05 2.01 3/179 23375
/proc/meminfo: memFree=26933792/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=132904 CPUtime=3.08 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 32639 0 0 0 300 8 0 0 20 0 1 0 343265657 136093696 32237 33554432000 4194304 7823515 140736459151744 140736459149032 4992373 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 33226 32237 447 887 0 32336 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 132904

[startup+6.30025 s]
/proc/loadavg: 2.14 2.05 2.01 3/179 23375
/proc/meminfo: memFree=26929080/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=133924 CPUtime=6.29 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 32899 0 0 0 620 9 0 0 20 0 1 0 343265657 137138176 32497 33554432000 4194304 7823515 140736459151744 140736459149032 5796556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 33481 32497 449 887 0 32591 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 133924

[startup+12.7002 s]
/proc/loadavg: 2.13 2.05 2.01 3/179 23375
/proc/meminfo: memFree=26928584/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=133924 CPUtime=12.69 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 32902 0 0 0 1259 10 0 0 20 0 1 0 343265657 137138176 32500 33554432000 4194304 7823515 140736459151744 140736459149032 4992339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 33481 32500 449 887 0 32591 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 133924

[startup+25.5003 s]
/proc/loadavg: 2.18 2.07 2.01 3/179 23375
/proc/meminfo: memFree=26928320/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=134260 CPUtime=25.49 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 32987 0 0 0 2537 12 0 0 20 0 1 0 343265657 137482240 32585 33554432000 4194304 7823515 140736459151744 140736459149032 4992339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 33565 32585 450 887 0 32675 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 134260

[startup+51.1003 s]
/proc/loadavg: 2.12 2.06 2.01 3/179 23375
/proc/meminfo: memFree=26926660/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=135868 CPUtime=51.08 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 33389 0 0 0 5095 13 0 0 20 0 1 0 343265657 139128832 32987 33554432000 4194304 7823515 140736459151744 140736459149032 4992373 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 33967 32987 450 887 0 33077 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 135868

[startup+102.307 s]
/proc/loadavg: 2.05 2.05 2.01 3/179 23375
/proc/meminfo: memFree=26924472/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=137556 CPUtime=102.28 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 33844 0 0 0 10209 19 0 0 20 0 1 0 343265657 140857344 33442 33554432000 4194304 7823515 140736459151744 140736459149032 4992332 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 34389 33442 460 887 0 33499 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 137556

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 23375
/proc/meminfo: memFree=26919292/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=142500 CPUtime=162.26 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 35083 0 0 0 16187 39 0 0 20 0 1 0 343265657 145920000 34681 33554432000 4194304 7823515 140736459151744 140736459149032 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 35625 34681 461 887 0 34735 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 142500

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 23378
/proc/meminfo: memFree=26862652/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=199432 CPUtime=222.25 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 49008 0 0 0 22167 58 0 0 20 0 1 0 343265657 204218368 48606 33554432000 4194304 7823515 140736459151744 140736459149032 4992373 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 49858 48606 466 887 0 48968 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 199432

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 23402
/proc/meminfo: memFree=26833640/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=225816 CPUtime=282.24 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 55730 0 0 0 28147 77 0 0 20 0 1 0 343265657 231235584 55328 33554432000 4194304 7823515 140736459151744 140736459148440 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 56454 55328 466 887 0 55564 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 225816

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 23402
/proc/meminfo: memFree=26773776/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=283268 CPUtime=342.24 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 68310 0 0 0 34103 121 0 0 20 0 1 0 343265657 290066432 68838 33554432000 4194304 7823515 140736459151744 140736459148440 6211728 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 70817 68838 572 887 0 69927 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 283268

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 23402
/proc/meminfo: memFree=26765992/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=291200 CPUtime=402.23 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 70119 0 0 0 40090 133 0 0 20 0 1 0 343265657 298188800 70647 33554432000 4194304 7823515 140736459151744 140736459147080 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 72800 70647 572 887 0 71910 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 291200

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23402
/proc/meminfo: memFree=26751324/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=307404 CPUtime=462.21 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 73290 0 0 0 46078 143 0 0 20 0 1 0 343265657 314781696 74329 33554432000 4194304 7823515 140736459151744 140736459147080 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 76851 74329 572 887 0 75961 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 307404

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23402
/proc/meminfo: memFree=26746268/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=311032 CPUtime=522.21 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 74560 0 0 0 52066 155 0 0 20 0 1 0 343265657 318496768 75599 33554432000 4194304 7823515 140736459151744 140736459147224 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 77758 75599 572 887 0 76868 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 311032

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23403
/proc/meminfo: memFree=26737304/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=319876 CPUtime=582.2 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 76342 0 0 0 58057 163 0 0 20 0 1 0 343265657 327553024 77852 33554432000 4194304 7823515 140736459151744 140736459147544 6216233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 79969 77852 572 887 0 79079 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 319876

[startup+642.3 s]

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

/proc/meminfo: memFree=26731420/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=321168 CPUtime=1122.11 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 76907 0 0 0 111970 241 0 0 20 0 1 0 343265657 328876032 79238 33554432000 4194304 7823515 140736459151744 140736459147080 6180650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80292 79238 572 887 0 79402 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 321168

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23408
/proc/meminfo: memFree=26730304/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1182.1 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87184 0 0 0 117955 255 0 0 20 0 1 0 343265657 329986048 79525 33554432000 4194304 7823515 140736459151744 140736459146440 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79525 577 887 0 79673 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 322252

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 23408
/proc/meminfo: memFree=26730056/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1242.09 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87184 0 0 0 123943 266 0 0 20 0 1 0 343265657 329986048 79525 33554432000 4194304 7823515 140736459151744 140736459145768 6180642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79525 577 887 0 79673 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 322252

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 23408
/proc/meminfo: memFree=26730056/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1302.08 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87184 0 0 0 129932 276 0 0 20 0 1 0 343265657 329986048 79525 33554432000 4194304 7823515 140736459151744 140736459146904 6255786 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79525 577 887 0 79673 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 322252

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/180 23408
/proc/meminfo: memFree=26730056/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1362.07 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87184 0 0 0 135920 287 0 0 20 0 1 0 343265657 329986048 79525 33554432000 4194304 7823515 140736459151744 140736459146856 6211283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79525 577 887 0 79673 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 322252

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 23411
/proc/meminfo: memFree=26729552/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1422.06 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87184 0 0 0 141910 296 0 0 20 0 1 0 343265657 329986048 79525 33554432000 4194304 7823515 140736459151744 140736459146792 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79525 577 887 0 79673 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 322252

[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 23451
/proc/meminfo: memFree=28231928/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1482.05 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87184 0 0 0 147899 306 0 0 20 0 1 0 343265657 329986048 79525 33554432000 4194304 7823515 140736459151744 140736459146440 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79525 577 887 0 79673 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 322252

[startup+1542.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/180 23451
/proc/meminfo: memFree=28231928/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1542.05 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87185 0 0 0 153889 316 0 0 20 0 1 0 343265657 329986048 79526 33554432000 4194304 7823515 140736459151744 140736459146904 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79526 578 887 0 79673 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 322252

[startup+1602.3 s]
/proc/loadavg: 2.24 2.08 2.02 3/180 23451
/proc/meminfo: memFree=28231552/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1602.03 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87185 0 0 0 159877 326 0 0 20 0 1 0 343265657 329986048 79526 33554432000 4194304 7823515 140736459151744 140736459146440 6212656 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79526 578 887 0 79673 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 322252

[startup+1662.3 s]
/proc/loadavg: 2.14 2.08 2.02 3/180 23451
/proc/meminfo: memFree=28229712/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1662.02 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87190 0 0 0 165866 336 0 0 20 0 1 0 343265657 329986048 79531 33554432000 4194304 7823515 140736459151744 140736459147080 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79531 583 887 0 79673 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 322252

[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/180 23451
/proc/meminfo: memFree=28229216/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1722.02 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87190 0 0 0 171858 344 0 0 20 0 1 0 343265657 329986048 79531 33554432000 4194304 7823515 140736459151744 140736459146440 6206090 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79531 583 887 0 79673 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 322252

[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/180 23452
/proc/meminfo: memFree=28228472/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1782 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87190 0 0 0 177847 353 0 0 20 0 1 0 343265657 329986048 79531 33554432000 4194304 7823515 140736459151744 140736459147496 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79531 583 887 0 79673 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 322252

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.05 2.01 3/180 23452
/proc/meminfo: memFree=28228472/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1785.21 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87190 0 0 0 178167 354 0 0 20 0 1 0 343265657 329986048 79531 33554432000 4194304 7823515 140736459151744 140736459147544 6206185 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79531 583 887 0 79673 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 322252

[startup+1791.91 s]
/proc/loadavg: 2.01 2.05 2.01 3/180 23452
/proc/meminfo: memFree=28228348/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1791.61 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87190 0 0 0 178807 354 0 0 20 0 1 0 343265657 329986048 79531 33554432000 4194304 7823515 140736459151744 140736459146440 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79531 583 887 0 79673 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 322252

[startup+1793.5 s]
/proc/loadavg: 2.01 2.05 2.01 3/180 23452
/proc/meminfo: memFree=28228348/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1793.21 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87190 0 0 0 178966 355 0 0 20 0 1 0 343265657 329986048 79531 33554432000 4194304 7823515 140736459151744 140736459146904 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79531 583 887 0 79673 0
Current children cumulated CPU time (s) 1793.21
Current children cumulated vsize (KiB) 322252

[startup+1795.1 s]
/proc/loadavg: 2.01 2.05 2.01 3/180 23452
/proc/meminfo: memFree=28228348/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1794.81 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87190 0 0 0 179126 355 0 0 20 0 1 0 343265657 329986048 79531 33554432000 4194304 7823515 140736459151744 140736459146792 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79531 583 887 0 79673 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 322252

[startup+1795.5 s]
/proc/loadavg: 2.01 2.05 2.01 3/180 23452
/proc/meminfo: memFree=28228348/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1795.21 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87190 0 0 0 179166 355 0 0 20 0 1 0 343265657 329986048 79531 33554432000 4194304 7823515 140736459151744 140736459146904 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79531 583 887 0 79673 0
Current children cumulated CPU time (s) 1795.21
Current children cumulated vsize (KiB) 322252

[startup+1795.9 s]
/proc/loadavg: 2.01 2.05 2.01 3/180 23452
/proc/meminfo: memFree=28228348/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=322252 CPUtime=1795.61 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87190 0 0 0 179206 355 0 0 20 0 1 0 343265657 329986048 79531 33554432000 4194304 7823515 140736459151744 140736459146904 6206144 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 80563 79531 583 887 0 79673 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 322252

[startup+1796 s]
/proc/loadavg: 2.01 2.05 2.01 3/180 23452
/proc/meminfo: memFree=28228348/32873844 swapFree=7380/7380
[pid=23374] ppid=23372 vsize=310540 CPUtime=1795.71 cores=1,3,5,7
/proc/23374/stat : 23374 (pbscip.linux.x8) R 23372 23374 21332 0 -1 4202496 87192 0 0 0 179216 355 0 0 20 0 1 0 343265657 317992960 76612 33554432000 4194304 7823515 140736459151744 140736459146904 4400768 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23374/statm: 77635 76612 585 887 0 76745 0
Current children cumulated CPU time (s) 1795.71
Current children cumulated vsize (KiB) 310540

Child status: 0
Real time (s): 1796.06
CPU time (s): 1795.77
CPU user time (s): 1792.21
CPU system time (s): 3.55846
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 363308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.21
system time used= 3.55846
maximum resident set size= 357648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87195
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= 17
involuntary context switches= 1848

runsolver used 4.28635 second user time and 11.0523 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-04 02:56:49
IDJOB=3741391
IDBENCH=89852
IDSOLVER=2321
FILE ID=node133/3741391-1338771408
RUNJOBID= node133-1338747083-21349
PBS_JOBID= 14636776
Free space on /tmp= 70424 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns1696083.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741391-1338771408/watcher-3741391-1338771408 -o /tmp/evaluation-result-3741391-1338771408/solver-3741391-1338771408 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741391-1338771408.opb

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

MD5SUM BENCH= 8188d71a03844e125aafcd8487c80120
RANDOM SEED=1189976733

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:        27058328 kB
Buffers:          495548 kB
Cached:          2912992 kB
SwapCached:          676 kB
Active:          3079664 kB
Inactive:        1832188 kB
Active(anon):    1494464 kB
Inactive(anon):    10408 kB
Active(file):    1585200 kB
Inactive(file):  1821780 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             13228 kB
Writeback:             0 kB
AnonPages:       1519328 kB
Mapped:            12404 kB
Shmem:                 0 kB
Slab:             760112 kB
SReclaimable:     201864 kB
SUnreclaim:       558248 kB
KernelStack:        1488 kB
PageTables:         7180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1635672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    481280 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= 70464 MiB
End job on node133 at 2012-06-04 03:26:45