0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 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-3741584-1338756898.opb>
1.48/1.50	c original problem has 5831 variables (5831 bin, 0 int, 0 impl, 0 cont) and 175474 constraints
1.48/1.50	c problem read
1.48/1.50	c presolving settings loaded
1.69/1.78	c presolving:
2.19/2.24	c (round 1) 107 del vars, 113 del conss, 14 chg bounds, 6 chg sides, 258 chg coeffs, 0 upgd conss, 8862 impls, 4053 clqs
3.20/3.22	c (round 2) 107 del vars, 127 del conss, 14 chg bounds, 6 chg sides, 258 chg coeffs, 173548 upgd conss, 8862 impls, 4053 clqs
4.29/4.35	c (round 3) 107 del vars, 2477 del conss, 14 chg bounds, 2097 chg sides, 5768 chg coeffs, 173548 upgd conss, 12998 impls, 5585 clqs
4.79/4.89	c (round 4) 107 del vars, 2509 del conss, 14 chg bounds, 2114 chg sides, 6139 chg coeffs, 173548 upgd conss, 13040 impls, 5587 clqs
5.09/5.15	c (round 5) 180 del vars, 2511 del conss, 14 chg bounds, 2119 chg sides, 6258 chg coeffs, 173548 upgd conss, 13544 impls, 5419 clqs
5.39/5.43	c (round 6) 195 del vars, 5383 del conss, 16 chg bounds, 4623 chg sides, 13472 chg coeffs, 173548 upgd conss, 14622 impls, 6084 clqs
5.68/5.79	c (round 7) 198 del vars, 6004 del conss, 16 chg bounds, 5240 chg sides, 17964 chg coeffs, 173577 upgd conss, 16174 impls, 6380 clqs
6.08/6.14	c (round 8) 198 del vars, 7957 del conss, 16 chg bounds, 5499 chg sides, 20110 chg coeffs, 173577 upgd conss, 16456 impls, 6482 clqs
6.38/6.42	c (round 9) 198 del vars, 8053 del conss, 16 chg bounds, 5572 chg sides, 20811 chg coeffs, 173577 upgd conss, 16656 impls, 6525 clqs
6.59/6.68	c (round 10) 198 del vars, 8090 del conss, 16 chg bounds, 5606 chg sides, 21263 chg coeffs, 173577 upgd conss, 16656 impls, 6550 clqs
8.98/9.02	c (round 11) 248 del vars, 8090 del conss, 16 chg bounds, 5607 chg sides, 21299 chg coeffs, 173577 upgd conss, 44864 impls, 6210 clqs
9.58/9.63	c (round 12) 258 del vars, 10601 del conss, 16 chg bounds, 7647 chg sides, 32746 chg coeffs, 173577 upgd conss, 45354 impls, 6741 clqs
10.18/10.22	c (round 13) 275 del vars, 11885 del conss, 26 chg bounds, 9181 chg sides, 41532 chg coeffs, 173577 upgd conss, 46280 impls, 7906 clqs
10.78/10.85	c (round 14) 297 del vars, 12608 del conss, 28 chg bounds, 9891 chg sides, 45287 chg coeffs, 173577 upgd conss, 46446 impls, 8199 clqs
11.38/11.40	c (round 15) 299 del vars, 12873 del conss, 28 chg bounds, 10230 chg sides, 47242 chg coeffs, 173586 upgd conss, 47006 impls, 8373 clqs
11.78/11.86	c (round 16) 299 del vars, 12987 del conss, 29 chg bounds, 10346 chg sides, 47893 chg coeffs, 173586 upgd conss, 47022 impls, 8521 clqs
12.18/12.22	c (round 17) 300 del vars, 14234 del conss, 37 chg bounds, 11170 chg sides, 50262 chg coeffs, 173586 upgd conss, 47272 impls, 8799 clqs
12.58/12.67	c (round 18) 308 del vars, 17760 del conss, 37 chg bounds, 11336 chg sides, 51137 chg coeffs, 173586 upgd conss, 47308 impls, 8445 clqs
12.88/12.98	c (round 19) 308 del vars, 17889 del conss, 37 chg bounds, 11414 chg sides, 51494 chg coeffs, 173586 upgd conss, 47390 impls, 8464 clqs
14.29/14.31	c (round 20) 394 del vars, 17889 del conss, 37 chg bounds, 11414 chg sides, 51499 chg coeffs, 173586 upgd conss, 57716 impls, 7861 clqs
14.88/14.94	c (round 21) 436 del vars, 21567 del conss, 43 chg bounds, 14423 chg sides, 63906 chg coeffs, 173586 upgd conss, 63496 impls, 8987 clqs
15.58/15.60	c (round 22) 447 del vars, 23002 del conss, 50 chg bounds, 15657 chg sides, 71357 chg coeffs, 173586 upgd conss, 65411 impls, 9746 clqs
16.18/16.21	c (round 23) 453 del vars, 23934 del conss, 51 chg bounds, 16422 chg sides, 75368 chg coeffs, 173586 upgd conss, 67807 impls, 10100 clqs
16.68/16.77	c (round 24) 454 del vars, 24108 del conss, 52 chg bounds, 16593 chg sides, 76906 chg coeffs, 173613 upgd conss, 68461 impls, 10213 clqs
17.18/17.22	c (round 25) 456 del vars, 24354 del conss, 53 chg bounds, 16821 chg sides, 78110 chg coeffs, 173613 upgd conss, 68679 impls, 10331 clqs
17.68/17.70	c (round 26) 459 del vars, 24426 del conss, 54 chg bounds, 16915 chg sides, 78692 chg coeffs, 173613 upgd conss, 69047 impls, 10327 clqs
18.08/18.18	c (round 27) 459 del vars, 27582 del conss, 54 chg bounds, 16957 chg sides, 79161 chg coeffs, 173614 upgd conss, 69153 impls, 10354 clqs
18.48/18.53	c (round 28) 461 del vars, 27601 del conss, 55 chg bounds, 16971 chg sides, 79343 chg coeffs, 173614 upgd conss, 69301 impls, 10386 clqs
18.88/18.93	c (round 29) 461 del vars, 27663 del conss, 55 chg bounds, 17009 chg sides, 79545 chg coeffs, 173614 upgd conss, 69303 impls, 10430 clqs
19.38/19.47	c (round 30) 512 del vars, 27670 del conss, 55 chg bounds, 17015 chg sides, 79597 chg coeffs, 173614 upgd conss, 88029 impls, 9883 clqs
20.08/20.12	c (round 31) 566 del vars, 30212 del conss, 65 chg bounds, 19174 chg sides, 88554 chg coeffs, 173614 upgd conss, 94948 impls, 10143 clqs
20.79/20.84	c (round 32) 585 del vars, 32527 del conss, 73 chg bounds, 21375 chg sides, 98827 chg coeffs, 173614 upgd conss, 97763 impls, 10844 clqs
21.48/21.57	c (round 33) 589 del vars, 33520 del conss, 73 chg bounds, 22390 chg sides, 104762 chg coeffs, 173630 upgd conss, 99117 impls, 11487 clqs
22.18/22.27	c (round 34) 589 del vars, 34025 del conss, 74 chg bounds, 22837 chg sides, 107720 chg coeffs, 173630 upgd conss, 99299 impls, 11773 clqs
22.78/22.89	c (round 35) 590 del vars, 34209 del conss, 75 chg bounds, 22993 chg sides, 108571 chg coeffs, 173630 upgd conss, 99488 impls, 11822 clqs
23.38/23.42	c (round 36) 595 del vars, 34382 del conss, 78 chg bounds, 23098 chg sides, 109155 chg coeffs, 173630 upgd conss, 102239 impls, 11865 clqs
23.88/23.96	c (round 37) 599 del vars, 34585 del conss, 78 chg bounds, 23282 chg sides, 110171 chg coeffs, 173631 upgd conss, 102303 impls, 11865 clqs
24.38/24.42	c (round 38) 603 del vars, 34706 del conss, 81 chg bounds, 23428 chg sides, 110975 chg coeffs, 173631 upgd conss, 102613 impls, 11910 clqs
24.98/25.01	c (round 39) 603 del vars, 38786 del conss, 81 chg bounds, 23490 chg sides, 111448 chg coeffs, 173633 upgd conss, 102657 impls, 11942 clqs
25.28/25.35	c (round 40) 603 del vars, 38813 del conss, 81 chg bounds, 23508 chg sides, 111583 chg coeffs, 173633 upgd conss, 102657 impls, 11967 clqs
25.58/25.67	c (round 41) 603 del vars, 38822 del conss, 81 chg bounds, 23515 chg sides, 111624 chg coeffs, 173633 upgd conss, 102657 impls, 11975 clqs
26.38/26.47	c (round 42) 688 del vars, 38825 del conss, 81 chg bounds, 23515 chg sides, 111627 chg coeffs, 173633 upgd conss, 111240 impls, 10577 clqs
27.08/27.18	c (round 43) 706 del vars, 41933 del conss, 81 chg bounds, 26020 chg sides, 121880 chg coeffs, 173633 upgd conss, 112208 impls, 11525 clqs
27.88/27.98	c (round 44) 716 del vars, 42753 del conss, 82 chg bounds, 26769 chg sides, 127242 chg coeffs, 173633 upgd conss, 113236 impls, 11965 clqs
28.68/28.71	c (round 45) 731 del vars, 43342 del conss, 89 chg bounds, 27316 chg sides, 130211 chg coeffs, 173633 upgd conss, 114095 impls, 12089 clqs
29.38/29.43	c (round 46) 734 del vars, 43949 del conss, 91 chg bounds, 27907 chg sides, 133277 chg coeffs, 173633 upgd conss, 114373 impls, 12266 clqs
29.98/30.07	c (round 47) 738 del vars, 44181 del conss, 92 chg bounds, 28134 chg sides, 134627 chg coeffs, 173633 upgd conss, 114580 impls, 12330 clqs
30.58/30.69	c (round 48) 742 del vars, 44441 del conss, 93 chg bounds, 28344 chg sides, 135826 chg coeffs, 173633 upgd conss, 114712 impls, 12335 clqs
31.28/31.32	c (round 49) 742 del vars, 48054 del conss, 93 chg bounds, 28402 chg sides, 136282 chg coeffs, 173670 upgd conss, 114746 impls, 12390 clqs
31.68/31.77	c (round 50) 754 del vars, 48412 del conss, 93 chg bounds, 28650 chg sides, 137277 chg coeffs, 173671 upgd conss, 114916 impls, 12172 clqs
32.27/32.34	c (round 51) 754 del vars, 48698 del conss, 93 chg bounds, 28935 chg sides, 138578 chg coeffs, 173671 upgd conss, 115066 impls, 12308 clqs
32.77/32.83	c (round 52) 754 del vars, 49122 del conss, 93 chg bounds, 28968 chg sides, 138906 chg coeffs, 173671 upgd conss, 115128 impls, 12345 clqs
33.07/33.18	c (round 53) 754 del vars, 49130 del conss, 93 chg bounds, 28976 chg sides, 138977 chg coeffs, 173671 upgd conss, 115130 impls, 12360 clqs
34.67/34.75	c (round 54) 804 del vars, 49130 del conss, 93 chg bounds, 28976 chg sides, 138978 chg coeffs, 173671 upgd conss, 117500 impls, 11287 clqs
35.47/35.53	c (round 55) 825 del vars, 51317 del conss, 93 chg bounds, 30963 chg sides, 147863 chg coeffs, 173671 upgd conss, 118868 impls, 12006 clqs
36.28/36.38	c (round 56) 827 del vars, 52201 del conss, 97 chg bounds, 31819 chg sides, 153290 chg coeffs, 173671 upgd conss, 119608 impls, 12518 clqs
36.97/37.07	c (round 57) 831 del vars, 52675 del conss, 99 chg bounds, 32273 chg sides, 155614 chg coeffs, 173685 upgd conss, 119728 impls, 12563 clqs
37.67/37.72	c (round 58) 834 del vars, 52932 del conss, 99 chg bounds, 32520 chg sides, 156483 chg coeffs, 173685 upgd conss, 119856 impls, 12583 clqs
38.17/38.20	c (round 59) 836 del vars, 53130 del conss, 100 chg bounds, 32709 chg sides, 157152 chg coeffs, 173685 upgd conss, 119914 impls, 12624 clqs
38.48/38.57	c (round 60) 837 del vars, 53244 del conss, 100 chg bounds, 32816 chg sides, 157587 chg coeffs, 173686 upgd conss, 119928 impls, 12614 clqs
38.87/38.95	c (round 61) 837 del vars, 55842 del conss, 100 chg bounds, 32838 chg sides, 157714 chg coeffs, 173686 upgd conss, 119928 impls, 12617 clqs
40.17/40.23	c (round 62) 887 del vars, 55847 del conss, 100 chg bounds, 32843 chg sides, 157738 chg coeffs, 173686 upgd conss, 127700 impls, 11000 clqs
40.77/40.89	c (round 63) 898 del vars, 58405 del conss, 100 chg bounds, 34754 chg sides, 166505 chg coeffs, 173686 upgd conss, 128916 impls, 11617 clqs
41.47/41.59	c (round 64) 899 del vars, 61022 del conss, 100 chg bounds, 35454 chg sides, 170730 chg coeffs, 173690 upgd conss, 129344 impls, 12089 clqs
42.17/42.23	c (round 65) 917 del vars, 61214 del conss, 102 chg bounds, 35646 chg sides, 172130 chg coeffs, 173690 upgd conss, 130294 impls, 12040 clqs
42.78/42.87	c (round 66) 918 del vars, 61563 del conss, 102 chg bounds, 36031 chg sides, 174073 chg coeffs, 173694 upgd conss, 130466 impls, 12205 clqs
43.37/43.40	c (round 67) 927 del vars, 61767 del conss, 106 chg bounds, 36196 chg sides, 175227 chg coeffs, 173694 upgd conss, 131049 impls, 12217 clqs
43.88/43.95	c (round 68) 929 del vars, 62120 del conss, 106 chg bounds, 36612 chg sides, 177058 chg coeffs, 173694 upgd conss, 131221 impls, 12346 clqs
44.37/44.46	c (round 69) 947 del vars, 62319 del conss, 117 chg bounds, 36788 chg sides, 178156 chg coeffs, 173694 upgd conss, 131411 impls, 12178 clqs
44.98/45.03	c (round 70) 956 del vars, 63241 del conss, 119 chg bounds, 37738 chg sides, 181404 chg coeffs, 173694 upgd conss, 132453 impls, 12377 clqs
45.57/45.63	c (round 71) 958 del vars, 63555 del conss, 119 chg bounds, 38084 chg sides, 183137 chg coeffs, 173694 upgd conss, 132591 impls, 12506 clqs
46.08/46.17	c (round 72) 958 del vars, 65765 del conss, 119 chg bounds, 38226 chg sides, 183880 chg coeffs, 173696 upgd conss, 132627 impls, 12589 clqs
46.47/46.59	c (round 73) 958 del vars, 65800 del conss, 119 chg bounds, 38256 chg sides, 184085 chg coeffs, 173696 upgd conss, 132627 impls, 12607 clqs
46.77/46.83	c (round 74) 959 del vars, 65809 del conss, 119 chg bounds, 38264 chg sides, 184149 chg coeffs, 173698 upgd conss, 132645 impls, 12582 clqs
46.97/47.08	c (round 75) 966 del vars, 65844 del conss, 119 chg bounds, 38291 chg sides, 184281 chg coeffs, 173698 upgd conss, 133019 impls, 12487 clqs
47.47/47.56	c (round 76) 967 del vars, 66001 del conss, 119 chg bounds, 38488 chg sides, 185211 chg coeffs, 173698 upgd conss, 133219 impls, 12556 clqs
47.87/47.93	c (round 77) 967 del vars, 66273 del conss, 119 chg bounds, 38552 chg sides, 185713 chg coeffs, 173698 upgd conss, 133235 impls, 12588 clqs
48.17/48.26	c (round 78) 967 del vars, 66285 del conss, 119 chg bounds, 38563 chg sides, 185814 chg coeffs, 173698 upgd conss, 133243 impls, 12608 clqs
48.47/48.51	c (round 79) 968 del vars, 66293 del conss, 119 chg bounds, 38569 chg sides, 185870 chg coeffs, 173698 upgd conss, 133261 impls, 12563 clqs
48.67/48.74	c (round 80) 969 del vars, 66386 del conss, 119 chg bounds, 38659 chg sides, 186194 chg coeffs, 173698 upgd conss, 133273 impls, 12513 clqs
48.97/49.02	c (round 81) 969 del vars, 66570 del conss, 119 chg bounds, 38717 chg sides, 186435 chg coeffs, 173698 upgd conss, 133273 impls, 12543 clqs
49.17/49.27	c (round 82) 970 del vars, 66579 del conss, 119 chg bounds, 38724 chg sides, 186504 chg coeffs, 173699 upgd conss, 133285 impls, 12518 clqs
49.38/49.50	c (round 83) 970 del vars, 66645 del conss, 119 chg bounds, 38758 chg sides, 186640 chg coeffs, 173699 upgd conss, 133285 impls, 12533 clqs
49.67/49.75	c (round 84) 971 del vars, 66656 del conss, 119 chg bounds, 38765 chg sides, 186709 chg coeffs, 173700 upgd conss, 133293 impls, 12514 clqs
49.87/49.94	c (round 85) 971 del vars, 66720 del conss, 119 chg bounds, 38797 chg sides, 186823 chg coeffs, 173700 upgd conss, 133293 impls, 12526 clqs
50.07/50.17	c (round 86) 972 del vars, 66729 del conss, 119 chg bounds, 38806 chg sides, 186875 chg coeffs, 173701 upgd conss, 133301 impls, 12506 clqs
50.27/50.36	c (round 87) 972 del vars, 66787 del conss, 119 chg bounds, 38830 chg sides, 186958 chg coeffs, 173701 upgd conss, 133301 impls, 12519 clqs
51.07/51.19	c (round 88) 1046 del vars, 66790 del conss, 119 chg bounds, 38833 chg sides, 186988 chg coeffs, 173701 upgd conss, 135127 impls, 11051 clqs
51.77/51.81	c (round 89) 1067 del vars, 69344 del conss, 120 chg bounds, 41084 chg sides, 194993 chg coeffs, 173701 upgd conss, 137580 impls, 11630 clqs
52.37/52.43	c (round 90) 1071 del vars, 70292 del conss, 120 chg bounds, 41863 chg sides, 199804 chg coeffs, 173723 upgd conss, 138426 impls, 12030 clqs
52.97/53.02	c (round 91) 1072 del vars, 70609 del conss, 120 chg bounds, 42179 chg sides, 201736 chg coeffs, 173723 upgd conss, 138536 impls, 12120 clqs
53.57/53.60	c (round 92) 1072 del vars, 73433 del conss, 120 chg bounds, 42218 chg sides, 202120 chg coeffs, 173723 upgd conss, 138588 impls, 12173 clqs
53.88/53.95	c (round 93) 1073 del vars, 73441 del conss, 120 chg bounds, 42222 chg sides, 202186 chg coeffs, 173723 upgd conss, 138632 impls, 12174 clqs
54.17/54.22	c (round 94) 1073 del vars, 73478 del conss, 120 chg bounds, 42249 chg sides, 202323 chg coeffs, 173723 upgd conss, 138664 impls, 12184 clqs
54.37/54.45	c (round 95) 1076 del vars, 73485 del conss, 120 chg bounds, 42253 chg sides, 202383 chg coeffs, 173723 upgd conss, 138700 impls, 12153 clqs
54.57/54.69	c (round 96) 1076 del vars, 73581 del conss, 120 chg bounds, 42365 chg sides, 202721 chg coeffs, 173723 upgd conss, 138728 impls, 12201 clqs
54.98/55.01	c (round 97) 1077 del vars, 73622 del conss, 120 chg bounds, 42398 chg sides, 202933 chg coeffs, 173725 upgd conss, 138776 impls, 12215 clqs
55.27/55.30	c (round 98) 1081 del vars, 73674 del conss, 120 chg bounds, 42451 chg sides, 203162 chg coeffs, 173725 upgd conss, 138826 impls, 12192 clqs
55.57/55.66	c (round 99) 1115 del vars, 74355 del conss, 123 chg bounds, 42978 chg sides, 205022 chg coeffs, 173725 upgd conss, 139901 impls, 11846 clqs
56.08/56.14	c (round 100) 1139 del vars, 75581 del conss, 129 chg bounds, 44105 chg sides, 208524 chg coeffs, 173725 upgd conss, 141143 impls, 11848 clqs
56.57/56.66	c (round 101) 1142 del vars, 76117 del conss, 131 chg bounds, 44641 chg sides, 210849 chg coeffs, 173725 upgd conss, 141766 impls, 12009 clqs
57.08/57.18	c (round 102) 1143 del vars, 78113 del conss, 131 chg bounds, 44872 chg sides, 212020 chg coeffs, 173726 upgd conss, 141846 impls, 12096 clqs
57.47/57.58	c (round 103) 1146 del vars, 78163 del conss, 131 chg bounds, 44909 chg sides, 212373 chg coeffs, 173726 upgd conss, 141898 impls, 12093 clqs
57.87/57.95	c (round 104) 1146 del vars, 78255 del conss, 131 chg bounds, 45003 chg sides, 212743 chg coeffs, 173726 upgd conss, 141964 impls, 12150 clqs
58.18/58.29	c (round 105) 1147 del vars, 78284 del conss, 131 chg bounds, 45025 chg sides, 212892 chg coeffs, 173728 upgd conss, 142062 impls, 12158 clqs
58.57/58.62	c (round 106) 1151 del vars, 78324 del conss, 131 chg bounds, 45056 chg sides, 213053 chg coeffs, 173728 upgd conss, 142114 impls, 12121 clqs
58.87/58.97	c (round 107) 1174 del vars, 78735 del conss, 132 chg bounds, 45366 chg sides, 214155 chg coeffs, 173728 upgd conss, 143445 impls, 11722 clqs
59.37/59.45	c (round 108) 1176 del vars, 79321 del conss, 132 chg bounds, 46045 chg sides, 216644 chg coeffs, 173732 upgd conss, 143661 impls, 11853 clqs
59.77/59.88	c (round 109) 1177 del vars, 79593 del conss, 134 chg bounds, 46252 chg sides, 217789 chg coeffs, 173732 upgd conss, 143861 impls, 11931 clqs
60.17/60.29	c (round 110) 1180 del vars, 79734 del conss, 134 chg bounds, 46371 chg sides, 218283 chg coeffs, 173732 upgd conss, 143935 impls, 11785 clqs
60.67/60.70	c (round 111) 1183 del vars, 79759 del conss, 134 chg bounds, 46379 chg sides, 218361 chg coeffs, 173732 upgd conss, 144027 impls, 11737 clqs
60.97/61.01	c (round 112) 1183 del vars, 79839 del conss, 134 chg bounds, 46453 chg sides, 218587 chg coeffs, 173732 upgd conss, 144099 impls, 11774 clqs
61.27/61.32	c (round 113) 1184 del vars, 79869 del conss, 134 chg bounds, 46470 chg sides, 218736 chg coeffs, 173734 upgd conss, 144149 impls, 11772 clqs
61.57/61.62	c (round 114) 1188 del vars, 79917 del conss, 134 chg bounds, 46506 chg sides, 218902 chg coeffs, 173734 upgd conss, 144199 impls, 11739 clqs
61.87/61.94	c (round 115) 1191 del vars, 80046 del conss, 139 chg bounds, 46653 chg sides, 219423 chg coeffs, 173734 upgd conss, 144566 impls, 11742 clqs
62.27/62.34	c (round 116) 1211 del vars, 80588 del conss, 139 chg bounds, 47059 chg sides, 221050 chg coeffs, 173734 upgd conss, 145452 impls, 11360 clqs
62.67/62.76	c (round 117) 1216 del vars, 80978 del conss, 140 chg bounds, 47410 chg sides, 222527 chg coeffs, 173738 upgd conss, 145864 impls, 11359 clqs
63.07/63.16	c (round 118) 1217 del vars, 81243 del conss, 140 chg bounds, 47680 chg sides, 223529 chg coeffs, 173738 upgd conss, 146076 impls, 11399 clqs
63.47/63.55	c (round 119) 1218 del vars, 81330 del conss, 140 chg bounds, 47725 chg sides, 223799 chg coeffs, 173740 upgd conss, 146130 impls, 11427 clqs
63.77/63.89	c (round 120) 1222 del vars, 81405 del conss, 140 chg bounds, 47783 chg sides, 224032 chg coeffs, 173740 upgd conss, 146230 impls, 11396 clqs
64.17/64.23	c (round 121) 1232 del vars, 81527 del conss, 140 chg bounds, 47879 chg sides, 224443 chg coeffs, 173740 upgd conss, 146412 impls, 11132 clqs
64.47/64.58	c (round 122) 1257 del vars, 82053 del conss, 140 chg bounds, 48271 chg sides, 225884 chg coeffs, 173740 upgd conss, 146996 impls, 11088 clqs
64.97/65.00	c (round 123) 1282 del vars, 83163 del conss, 153 chg bounds, 48844 chg sides, 227885 chg coeffs, 173740 upgd conss, 147743 impls, 10882 clqs
65.37/65.45	c (round 124) 1338 del vars, 84533 del conss, 159 chg bounds, 49703 chg sides, 230852 chg coeffs, 173740 upgd conss, 150572 impls, 10132 clqs
65.87/65.91	c (round 125) 1373 del vars, 86235 del conss, 165 chg bounds, 50563 chg sides, 234484 chg coeffs, 173740 upgd conss, 153544 impls, 9920 clqs
66.27/66.35	c (round 126) 1387 del vars, 87162 del conss, 166 chg bounds, 51317 chg sides, 237942 chg coeffs, 173740 upgd conss, 154839 impls, 10087 clqs
66.67/66.75	c (round 127) 1400 del vars, 87582 del conss, 171 chg bounds, 51562 chg sides, 239340 chg coeffs, 173740 upgd conss, 155586 impls, 10028 clqs
67.07/67.15	c (round 128) 1421 del vars, 88302 del conss, 176 chg bounds, 51828 chg sides, 240483 chg coeffs, 173740 upgd conss, 155858 impls, 9728 clqs
67.47/67.52	c (round 129) 1425 del vars, 88763 del conss, 176 chg bounds, 52239 chg sides, 241714 chg coeffs, 173740 upgd conss, 155992 impls, 9737 clqs
67.76/67.83	c (round 130) 1426 del vars, 88846 del conss, 177 chg bounds, 52284 chg sides, 241999 chg coeffs, 173740 upgd conss, 156034 impls, 9739 clqs
68.07/68.16	c (round 131) 1426 del vars, 94215 del conss, 177 chg bounds, 52320 chg sides, 242141 chg coeffs, 173763 upgd conss, 156034 impls, 9750 clqs
68.26/68.36	c (round 132) 1426 del vars, 94232 del conss, 177 chg bounds, 52325 chg sides, 242166 chg coeffs, 173763 upgd conss, 156038 impls, 9751 clqs
69.36/69.44	c (round 133) 1478 del vars, 94232 del conss, 177 chg bounds, 52325 chg sides, 242167 chg coeffs, 173763 upgd conss, 160304 impls, 8784 clqs
69.86/69.90	c (round 134) 1489 del vars, 96008 del conss, 179 chg bounds, 53539 chg sides, 247224 chg coeffs, 173763 upgd conss, 160856 impls, 8930 clqs
70.16/70.27	c (round 135) 1489 del vars, 96439 del conss, 179 chg bounds, 53973 chg sides, 249646 chg coeffs, 173772 upgd conss, 160962 impls, 9258 clqs
70.56/70.68	c (round 136) 1489 del vars, 97889 del conss, 179 chg bounds, 54041 chg sides, 250045 chg coeffs, 173772 upgd conss, 160982 impls, 9306 clqs
70.86/70.97	c (round 137) 1489 del vars, 97897 del conss, 179 chg bounds, 54048 chg sides, 250101 chg coeffs, 173772 upgd conss, 160982 impls, 9318 clqs
71.16/71.22	c (round 138) 1539 del vars, 97897 del conss, 179 chg bounds, 54048 chg sides, 250115 chg coeffs, 173772 upgd conss, 164584 impls, 8650 clqs
71.47/71.51	c (round 139) 1580 del vars, 99844 del conss, 193 chg bounds, 55533 chg sides, 254611 chg coeffs, 173772 upgd conss, 165598 impls, 8588 clqs
71.76/71.85	c (round 140) 1584 del vars, 100677 del conss, 195 chg bounds, 56218 chg sides, 257366 chg coeffs, 173772 upgd conss, 165761 impls, 8743 clqs
72.06/72.17	c (round 141) 1594 del vars, 100891 del conss, 195 chg bounds, 56374 chg sides, 258261 chg coeffs, 173772 upgd conss, 166297 impls, 8741 clqs
72.36/72.48	c (round 142) 1613 del vars, 101185 del conss, 196 chg bounds, 56488 chg sides, 258756 chg coeffs, 173772 upgd conss, 166542 impls, 8576 clqs
72.66/72.76	c (round 143) 1616 del vars, 101419 del conss, 196 chg bounds, 56624 chg sides, 259212 chg coeffs, 173774 upgd conss, 166562 impls, 8591 clqs
72.96/73.03	c (round 144) 1616 del vars, 103798 del conss, 196 chg bounds, 56643 chg sides, 259331 chg coeffs, 173774 upgd conss, 166576 impls, 8592 clqs
73.06/73.18	c (round 145) 1616 del vars, 103817 del conss, 196 chg bounds, 56653 chg sides, 259374 chg coeffs, 173774 upgd conss, 166576 impls, 8593 clqs
73.96/74.01	c (round 146) 1667 del vars, 103819 del conss, 197 chg bounds, 56655 chg sides, 259386 chg coeffs, 173774 upgd conss, 173753 impls, 7403 clqs
74.26/74.32	c (round 147) 1682 del vars, 105586 del conss, 199 chg bounds, 57979 chg sides, 264536 chg coeffs, 173774 upgd conss, 174565 impls, 7603 clqs
74.56/74.63	c (round 148) 1682 del vars, 105988 del conss, 199 chg bounds, 58390 chg sides, 266556 chg coeffs, 173803 upgd conss, 174625 impls, 7870 clqs
74.86/74.91	c (round 149) 1683 del vars, 106110 del conss, 199 chg bounds, 58500 chg sides, 267028 chg coeffs, 173803 upgd conss, 174659 impls, 7902 clqs
75.06/75.16	c (round 150) 1684 del vars, 106189 del conss, 199 chg bounds, 58554 chg sides, 267205 chg coeffs, 173803 upgd conss, 174677 impls, 7891 clqs
75.26/75.36	c (round 151) 1685 del vars, 106243 del conss, 199 chg bounds, 58587 chg sides, 267294 chg coeffs, 173803 upgd conss, 174687 impls, 7856 clqs
75.46/75.55	c (round 152) 1685 del vars, 108010 del conss, 199 chg bounds, 58588 chg sides, 267297 chg coeffs, 173803 upgd conss, 174687 impls, 7856 clqs
76.76/76.87	c (round 153) 1736 del vars, 108010 del conss, 199 chg bounds, 58588 chg sides, 267297 chg coeffs, 173803 upgd conss, 181755 impls, 6616 clqs
77.16/77.26	c (round 154) 1786 del vars, 109770 del conss, 205 chg bounds, 59983 chg sides, 272577 chg coeffs, 173803 upgd conss, 184216 impls, 6538 clqs
77.56/77.62	c (round 155) 1805 del vars, 110861 del conss, 209 chg bounds, 60957 chg sides, 276453 chg coeffs, 173803 upgd conss, 185196 impls, 6915 clqs
77.86/77.95	c (round 156) 1808 del vars, 111210 del conss, 210 chg bounds, 61340 chg sides, 278105 chg coeffs, 173803 upgd conss, 185389 impls, 7030 clqs
78.16/78.20	c (round 157) 1809 del vars, 111339 del conss, 210 chg bounds, 61477 chg sides, 278758 chg coeffs, 173807 upgd conss, 185451 impls, 7088 clqs
78.36/78.46	c (round 158) 1809 del vars, 113960 del conss, 210 chg bounds, 61488 chg sides, 278852 chg coeffs, 173807 upgd conss, 185467 impls, 7107 clqs
78.86/78.99	c (round 159) 1863 del vars, 113963 del conss, 210 chg bounds, 61489 chg sides, 278865 chg coeffs, 173807 upgd conss, 188571 impls, 6303 clqs
79.17/79.26	c (round 160) 1886 del vars, 115394 del conss, 213 chg bounds, 62735 chg sides, 282965 chg coeffs, 173807 upgd conss, 190313 impls, 6608 clqs
79.46/79.58	c (round 161) 1887 del vars, 115826 del conss, 213 chg bounds, 63179 chg sides, 285342 chg coeffs, 173807 upgd conss, 190759 impls, 6839 clqs
79.76/79.82	c (round 162) 1890 del vars, 116023 del conss, 215 chg bounds, 63338 chg sides, 286211 chg coeffs, 173807 upgd conss, 190917 impls, 6876 clqs
79.96/80.05	c (round 163) 1897 del vars, 116203 del conss, 219 chg bounds, 63439 chg sides, 286587 chg coeffs, 173807 upgd conss, 191179 impls, 6867 clqs
80.17/80.27	c (round 164) 1900 del vars, 116330 del conss, 219 chg bounds, 63548 chg sides, 286974 chg coeffs, 173807 upgd conss, 191255 impls, 6919 clqs
80.36/80.50	c (round 165) 1900 del vars, 118054 del conss, 219 chg bounds, 63585 chg sides, 287164 chg coeffs, 173809 upgd conss, 191255 impls, 6929 clqs
80.56/80.65	c (round 166) 1900 del vars, 118067 del conss, 219 chg bounds, 63587 chg sides, 287178 chg coeffs, 173809 upgd conss, 191255 impls, 6932 clqs
81.96/82.03	c (round 167) 1950 del vars, 118069 del conss, 219 chg bounds, 63587 chg sides, 287178 chg coeffs, 173809 upgd conss, 194181 impls, 6272 clqs
82.47/82.52	c (round 168) 1971 del vars, 119923 del conss, 225 chg bounds, 65098 chg sides, 293705 chg coeffs, 173809 upgd conss, 195270 impls, 6745 clqs
82.86/82.97	c (round 169) 1972 del vars, 120661 del conss, 227 chg bounds, 65860 chg sides, 297789 chg coeffs, 173809 upgd conss, 195482 impls, 7204 clqs
83.36/83.40	c (round 170) 1980 del vars, 121026 del conss, 229 chg bounds, 66164 chg sides, 299472 chg coeffs, 173821 upgd conss, 195618 impls, 7038 clqs
83.66/83.79	c (round 171) 1982 del vars, 123350 del conss, 229 chg bounds, 66394 chg sides, 300271 chg coeffs, 173821 upgd conss, 195644 impls, 6907 clqs
83.96/84.08	c (round 172) 1983 del vars, 123380 del conss, 229 chg bounds, 66414 chg sides, 300635 chg coeffs, 173821 upgd conss, 195648 impls, 6855 clqs
84.16/84.29	c (round 173) 1983 del vars, 123436 del conss, 229 chg bounds, 66414 chg sides, 300641 chg coeffs, 173821 upgd conss, 195650 impls, 6855 clqs
85.06/85.14	c (round 174) 2033 del vars, 123436 del conss, 229 chg bounds, 66414 chg sides, 300644 chg coeffs, 173821 upgd conss, 196842 impls, 5645 clqs
85.46/85.57	c (round 175) 2036 del vars, 125347 del conss, 229 chg bounds, 68070 chg sides, 306025 chg coeffs, 173821 upgd conss, 197220 impls, 6139 clqs
85.96/86.00	c (round 176) 2037 del vars, 125486 del conss, 230 chg bounds, 68157 chg sides, 307201 chg coeffs, 173821 upgd conss, 197290 impls, 6230 clqs
86.16/86.27	c (round 177) 2037 del vars, 127086 del conss, 230 chg bounds, 68331 chg sides, 308028 chg coeffs, 173832 upgd conss, 197308 impls, 6265 clqs
86.46/86.50	c (round 178) 2037 del vars, 127140 del conss, 230 chg bounds, 68357 chg sides, 308165 chg coeffs, 173832 upgd conss, 197322 impls, 6267 clqs
87.26/87.35	c (round 179) 2087 del vars, 127141 del conss, 230 chg bounds, 68357 chg sides, 308169 chg coeffs, 173832 upgd conss, 204836 impls, 5878 clqs
87.87/87.93	c (round 180) 2107 del vars, 129597 del conss, 230 chg bounds, 70765 chg sides, 319000 chg coeffs, 173832 upgd conss, 209038 impls, 6529 clqs
88.46/88.59	c (round 181) 2110 del vars, 130292 del conss, 230 chg bounds, 71484 chg sides, 324375 chg coeffs, 173832 upgd conss, 209629 impls, 7057 clqs
89.16/89.22	c (round 182) 2110 del vars, 132699 del conss, 230 chg bounds, 71841 chg sides, 326230 chg coeffs, 173844 upgd conss, 209805 impls, 7243 clqs
89.56/89.68	c (round 183) 2112 del vars, 132800 del conss, 232 chg bounds, 71954 chg sides, 326705 chg coeffs, 173844 upgd conss, 210057 impls, 7287 clqs
89.96/90.08	c (round 184) 2113 del vars, 132850 del conss, 233 chg bounds, 72011 chg sides, 327038 chg coeffs, 173844 upgd conss, 210065 impls, 7301 clqs
90.36/90.47	c (round 185) 2113 del vars, 133001 del conss, 233 chg bounds, 72029 chg sides, 327175 chg coeffs, 173847 upgd conss, 210065 impls, 7339 clqs
90.76/90.83	c (round 186) 2113 del vars, 133015 del conss, 233 chg bounds, 72037 chg sides, 327257 chg coeffs, 173847 upgd conss, 210065 impls, 7342 clqs
91.06/91.13	c (round 187) 2113 del vars, 133048 del conss, 233 chg bounds, 72054 chg sides, 327366 chg coeffs, 173847 upgd conss, 210065 impls, 7345 clqs
91.36/91.42	c (round 188) 2113 del vars, 133060 del conss, 233 chg bounds, 72060 chg sides, 327402 chg coeffs, 173847 upgd conss, 210065 impls, 7345 clqs
91.76/91.81	c (round 189) 2190 del vars, 133060 del conss, 233 chg bounds, 72060 chg sides, 327402 chg coeffs, 173847 upgd conss, 212471 impls, 6702 clqs
92.26/92.40	c (round 190) 2195 del vars, 136373 del conss, 233 chg bounds, 75231 chg sides, 338897 chg coeffs, 173847 upgd conss, 212809 impls, 7877 clqs
93.06/93.10	c (round 191) 2197 del vars, 139523 del conss, 233 chg bounds, 75806 chg sides, 344375 chg coeffs, 173847 upgd conss, 212887 impls, 8301 clqs
93.66/93.72	c (round 192) 2197 del vars, 140091 del conss, 233 chg bounds, 76187 chg sides, 346767 chg coeffs, 173871 upgd conss, 212919 impls, 8410 clqs
94.06/94.19	c (round 193) 2197 del vars, 140187 del conss, 234 chg bounds, 76297 chg sides, 347348 chg coeffs, 173871 upgd conss, 212949 impls, 8470 clqs
94.56/94.60	c (round 194) 2198 del vars, 140294 del conss, 234 chg bounds, 76309 chg sides, 347459 chg coeffs, 173871 upgd conss, 213023 impls, 8401 clqs
94.96/95.00	c (round 195) 2198 del vars, 140314 del conss, 234 chg bounds, 76319 chg sides, 347513 chg coeffs, 173871 upgd conss, 213023 impls, 8405 clqs
96.06/96.19	c (round 196) 2248 del vars, 140314 del conss, 234 chg bounds, 76319 chg sides, 347517 chg coeffs, 173871 upgd conss, 215265 impls, 7542 clqs
96.76/96.85	c (round 197) 2259 del vars, 143163 del conss, 237 chg bounds, 79050 chg sides, 356848 chg coeffs, 173871 upgd conss, 216705 impls, 8125 clqs
97.36/97.46	c (round 198) 2259 del vars, 143791 del conss, 237 chg bounds, 79695 chg sides, 360140 chg coeffs, 173887 upgd conss, 216789 impls, 8611 clqs
97.96/98.00	c (round 199) 2259 del vars, 146532 del conss, 237 chg bounds, 79924 chg sides, 361328 chg coeffs, 173887 upgd conss, 216823 impls, 8686 clqs
98.26/98.40	c (round 200) 2259 del vars, 146556 del conss, 237 chg bounds, 79936 chg sides, 361420 chg coeffs, 173887 upgd conss, 216825 impls, 8689 clqs
99.46/99.50	c (round 201) 2321 del vars, 146556 del conss, 237 chg bounds, 79936 chg sides, 361424 chg coeffs, 173887 upgd conss, 218771 impls, 7774 clqs
100.06/100.12	c (round 202) 2330 del vars, 149780 del conss, 237 chg bounds, 82704 chg sides, 373843 chg coeffs, 173887 upgd conss, 220134 impls, 8478 clqs
100.76/100.88	c (round 203) 2333 del vars, 150611 del conss, 237 chg bounds, 83506 chg sides, 377788 chg coeffs, 173898 upgd conss, 220242 impls, 9023 clqs
101.56/101.60	c (round 204) 2333 del vars, 153434 del conss, 237 chg bounds, 83722 chg sides, 378943 chg coeffs, 173898 upgd conss, 220328 impls, 9073 clqs
102.06/102.11	c (round 205) 2336 del vars, 153586 del conss, 240 chg bounds, 83820 chg sides, 379363 chg coeffs, 173898 upgd conss, 220470 impls, 9093 clqs
102.56/102.62	c (round 206) 2336 del vars, 153682 del conss, 240 chg bounds, 83861 chg sides, 379628 chg coeffs, 173901 upgd conss, 220470 impls, 9094 clqs
103.66/103.73	c (round 207) 2395 del vars, 153688 del conss, 240 chg bounds, 83861 chg sides, 379638 chg coeffs, 173901 upgd conss, 221258 impls, 7548 clqs
104.26/104.37	c (round 208) 2404 del vars, 157956 del conss, 240 chg bounds, 87157 chg sides, 389683 chg coeffs, 173901 upgd conss, 222968 impls, 7912 clqs
104.86/104.99	c (round 209) 2408 del vars, 158484 del conss, 241 chg bounds, 87623 chg sides, 392658 chg coeffs, 173901 upgd conss, 223155 impls, 8089 clqs
105.46/105.56	c (round 210) 2409 del vars, 158779 del conss, 242 chg bounds, 87828 chg sides, 393808 chg coeffs, 173905 upgd conss, 223327 impls, 8165 clqs
105.95/106.01	c (round 211) 2410 del vars, 158894 del conss, 243 chg bounds, 87902 chg sides, 394751 chg coeffs, 173905 upgd conss, 223451 impls, 8089 clqs
106.35/106.47	c (round 212) 2413 del vars, 158959 del conss, 245 chg bounds, 87962 chg sides, 395088 chg coeffs, 173905 upgd conss, 223645 impls, 7920 clqs
106.85/106.96	c (round 213) 2413 del vars, 162497 del conss, 245 chg bounds, 87983 chg sides, 395258 chg coeffs, 173905 upgd conss, 223669 impls, 7934 clqs
107.76/107.87	c (round 214) 2463 del vars, 162501 del conss, 245 chg bounds, 87983 chg sides, 395259 chg coeffs, 173905 upgd conss, 233066 impls, 7018 clqs
108.45/108.51	c (round 215) 2467 del vars, 164859 del conss, 245 chg bounds, 90017 chg sides, 402516 chg coeffs, 173905 upgd conss, 233504 impls, 7505 clqs
109.05/109.13	c (round 216) 2469 del vars, 165227 del conss, 245 chg bounds, 90387 chg sides, 405078 chg coeffs, 173925 upgd conss, 233584 impls, 7764 clqs
109.65/109.70	c (round 217) 2469 del vars, 167341 del conss, 245 chg bounds, 90534 chg sides, 405999 chg coeffs, 173925 upgd conss, 233584 impls, 7816 clqs
110.05/110.13	c (round 218) 2469 del vars, 167383 del conss, 245 chg bounds, 90559 chg sides, 406142 chg coeffs, 173925 upgd conss, 233584 impls, 7821 clqs
110.25/110.31	c (round 219) 2469 del vars, 167449 del conss, 245 chg bounds, 90562 chg sides, 406168 chg coeffs, 173925 upgd conss, 233584 impls, 7821 clqs
110.75/110.80	c    (109.3s) probing: 1000/5724 (17.5%) - 1206 fixings, 34 aggregations, 23206 implications, 1 bound changes
112.25/112.38	c (round 220) 2519 del vars, 167450 del conss, 245 chg bounds, 90562 chg sides, 406169 chg coeffs, 173925 upgd conss, 242502 impls, 7267 clqs
112.95/113.09	c (round 221) 2524 del vars, 169757 del conss, 245 chg bounds, 92762 chg sides, 416306 chg coeffs, 173925 upgd conss, 242900 impls, 7888 clqs
113.65/113.77	c (round 222) 2526 del vars, 170173 del conss, 245 chg bounds, 93207 chg sides, 419485 chg coeffs, 173936 upgd conss, 243032 impls, 8276 clqs
114.26/114.37	c (round 223) 2527 del vars, 170383 del conss, 245 chg bounds, 93417 chg sides, 420746 chg coeffs, 173936 upgd conss, 243140 impls, 8249 clqs
114.85/114.91	c (round 224) 2528 del vars, 170453 del conss, 245 chg bounds, 93466 chg sides, 421007 chg coeffs, 173938 upgd conss, 243290 impls, 8307 clqs
115.25/115.40	c (round 225) 2528 del vars, 172575 del conss, 245 chg bounds, 93491 chg sides, 421146 chg coeffs, 173938 upgd conss, 243294 impls, 8324 clqs
115.65/115.78	c (round 226) 2528 del vars, 172595 del conss, 245 chg bounds, 93494 chg sides, 421163 chg coeffs, 173938 upgd conss, 243294 impls, 8327 clqs
116.65/116.76	c (round 227) 2584 del vars, 172599 del conss, 245 chg bounds, 93494 chg sides, 421163 chg coeffs, 173938 upgd conss, 243642 impls, 7369 clqs
117.15/117.30	c (round 228) 2595 del vars, 175529 del conss, 247 chg bounds, 95896 chg sides, 429857 chg coeffs, 173938 upgd conss, 244502 impls, 7847 clqs
117.75/117.85	c (round 229) 2619 del vars, 176216 del conss, 248 chg bounds, 96456 chg sides, 432963 chg coeffs, 173938 upgd conss, 245358 impls, 7997 clqs
118.25/118.38	c (round 230) 2619 del vars, 176940 del conss, 248 chg bounds, 97171 chg sides, 436112 chg coeffs, 173967 upgd conss, 245554 impls, 8197 clqs
118.85/118.90	c (round 231) 2619 del vars, 179917 del conss, 248 chg bounds, 97291 chg sides, 437093 chg coeffs, 173967 upgd conss, 245554 impls, 8308 clqs
119.25/119.33	c (round 232) 2619 del vars, 180096 del conss, 248 chg bounds, 97366 chg sides, 437645 chg coeffs, 173967 upgd conss, 245558 impls, 8318 clqs
119.45/119.54	c (round 233) 2619 del vars, 180208 del conss, 248 chg bounds, 97366 chg sides, 437645 chg coeffs, 173967 upgd conss, 245558 impls, 8322 clqs
119.55/119.70	c (round 234) 2619 del vars, 180235 del conss, 248 chg bounds, 97366 chg sides, 437645 chg coeffs, 173967 upgd conss, 245558 impls, 8322 clqs
120.55/120.66	c (round 235) 2669 del vars, 180238 del conss, 248 chg bounds, 97366 chg sides, 437645 chg coeffs, 173967 upgd conss, 246586 impls, 7450 clqs
121.05/121.17	c (round 236) 2676 del vars, 182676 del conss, 248 chg bounds, 99432 chg sides, 444916 chg coeffs, 173967 upgd conss, 247134 impls, 7968 clqs
121.65/121.74	c (round 237) 2676 del vars, 184832 del conss, 248 chg bounds, 99700 chg sides, 446846 chg coeffs, 173975 upgd conss, 247214 impls, 8147 clqs
122.15/122.20	c (round 238) 2676 del vars, 185118 del conss, 248 chg bounds, 99835 chg sides, 447617 chg coeffs, 173975 upgd conss, 247230 impls, 8179 clqs
122.45/122.52	c (round 239) 2676 del vars, 185145 del conss, 248 chg bounds, 99838 chg sides, 447643 chg coeffs, 173975 upgd conss, 247230 impls, 8181 clqs
123.65/123.70	c (round 240) 2726 del vars, 185145 del conss, 248 chg bounds, 99838 chg sides, 447644 chg coeffs, 173975 upgd conss, 248637 impls, 7457 clqs
124.16/124.25	c (round 241) 2735 del vars, 187042 del conss, 250 chg bounds, 101529 chg sides, 453603 chg coeffs, 173975 upgd conss, 249257 impls, 7885 clqs
124.65/124.79	c (round 242) 2736 del vars, 187504 del conss, 250 chg bounds, 101876 chg sides, 455788 chg coeffs, 173975 upgd conss, 249487 impls, 8058 clqs
125.15/125.22	c (round 243) 2738 del vars, 187785 del conss, 250 chg bounds, 102138 chg sides, 456868 chg coeffs, 173975 upgd conss, 249621 impls, 7990 clqs
125.55/125.69	c (round 244) 2738 del vars, 189676 del conss, 250 chg bounds, 102149 chg sides, 456939 chg coeffs, 173996 upgd conss, 249625 impls, 7994 clqs
125.85/125.91	c (round 245) 2738 del vars, 189687 del conss, 250 chg bounds, 102153 chg sides, 456962 chg coeffs, 173996 upgd conss, 249625 impls, 7998 clqs
125.95/126.04	c (round 246) 2738 del vars, 189721 del conss, 250 chg bounds, 102153 chg sides, 456962 chg coeffs, 173996 upgd conss, 249625 impls, 7998 clqs
127.05/127.13	c (round 247) 2788 del vars, 189721 del conss, 250 chg bounds, 102153 chg sides, 456962 chg coeffs, 173996 upgd conss, 252117 impls, 7276 clqs
127.56/127.66	c (round 248) 2812 del vars, 192239 del conss, 253 chg bounds, 104117 chg sides, 464130 chg coeffs, 173996 upgd conss, 252879 impls, 7244 clqs
128.05/128.16	c (round 249) 2817 del vars, 193172 del conss, 253 chg bounds, 104949 chg sides, 467449 chg coeffs, 174016 upgd conss, 253199 impls, 7458 clqs
128.56/128.64	c (round 250) 2817 del vars, 195991 del conss, 253 chg bounds, 105118 chg sides, 468228 chg coeffs, 174016 upgd conss, 253259 impls, 7501 clqs
128.85/128.90	c (round 251) 2819 del vars, 196135 del conss, 254 chg bounds, 105258 chg sides, 468704 chg coeffs, 174016 upgd conss, 253370 impls, 7421 clqs
129.05/129.14	c (round 252) 2819 del vars, 196207 del conss, 254 chg bounds, 105321 chg sides, 468935 chg coeffs, 174017 upgd conss, 253406 impls, 7445 clqs
129.35/129.44	c (round 253) 2819 del vars, 196531 del conss, 254 chg bounds, 105327 chg sides, 469001 chg coeffs, 174017 upgd conss, 253406 impls, 7449 clqs
129.45/129.58	c (round 254) 2819 del vars, 196568 del conss, 254 chg bounds, 105331 chg sides, 469021 chg coeffs, 174017 upgd conss, 253406 impls, 7450 clqs
129.55/129.69	c (round 255) 2819 del vars, 196586 del conss, 254 chg bounds, 105331 chg sides, 469021 chg coeffs, 174017 upgd conss, 253406 impls, 7450 clqs
129.66/129.79	c (round 256) 2819 del vars, 196594 del conss, 254 chg bounds, 105331 chg sides, 469021 chg coeffs, 174017 upgd conss, 253406 impls, 7450 clqs
131.65/131.72	c (round 257) 2869 del vars, 196597 del conss, 254 chg bounds, 105331 chg sides, 469021 chg coeffs, 174017 upgd conss, 259102 impls, 6965 clqs
132.25/132.35	c (round 258) 2874 del vars, 198602 del conss, 254 chg bounds, 106915 chg sides, 477394 chg coeffs, 174017 upgd conss, 259414 impls, 7633 clqs
132.85/132.98	c (round 259) 2875 del vars, 200395 del conss, 255 chg bounds, 107362 chg sides, 480554 chg coeffs, 174017 upgd conss, 259481 impls, 7951 clqs
133.45/133.51	c (round 260) 2875 del vars, 200671 del conss, 255 chg bounds, 107668 chg sides, 482015 chg coeffs, 174043 upgd conss, 259503 impls, 8030 clqs
133.85/133.92	c (round 261) 2875 del vars, 201000 del conss, 255 chg bounds, 107720 chg sides, 482325 chg coeffs, 174043 upgd conss, 259503 impls, 8038 clqs
133.95/134.05	c (round 262) 2875 del vars, 201011 del conss, 255 chg bounds, 107729 chg sides, 482370 chg coeffs, 174043 upgd conss, 259503 impls, 8040 clqs
134.85/134.93	c (round 263) 2925 del vars, 201014 del conss, 255 chg bounds, 107729 chg sides, 482370 chg coeffs, 174043 upgd conss, 259895 impls, 7318 clqs
135.25/135.39	c (round 264) 2928 del vars, 203283 del conss, 255 chg bounds, 109698 chg sides, 488744 chg coeffs, 174043 upgd conss, 260399 impls, 7744 clqs
135.85/135.95	c (round 265) 2928 del vars, 205036 del conss, 255 chg bounds, 109832 chg sides, 489916 chg coeffs, 174044 upgd conss, 260483 impls, 7833 clqs
136.25/136.35	c (round 266) 2928 del vars, 205220 del conss, 255 chg bounds, 109909 chg sides, 490278 chg coeffs, 174044 upgd conss, 260497 impls, 7856 clqs
136.45/136.58	c (round 267) 2928 del vars, 205230 del conss, 255 chg bounds, 109914 chg sides, 490302 chg coeffs, 174044 upgd conss, 260511 impls, 7858 clqs
136.55/136.69	c (round 268) 2929 del vars, 205239 del conss, 255 chg bounds, 109916 chg sides, 490307 chg coeffs, 174044 upgd conss, 260511 impls, 7855 clqs
136.65/136.78	c (round 269) 2930 del vars, 205268 del conss, 255 chg bounds, 109959 chg sides, 490412 chg coeffs, 174044 upgd conss, 260529 impls, 7877 clqs
136.85/136.98	c (round 270) 2931 del vars, 205312 del conss, 255 chg bounds, 110005 chg sides, 490609 chg coeffs, 174044 upgd conss, 260639 impls, 7892 clqs
137.05/137.17	c (round 271) 2931 del vars, 205386 del conss, 255 chg bounds, 110013 chg sides, 490675 chg coeffs, 174044 upgd conss, 260639 impls, 7897 clqs
138.05/138.10	c (round 272) 2981 del vars, 205386 del conss, 255 chg bounds, 110013 chg sides, 490682 chg coeffs, 174044 upgd conss, 263155 impls, 7379 clqs
138.65/138.70	c (round 273) 3001 del vars, 207466 del conss, 255 chg bounds, 111628 chg sides, 497738 chg coeffs, 174044 upgd conss, 264412 impls, 7974 clqs
139.25/139.34	c (round 274) 3003 del vars, 208081 del conss, 255 chg bounds, 112127 chg sides, 500906 chg coeffs, 174056 upgd conss, 265072 impls, 8302 clqs
139.75/139.87	c (round 275) 3005 del vars, 208337 del conss, 255 chg bounds, 112389 chg sides, 502260 chg coeffs, 174056 upgd conss, 265176 impls, 8398 clqs
140.25/140.37	c (round 276) 3074 del vars, 209154 del conss, 286 chg bounds, 112794 chg sides, 504057 chg coeffs, 174056 upgd conss, 269888 impls, 8007 clqs
140.85/140.95	c (round 277) 3140 del vars, 213285 del conss, 291 chg bounds, 115741 chg sides, 513443 chg coeffs, 174056 upgd conss, 272366 impls, 8242 clqs
141.45/141.54	c (round 278) 3144 del vars, 215248 del conss, 291 chg bounds, 117420 chg sides, 520602 chg coeffs, 174067 upgd conss, 272876 impls, 8804 clqs
142.05/142.18	c (round 279) 3144 del vars, 220551 del conss, 291 chg bounds, 117890 chg sides, 523449 chg coeffs, 174067 upgd conss, 273116 impls, 9116 clqs
142.65/142.73	c (round 280) 3144 del vars, 220781 del conss, 291 chg bounds, 118017 chg sides, 524242 chg coeffs, 174067 upgd conss, 273116 impls, 9170 clqs
142.95/143.06	c (round 281) 3144 del vars, 220810 del conss, 291 chg bounds, 118038 chg sides, 524362 chg coeffs, 174067 upgd conss, 273116 impls, 9184 clqs
143.85/143.97	c (round 282) 3203 del vars, 220810 del conss, 291 chg bounds, 118038 chg sides, 524363 chg coeffs, 174067 upgd conss, 274682 impls, 8480 clqs
144.55/144.60	c (round 283) 3215 del vars, 222906 del conss, 291 chg bounds, 119708 chg sides, 530885 chg coeffs, 174067 upgd conss, 275616 impls, 8967 clqs
145.15/145.26	c (round 284) 3223 del vars, 223621 del conss, 298 chg bounds, 120223 chg sides, 533897 chg coeffs, 174067 upgd conss, 276481 impls, 9246 clqs
145.74/145.86	c (round 285) 3250 del vars, 224340 del conss, 302 chg bounds, 120882 chg sides, 536741 chg coeffs, 174067 upgd conss, 277475 impls, 9127 clqs
146.35/146.45	c (round 286) 3254 del vars, 225206 del conss, 303 chg bounds, 121740 chg sides, 540036 chg coeffs, 174094 upgd conss, 277895 impls, 9365 clqs
146.84/146.99	c (round 287) 3259 del vars, 225575 del conss, 303 chg bounds, 122147 chg sides, 541962 chg coeffs, 174096 upgd conss, 278115 impls, 9412 clqs
147.35/147.48	c (round 288) 3263 del vars, 225747 del conss, 303 chg bounds, 122339 chg sides, 542906 chg coeffs, 174097 upgd conss, 278213 impls, 9444 clqs
147.84/147.93	c (round 289) 3264 del vars, 225898 del conss, 303 chg bounds, 122533 chg sides, 543713 chg coeffs, 174099 upgd conss, 278401 impls, 9487 clqs
148.14/148.29	c (round 290) 3271 del vars, 226068 del conss, 308 chg bounds, 122608 chg sides, 544075 chg coeffs, 174099 upgd conss, 279736 impls, 9410 clqs
148.64/148.74	c (round 291) 3276 del vars, 226624 del conss, 309 chg bounds, 123162 chg sides, 545801 chg coeffs, 174099 upgd conss, 279930 impls, 9445 clqs
149.14/149.21	c (round 292) 3280 del vars, 226794 del conss, 309 chg bounds, 123260 chg sides, 546256 chg coeffs, 174104 upgd conss, 279996 impls, 9467 clqs
149.55/149.61	c (round 293) 3281 del vars, 226952 del conss, 309 chg bounds, 123428 chg sides, 546905 chg coeffs, 174105 upgd conss, 280088 impls, 9518 clqs
149.74/149.89	c (round 294) 3283 del vars, 227002 del conss, 309 chg bounds, 123478 chg sides, 547241 chg coeffs, 174105 upgd conss, 280174 impls, 9532 clqs
150.04/150.18	c (round 295) 3286 del vars, 227110 del conss, 309 chg bounds, 123593 chg sides, 547701 chg coeffs, 174105 upgd conss, 280284 impls, 9553 clqs
150.34/150.42	c (round 296) 3286 del vars, 227183 del conss, 309 chg bounds, 123670 chg sides, 548109 chg coeffs, 174105 upgd conss, 280292 impls, 9583 clqs
150.44/150.58	c (round 297) 3289 del vars, 227290 del conss, 309 chg bounds, 123757 chg sides, 548415 chg coeffs, 174105 upgd conss, 280300 impls, 9585 clqs
150.74/150.89	c (round 298) 3290 del vars, 231672 del conss, 309 chg bounds, 123828 chg sides, 548665 chg coeffs, 174105 upgd conss, 280304 impls, 9564 clqs
150.94/151.06	c (round 299) 3291 del vars, 231766 del conss, 309 chg bounds, 123902 chg sides, 548922 chg coeffs, 174105 upgd conss, 280330 impls, 9555 clqs
151.24/151.37	c (round 300) 3291 del vars, 231832 del conss, 309 chg bounds, 123983 chg sides, 549170 chg coeffs, 174105 upgd conss, 280382 impls, 9577 clqs
151.54/151.68	c (round 301) 3291 del vars, 231997 del conss, 309 chg bounds, 123996 chg sides, 549252 chg coeffs, 174105 upgd conss, 280382 impls, 9589 clqs
151.75/151.86	c (round 302) 3291 del vars, 232005 del conss, 309 chg bounds, 124002 chg sides, 549287 chg coeffs, 174105 upgd conss, 280382 impls, 9592 clqs
152.94/153.07	c (round 303) 3295 del vars, 236992 del conss, 309 chg bounds, 124002 chg sides, 549287 chg coeffs, 174105 upgd conss, 280392 impls, 9492 clqs
153.04/153.18	c (round 304) 3302 del vars, 237198 del conss, 309 chg bounds, 124199 chg sides, 549838 chg coeffs, 174105 upgd conss, 280595 impls, 9486 clqs
153.44/153.56	c (round 305) 3303 del vars, 237374 del conss, 309 chg bounds, 124378 chg sides, 550440 chg coeffs, 174105 upgd conss, 280633 impls, 9534 clqs
153.74/153.88	c (round 306) 3303 del vars, 237556 del conss, 309 chg bounds, 124408 chg sides, 550721 chg coeffs, 174105 upgd conss, 280633 impls, 9555 clqs
154.04/154.16	c (round 307) 3303 del vars, 237570 del conss, 309 chg bounds, 124414 chg sides, 550753 chg coeffs, 174105 upgd conss, 280641 impls, 9559 clqs
154.74/154.86	c (round 308) 3353 del vars, 237572 del conss, 309 chg bounds, 124415 chg sides, 550757 chg coeffs, 174105 upgd conss, 287195 impls, 8198 clqs
155.34/155.46	c (round 309) 3366 del vars, 239425 del conss, 313 chg bounds, 126284 chg sides, 557886 chg coeffs, 174105 upgd conss, 288529 impls, 8351 clqs
155.84/155.98	c (round 310) 3410 del vars, 240269 del conss, 316 chg bounds, 127025 chg sides, 560837 chg coeffs, 174105 upgd conss, 293063 impls, 8286 clqs
156.44/156.56	c (round 311) 3415 del vars, 241551 del conss, 316 chg bounds, 128527 chg sides, 565606 chg coeffs, 174105 upgd conss, 293897 impls, 8507 clqs
156.94/157.02	c (round 312) 3415 del vars, 241802 del conss, 316 chg bounds, 128771 chg sides, 566849 chg coeffs, 174112 upgd conss, 294025 impls, 8676 clqs
157.34/157.48	c (round 313) 3415 del vars, 244637 del conss, 316 chg bounds, 128837 chg sides, 567212 chg coeffs, 174112 upgd conss, 294025 impls, 8721 clqs
157.64/157.76	c (round 314) 3415 del vars, 244661 del conss, 316 chg bounds, 128843 chg sides, 567247 chg coeffs, 174112 upgd conss, 294025 impls, 8726 clqs
157.74/157.85	c (round 315) 3417 del vars, 244682 del conss, 317 chg bounds, 128864 chg sides, 567359 chg coeffs, 174112 upgd conss, 294041 impls, 8718 clqs
157.94/158.06	c (round 316) 3417 del vars, 244725 del conss, 317 chg bounds, 128880 chg sides, 567441 chg coeffs, 174112 upgd conss, 294041 impls, 8720 clqs
158.14/158.21	c (round 317) 3427 del vars, 244776 del conss, 320 chg bounds, 128923 chg sides, 567653 chg coeffs, 174112 upgd conss, 294539 impls, 8636 clqs
158.35/158.48	c (round 318) 3431 del vars, 245168 del conss, 320 chg bounds, 129361 chg sides, 569281 chg coeffs, 174113 upgd conss, 294873 impls, 8699 clqs
158.74/158.89	c (round 319) 3431 del vars, 245620 del conss, 320 chg bounds, 129435 chg sides, 570026 chg coeffs, 174113 upgd conss, 295019 impls, 8743 clqs
159.04/159.18	c (round 320) 3431 del vars, 245674 del conss, 320 chg bounds, 129475 chg sides, 570262 chg coeffs, 174113 upgd conss, 295031 impls, 8764 clqs
159.35/159.43	c (round 321) 3432 del vars, 245693 del conss, 320 chg bounds, 129501 chg sides, 570370 chg coeffs, 174114 upgd conss, 295041 impls, 8752 clqs
159.45/159.56	c (round 322) 3432 del vars, 245738 del conss, 320 chg bounds, 129509 chg sides, 570434 chg coeffs, 174114 upgd conss, 295041 impls, 8753 clqs
159.54/159.64	c (round 323) 3432 del vars, 245743 del conss, 320 chg bounds, 129514 chg sides, 570455 chg coeffs, 174114 upgd conss, 295041 impls, 8758 clqs
160.84/160.97	c (round 324) 3482 del vars, 245745 del conss, 320 chg bounds, 129514 chg sides, 570455 chg coeffs, 174114 upgd conss, 308463 impls, 7762 clqs
161.44/161.59	c (round 325) 3494 del vars, 247795 del conss, 321 chg bounds, 131264 chg sides, 584438 chg coeffs, 174114 upgd conss, 309911 impls, 8225 clqs
162.34/162.49	c (round 326) 3560 del vars, 249376 del conss, 326 chg bounds, 132619 chg sides, 591509 chg coeffs, 174114 upgd conss, 311977 impls, 8651 clqs
163.24/163.37	c (round 327) 3568 del vars, 251116 del conss, 328 chg bounds, 134659 chg sides, 598417 chg coeffs, 174114 upgd conss, 312419 impls, 9224 clqs
164.04/164.18	c (round 328) 3570 del vars, 251379 del conss, 328 chg bounds, 134963 chg sides, 600200 chg coeffs, 174114 upgd conss, 312717 impls, 9427 clqs
164.85/164.92	c (round 329) 3572 del vars, 251497 del conss, 330 chg bounds, 135082 chg sides, 600917 chg coeffs, 174114 upgd conss, 312751 impls, 9478 clqs
165.54/165.61	c (round 330) 3573 del vars, 251545 del conss, 331 chg bounds, 135147 chg sides, 601251 chg coeffs, 174114 upgd conss, 312777 impls, 9506 clqs
166.14/166.22	c (round 331) 3575 del vars, 251622 del conss, 333 chg bounds, 135197 chg sides, 601469 chg coeffs, 174114 upgd conss, 312783 impls, 9502 clqs
166.84/166.96	c (round 332) 3575 del vars, 255101 del conss, 333 chg bounds, 135244 chg sides, 601643 chg coeffs, 174154 upgd conss, 312793 impls, 9518 clqs
167.15/167.27	c (round 333) 3576 del vars, 255127 del conss, 334 chg bounds, 135258 chg sides, 601720 chg coeffs, 174154 upgd conss, 312795 impls, 9517 clqs
167.64/167.72	c (round 334) 3576 del vars, 255202 del conss, 334 chg bounds, 135280 chg sides, 601790 chg coeffs, 174155 upgd conss, 312795 impls, 9522 clqs
167.84/167.92	c (round 335) 3577 del vars, 255224 del conss, 335 chg bounds, 135292 chg sides, 601845 chg coeffs, 174155 upgd conss, 312797 impls, 9511 clqs
168.34/168.44	c (round 336) 3577 del vars, 255275 del conss, 335 chg bounds, 135323 chg sides, 601962 chg coeffs, 174156 upgd conss, 312797 impls, 9523 clqs
168.84/168.95	c (round 337) 3577 del vars, 255280 del conss, 335 chg bounds, 135324 chg sides, 601999 chg coeffs, 174156 upgd conss, 312803 impls, 9523 clqs
169.54/169.61	c (round 338) 3578 del vars, 257455 del conss, 335 chg bounds, 135326 chg sides, 602008 chg coeffs, 174156 upgd conss, 312813 impls, 9486 clqs
169.64/169.73	c (round 339) 3578 del vars, 257506 del conss, 335 chg bounds, 135388 chg sides, 602171 chg coeffs, 174156 upgd conss, 312833 impls, 9503 clqs
169.74/169.87	c (round 340) 3578 del vars, 257538 del conss, 335 chg bounds, 135389 chg sides, 602189 chg coeffs, 174156 upgd conss, 312833 impls, 9505 clqs
169.84/169.94	c (round 341) 3578 del vars, 257546 del conss, 335 chg bounds, 135392 chg sides, 602201 chg coeffs, 174156 upgd conss, 312833 impls, 9508 clqs
170.14/170.22	c (round 342) 3628 del vars, 257548 del conss, 335 chg bounds, 135392 chg sides, 602201 chg coeffs, 174156 upgd conss, 313959 impls, 8639 clqs
170.84/170.96	c (round 343) 3636 del vars, 259477 del conss, 336 chg bounds, 137565 chg sides, 610267 chg coeffs, 174156 upgd conss, 314880 impls, 9252 clqs
171.64/171.79	c (round 344) 3637 del vars, 261622 del conss, 337 chg bounds, 138075 chg sides, 613065 chg coeffs, 174158 upgd conss, 315174 impls, 9651 clqs
172.44/172.57	c (round 345) 3650 del vars, 261782 del conss, 339 chg bounds, 138247 chg sides, 614085 chg coeffs, 174158 upgd conss, 315928 impls, 9599 clqs
173.24/173.33	c (round 346) 3651 del vars, 262004 del conss, 339 chg bounds, 138494 chg sides, 615182 chg coeffs, 174159 upgd conss, 316018 impls, 9682 clqs
173.94/174.09	c (round 347) 3651 del vars, 262391 del conss, 339 chg bounds, 138509 chg sides, 615337 chg coeffs, 174159 upgd conss, 316060 impls, 9696 clqs
174.44/174.58	c (round 348) 3651 del vars, 262396 del conss, 339 chg bounds, 138512 chg sides, 615357 chg coeffs, 174159 upgd conss, 316088 impls, 9707 clqs
174.64/174.76	c (round 349) 3651 del vars, 262403 del conss, 339 chg bounds, 138512 chg sides, 615364 chg coeffs, 174159 upgd conss, 316088 impls, 9707 clqs
175.24/175.40	c (round 350) 3701 del vars, 262403 del conss, 339 chg bounds, 138512 chg sides, 615364 chg coeffs, 174159 upgd conss, 321018 impls, 8607 clqs
176.04/176.11	c (round 351) 3720 del vars, 263878 del conss, 341 chg bounds, 139986 chg sides, 621342 chg coeffs, 174159 upgd conss, 322736 impls, 8909 clqs
176.74/176.89	c (round 352) 3738 del vars, 264717 del conss, 346 chg bounds, 140795 chg sides, 624881 chg coeffs, 174159 upgd conss, 324295 impls, 8914 clqs
177.54/177.63	c (round 353) 3739 del vars, 265004 del conss, 346 chg bounds, 141128 chg sides, 626593 chg coeffs, 174168 upgd conss, 324387 impls, 9063 clqs
178.24/178.30	c (round 354) 3747 del vars, 265147 del conss, 346 chg bounds, 141247 chg sides, 627229 chg coeffs, 174168 upgd conss, 324621 impls, 8967 clqs
178.84/178.97	c (round 355) 3748 del vars, 265270 del conss, 346 chg bounds, 141398 chg sides, 627934 chg coeffs, 174168 upgd conss, 324685 impls, 9052 clqs
179.64/179.74	c (round 356) 3749 del vars, 267465 del conss, 346 chg bounds, 141431 chg sides, 628217 chg coeffs, 174169 upgd conss, 324699 impls, 9072 clqs
180.14/180.26	c (round 357) 3750 del vars, 267496 del conss, 346 chg bounds, 141463 chg sides, 628406 chg coeffs, 174169 upgd conss, 324801 impls, 9088 clqs
180.74/180.85	c (round 358) 3750 del vars, 267557 del conss, 346 chg bounds, 141472 chg sides, 628487 chg coeffs, 174169 upgd conss, 324803 impls, 9090 clqs
181.04/181.19	c (round 359) 3750 del vars, 267563 del conss, 346 chg bounds, 141474 chg sides, 628503 chg coeffs, 174169 upgd conss, 324803 impls, 9093 clqs
182.04/182.10	c (round 360) 3800 del vars, 267563 del conss, 346 chg bounds, 141474 chg sides, 628505 chg coeffs, 174169 upgd conss, 328941 impls, 8339 clqs
182.74/182.83	c (round 361) 3819 del vars, 268901 del conss, 350 chg bounds, 142714 chg sides, 633747 chg coeffs, 174169 upgd conss, 329505 impls, 8620 clqs
183.44/183.55	c (round 362) 3830 del vars, 269483 del conss, 350 chg bounds, 143267 chg sides, 636555 chg coeffs, 174169 upgd conss, 329946 impls, 8812 clqs
184.14/184.25	c (round 363) 3831 del vars, 269761 del conss, 350 chg bounds, 143615 chg sides, 638099 chg coeffs, 174182 upgd conss, 330094 impls, 8896 clqs
184.74/184.87	c (round 364) 3836 del vars, 269878 del conss, 351 chg bounds, 143715 chg sides, 638712 chg coeffs, 174182 upgd conss, 330330 impls, 8924 clqs
185.34/185.45	c (round 365) 3836 del vars, 270015 del conss, 351 chg bounds, 143877 chg sides, 639378 chg coeffs, 174182 upgd conss, 330346 impls, 9000 clqs
185.94/186.06	c (round 366) 3836 del vars, 271745 del conss, 351 chg bounds, 143914 chg sides, 639558 chg coeffs, 174182 upgd conss, 330350 impls, 9012 clqs
186.84/186.98	c (round 367) 3842 del vars, 273255 del conss, 353 chg bounds, 143922 chg sides, 639603 chg coeffs, 174182 upgd conss, 330400 impls, 8867 clqs
187.24/187.39	c (round 368) 3844 del vars, 273461 del conss, 354 chg bounds, 144196 chg sides, 640372 chg coeffs, 174184 upgd conss, 330580 impls, 8937 clqs
187.84/187.95	c (round 369) 3845 del vars, 273677 del conss, 354 chg bounds, 144250 chg sides, 640657 chg coeffs, 174184 upgd conss, 330582 impls, 8930 clqs
188.34/188.42	c (round 370) 3845 del vars, 273716 del conss, 354 chg bounds, 144277 chg sides, 640798 chg coeffs, 174184 upgd conss, 330582 impls, 8948 clqs
188.64/188.76	c (round 371) 3845 del vars, 273719 del conss, 354 chg bounds, 144278 chg sides, 640803 chg coeffs, 174184 upgd conss, 330584 impls, 8948 clqs
189.04/189.17	c (round 372) 3895 del vars, 273719 del conss, 354 chg bounds, 144278 chg sides, 640803 chg coeffs, 174184 upgd conss, 333662 impls, 7955 clqs
189.64/189.79	c (round 373) 3913 del vars, 275516 del conss, 357 chg bounds, 146143 chg sides, 648619 chg coeffs, 174184 upgd conss, 334294 impls, 8532 clqs
190.34/190.48	c (round 374) 3916 del vars, 276170 del conss, 357 chg bounds, 146845 chg sides, 652672 chg coeffs, 174187 upgd conss, 334504 impls, 9057 clqs
191.24/191.30	c (round 375) 3916 del vars, 278001 del conss, 357 chg bounds, 146987 chg sides, 653539 chg coeffs, 174187 upgd conss, 334528 impls, 9134 clqs
191.74/191.89	c (round 376) 3916 del vars, 278014 del conss, 357 chg bounds, 146993 chg sides, 653613 chg coeffs, 174187 upgd conss, 334552 impls, 9140 clqs
192.24/192.38	c (round 377) 3916 del vars, 278167 del conss, 357 chg bounds, 146995 chg sides, 653629 chg coeffs, 174187 upgd conss, 334554 impls, 9145 clqs
192.64/192.72	c (round 378) 3917 del vars, 278174 del conss, 358 chg bounds, 147000 chg sides, 653656 chg coeffs, 174187 upgd conss, 334586 impls, 9149 clqs
192.94/193.06	c (round 379) 3918 del vars, 278195 del conss, 358 chg bounds, 147007 chg sides, 653679 chg coeffs, 174187 upgd conss, 334594 impls, 9119 clqs
193.64/193.75	c (round 380) 3968 del vars, 278196 del conss, 358 chg bounds, 147008 chg sides, 653684 chg coeffs, 174187 upgd conss, 335918 impls, 8024 clqs
194.24/194.36	c (round 381) 3985 del vars, 279449 del conss, 359 chg bounds, 148294 chg sides, 658097 chg coeffs, 174187 upgd conss, 338224 impls, 8282 clqs
194.84/194.98	c (round 382) 3986 del vars, 279888 del conss, 359 chg bounds, 148642 chg sides, 660237 chg coeffs, 174190 upgd conss, 338348 impls, 8440 clqs
195.43/195.55	c (round 383) 3988 del vars, 280005 del conss, 360 chg bounds, 148753 chg sides, 660945 chg coeffs, 174190 upgd conss, 338370 impls, 8470 clqs
196.03/196.10	c (round 384) 3988 del vars, 281259 del conss, 360 chg bounds, 148790 chg sides, 661130 chg coeffs, 174192 upgd conss, 338372 impls, 8494 clqs
196.43/196.51	c (round 385) 3989 del vars, 281276 del conss, 360 chg bounds, 148809 chg sides, 661209 chg coeffs, 174193 upgd conss, 338380 impls, 8499 clqs
196.84/196.93	c (round 386) 3989 del vars, 281534 del conss, 360 chg bounds, 148822 chg sides, 661275 chg coeffs, 174193 upgd conss, 338380 impls, 8511 clqs
197.13/197.23	c (round 387) 3994 del vars, 281560 del conss, 360 chg bounds, 148829 chg sides, 661317 chg coeffs, 174193 upgd conss, 338440 impls, 8455 clqs
197.43/197.57	c (round 388) 3996 del vars, 281668 del conss, 361 chg bounds, 148948 chg sides, 661778 chg coeffs, 174193 upgd conss, 338470 impls, 8489 clqs
197.84/197.91	c (round 389) 3997 del vars, 281717 del conss, 361 chg bounds, 149000 chg sides, 662068 chg coeffs, 174195 upgd conss, 338484 impls, 8510 clqs
198.23/198.35	c (round 390) 3998 del vars, 281951 del conss, 361 chg bounds, 149024 chg sides, 662202 chg coeffs, 174195 upgd conss, 338492 impls, 8477 clqs
198.53/198.66	c (round 391) 3998 del vars, 281994 del conss, 361 chg bounds, 149066 chg sides, 662325 chg coeffs, 174195 upgd conss, 338492 impls, 8488 clqs
198.94/199.02	c (round 392) 3999 del vars, 282067 del conss, 361 chg bounds, 149069 chg sides, 662344 chg coeffs, 174196 upgd conss, 338492 impls, 8471 clqs
198.94/199.08	c (round 393) 4002 del vars, 282098 del conss, 361 chg bounds, 149092 chg sides, 662417 chg coeffs, 174196 upgd conss, 338492 impls, 8419 clqs
199.23/199.39	c (round 394) 4003 del vars, 282185 del conss, 361 chg bounds, 149196 chg sides, 662695 chg coeffs, 174196 upgd conss, 338500 impls, 8436 clqs
199.63/199.78	c (round 395) 4003 del vars, 282336 del conss, 361 chg bounds, 149204 chg sides, 662731 chg coeffs, 174196 upgd conss, 338506 impls, 8438 clqs
199.73/199.87	c (round 396) 4003 del vars, 282347 del conss, 361 chg bounds, 149205 chg sides, 662736 chg coeffs, 174196 upgd conss, 338506 impls, 8439 clqs
199.93/200.09	c    (198.6s) probing: 2000/5724 (34.9%) - 2003 fixings, 52 aggregations, 44036 implications, 1 bound changes
200.23/200.35	c (round 397) 4053 del vars, 282347 del conss, 361 chg bounds, 149205 chg sides, 662736 chg coeffs, 174196 upgd conss, 341704 impls, 7591 clqs
200.83/200.93	c (round 398) 4071 del vars, 283663 del conss, 361 chg bounds, 150513 chg sides, 668053 chg coeffs, 174196 upgd conss, 343186 impls, 7943 clqs
201.43/201.53	c (round 399) 4071 del vars, 284152 del conss, 361 chg bounds, 151072 chg sides, 670877 chg coeffs, 174202 upgd conss, 343384 impls, 8251 clqs
201.93/202.06	c (round 400) 4074 del vars, 284253 del conss, 363 chg bounds, 151176 chg sides, 671462 chg coeffs, 174202 upgd conss, 343523 impls, 8294 clqs
202.43/202.54	c (round 401) 4080 del vars, 284354 del conss, 366 chg bounds, 151261 chg sides, 671819 chg coeffs, 174202 upgd conss, 343648 impls, 8252 clqs
202.73/202.84	c (round 402) 4082 del vars, 284482 del conss, 366 chg bounds, 151403 chg sides, 672201 chg coeffs, 174206 upgd conss, 343670 impls, 8234 clqs
203.34/203.42	c (round 403) 4084 del vars, 285964 del conss, 366 chg bounds, 151411 chg sides, 672251 chg coeffs, 174206 upgd conss, 343670 impls, 8182 clqs
203.44/203.54	c (round 404) 4088 del vars, 286042 del conss, 368 chg bounds, 151493 chg sides, 672532 chg coeffs, 174206 upgd conss, 343734 impls, 8141 clqs
203.83/203.90	c (round 405) 4092 del vars, 286134 del conss, 368 chg bounds, 151610 chg sides, 672940 chg coeffs, 174206 upgd conss, 343808 impls, 8072 clqs
204.23/204.31	c (round 406) 4092 del vars, 286307 del conss, 368 chg bounds, 151629 chg sides, 673032 chg coeffs, 174206 upgd conss, 343812 impls, 8083 clqs
204.44/204.58	c (round 407) 4092 del vars, 286314 del conss, 368 chg bounds, 151631 chg sides, 673057 chg coeffs, 174206 upgd conss, 343824 impls, 8090 clqs
205.23/205.31	c (round 408) 4142 del vars, 286314 del conss, 368 chg bounds, 151631 chg sides, 673057 chg coeffs, 174206 upgd conss, 346562 impls, 7057 clqs
205.73/205.81	c (round 409) 4153 del vars, 287830 del conss, 368 chg bounds, 153244 chg sides, 679509 chg coeffs, 174206 upgd conss, 347994 impls, 7619 clqs
206.23/206.32	c (round 410) 4154 del vars, 288379 del conss, 369 chg bounds, 153802 chg sides, 683067 chg coeffs, 174206 upgd conss, 348103 impls, 8035 clqs
206.64/206.80	c (round 411) 4155 del vars, 288508 del conss, 369 chg bounds, 153955 chg sides, 683993 chg coeffs, 174217 upgd conss, 348145 impls, 8076 clqs
207.23/207.38	c (round 412) 4155 del vars, 290239 del conss, 369 chg bounds, 153973 chg sides, 684148 chg coeffs, 174217 upgd conss, 348147 impls, 8095 clqs
207.74/207.83	c (round 413) 4156 del vars, 290408 del conss, 369 chg bounds, 153977 chg sides, 684180 chg coeffs, 174217 upgd conss, 348197 impls, 8014 clqs
208.03/208.15	c (round 414) 4156 del vars, 290459 del conss, 369 chg bounds, 154032 chg sides, 684405 chg coeffs, 174217 upgd conss, 348323 impls, 8033 clqs
208.43/208.53	c (round 415) 4156 del vars, 290611 del conss, 369 chg bounds, 154041 chg sides, 684454 chg coeffs, 174217 upgd conss, 348323 impls, 8039 clqs
208.73/208.85	c (round 416) 4156 del vars, 290672 del conss, 369 chg bounds, 154041 chg sides, 684454 chg coeffs, 174217 upgd conss, 348323 impls, 8039 clqs
208.84/208.92	c (round 417) 4156 del vars, 290681 del conss, 369 chg bounds, 154041 chg sides, 684454 chg coeffs, 174217 upgd conss, 348323 impls, 8039 clqs
209.13/209.29	c (round 418) 4206 del vars, 290683 del conss, 369 chg bounds, 154041 chg sides, 684454 chg coeffs, 174217 upgd conss, 351275 impls, 7214 clqs
209.63/209.78	c (round 419) 4228 del vars, 291949 del conss, 369 chg bounds, 155351 chg sides, 689872 chg coeffs, 174217 upgd conss, 352409 impls, 7612 clqs
210.13/210.28	c (round 420) 4234 del vars, 292591 del conss, 370 chg bounds, 156009 chg sides, 693493 chg coeffs, 174217 upgd conss, 352935 impls, 7869 clqs
210.63/210.75	c (round 421) 4237 del vars, 292817 del conss, 370 chg bounds, 156244 chg sides, 694702 chg coeffs, 174217 upgd conss, 352973 impls, 7986 clqs
211.53/211.69	c (round 422) 4242 del vars, 295845 del conss, 370 chg bounds, 156274 chg sides, 695013 chg coeffs, 174217 upgd conss, 353043 impls, 7857 clqs
211.93/212.04	c (round 423) 4244 del vars, 295992 del conss, 372 chg bounds, 156453 chg sides, 695619 chg coeffs, 174217 upgd conss, 353071 impls, 7920 clqs
212.33/212.43	c (round 424) 4245 del vars, 296203 del conss, 372 chg bounds, 156530 chg sides, 695907 chg coeffs, 174236 upgd conss, 353075 impls, 7934 clqs
212.63/212.77	c (round 425) 4245 del vars, 296233 del conss, 372 chg bounds, 156547 chg sides, 695986 chg coeffs, 174236 upgd conss, 353075 impls, 7939 clqs
212.73/212.85	c (round 426) 4245 del vars, 296238 del conss, 372 chg bounds, 156551 chg sides, 696006 chg coeffs, 174236 upgd conss, 353075 impls, 7942 clqs
213.13/213.28	c (round 427) 4295 del vars, 296240 del conss, 372 chg bounds, 156551 chg sides, 696006 chg coeffs, 174236 upgd conss, 356257 impls, 6892 clqs
213.63/213.72	c (round 428) 4313 del vars, 297303 del conss, 373 chg bounds, 157559 chg sides, 700404 chg coeffs, 174236 upgd conss, 356811 impls, 7218 clqs
214.03/214.14	c (round 429) 4321 del vars, 297854 del conss, 374 chg bounds, 158127 chg sides, 703153 chg coeffs, 174236 upgd conss, 356945 impls, 7413 clqs
214.53/214.67	c (round 430) 4321 del vars, 298980 del conss, 374 chg bounds, 158216 chg sides, 703710 chg coeffs, 174247 upgd conss, 356989 impls, 7468 clqs
215.23/215.31	c (round 431) 4321 del vars, 299575 del conss, 374 chg bounds, 158223 chg sides, 703766 chg coeffs, 174247 upgd conss, 357001 impls, 7479 clqs
215.83/215.95	c (round 432) 4371 del vars, 299577 del conss, 374 chg bounds, 158223 chg sides, 703775 chg coeffs, 174247 upgd conss, 362733 impls, 6819 clqs
216.23/216.37	c (round 433) 4387 del vars, 300507 del conss, 375 chg bounds, 159038 chg sides, 708051 chg coeffs, 174247 upgd conss, 363372 impls, 6936 clqs
216.64/216.79	c (round 434) 4389 del vars, 301017 del conss, 375 chg bounds, 159611 chg sides, 710889 chg coeffs, 174265 upgd conss, 363472 impls, 7203 clqs
217.03/217.18	c (round 435) 4390 del vars, 301109 del conss, 375 chg bounds, 159717 chg sides, 711460 chg coeffs, 174265 upgd conss, 363544 impls, 7128 clqs
217.43/217.52	c (round 436) 4391 del vars, 301153 del conss, 375 chg bounds, 159773 chg sides, 711662 chg coeffs, 174265 upgd conss, 363548 impls, 7044 clqs
217.83/217.93	c (round 437) 4391 del vars, 302145 del conss, 375 chg bounds, 159782 chg sides, 711678 chg coeffs, 174265 upgd conss, 363548 impls, 7047 clqs
218.03/218.15	c (round 438) 4391 del vars, 302262 del conss, 375 chg bounds, 159783 chg sides, 711686 chg coeffs, 174265 upgd conss, 363548 impls, 7048 clqs
218.33/218.45	c (round 439) 4441 del vars, 302262 del conss, 375 chg bounds, 159783 chg sides, 711686 chg coeffs, 174265 upgd conss, 365952 impls, 6417 clqs
218.74/218.82	c (round 440) 4459 del vars, 303155 del conss, 379 chg bounds, 160727 chg sides, 715545 chg coeffs, 174265 upgd conss, 368015 impls, 6699 clqs
219.03/219.19	c (round 441) 4463 del vars, 303612 del conss, 379 chg bounds, 161230 chg sides, 717886 chg coeffs, 174280 upgd conss, 368115 impls, 6839 clqs
219.73/219.88	c (round 442) 4465 del vars, 305282 del conss, 379 chg bounds, 161311 chg sides, 718363 chg coeffs, 174280 upgd conss, 368123 impls, 6851 clqs
220.03/220.15	c (round 443) 4467 del vars, 305318 del conss, 380 chg bounds, 161356 chg sides, 718514 chg coeffs, 174280 upgd conss, 368245 impls, 6860 clqs
220.33/220.41	c (round 444) 4468 del vars, 305356 del conss, 380 chg bounds, 161380 chg sides, 718669 chg coeffs, 174280 upgd conss, 368263 impls, 6836 clqs
220.53/220.60	c (round 445) 4468 del vars, 305366 del conss, 380 chg bounds, 161387 chg sides, 718737 chg coeffs, 174280 upgd conss, 368263 impls, 6843 clqs
220.63/220.74	c (round 446) 4468 del vars, 305376 del conss, 380 chg bounds, 161389 chg sides, 718749 chg coeffs, 174280 upgd conss, 368263 impls, 6844 clqs
220.73/220.85	c (round 447) 4468 del vars, 305378 del conss, 380 chg bounds, 161390 chg sides, 718753 chg coeffs, 174280 upgd conss, 368263 impls, 6844 clqs
220.73/220.88	c (round 448) 4468 del vars, 305380 del conss, 380 chg bounds, 161390 chg sides, 718754 chg coeffs, 174280 upgd conss, 368263 impls, 6844 clqs
221.04/221.13	c (round 449) 4518 del vars, 305381 del conss, 380 chg bounds, 161390 chg sides, 718754 chg coeffs, 174280 upgd conss, 370861 impls, 5928 clqs
221.33/221.45	c (round 450) 4541 del vars, 306209 del conss, 382 chg bounds, 162279 chg sides, 722904 chg coeffs, 174280 upgd conss, 371643 impls, 6113 clqs
221.63/221.77	c (round 451) 4547 del vars, 306713 del conss, 386 chg bounds, 162853 chg sides, 725612 chg coeffs, 174280 upgd conss, 371763 impls, 6385 clqs
221.93/222.06	c (round 452) 4549 del vars, 306870 del conss, 386 chg bounds, 163022 chg sides, 726411 chg coeffs, 174298 upgd conss, 371907 impls, 6377 clqs
222.23/222.31	c (round 453) 4553 del vars, 306990 del conss, 389 chg bounds, 163132 chg sides, 726934 chg coeffs, 174298 upgd conss, 372003 impls, 6402 clqs
222.43/222.53	c (round 454) 4555 del vars, 307043 del conss, 389 chg bounds, 163213 chg sides, 727188 chg coeffs, 174299 upgd conss, 372041 impls, 6247 clqs
222.73/222.84	c (round 455) 4556 del vars, 308250 del conss, 389 chg bounds, 163221 chg sides, 727221 chg coeffs, 174299 upgd conss, 372041 impls, 6234 clqs
223.03/223.17	c (round 456) 4559 del vars, 308770 del conss, 389 chg bounds, 163239 chg sides, 727278 chg coeffs, 174299 upgd conss, 372045 impls, 6089 clqs
223.14/223.23	c (round 457) 4559 del vars, 308832 del conss, 389 chg bounds, 163351 chg sides, 727552 chg coeffs, 174299 upgd conss, 372049 impls, 6111 clqs
223.24/223.38	c (round 458) 4559 del vars, 308887 del conss, 389 chg bounds, 163358 chg sides, 727591 chg coeffs, 174299 upgd conss, 372049 impls, 6115 clqs
223.33/223.43	c (round 459) 4559 del vars, 308896 del conss, 389 chg bounds, 163360 chg sides, 727602 chg coeffs, 174299 upgd conss, 372049 impls, 6115 clqs
223.33/223.46	c (round 460) 4559 del vars, 308899 del conss, 389 chg bounds, 163360 chg sides, 727602 chg coeffs, 174299 upgd conss, 372049 impls, 6115 clqs
223.43/223.51	c (round 461) 4559 del vars, 308911 del conss, 389 chg bounds, 163360 chg sides, 727602 chg coeffs, 174299 upgd conss, 372049 impls, 6115 clqs
223.63/223.74	c (round 462) 4609 del vars, 308911 del conss, 389 chg bounds, 163360 chg sides, 727602 chg coeffs, 174299 upgd conss, 374953 impls, 5256 clqs
223.93/224.00	c (round 463) 4620 del vars, 309633 del conss, 390 chg bounds, 164133 chg sides, 730548 chg coeffs, 174299 upgd conss, 375209 impls, 5527 clqs
224.13/224.25	c (round 464) 4621 del vars, 309869 del conss, 390 chg bounds, 164401 chg sides, 731722 chg coeffs, 174314 upgd conss, 375265 impls, 5666 clqs
224.53/224.63	c (round 465) 4621 del vars, 310657 del conss, 390 chg bounds, 164449 chg sides, 731973 chg coeffs, 174314 upgd conss, 375271 impls, 5694 clqs
224.63/224.78	c (round 466) 4621 del vars, 310661 del conss, 390 chg bounds, 164453 chg sides, 731995 chg coeffs, 174314 upgd conss, 375271 impls, 5702 clqs
224.83/224.91	c (round 467) 4621 del vars, 310768 del conss, 390 chg bounds, 164453 chg sides, 731996 chg coeffs, 174314 upgd conss, 375271 impls, 5704 clqs
225.03/225.17	c (round 468) 4671 del vars, 310768 del conss, 390 chg bounds, 164453 chg sides, 731996 chg coeffs, 174314 upgd conss, 378357 impls, 5098 clqs
225.34/225.42	c (round 469) 4696 del vars, 311451 del conss, 390 chg bounds, 165130 chg sides, 734513 chg coeffs, 174314 upgd conss, 379127 impls, 5271 clqs
225.53/225.65	c (round 470) 4707 del vars, 311934 del conss, 390 chg bounds, 165648 chg sides, 736687 chg coeffs, 174314 upgd conss, 379493 impls, 5269 clqs
225.73/225.86	c (round 471) 4710 del vars, 312097 del conss, 390 chg bounds, 165815 chg sides, 737440 chg coeffs, 174314 upgd conss, 379639 impls, 5240 clqs
226.03/226.17	c (round 472) 4710 del vars, 313055 del conss, 390 chg bounds, 165836 chg sides, 737628 chg coeffs, 174327 upgd conss, 379639 impls, 5252 clqs
226.13/226.26	c (round 473) 4712 del vars, 313060 del conss, 391 chg bounds, 165839 chg sides, 737660 chg coeffs, 174327 upgd conss, 379660 impls, 5238 clqs
226.33/226.45	c (round 474) 4712 del vars, 313297 del conss, 391 chg bounds, 165860 chg sides, 737731 chg coeffs, 174328 upgd conss, 379664 impls, 5242 clqs
226.44/226.53	c (round 475) 4712 del vars, 313309 del conss, 391 chg bounds, 165866 chg sides, 737766 chg coeffs, 174328 upgd conss, 379670 impls, 5248 clqs
226.63/226.80	c (round 476) 4762 del vars, 313309 del conss, 391 chg bounds, 165866 chg sides, 737767 chg coeffs, 174328 upgd conss, 383398 impls, 4638 clqs
226.93/227.01	c (round 477) 4778 del vars, 314183 del conss, 392 chg bounds, 166627 chg sides, 741192 chg coeffs, 174328 upgd conss, 383782 impls, 4863 clqs
227.13/227.22	c (round 478) 4782 del vars, 314465 del conss, 392 chg bounds, 166930 chg sides, 742670 chg coeffs, 174328 upgd conss, 383846 impls, 5068 clqs
227.33/227.40	c (round 479) 4785 del vars, 314519 del conss, 393 chg bounds, 166974 chg sides, 742964 chg coeffs, 174328 upgd conss, 383857 impls, 5036 clqs
227.73/227.80	c (round 480) 4792 del vars, 315697 del conss, 395 chg bounds, 166992 chg sides, 743045 chg coeffs, 174328 upgd conss, 383931 impls, 4955 clqs
227.83/227.90	c (round 481) 4795 del vars, 315750 del conss, 396 chg bounds, 167065 chg sides, 743382 chg coeffs, 174328 upgd conss, 383989 impls, 4953 clqs
227.83/227.98	c (round 482) 4797 del vars, 315808 del conss, 396 chg bounds, 167136 chg sides, 743633 chg coeffs, 174328 upgd conss, 384011 impls, 4905 clqs
227.93/228.04	c (round 483) 4799 del vars, 315869 del conss, 396 chg bounds, 167204 chg sides, 743802 chg coeffs, 174331 upgd conss, 384017 impls, 4820 clqs
227.93/228.08	c (round 484) 4799 del vars, 316020 del conss, 396 chg bounds, 167206 chg sides, 743807 chg coeffs, 174331 upgd conss, 384017 impls, 4821 clqs
228.43/228.50	c (round 485) 4850 del vars, 316020 del conss, 396 chg bounds, 167206 chg sides, 743807 chg coeffs, 174331 upgd conss, 390427 impls, 4406 clqs
228.53/228.69	c (round 486) 4864 del vars, 316827 del conss, 403 chg bounds, 167880 chg sides, 746405 chg coeffs, 174331 upgd conss, 390726 impls, 4523 clqs
228.74/228.88	c (round 487) 4870 del vars, 317110 del conss, 403 chg bounds, 168181 chg sides, 747587 chg coeffs, 174345 upgd conss, 390808 impls, 4704 clqs
229.03/229.19	c (round 488) 4871 del vars, 317744 del conss, 404 chg bounds, 168207 chg sides, 747733 chg coeffs, 174345 upgd conss, 390818 impls, 4682 clqs
229.33/229.44	c (round 489) 4871 del vars, 318024 del conss, 404 chg bounds, 168220 chg sides, 747787 chg coeffs, 174345 upgd conss, 390818 impls, 4688 clqs
229.33/229.47	c (round 490) 4871 del vars, 318027 del conss, 404 chg bounds, 168221 chg sides, 747803 chg coeffs, 174345 upgd conss, 390818 impls, 4689 clqs
229.84/229.95	c (round 491) 4921 del vars, 318027 del conss, 404 chg bounds, 168221 chg sides, 747803 chg coeffs, 174345 upgd conss, 396858 impls, 4433 clqs
230.03/230.14	c (round 492) 4930 del vars, 318463 del conss, 404 chg bounds, 168561 chg sides, 749338 chg coeffs, 174345 upgd conss, 396930 impls, 4493 clqs
230.13/230.20	c (round 493) 4931 del vars, 318861 del conss, 404 chg bounds, 168767 chg sides, 750156 chg coeffs, 174345 upgd conss, 396964 impls, 4670 clqs
230.23/230.38	c (round 494) 4931 del vars, 318874 del conss, 404 chg bounds, 168768 chg sides, 750188 chg coeffs, 174350 upgd conss, 396964 impls, 4675 clqs
230.33/230.45	c (round 495) 4931 del vars, 318899 del conss, 404 chg bounds, 168773 chg sides, 750197 chg coeffs, 174350 upgd conss, 396964 impls, 4676 clqs
230.33/230.48	c    (229.0s) probing: 3000/5724 (52.4%) - 2575 fixings, 66 aggregations, 68208 implications, 1 bound changes
230.63/230.77	c    (229.3s) probing: 3216/5724 (56.2%) - 2577 fixings, 66 aggregations, 69465 implications, 1 bound changes
230.63/230.77	c    (229.3s) probing aborted: 100/100 successive totally useless probings
230.63/230.77	c (round 496) 4933 del vars, 318899 del conss, 404 chg bounds, 168773 chg sides, 750201 chg coeffs, 174350 upgd conss, 398454 impls, 4653 clqs
230.83/230.92	c (round 497) 4933 del vars, 318932 del conss, 404 chg bounds, 168810 chg sides, 750386 chg coeffs, 174350 upgd conss, 398454 impls, 4661 clqs
230.83/230.97	c (round 498) 4933 del vars, 318971 del conss, 404 chg bounds, 168834 chg sides, 750492 chg coeffs, 174350 upgd conss, 398460 impls, 4681 clqs
230.94/231.03	c (round 499) 4933 del vars, 318973 del conss, 404 chg bounds, 168835 chg sides, 750503 chg coeffs, 174350 upgd conss, 398460 impls, 4682 clqs
230.94/231.07	c    (229.6s) probing: 3226/5724 (56.4%) - 2577 fixings, 66 aggregations, 69465 implications, 1 bound changes
230.94/231.07	c    (229.6s) probing aborted: 100/100 successive totally useless probings
230.94/231.07	c presolving (500 rounds):
230.94/231.07	c  4933 deleted vars, 318974 deleted constraints, 404 tightened bounds, 0 added holes, 168835 changed sides, 750504 changed coefficients
230.94/231.07	c  398460 implications, 4682 cliques
230.94/231.07	c presolved problem has 898 variables (898 bin, 0 int, 0 impl, 0 cont) and 10233 constraints
230.94/231.07	c    5567 constraints of type <knapsack>
230.94/231.07	c    4337 constraints of type <setppc>
230.94/231.07	c     187 constraints of type <linear>
230.94/231.07	c     142 constraints of type <logicor>
230.94/231.07	c transformed objective value is always integral (scale: 1)
230.94/231.07	c Presolving Time: 229.29
230.94/231.07	c - non default parameters ----------------------------------------------------------------------
230.94/231.07	c # SCIP version 1.2.1.3
230.94/231.07	c 
230.94/231.07	c # frequency for displaying node information lines
230.94/231.07	c # [type: int, range: [-1,2147483647], default: 100]
230.94/231.07	c display/freq = 10000
230.94/231.07	c 
230.94/231.07	c # maximal time in seconds to run
230.94/231.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
230.94/231.07	c limits/time = 1788.51
230.94/231.07	c 
230.94/231.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
230.94/231.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
230.94/231.07	c limits/memory = 13950
230.94/231.07	c 
230.94/231.07	c # default clock type (1: CPU user seconds, 2: wall clock time)
230.94/231.07	c # [type: int, range: [1,2], default: 1]
230.94/231.07	c timing/clocktype = 2
230.94/231.07	c 
230.94/231.07	c # should presolving try to simplify inequalities
230.94/231.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
230.94/231.07	c constraints/linear/simplifyinequalities = TRUE
230.94/231.07	c 
230.94/231.07	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
230.94/231.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
230.94/231.07	c constraints/indicator/addCouplingCons = TRUE
230.94/231.07	c 
230.94/231.07	c # should presolving try to simplify knapsacks
230.94/231.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
230.94/231.07	c constraints/knapsack/simplifyinequalities = TRUE
230.94/231.07	c 
230.94/231.07	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
230.94/231.07	c # [type: int, range: [-1,2147483647], default: -1]
230.94/231.07	c separating/rapidlearning/freq = 0
230.94/231.07	c 
230.94/231.07	c -----------------------------------------------------------------------------------------------
230.94/231.07	c start solving
230.94/231.07	c 
237.13/237.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
237.13/237.29	c   236s|     1 |     0 |  7093 |     - | 142M|   0 | 455 | 898 |  10k| 898 |  10k|   0 |   0 |   0 | 3.344510e+01 |      --      |    Inf 
242.73/242.89	o 55
242.73/242.89	c F 241s|     1 |     0 | 10918 |     - | 143M|   0 |   0 | 898 |  10k| 898 |  10k|   0 |   0 |   0 | 3.344510e+01 | 5.500000e+01 |  64.45%
255.53/255.63	c   254s|     1 |     0 | 18325 |     - | 143M|   0 | 394 | 898 |  10k| 898 |  10k|  34 |   0 |   0 | 3.686019e+01 | 5.500000e+01 |  49.21%
263.93/264.03	c   263s|     1 |     0 | 24118 |     - | 143M|   0 | 598 | 898 |  10k| 898 |  10k|  73 |   0 |   0 | 3.754377e+01 | 5.500000e+01 |  46.50%
274.72/274.85	c   273s|     1 |     0 | 30697 |     - | 143M|   0 | 565 | 898 |  10k| 898 |  10k| 129 |   0 |   0 | 3.788333e+01 | 5.500000e+01 |  45.18%
285.32/285.40	c   284s|     1 |     0 | 37490 |     - | 143M|   0 | 254 | 898 |  10k| 898 |  10k| 171 |   0 |   0 | 3.800000e+01 | 5.500000e+01 |  44.74%
292.72/292.80	c   291s|     1 |     0 | 42719 |     - | 143M|   0 | 520 | 898 |  10k| 898 |  10k| 181 |   0 |   0 | 3.800006e+01 | 5.500000e+01 |  44.74%
295.73/295.84	c   294s|     1 |     0 | 42856 |     - | 143M|   0 | 204 | 898 |  10k| 898 |  10k| 189 |   0 |   0 | 3.800006e+01 | 5.500000e+01 |  44.74%
299.72/299.86	c   298s|     1 |     0 | 44867 |     - | 143M|   0 | 201 | 898 |  10k| 898 |  10k| 193 |   0 |   0 | 3.800006e+01 | 5.500000e+01 |  44.74%
302.43/302.57	c   301s|     1 |     0 | 45574 |     - | 143M|   0 | 207 | 898 |  10k| 898 |  10k| 194 |   0 |   0 | 3.800006e+01 | 5.500000e+01 |  44.74%
304.82/304.90	o 38
304.82/304.90	c E 303s|     1 |     0 | 45574 |     - | 143M|   0 |   - | 898 |  10k| 898 |  10k| 194 |   0 |   0 | 3.800006e+01 | 3.800000e+01 |   0.00%
304.82/304.90	c   303s|     1 |     0 | 45574 |     - | 143M|   0 |   - | 898 |  10k| 898 |  10k| 194 |   0 |   0 | 3.800000e+01 | 3.800000e+01 |   0.00%
304.82/304.90	c 
304.82/304.90	c SCIP Status        : problem is solved [optimal solution found]
304.82/304.90	c Solving Time (sec) : 303.40
304.82/304.90	c Solving Nodes      : 1
304.82/304.90	c Primal Bound       : +3.80000000000000e+01 (2 solutions)
304.82/304.90	c Dual Bound         : +3.80000000000000e+01
304.82/304.90	c Gap                : 0.00 %
304.82/304.98	s OPTIMUM FOUND
304.82/304.98	v -x5831 x5830 -x5829 x5828 x5827 x5826 x5825 x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 
304.82/304.98	v -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 
304.82/304.98	v -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 
304.82/304.98	v -x5776 -x5775 x5774 -x5773 x5772 -x5771 x5770 -x5769 x5768 -x5767 x5766 -x5765 x5764 -x5763 -x5762 -x5761 -x5760 x5759 x5758 
304.82/304.98	v -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 
304.82/304.98	v -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 
304.82/304.98	v -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 
304.82/304.98	v -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 
304.82/304.98	v -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 
304.82/304.98	v -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 x5653 -x5652 x5651 -x5650 
304.82/304.98	v -x5649 x5648 -x5647 x5646 -x5645 x5644 -x5643 x5642 -x5641 x5640 -x5639 x5638 -x5637 -x5636 x5635 x5634 -x5633 -x5632 x5631 
304.82/304.98	v x5630 -x5629 -x5628 -x5627 x5626 x5625 -x5624 -x5623 -x5622 x5621 x5620 -x5619 -x5618 x5617 -x5616 x5615 -x5614 -x5613 x5612 
304.82/304.98	v -x5611 x5610 -x5609 x5608 -x5607 x5606 -x5605 x5604 -x5603 x5602 -x5601 -x5600 x5599 x5598 -x5597 -x5596 x5595 x5594 -x5593 
304.82/304.98	v -x5592 -x5591 x5590 x5589 -x5588 -x5587 -x5586 x5585 x5584 -x5583 -x5582 -x5581 -x5580 x5579 -x5578 -x5577 -x5576 -x5575 
304.82/304.98	v x5574 -x5573 -x5572 x5571 -x5570 -x5569 x5568 -x5567 -x5566 x5565 -x5564 -x5563 -x5562 x5561 -x5560 -x5559 x5558 -x5557 -x5556 
304.82/304.98	v x5555 -x5554 -x5553 -x5552 x5551 -x5550 -x5549 x5548 -x5547 -x5546 -x5545 x5544 -x5543 -x5542 -x5541 x5540 -x5539 -x5538 -x5537 
304.82/304.98	v -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 x5525 -x5524 -x5523 -x5522 x5521 -x5520 -x5519 
304.82/304.98	v x5518 -x5517 -x5516 x5515 -x5514 -x5513 -x5512 x5511 -x5510 -x5509 x5508 -x5507 -x5506 -x5505 x5504 -x5503 -x5502 -x5501 
304.82/304.98	v x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 
304.82/304.98	v -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 x5475 -x5474 -x5473 -x5472 x5471 -x5470 -x5469 x5468 -x5467 -x5466 x5465 -x5464 
304.82/304.98	v -x5463 -x5462 x5461 -x5460 -x5459 x5458 -x5457 -x5456 -x5455 x5454 -x5453 -x5452 -x5451 x5450 -x5449 -x5448 -x5447 -x5446 
304.82/304.98	v -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 
304.82/304.98	v -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 
304.82/304.98	v -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 
304.82/304.98	v -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 
304.82/304.98	v -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 
304.82/304.98	v -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 
304.82/304.98	v -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 
304.82/304.98	v -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 
304.82/304.98	v -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 
304.82/304.98	v -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 
304.82/304.98	v -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 
304.82/304.98	v -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 
304.82/304.98	v -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 
304.82/304.98	v -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 
304.82/304.98	v -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 x5179 -x5178 
304.82/304.98	v -x5177 x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 
304.82/304.98	v -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 
304.82/304.98	v -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 
304.82/304.98	v -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 
304.82/304.98	v -x5105 -x5104 x5103 x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 
304.82/304.98	v -x5087 -x5086 x5085 x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 
304.82/304.98	v -x5069 -x5068 -x5067 -x5066 x5065 x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 x5056 -x5055 x5054 -x5053 x5052 -x5051 
304.82/304.98	v x5050 -x5049 x5048 -x5047 x5046 -x5045 x5044 -x5043 x5042 -x5041 -x5040 x5039 x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 
304.82/304.98	v -x5031 -x5030 -x5029 x5028 -x5027 x5026 -x5025 x5024 -x5023 x5022 -x5021 x5020 -x5019 x5018 -x5017 x5016 -x5015 x5014 -x5013 
304.82/304.98	v -x5012 x5011 x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 
304.82/304.98	v -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 x4983 x4982 -x4981 -x4980 -x4979 -x4978 -x4977 
304.82/304.98	v -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 
304.82/304.98	v -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 x4951 x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 
304.82/304.98	v -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 
304.82/304.98	v -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 x4915 x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 
304.82/304.98	v -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 
304.82/304.98	v -x4886 x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 x4871 -x4870 x4869 
304.82/304.98	v -x4868 -x4867 x4866 -x4865 x4864 x4863 x4862 x4861 x4860 -x4859 x4858 -x4857 x4856 -x4855 x4854 x4853 -x4852 x4851 x4850 -x4849 
304.82/304.98	v -x4848 -x4847 -x4846 -x4845 -x4844 x4843 -x4842 x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 
304.82/304.98	v -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 x4819 -x4818 x4817 -x4816 -x4815 -x4814 -x4813 
304.82/304.98	v -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 
304.82/304.98	v -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 x4787 -x4786 x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 
304.82/304.98	v -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 
304.82/304.98	v -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 x4747 -x4746 x4745 -x4744 -x4743 -x4742 -x4741 
304.82/304.98	v -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 
304.82/304.98	v -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 
304.82/304.98	v -x4704 -x4703 -x4702 -x4701 -x4700 x4699 x4698 -x4697 -x4696 x4695 x4694 -x4693 -x4692 x4691 -x4690 -x4689 -x4688 -x4687 
304.82/304.98	v x4686 -x4685 -x4684 -x4683 -x4682 x4681 -x4680 -x4679 -x4678 -x4677 x4676 -x4675 -x4674 -x4673 -x4672 x4671 -x4670 -x4669 -x4668 
304.82/304.98	v -x4667 -x4666 x4665 -x4664 -x4663 -x4662 -x4661 -x4660 x4659 -x4658 -x4657 -x4656 -x4655 -x4654 x4653 -x4652 -x4651 -x4650 
304.82/304.98	v -x4649 -x4648 x4647 -x4646 -x4645 -x4644 -x4643 -x4642 x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 
304.82/304.98	v -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 
304.82/304.98	v -x4613 -x4612 x4611 -x4610 x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 
304.82/304.98	v -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 
304.82/304.98	v -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 
304.82/304.98	v -x4559 -x4558 -x4557 -x4556 -x4555 x4554 -x4553 x4552 -x4551 x4550 x4549 -x4548 x4547 x4546 -x4545 -x4544 -x4543 -x4542 
304.82/304.98	v -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 
304.82/304.98	v -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 
304.82/304.98	v -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 x4490 -x4489 x4488 
304.82/304.98	v -x4487 x4486 x4485 -x4484 x4483 x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 
304.82/304.98	v -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 
304.82/304.98	v -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 
304.82/304.98	v -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 x4418 -x4417 x4416 -x4415 
304.82/304.98	v x4414 x4413 -x4412 x4411 x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 
304.82/304.98	v -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 
304.82/304.98	v -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 
304.82/304.98	v -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 
304.82/304.98	v -x4342 -x4341 -x4340 x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 
304.82/304.98	v -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 
304.82/304.98	v -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 
304.82/304.98	v -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 
304.82/304.98	v -x4271 -x4270 x4269 x4268 -x4267 x4266 x4265 -x4264 x4263 x4262 -x4261 x4260 x4259 -x4258 x4257 x4256 x4255 x4254 -x4253 x4252 
304.82/304.98	v -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 
304.82/304.98	v -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 
304.82/304.98	v -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 
304.82/304.98	v -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 
304.82/304.98	v -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 
304.82/304.98	v -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 
304.82/304.98	v -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 
304.82/304.98	v -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 
304.82/304.98	v -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 
304.82/304.98	v -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 x4073 
304.82/304.98	v x4072 x4071 -x4070 x4069 x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 
304.82/304.98	v -x4054 -x4053 -x4052 x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 
304.82/304.98	v -x4036 x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 
304.82/304.98	v -x4018 -x4017 -x4016 -x4015 -x4014 x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 
304.82/304.98	v -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 
304.82/304.98	v -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 
304.82/304.98	v -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 
304.82/304.98	v -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 
304.82/304.98	v -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 
304.82/304.98	v -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 
304.82/304.98	v -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 
304.82/304.98	v -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 x3865 -x3864 x3863 x3862 -x3861 x3860 x3859 x3858 x3857 
304.82/304.98	v x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 
304.82/304.98	v -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 x3830 -x3829 x3828 x3827 x3826 -x3825 -x3824 -x3823 -x3822 -x3821 
304.82/304.98	v -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 
304.82/304.98	v -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 x3794 -x3793 -x3792 x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 
304.82/304.98	v -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 
304.82/304.98	v -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 x3758 -x3757 x3756 x3755 x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 
304.82/304.98	v -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 
304.82/304.98	v -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 
304.82/304.98	v -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 
304.82/304.98	v -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 x3678 -x3677 
304.82/304.98	v x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 
304.82/304.98	v -x3658 -x3657 -x3656 -x3655 x3654 -x3653 x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 
304.82/304.98	v -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 
304.82/304.98	v x3622 -x3621 x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 
304.82/304.98	v -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 
304.82/304.98	v -x3586 -x3585 -x3584 -x3583 x3582 -x3581 x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 
304.82/304.98	v -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 
304.82/304.98	v -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 x3534 -x3533 
304.82/304.98	v x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 
304.82/304.98	v -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 
304.82/304.98	v -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 
304.82/304.98	v x3478 -x3477 x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 
304.82/304.98	v -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 
304.82/304.98	v -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 x3431 x3430 -x3429 -x3428 -x3427 -x3426 x3425 
304.82/304.98	v x3424 -x3423 -x3422 -x3421 x3420 x3419 -x3418 -x3417 -x3416 x3415 x3414 -x3413 -x3412 -x3411 x3410 x3409 -x3408 -x3407 -x3406 
304.82/304.98	v x3405 x3404 -x3403 -x3402 -x3401 x3400 -x3399 -x3398 -x3397 x3396 x3395 -x3394 -x3393 -x3392 -x3391 -x3390 x3389 -x3388 -x3387 
304.82/304.98	v -x3386 -x3385 -x3384 x3383 -x3382 -x3381 -x3380 -x3379 -x3378 x3377 -x3376 -x3375 -x3374 -x3373 -x3372 x3371 -x3370 -x3369 
304.82/304.98	v -x3368 -x3367 -x3366 x3365 -x3364 -x3363 -x3362 -x3361 -x3360 x3359 -x3358 -x3357 -x3356 -x3355 -x3354 x3353 -x3352 -x3351 
304.82/304.98	v -x3350 -x3349 -x3348 x3347 -x3346 -x3345 -x3344 -x3343 -x3342 x3341 -x3340 -x3339 -x3338 -x3337 -x3336 x3335 -x3334 -x3333 -x3332 
304.82/304.98	v -x3331 -x3330 x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 x3320 -x3319 -x3318 -x3317 x3316 -x3315 -x3314 
304.82/304.98	v x3313 -x3312 -x3311 x3310 -x3309 -x3308 x3307 -x3306 -x3305 x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 
304.82/304.98	v -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 
304.82/304.98	v -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 
304.82/304.98	v -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 x3248 -x3247 -x3246 -x3245 x3244 -x3243 -x3242 
304.82/304.98	v x3241 -x3240 -x3239 x3238 -x3237 -x3236 x3235 -x3234 -x3233 x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 
304.82/304.98	v -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 
304.82/304.98	v -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 
304.82/304.98	v -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 
304.82/304.98	v -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 
304.82/304.98	v -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 
304.82/304.98	v -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 
304.82/304.98	v -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 
304.82/304.98	v -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 
304.82/304.98	v -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 
304.82/304.98	v -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 
304.82/304.98	v -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 
304.82/304.98	v -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 
304.82/304.98	v -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 
304.82/304.98	v -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 
304.82/304.98	v -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 
304.82/304.98	v -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 
304.82/304.98	v -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 
304.82/304.98	v -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 
304.82/304.98	v -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 
304.82/304.98	v -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 
304.82/304.98	v -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 
304.82/304.98	v -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 
304.82/304.98	v -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 x2814 -x2813 x2812 
304.82/304.98	v -x2811 x2810 -x2809 x2808 -x2807 -x2806 x2805 -x2804 x2803 -x2802 -x2801 x2800 -x2799 x2798 -x2797 -x2796 x2795 -x2794 x2793 
304.82/304.98	v -x2792 -x2791 x2790 -x2789 x2788 -x2787 -x2786 x2785 -x2784 x2783 -x2782 -x2781 x2780 -x2779 x2778 -x2777 x2776 -x2775 x2774 
304.82/304.98	v -x2773 x2772 -x2771 x2770 -x2769 -x2768 x2767 -x2766 x2765 -x2764 -x2763 x2762 -x2761 x2760 -x2759 -x2758 -x2757 -x2756 -x2755 
304.82/304.98	v -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 
304.82/304.98	v x2737 -x2736 -x2735 x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 
304.82/304.98	v -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 
304.82/304.98	v -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 x2685 -x2684 
304.82/304.98	v x2683 -x2682 -x2681 x2680 -x2679 x2678 -x2677 -x2676 -x2675 x2674 -x2673 x2672 -x2671 -x2670 -x2669 x2668 -x2667 x2666 -x2665 
304.82/304.98	v -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 
304.82/304.98	v -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 x2639 -x2638 -x2637 x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 
304.82/304.98	v -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 
304.82/304.98	v -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 
304.82/304.98	v -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 
304.82/304.98	v -x2574 -x2573 -x2572 -x2571 -x2570 x2569 -x2568 x2567 -x2566 -x2565 -x2564 x2563 -x2562 x2561 -x2560 -x2559 -x2558 -x2557 
304.82/304.98	v x2556 -x2555 x2554 -x2553 -x2552 -x2551 -x2550 x2549 -x2548 x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 
304.82/304.98	v -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 
304.82/304.98	v -x2519 -x2518 -x2517 -x2516 x2515 -x2514 -x2513 -x2512 x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 
304.82/304.98	v -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 
304.82/304.98	v -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 
304.82/304.98	v -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 
304.82/304.98	v -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 x2435 -x2434 x2433 -x2432 -x2431 
304.82/304.98	v x2430 -x2429 x2428 -x2427 -x2426 -x2425 x2424 -x2423 x2422 -x2421 -x2420 -x2419 x2418 -x2417 x2416 -x2415 -x2414 -x2413 -x2412 
304.82/304.98	v -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 
304.82/304.98	v -x2393 -x2392 -x2391 -x2390 x2389 -x2388 -x2387 x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 
304.82/304.98	v -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 
304.82/304.98	v -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 
304.82/304.98	v -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 
304.82/304.98	v -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 
304.82/304.98	v -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 
304.82/304.98	v -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 
304.82/304.98	v -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 
304.82/304.98	v -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 
304.82/304.98	v -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 
304.82/304.98	v -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 
304.82/304.98	v -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 
304.82/304.98	v -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 
304.82/304.98	v -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 
304.82/304.98	v -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 
304.82/304.98	v -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 
304.82/304.98	v -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 
304.82/304.98	v -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 
304.82/304.98	v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 
304.82/304.98	v -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 
304.82/304.98	v -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 
304.82/304.98	v -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 
304.82/304.98	v -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 
304.82/304.98	v -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 
304.82/304.98	v -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 
304.82/304.98	v -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 
304.82/304.98	v -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 
304.82/304.98	v -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 
304.82/304.98	v -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 
304.82/304.98	v -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 
304.82/304.98	v -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 
304.82/304.98	v -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 
304.82/304.98	v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 
304.82/304.98	v -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 
304.82/304.98	v -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 
304.82/304.98	v -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 
304.82/304.98	v -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 
304.82/304.98	v -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 
304.82/304.98	v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 
304.82/304.98	v -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 
304.82/304.98	v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 
304.82/304.98	v -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 
304.82/304.98	v -x1643 -x1642 x1641 -x1640 -x1639 -x1638 -x1637 x1636 x1635 -x1634 -x1633 -x1632 x1631 x1630 -x1629 -x1628 -x1627 -x1626 x1625 
304.82/304.98	v x1624 -x1623 -x1622 -x1621 x1620 x1619 -x1618 -x1617 -x1616 -x1615 x1614 x1613 -x1612 -x1611 -x1610 x1609 x1608 -x1607 -x1606 
304.82/304.98	v -x1605 x1604 x1603 -x1602 -x1601 x1600 x1599 -x1598 -x1597 -x1596 x1595 -x1594 x1593 -x1592 -x1591 x1590 -x1589 x1588 -x1587 
304.82/304.98	v -x1586 -x1585 x1584 -x1583 x1582 -x1581 -x1580 x1579 -x1578 x1577 -x1576 -x1575 -x1574 x1573 -x1572 x1571 -x1570 -x1569 -x1568 
304.82/304.98	v -x1567 x1566 -x1565 -x1564 -x1563 x1562 -x1561 x1560 -x1559 -x1558 -x1557 -x1556 x1555 -x1554 -x1553 -x1552 x1551 -x1550 
304.82/304.98	v x1549 -x1548 -x1547 x1546 -x1545 x1544 -x1543 -x1542 x1541 -x1540 x1539 -x1538 x1537 -x1536 x1535 -x1534 -x1533 x1532 -x1531 
304.82/304.98	v -x1530 -x1529 -x1528 -x1527 -x1526 x1525 x1524 -x1523 -x1522 -x1521 x1520 x1519 -x1518 -x1517 -x1516 -x1515 x1514 x1513 -x1512 
304.82/304.98	v -x1511 -x1510 x1509 x1508 -x1507 -x1506 -x1505 -x1504 x1503 x1502 -x1501 -x1500 -x1499 x1498 x1497 -x1496 -x1495 -x1494 x1493 
304.82/304.98	v x1492 -x1491 -x1490 x1489 x1488 -x1487 -x1486 -x1485 x1484 -x1483 x1482 -x1481 -x1480 x1479 -x1478 x1477 -x1476 -x1475 -x1474 
304.82/304.98	v x1473 -x1472 x1471 -x1470 -x1469 x1468 -x1467 x1466 -x1465 -x1464 -x1463 x1462 -x1461 x1460 -x1459 -x1458 x1457 -x1456 x1455 
304.82/304.98	v -x1454 -x1453 -x1452 x1451 -x1450 x1449 -x1448 -x1447 x1446 -x1445 x1444 -x1443 -x1442 -x1441 x1440 -x1439 x1438 -x1437 
304.82/304.98	v -x1436 x1435 -x1434 x1433 -x1432 -x1431 x1430 -x1429 x1428 -x1427 x1426 -x1425 x1424 -x1423 -x1422 -x1421 x1420 -x1419 -x1418 
304.82/304.98	v x1417 x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 
304.82/304.98	v -x1399 -x1398 -x1397 -x1396 -x1395 x1394 -x1393 -x1392 x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 
304.82/304.98	v -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 x1372 -x1371 -x1370 x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 
304.82/304.98	v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 
304.82/304.98	v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 
304.82/304.98	v -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 
304.82/304.98	v -x1309 -x1308 -x1307 -x1306 x1305 x1304 -x1303 x1302 x1301 -x1300 x1299 x1298 -x1297 x1296 x1295 -x1294 x1293 x1292 x1291 x1290 
304.82/304.98	v -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 
304.82/304.98	v -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 
304.82/304.98	v -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 
304.82/304.98	v x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 
304.82/304.98	v -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 x1203 -x1202 -x1201 -x1200 
304.82/304.98	v -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 
304.82/304.98	v -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 x1165 -x1164 
304.82/304.98	v -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 
304.82/304.98	v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 
304.82/304.98	v -x1128 x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 
304.82/304.98	v -x1110 -x1109 -x1108 -x1107 -x1106 x1105 -x1104 -x1103 -x1102 x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 
304.82/304.98	v -x1092 -x1091 -x1090 x1089 -x1088 -x1087 x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 
304.82/304.98	v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 
304.82/304.98	v -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 
304.82/304.98	v -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 
304.82/304.98	v -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 
304.82/304.98	v -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 
304.82/304.98	v -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 
304.82/304.98	v -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 
304.82/304.98	v -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 
304.82/304.98	v -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 
304.82/304.98	v -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 
304.82/304.98	v -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 
304.82/304.98	v -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 
304.82/304.98	v -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 
304.82/304.98	v -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 
304.82/304.98	v -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 
304.82/304.98	v -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 
304.82/304.98	v -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 
304.82/304.98	v -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 
304.82/304.98	v -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 
304.82/304.98	v -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 
304.82/304.98	v -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 
304.82/304.98	v -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 
304.82/304.98	v -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 
304.82/304.98	v -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 
304.82/304.98	v -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 
304.82/304.98	v -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 
304.82/304.98	v -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 
304.82/304.98	v -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 
304.82/304.98	v -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 
304.82/304.98	v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 
304.82/304.98	v -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 
304.82/304.98	v -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 
304.82/304.98	v -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 
304.82/304.98	v -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 
304.82/304.98	v -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 
304.82/304.98	v -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 
304.82/304.98	v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 
304.82/304.98	v -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 x294 
304.82/304.98	v -x293 -x292 x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 x275 -x274 -x273 -x272 
304.82/304.98	v -x271 x270 -x269 -x268 x267 -x266 x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 x256 -x255 -x254 -x253 -x252 -x251 
304.82/304.98	v -x250 -x249 -x248 x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 x231 -x230 x229 
304.82/304.98	v -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 x211 -x210 -x209 x208 -x207 
304.82/304.98	v -x206 x205 x204 -x203 -x202 x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 
304.82/304.98	v -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 x169 -x168 -x167 x166 -x165 -x164 
304.82/304.98	v x163 x162 -x161 -x160 x159 -x158 -x157 x156 x155 -x154 x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 x143 -x142 -x141 
304.82/304.98	v x140 x139 x138 x137 x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 
304.82/304.98	v -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 
304.82/304.98	v -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 
304.82/304.98	v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 
304.82/304.98	v -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 
304.82/304.98	v -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 
304.82/304.98	c SCIP Status        : problem is solved [optimal solution found]
304.82/304.98	c Solving Time       :     303.40
304.82/304.98	c Original Problem   :
304.82/304.98	c   Problem name     : HOME/instance-3741584-1338756898.opb
304.82/304.98	c   Variables        : 5831 (5831 binary, 0 integer, 0 implicit integer, 0 continuous)
304.82/304.98	c   Constraints      : 175474 initial, 175474 maximal
304.82/304.98	c Presolved Problem  :
304.82/304.98	c   Problem name     : t_HOME/instance-3741584-1338756898.opb
304.82/304.98	c   Variables        : 898 (898 binary, 0 integer, 0 implicit integer, 0 continuous)
304.82/304.98	c   Constraints      : 10233 initial, 10233 maximal
304.82/304.98	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
304.82/304.98	c   trivial          :       0.11        249          0          0          0          0          0          0          0
304.82/304.98	c   dualfix          :       0.06         24          0          0          0          0          0          0          0
304.82/304.98	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
304.82/304.98	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
304.82/304.98	c   implics          :       0.11          0         83          0          0          0          0          0          0
304.82/304.98	c   probing          :      33.95       2577         66          0          1          0          0          0          0
304.82/304.98	c   knapsack         :     170.93        253          0          0        195          0     159151     168701     750246
304.82/304.98	c   setppc           :      17.89        312        590          0         33          0     155692        128          0
304.82/304.98	c   linear           :       2.20        415        363          0        172          0        937          6        258
304.82/304.98	c   logicor          :       0.72          1          0          0          3          0       3194          0          0
304.82/304.98	c   root node        :          -         21          -          -         21          -          -          -          -
304.82/304.98	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
304.82/304.98	c   integral         :          0          0          0          0          0          0          0          0          0          0
304.82/304.98	c   knapsack         :       5567          9       9743          0          0        516          0        188          0          0
304.82/304.98	c   setppc           :       4337          9       9227          0          0        457          0          0          0          0
304.82/304.98	c   linear           :        187          9       8770          0          0        232          0          0          0          0
304.82/304.98	c   logicor          :        142          9       3815          0          0          0          0          0          0          0
304.82/304.98	c   countsols        :          0          0          0          0          0          0          0          0          0          0
304.82/304.98	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
304.82/304.98	c   integral         :       0.00       0.00       0.00       0.00       0.00
304.82/304.98	c   knapsack         :      25.22       0.15      25.06       0.00       0.00
304.82/304.98	c   setppc           :       3.58       0.00       3.58       0.00       0.00
304.82/304.98	c   linear           :       0.48       0.00       0.47       0.00       0.00
304.82/304.98	c   logicor          :       0.04       0.00       0.04       0.00       0.00
304.82/304.98	c   countsols        :       0.00       0.00       0.00       0.00       0.00
304.82/304.98	c Propagators        :       Time      Calls    Cutoffs    DomReds
304.82/304.98	c   vbounds          :       0.01          2          0          0
304.82/304.98	c   rootredcost      :       0.01          0          0          0
304.82/304.98	c   pseudoobj        :       0.01          8          0          0
304.82/304.98	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
304.82/304.98	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
304.82/304.98	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
304.82/304.98	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
304.82/304.98	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
304.82/304.98	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
304.82/304.98	c   applied globally :          -          -          -          0        0.0          -          -          -
304.82/304.98	c   applied locally  :          -          -          -          0        0.0          -          -          -
304.82/304.98	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
304.82/304.98	c   cut pool         :       0.00          8          -          -         14          -    (maximal pool size: 238)
304.82/304.98	c   redcost          :       0.00          9          0         21          0          0
304.82/304.98	c   impliedbounds    :       0.00          9          0          0        190          0
304.82/304.98	c   intobj           :       0.00          0          0          0          0          0
304.82/304.98	c   cgmip            :       0.00          0          0          0          0          0
304.82/304.98	c   gomory           :      13.25          9          0          0          1          0
304.82/304.98	c   strongcg         :      12.91          9          0          0          1          0
304.82/304.98	c   cmir             :       0.49          9          0          0          0          0
304.82/304.98	c   flowcover        :       0.75          9          0          0         69          0
304.82/304.98	c   clique           :       0.25          9          0          0         54          0
304.82/304.98	c   zerohalf         :       0.00          0          0          0          0          0
304.82/304.98	c   mcf              :       0.02          1          0          0          0          0
304.82/304.98	c   rapidlearning    :       0.00          0          0          0          0          0
304.82/304.98	c Pricers            :       Time      Calls       Vars
304.82/304.98	c   problem variables:       0.00          0          0
304.82/304.98	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
304.82/304.98	c   pscost           :       0.00          0          0          0          0          0          0
304.82/304.98	c   inference        :       0.00          0          0          0          0          0          0
304.82/304.98	c   mostinf          :       0.00          0          0          0          0          0          0
304.82/304.98	c   leastinf         :       0.00          0          0          0          0          0          0
304.82/304.98	c   fullstrong       :       0.00          0          0          0          0          0          0
304.82/304.98	c   allfullstrong    :       0.00          0          0          0          0          0          0
304.82/304.98	c   random           :       0.00          0          0          0          0          0          0
304.82/304.98	c   relpscost        :       0.00          0          0          0          0          0          0
304.82/304.98	c Primal Heuristics  :       Time      Calls      Found
304.82/304.98	c   LP solutions     :       0.00          -          0
304.82/304.98	c   pseudo solutions :       0.00          -          0
304.82/304.98	c   crossover        :       0.00          0          0
304.82/304.98	c   oneopt           :       0.00          1          0
304.82/304.98	c   trivial          :       0.00          2          0
304.82/304.98	c   simplerounding   :       0.00          0          0
304.82/304.98	c   zirounding       :       0.00          1          0
304.82/304.98	c   rounding         :       0.01          9          0
304.82/304.98	c   shifting         :       0.03          9          0
304.82/304.98	c   intshifting      :       0.00          0          0
304.82/304.98	c   twoopt           :       0.00          0          0
304.82/304.98	c   fixandinfer      :       0.00          0          0
304.82/304.98	c   feaspump         :       5.60          1          1
304.82/304.98	c   coefdiving       :       0.00          0          0
304.82/304.98	c   pscostdiving     :       0.00          0          0
304.82/304.98	c   fracdiving       :       0.00          0          0
304.82/304.98	c   veclendiving     :       0.00          0          0
304.82/304.98	c   intdiving        :       0.00          0          0
304.82/304.98	c   actconsdiving    :       0.00          0          0
304.82/304.98	c   objpscostdiving  :       0.00          0          0
304.82/304.98	c   rootsoldiving    :       0.00          0          0
304.82/304.98	c   linesearchdiving :       0.00          0          0
304.82/304.98	c   guideddiving     :       0.00          0          0
304.82/304.98	c   octane           :       0.00          0          0
304.82/304.98	c   rens             :       0.11          1          1
304.82/304.98	c   rins             :       0.00          0          0
304.82/304.98	c   localbranching   :       0.00          0          0
304.82/304.98	c   mutation         :       0.00          0          0
304.82/304.98	c   dins             :       0.00          0          0
304.82/304.98	c   undercover       :       0.00          0          0
304.82/304.98	c   nlp              :       0.00          0          0
304.82/304.98	c   trysol           :       0.00          0          0
304.82/304.98	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
304.82/304.98	c   primal LP        :       0.00          0          0       0.00          -
304.82/304.98	c   dual LP          :      40.22          9      41749    4638.78    1038.10
304.82/304.98	c   lex dual LP      :       0.00          0          0       0.00          -
304.82/304.98	c   barrier LP       :       0.00          0          0       0.00          -
304.82/304.98	c   diving/probing LP:       5.58         18       3825     212.50     685.56
304.82/304.98	c   strong branching :       0.00          0          0       0.00          -
304.82/304.98	c     (at root node) :          -          0          0       0.00          -
304.82/304.98	c   conflict analysis:       0.00          0          0       0.00          -
304.82/304.98	c B&B Tree           :
304.82/304.98	c   number of runs   :          1
304.82/304.98	c   nodes            :          1
304.82/304.98	c   nodes (total)    :          1
304.82/304.98	c   nodes left       :          0
304.82/304.98	c   max depth        :          0
304.82/304.98	c   max depth (total):          0
304.82/304.98	c   backtracks       :          0 (0.0%)
304.82/304.98	c   delayed cutoffs  :          0
304.82/304.98	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
304.82/304.98	c   avg switch length:       2.00
304.82/304.98	c   switching time   :       0.00
304.82/304.98	c Solution           :
304.82/304.98	c   Solutions found  :          2 (2 improvements)
304.82/304.98	c   First Solution   : +5.50000000000000e+01   (in run 1, after 1 nodes, 241.39 seconds, depth 0, found by <feaspump>)
304.82/304.98	c   Primal Bound     : +3.80000000000000e+01   (in run 1, after 1 nodes, 303.39 seconds, depth 0, found by <rens>)
304.82/304.98	c   Dual Bound       : +3.80000000000000e+01
304.82/304.98	c   Gap              :       0.00 %
304.82/304.98	c   Root Dual Bound  : +3.80000000000000e+01
304.82/304.98	c   Root Iterations  :      45574
305.02/305.11	c Time complete: 305.04.

