0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3692833-1338027163.opb>
0.39/0.49	c original problem has 62704 variables (62704 bin, 0 int, 0 impl, 0 cont) and 187107 constraints
0.39/0.49	c problem read in 0.49
1.19/1.27	c presolving:
3.58/3.68	c (round 1) 1178 del vars, 1155 del conss, 0 add conss, 501 chg bounds, 252 chg sides, 876 chg coeffs, 0 upgd conss, 5489521 impls, 0 clqs
3.99/4.03	c (round 2) 1531 del vars, 3559 del conss, 0 add conss, 737 chg bounds, 252 chg sides, 876 chg coeffs, 0 upgd conss, 5493683 impls, 0 clqs
3.99/4.09	c (round 3) 1531 del vars, 3869 del conss, 0 add conss, 737 chg bounds, 252 chg sides, 876 chg coeffs, 0 upgd conss, 5494539 impls, 0 clqs
5.08/5.13	c (round 4) 1531 del vars, 3882 del conss, 0 add conss, 737 chg bounds, 252 chg sides, 876 chg coeffs, 183268 upgd conss, 5494539 impls, 0 clqs
6.39/6.49	c (round 5) 1694 del vars, 186257 del conss, 60791 add conss, 760 chg bounds, 252 chg sides, 876 chg coeffs, 183268 upgd conss, 5510432 impls, 0 clqs
7.19/7.21	c (round 6) 1742 del vars, 186311 del conss, 60791 add conss, 760 chg bounds, 252 chg sides, 928 chg coeffs, 183406 upgd conss, 5514342 impls, 1 clqs
7.98/8.04	c (round 7) 2155 del vars, 188056 del conss, 62521 add conss, 760 chg bounds, 252 chg sides, 930 chg coeffs, 183406 upgd conss, 5518660 impls, 2 clqs
8.59/8.67	c (round 8) 2187 del vars, 188078 del conss, 62521 add conss, 760 chg bounds, 252 chg sides, 937 chg coeffs, 183434 upgd conss, 5518944 impls, 1727 clqs
9.29/9.30	c (round 9) 2204 del vars, 188093 del conss, 62521 add conss, 760 chg bounds, 252 chg sides, 940 chg coeffs, 183434 upgd conss, 5519078 impls, 1728 clqs
9.89/9.94	c (round 10) 2222 del vars, 188096 del conss, 62521 add conss, 760 chg bounds, 252 chg sides, 943 chg coeffs, 183434 upgd conss, 5519194 impls, 1728 clqs
10.48/10.57	c (round 11) 2244 del vars, 188097 del conss, 62521 add conss, 760 chg bounds, 252 chg sides, 944 chg coeffs, 183434 upgd conss, 5519234 impls, 1728 clqs
11.19/11.20	c (round 12) 2273 del vars, 188099 del conss, 62521 add conss, 760 chg bounds, 252 chg sides, 946 chg coeffs, 183434 upgd conss, 5519256 impls, 1728 clqs
11.79/11.84	c (round 13) 2306 del vars, 188101 del conss, 62521 add conss, 760 chg bounds, 252 chg sides, 948 chg coeffs, 183434 upgd conss, 5519278 impls, 1727 clqs
12.38/12.46	c (round 14) 2341 del vars, 188105 del conss, 62521 add conss, 760 chg bounds, 252 chg sides, 951 chg coeffs, 183434 upgd conss, 5519280 impls, 1727 clqs
12.98/13.09	c (round 15) 2375 del vars, 188112 del conss, 62521 add conss, 760 chg bounds, 252 chg sides, 958 chg coeffs, 183434 upgd conss, 5519284 impls, 1726 clqs
13.69/13.72	c (round 16) 2402 del vars, 188120 del conss, 62521 add conss, 760 chg bounds, 252 chg sides, 965 chg coeffs, 183434 upgd conss, 5519440 impls, 1726 clqs
14.30/14.35	c (round 17) 2421 del vars, 188133 del conss, 62521 add conss, 760 chg bounds, 252 chg sides, 978 chg coeffs, 183434 upgd conss, 5519670 impls, 1726 clqs
17.19/17.28	c (round 18) 2890 del vars, 188532 del conss, 62906 add conss, 798 chg bounds, 252 chg sides, 990 chg coeffs, 183434 upgd conss, 5553258 impls, 1724 clqs
17.89/17.91	c (round 19) 3086 del vars, 188780 del conss, 62906 add conss, 798 chg bounds, 252 chg sides, 1195 chg coeffs, 183803 upgd conss, 5564780 impls, 1725 clqs
18.59/18.64	c (round 20) 3152 del vars, 188841 del conss, 62932 add conss, 798 chg bounds, 252 chg sides, 1195 chg coeffs, 183803 upgd conss, 5565474 impls, 1725 clqs
19.28/19.36	c (round 21) 3168 del vars, 188910 del conss, 62998 add conss, 798 chg bounds, 252 chg sides, 1195 chg coeffs, 183803 upgd conss, 5565474 impls, 1725 clqs
19.99/20.07	c (round 22) 3182 del vars, 188967 del conss, 63014 add conss, 798 chg bounds, 252 chg sides, 1195 chg coeffs, 183803 upgd conss, 5565474 impls, 1725 clqs
20.69/20.79	c (round 23) 3191 del vars, 188981 del conss, 63028 add conss, 798 chg bounds, 252 chg sides, 1195 chg coeffs, 183803 upgd conss, 5565474 impls, 1725 clqs
21.48/21.50	c (round 24) 3199 del vars, 188990 del conss, 63037 add conss, 798 chg bounds, 252 chg sides, 1195 chg coeffs, 183803 upgd conss, 5565474 impls, 1725 clqs
22.18/22.22	c (round 25) 3202 del vars, 188998 del conss, 63045 add conss, 798 chg bounds, 252 chg sides, 1195 chg coeffs, 183803 upgd conss, 5565474 impls, 1725 clqs
22.89/22.95	c (round 26) 3203 del vars, 189006 del conss, 63048 add conss, 798 chg bounds, 252 chg sides, 1195 chg coeffs, 183803 upgd conss, 5565474 impls, 1725 clqs
24.89/24.93	c (round 27) 3944 del vars, 189275 del conss, 63050 add conss, 842 chg bounds, 252 chg sides, 1195 chg coeffs, 183803 upgd conss, 5598758 impls, 1725 clqs
25.49/25.53	c (round 28) 4029 del vars, 189375 del conss, 63050 add conss, 842 chg bounds, 252 chg sides, 1289 chg coeffs, 184163 upgd conss, 5608132 impls, 1725 clqs
26.19/26.23	c (round 29) 4031 del vars, 189384 del conss, 63059 add conss, 842 chg bounds, 252 chg sides, 1289 chg coeffs, 184163 upgd conss, 5608132 impls, 1725 clqs
26.98/27.04	c (round 30) 4231 del vars, 189586 del conss, 63061 add conss, 842 chg bounds, 252 chg sides, 1289 chg coeffs, 184163 upgd conss, 5612858 impls, 1730 clqs
28.88/28.98	c (round 31) 4280 del vars, 189589 del conss, 63061 add conss, 856 chg bounds, 252 chg sides, 1289 chg coeffs, 184163 upgd conss, 6149184 impls, 1731 clqs
29.49/29.57	c (round 32) 4291 del vars, 189606 del conss, 63061 add conss, 856 chg bounds, 252 chg sides, 1301 chg coeffs, 184199 upgd conss, 6150402 impls, 1731 clqs
30.18/30.29	c (round 33) 4298 del vars, 189634 del conss, 63089 add conss, 856 chg bounds, 252 chg sides, 1301 chg coeffs, 184199 upgd conss, 6150750 impls, 1731 clqs
30.98/31.07	c (round 34) 4300 del vars, 189643 del conss, 63096 add conss, 856 chg bounds, 252 chg sides, 1301 chg coeffs, 184199 upgd conss, 6150754 impls, 1755 clqs
32.18/32.22	c (round 35) 4570 del vars, 189643 del conss, 63096 add conss, 903 chg bounds, 252 chg sides, 1301 chg coeffs, 184199 upgd conss, 6164091 impls, 1756 clqs
32.79/32.84	c (round 36) 4666 del vars, 189754 del conss, 63096 add conss, 903 chg bounds, 252 chg sides, 1406 chg coeffs, 184443 upgd conss, 6176321 impls, 1756 clqs
33.48/33.53	c (round 37) 4668 del vars, 189758 del conss, 63100 add conss, 903 chg bounds, 252 chg sides, 1406 chg coeffs, 184443 upgd conss, 6176321 impls, 1756 clqs
35.68/35.76	c (round 38) 5597 del vars, 189760 del conss, 63102 add conss, 971 chg bounds, 252 chg sides, 1406 chg coeffs, 184443 upgd conss, 6247999 impls, 1700 clqs
36.29/36.35	c (round 39) 5826 del vars, 190024 del conss, 63102 add conss, 971 chg bounds, 252 chg sides, 1612 chg coeffs, 184541 upgd conss, 6274345 impls, 1701 clqs
36.98/37.04	c (round 40) 5901 del vars, 190024 del conss, 63102 add conss, 971 chg bounds, 252 chg sides, 1612 chg coeffs, 184541 upgd conss, 6281383 impls, 1701 clqs
37.68/37.78	c (round 41) 5903 del vars, 190101 del conss, 63177 add conss, 971 chg bounds, 252 chg sides, 1612 chg coeffs, 184541 upgd conss, 6281413 impls, 1701 clqs
38.88/38.92	c (round 42) 6252 del vars, 190101 del conss, 63177 add conss, 996 chg bounds, 252 chg sides, 1612 chg coeffs, 184541 upgd conss, 6302638 impls, 1701 clqs
39.49/39.56	c (round 43) 6373 del vars, 190242 del conss, 63177 add conss, 996 chg bounds, 252 chg sides, 1742 chg coeffs, 184849 upgd conss, 6315814 impls, 1701 clqs
40.18/40.22	c (round 44) 6382 del vars, 190249 del conss, 63184 add conss, 996 chg bounds, 252 chg sides, 1742 chg coeffs, 184849 upgd conss, 6318902 impls, 1701 clqs
40.78/40.88	c (round 45) 6387 del vars, 190258 del conss, 63193 add conss, 996 chg bounds, 252 chg sides, 1742 chg coeffs, 184849 upgd conss, 6319652 impls, 1705 clqs
41.58/41.60	c (round 46) 6387 del vars, 190263 del conss, 63198 add conss, 996 chg bounds, 252 chg sides, 1742 chg coeffs, 184849 upgd conss, 6319652 impls, 1706 clqs
42.79/42.83	c (round 47) 6546 del vars, 190263 del conss, 63198 add conss, 1028 chg bounds, 252 chg sides, 1742 chg coeffs, 184849 upgd conss, 6333576 impls, 1706 clqs
43.28/43.39	c (round 48) 6589 del vars, 190322 del conss, 63198 add conss, 1028 chg bounds, 252 chg sides, 1793 chg coeffs, 184985 upgd conss, 6339364 impls, 1706 clqs
43.99/44.04	c (round 49) 6591 del vars, 190326 del conss, 63202 add conss, 1028 chg bounds, 252 chg sides, 1793 chg coeffs, 184985 upgd conss, 6339364 impls, 1706 clqs
45.59/45.67	c (round 50) 6781 del vars, 190330 del conss, 63206 add conss, 1064 chg bounds, 252 chg sides, 1793 chg coeffs, 184985 upgd conss, 6350702 impls, 1708 clqs
46.19/46.25	c (round 51) 6838 del vars, 190402 del conss, 63206 add conss, 1064 chg bounds, 252 chg sides, 1853 chg coeffs, 185153 upgd conss, 6356340 impls, 1709 clqs
46.79/46.89	c (round 52) 6839 del vars, 190405 del conss, 63209 add conss, 1064 chg bounds, 252 chg sides, 1853 chg coeffs, 185153 upgd conss, 6356340 impls, 1709 clqs
48.38/48.45	c (round 53) 7183 del vars, 190406 del conss, 63210 add conss, 1098 chg bounds, 252 chg sides, 1853 chg coeffs, 185153 upgd conss, 6370802 impls, 1711 clqs
48.98/49.06	c (round 54) 7285 del vars, 190540 del conss, 63210 add conss, 1098 chg bounds, 252 chg sides, 1955 chg coeffs, 185441 upgd conss, 6386432 impls, 1711 clqs
49.68/49.70	c (round 55) 7299 del vars, 190543 del conss, 63213 add conss, 1098 chg bounds, 252 chg sides, 1955 chg coeffs, 185441 upgd conss, 6388586 impls, 1712 clqs
50.38/50.41	c (round 56) 7299 del vars, 190557 del conss, 63227 add conss, 1098 chg bounds, 252 chg sides, 1955 chg coeffs, 185441 upgd conss, 6388586 impls, 1714 clqs
51.18/51.24	c (round 57) 7344 del vars, 190557 del conss, 63227 add conss, 1125 chg bounds, 252 chg sides, 1955 chg coeffs, 185441 upgd conss, 6395089 impls, 1715 clqs
51.69/51.77	c (round 58) 7356 del vars, 190575 del conss, 63227 add conss, 1125 chg bounds, 252 chg sides, 1970 chg coeffs, 185481 upgd conss, 6395733 impls, 1715 clqs
52.38/52.41	c (round 59) 7364 del vars, 190577 del conss, 63229 add conss, 1125 chg bounds, 252 chg sides, 1970 chg coeffs, 185481 upgd conss, 6397595 impls, 1715 clqs
53.08/53.11	c (round 60) 7364 del vars, 190585 del conss, 63237 add conss, 1125 chg bounds, 252 chg sides, 1970 chg coeffs, 185481 upgd conss, 6397595 impls, 1716 clqs
53.99/54.00	c (round 61) 7540 del vars, 190585 del conss, 63237 add conss, 1171 chg bounds, 252 chg sides, 1970 chg coeffs, 185481 upgd conss, 6403025 impls, 1717 clqs
54.48/54.56	c (round 62) 7602 del vars, 190673 del conss, 63237 add conss, 1171 chg bounds, 252 chg sides, 2032 chg coeffs, 185657 upgd conss, 6412575 impls, 1717 clqs
55.18/55.20	c (round 63) 7613 del vars, 190680 del conss, 63244 add conss, 1171 chg bounds, 252 chg sides, 2032 chg coeffs, 185657 upgd conss, 6414387 impls, 1717 clqs
55.78/55.89	c (round 64) 7613 del vars, 190691 del conss, 63255 add conss, 1171 chg bounds, 252 chg sides, 2032 chg coeffs, 185657 upgd conss, 6414387 impls, 1723 clqs
57.38/57.49	c (round 65) 7682 del vars, 190691 del conss, 63255 add conss, 1185 chg bounds, 252 chg sides, 2032 chg coeffs, 185657 upgd conss, 6475165 impls, 1724 clqs
57.98/58.03	c (round 66) 7716 del vars, 190739 del conss, 63255 add conss, 1185 chg bounds, 252 chg sides, 2069 chg coeffs, 185719 upgd conss, 6477579 impls, 1724 clqs
58.58/58.67	c (round 67) 7724 del vars, 190747 del conss, 63263 add conss, 1185 chg bounds, 252 chg sides, 2069 chg coeffs, 185719 upgd conss, 6480577 impls, 1724 clqs
59.18/59.30	c (round 68) 7733 del vars, 190759 del conss, 63275 add conss, 1185 chg bounds, 252 chg sides, 2069 chg coeffs, 185719 upgd conss, 6481283 impls, 1729 clqs
59.98/60.00	c (round 69) 7733 del vars, 190768 del conss, 63284 add conss, 1185 chg bounds, 252 chg sides, 2069 chg coeffs, 185719 upgd conss, 6481283 impls, 1734 clqs
60.98/61.03	c (round 70) 7774 del vars, 190768 del conss, 63284 add conss, 1218 chg bounds, 252 chg sides, 2069 chg coeffs, 185719 upgd conss, 6499202 impls, 1734 clqs
61.48/61.56	c (round 71) 7785 del vars, 190788 del conss, 63284 add conss, 1218 chg bounds, 252 chg sides, 2080 chg coeffs, 185749 upgd conss, 6500090 impls, 1734 clqs
62.08/62.19	c (round 72) 7791 del vars, 190799 del conss, 63295 add conss, 1218 chg bounds, 252 chg sides, 2080 chg coeffs, 185749 upgd conss, 6501116 impls, 1734 clqs
62.78/62.82	c (round 73) 7792 del vars, 190805 del conss, 63301 add conss, 1218 chg bounds, 252 chg sides, 2080 chg coeffs, 185749 upgd conss, 6501202 impls, 1738 clqs
63.88/63.94	c (round 74) 7819 del vars, 190808 del conss, 63303 add conss, 1218 chg bounds, 252 chg sides, 2080 chg coeffs, 185749 upgd conss, 6531100 impls, 1739 clqs
64.38/64.47	c (round 75) 7825 del vars, 190820 del conss, 63303 add conss, 1218 chg bounds, 252 chg sides, 2087 chg coeffs, 185771 upgd conss, 6532268 impls, 1740 clqs
65.08/65.10	c (round 76) 7828 del vars, 190832 del conss, 63315 add conss, 1218 chg bounds, 252 chg sides, 2087 chg coeffs, 185771 upgd conss, 6534602 impls, 1740 clqs
65.78/65.80	c (round 77) 7828 del vars, 190835 del conss, 63318 add conss, 1218 chg bounds, 252 chg sides, 2087 chg coeffs, 185771 upgd conss, 6534602 impls, 1749 clqs
66.99/67.04	c (round 78) 7873 del vars, 190835 del conss, 63318 add conss, 1234 chg bounds, 252 chg sides, 2087 chg coeffs, 185771 upgd conss, 6573495 impls, 1750 clqs
67.48/67.58	c (round 79) 7899 del vars, 190871 del conss, 63318 add conss, 1234 chg bounds, 252 chg sides, 2113 chg coeffs, 185795 upgd conss, 6575171 impls, 1750 clqs
68.19/68.21	c (round 80) 7903 del vars, 190920 del conss, 63333 add conss, 1234 chg bounds, 252 chg sides, 2113 chg coeffs, 185795 upgd conss, 6575439 impls, 1750 clqs
68.88/68.94	c (round 81) 7938 del vars, 190960 del conss, 63337 add conss, 1234 chg bounds, 252 chg sides, 2113 chg coeffs, 185795 upgd conss, 6585565 impls, 1755 clqs
69.58/69.66	c (round 82) 7963 del vars, 190987 del conss, 63337 add conss, 1234 chg bounds, 252 chg sides, 2113 chg coeffs, 185795 upgd conss, 6590657 impls, 1755 clqs
70.38/70.49	c (round 83) 8012 del vars, 190991 del conss, 63337 add conss, 1234 chg bounds, 252 chg sides, 2113 chg coeffs, 185795 upgd conss, 6595642 impls, 1755 clqs
70.98/71.02	c (round 84) 8028 del vars, 191017 del conss, 63337 add conss, 1234 chg bounds, 252 chg sides, 2129 chg coeffs, 185825 upgd conss, 6597310 impls, 1755 clqs
71.58/71.64	c (round 85) 8030 del vars, 191044 del conss, 63339 add conss, 1234 chg bounds, 252 chg sides, 2129 chg coeffs, 185825 upgd conss, 6597436 impls, 1755 clqs
72.27/72.37	c (round 86) 8071 del vars, 191088 del conss, 63341 add conss, 1234 chg bounds, 252 chg sides, 2129 chg coeffs, 185825 upgd conss, 6607024 impls, 1756 clqs
72.97/73.09	c (round 87) 8101 del vars, 191120 del conss, 63341 add conss, 1234 chg bounds, 252 chg sides, 2129 chg coeffs, 185825 upgd conss, 6613586 impls, 1756 clqs
73.68/73.79	c (round 88) 8107 del vars, 191126 del conss, 63341 add conss, 1234 chg bounds, 252 chg sides, 2129 chg coeffs, 185825 upgd conss, 6613784 impls, 1756 clqs
75.58/75.60	c (round 89) 8165 del vars, 191131 del conss, 63341 add conss, 1236 chg bounds, 252 chg sides, 2129 chg coeffs, 185825 upgd conss, 6680180 impls, 1756 clqs
76.08/76.13	c (round 90) 8185 del vars, 191162 del conss, 63341 add conss, 1236 chg bounds, 252 chg sides, 2150 chg coeffs, 185847 upgd conss, 6682164 impls, 1756 clqs
76.68/76.77	c (round 91) 8208 del vars, 191210 del conss, 63359 add conss, 1236 chg bounds, 252 chg sides, 2150 chg coeffs, 185847 upgd conss, 6685752 impls, 1756 clqs
77.48/77.50	c (round 92) 8247 del vars, 191273 del conss, 63382 add conss, 1236 chg bounds, 252 chg sides, 2150 chg coeffs, 185847 upgd conss, 6698386 impls, 1767 clqs
78.17/78.22	c (round 93) 8275 del vars, 191304 del conss, 63382 add conss, 1236 chg bounds, 252 chg sides, 2150 chg coeffs, 185847 upgd conss, 6704656 impls, 1768 clqs
78.88/78.91	c (round 94) 8282 del vars, 191311 del conss, 63382 add conss, 1236 chg bounds, 252 chg sides, 2150 chg coeffs, 185847 upgd conss, 6704930 impls, 1768 clqs
79.58/79.60	c (round 95) 8287 del vars, 191317 del conss, 63382 add conss, 1236 chg bounds, 252 chg sides, 2150 chg coeffs, 185847 upgd conss, 6705256 impls, 1768 clqs
81.29/81.39	c (round 96) 8383 del vars, 191320 del conss, 63382 add conss, 1238 chg bounds, 252 chg sides, 2150 chg coeffs, 185847 upgd conss, 7044064 impls, 1768 clqs
81.87/81.91	c (round 97) 8400 del vars, 191355 del conss, 63382 add conss, 1238 chg bounds, 252 chg sides, 2167 chg coeffs, 185861 upgd conss, 7047432 impls, 1768 clqs
82.48/82.53	c (round 98) 8411 del vars, 191391 del conss, 63418 add conss, 1238 chg bounds, 252 chg sides, 2167 chg coeffs, 185861 upgd conss, 7047612 impls, 1768 clqs
83.17/83.21	c (round 99) 8413 del vars, 191406 del conss, 63430 add conss, 1238 chg bounds, 252 chg sides, 2167 chg coeffs, 185861 upgd conss, 7047638 impls, 1802 clqs
83.78/83.88	c (round 100) 8413 del vars, 191412 del conss, 63430 add conss, 1238 chg bounds, 252 chg sides, 2167 chg coeffs, 185861 upgd conss, 7047638 impls, 1803 clqs
84.58/84.69	c (round 101) 8443 del vars, 191412 del conss, 63430 add conss, 1238 chg bounds, 252 chg sides, 2167 chg coeffs, 185861 upgd conss, 7052109 impls, 1803 clqs
85.18/85.21	c (round 102) 8451 del vars, 191431 del conss, 63430 add conss, 1238 chg bounds, 252 chg sides, 2175 chg coeffs, 185879 upgd conss, 7054883 impls, 1803 clqs
85.78/85.83	c (round 103) 8455 del vars, 191453 del conss, 63433 add conss, 1238 chg bounds, 252 chg sides, 2175 chg coeffs, 185879 upgd conss, 7055295 impls, 1803 clqs
86.47/86.59	c (round 104) 8496 del vars, 191499 del conss, 63437 add conss, 1238 chg bounds, 252 chg sides, 2175 chg coeffs, 185879 upgd conss, 7074995 impls, 1804 clqs
87.28/87.31	c (round 105) 8527 del vars, 191532 del conss, 63437 add conss, 1238 chg bounds, 252 chg sides, 2175 chg coeffs, 185879 upgd conss, 7082181 impls, 1805 clqs
87.88/87.99	c (round 106) 8534 del vars, 191539 del conss, 63437 add conss, 1238 chg bounds, 252 chg sides, 2175 chg coeffs, 185879 upgd conss, 7082507 impls, 1805 clqs
88.57/88.68	c (round 107) 8540 del vars, 191545 del conss, 63437 add conss, 1238 chg bounds, 252 chg sides, 2175 chg coeffs, 185879 upgd conss, 7083019 impls, 1805 clqs
90.88/90.98	c (round 108) 8611 del vars, 191550 del conss, 63437 add conss, 1243 chg bounds, 252 chg sides, 2175 chg coeffs, 185879 upgd conss, 7828338 impls, 1805 clqs
91.48/91.53	c (round 109) 8679 del vars, 191771 del conss, 63437 add conss, 1243 chg bounds, 252 chg sides, 2243 chg coeffs, 185879 upgd conss, 7866056 impls, 1805 clqs
92.08/92.18	c (round 110) 8685 del vars, 191829 del conss, 63495 add conss, 1243 chg bounds, 252 chg sides, 2243 chg coeffs, 185881 upgd conss, 7891274 impls, 1805 clqs
92.87/92.99	c (round 111) 8744 del vars, 191895 del conss, 63501 add conss, 1243 chg bounds, 252 chg sides, 2243 chg coeffs, 185881 upgd conss, 7901258 impls, 1859 clqs
93.68/93.72	c (round 112) 8792 del vars, 191944 del conss, 63501 add conss, 1243 chg bounds, 252 chg sides, 2243 chg coeffs, 185881 upgd conss, 7903228 impls, 1859 clqs
94.37/94.41	c (round 113) 8803 del vars, 191955 del conss, 63501 add conss, 1243 chg bounds, 252 chg sides, 2243 chg coeffs, 185881 upgd conss, 7903560 impls, 1859 clqs
94.98/95.09	c (round 114) 8811 del vars, 191963 del conss, 63501 add conss, 1243 chg bounds, 252 chg sides, 2243 chg coeffs, 185881 upgd conss, 7903674 impls, 1859 clqs
95.68/95.77	c (round 115) 8818 del vars, 191970 del conss, 63501 add conss, 1243 chg bounds, 252 chg sides, 2243 chg coeffs, 185881 upgd conss, 7903880 impls, 1859 clqs
96.37/96.46	c (round 116) 8824 del vars, 191976 del conss, 63501 add conss, 1243 chg bounds, 252 chg sides, 2243 chg coeffs, 185881 upgd conss, 7905864 impls, 1859 clqs
99.47/99.50	c (round 117) 8886 del vars, 191981 del conss, 63501 add conss, 1243 chg bounds, 252 chg sides, 2243 chg coeffs, 185881 upgd conss, 8527109 impls, 1859 clqs
99.98/100.03	c (round 118) 8936 del vars, 192139 del conss, 63501 add conss, 1245 chg bounds, 252 chg sides, 2293 chg coeffs, 185881 upgd conss, 8531261 impls, 1859 clqs
100.57/100.69	c (round 119) 8946 del vars, 192198 del conss, 63559 add conss, 1245 chg bounds, 252 chg sides, 2293 chg coeffs, 185883 upgd conss, 8548459 impls, 1858 clqs
101.47/101.52	c (round 120) 8995 del vars, 192264 del conss, 63566 add conss, 1245 chg bounds, 252 chg sides, 2293 chg coeffs, 185883 upgd conss, 8556079 impls, 1910 clqs
102.18/102.26	c (round 121) 9032 del vars, 192304 del conss, 63566 add conss, 1245 chg bounds, 252 chg sides, 2293 chg coeffs, 185883 upgd conss, 8561617 impls, 1910 clqs
102.88/102.95	c (round 122) 9040 del vars, 192312 del conss, 63566 add conss, 1245 chg bounds, 252 chg sides, 2293 chg coeffs, 185883 upgd conss, 8562663 impls, 1910 clqs
103.57/103.63	c (round 123) 9047 del vars, 192319 del conss, 63566 add conss, 1245 chg bounds, 252 chg sides, 2293 chg coeffs, 185883 upgd conss, 8564193 impls, 1910 clqs
104.28/104.33	c (round 124) 9053 del vars, 192325 del conss, 63566 add conss, 1245 chg bounds, 252 chg sides, 2293 chg coeffs, 185883 upgd conss, 8564491 impls, 1910 clqs
114.08/114.14	c (round 125) 9088 del vars, 192330 del conss, 63566 add conss, 1261 chg bounds, 252 chg sides, 2293 chg coeffs, 185883 upgd conss, 10915655 impls, 1910 clqs
114.68/114.75	c (round 126) 9113 del vars, 192405 del conss, 63566 add conss, 1261 chg bounds, 252 chg sides, 2318 chg coeffs, 185891 upgd conss, 10926541 impls, 1910 clqs
115.38/115.41	c (round 127) 9115 del vars, 192526 del conss, 63687 add conss, 1261 chg bounds, 252 chg sides, 2318 chg coeffs, 185891 upgd conss, 10933319 impls, 1910 clqs
116.07/116.10	c (round 128) 9117 del vars, 192531 del conss, 63689 add conss, 1261 chg bounds, 252 chg sides, 2318 chg coeffs, 185891 upgd conss, 10933373 impls, 2025 clqs
124.87/124.98	c (round 129) 9253 del vars, 192532 del conss, 63689 add conss, 1288 chg bounds, 252 chg sides, 2318 chg coeffs, 185891 upgd conss, 11216456 impls, 2007 clqs
125.47/125.54	c (round 130) 9295 del vars, 192589 del conss, 63689 add conss, 1288 chg bounds, 252 chg sides, 2353 chg coeffs, 185927 upgd conss, 11230604 impls, 2007 clqs
126.07/126.18	c (round 131) 9312 del vars, 192645 del conss, 63738 add conss, 1288 chg bounds, 252 chg sides, 2353 chg coeffs, 185927 upgd conss, 11233064 impls, 2007 clqs
126.77/126.85	c (round 132) 9312 del vars, 192662 del conss, 63755 add conss, 1288 chg bounds, 252 chg sides, 2353 chg coeffs, 185927 upgd conss, 11233064 impls, 2055 clqs
127.48/127.53	c (round 133) 9312 del vars, 192672 del conss, 63755 add conss, 1288 chg bounds, 252 chg sides, 2353 chg coeffs, 185927 upgd conss, 11233064 impls, 2056 clqs
128.57/128.70	c (round 134) 9338 del vars, 192672 del conss, 63755 add conss, 1293 chg bounds, 252 chg sides, 2353 chg coeffs, 185927 upgd conss, 11266981 impls, 2055 clqs
129.17/129.21	c (round 135) 9349 del vars, 192684 del conss, 63755 add conss, 1293 chg bounds, 252 chg sides, 2364 chg coeffs, 185947 upgd conss, 11268885 impls, 2055 clqs
129.77/129.83	c (round 136) 9355 del vars, 192685 del conss, 63756 add conss, 1293 chg bounds, 252 chg sides, 2364 chg coeffs, 185947 upgd conss, 11269887 impls, 2055 clqs
130.47/130.50	c (round 137) 9355 del vars, 192691 del conss, 63762 add conss, 1293 chg bounds, 252 chg sides, 2364 chg coeffs, 185947 upgd conss, 11269887 impls, 2055 clqs
149.07/149.10	c (round 138) 9380 del vars, 192694 del conss, 63762 add conss, 1293 chg bounds, 252 chg sides, 2364 chg coeffs, 185947 upgd conss, 12122891 impls, 2051 clqs
149.87/149.90	c (round 139) 9603 del vars, 192784 del conss, 63847 add conss, 1293 chg bounds, 252 chg sides, 2364 chg coeffs, 185947 upgd conss, 12127963 impls, 2051 clqs
150.47/150.57	c (round 140) 9603 del vars, 193008 del conss, 64070 add conss, 1293 chg bounds, 252 chg sides, 2364 chg coeffs, 185947 upgd conss, 12127963 impls, 2117 clqs
184.67/184.79	c (round 141) 9628 del vars, 193008 del conss, 64070 add conss, 1294 chg bounds, 252 chg sides, 2364 chg coeffs, 185947 upgd conss, 15952678 impls, 2107 clqs
211.85/211.96	c    (211.9s) probing: 1000/61173 (1.6%) - 4191 fixings, 129 aggregations, 1317093 implications, 555 bound changes
233.66/233.71	c (round 142) 9927 del vars, 193120 del conss, 64177 add conss, 1294 chg bounds, 252 chg sides, 2368 chg coeffs, 185947 upgd conss, 19744848 impls, 2103 clqs
234.26/234.35	c (round 143) 9971 del vars, 193256 del conss, 64177 add conss, 1296 chg bounds, 252 chg sides, 2411 chg coeffs, 185947 upgd conss, 19773420 impls, 2199 clqs
235.26/235.37	c (round 144) 10047 del vars, 193557 del conss, 64477 add conss, 1296 chg bounds, 252 chg sides, 2411 chg coeffs, 185949 upgd conss, 19799810 impls, 2198 clqs
235.95/236.06	c (round 145) 10047 del vars, 193650 del conss, 64550 add conss, 1296 chg bounds, 252 chg sides, 2411 chg coeffs, 185949 upgd conss, 19799810 impls, 2266 clqs
262.55/262.60	c (round 146) 10094 del vars, 193651 del conss, 64550 add conss, 1296 chg bounds, 252 chg sides, 2411 chg coeffs, 185949 upgd conss, 21422480 impls, 2218 clqs
264.15/264.25	c (round 147) 10150 del vars, 193854 del conss, 64550 add conss, 1298 chg bounds, 252 chg sides, 2419 chg coeffs, 185949 upgd conss, 21670840 impls, 2218 clqs
283.84/283.98	c (round 148) 10210 del vars, 193907 del conss, 64602 add conss, 1317 chg bounds, 252 chg sides, 2420 chg coeffs, 185951 upgd conss, 23921875 impls, 2218 clqs
284.44/284.54	c (round 149) 10219 del vars, 193919 del conss, 64602 add conss, 1317 chg bounds, 252 chg sides, 2426 chg coeffs, 185955 upgd conss, 23923275 impls, 2267 clqs
287.84/287.94	c    (287.9s) probing: 2000/61173 (3.3%) - 4338 fixings, 137 aggregations, 1833130 implications, 574 bound changes
316.04/316.14	c (round 150) 10952 del vars, 193922 del conss, 64602 add conss, 1320 chg bounds, 252 chg sides, 2427 chg coeffs, 185955 upgd conss, 28358968 impls, 2242 clqs
322.54/322.67	c (round 151) 12436 del vars, 195430 del conss, 64602 add conss, 1320 chg bounds, 252 chg sides, 3893 chg coeffs, 185959 upgd conss, 28805934 impls, 2242 clqs
323.54/323.60	c (round 152) 12467 del vars, 195495 del conss, 64667 add conss, 1320 chg bounds, 252 chg sides, 3893 chg coeffs, 185959 upgd conss, 28815950 impls, 2242 clqs
324.14/324.26	c (round 153) 12467 del vars, 195526 del conss, 64696 add conss, 1320 chg bounds, 252 chg sides, 3893 chg coeffs, 185959 upgd conss, 28815950 impls, 2285 clqs
392.83/392.97	c (round 154) 12513 del vars, 195527 del conss, 64696 add conss, 1322 chg bounds, 252 chg sides, 3893 chg coeffs, 185959 upgd conss, 39586820 impls, 2283 clqs
394.03/394.10	c (round 155) 12558 del vars, 195668 del conss, 64696 add conss, 1324 chg bounds, 252 chg sides, 3937 chg coeffs, 185959 upgd conss, 39636308 impls, 2283 clqs
395.23/395.36	c (round 156) 12618 del vars, 195784 del conss, 64811 add conss, 1324 chg bounds, 252 chg sides, 3937 chg coeffs, 185961 upgd conss, 39648988 impls, 2282 clqs
396.03/396.17	c (round 157) 12619 del vars, 195844 del conss, 64868 add conss, 1324 chg bounds, 252 chg sides, 3937 chg coeffs, 185961 upgd conss, 39659886 impls, 2382 clqs
407.94/408.02	c    (408.0s) probing: 3000/61173 (4.9%) - 5076 fixings, 161 aggregations, 3480879 implications, 579 bound changes
458.32/458.41	c (round 158) 12644 del vars, 195845 del conss, 64868 add conss, 1324 chg bounds, 252 chg sides, 3937 chg coeffs, 185961 upgd conss, 47752136 impls, 2378 clqs
491.41/491.54	c (round 159) 12748 del vars, 195956 del conss, 64977 add conss, 1326 chg bounds, 252 chg sides, 3938 chg coeffs, 185961 upgd conss, 52823926 impls, 2378 clqs
491.91/492.06	c (round 160) 12756 del vars, 195979 del conss, 64977 add conss, 1326 chg bounds, 252 chg sides, 3946 chg coeffs, 185963 upgd conss, 52823928 impls, 2467 clqs
494.01/494.12	c (round 161) 12795 del vars, 196073 del conss, 65066 add conss, 1326 chg bounds, 252 chg sides, 3946 chg coeffs, 185963 upgd conss, 52850364 impls, 2468 clqs
494.62/494.78	c (round 162) 12796 del vars, 196115 del conss, 65106 add conss, 1326 chg bounds, 252 chg sides, 3946 chg coeffs, 185963 upgd conss, 52850364 impls, 2497 clqs
561.10/561.24	c (round 163) 12821 del vars, 196117 del conss, 65107 add conss, 1326 chg bounds, 252 chg sides, 3946 chg coeffs, 185963 upgd conss, 65571908 impls, 2498 clqs
565.21/565.32	c (round 164) 12900 del vars, 196177 del conss, 65167 add conss, 1326 chg bounds, 252 chg sides, 3946 chg coeffs, 185963 upgd conss, 65630200 impls, 2498 clqs
566.31/566.42	c (round 165) 12904 del vars, 196263 del conss, 65247 add conss, 1326 chg bounds, 252 chg sides, 3946 chg coeffs, 185963 upgd conss, 65708422 impls, 2534 clqs
577.60/577.76	c    (577.8s) probing: 4000/61173 (6.5%) - 5122 fixings, 216 aggregations, 5923038 implications, 581 bound changes
619.80/619.99	c (round 166) 12951 del vars, 196263 del conss, 65247 add conss, 1326 chg bounds, 252 chg sides, 3946 chg coeffs, 185963 upgd conss, 73502904 impls, 2534 clqs
620.40/620.56	c (round 167) 12956 del vars, 196271 del conss, 65247 add conss, 1326 chg bounds, 252 chg sides, 3949 chg coeffs, 185967 upgd conss, 73505348 impls, 2534 clqs
623.60/623.77	c (round 168) 13012 del vars, 196346 del conss, 65322 add conss, 1326 chg bounds, 252 chg sides, 3949 chg coeffs, 185967 upgd conss, 73634902 impls, 2534 clqs
624.39/624.52	c (round 169) 13012 del vars, 196404 del conss, 65380 add conss, 1326 chg bounds, 252 chg sides, 3949 chg coeffs, 185967 upgd conss, 73634902 impls, 2594 clqs
670.89/671.05	c (round 170) 13064 del vars, 196404 del conss, 65380 add conss, 1326 chg bounds, 252 chg sides, 3949 chg coeffs, 185967 upgd conss, 81064990 impls, 2597 clqs
671.90/672.07	c (round 171) 13072 del vars, 196412 del conss, 65380 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185967 upgd conss, 81096386 impls, 2597 clqs
674.48/674.66	c (round 172) 13115 del vars, 196495 del conss, 65463 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185967 upgd conss, 81198860 impls, 2597 clqs
675.29/675.42	c (round 173) 13115 del vars, 196538 del conss, 65506 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185967 upgd conss, 81198860 impls, 2670 clqs
766.77/766.93	c    (766.9s) probing: 5000/61173 (8.2%) - 5201 fixings, 253 aggregations, 8690592 implications, 581 bound changes
776.17/776.30	c (round 174) 13140 del vars, 196541 del conss, 65506 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185967 upgd conss, 94900398 impls, 2669 clqs
784.37/784.58	c (round 175) 13377 del vars, 196629 del conss, 65592 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185967 upgd conss, 95059976 impls, 2669 clqs
785.18/785.37	c (round 176) 13379 del vars, 196866 del conss, 65829 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185967 upgd conss, 95061078 impls, 2736 clqs
786.17/786.32	c (round 177) 13381 del vars, 196870 del conss, 65831 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185967 upgd conss, 95067300 impls, 2736 clqs
842.66/842.85	c (round 178) 13407 del vars, 196871 del conss, 65831 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185967 upgd conss, 101239342 impls, 2736 clqs
845.76/845.95	c (round 179) 13451 del vars, 196925 del conss, 65885 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185967 upgd conss, 101345098 impls, 2736 clqs
846.56/846.75	c (round 180) 13451 del vars, 196969 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185967 upgd conss, 101345098 impls, 2766 clqs
902.05/902.22	c (round 181) 13476 del vars, 196969 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185967 upgd conss, 108586352 impls, 2767 clqs
902.65/902.84	c (round 182) 13481 del vars, 196969 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185977 upgd conss, 108586362 impls, 2767 clqs
903.25/903.46	c (round 183) 13486 del vars, 196969 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185977 upgd conss, 108586362 impls, 2767 clqs
903.86/904.08	c (round 184) 13491 del vars, 196969 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185977 upgd conss, 108586362 impls, 2767 clqs
904.45/904.69	c (round 185) 13496 del vars, 196969 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185977 upgd conss, 108586362 impls, 2767 clqs
905.06/905.30	c (round 186) 13501 del vars, 196969 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185977 upgd conss, 108586362 impls, 2767 clqs
905.76/905.92	c (round 187) 13511 del vars, 196969 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3957 chg coeffs, 185977 upgd conss, 108586362 impls, 2767 clqs
906.35/906.54	c (round 188) 13521 del vars, 196974 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3962 chg coeffs, 185977 upgd conss, 108592790 impls, 2767 clqs
906.95/907.14	c (round 189) 13526 del vars, 196974 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3962 chg coeffs, 185977 upgd conss, 108592790 impls, 2767 clqs
907.55/907.75	c (round 190) 13531 del vars, 196974 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3962 chg coeffs, 185977 upgd conss, 108592790 impls, 2767 clqs
908.15/908.36	c (round 191) 13536 del vars, 196974 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3962 chg coeffs, 185977 upgd conss, 108592790 impls, 2767 clqs
908.75/908.96	c (round 192) 13541 del vars, 196974 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3962 chg coeffs, 185977 upgd conss, 108592790 impls, 2767 clqs
909.35/909.60	c (round 193) 13546 del vars, 196974 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3962 chg coeffs, 185977 upgd conss, 108592790 impls, 2767 clqs
934.14/934.33	c (round 194) 13577 del vars, 196978 del conss, 65929 add conss, 1326 chg bounds, 252 chg sides, 3966 chg coeffs, 185977 upgd conss, 112267676 impls, 2767 clqs
981.54/981.71	c    (981.7s) probing: 6000/61173 (9.8%) - 5220 fixings, 325 aggregations, 11506502 implications, 581 bound changes
1018.23/1018.49	c (round 195) 13645 del vars, 197065 del conss, 66014 add conss, 1326 chg bounds, 252 chg sides, 3968 chg coeffs, 185977 upgd conss, 122709482 impls, 2767 clqs
1159.41/1159.68	c (round 196) 14060 del vars, 197158 del conss, 66105 add conss, 1336 chg bounds, 252 chg sides, 3970 chg coeffs, 185977 upgd conss, 135961990 impls, 2807 clqs
1230.90/1231.17	c (round 197) 15601 del vars, 198932 del conss, 66105 add conss, 1336 chg bounds, 252 chg sides, 5522 chg coeffs, 185977 upgd conss, 136996318 impls, 2844 clqs
1239.60/1239.82	c (round 198) 15785 del vars, 199059 del conss, 66232 add conss, 1336 chg bounds, 252 chg sides, 5522 chg coeffs, 185977 upgd conss, 137110044 impls, 2844 clqs
1240.40/1240.65	c (round 199) 15786 del vars, 199244 del conss, 66417 add conss, 1336 chg bounds, 252 chg sides, 5522 chg coeffs, 185977 upgd conss, 137116480 impls, 2926 clqs
1241.71/1241.96	c (round 200) 15790 del vars, 199250 del conss, 66418 add conss, 1336 chg bounds, 252 chg sides, 5522 chg coeffs, 185977 upgd conss, 137118736 impls, 2928 clqs
1282.30/1282.53	c    (1282.5s) probing: 7000/61173 (11.4%) - 5581 fixings, 340 aggregations, 14192597 implications, 591 bound changes
1352.77/1353.08	c (round 201) 15824 del vars, 199252 del conss, 66418 add conss, 1337 chg bounds, 252 chg sides, 5522 chg coeffs, 185977 upgd conss, 148920403 impls, 2926 clqs
1353.57/1353.84	c (round 202) 15830 del vars, 199259 del conss, 66418 add conss, 1337 chg bounds, 252 chg sides, 5528 chg coeffs, 185977 upgd conss, 148930733 impls, 2926 clqs
1361.27/1361.51	c (round 203) 15905 del vars, 199385 del conss, 66542 add conss, 1337 chg bounds, 252 chg sides, 5528 chg coeffs, 185977 upgd conss, 149032535 impls, 2926 clqs
1362.07/1362.35	c (round 204) 15906 del vars, 199463 del conss, 66617 add conss, 1337 chg bounds, 252 chg sides, 5528 chg coeffs, 185977 upgd conss, 149032591 impls, 3027 clqs
1407.16/1407.43	c (round 205) 15931 del vars, 199464 del conss, 66618 add conss, 1337 chg bounds, 252 chg sides, 5528 chg coeffs, 185977 upgd conss, 153103289 impls, 3028 clqs
1408.55/1408.86	c (round 206) 15940 del vars, 199523 del conss, 66677 add conss, 1337 chg bounds, 252 chg sides, 5528 chg coeffs, 185977 upgd conss, 153146613 impls, 3028 clqs
1409.36/1409.67	c (round 207) 15940 del vars, 199532 del conss, 66686 add conss, 1337 chg bounds, 252 chg sides, 5528 chg coeffs, 185977 upgd conss, 153146613 impls, 3061 clqs
1425.96/1426.20	c (round 208) 15982 del vars, 199532 del conss, 66686 add conss, 1339 chg bounds, 252 chg sides, 5528 chg coeffs, 185977 upgd conss, 154938845 impls, 3056 clqs
1427.15/1427.46	c (round 209) 15994 del vars, 199546 del conss, 66686 add conss, 1339 chg bounds, 252 chg sides, 5536 chg coeffs, 185981 upgd conss, 154971227 impls, 3056 clqs
1428.95/1429.28	c (round 210) 16012 del vars, 199564 del conss, 66704 add conss, 1339 chg bounds, 252 chg sides, 5536 chg coeffs, 185981 upgd conss, 155002803 impls, 3056 clqs
1429.77/1430.09	c (round 211) 16012 del vars, 199582 del conss, 66722 add conss, 1339 chg bounds, 252 chg sides, 5536 chg coeffs, 185981 upgd conss, 155002803 impls, 3068 clqs
1460.05/1460.39	c    (1460.4s) probing: 8000/61173 (13.1%) - 5633 fixings, 382 aggregations, 16494932 implications, 594 bound changes
1562.33/1562.66	c (round 212) 16044 del vars, 199582 del conss, 66722 add conss, 1352 chg bounds, 252 chg sides, 5536 chg coeffs, 185981 upgd conss, 167424484 impls, 3066 clqs
1563.23/1563.56	c (round 213) 16048 del vars, 199589 del conss, 66722 add conss, 1352 chg bounds, 252 chg sides, 5539 chg coeffs, 185983 upgd conss, 167431522 impls, 3066 clqs
1575.33/1575.67	c (round 214) 16178 del vars, 199708 del conss, 66840 add conss, 1352 chg bounds, 252 chg sides, 5539 chg coeffs, 185983 upgd conss, 167491598 impls, 3066 clqs
1576.23/1576.50	c (round 215) 16179 del vars, 199839 del conss, 66970 add conss, 1352 chg bounds, 252 chg sides, 5539 chg coeffs, 185983 upgd conss, 167492912 impls, 3168 clqs
1625.12/1625.43	c    (1625.4s) probing: 9000/61173 (14.7%) - 5651 fixings, 400 aggregations, 18347670 implications, 607 bound changes
1638.63/1638.99	c (round 216) 16204 del vars, 199840 del conss, 66971 add conss, 1352 chg bounds, 252 chg sides, 5539 chg coeffs, 185983 upgd conss, 172242286 impls, 3169 clqs
1642.32/1642.69	c (round 217) 16235 del vars, 199921 del conss, 67052 add conss, 1352 chg bounds, 252 chg sides, 5539 chg coeffs, 185983 upgd conss, 172262168 impls, 3169 clqs
1643.22/1643.52	c (round 218) 16235 del vars, 199952 del conss, 67083 add conss, 1352 chg bounds, 252 chg sides, 5539 chg coeffs, 185983 upgd conss, 172262168 impls, 3225 clqs
1684.82/1685.14	c (round 219) 16260 del vars, 199952 del conss, 67083 add conss, 1359 chg bounds, 252 chg sides, 5539 chg coeffs, 185983 upgd conss, 175682209 impls, 3225 clqs
1696.21/1696.52	c (round 220) 16301 del vars, 200008 del conss, 67137 add conss, 1362 chg bounds, 252 chg sides, 5540 chg coeffs, 185984 upgd conss, 176585774 impls, 3224 clqs
1696.91/1697.29	c (round 221) 16304 del vars, 200013 del conss, 67137 add conss, 1362 chg bounds, 252 chg sides, 5542 chg coeffs, 185985 upgd conss, 176594434 impls, 3264 clqs
1697.81/1698.11	c (round 222) 16305 del vars, 200044 del conss, 67168 add conss, 1362 chg bounds, 252 chg sides, 5542 chg coeffs, 185985 upgd conss, 176594726 impls, 3265 clqs
1705.21/1705.52	c (round 223) 16333 del vars, 200045 del conss, 67169 add conss, 1362 chg bounds, 252 chg sides, 5542 chg coeffs, 185985 upgd conss, 177049566 impls, 3274 clqs
1727.60/1727.91	c (round 224) 16361 del vars, 200062 del conss, 67184 add conss, 1362 chg bounds, 252 chg sides, 5544 chg coeffs, 185985 upgd conss, 179452766 impls, 3274 clqs
1728.41/1728.74	c (round 225) 16361 del vars, 200100 del conss, 67222 add conss, 1362 chg bounds, 252 chg sides, 5544 chg coeffs, 185985 upgd conss, 179452766 impls, 3274 clqs
1766.70/1767.10	c (round 226) 16393 del vars, 200100 del conss, 67222 add conss, 1369 chg bounds, 252 chg sides, 5544 chg coeffs, 185985 upgd conss, 182402765 impls, 3285 clqs
1767.50/1767.83	c (round 227) 16396 del vars, 200103 del conss, 67222 add conss, 1369 chg bounds, 252 chg sides, 5546 chg coeffs, 185987 upgd conss, 182412099 impls, 3285 clqs
1768.60/1768.94	c (round 228) 16401 del vars, 200152 del conss, 67271 add conss, 1369 chg bounds, 252 chg sides, 5546 chg coeffs, 185987 upgd conss, 182417889 impls, 3285 clqs
1769.40/1769.78	c (round 229) 16401 del vars, 200157 del conss, 67276 add conss, 1369 chg bounds, 252 chg sides, 5546 chg coeffs, 185987 upgd conss, 182417889 impls, 3322 clqs
1796.90/1797.21	c    (1797.2s) probing: 9882/61173 (16.2%) - 5715 fixings, 498 aggregations, 20399910 implications, 624 bound changes
1796.90/1797.21	c    (1797.2s) probing aborted: solving stopped
1796.90/1797.21	c (round 230) 16408 del vars, 200157 del conss, 67276 add conss, 1369 chg bounds, 252 chg sides, 5546 chg coeffs, 185987 upgd conss, 184712057 impls, 3322 clqs
1796.90/1797.21	c presolving (230 rounds):
1796.90/1797.21	c  16408 deleted vars, 200157 deleted constraints, 67276 added constraints, 1369 tightened bounds, 0 added holes, 252 changed sides, 5546 changed coefficients
1796.90/1797.21	c  184712057 implications, 3322 cliques
1796.90/1797.21	c presolving was interrupted.
1796.90/1797.21	c Presolving Time: 1796.51
1796.90/1797.21	c - non default parameters ----------------------------------------------------------------------
1796.90/1797.21	c # SCIP version 2.1.1.4
1796.90/1797.21	c 
1796.90/1797.21	c # maximal time in seconds to run
1796.90/1797.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.90/1797.21	c limits/time = 1797
1796.90/1797.21	c 
1796.90/1797.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.90/1797.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.90/1797.21	c limits/memory = 13950
1796.90/1797.21	c 
1796.90/1797.21	c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.90/1797.21	c # [type: int, range: [1,2], default: 1]
1796.90/1797.21	c timing/clocktype = 2
1796.90/1797.21	c 
1796.90/1797.21	c # belongs reading time to solving time?
1796.90/1797.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.90/1797.21	c timing/reading = TRUE
1796.90/1797.21	c 
1796.90/1797.21	c -----------------------------------------------------------------------------------------------
1796.90/1797.21	c start solving
1796.90/1797.25	c presolving:
1796.90/1797.25	c presolving (230 rounds):
1796.90/1797.25	c  16408 deleted vars, 200157 deleted constraints, 67276 added constraints, 1369 tightened bounds, 0 added holes, 252 changed sides, 5546 changed coefficients
1796.90/1797.25	c  184712057 implications, 3322 cliques
1796.90/1797.25	c presolving was interrupted.
1796.90/1797.25	c Presolving Time: 1796.55
1796.90/1797.25	c 
1796.90/1797.25	c SCIP Status        : solving was interrupted [time limit reached]
1796.90/1797.25	c Solving Time (sec) : 1797.24
1796.90/1797.25	c Solving Nodes      : 0
1796.90/1797.25	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.90/1797.25	s UNKNOWN
1796.90/1797.25	c SCIP Status        : solving was interrupted [time limit reached]
1796.90/1797.25	c Total Time         :    1797.24
1796.90/1797.25	c   solving          :    1797.24
1796.90/1797.25	c   presolving       :    1796.55 (included in solving)
1796.90/1797.25	c   reading          :       0.49 (included in solving)
1796.90/1797.25	c   copying          :       0.00 (0 times copied the problem)
1796.90/1797.25	c Original Problem   :
1796.90/1797.25	c   Problem name     : HOME/instance-3692833-1338027163.opb
1796.90/1797.25	c   Variables        : 62704 (62704 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.90/1797.25	c   Constraints      : 187107 initial, 187107 maximal
1796.90/1797.25	c   Objective sense  : minimize
1796.90/1797.25	c Presolved Problem  :
1796.90/1797.25	c   Problem name     : t_HOME/instance-3692833-1338027163.opb
1796.90/1797.25	c   Variables        : 46296 (46296 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.90/1797.25	c   Constraints      : 49699 initial, 49699 maximal
1796.90/1797.25	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.90/1797.25	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   trivial          :       1.15       0.00         92          0          0          0          0          0          0          0          0
1796.90/1797.25	c   dualfix          :       0.80       0.00          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   gateextraction   :       0.94       0.00          0          0          0          0          0     182375      60791          0          0
1796.90/1797.25	c   implics          :      19.16       0.00          0        735          0          0          0          0          0          0          0
1796.90/1797.25	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   probing          :    1481.80       0.00       5715        498          0        624          0          0          0          0          0
1796.90/1797.25	c   pseudoboolean    :       0.00       0.33          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   knapsack         :       0.19       0.00          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   setppc           :       5.64       0.00          0        135          0          0          0       1641          0          0          0
1796.90/1797.25	c   and              :     282.25       0.00        309       8192          0          8          0      12240       6485          0       4670
1796.90/1797.25	c   linear           :       3.12       0.00        731          1          0        737          0       3882          0        252        876
1796.90/1797.25	c   logicor          :       0.30       0.00          0          0          0          0          0         19          0          0          0
1796.90/1797.25	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.90/1797.25	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.90/1797.25	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   pseudoboolean    :          0+    187107          0          0          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   knapsack         :          0+       504          0     242565          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   setppc           :          0+    121928          0     242565          0          0          0        525          1          0          0          0          0
1796.90/1797.25	c   and              :          0+     60789          0     242564          0          0          0      10522         18          0          0          0          0
1796.90/1797.25	c   linear           :          0+    187107          0          0          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   logicor          :          0+     60836          0       1239          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.90/1797.25	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.90/1797.25	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.90/1797.25	c   pseudoboolean    :       0.33       0.33       0.00       0.00       0.00       0.00       0.00       0.00
1796.90/1797.25	c   knapsack         :       4.98       0.00       0.00       4.98       0.00       0.00       0.00       0.00
1796.90/1797.25	c   setppc           :      50.09       0.00       0.00      50.09       0.00       0.00       0.00       0.00
1796.90/1797.25	c   and              :     494.17       0.00       0.00     494.16       0.00       0.00       0.00       0.01
1796.90/1797.25	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.90/1797.25	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.90/1797.25	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.90/1797.25	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.90/1797.25	c   rootredcost      :          0          0          0          0
1796.90/1797.25	c   pseudoobj        :          0          0          0          0
1796.90/1797.25	c   vbounds          :          0          0          0          0
1796.90/1797.25	c   redcost          :          0          0          0          0
1796.90/1797.25	c   probing          :          0          0          0          0
1796.90/1797.25	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.90/1797.25	c   rootredcost      :       0.12       0.00       0.00       0.12       0.00
1796.90/1797.25	c   pseudoobj        :       0.10       0.00       0.00       0.10       0.00
1796.90/1797.25	c   vbounds          :       0.11       0.00       0.00       0.11       0.00
1796.90/1797.25	c   redcost          :       0.07       0.00       0.00       0.07       0.00
1796.90/1797.25	c   probing          :    1481.80       0.00    1481.80       0.00       0.00
1796.90/1797.25	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.90/1797.25	c   propagation      :       0.01         19          0          0        0.0          0        0.0          -
1796.90/1797.25	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.90/1797.25	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.90/1797.25	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.90/1797.25	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.90/1797.25	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.90/1797.25	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.60/1797.99	c Time complete: 1797.69.

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-3692833-1338027163/watcher-3692833-1338027163 -o /tmp/evaluation-result-3692833-1338027163/solver-3692833-1338027163 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692833-1338027163.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.00 2.00 2.00 3/176 8824
/proc/meminfo: memFree=24856044/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=10260 CPUtime=0 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1322 0 0 0 0 0 0 0 20 0 1 0 268840896 10506240 1277 33554432000 4194304 10169799 140735047374352 140736512701272 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 2565 1277 409 1459 0 1097 0

[startup+0.026233 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8824
/proc/meminfo: memFree=24856044/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=15456 CPUtime=0.01 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 2592 0 0 0 1 0 0 0 20 0 1 0 268840896 15826944 2547 33554432000 4194304 10169799 140735047374352 140736512701272 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 3864 2547 409 1459 0 2396 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15456

[startup+0.100314 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8824
/proc/meminfo: memFree=24856044/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=31828 CPUtime=0.09 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 6716 0 0 0 8 1 0 0 20 0 1 0 268840896 32591872 6671 33554432000 4194304 10169799 140735047374352 140736512701272 5477139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 7990 6700 409 1459 0 6522 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31828

[startup+0.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8824
/proc/meminfo: memFree=24856044/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=71308 CPUtime=0.29 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 16532 0 0 0 27 2 0 0 20 0 1 0 268840896 73019392 16487 33554432000 4194304 10169799 140735047374352 140736512701272 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 17827 16487 409 1459 0 16359 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71308

[startup+0.70032 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8824
/proc/meminfo: memFree=24856044/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=224724 CPUtime=0.69 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 54692 0 0 0 60 9 0 0 20 0 1 0 268840896 230117376 54644 33554432000 4194304 10169799 140735047374352 140736512701272 4897504 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 56181 54644 460 1459 0 54713 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 224724

[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8825
/proc/meminfo: memFree=24574284/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=354608 CPUtime=1.49 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 94250 0 0 0 133 16 0 0 20 0 1 0 268840896 363118592 85737 33554432000 4194304 10169799 140735047374352 140735047372952 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 88652 85737 555 1459 0 87184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 354608

[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8825
/proc/meminfo: memFree=24451896/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=510800 CPUtime=3.08 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 131844 0 0 0 282 26 0 0 20 0 1 0 268840896 523059200 123331 33554432000 4194304 10169799 140735047374352 140735047372504 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 127700 123331 555 1459 0 126232 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 510800

[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8825
/proc/meminfo: memFree=24273200/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=608416 CPUtime=6.29 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 165478 0 0 0 581 48 0 0 20 0 1 0 268840896 623017984 147634 33554432000 4194304 10169799 140735047374352 140735047371080 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 152104 147634 621 1459 0 150636 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 608416

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8825
/proc/meminfo: memFree=24237188/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=609440 CPUtime=12.69 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 165737 0 0 0 1210 59 0 0 20 0 1 0 268840896 624066560 147893 33554432000 4194304 10169799 140735047374352 140735047372760 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 152360 147893 624 1459 0 150892 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 609440

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8825
/proc/meminfo: memFree=24198480/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=612616 CPUtime=25.49 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 166929 0 0 0 2465 84 0 0 20 0 1 0 268840896 627318784 148784 33554432000 4194304 10169799 140735047374352 140735047371880 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 153154 148784 624 1459 0 151686 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 612616

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8825
/proc/meminfo: memFree=24085460/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=645336 CPUtime=51.08 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 173269 0 0 0 4951 157 0 0 20 0 1 0 268840896 660824064 157168 33554432000 4194304 10169799 140735047374352 140735047372760 6895360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 161334 157168 624 1459 0 159866 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 645336

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8825
/proc/meminfo: memFree=23804508/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=676336 CPUtime=102.28 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 179311 0 0 0 9888 340 0 0 20 0 1 0 268840896 692568064 165221 33554432000 4194304 10169799 140735047374352 140735047372760 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 169084 165221 629 1459 0 167616 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 676336

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8825
/proc/meminfo: memFree=23320740/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=833720 CPUtime=162.26 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 215098 0 0 0 15818 408 0 0 20 0 1 0 268840896 853729280 203563 33554432000 4194304 10169799 140735047374352 140735047371864 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 208430 203563 629 1459 0 206962 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 833720

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8825
/proc/meminfo: memFree=22868912/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=1001152 CPUtime=222.26 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 256052 0 0 0 21804 422 0 0 20 0 1 0 268840896 1025179648 244517 33554432000 4194304 10169799 140735047374352 140735047371864 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 250288 244517 629 1459 0 248820 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1001152

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8826
/proc/meminfo: memFree=22402760/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=1108816 CPUtime=282.25 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 282647 0 0 0 27782 443 0 0 20 0 1 0 268840896 1135427584 271623 33554432000 4194304 10169799 140735047374352 140735047371864 8918736 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 277204 271623 629 1459 0 275736 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1108816

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8826
/proc/meminfo: memFree=21823948/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=1239692 CPUtime=342.24 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 314485 0 0 0 33756 468 0 0 20 0 1 0 268840896 1269444608 304483 33554432000 4194304 10169799 140735047374352 140735047371864 6916923 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 309923 304483 629 1459 0 308455 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1239692

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8826
/proc/meminfo: memFree=21495452/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=1463600 CPUtime=402.22 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 368603 0 0 0 39733 489 0 0 20 0 1 0 268840896 1498726400 359623 33554432000 4194304 10169799 140735047374352 140735047371864 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 365900 359623 629 1459 0 364432 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1463600

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8829
/proc/meminfo: memFree=21089612/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=1646144 CPUtime=462.22 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 414035 0 0 0 45720 502 0 0 20 0 1 0 268840896 1685651456 405055 33554432000 4194304 10169799 140735047374352 140735047371880 8922367 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 411536 405055 629 1459 0 410068 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1646144

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8829
/proc/meminfo: memFree=20734680/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=1885440 CPUtime=522.21 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 472431 0 0 0 51699 522 0 0 20 0 1 0 268840896 1930690560 464473 33554432000 4194304 10169799 140735047374352 140735047371880 6124200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 471360 464473 629 1459 0 469892 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1885440

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8830
/proc/meminfo: memFree=20495260/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=2125656 CPUtime=582.2 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 531003 0 0 0 57675 545 0 0 20 0 1 0 268840896 2176671744 524067 33554432000 4194304 10169799 140735047374352 140735047371864 6124200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 531414 524067 629 1459 0 529946 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2125656

[startup+642.3 s]

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

/proc/meminfo: memFree=18921772/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=3695928 CPUtime=1062.13 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 917043 0 0 0 105514 699 0 0 20 0 1 0 268840896 3784630272 914195 33554432000 4194304 10169799 140735047374352 140735047370616 6124210 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 923982 914195 629 1459 0 922514 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3695928

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 8834
/proc/meminfo: memFree=18785812/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=3829540 CPUtime=1122.11 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 950686 0 0 0 111501 710 0 0 20 0 1 0 268840896 3921448960 947838 33554432000 4194304 10169799 140735047374352 140735047371864 5867666 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 957385 947838 629 1459 0 955917 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3829540

[startup+1182.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 8835
/proc/meminfo: memFree=18663588/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=3950024 CPUtime=1182.1 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 980674 0 0 0 117493 717 0 0 20 0 1 0 268840896 4044824576 977826 33554432000 4194304 10169799 140735047374352 140735047372760 7433726 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 987506 977826 629 1459 0 986038 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3950024

[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 8873
/proc/meminfo: memFree=24972920/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=3956404 CPUtime=1242.1 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 981939 0 0 0 123484 726 0 0 20 0 1 0 268840896 4051357696 979961 33554432000 4194304 10169799 140735047374352 140735047372760 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 989101 979961 629 1459 0 987633 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3956404

[startup+1302.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 8873
/proc/meminfo: memFree=24848936/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=4001836 CPUtime=1302.1 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 993125 0 0 0 129472 738 0 0 20 0 1 0 268840896 4097880064 991138 33554432000 4194304 10169799 140735047374352 140735047371880 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1000459 991138 629 1459 0 998991 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 4001836

[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 8873
/proc/meminfo: memFree=24723376/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=4124040 CPUtime=1362.07 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1023160 0 0 0 135456 751 0 0 20 0 1 0 268840896 4223016960 1021350 33554432000 4194304 10169799 140735047374352 140735047372760 6895394 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1031010 1021350 629 1459 0 1029542 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 4124040

[startup+1422.31 s]
/proc/loadavg: 2.11 2.06 2.01 3/178 8874
/proc/meminfo: memFree=24591524/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=4256796 CPUtime=1422.07 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1054544 0 0 0 141433 774 0 0 20 0 1 0 268840896 4358959104 1054276 33554432000 4194304 10169799 140735047374352 140735047371864 7433752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1064199 1054276 629 1459 0 1062731 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 4256796

[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 8875
/proc/meminfo: memFree=24427824/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=4420048 CPUtime=1482.05 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1094088 0 0 0 147412 793 0 0 20 0 1 0 268840896 4526129152 1094843 33554432000 4194304 10169799 140735047374352 140735047371864 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1105012 1094843 629 1459 0 1103544 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 4420048

[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 8875
/proc/meminfo: memFree=24289592/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=4559180 CPUtime=1542.04 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1128188 0 0 0 153397 807 0 0 20 0 1 0 268840896 4668600320 1128950 33554432000 4194304 10169799 140735047374352 140735047371880 6124200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1139795 1128950 629 1459 0 1138327 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 4559180

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 8875
/proc/meminfo: memFree=24198360/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=4650396 CPUtime=1602.03 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1150620 0 0 0 159382 821 0 0 20 0 1 0 268840896 4762005504 1151941 33554432000 4194304 10169799 140735047374352 140735047371864 6113733 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1162599 1151941 629 1459 0 1161131 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 4650396

[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 8878
/proc/meminfo: memFree=24094960/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=4753452 CPUtime=1662.01 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1175161 0 0 0 165362 839 0 0 20 0 1 0 268840896 4867534848 1177517 33554432000 4194304 10169799 140735047374352 140735047371864 8915438 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1188363 1177517 629 1459 0 1186895 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 4753452

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 8878
/proc/meminfo: memFree=23953884/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=4896376 CPUtime=1722 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1209565 0 0 0 171340 860 0 0 20 0 1 0 268840896 5013889024 1212942 33554432000 4194304 10169799 140735047374352 140735047371880 8922268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1224094 1212942 629 1459 0 1222626 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 4896376

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 8879
/proc/meminfo: memFree=23791836/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=5056292 CPUtime=1782 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1247475 0 0 0 177310 890 0 0 20 0 1 0 268840896 5177643008 1252896 33554432000 4194304 10169799 140735047374352 140735047372360 8922268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1264073 1252896 629 1459 0 1262605 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 5056292

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 8879
/proc/meminfo: memFree=23784644/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=5061352 CPUtime=1785.19 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1248748 0 0 0 177629 890 0 0 20 0 1 0 268840896 5182824448 1254169 33554432000 4194304 10169799 140735047374352 140735047371880 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1265338 1254169 629 1459 0 1263870 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 5061352

[startup+1791.91 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 8879
/proc/meminfo: memFree=23781776/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=5064380 CPUtime=1791.6 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1249494 0 0 0 178269 891 0 0 20 0 1 0 268840896 5185925120 1254917 33554432000 4194304 10169799 140735047374352 140735047371880 4924356 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1266095 1254917 629 1459 0 1264627 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 5064380

[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 8879
/proc/meminfo: memFree=23778428/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=5068388 CPUtime=1794.8 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1250318 0 0 0 178589 891 0 0 20 0 1 0 268840896 5190029312 1255741 33554432000 4194304 10169799 140735047374352 140735047371880 5930475 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1267097 1255741 629 1459 0 1265629 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 5068388

[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 8879
/proc/meminfo: memFree=23773592/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=5073336 CPUtime=1796.4 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1251554 0 0 0 178748 892 0 0 20 0 1 0 268840896 5195096064 1256977 33554432000 4194304 10169799 140735047374352 140735047371880 8920320 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1268334 1256977 629 1459 0 1266866 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 5073336

[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 8879
/proc/meminfo: memFree=23771360/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=5069252 CPUtime=1797.2 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1252477 0 0 0 178828 892 0 0 20 0 1 0 268840896 5190914048 1256392 33554432000 4194304 10169799 140735047374352 140735047371880 5882724 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1267313 1256392 644 1459 0 1265845 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 5069252

[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 8879
/proc/meminfo: memFree=23771360/32873844 swapFree=7900/7900
[pid=8824] ppid=8822 vsize=4419992 CPUtime=1797.6 cores=1,3,5,7
/proc/8824/stat : 8824 (scip-2.1.1.4sfi) R 8822 8824 6871 0 -1 4202496 1252505 0 0 0 178849 911 0 0 20 0 1 0 268840896 4526071808 328057 33554432000 4194304 10169799 140735047374352 140735047373624 9174538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8824/statm: 1104998 327545 672 1459 0 1103530 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 4419992

Child status: 0
Real time (s): 1797.99
CPU time (s): 1797.7
CPU user time (s): 1788.49
CPU system time (s): 9.2066
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 5074320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.49
system time used= 9.2066
maximum resident set size= 5031592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1252507
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= 38
involuntary context switches= 1845

runsolver used 3.05653 second user time and 9.37857 second system time

The end

Begin job on node137 at 2012-05-26 12:12:44
IDJOB=3692833
IDBENCH=1479
IDSOLVER=2272
FILE ID=node137/3692833-1338027163
RUNJOBID= node137-1338017245-7421
PBS_JOBID= 14624260
Free space on /tmp= 71256 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692833-1338027163/watcher-3692833-1338027163 -o /tmp/evaluation-result-3692833-1338027163/solver-3692833-1338027163 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692833-1338027163.opb -t 1800 -m 15500

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

MD5SUM BENCH= 939f54a73a83900b8b6d857af47a0b62
RANDOM SEED=1381637039

node137.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.600
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.20
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.600
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.600
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.600
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.600
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.600
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.600
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.600
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:        24856424 kB
Buffers:          249992 kB
Cached:          2795632 kB
SwapCached:        22060 kB
Active:          5105676 kB
Inactive:        2116244 kB
Active(anon):    4155792 kB
Inactive(anon):    22680 kB
Active(file):     949884 kB
Inactive(file):  2093564 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67081504 kB
Dirty:             19136 kB
Writeback:             0 kB
AnonPages:       4163776 kB
Mapped:            12108 kB
Shmem:                 0 kB
Slab:             646100 kB
SReclaimable:      87360 kB
SUnreclaim:       558740 kB
KernelStack:        1448 kB
PageTables:        11952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    4310896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    569344 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= 71248 MiB
End job on node137 at 2012-05-26 12:42:42