0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3741397-1338774496.opb>
0.19/0.22	c original problem has 7982 variables (7982 bin, 0 int, 0 impl, 0 cont) and 11063 constraints
0.19/0.22	c problem read
0.19/0.22	c presolving settings loaded
0.29/0.30	c presolving:
0.39/0.41	c (round 1) 122 del vars, 6 del conss, 0 add conss, 122 chg bounds, 7326 chg sides, 7326 chg coeffs, 0 upgd conss, 112 impls, 1192 clqs
0.49/0.50	c (round 2) 142 del vars, 33 del conss, 0 add conss, 142 chg bounds, 7458 chg sides, 7458 chg coeffs, 0 upgd conss, 158 impls, 1190 clqs
0.49/0.55	c (round 3) 214 del vars, 163 del conss, 0 add conss, 212 chg bounds, 7467 chg sides, 7467 chg coeffs, 0 upgd conss, 394 impls, 1179 clqs
0.59/0.60	c (round 4) 282 del vars, 269 del conss, 0 add conss, 280 chg bounds, 7535 chg sides, 7535 chg coeffs, 0 upgd conss, 564 impls, 1179 clqs
0.59/0.65	c (round 5) 339 del vars, 353 del conss, 0 add conss, 337 chg bounds, 7605 chg sides, 7605 chg coeffs, 0 upgd conss, 730 impls, 1179 clqs
0.59/0.69	c (round 6) 390 del vars, 433 del conss, 0 add conss, 388 chg bounds, 7675 chg sides, 7675 chg coeffs, 0 upgd conss, 896 impls, 1179 clqs
0.69/0.74	c (round 7) 430 del vars, 496 del conss, 0 add conss, 428 chg bounds, 7739 chg sides, 7739 chg coeffs, 0 upgd conss, 1122 impls, 1179 clqs
0.69/0.78	c (round 8) 459 del vars, 538 del conss, 0 add conss, 457 chg bounds, 7777 chg sides, 7777 chg coeffs, 0 upgd conss, 1214 impls, 1179 clqs
0.79/0.82	c (round 9) 482 del vars, 567 del conss, 0 add conss, 480 chg bounds, 7802 chg sides, 7802 chg coeffs, 0 upgd conss, 1234 impls, 1179 clqs
0.79/0.86	c (round 10) 499 del vars, 588 del conss, 0 add conss, 497 chg bounds, 7822 chg sides, 7822 chg coeffs, 0 upgd conss, 1272 impls, 1179 clqs
0.89/0.90	c (round 11) 509 del vars, 599 del conss, 0 add conss, 507 chg bounds, 7837 chg sides, 7837 chg coeffs, 0 upgd conss, 1272 impls, 1179 clqs
0.89/0.91	c (round 12) 509 del vars, 599 del conss, 0 add conss, 507 chg bounds, 7847 chg sides, 7847 chg coeffs, 0 upgd conss, 1272 impls, 1179 clqs
1.00/1.02	c (round 13) 509 del vars, 599 del conss, 0 add conss, 507 chg bounds, 7847 chg sides, 7847 chg coeffs, 10464 upgd conss, 1272 impls, 1179 clqs
3.39/3.45	c (round 14) 509 del vars, 1119 del conss, 3590 add conss, 507 chg bounds, 11652 chg sides, 33766 chg coeffs, 10464 upgd conss, 84828 impls, 1708 clqs
5.69/5.71	c (round 15) 623 del vars, 1683 del conss, 6865 add conss, 507 chg bounds, 14927 chg sides, 43582 chg coeffs, 10464 upgd conss, 488132 impls, 2006 clqs
7.79/7.82	c (round 16) 623 del vars, 4856 del conss, 9976 add conss, 507 chg bounds, 18118 chg sides, 55531 chg coeffs, 10464 upgd conss, 488212 impls, 4900 clqs
8.89/8.98	c (round 17) 623 del vars, 7617 del conss, 12616 add conss, 507 chg bounds, 20758 chg sides, 63485 chg coeffs, 10464 upgd conss, 488212 impls, 7540 clqs
10.29/10.38	c (round 18) 673 del vars, 7617 del conss, 12616 add conss, 507 chg bounds, 20758 chg sides, 63514 chg coeffs, 10464 upgd conss, 530460 impls, 7482 clqs
10.79/10.86	c (round 19) 673 del vars, 7695 del conss, 12616 add conss, 507 chg bounds, 20758 chg sides, 63538 chg coeffs, 10464 upgd conss, 530460 impls, 7482 clqs
10.99/11.02	c (round 20) 673 del vars, 7717 del conss, 12616 add conss, 507 chg bounds, 20758 chg sides, 63558 chg coeffs, 10464 upgd conss, 530460 impls, 7482 clqs
11.19/11.24	c (round 21) 721 del vars, 7727 del conss, 12616 add conss, 507 chg bounds, 20758 chg sides, 63573 chg coeffs, 10464 upgd conss, 530460 impls, 7426 clqs
12.99/13.02	c (round 22) 721 del vars, 7815 del conss, 12744 add conss, 507 chg bounds, 21014 chg sides, 64031 chg coeffs, 10464 upgd conss, 530460 impls, 7426 clqs
14.09/14.10	c (round 23) 820 del vars, 7957 del conss, 12744 add conss, 507 chg bounds, 21014 chg sides, 64036 chg coeffs, 10464 upgd conss, 530460 impls, 7314 clqs
14.59/14.68	c (round 24) 820 del vars, 8154 del conss, 12776 add conss, 507 chg bounds, 21078 chg sides, 64148 chg coeffs, 10464 upgd conss, 530460 impls, 7314 clqs
15.09/15.14	c (round 25) 908 del vars, 8197 del conss, 12776 add conss, 507 chg bounds, 21078 chg sides, 64148 chg coeffs, 10464 upgd conss, 530460 impls, 7218 clqs
17.19/17.24	c (round 26) 908 del vars, 8365 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 530460 impls, 7218 clqs
17.99/18.08	c (round 27) 908 del vars, 8489 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 530460 impls, 7218 clqs
18.29/18.33	c (round 28) 911 del vars, 8520 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 530460 impls, 7215 clqs
18.29/18.34	c (round 29) 911 del vars, 8526 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 530460 impls, 7215 clqs
19.49/19.56	c (round 30) 961 del vars, 8526 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 618884 impls, 7152 clqs
19.99/20.00	c (round 31) 961 del vars, 8609 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 618884 impls, 7152 clqs
20.08/20.14	c (round 32) 961 del vars, 8638 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 618884 impls, 7152 clqs
20.28/20.30	c (round 33) 964 del vars, 8659 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 618884 impls, 7146 clqs
20.28/20.31	c (round 34) 964 del vars, 8662 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 618884 impls, 7146 clqs
20.28/20.35	c (round 35) 964 del vars, 8665 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 618884 impls, 7146 clqs
20.38/20.43	c (round 36) 997 del vars, 8668 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 618884 impls, 7110 clqs
20.48/20.54	c (round 37) 997 del vars, 8734 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 618884 impls, 7110 clqs
21.48/21.56	c (round 38) 1047 del vars, 8734 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 665784 impls, 7031 clqs
21.89/21.98	c (round 39) 1047 del vars, 8817 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 665784 impls, 7031 clqs
21.99/22.09	c (round 40) 1047 del vars, 8834 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 665784 impls, 7031 clqs
22.18/22.26	c (round 41) 1082 del vars, 8839 del conss, 12904 add conss, 507 chg bounds, 21462 chg sides, 64724 chg coeffs, 10464 upgd conss, 665784 impls, 6991 clqs
23.88/23.92	c (round 42) 1082 del vars, 8904 del conss, 13000 add conss, 507 chg bounds, 21798 chg sides, 65204 chg coeffs, 10464 upgd conss, 665784 impls, 6991 clqs
24.48/24.54	c (round 43) 1082 del vars, 8974 del conss, 13000 add conss, 507 chg bounds, 21798 chg sides, 65204 chg coeffs, 10464 upgd conss, 665784 impls, 6991 clqs
24.58/24.61	c (round 44) 1104 del vars, 8976 del conss, 13000 add conss, 507 chg bounds, 21798 chg sides, 65204 chg coeffs, 10464 upgd conss, 665784 impls, 6967 clqs
24.58/24.69	c (round 45) 1104 del vars, 9020 del conss, 13000 add conss, 507 chg bounds, 21798 chg sides, 65204 chg coeffs, 10464 upgd conss, 665784 impls, 6967 clqs
25.38/25.41	c (round 46) 1154 del vars, 9020 del conss, 13000 add conss, 507 chg bounds, 21798 chg sides, 65204 chg coeffs, 10464 upgd conss, 697380 impls, 6906 clqs
25.78/25.84	c (round 47) 1154 del vars, 9105 del conss, 13000 add conss, 507 chg bounds, 21798 chg sides, 65204 chg coeffs, 10464 upgd conss, 697380 impls, 6906 clqs
25.88/25.96	c (round 48) 1154 del vars, 9121 del conss, 13000 add conss, 507 chg bounds, 21798 chg sides, 65204 chg coeffs, 10464 upgd conss, 697380 impls, 6906 clqs
26.08/26.10	c (round 49) 1166 del vars, 9129 del conss, 13000 add conss, 507 chg bounds, 21798 chg sides, 65204 chg coeffs, 10464 upgd conss, 697380 impls, 6892 clqs
26.58/26.69	c (round 50) 1166 del vars, 9151 del conss, 13032 add conss, 507 chg bounds, 21926 chg sides, 65380 chg coeffs, 10464 upgd conss, 697380 impls, 6892 clqs
26.88/26.92	c (round 51) 1166 del vars, 9184 del conss, 13032 add conss, 507 chg bounds, 21926 chg sides, 65380 chg coeffs, 10464 upgd conss, 697380 impls, 6892 clqs
26.88/26.98	c (round 52) 1177 del vars, 9185 del conss, 13032 add conss, 507 chg bounds, 21926 chg sides, 65380 chg coeffs, 10464 upgd conss, 697380 impls, 6880 clqs
26.98/27.02	c (round 53) 1177 del vars, 9207 del conss, 13032 add conss, 507 chg bounds, 21926 chg sides, 65380 chg coeffs, 10464 upgd conss, 697380 impls, 6880 clqs
28.59/28.66	c (round 54) 1227 del vars, 9207 del conss, 13032 add conss, 507 chg bounds, 21926 chg sides, 65380 chg coeffs, 10464 upgd conss, 808470 impls, 6817 clqs
28.99/29.07	c (round 55) 1227 del vars, 9299 del conss, 13032 add conss, 507 chg bounds, 21926 chg sides, 65380 chg coeffs, 10464 upgd conss, 808470 impls, 6817 clqs
29.09/29.19	c (round 56) 1227 del vars, 9314 del conss, 13032 add conss, 507 chg bounds, 21926 chg sides, 65380 chg coeffs, 10464 upgd conss, 808470 impls, 6817 clqs
29.29/29.32	c (round 57) 1238 del vars, 9329 del conss, 13032 add conss, 507 chg bounds, 21926 chg sides, 65380 chg coeffs, 10464 upgd conss, 808470 impls, 6805 clqs
29.89/29.92	c (round 58) 1238 del vars, 9350 del conss, 13064 add conss, 507 chg bounds, 22054 chg sides, 65556 chg coeffs, 10464 upgd conss, 808470 impls, 6805 clqs
30.09/30.16	c (round 59) 1238 del vars, 9382 del conss, 13064 add conss, 507 chg bounds, 22054 chg sides, 65556 chg coeffs, 10464 upgd conss, 808470 impls, 6805 clqs
30.19/30.21	c (round 60) 1238 del vars, 9384 del conss, 13064 add conss, 507 chg bounds, 22054 chg sides, 65556 chg coeffs, 10464 upgd conss, 808470 impls, 6805 clqs
35.29/35.36	c (round 61) 1288 del vars, 9384 del conss, 13064 add conss, 507 chg bounds, 22054 chg sides, 65556 chg coeffs, 10464 upgd conss, 1260866 impls, 6752 clqs
36.09/36.20	c (round 62) 1288 del vars, 9484 del conss, 13064 add conss, 507 chg bounds, 22054 chg sides, 65556 chg coeffs, 10464 upgd conss, 1260866 impls, 6752 clqs
36.39/36.49	c (round 63) 1288 del vars, 9494 del conss, 13064 add conss, 507 chg bounds, 22054 chg sides, 65556 chg coeffs, 10464 upgd conss, 1260866 impls, 6752 clqs
36.59/36.62	c (round 64) 1299 del vars, 9511 del conss, 13064 add conss, 507 chg bounds, 22054 chg sides, 65556 chg coeffs, 10464 upgd conss, 1260866 impls, 6740 clqs
37.19/37.25	c (round 65) 1299 del vars, 9532 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65748 chg coeffs, 10464 upgd conss, 1260866 impls, 6740 clqs
37.39/37.48	c (round 66) 1299 del vars, 9563 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65748 chg coeffs, 10464 upgd conss, 1260866 impls, 6740 clqs
39.98/40.07	c (round 67) 1349 del vars, 9563 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65748 chg coeffs, 10464 upgd conss, 1433678 impls, 6685 clqs
40.78/40.84	c (round 68) 1349 del vars, 9644 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65749 chg coeffs, 10464 upgd conss, 1433678 impls, 6685 clqs
41.08/41.15	c (round 69) 1349 del vars, 9657 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65749 chg coeffs, 10464 upgd conss, 1433678 impls, 6685 clqs
42.08/42.18	c    (42.2s) probing: 1000/7359 (13.6%) - 357 fixings, 0 aggregations, 459048 implications, 0 bound changes
45.68/45.74	c (round 70) 1399 del vars, 9657 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65749 chg coeffs, 10464 upgd conss, 1762940 impls, 6629 clqs
46.48/46.56	c (round 71) 1399 del vars, 9726 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65751 chg coeffs, 10464 upgd conss, 1762942 impls, 6629 clqs
46.88/46.90	c (round 72) 1399 del vars, 9749 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65751 chg coeffs, 10464 upgd conss, 1762942 impls, 6629 clqs
49.29/49.30	c (round 73) 1449 del vars, 9749 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65751 chg coeffs, 10464 upgd conss, 1902082 impls, 6572 clqs
49.99/50.06	c (round 74) 1449 del vars, 9826 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65756 chg coeffs, 10464 upgd conss, 1902088 impls, 6572 clqs
50.29/50.37	c (round 75) 1449 del vars, 9849 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65756 chg coeffs, 10464 upgd conss, 1902088 impls, 6572 clqs
50.49/50.55	c (round 76) 1471 del vars, 9860 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65756 chg coeffs, 10464 upgd conss, 1902088 impls, 6546 clqs
50.59/50.63	c (round 77) 1471 del vars, 9904 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65756 chg coeffs, 10464 upgd conss, 1902088 impls, 6546 clqs
53.98/54.02	c (round 78) 1521 del vars, 9904 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65756 chg coeffs, 10464 upgd conss, 2102912 impls, 6486 clqs
54.78/54.85	c (round 79) 1521 del vars, 9972 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65761 chg coeffs, 10464 upgd conss, 2102916 impls, 6486 clqs
55.08/55.18	c (round 80) 1521 del vars, 9994 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65761 chg coeffs, 10464 upgd conss, 2102916 impls, 6486 clqs
55.28/55.32	c (round 81) 1545 del vars, 9998 del conss, 13096 add conss, 507 chg bounds, 22198 chg sides, 65761 chg coeffs, 10464 upgd conss, 2102916 impls, 6459 clqs
56.38/56.45	c (round 82) 1545 del vars, 10043 del conss, 13160 add conss, 507 chg bounds, 22470 chg sides, 66129 chg coeffs, 10464 upgd conss, 2102916 impls, 6459 clqs
56.88/56.98	c (round 83) 1578 del vars, 10114 del conss, 13160 add conss, 507 chg bounds, 22470 chg sides, 66129 chg coeffs, 10464 upgd conss, 2102916 impls, 6421 clqs
56.98/57.05	c (round 84) 1578 del vars, 10180 del conss, 13160 add conss, 507 chg bounds, 22470 chg sides, 66129 chg coeffs, 10464 upgd conss, 2102916 impls, 6421 clqs
60.08/60.11	c (round 85) 1628 del vars, 10180 del conss, 13160 add conss, 507 chg bounds, 22470 chg sides, 66129 chg coeffs, 10464 upgd conss, 2278016 impls, 6363 clqs
60.88/60.91	c (round 86) 1628 del vars, 10250 del conss, 13160 add conss, 507 chg bounds, 22470 chg sides, 66134 chg coeffs, 10464 upgd conss, 2278020 impls, 6363 clqs
61.18/61.23	c (round 87) 1628 del vars, 10270 del conss, 13160 add conss, 507 chg bounds, 22470 chg sides, 66134 chg coeffs, 10464 upgd conss, 2278020 impls, 6363 clqs
61.28/61.37	c (round 88) 1662 del vars, 10275 del conss, 13160 add conss, 507 chg bounds, 22470 chg sides, 66134 chg coeffs, 10464 upgd conss, 2278020 impls, 6326 clqs
62.58/62.61	c (round 89) 1662 del vars, 10340 del conss, 13224 add conss, 507 chg bounds, 22806 chg sides, 66566 chg coeffs, 10464 upgd conss, 2278020 impls, 6326 clqs
63.08/63.11	c (round 90) 1673 del vars, 10409 del conss, 13224 add conss, 507 chg bounds, 22806 chg sides, 66566 chg coeffs, 10464 upgd conss, 2278020 impls, 6313 clqs
63.08/63.15	c (round 91) 1673 del vars, 10431 del conss, 13224 add conss, 507 chg bounds, 22806 chg sides, 66566 chg coeffs, 10464 upgd conss, 2278020 impls, 6313 clqs
64.98/65.02	c    (65.0s) probing: 2000/7359 (27.2%) - 569 fixings, 0 aggregations, 867689 implications, 0 bound changes
66.18/66.24	c (round 92) 1723 del vars, 10431 del conss, 13224 add conss, 507 chg bounds, 22806 chg sides, 66566 chg coeffs, 10464 upgd conss, 2464858 impls, 6261 clqs
66.99/67.02	c (round 93) 1723 del vars, 10499 del conss, 13224 add conss, 507 chg bounds, 22806 chg sides, 66571 chg coeffs, 10464 upgd conss, 2464862 impls, 6261 clqs
67.28/67.33	c (round 94) 1723 del vars, 10519 del conss, 13224 add conss, 507 chg bounds, 22806 chg sides, 66571 chg coeffs, 10464 upgd conss, 2464862 impls, 6261 clqs
67.38/67.41	c (round 95) 1734 del vars, 10520 del conss, 13224 add conss, 507 chg bounds, 22806 chg sides, 66571 chg coeffs, 10464 upgd conss, 2464862 impls, 6249 clqs
67.98/68.05	c (round 96) 1734 del vars, 10541 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66811 chg coeffs, 10464 upgd conss, 2464862 impls, 6249 clqs
68.19/68.24	c (round 97) 1734 del vars, 10567 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66811 chg coeffs, 10464 upgd conss, 2464862 impls, 6249 clqs
68.28/68.31	c (round 98) 1734 del vars, 10569 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66811 chg coeffs, 10464 upgd conss, 2464862 impls, 6249 clqs
68.28/68.35	c (round 99) 1734 del vars, 10580 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66811 chg coeffs, 10464 upgd conss, 2464862 impls, 6249 clqs
71.18/71.27	c (round 100) 1784 del vars, 10580 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66811 chg coeffs, 10464 upgd conss, 2640876 impls, 6191 clqs
71.98/72.04	c (round 101) 1784 del vars, 10653 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66816 chg coeffs, 10464 upgd conss, 2640880 impls, 6191 clqs
72.28/72.36	c (round 102) 1784 del vars, 10673 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66816 chg coeffs, 10464 upgd conss, 2640880 impls, 6191 clqs
75.08/75.16	c (round 103) 1834 del vars, 10673 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66816 chg coeffs, 10464 upgd conss, 2808444 impls, 6138 clqs
75.79/75.87	c (round 104) 1834 del vars, 10746 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66821 chg coeffs, 10464 upgd conss, 2808448 impls, 6138 clqs
76.08/76.17	c (round 105) 1834 del vars, 10766 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66821 chg coeffs, 10464 upgd conss, 2808448 impls, 6138 clqs
78.58/78.68	c (round 106) 1884 del vars, 10766 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66821 chg coeffs, 10464 upgd conss, 2964944 impls, 6095 clqs
79.38/79.40	c (round 107) 1884 del vars, 10823 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66826 chg coeffs, 10464 upgd conss, 2964948 impls, 6095 clqs
79.68/79.70	c (round 108) 1884 del vars, 10841 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66826 chg coeffs, 10464 upgd conss, 2964948 impls, 6095 clqs
81.58/81.67	c (round 109) 1934 del vars, 10841 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66826 chg coeffs, 10464 upgd conss, 3085822 impls, 6056 clqs
82.28/82.39	c (round 110) 1934 del vars, 10874 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66833 chg coeffs, 10464 upgd conss, 3085826 impls, 6056 clqs
82.58/82.67	c (round 111) 1934 del vars, 10892 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66834 chg coeffs, 10464 upgd conss, 3085826 impls, 6057 clqs
83.98/84.04	c    (84.0s) probing: 3000/7359 (40.8%) - 830 fixings, 0 aggregations, 1213320 implications, 0 bound changes
84.08/84.18	c (round 112) 1984 del vars, 10892 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66834 chg coeffs, 10464 upgd conss, 3173036 impls, 6020 clqs
84.78/84.84	c (round 113) 1984 del vars, 10925 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66840 chg coeffs, 10464 upgd conss, 3173040 impls, 6020 clqs
85.08/85.11	c (round 114) 1984 del vars, 10937 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66841 chg coeffs, 10464 upgd conss, 3173040 impls, 6021 clqs
86.48/86.54	c (round 115) 2034 del vars, 10937 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66841 chg coeffs, 10464 upgd conss, 3256152 impls, 5991 clqs
87.18/87.22	c (round 116) 2034 del vars, 10964 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66843 chg coeffs, 10464 upgd conss, 3256156 impls, 5991 clqs
87.38/87.48	c (round 117) 2034 del vars, 10979 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66843 chg coeffs, 10464 upgd conss, 3256156 impls, 5991 clqs
88.78/88.87	c (round 118) 2084 del vars, 10979 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66843 chg coeffs, 10464 upgd conss, 3340046 impls, 5959 clqs
89.48/89.54	c (round 119) 2084 del vars, 11011 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66850 chg coeffs, 10464 upgd conss, 3340058 impls, 5959 clqs
89.78/89.80	c (round 120) 2084 del vars, 11022 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66850 chg coeffs, 10464 upgd conss, 3340058 impls, 5961 clqs
90.98/91.07	c (round 121) 2134 del vars, 11022 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66850 chg coeffs, 10464 upgd conss, 3415380 impls, 5926 clqs
91.68/91.72	c (round 122) 2134 del vars, 11051 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66855 chg coeffs, 10464 upgd conss, 3415380 impls, 5927 clqs
91.98/92.01	c (round 123) 2134 del vars, 11063 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66856 chg coeffs, 10464 upgd conss, 3415380 impls, 5929 clqs
93.08/93.12	c (round 124) 2184 del vars, 11063 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66856 chg coeffs, 10464 upgd conss, 3475990 impls, 5901 clqs
93.68/93.78	c (round 125) 2184 del vars, 11088 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66859 chg coeffs, 10464 upgd conss, 3475994 impls, 5901 clqs
93.98/94.04	c (round 126) 2184 del vars, 11099 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66859 chg coeffs, 10464 upgd conss, 3475994 impls, 5903 clqs
95.38/95.48	c (round 127) 2234 del vars, 11099 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66859 chg coeffs, 10464 upgd conss, 3556620 impls, 5873 clqs
96.08/96.13	c (round 128) 2234 del vars, 11136 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66863 chg coeffs, 10464 upgd conss, 3556630 impls, 5873 clqs
96.28/96.39	c (round 129) 2234 del vars, 11145 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66864 chg coeffs, 10464 upgd conss, 3556630 impls, 5873 clqs
96.38/96.49	c (round 130) 2234 del vars, 11148 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66865 chg coeffs, 10464 upgd conss, 3556630 impls, 5873 clqs
97.68/97.77	c (round 131) 2284 del vars, 11148 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66866 chg coeffs, 10464 upgd conss, 3625576 impls, 5843 clqs
98.37/98.41	c (round 132) 2284 del vars, 11183 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66876 chg coeffs, 10464 upgd conss, 3625590 impls, 5843 clqs
98.57/98.67	c (round 133) 2284 del vars, 11197 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66878 chg coeffs, 10464 upgd conss, 3625590 impls, 5848 clqs
98.67/98.78	c (round 134) 2284 del vars, 11199 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66879 chg coeffs, 10464 upgd conss, 3625590 impls, 5848 clqs
100.68/100.79	c (round 135) 2334 del vars, 11199 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66880 chg coeffs, 10464 upgd conss, 3731394 impls, 5808 clqs
101.38/101.42	c (round 136) 2334 del vars, 11244 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66888 chg coeffs, 10464 upgd conss, 3731408 impls, 5808 clqs
101.58/101.68	c (round 137) 2334 del vars, 11263 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66890 chg coeffs, 10464 upgd conss, 3731408 impls, 5810 clqs
101.78/101.81	c (round 138) 2334 del vars, 11267 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66891 chg coeffs, 10464 upgd conss, 3731408 impls, 5810 clqs
102.08/102.18	c    (102.2s) probing: 4000/7359 (54.4%) - 1210 fixings, 0 aggregations, 1470149 implications, 0 bound changes
104.18/104.21	c (round 139) 2384 del vars, 11267 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66892 chg coeffs, 10464 upgd conss, 3850604 impls, 5759 clqs
104.78/104.83	c (round 140) 2384 del vars, 11339 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66902 chg coeffs, 10464 upgd conss, 3850618 impls, 5759 clqs
105.08/105.11	c (round 141) 2384 del vars, 11361 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66905 chg coeffs, 10464 upgd conss, 3850618 impls, 5764 clqs
107.28/107.32	c (round 142) 2434 del vars, 11361 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66907 chg coeffs, 10464 upgd conss, 3956722 impls, 5713 clqs
107.88/107.94	c (round 143) 2434 del vars, 11421 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66915 chg coeffs, 10464 upgd conss, 3956724 impls, 5713 clqs
108.18/108.21	c (round 144) 2434 del vars, 11447 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66916 chg coeffs, 10464 upgd conss, 3956724 impls, 5716 clqs
110.28/110.39	c (round 145) 2484 del vars, 11447 del conss, 13256 add conss, 507 chg bounds, 22998 chg sides, 66917 chg coeffs, 10464 upgd conss, 4041934 impls, 5663 clqs
110.87/110.98	c (round 146) 2484 del vars, 11512 del conss, 13257 add conss, 507 chg bounds, 22999 chg sides, 66936 chg coeffs, 10464 upgd conss, 4041948 impls, 5664 clqs
111.27/111.31	c (round 147) 2484 del vars, 11543 del conss, 13257 add conss, 507 chg bounds, 22999 chg sides, 66938 chg coeffs, 10464 upgd conss, 4041948 impls, 5670 clqs
113.28/113.37	c (round 148) 2534 del vars, 11543 del conss, 13257 add conss, 507 chg bounds, 22999 chg sides, 66940 chg coeffs, 10464 upgd conss, 4115956 impls, 5613 clqs
113.87/113.95	c (round 149) 2534 del vars, 11605 del conss, 13257 add conss, 507 chg bounds, 22999 chg sides, 66948 chg coeffs, 10464 upgd conss, 4115970 impls, 5614 clqs
114.17/114.24	c (round 150) 2534 del vars, 11638 del conss, 13257 add conss, 507 chg bounds, 22999 chg sides, 66952 chg coeffs, 10464 upgd conss, 4115970 impls, 5616 clqs
115.87/115.99	c (round 151) 2584 del vars, 11638 del conss, 13257 add conss, 507 chg bounds, 22999 chg sides, 66956 chg coeffs, 10464 upgd conss, 4178914 impls, 5560 clqs
116.48/116.58	c (round 152) 2585 del vars, 11700 del conss, 13258 add conss, 507 chg bounds, 23000 chg sides, 66975 chg coeffs, 10464 upgd conss, 4179570 impls, 5562 clqs
116.87/116.90	c (round 153) 2596 del vars, 11713 del conss, 13258 add conss, 507 chg bounds, 23000 chg sides, 66980 chg coeffs, 10464 upgd conss, 4179570 impls, 5563 clqs
117.07/117.16	c (round 154) 2596 del vars, 11750 del conss, 13258 add conss, 507 chg bounds, 23000 chg sides, 66984 chg coeffs, 10464 upgd conss, 4179570 impls, 5563 clqs
117.37/117.44	c    (117.4s) probing: 5000/7359 (67.9%) - 1455 fixings, 0 aggregations, 1663451 implications, 0 bound changes
118.87/118.98	c (round 155) 2646 del vars, 11750 del conss, 13258 add conss, 507 chg bounds, 23000 chg sides, 66988 chg coeffs, 10464 upgd conss, 4240680 impls, 5505 clqs
119.47/119.57	c (round 156) 2646 del vars, 11813 del conss, 13259 add conss, 507 chg bounds, 23001 chg sides, 67002 chg coeffs, 10464 upgd conss, 4240796 impls, 5507 clqs
119.87/119.93	c (round 157) 2653 del vars, 11856 del conss, 13259 add conss, 507 chg bounds, 23001 chg sides, 67007 chg coeffs, 10464 upgd conss, 4240796 impls, 5497 clqs
120.07/120.19	c (round 158) 2653 del vars, 11877 del conss, 13259 add conss, 507 chg bounds, 23001 chg sides, 67011 chg coeffs, 10464 upgd conss, 4240796 impls, 5498 clqs
121.68/121.73	c (round 159) 2703 del vars, 11878 del conss, 13259 add conss, 507 chg bounds, 23001 chg sides, 67015 chg coeffs, 10464 upgd conss, 4284524 impls, 5444 clqs
122.18/122.28	c (round 160) 2703 del vars, 11945 del conss, 13261 add conss, 507 chg bounds, 23003 chg sides, 67039 chg coeffs, 10464 upgd conss, 4284534 impls, 5447 clqs
122.48/122.58	c (round 161) 2703 del vars, 11978 del conss, 13261 add conss, 507 chg bounds, 23003 chg sides, 67043 chg coeffs, 10464 upgd conss, 4284534 impls, 5450 clqs
123.68/123.79	c (round 162) 2753 del vars, 11978 del conss, 13261 add conss, 507 chg bounds, 23003 chg sides, 67047 chg coeffs, 10464 upgd conss, 4315460 impls, 5386 clqs
124.18/124.26	c (round 163) 2753 del vars, 12043 del conss, 13263 add conss, 507 chg bounds, 23005 chg sides, 67071 chg coeffs, 10464 upgd conss, 4315462 impls, 5388 clqs
124.48/124.57	c (round 164) 2753 del vars, 12081 del conss, 13263 add conss, 507 chg bounds, 23005 chg sides, 67076 chg coeffs, 10464 upgd conss, 4315462 impls, 5389 clqs
125.38/125.48	c (round 165) 2803 del vars, 12081 del conss, 13263 add conss, 507 chg bounds, 23005 chg sides, 67081 chg coeffs, 10464 upgd conss, 4342934 impls, 5337 clqs
125.98/126.04	c (round 166) 2803 del vars, 12145 del conss, 13263 add conss, 507 chg bounds, 23005 chg sides, 67089 chg coeffs, 10464 upgd conss, 4342944 impls, 5339 clqs
126.28/126.34	c (round 167) 2803 del vars, 12179 del conss, 13263 add conss, 507 chg bounds, 23005 chg sides, 67094 chg coeffs, 10464 upgd conss, 4342944 impls, 5341 clqs
126.38/126.49	c (round 168) 2803 del vars, 12189 del conss, 13264 add conss, 507 chg bounds, 23006 chg sides, 67103 chg coeffs, 10464 upgd conss, 4342944 impls, 5342 clqs
127.28/127.33	c (round 169) 2853 del vars, 12189 del conss, 13264 add conss, 507 chg bounds, 23006 chg sides, 67107 chg coeffs, 10464 upgd conss, 4362206 impls, 5288 clqs
127.78/127.87	c (round 170) 2853 del vars, 12251 del conss, 13266 add conss, 507 chg bounds, 23008 chg sides, 67127 chg coeffs, 10464 upgd conss, 4362208 impls, 5295 clqs
128.18/128.28	c (round 171) 2871 del vars, 12292 del conss, 13266 add conss, 507 chg bounds, 23008 chg sides, 67130 chg coeffs, 10464 upgd conss, 4362210 impls, 5276 clqs
128.58/128.69	c (round 172) 2871 del vars, 12326 del conss, 13298 add conss, 507 chg bounds, 23204 chg sides, 67377 chg coeffs, 10464 upgd conss, 4362210 impls, 5276 clqs
128.78/128.85	c (round 173) 2871 del vars, 12350 del conss, 13298 add conss, 507 chg bounds, 23204 chg sides, 67380 chg coeffs, 10464 upgd conss, 4362210 impls, 5276 clqs
129.28/129.34	c (round 174) 2944 del vars, 12350 del conss, 13298 add conss, 507 chg bounds, 23204 chg sides, 67383 chg coeffs, 10464 upgd conss, 4372526 impls, 5204 clqs
129.78/129.87	c (round 175) 2944 del vars, 12471 del conss, 13299 add conss, 507 chg bounds, 23205 chg sides, 67389 chg coeffs, 10464 upgd conss, 4372534 impls, 5207 clqs
130.08/130.14	c (round 176) 2944 del vars, 12488 del conss, 13299 add conss, 507 chg bounds, 23205 chg sides, 67392 chg coeffs, 10464 upgd conss, 4372534 impls, 5207 clqs
130.18/130.24	c (round 177) 2944 del vars, 12491 del conss, 13299 add conss, 507 chg bounds, 23205 chg sides, 67395 chg coeffs, 10464 upgd conss, 4372534 impls, 5207 clqs
130.58/130.61	c (round 178) 3012 del vars, 12491 del conss, 13299 add conss, 507 chg bounds, 23205 chg sides, 67397 chg coeffs, 10464 upgd conss, 4378832 impls, 5142 clqs
130.98/131.02	c (round 179) 3012 del vars, 12612 del conss, 13299 add conss, 507 chg bounds, 23205 chg sides, 67398 chg coeffs, 10464 upgd conss, 4378832 impls, 5144 clqs
131.18/131.24	c (round 180) 3012 del vars, 12619 del conss, 13299 add conss, 507 chg bounds, 23205 chg sides, 67399 chg coeffs, 10464 upgd conss, 4378832 impls, 5144 clqs
131.88/131.96	c (round 181) 3062 del vars, 12620 del conss, 13299 add conss, 507 chg bounds, 23205 chg sides, 67400 chg coeffs, 10464 upgd conss, 4398842 impls, 5097 clqs
132.37/132.46	c (round 182) 3062 del vars, 12697 del conss, 13299 add conss, 507 chg bounds, 23205 chg sides, 67407 chg coeffs, 10464 upgd conss, 4398852 impls, 5102 clqs
132.67/132.77	c (round 183) 3062 del vars, 12722 del conss, 13300 add conss, 507 chg bounds, 23206 chg sides, 67411 chg coeffs, 10464 upgd conss, 4398852 impls, 5103 clqs
132.77/132.86	c (round 184) 3071 del vars, 12723 del conss, 13300 add conss, 507 chg bounds, 23206 chg sides, 67411 chg coeffs, 10464 upgd conss, 4398854 impls, 5085 clqs
132.87/132.96	c (round 185) 3071 del vars, 12732 del conss, 13300 add conss, 507 chg bounds, 23206 chg sides, 67411 chg coeffs, 10464 upgd conss, 4398854 impls, 5085 clqs
132.98/133.05	c (round 186) 3071 del vars, 12740 del conss, 13300 add conss, 507 chg bounds, 23206 chg sides, 67411 chg coeffs, 10464 upgd conss, 4398854 impls, 5085 clqs
133.27/133.39	c    (133.4s) probing: 6000/7359 (81.5%) - 1904 fixings, 0 aggregations, 1760146 implications, 0 bound changes
133.47/133.57	c (round 187) 3128 del vars, 12740 del conss, 13300 add conss, 507 chg bounds, 23206 chg sides, 67411 chg coeffs, 10464 upgd conss, 4414202 impls, 5023 clqs
133.97/134.04	c (round 188) 3128 del vars, 12847 del conss, 13300 add conss, 507 chg bounds, 23206 chg sides, 67455 chg coeffs, 10464 upgd conss, 4414204 impls, 5023 clqs
134.27/134.39	c (round 189) 3136 del vars, 12859 del conss, 13300 add conss, 507 chg bounds, 23206 chg sides, 67491 chg coeffs, 10464 upgd conss, 4414204 impls, 5022 clqs
134.67/134.75	c (round 190) 3136 del vars, 12875 del conss, 13332 add conss, 507 chg bounds, 23370 chg sides, 67743 chg coeffs, 10464 upgd conss, 4414204 impls, 5022 clqs
134.87/134.94	c (round 191) 3136 del vars, 12905 del conss, 13332 add conss, 507 chg bounds, 23370 chg sides, 67779 chg coeffs, 10464 upgd conss, 4414204 impls, 5022 clqs
134.97/135.07	c (round 192) 3138 del vars, 12911 del conss, 13332 add conss, 507 chg bounds, 23370 chg sides, 67811 chg coeffs, 10464 upgd conss, 4414204 impls, 5018 clqs
135.07/135.15	c (round 193) 3138 del vars, 12915 del conss, 13332 add conss, 507 chg bounds, 23370 chg sides, 67839 chg coeffs, 10464 upgd conss, 4414204 impls, 5018 clqs
135.47/135.58	c (round 194) 3188 del vars, 12915 del conss, 13332 add conss, 507 chg bounds, 23370 chg sides, 67859 chg coeffs, 10464 upgd conss, 4419380 impls, 4967 clqs
135.97/136.09	c (round 195) 3208 del vars, 13052 del conss, 13332 add conss, 507 chg bounds, 23370 chg sides, 67873 chg coeffs, 10464 upgd conss, 4419386 impls, 4936 clqs
136.38/136.42	c (round 196) 3226 del vars, 13065 del conss, 13332 add conss, 507 chg bounds, 23370 chg sides, 67883 chg coeffs, 10464 upgd conss, 4419386 impls, 4916 clqs
136.77/136.82	c (round 197) 3226 del vars, 13101 del conss, 13364 add conss, 507 chg bounds, 23530 chg sides, 68096 chg coeffs, 10464 upgd conss, 4419386 impls, 4917 clqs
136.97/137.03	c (round 198) 3228 del vars, 13130 del conss, 13364 add conss, 507 chg bounds, 23530 chg sides, 68096 chg coeffs, 10464 upgd conss, 4419386 impls, 4913 clqs
137.07/137.13	c (round 199) 3228 del vars, 13135 del conss, 13364 add conss, 507 chg bounds, 23530 chg sides, 68096 chg coeffs, 10464 upgd conss, 4419386 impls, 4913 clqs
137.67/137.71	c (round 200) 3278 del vars, 13136 del conss, 13364 add conss, 507 chg bounds, 23530 chg sides, 68096 chg coeffs, 10464 upgd conss, 4433748 impls, 4861 clqs
138.07/138.18	c (round 201) 3278 del vars, 13219 del conss, 13364 add conss, 507 chg bounds, 23530 chg sides, 68114 chg coeffs, 10464 upgd conss, 4433750 impls, 4869 clqs
138.48/138.60	c (round 202) 3281 del vars, 13267 del conss, 13365 add conss, 507 chg bounds, 23531 chg sides, 68129 chg coeffs, 10464 upgd conss, 4433750 impls, 4864 clqs
138.58/138.68	c (round 203) 3281 del vars, 13273 del conss, 13365 add conss, 507 chg bounds, 23531 chg sides, 68133 chg coeffs, 10464 upgd conss, 4433750 impls, 4864 clqs
139.27/139.38	c (round 204) 3331 del vars, 13273 del conss, 13365 add conss, 507 chg bounds, 23531 chg sides, 68133 chg coeffs, 10464 upgd conss, 4448884 impls, 4806 clqs
139.97/140.00	c (round 205) 3331 del vars, 13360 del conss, 13398 add conss, 507 chg bounds, 23692 chg sides, 68396 chg coeffs, 10464 upgd conss, 4448906 impls, 4807 clqs
140.27/140.35	c (round 206) 3333 del vars, 13434 del conss, 13398 add conss, 507 chg bounds, 23692 chg sides, 68421 chg coeffs, 10464 upgd conss, 4448906 impls, 4802 clqs
140.57/140.60	c (round 207) 3333 del vars, 13438 del conss, 13430 add conss, 507 chg bounds, 23804 chg sides, 68606 chg coeffs, 10464 upgd conss, 4448906 impls, 4802 clqs
140.68/140.75	c (round 208) 3333 del vars, 13467 del conss, 13431 add conss, 507 chg bounds, 23805 chg sides, 68639 chg coeffs, 10464 upgd conss, 4448906 impls, 4803 clqs
140.87/140.94	c (round 209) 3333 del vars, 13472 del conss, 13431 add conss, 507 chg bounds, 23805 chg sides, 68667 chg coeffs, 10464 upgd conss, 4448906 impls, 4803 clqs
140.97/141.08	c (round 210) 3333 del vars, 13483 del conss, 13431 add conss, 507 chg bounds, 23805 chg sides, 68687 chg coeffs, 10464 upgd conss, 4448906 impls, 4803 clqs
141.57/141.66	c (round 211) 3383 del vars, 13483 del conss, 13431 add conss, 507 chg bounds, 23805 chg sides, 68695 chg coeffs, 10464 upgd conss, 4460064 impls, 4750 clqs
141.97/142.09	c (round 212) 3383 del vars, 13572 del conss, 13431 add conss, 507 chg bounds, 23805 chg sides, 68723 chg coeffs, 10464 upgd conss, 4460084 impls, 4750 clqs
142.37/142.41	c (round 213) 3383 del vars, 13599 del conss, 13431 add conss, 507 chg bounds, 23805 chg sides, 68747 chg coeffs, 10464 upgd conss, 4460084 impls, 4750 clqs
142.98/143.01	c (round 214) 3433 del vars, 13599 del conss, 13431 add conss, 507 chg bounds, 23805 chg sides, 68763 chg coeffs, 10464 upgd conss, 4469422 impls, 4694 clqs
143.57/143.67	c (round 215) 3433 del vars, 13702 del conss, 13495 add conss, 507 chg bounds, 23989 chg sides, 69059 chg coeffs, 10464 upgd conss, 4469422 impls, 4695 clqs
143.98/144.05	c (round 216) 3433 del vars, 13797 del conss, 13495 add conss, 507 chg bounds, 23989 chg sides, 69091 chg coeffs, 10464 upgd conss, 4469422 impls, 4695 clqs
144.47/144.58	c    (144.6s) probing: 7000/7359 (95.1%) - 2220 fixings, 0 aggregations, 1786199 implications, 0 bound changes
144.47/144.58	c (round 217) 3455 del vars, 13797 del conss, 13495 add conss, 507 chg bounds, 23989 chg sides, 69119 chg coeffs, 10464 upgd conss, 4472416 impls, 4667 clqs
144.97/145.04	c (round 218) 3455 del vars, 13853 del conss, 13527 add conss, 507 chg bounds, 24021 chg sides, 69211 chg coeffs, 10464 upgd conss, 4472416 impls, 4667 clqs
145.37/145.43	c (round 219) 3459 del vars, 13906 del conss, 13527 add conss, 507 chg bounds, 24021 chg sides, 69231 chg coeffs, 10464 upgd conss, 4472416 impls, 4655 clqs
145.47/145.50	c (round 220) 3459 del vars, 13915 del conss, 13527 add conss, 507 chg bounds, 24021 chg sides, 69243 chg coeffs, 10464 upgd conss, 4472416 impls, 4655 clqs
145.47/145.58	c presolving (221 rounds):
145.47/145.58	c  3459 deleted vars, 13915 deleted constraints, 13527 added constraints, 507 tightened bounds, 0 added holes, 24021 changed sides, 69251 changed coefficients
145.47/145.58	c  4472416 implications, 4655 cliques
145.47/145.58	c presolved problem has 4523 variables (4523 bin, 0 int, 0 impl, 0 cont) and 10675 constraints
145.47/145.58	c     163 constraints of type <knapsack>
145.47/145.58	c    8499 constraints of type <setppc>
145.47/145.58	c    2013 constraints of type <logicor>
145.47/145.58	c transformed objective value is always integral (scale: 1)
145.47/145.58	c Presolving Time: 145.29
145.47/145.58	c - non default parameters ----------------------------------------------------------------------
145.47/145.58	c # SCIP version 2.0.1.5
145.47/145.58	c 
145.47/145.58	c # frequency for displaying node information lines
145.47/145.58	c # [type: int, range: [-1,2147483647], default: 100]
145.47/145.58	c display/freq = 10000
145.47/145.58	c 
145.47/145.58	c # maximal time in seconds to run
145.47/145.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
145.47/145.58	c limits/time = 1797
145.47/145.58	c 
145.47/145.58	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
145.47/145.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
145.47/145.58	c limits/memory = 13950
145.47/145.58	c 
145.47/145.58	c # default clock type (1: CPU user seconds, 2: wall clock time)
145.47/145.58	c # [type: int, range: [1,2], default: 1]
145.47/145.58	c timing/clocktype = 2
145.47/145.58	c 
145.47/145.58	c # belongs reading time to solving time?
145.47/145.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
145.47/145.58	c timing/reading = TRUE
145.47/145.58	c 
145.47/145.58	c # should presolving try to simplify inequalities
145.47/145.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
145.47/145.58	c constraints/linear/simplifyinequalities = TRUE
145.47/145.58	c 
145.47/145.58	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
145.47/145.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
145.47/145.58	c constraints/indicator/addCouplingCons = TRUE
145.47/145.58	c 
145.47/145.58	c # should presolving try to simplify knapsacks
145.47/145.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
145.47/145.58	c constraints/knapsack/simplifyinequalities = TRUE
145.47/145.58	c 
145.47/145.58	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
145.47/145.58	c # [type: int, range: [-1,2147483647], default: -1]
145.47/145.58	c separating/rapidlearning/freq = 0
145.47/145.58	c 
145.47/145.58	c -----------------------------------------------------------------------------------------------
145.47/145.58	c start solving
145.47/145.58	c 
147.77/147.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
147.77/147.89	c   148s|     1 |     0 |  5204 |     - | 168M|   0 | 897 |4523 |  10k|4523 |  10k|   0 |  15 |   0 | 1.336851e+01 |      --      |    Inf 
187.97/188.05	c   188s|     1 |     0 | 34860 |     - | 168M|   0 | 860 |4523 |  10k|4523 |  10k|  80 |  15 |   0 | 1.454743e+01 |      --      |    Inf 
190.06/190.16	c   190s|     1 |     0 | 35683 |     - | 168M|   0 | 943 |4523 |  10k|4523 |  10k|  99 |  15 |   0 | 1.454743e+01 |      --      |    Inf 
192.16/192.21	c   192s|     1 |     0 | 36187 |     - | 168M|   0 | 989 |4523 |  10k|4523 |  10k| 107 |  15 |   0 | 1.454743e+01 |      --      |    Inf 
197.36/197.44	c   197s|     1 |     0 | 41843 |     - | 168M|   0 | 907 |4523 |  10k|4523 |  10k| 111 |  15 |   0 | 1.670732e+01 |      --      |    Inf 
203.37/203.42	c   203s|     1 |     0 | 48403 |     - | 169M|   0 | 898 |4523 |  10k|4523 |  10k| 147 |  15 |   0 | 1.760294e+01 |      --      |    Inf 
208.76/208.90	c   209s|     1 |     0 | 54057 |     - | 172M|   0 | 953 |4523 |  10k|4523 |  10k| 166 |  15 |   0 | 1.792063e+01 |      --      |    Inf 
223.06/223.20	c   223s|     1 |     0 | 68554 |     - | 172M|   0 |1223 |4523 |  10k|4523 |  10k| 201 |  15 |   0 | 1.889025e+01 |      --      |    Inf 
239.76/239.88	c   240s|     1 |     0 | 85843 |     - | 172M|   0 | 953 |4523 |  10k|4523 |  10k| 216 |  15 |   0 | 1.891372e+01 |      --      |    Inf 
245.76/245.82	c   246s|     1 |     0 | 91897 |     - | 173M|   0 |1075 |4523 |  10k|4523 |  10k| 256 |  15 |   0 | 1.950319e+01 |      --      |    Inf 
253.65/253.70	c   254s|     1 |     0 |101150 |     - | 173M|   0 | 953 |4523 |  10k|4523 |  10k| 265 |  15 |   0 | 1.984483e+01 |      --      |    Inf 
259.45/259.55	c   260s|     1 |     0 |107242 |     - | 174M|   0 |1050 |4523 |  10k|4523 |  10k| 284 |  15 |   0 | 2.195238e+01 |      --      |    Inf 
271.95/272.08	c   272s|     1 |     0 |120007 |     - | 174M|   0 |1191 |4523 |  10k|4523 |  10k| 292 |  15 |   0 | 2.200985e+01 |      --      |    Inf 
278.44/278.55	c   279s|     1 |     0 |126633 |     - | 174M|   0 |1017 |4523 |  10k|4523 |  11k| 335 |  15 |   0 | 2.207882e+01 |      --      |    Inf 
284.86/284.95	c   285s|     1 |     0 |133297 |     - | 174M|   0 |1037 |4523 |  10k|4523 |  11k| 350 |  15 |   0 | 2.209767e+01 |      --      |    Inf 
292.34/292.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
292.34/292.50	c   293s|     1 |     0 |141412 |     - | 174M|   0 |1035 |4523 |  10k|4523 |  10k| 360 |  15 |   0 | 2.209767e+01 |      --      |    Inf 
296.44/296.52	c   297s|     1 |     0 |144488 |     - | 174M|   0 |1094 |4523 |  10k|4523 |  10k| 365 |  15 |   0 | 2.209767e+01 |      --      |    Inf 
302.85/302.91	c   303s|     1 |     0 |150800 |     - | 174M|   0 |1012 |4523 |  10k|4523 |  10k| 373 |  15 |   0 | 2.209767e+01 |      --      |    Inf 
305.75/305.85	c   306s|     1 |     0 |152358 |     - | 174M|   0 |1001 |4523 |  10k|4523 |  10k| 378 |  15 |   0 | 2.209767e+01 |      --      |    Inf 
309.25/309.30	c   309s|     1 |     0 |154812 |     - | 174M|   0 |1024 |4523 |  10k|4523 |  10k| 384 |  15 |   0 | 2.209767e+01 |      --      |    Inf 
339.84/339.91	c   340s|     1 |     0 |157202 |     - | 174M|   0 |1032 |4523 |  10k|4523 |  10k| 384 |  15 |  38 | 2.215802e+01 |      --      |    Inf 
377.24/377.30	c   377s|     1 |     0 |185341 |     - | 174M|   0 | 683 |4523 |  10k|4523 |  10k| 388 |  15 |  38 | 2.300000e+01 |      --      |    Inf 
398.53/398.63	c   399s|     1 |     2 |185341 |     - | 174M|   0 | 683 |4523 |  10k|4523 |  10k| 388 |  15 |  63 | 2.300000e+01 |      --      |    Inf 
1797.11/1797.46	c 
1797.11/1797.46	c SCIP Status        : solving was interrupted [time limit reached]
1797.11/1797.46	c Solving Time (sec) : 1797.46
1797.11/1797.46	c Solving Nodes      : 229
1797.11/1797.46	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.11/1797.46	c Dual Bound         : +2.30210304942166e+01
1797.11/1797.46	c Gap                : infinite
1797.11/1797.46	s UNKNOWN
1797.11/1797.46	c SCIP Status        : solving was interrupted [time limit reached]
1797.11/1797.46	c Total Time         :    1797.46
1797.11/1797.46	c   solving          :    1797.46
1797.11/1797.46	c   presolving       :     145.29 (included in solving)
1797.11/1797.46	c   reading          :       0.22 (included in solving)
1797.11/1797.46	c Original Problem   :
1797.11/1797.46	c   Problem name     : HOME/instance-3741397-1338774496.opb
1797.11/1797.46	c   Variables        : 7982 (7982 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.11/1797.46	c   Constraints      : 11063 initial, 11063 maximal
1797.11/1797.46	c Presolved Problem  :
1797.11/1797.46	c   Problem name     : t_HOME/instance-3741397-1338774496.opb
1797.11/1797.46	c   Variables        : 4523 (4523 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.11/1797.46	c   Constraints      : 10675 initial, 11788 maximal
1797.11/1797.46	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.11/1797.46	c   trivial          :       0.07          1          0          0          0          0          0          0          0          0
1797.11/1797.46	c   dualfix          :       0.05          0          0          0          0          0          0          0          0          0
1797.11/1797.46	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.11/1797.46	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.11/1797.46	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1797.11/1797.46	c   implics          :       0.18          0          0          0          0          0          0          0          0          0
1797.11/1797.46	c   probing          :      70.83       2220          0          0          0          0          0          0          0          0
1797.11/1797.46	c   knapsack         :      63.83         30          0          0          0          0       6547      13527      16174      61404
1797.11/1797.46	c   setppc           :       8.70        698          1          0          0          0       6584          0          0          0
1797.11/1797.46	c   linear           :       0.56        507          2          0        507          0        599          0       7847       7847
1797.11/1797.46	c   logicor          :       0.33          0          0          0          0          0        185          0          0          0
1797.11/1797.46	c   root node        :          -         18          -          -         18          -          -          -          -          -
1797.11/1797.46	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.11/1797.46	c   integral         :          0          0          0        215          0          4          0          1         27          0          0        392
1797.11/1797.46	c   knapsack         :        163         20      50637          0          0          3       2319        410       6430         13          0          0
1797.11/1797.46	c   setppc           :       8499         20      50227          0          0          2      45182       1309      31924          0          0          0
1797.11/1797.46	c   logicor          :       2013+        20      42008          0          0          0      25939        109       4074          0          0          0
1797.11/1797.46	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1797.11/1797.46	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.11/1797.46	c   integral         :     463.60       0.00       0.00     463.59       0.00       0.00       0.00
1797.11/1797.46	c   knapsack         :      23.45       0.95      22.49       0.00       0.00       0.00       0.01
1797.11/1797.46	c   setppc           :      13.74       0.01      13.70       0.00       0.00       0.00       0.03
1797.11/1797.46	c   logicor          :       1.01       0.00       1.00       0.00       0.00       0.00       0.01
1797.11/1797.46	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.11/1797.46	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.11/1797.46	c   vbounds          :          0          0          0          0
1797.11/1797.46	c   rootredcost      :          0          0          0          0
1797.11/1797.46	c   pseudoobj        :       3738          0          0          0
1797.11/1797.46	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.11/1797.46	c   vbounds          :       0.01       0.01       0.00
1797.11/1797.46	c   rootredcost      :       0.01       0.01       0.00
1797.11/1797.46	c   pseudoobj        :       0.01       0.01       0.00
1797.11/1797.46	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.11/1797.46	c   propagation      :       0.03        110        110        802       68.9         42       51.5          -
1797.11/1797.46	c   infeasible LP    :       0.25        110        108       1327      201.1         40        6.8          0
1797.11/1797.46	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.11/1797.46	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.11/1797.46	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.11/1797.46	c   applied globally :          -          -          -       1591      101.4          -          -          -
1797.11/1797.46	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.11/1797.46	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.11/1797.46	c   cut pool         :       0.01         19          -          -        163          -    (maximal pool size: 980)
1797.11/1797.46	c   redcost          :       0.02        233          0          0          0          0
1797.11/1797.46	c   impliedbounds    :       0.14         20          0          0        501          0
1797.11/1797.46	c   intobj           :       0.00          0          0          0          0          0
1797.11/1797.46	c   gomory           :      15.87         20          0          0        883          0
1797.11/1797.46	c   cgmip            :       0.00          0          0          0          0          0
1797.11/1797.46	c   closecuts        :       0.00          0          0          0          0          0
1797.11/1797.46	c   strongcg         :      15.34         20          0          0        908          0
1797.11/1797.46	c   cmir             :       0.71         10          0          0          0          0
1797.11/1797.46	c   flowcover        :       0.90         10          0          0          3          0
1797.11/1797.46	c   clique           :       9.11         20          0          0        185          0
1797.11/1797.46	c   zerohalf         :       0.00          0          0          0          0          0
1797.11/1797.46	c   mcf              :       0.01          1          0          0          0          0
1797.11/1797.46	c   oddcycle         :       0.00          0          0          0          0          0
1797.11/1797.46	c   rapidlearning    :       0.00          0          0          0          0          0
1797.11/1797.46	c Pricers            :       Time      Calls       Vars
1797.11/1797.46	c   problem variables:       0.00          0          0
1797.11/1797.46	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.11/1797.46	c   relpscost        :     463.59        215          1         27          0          0        392
1797.11/1797.46	c   pscost           :       0.00          0          0          0          0          0          0
1797.11/1797.46	c   inference        :       0.00          0          0          0          0          0          0
1797.11/1797.46	c   mostinf          :       0.00          0          0          0          0          0          0
1797.11/1797.46	c   leastinf         :       0.00          0          0          0          0          0          0
1797.11/1797.46	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.11/1797.46	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.11/1797.46	c   random           :       0.00          0          0          0          0          0          0
1797.11/1797.46	c Primal Heuristics  :       Time      Calls      Found
1797.11/1797.46	c   LP solutions     :       0.00          -          0
1797.11/1797.46	c   pseudo solutions :       0.00          -          0
1797.11/1797.46	c   oneopt           :       0.00          0          0
1797.11/1797.46	c   crossover        :       0.00          0          0
1797.11/1797.46	c   guideddiving     :       0.00          0          0
1797.11/1797.46	c   pscostdiving     :      16.49          2          0
1797.11/1797.46	c   fracdiving       :       5.86          2          0
1797.11/1797.46	c   veclendiving     :      69.28          2          0
1797.11/1797.46	c   linesearchdiving :      17.38          2          0
1797.11/1797.46	c   coefdiving       :     118.98          3          0
1797.11/1797.46	c   trivial          :       0.01          2          0
1797.11/1797.46	c   shiftandpropagate:       0.12          1          0
1797.11/1797.46	c   simplerounding   :       0.00          0          0
1797.11/1797.46	c   zirounding       :       0.08          0          0
1797.11/1797.46	c   rounding         :       0.17        166          0
1797.11/1797.46	c   shifting         :       0.19         40          0
1797.11/1797.46	c   intshifting      :       0.00          0          0
1797.11/1797.46	c   twoopt           :       0.00          0          0
1797.11/1797.46	c   fixandinfer      :       0.00          0          0
1797.11/1797.46	c   feaspump         :      31.78          1          0
1797.11/1797.46	c   clique           :       0.00          0          0
1797.11/1797.46	c   intdiving        :       0.00          0          0
1797.11/1797.46	c   actconsdiving    :       0.00          0          0
1797.11/1797.46	c   objpscostdiving  :      92.43          1          0
1797.11/1797.46	c   rootsoldiving    :      15.25          2          0
1797.11/1797.46	c   octane           :       0.00          0          0
1797.11/1797.46	c   rens             :       3.40          1          0
1797.11/1797.46	c   rins             :       0.00          0          0
1797.11/1797.46	c   localbranching   :       0.00          0          0
1797.11/1797.46	c   mutation         :       0.00          0          0
1797.11/1797.46	c   dins             :       0.00          0          0
1797.11/1797.46	c   vbounds          :       0.00          0          0
1797.11/1797.46	c   undercover       :       0.00          0          0
1797.11/1797.46	c   subnlp           :       0.00          0          0
1797.11/1797.46	c   trysol           :       0.00          0          0
1797.11/1797.46	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.11/1797.46	c   primal LP        :       0.03          0          0       0.00       0.00
1797.11/1797.46	c   dual LP          :     772.63        258     975782    3782.10    1262.94
1797.11/1797.46	c   lex dual LP      :       0.00          0          0       0.00          -
1797.11/1797.46	c   barrier LP       :       0.00          0          0       0.00          -
1797.11/1797.46	c   diving/probing LP:     364.39       1464     605143     413.35    1660.69
1797.11/1797.46	c   strong branching :     463.52        720     669480     929.83    1444.33
1797.11/1797.46	c     (at root node) :          -         63      59923     951.16          -
1797.11/1797.46	c   conflict analysis:       0.00          0          0       0.00          -
1797.11/1797.46	c B&B Tree           :
1797.11/1797.46	c   number of runs   :          1
1797.11/1797.46	c   nodes            :        229
1797.11/1797.46	c   nodes (total)    :        229
1797.11/1797.46	c   nodes left       :        164
1797.11/1797.46	c   max depth        :         25
1797.11/1797.46	c   max depth (total):         25
1797.11/1797.46	c   backtracks       :         17 (7.4%)
1797.11/1797.46	c   delayed cutoffs  :          0
1797.11/1797.46	c   repropagations   :         99 (242 domain reductions, 0 cutoffs)
1797.11/1797.46	c   avg switch length:       2.77
1797.11/1797.46	c   switching time   :       0.20
1797.11/1797.46	c Solution           :
1797.11/1797.46	c   Solutions found  :          0 (0 improvements)
1797.11/1797.46	c   Primal Bound     :          -
1797.11/1797.46	c   Dual Bound       : +2.30210304942166e+01
1797.11/1797.46	c   Gap              :   infinite
1797.11/1797.46	c   Root Dual Bound  : +2.30000000000000e+01
1797.11/1797.46	c   Root Iterations  :     185341
1797.21/1797.59	c Time complete: 1797.3.

ERROR: no interpretation found !

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

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.05 2.02 3/176 22107
/proc/meminfo: memFree=30138392/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=10952 CPUtime=0 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 1641 0 0 0 0 0 0 0 20 0 1 0 343575582 11214848 1595 33554432000 4194304 9016284 140734159392976 140734697729624 7870589 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 2738 1604 340 1178 0 1556 0

[startup+0.073489 s]
/proc/loadavg: 2.04 2.05 2.02 3/176 22107
/proc/meminfo: memFree=30138392/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=24416 CPUtime=0.06 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 5071 0 0 0 6 0 0 0 20 0 1 0 343575582 25001984 5025 33554432000 4194304 9016284 140734159392976 140734697729624 7928096 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 6104 5029 360 1178 0 4922 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24416

[startup+0.100295 s]
/proc/loadavg: 2.04 2.05 2.02 3/176 22107
/proc/meminfo: memFree=30138392/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=25696 CPUtime=0.09 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 5418 0 0 0 9 0 0 0 20 0 1 0 343575582 26312704 5372 33554432000 4194304 9016284 140734159392976 140734697729624 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 6457 5374 360 1178 0 5275 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25696

[startup+0.300242 s]
/proc/loadavg: 2.04 2.05 2.02 3/176 22107
/proc/meminfo: memFree=30138392/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=80696 CPUtime=0.29 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 19032 0 0 0 27 2 0 0 20 0 1 0 343575582 82632704 18986 33554432000 4194304 9016284 140734159392976 140734697729624 4786469 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 20174 18986 429 1178 0 18992 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80696

[startup+0.700253 s]
/proc/loadavg: 2.04 2.05 2.02 3/176 22107
/proc/meminfo: memFree=30138392/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=107184 CPUtime=0.69 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 25649 0 0 0 66 3 0 0 20 0 1 0 343575582 109756416 25346 33554432000 4194304 9016284 140734159392976 140734697729624 5200352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 26796 25346 492 1178 0 25614 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107184

[startup+1.50023 s]
/proc/loadavg: 2.04 2.05 2.02 3/177 22108
/proc/meminfo: memFree=30012772/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=133052 CPUtime=1.49 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 32909 0 0 0 145 4 0 0 20 0 1 0 343575582 136245248 31887 33554432000 4194304 9016284 140734159392976 140734159388648 5165533 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 33263 31887 519 1178 0 32081 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 133052

[startup+3.10018 s]
/proc/loadavg: 2.04 2.05 2.02 3/177 22108
/proc/meminfo: memFree=30011020/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=136152 CPUtime=3.09 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 33701 0 0 0 305 4 0 0 20 0 1 0 343575582 139419648 32679 33554432000 4194304 9016284 140734159392976 140734159387704 4933571 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 34038 32679 519 1178 0 32856 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 136152

[startup+6.30022 s]
/proc/loadavg: 2.04 2.05 2.02 3/177 22108
/proc/meminfo: memFree=29997328/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=149064 CPUtime=6.29 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 36956 0 0 0 624 5 0 0 20 0 1 0 343575582 152641536 35934 33554432000 4194304 9016284 140734159392976 140734159388648 6483567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 37266 35934 523 1178 0 36084 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 149064

[startup+12.7002 s]
/proc/loadavg: 2.03 2.05 2.02 3/177 22108
/proc/meminfo: memFree=29992288/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=152996 CPUtime=12.69 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 37989 0 0 0 1264 5 0 0 20 0 1 0 343575582 156667904 36967 33554432000 4194304 9016284 140734159392976 140734159388648 5165533 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 38249 36967 536 1178 0 37067 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 152996

[startup+25.5002 s]
/proc/loadavg: 2.02 2.05 2.02 3/177 22108
/proc/meminfo: memFree=29985672/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=160080 CPUtime=25.48 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 39673 0 0 0 2543 5 0 0 20 0 1 0 343575582 163921920 38651 33554432000 4194304 9016284 140734159392976 140734159388648 5165243 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 40020 38651 536 1178 0 38838 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 160080

[startup+51.1003 s]
/proc/loadavg: 2.08 2.06 2.02 3/177 22108
/proc/meminfo: memFree=29948188/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=198668 CPUtime=51.08 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 49095 0 0 0 5099 9 0 0 20 0 1 0 343575582 203436032 48073 33554432000 4194304 9016284 140734159392976 140734159388648 5155106 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 49667 48073 541 1178 0 48485 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 198668

[startup+102.306 s]
/proc/loadavg: 2.03 2.05 2.02 3/177 22108
/proc/meminfo: memFree=29890456/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=249892 CPUtime=102.29 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 62111 0 0 0 10216 13 0 0 20 0 1 0 343575582 255889408 61056 33554432000 4194304 9016284 140734159392976 140734159388648 6469479 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 62473 61056 542 1178 0 61291 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 249892

[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/178 22111
/proc/meminfo: memFree=29830476/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=312460 CPUtime=162.27 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 77050 0 0 0 16209 18 0 0 20 0 1 0 343575582 319959040 75651 33554432000 4194304 9016284 140734159392976 140734159384728 7191164 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 78115 75651 664 1178 0 76933 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 312460

[startup+222.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/177 22112
/proc/meminfo: memFree=29801568/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=338596 CPUtime=222.26 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 80340 0 0 0 22197 29 0 0 20 0 1 0 343575582 346722304 82783 33554432000 4194304 9016284 140734159392976 140734159387256 7180751 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 84649 82783 697 1178 0 83467 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 338596

[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 22112
/proc/meminfo: memFree=29801892/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=338688 CPUtime=282.25 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 82613 0 0 0 28179 46 0 0 20 0 1 0 343575582 346816512 82678 33554432000 4194304 9016284 140734159392976 140734159386936 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 84672 82678 697 1178 0 83490 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 338688

[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 22112
/proc/meminfo: memFree=29796680/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=341168 CPUtime=342.24 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 96467 0 0 0 34161 63 0 0 20 0 1 0 343575582 349356032 83175 33554432000 4194304 9016284 140734159392976 140734159388136 7180768 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 85292 83175 714 1178 0 84110 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 341168

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 22112
/proc/meminfo: memFree=29791936/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=341472 CPUtime=402.23 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 96468 0 0 0 40150 73 0 0 20 0 1 0 343575582 349667328 83176 33554432000 4194304 9016284 140734159392976 140734159386840 7158227 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 85368 83176 714 1178 0 84186 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 341472

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22112
/proc/meminfo: memFree=29792336/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=341472 CPUtime=462.22 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 96468 0 0 0 46138 84 0 0 20 0 1 0 343575582 349667328 83176 33554432000 4194304 9016284 140734159392976 140734159386824 7227419 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 85368 83176 714 1178 0 84186 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 341472

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22113
/proc/meminfo: memFree=29792116/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=341472 CPUtime=522.21 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 96468 0 0 0 52123 98 0 0 20 0 1 0 343575582 349667328 83176 33554432000 4194304 9016284 140734159392976 140734159386936 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 85368 83176 714 1178 0 84186 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 341472

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22113
/proc/meminfo: memFree=29791124/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=342472 CPUtime=582.2 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 96764 0 0 0 58114 106 0 0 20 0 1 0 343575582 350691328 83472 33554432000 4194304 9016284 140734159392976 140734159386728 7081805 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 85618 83472 714 1178 0 84436 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 342472

[startup+642.3 s]

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

/proc/meminfo: memFree=29780004/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=344604 CPUtime=1062.12 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 97355 0 0 0 106000 212 0 0 20 0 1 0 343575582 352874496 84825 33554432000 4194304 9016284 140734159392976 140734159386840 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 86151 84825 716 1178 0 84969 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 344604

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22141
/proc/meminfo: memFree=29780004/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=344604 CPUtime=1122.11 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 97356 0 0 0 111981 230 0 0 20 0 1 0 343575582 352874496 84826 33554432000 4194304 9016284 140734159392976 140734159386744 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 86151 84826 717 1178 0 84969 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 344604

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22141
/proc/meminfo: memFree=29784684/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=344604 CPUtime=1182.1 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 97356 0 0 0 117963 247 0 0 20 0 1 0 343575582 352874496 84826 33554432000 4194304 9016284 140734159392976 140734159387016 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 86151 84826 717 1178 0 84969 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 344604

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22141
/proc/meminfo: memFree=29778788/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=344604 CPUtime=1242.09 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 97356 0 0 0 123948 261 0 0 20 0 1 0 343575582 352874496 84826 33554432000 4194304 9016284 140734159392976 140734159386760 6855173 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 86151 84826 717 1178 0 84969 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 344604

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22141
/proc/meminfo: memFree=29778912/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=344604 CPUtime=1302.09 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 97356 0 0 0 129932 277 0 0 20 0 1 0 343575582 352874496 84826 33554432000 4194304 9016284 140734159392976 140734159387032 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 86151 84826 717 1178 0 84969 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 344604

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22144
/proc/meminfo: memFree=29779152/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=344820 CPUtime=1362.08 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 97406 0 0 0 135915 293 0 0 20 0 1 0 343575582 353095680 84876 33554432000 4194304 9016284 140734159392976 140734159386840 7180596 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 86205 84876 717 1178 0 85023 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 344820

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22145
/proc/meminfo: memFree=29779036/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=344820 CPUtime=1422.07 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 97410 0 0 0 141905 302 0 0 20 0 1 0 343575582 353095680 84880 33554432000 4194304 9016284 140734159392976 140734159386904 7230776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 86205 84880 717 1178 0 85023 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 344820

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22145
/proc/meminfo: memFree=29774572/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=349292 CPUtime=1482.06 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 98557 0 0 0 147891 315 0 0 20 0 1 0 343575582 357675008 85999 33554432000 4194304 9016284 140734159392976 140734159386936 6863423 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 87323 85999 717 1178 0 86141 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 349292

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22145
/proc/meminfo: memFree=29781176/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=342868 CPUtime=1542.04 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 99831 0 0 0 153873 331 0 0 20 0 1 0 343575582 351096832 84419 33554432000 4194304 9016284 140734159392976 140734159386936 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 85717 84419 717 1178 0 84535 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 342868

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 22183
/proc/meminfo: memFree=31156924/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=343796 CPUtime=1602.04 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 100045 0 0 0 159862 342 0 0 20 0 1 0 343575582 352047104 84633 33554432000 4194304 9016284 140734159392976 140734159387144 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 85949 84633 717 1178 0 84767 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 343796

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22183
/proc/meminfo: memFree=31150600/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=349308 CPUtime=1662.03 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 101363 0 0 0 165846 357 0 0 20 0 1 0 343575582 357691392 85874 33554432000 4194304 9016284 140734159392976 140734159386936 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 87327 85874 717 1178 0 86145 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 349308

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22184
/proc/meminfo: memFree=31153928/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=343776 CPUtime=1722.01 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 102861 0 0 0 171828 373 0 0 20 0 1 0 343575582 352026624 84624 33554432000 4194304 9016284 140734159392976 140734159386936 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 85944 84624 717 1178 0 84762 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 343776

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22184
/proc/meminfo: memFree=31146908/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=346152 CPUtime=1782.01 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 103480 0 0 0 177815 386 0 0 20 0 1 0 343575582 354459648 85188 33554432000 4194304 9016284 140734159392976 140734159386840 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 86538 85188 717 1178 0 85356 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 346152

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22184
/proc/meminfo: memFree=31146536/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=346152 CPUtime=1785.21 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 103480 0 0 0 178134 387 0 0 20 0 1 0 343575582 354459648 85188 33554432000 4194304 9016284 140734159392976 140734159386936 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 86538 85188 717 1178 0 85356 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 346152

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22184
/proc/meminfo: memFree=31146412/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=346152 CPUtime=1791.62 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 103480 0 0 0 178774 388 0 0 20 0 1 0 343575582 354459648 85188 33554432000 4194304 9016284 140734159392976 140734159386840 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 86538 85188 717 1178 0 85356 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 346152

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22184
/proc/meminfo: memFree=31146288/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=346152 CPUtime=1794.82 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 103480 0 0 0 179093 389 0 0 20 0 1 0 343575582 354459648 85188 33554432000 4194304 9016284 140734159392976 140734159387032 7158072 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 86538 85188 717 1178 0 85356 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 346152

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22184
/proc/meminfo: memFree=31146288/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=346152 CPUtime=1796.41 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 103480 0 0 0 179252 389 0 0 20 0 1 0 343575582 354459648 85188 33554432000 4194304 9016284 140734159392976 140734159386824 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 86538 85188 717 1178 0 85356 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 346152

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22184
/proc/meminfo: memFree=31146288/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=346152 CPUtime=1796.81 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 103480 0 0 0 179292 389 0 0 20 0 1 0 343575582 354459648 85188 33554432000 4194304 9016284 140734159392976 140734159386728 7178154 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 86538 85188 717 1178 0 85356 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 346152

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22184
/proc/meminfo: memFree=31146288/32873648 swapFree=7628/7628
[pid=22107] ppid=22105 vsize=334440 CPUtime=1797.21 cores=1,3,5,7
/proc/22107/stat : 22107 (scip-2.0.1.4b_2) R 22105 22107 20052 0 -1 4202496 103481 0 0 0 179332 389 0 0 20 0 1 0 343575582 342466560 82414 33554432000 4194304 9016284 140734159392976 140734159386728 5312310 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22107/statm: 83610 82414 718 1178 0 82428 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 334440

Child status: 0
Real time (s): 1797.59
CPU time (s): 1797.31
CPU user time (s): 1793.4
CPU system time (s): 3.90441
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 389268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.4
system time used= 3.90441
maximum resident set size= 379280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103486
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= 19
involuntary context switches= 1848

runsolver used 4.54331 second user time and 11.2823 second system time

The end

Begin job on node122 at 2012-06-04 03:48:16
IDJOB=3741397
IDBENCH=89852
IDSOLVER=2329
FILE ID=node122/3741397-1338774496
RUNJOBID= node122-1338749400-20069
PBS_JOBID= 14636801
Free space on /tmp= 71120 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns1696083.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741397-1338774496/watcher-3741397-1338774496 -o /tmp/evaluation-result-3741397-1338774496/solver-3741397-1338774496 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741397-1338774496.opb -t 1800 -m 15500

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

MD5SUM BENCH= 8188d71a03844e125aafcd8487c80120
RANDOM SEED=954368253

node122.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.533
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.06
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.533
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.91
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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.04
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.533
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.533
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.533
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	: 5438.54
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.533
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.533
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:       32873648 kB
MemFree:        30138772 kB
Buffers:          262360 kB
Cached:           277264 kB
SwapCached:         1832 kB
Active:          1812656 kB
Inactive:          63128 kB
Active(anon):    1331396 kB
Inactive(anon):     6992 kB
Active(file):     481260 kB
Inactive(file):    56136 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67100168 kB
Dirty:             20172 kB
Writeback:             0 kB
AnonPages:       1344204 kB
Mapped:            11316 kB
Shmem:                 0 kB
Slab:             715528 kB
SReclaimable:     159328 kB
SUnreclaim:       556200 kB
KernelStack:        1456 kB
PageTables:         7532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1477192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    393216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71152 MiB
End job on node122 at 2012-06-04 04:18:14