OK	38

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 11698
/proc/meminfo: memFree=26085404/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=7912 CPUtime=0 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 1161 0 0 0 0 0 0 0 20 0 1 0 341756852 8101888 1108 33554432000 4194304 8395647 140733584265040 140733390058344 7382157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11698/statm: 1978 1119 365 1026 0 948 0

[startup+0.00894493 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 11698
/proc/meminfo: memFree=26085404/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=10376 CPUtime=0 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 1844 0 0 0 0 0 0 0 20 0 1 0 341756852 10625024 1791 33554432000 4194304 8395647 140733584265040 140733390058344 7385008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11698/statm: 2594 1791 393 1026 0 1564 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10376

[startup+0.100217 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 11698
/proc/meminfo: memFree=26085404/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=20108 CPUtime=0.08 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 4287 0 0 0 8 0 0 0 20 0 1 0 341756852 20590592 4234 33554432000 4194304 8395647 140733584265040 140733390058344 6765578 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11698/statm: 5027 4234 393 1026 0 3997 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20108

[startup+0.300203 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 11698
/proc/meminfo: memFree=26085404/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=29728 CPUtime=0.28 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 6665 0 0 0 28 0 0 0 20 0 1 0 341756852 30441472 6612 33554432000 4194304 8395647 140733584265040 140733584130248 5753575 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11698/statm: 7432 6612 393 1026 0 6402 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 29728

[startup+0.700202 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 11698
/proc/meminfo: memFree=26085404/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=47228 CPUtime=0.69 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 11020 0 0 0 68 1 0 0 20 0 1 0 341756852 48361472 10967 33554432000 4194304 8395647 140733584265040 140733584130248 7370124 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11698/statm: 11807 10967 393 1026 0 10777 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47228

[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 11699
/proc/meminfo: memFree=26028472/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=84384 CPUtime=1.48 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 20329 0 0 0 146 2 0 0 20 0 1 0 341756852 86409216 20276 33554432000 4194304 8395647 140733584265040 140733584130248 7382061 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11698/statm: 21096 20276 393 1026 0 20066 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84384

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 11699
/proc/meminfo: memFree=25866156/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=377880 CPUtime=3.09 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 93952 0 0 0 295 14 0 0 20 0 1 0 341756852 386949120 92997 33554432000 4194304 8395647 140733584265040 140733584260984 4969070 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11698/statm: 94470 92997 483 1026 0 93440 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 377880

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 11699
/proc/meminfo: memFree=25699844/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=391492 CPUtime=6.28 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94384 0 0 0 614 14 0 0 20 0 1 0 341756852 400887808 96495 33554432000 4194304 8395647 140733584265040 140733584260840 18446744073699066235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11698/statm: 97873 96495 510 1026 0 96843 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 391492

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 11699
/proc/meminfo: memFree=25699604/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=391492 CPUtime=12.68 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94384 0 0 0 1254 14 0 0 20 0 1 0 341756852 400887808 96495 33554432000 4194304 8395647 140733584265040 140733584260840 18446744073699066235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11698/statm: 97873 96495 510 1026 0 96843 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 391492

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 11699
/proc/meminfo: memFree=25700316/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=391492 CPUtime=25.48 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94384 0 0 0 2534 14 0 0 20 0 1 0 341756852 400887808 96495 33554432000 4194304 8395647 140733584265040 140733584260840 4914375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11698/statm: 97873 96495 510 1026 0 96843 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 391492

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 11699
/proc/meminfo: memFree=25700408/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=391492 CPUtime=51.07 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94384 0 0 0 5093 14 0 0 20 0 1 0 341756852 400887808 96495 33554432000 4194304 8395647 140733584265040 140733584260840 4910689 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11698/statm: 97873 96495 510 1026 0 96843 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 391492

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 11700
/proc/meminfo: memFree=25699832/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=391492 CPUtime=102.26 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94384 0 0 0 10212 14 0 0 20 0 1 0 341756852 400887808 96495 33554432000 4194304 8395647 140733584265040 140733584260840 4482596 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11698/statm: 97873 96495 510 1026 0 96843 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 391492

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 11700
/proc/meminfo: memFree=25699860/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=391492 CPUtime=162.24 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94389 0 0 0 16210 14 0 0 20 0 1 0 341756852 400887808 96500 33554432000 4194304 8395647 140733584265040 140733584260840 4954330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11698/statm: 97873 96500 515 1026 0 96843 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 391492

[startup+222.3 s]
/proc/loadavg: 2.20 2.05 2.00 3/177 11700
/proc/meminfo: memFree=25686372/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=391492 CPUtime=222.23 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94389 0 0 0 22209 14 0 0 20 0 1 0 341756852 400887808 96500 33554432000 4194304 8395647 140733584265040 140733584260840 4958922 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11698/statm: 97873 96500 515 1026 0 96843 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 391492

[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 11700
/proc/meminfo: memFree=25656268/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=389968 CPUtime=282.22 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94647 0 0 0 28199 23 0 0 20 0 1 0 341756852 399327232 96380 33554432000 4194304 8395647 140733584265040 140733584260168 6721248 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11698/statm: 97492 96380 626 1026 0 96462 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 389968

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

[startup+294.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 11700
/proc/meminfo: memFree=25645820/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=389968 CPUtime=294.22 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94647 0 0 0 29396 26 0 0 20 0 1 0 341756852 399327232 96380 33554432000 4194304 8395647 140733584265040 140733584260232 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11698/statm: 97492 96380 626 1026 0 96462 0
Current children cumulated CPU time (s) 294.22
Current children cumulated vsize (KiB) 389968

[startup+300.7 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 11700
/proc/meminfo: memFree=25645944/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=389968 CPUtime=300.62 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94648 0 0 0 30034 28 0 0 20 0 1 0 341756852 399327232 96381 33554432000 4194304 8395647 140733584265040 140733584260232 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11698/statm: 97492 96381 627 1026 0 96462 0
Current children cumulated CPU time (s) 300.62
Current children cumulated vsize (KiB) 389968

[startup+302.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 11700
/proc/meminfo: memFree=25645944/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=389968 CPUtime=302.22 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94649 0 0 0 30194 28 0 0 20 0 1 0 341756852 399327232 96382 33554432000 4194304 8395647 140733584265040 140733584260552 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11698/statm: 97492 96382 627 1026 0 96462 0
Current children cumulated CPU time (s) 302.22
Current children cumulated vsize (KiB) 389968

[startup+303.9 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 11703
/proc/meminfo: memFree=25641068/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=389968 CPUtime=303.82 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94649 0 0 0 30354 28 0 0 20 0 1 0 341756852 399327232 96382 33554432000 4194304 8395647 140733584265040 140733584260280 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11698/statm: 97492 96382 627 1026 0 96462 0
Current children cumulated CPU time (s) 303.82
Current children cumulated vsize (KiB) 389968

[startup+304.706 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 11703
/proc/meminfo: memFree=25641068/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=389968 CPUtime=304.62 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94649 0 0 0 30434 28 0 0 20 0 1 0 341756852 399327232 96382 33554432000 4194304 8395647 140733584265040 140733584260328 6197330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11698/statm: 97492 96382 627 1026 0 96462 0
Current children cumulated CPU time (s) 304.62
Current children cumulated vsize (KiB) 389968

[startup+305.1 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 11703
/proc/meminfo: memFree=25641068/32873844 swapFree=7128/7128
[pid=11698] ppid=11696 vsize=320784 CPUtime=305.02 cores=0,2,4,6
/proc/11698/stat : 11698 (pbscip.linux.x8) R 11696 11698 11206 0 -1 4202496 94667 0 0 0 30472 30 0 0 20 0 1 0 341756852 328482816 79180 33554432000 4194304 8395647 140733584265040 140733584260328 7435351 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11698/statm: 80196 78923 641 1026 0 79166 0
Current children cumulated CPU time (s) 305.02
Current children cumulated vsize (KiB) 320784

Child status: 0
Real time (s): 305.119
CPU time (s): 305.049
CPU user time (s): 304.727
CPU system time (s): 0.321951
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 391492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 304.727
system time used= 0.321951
maximum resident set size= 386116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94670
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= 3
involuntary context switches= 631

runsolver used 0.576912 second user time and 1.52577 second system time

The end

Begin job on node105 at 2012-06-03 22:54:58
IDJOB=3741584
IDBENCH=89880
IDSOLVER=2326
FILE ID=node105/3741584-1338756898
RUNJOBID= node105-1338749876-11222
PBS_JOBID= 14636807
Free space on /tmp= 71208 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-bley_xl1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741584-1338756898/watcher-3741584-1338756898 -o /tmp/evaluation-result-3741584-1338756898/solver-3741584-1338756898 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741584-1338756898.opb -t 1800 -m 15500

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

MD5SUM BENCH= 7eabf0872983506c1de1d05f0c0b2928
RANDOM SEED=889251788

node105.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.882
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.76
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.882
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.882
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.91
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.882
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.882
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
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.91
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.882
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.92
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.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26085296 kB
Buffers:          566544 kB
Cached:          3680116 kB
SwapCached:         1700 kB
Active:          2767096 kB
Inactive:        3135988 kB
Active(anon):    1621636 kB
Inactive(anon):    35460 kB
Active(file):    1145460 kB
Inactive(file):  3100528 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:             19024 kB
Writeback:             0 kB
AnonPages:       1729764 kB
Mapped:            11436 kB
Shmem:                 0 kB
Slab:             742708 kB
SReclaimable:     184472 kB
SUnreclaim:       558236 kB
KernelStack:        1472 kB
PageTables:         7344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1966664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    440320 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= 71200 MiB
End job on node105 at 2012-06-03 23:00:04