0.00/0.00	c 2016-06-30T21:16:18+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4121306-1467314178.opb"]
0.00/0.01	c use --random-gen="3623736478 606771427 3427837961 3416047583 1878801058 1254922437 2047438004 583532259 3530281785 3129606068 1019095140 2724656552 333867432 1962079432 526538879 940459582 2765830867 1199570582 3094359611 1413638882 1283816257 1163399332 1857805556 3809800385 1832236334 707340618 2129965776 387799627 3236124489 2670941534 3786919578 1961240262 2161032095 216409356 3735169982 4110146782 1975698888 572683307 3760550923 3916485083 1117661776 3381863942 2182697769 2741422088 2964375241 894211422 845569205 3113185555 508368343 3634758745 2350287101 909674819 638168784 1740572821 2709009925 3789555449 1303182138 842773307 268180374 2926757999 2844804112 1081583412 1617222260 832900072 3368312090 3227203331 2732147706 4270465433 3203752266 1845636029 703821754 121072074 907601895 2073329673 4049889024 1584671891 179220876 3140837626 1866942108 417759097 2145738688 2112933961 3106351571 3874165057 2931425132 312883335 2752455336 2855561262 280298890 3745671244 3290553006 1251312158 484807873 4044813943 3281093271 1440420526 3657579337 3333749950 3253649275 826514933 894178290 998805690 3482580634 2209335520 2411348701 3509193130 2547007910 3335770382 1028584815 3286025276 75379947 1794352483 3269002897 1433363597 2941415857 1865341765 3508439053 87017249 1827164769 1715407663 2572398782 3010530859 3639795568 1640516485 113376290 819859956 3151410293 1218605157 796836161 3732433493 471336338 911485645 3093481683 44375899 867346991 1428340899 933167615 4145720388 755274565 2100595566 1901473151 1930162190 3329067861 2006420403 1107491028 2685865306 2595148145 4019554179 564462667 1709434306 2326032755 1131358389 778234175 51630693 1086407790 1106802928 299831097 1747813279 3656659822 3623484059 4217261350 1935320471 665803185 1459983992 1141311242 3455530741 3432440457 198643049 410811259 323506211 3873663391 3441574267 901702845 1206509364 2409542798 4050965518 879869128 4239921528 422108426 2060907543 3480885905 1932384756 1138830198 2060359546 1825747001 3966591099 961452958 3902505448 3745059515 1884562707 2910855136 23699003 3572697010 808711657 3664958082 1785389348 2334015475 3515077649 333869217 2310551392 4042738648 2191534569 3922056720 98623089 2382975819 2594320099 552382687 870554947 2567491694 69652714 3012057754 2709981123 2759754610 2653412903 1888217287 318274954 758869038 1926724513 422059867 1369910657 4233788721 1775129683 3889523876 4116219171 2537450846 976454496 3598918571 169742804 3549441319 4092289064 1332838990 1468786239 552477159 3197208875 745524367 3197892815 3240192539 3747969012 1861593761 2302911337 2653956306 1535577176 337987973 594672932 3876215099 598729636 2932428869 124970531 1158281165 2752887883 520062689 2464074121 3312114432 2612260419 2815048743 2172026930 255 362436" option to reproduce the execution
0.00/0.01	c #vars 97
0.00/0.01	c #constraints 204
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      100      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      150 |      100 |      100      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      370 |      250 |      111      2 |        0 |        0
0.00/0.06	c  0.0s |       3 |      654 |      475 |      123      4 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1171 |      813 |      136      8 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1956 |     1320 |      150     14 |        0 |        0
0.18/0.23	c  0.2s |       6 |     3036 |     2081 |      182     22 |        0 |        0
0.28/0.36	c  0.3s |       7 |     4574 |     3223 |      201     33 |        0 |        0
0.49/0.58	c  0.6s |       8 |     6682 |     4936 |      222     48 |        0 |        0
0.78/0.86	c  0.8s |       9 |     9983 |     7506 |      245     69 |        0 |        0
1.20/1.22	c  1.2s |      10 |    14624 |    11361 |      270     98 |        0 |        0
1.59/1.66	c  1.6s |      11 |    21523 |    17144 |      297    137 |        0 |        0
2.39/2.42	c  2.4s |      12 |    31503 |    25819 |      327    191 |        0 |        0
3.39/3.45	c  3.4s |      13 |    48380 |    38832 |      360    265 |        0 |        0
4.89/4.90	c  4.9s |      14 |    75340 |    58352 |      397    369 |        0 |        0
6.89/6.91	c  6.9s |      14 |   106954 |    83252 |      397    488 |        0 |        0
7.18/7.24	c  7.2s |      15 |   112711 |    87632 |      437    509 |        0 |        0
9.18/9.24	c  9.2s |      15 |   144488 |   112332 |      437    618 |        0 |        0
10.68/10.71	c 10.7s |      16 |   169479 |   131552 |      481    703 |        0 |        0
12.68/12.71	c 12.7s |      16 |   200719 |   156352 |      481    802 |        0 |        0
14.68/14.71	c 14.7s |      16 |   232819 |   181252 |      481    902 |        0 |        0
15.88/15.97	c 16.0s |      17 |   254094 |   197432 |      530    966 |        0 |        0
17.88/17.98	c 18.0s |      17 |   284540 |   220432 |      530   1050 |        0 |        0
19.90/19.98	c 20.0s |      17 |   313163 |   243232 |      530   1134 |        0 |        0
21.89/21.99	c 22.0s |      17 |   342541 |   266632 |      530   1220 |        0 |        0
23.99/24.00	c 24.0s |      17 |   372824 |   290432 |      530   1307 |        0 |        0
24.39/24.49	c 24.5s |      18 |   380157 |   296252 |      583   1327 |        0 |        0
26.39/26.49	c 26.5s |      18 |   409187 |   319452 |      583   1405 |        0 |        0
28.49/28.50	c 28.5s |      18 |   437979 |   342252 |      583   1481 |        0 |        0
30.49/30.50	c 30.5s |      18 |   462813 |   363652 |      583   1553 |        0 |        0
32.49/32.50	c 32.5s |      18 |   493153 |   387752 |      583   1634 |        0 |        0
34.48/34.50	c 34.5s |      18 |   520904 |   410752 |      583   1711 |        0 |        0
36.48/36.51	c 36.5s |      18 |   546928 |   432252 |      583   1783 |        0 |        0
37.58/37.63	c 37.6s |      19 |   561997 |   444482 |      642   1823 |        0 |        0
39.59/39.63	c 39.6s |      19 |   590015 |   466182 |      642   1889 |        0 |        0
41.58/41.64	c 41.6s |      19 |   617658 |   488282 |      642   1957 |        0 |        0
43.58/43.65	c 43.6s |      19 |   644783 |   509882 |      642   2022 |        0 |        0
45.58/45.65	c 45.6s |      19 |   671695 |   531782 |      642   2089 |        0 |        0
47.58/47.66	c 47.6s |      19 |   701293 |   554582 |      642   2159 |        0 |        0
49.59/49.67	c 49.7s |      19 |   730002 |   577382 |      642   2228 |        0 |        0
51.58/51.67	c 51.7s |      19 |   759393 |   600582 |      642   2299 |        0 |        0
53.57/53.67	c 53.7s |      19 |   785314 |   621782 |      642   2363 |        0 |        0
55.57/55.68	c 55.7s |      19 |   810406 |   642282 |      642   2426 |        0 |        0
57.57/57.68	c 57.7s |      19 |   835640 |   663182 |      707   2489 |        0 |        0
57.98/58.04	c 58.0s |      20 |   840066 |   666827 |      707   2499 |        0 |        0
59.98/60.05	c 60.0s |      20 |   866356 |   688327 |      707   2558 |        0 |        0
61.98/62.05	c 62.0s |      20 |   891729 |   709427 |      707   2617 |        0 |        0
63.98/64.05	c 64.0s |      20 |   916861 |   730027 |      707   2674 |        0 |        0
65.99/66.06	c 66.0s |      20 |   942222 |   751027 |      707   2732 |        0 |        0
67.98/68.06	c 68.0s |      20 |   967734 |   772227 |      707   2791 |        0 |        0
69.98/70.07	c 70.1s |      20 |   994377 |   793527 |      707   2850 |        0 |        0
71.98/72.07	c 72.1s |      20 |  1020032 |   814627 |      707   2908 |        0 |        0
73.98/74.07	c 74.1s |      20 |  1046440 |   836027 |      707   2968 |        0 |        0
75.98/76.08	c 76.1s |      20 |  1072196 |   856927 |      707   3026 |        0 |        0
77.98/78.09	c 78.1s |      20 |  1096024 |   877127 |      707   3082 |        0 |        0
79.98/80.09	c 80.1s |      20 |  1122130 |   898427 |      707   3141 |        0 |        0
81.98/82.09	c 82.1s |      20 |  1150080 |   920427 |      707   3202 |        0 |        0
84.08/84.10	c 84.1s |      20 |  1176463 |   941727 |      707   3261 |        0 |        0
86.08/86.11	c 86.1s |      20 |  1202166 |   962927 |      707   3320 |        0 |        0
88.08/88.12	c 88.1s |      20 |  1227349 |   983627 |      707   3378 |        0 |        0
89.78/89.80	c 89.8s |      21 |  1247553 |  1000345 |      778   3423 |        0 |        0
91.77/91.81	c 91.8s |      21 |  1271472 |  1020445 |      778   3473 |        0 |        0
93.77/93.81	c 93.8s |      21 |  1295590 |  1040045 |      778   3522 |        0 |        0
95.78/95.81	c 95.8s |      21 |  1321863 |  1060545 |      778   3574 |        0 |        0
97.77/97.81	c 97.8s |      21 |  1349786 |  1082245 |      778   3629 |        0 |        0
99.77/99.82	c 99.8s |      21 |  1376811 |  1103245 |      778   3682 |        0 |        0
101.77/101.82	c  101s |      21 |  1404496 |  1124345 |      778   3735 |        0 |        0
103.77/103.83	c  103s |      21 |  1431426 |  1145445 |      778   3788 |        0 |        0
105.77/105.83	c  105s |      21 |  1456727 |  1165845 |      778   3839 |        0 |        0
107.77/107.84	c  107s |      21 |  1484639 |  1187345 |      778   3894 |        0 |        0
109.77/109.84	c  109s |      21 |  1512529 |  1208745 |      778   3948 |        0 |        0
111.77/111.84	c  111s |      21 |  1541062 |  1230645 |      778   4003 |        0 |        0
113.77/113.85	c  113s |      21 |  1566017 |  1251245 |      778   4055 |        0 |        0
115.77/115.85	c  115s |      21 |  1593907 |  1273045 |      778   4109 |        0 |        0
117.78/117.86	c  117s |      21 |  1619175 |  1293445 |      778   4161 |        0 |        0
119.77/119.87	c  119s |      21 |  1642511 |  1313545 |      778   4212 |        0 |        0
121.77/121.87	c  121s |      21 |  1670032 |  1334945 |      778   4266 |        0 |        0
123.77/123.87	c  123s |      21 |  1697154 |  1356045 |      778   4319 |        0 |        0
125.77/125.88	c  125s |      21 |  1724477 |  1377345 |      778   4372 |        0 |        0
127.77/127.88	c  127s |      21 |  1751786 |  1398145 |      778   4425 |        0 |        0
129.78/129.88	c  129s |      21 |  1777771 |  1418245 |      778   4475 |        0 |        0
131.77/131.88	c  131s |      21 |  1803296 |  1438645 |      778   4527 |        0 |        0
133.77/133.89	c  133s |      21 |  1829127 |  1459045 |      778   4578 |        0 |        0
135.87/135.90	c  135s |      21 |  1856275 |  1480345 |      778   4632 |        0 |        0
137.76/137.82	c  137s |      22 |  1882287 |  1500622 |      856   4681 |        0 |        0
139.77/139.83	c  139s |      22 |  1906952 |  1520522 |      856   4726 |        0 |        0
141.76/141.84	c  141s |      22 |  1929169 |  1539722 |      856   4770 |        0 |        0
143.77/143.84	c  143s |      22 |  1952255 |  1558822 |      856   4814 |        0 |        0
145.77/145.85	c  145s |      22 |  1976536 |  1578922 |      856   4860 |        0 |        0
147.77/147.86	c  147s |      22 |  2003300 |  1599622 |      856   4908 |        0 |        0
149.77/149.86	c  149s |      22 |  2027547 |  1619422 |      856   4953 |        0 |        0
151.78/151.86	c  151s |      22 |  2056832 |  1641522 |      856   5004 |        0 |        0
153.77/153.86	c  153s |      22 |  2086253 |  1663322 |      856   5054 |        0 |        0
155.77/155.87	c  155s |      22 |  2112979 |  1684122 |      856   5101 |        0 |        0
157.77/157.88	c  157s |      22 |  2139747 |  1705022 |      856   5150 |        0 |        0
159.77/159.88	c  159s |      22 |  2169002 |  1726922 |      856   5200 |        0 |        0
161.77/161.88	c  161s |      22 |  2195379 |  1747922 |      856   5248 |        0 |        0
163.76/163.88	c  163s |      22 |  2220558 |  1768422 |      856   5295 |        0 |        0
165.76/165.89	c  165s |      22 |  2247248 |  1789322 |      856   5343 |        0 |        0
167.76/167.89	c  167s |      22 |  2271187 |  1808722 |      856   5388 |        0 |        0
169.86/169.90	c  169s |      22 |  2298712 |  1829722 |      856   5436 |        0 |        0
171.86/171.90	c  171s |      22 |  2327403 |  1851222 |      856   5485 |        0 |        0
173.87/173.91	c  173s |      22 |  2356034 |  1872722 |      856   5535 |        0 |        0
175.86/175.92	c  175s |      22 |  2383510 |  1894122 |      856   5584 |        0 |        0
177.86/177.93	c  177s |      22 |  2409950 |  1915022 |      856   5632 |        0 |        0
179.86/179.93	c  179s |      22 |  2437375 |  1936022 |      856   5680 |        0 |        0
181.86/181.94	c  181s |      22 |  2460842 |  1955422 |      856   5725 |        0 |        0
183.86/183.94	c  183s |      22 |  2484945 |  1975022 |      856   5770 |        0 |        0
185.87/185.95	c  185s |      22 |  2510486 |  1994922 |      856   5816 |        0 |        0
187.86/187.95	c  187s |      22 |  2535798 |  2014822 |      856   5861 |        0 |        0
189.86/189.95	c  189s |      22 |  2559412 |  2034022 |      856   5905 |        0 |        0
191.86/191.96	c  191s |      22 |  2583043 |  2053322 |      856   5950 |        0 |        0
193.86/193.97	c  193s |      22 |  2607845 |  2072922 |      856   5995 |        0 |        0
195.86/195.98	c  195s |      22 |  2630995 |  2092322 |      856   6039 |        0 |        0
197.86/197.99	c  197s |      22 |  2657084 |  2112822 |      856   6086 |        0 |        0
199.86/199.99	c  199s |      22 |  2680778 |  2132322 |      856   6131 |        0 |        0
201.86/201.99	c  201s |      22 |  2705390 |  2152022 |      856   6176 |        0 |        0
203.95/204.00	c  203s |      22 |  2729523 |  2171322 |      856   6221 |        0 |        0
205.95/206.01	c  205s |      22 |  2755917 |  2191622 |      856   6268 |        0 |        0
207.96/208.01	c  207s |      22 |  2780759 |  2211522 |      856   6314 |        0 |        0
209.95/210.01	c  209s |      22 |  2804543 |  2231122 |      856   6359 |        0 |        0
211.95/212.02	c  212s |      22 |  2827324 |  2249922 |      942   6398 |        0 |        0
212.05/212.15	c  212s |      23 |  2828624 |  2251038 |      942   6401 |        0 |        0
214.05/214.15	c  214s |      23 |  2850091 |  2268638 |      942   6437 |        0 |        0
216.05/216.15	c  216s |      23 |  2872017 |  2286538 |      942   6475 |        0 |        0
218.05/218.16	c  218s |      23 |  2892866 |  2304038 |      942   6511 |        0 |        0
220.07/220.17	c  220s |      23 |  2915443 |  2322238 |      942   6549 |        0 |        0
222.06/222.17	c  222s |      23 |  2936524 |  2339638 |      942   6586 |        0 |        0
224.06/224.18	c  224s |      23 |  2959174 |  2357938 |      942   6624 |        0 |        0
226.06/226.19	c  226s |      23 |  2981016 |  2376138 |      942   6662 |        0 |        0
228.16/228.20	c  228s |      23 |  3001678 |  2393938 |      942   6699 |        0 |        0
230.16/230.20	c  230s |      23 |  3023153 |  2411938 |      942   6737 |        0 |        0
232.16/232.21	c  232s |      23 |  3045255 |  2430038 |      942   6775 |        0 |        0
234.15/234.21	c  234s |      23 |  3066787 |  2447738 |      942   6812 |        0 |        0
236.15/236.22	c  236s |      23 |  3089962 |  2466538 |      942   6851 |        0 |        0
238.15/238.22	c  238s |      23 |  3114445 |  2485438 |      942   6891 |        0 |        0
240.15/240.22	c  240s |      23 |  3134534 |  2502638 |      942   6927 |        0 |        0
242.15/242.22	c  242s |      23 |  3155767 |  2520438 |      942   6964 |        0 |        0
244.15/244.23	c  244s |      23 |  3177314 |  2538438 |      942   7002 |        0 |        0
246.15/246.24	c  246s |      23 |  3198747 |  2556538 |      942   7039 |        0 |        0
248.15/248.25	c  248s |      23 |  3219350 |  2574038 |      942   7076 |        0 |        0
250.15/250.26	c  250s |      23 |  3244376 |  2593938 |      942   7118 |        0 |        0
252.15/252.26	c  252s |      23 |  3266976 |  2612538 |      942   7156 |        0 |        0
254.16/254.27	c  254s |      23 |  3288971 |  2630838 |      942   7195 |        0 |        0
256.15/256.27	c  256s |      23 |  3309873 |  2648338 |      942   7231 |        0 |        0
258.15/258.28	c  258s |      23 |  3331433 |  2666238 |      942   7269 |        0 |        0
260.15/260.29	c  260s |      23 |  3354154 |  2684938 |      942   7308 |        0 |        0
262.15/262.29	c  262s |      23 |  3375251 |  2702738 |      942   7345 |        0 |        0
264.25/264.30	c  264s |      23 |  3395489 |  2719838 |      942   7381 |        0 |        0
266.15/266.30	c  266s |      23 |  3415271 |  2736838 |      942   7416 |        0 |        0
268.25/268.30	c  268s |      23 |  3433932 |  2753038 |      942   7450 |        0 |        0
270.25/270.31	c  270s |      23 |  3454077 |  2769738 |      942   7485 |        0 |        0
272.25/272.31	c  272s |      23 |  3473488 |  2786438 |      942   7520 |        0 |        0
274.25/274.32	c  274s |      23 |  3492226 |  2802838 |      942   7555 |        0 |        0
276.25/276.32	c  276s |      23 |  3512813 |  2820138 |      942   7591 |        0 |        0
278.25/278.33	c  278s |      23 |  3532809 |  2837038 |      942   7626 |        0 |        0
280.24/280.34	c  280s |      23 |  3554800 |  2855538 |      942   7665 |        0 |        0
282.24/282.35	c  282s |      23 |  3576850 |  2873938 |      942   7703 |        0 |        0
284.24/284.36	c  284s |      23 |  3599343 |  2892538 |      942   7742 |        0 |        0
286.24/286.36	c  286s |      23 |  3623488 |  2911938 |      942   7783 |        0 |        0
288.25/288.36	c  288s |      23 |  3646060 |  2930438 |      942   7821 |        0 |        0
290.24/290.36	c  290s |      23 |  3668792 |  2948938 |      942   7860 |        0 |        0
292.24/292.37	c  292s |      23 |  3690782 |  2967038 |      942   7898 |        0 |        0
294.24/294.38	c  294s |      23 |  3713225 |  2985538 |      942   7937 |        0 |        0
296.24/296.39	c  296s |      23 |  3735522 |  3004038 |      942   7975 |        0 |        0
298.24/298.39	c  298s |      23 |  3757545 |  3022438 |      942   8014 |        0 |        0
300.24/300.40	c  300s |      23 |  3780898 |  3041438 |      942   8054 |        0 |        0
302.34/302.41	c  302s |      23 |  3806240 |  3061338 |      942   8096 |        0 |        0
304.33/304.42	c  304s |      23 |  3830142 |  3080338 |      942   8135 |        0 |        0
306.33/306.43	c  306s |      23 |  3853824 |  3099438 |      942   8175 |        0 |        0
308.34/308.43	c  308s |      23 |  3878421 |  3119138 |      942   8217 |        0 |        0
310.33/310.43	c  310s |      23 |  3901609 |  3138038 |      942   8256 |        0 |        0
312.34/312.43	c  312s |      23 |  3924211 |  3156438 |      942   8295 |        0 |        0
314.33/314.44	c  314s |      23 |  3947935 |  3175438 |      942   8334 |        0 |        0
316.33/316.44	c  316s |      23 |  3973208 |  3195138 |      942   8376 |        0 |        0
318.33/318.45	c  318s |      23 |  3997840 |  3214738 |      942   8416 |        0 |        0
320.33/320.45	c  320s |      23 |  4019801 |  3233138 |      942   8455 |        0 |        0
322.34/322.45	c  322s |      23 |  4044758 |  3252438 |      942   8495 |        0 |        0
324.33/324.46	c  324s |      23 |  4067977 |  3271238 |      942   8535 |        0 |        0
326.32/326.46	c  326s |      23 |  4090728 |  3289838 |      942   8573 |        0 |        0
328.32/328.47	c  328s |      23 |  4113184 |  3307938 |      942   8611 |        0 |        0
330.32/330.48	c  330s |      23 |  4134717 |  3325738 |      942   8649 |        0 |        0
332.32/332.49	c  332s |      23 |  4154800 |  3343038 |      942   8685 |        0 |        0
334.33/334.50	c  334s |      23 |  4173558 |  3359438 |     1037   8718 |        0 |        0
336.42/336.50	c  336s |      23 |  4193771 |  3376338 |     1037   8750 |        0 |        0
336.42/336.53	c  336s |      24 |  4194228 |  3376662 |     1037   8750 |        0 |        0
338.42/338.54	c  338s |      24 |  4218295 |  3395662 |     1037   8786 |        0 |        0
340.42/340.54	c  340s |      24 |  4243883 |  3415262 |     1037   8824 |        0 |        0
342.42/342.55	c  342s |      24 |  4267659 |  3434462 |     1037   8860 |        0 |        0
344.42/344.56	c  344s |      24 |  4287922 |  3451962 |     1037   8893 |        0 |        0
346.43/346.57	c  346s |      24 |  4311096 |  3470462 |     1037   8928 |        0 |        0
348.42/348.58	c  348s |      24 |  4334439 |  3488962 |     1037   8964 |        0 |        0
350.42/350.59	c  350s |      24 |  4355997 |  3507162 |     1037   8998 |        0 |        0
352.42/352.59	c  352s |      24 |  4379689 |  3525662 |     1037   9033 |        0 |        0
354.42/354.60	c  354s |      24 |  4399075 |  3542462 |     1037   9065 |        0 |        0
356.51/356.60	c  356s |      24 |  4420093 |  3559762 |     1037   9098 |        0 |        0
358.41/358.60	c  358s |      24 |  4441465 |  3577462 |     1037   9132 |        0 |        0
360.51/360.61	c  360s |      24 |  4462052 |  3594962 |     1037   9166 |        0 |        0
362.51/362.61	c  362s |      24 |  4485080 |  3613562 |     1037   9201 |        0 |        0
364.51/364.62	c  364s |      24 |  4507892 |  3632162 |     1037   9236 |        0 |        0
366.51/366.62	c  366s |      24 |  4531225 |  3650962 |     1037   9272 |        0 |        0
368.51/368.62	c  368s |      24 |  4554152 |  3669762 |     1037   9308 |        0 |        0
370.51/370.62	c  370s |      24 |  4576786 |  3688262 |     1037   9343 |        0 |        0
372.50/372.62	c  372s |      24 |  4598499 |  3706362 |     1037   9378 |        0 |        0
374.50/374.63	c  374s |      24 |  4620721 |  3724962 |     1037   9413 |        0 |        0
376.50/376.64	c  376s |      24 |  4643066 |  3743762 |     1037   9449 |        0 |        0
378.50/378.64	c  378s |      24 |  4667124 |  3762862 |     1037   9486 |        0 |        0
380.50/380.65	c  380s |      24 |  4690841 |  3781962 |     1037   9522 |        0 |        0
382.50/382.65	c  382s |      24 |  4716305 |  3802162 |     1037   9561 |        0 |        0
384.50/384.65	c  384s |      24 |  4740575 |  3821762 |     1037   9598 |        0 |        0
386.49/386.66	c  386s |      24 |  4765303 |  3841762 |     1037   9636 |        0 |        0
388.49/388.67	c  388s |      24 |  4789562 |  3861062 |     1037   9673 |        0 |        0
390.50/390.67	c  390s |      24 |  4812926 |  3880462 |     1037   9710 |        0 |        0
392.49/392.68	c  392s |      24 |  4834738 |  3899162 |     1037   9746 |        0 |        0
394.49/394.68	c  394s |      24 |  4858157 |  3918462 |     1037   9783 |        0 |        0
396.49/396.69	c  396s |      24 |  4882457 |  3937562 |     1037   9819 |        0 |        0
398.58/398.70	c  398s |      24 |  4905851 |  3956062 |     1037   9854 |        0 |        0
400.58/400.71	c  400s |      24 |  4928025 |  3974262 |     1037   9889 |        0 |        0
402.59/402.71	c  402s |      24 |  4949508 |  3992062 |     1037   9923 |        0 |        0
404.59/404.72	c  404s |      24 |  4974747 |  4011462 |     1037   9960 |        0 |        0
406.59/406.73	c  406s |      24 |  4999838 |  4031062 |     1037   9997 |        0 |        0
408.59/408.73	c  408s |      24 |  5024497 |  4050262 |     1037  10034 |        0 |        0
410.58/410.74	c  410s |      24 |  5047576 |  4068962 |     1037  10070 |        0 |        0
412.58/412.74	c  412s |      24 |  5072113 |  4088362 |     1037  10107 |        0 |        0
414.59/414.75	c  414s |      24 |  5097805 |  4108162 |     1037  10145 |        0 |        0
416.58/416.75	c  416s |      24 |  5120426 |  4126762 |     1037  10180 |        0 |        0
418.58/418.76	c  418s |      24 |  5143400 |  4145562 |     1037  10216 |        0 |        0
420.58/420.76	c  420s |      24 |  5167084 |  4164862 |     1037  10253 |        0 |        0
422.58/422.77	c  422s |      24 |  5190803 |  4183962 |     1037  10289 |        0 |        0
424.59/424.77	c  424s |      24 |  5214138 |  4202862 |     1037  10325 |        0 |        0
426.58/426.77	c  426s |      24 |  5237932 |  4221862 |     1037  10362 |        0 |        0
428.57/428.78	c  428s |      24 |  5262494 |  4241162 |     1037  10398 |        0 |        0
430.57/430.78	c  430s |      24 |  5287513 |  4260462 |     1037  10435 |        0 |        0
432.57/432.79	c  432s |      24 |  5310702 |  4278862 |     1037  10470 |        0 |        0
434.57/434.79	c  434s |      24 |  5334165 |  4297662 |     1037  10506 |        0 |        0
436.57/436.80	c  436s |      24 |  5358580 |  4316362 |     1037  10542 |        0 |        0
438.67/438.80	c  438s |      24 |  5384093 |  4336062 |     1037  10579 |        0 |        0
440.67/440.81	c  440s |      24 |  5407103 |  4354362 |     1037  10614 |        0 |        0
442.67/442.81	c  442s |      24 |  5429064 |  4372262 |     1037  10648 |        0 |        0
444.66/444.81	c  444s |      24 |  5452818 |  4390962 |     1037  10684 |        0 |        0
446.66/446.82	c  446s |      24 |  5471135 |  4407062 |     1037  10714 |        0 |        0
448.67/448.82	c  448s |      24 |  5493714 |  4425562 |     1037  10750 |        0 |        0
450.66/450.82	c  450s |      24 |  5516928 |  4444362 |     1037  10786 |        0 |        0
452.66/452.83	c  452s |      24 |  5539627 |  4463162 |     1037  10821 |        0 |        0
454.66/454.83	c  454s |      24 |  5561181 |  4481062 |     1037  10855 |        0 |        0
456.66/456.84	c  456s |      24 |  5583830 |  4499662 |     1037  10891 |        0 |        0
458.66/458.84	c  458s |      24 |  5607987 |  4519062 |     1037  10928 |        0 |        0
460.66/460.85	c  460s |      24 |  5630247 |  4537462 |     1037  10963 |        0 |        0
462.66/462.85	c  462s |      24 |  5651976 |  4555562 |     1037  10998 |        0 |        0
464.66/464.86	c  464s |      24 |  5677313 |  4575162 |     1037  11035 |        0 |        0
466.65/466.86	c  466s |      24 |  5703227 |  4594962 |     1037  11073 |        0 |        0
468.65/468.87	c  468s |      24 |  5727677 |  4614462 |     1037  11110 |        0 |        0
470.66/470.88	c  470s |      24 |  5753076 |  4634162 |     1037  11148 |        0 |        0
472.65/472.88	c  472s |      24 |  5777236 |  4653762 |     1037  11185 |        0 |        0
474.65/474.89	c  474s |      24 |  5802075 |  4673262 |     1037  11222 |        0 |        0
476.66/476.89	c  476s |      24 |  5828606 |  4693162 |     1037  11260 |        0 |        0
478.66/478.89	c  478s |      24 |  5853768 |  4712762 |     1037  11298 |        0 |        0
480.76/480.90	c  480s |      24 |  5878333 |  4732062 |     1037  11335 |        0 |        0
482.66/482.90	c  482s |      24 |  5902842 |  4751362 |     1037  11371 |        0 |        0
484.76/484.90	c  484s |      24 |  5927024 |  4770462 |     1037  11408 |        0 |        0
486.75/486.91	c  486s |      24 |  5953104 |  4790462 |     1037  11446 |        0 |        0
488.75/488.91	c  488s |      24 |  5978252 |  4809862 |     1037  11483 |        0 |        0
490.75/490.92	c  490s |      24 |  6003018 |  4829662 |     1037  11520 |        0 |        0
492.76/492.93	c  492s |      24 |  6026899 |  4848562 |     1037  11556 |        0 |        0
494.75/494.93	c  494s |      24 |  6051347 |  4867262 |     1037  11592 |        0 |        0
496.74/496.94	c  496s |      24 |  6074181 |  4885462 |     1037  11627 |        0 |        0
498.74/498.95	c  498s |      24 |  6098888 |  4904762 |     1037  11663 |        0 |        0
500.74/500.96	c  500s |      24 |  6124572 |  4924562 |     1037  11701 |        0 |        0
502.74/502.96	c  502s |      24 |  6148298 |  4943262 |     1037  11737 |        0 |        0
504.74/504.97	c  504s |      24 |  6172050 |  4961962 |     1037  11772 |        0 |        0
506.73/506.98	c  506s |      24 |  6196629 |  4980662 |     1037  11808 |        0 |        0
508.74/508.98	c  508s |      24 |  6221199 |  4999762 |     1037  11844 |        0 |        0
510.74/510.98	c  510s |      24 |  6245109 |  5018862 |     1037  11881 |        0 |        0
512.74/512.99	c  512s |      24 |  6267502 |  5036662 |     1141  11913 |        0 |        0
514.74/515.00	c  514s |      24 |  6288205 |  5053662 |     1141  11943 |        0 |        0
516.13/516.37	c  516s |      25 |  6302315 |  5065098 |     1141  11963 |        0 |        0
518.13/518.38	c  518s |      25 |  6324520 |  5083098 |     1141  11994 |        0 |        0
520.14/520.39	c  520s |      25 |  6348056 |  5101398 |     1141  12025 |        0 |        0
522.13/522.39	c  522s |      25 |  6371634 |  5119798 |     1141  12057 |        0 |        0
524.13/524.39	c  524s |      25 |  6394845 |  5138098 |     1141  12089 |        0 |        0
526.23/526.40	c  526s |      25 |  6418245 |  5156698 |     1141  12121 |        0 |        0
528.22/528.40	c  528s |      25 |  6441667 |  5174798 |     1141  12152 |        0 |        0
530.22/530.41	c  530s |      25 |  6465294 |  5193198 |     1141  12184 |        0 |        0
532.23/532.41	c  532s |      25 |  6489384 |  5211598 |     1141  12216 |        0 |        0
534.22/534.41	c  534s |      25 |  6510105 |  5228598 |     1141  12245 |        0 |        0
536.22/536.42	c  536s |      25 |  6533359 |  5246898 |     1141  12277 |        0 |        0
538.22/538.42	c  538s |      25 |  6558455 |  5265998 |     1141  12310 |        0 |        0
540.21/540.43	c  540s |      25 |  6582457 |  5284698 |     1141  12343 |        0 |        0
542.22/542.43	c  542s |      25 |  6605841 |  5303098 |     1141  12375 |        0 |        0
544.21/544.43	c  544s |      25 |  6631045 |  5322098 |     1141  12408 |        0 |        0
546.21/546.44	c  546s |      25 |  6655168 |  5341098 |     1141  12441 |        0 |        0
548.21/548.44	c  548s |      25 |  6681262 |  5360798 |     1141  12475 |        0 |        0
550.21/550.45	c  550s |      25 |  6707068 |  5380698 |     1141  12510 |        0 |        0
552.21/552.46	c  552s |      25 |  6728336 |  5398698 |     1141  12541 |        0 |        0
554.21/554.47	c  554s |      25 |  6753110 |  5418198 |     1141  12575 |        0 |        0
556.20/556.47	c  556s |      25 |  6778681 |  5437798 |     1141  12609 |        0 |        0
558.20/558.48	c  558s |      25 |  6803254 |  5457198 |     1141  12642 |        0 |        0
560.20/560.48	c  560s |      25 |  6830432 |  5477598 |     1141  12678 |        0 |        0
562.20/562.49	c  562s |      25 |  6856107 |  5497198 |     1141  12712 |        0 |        0
564.22/564.49	c  564s |      25 |  6882451 |  5517098 |     1141  12747 |        0 |        0
566.20/566.50	c  566s |      25 |  6906755 |  5536398 |     1141  12780 |        0 |        0
568.30/568.50	c  568s |      25 |  6928740 |  5554398 |     1141  12812 |        0 |        0
570.30/570.50	c  570s |      25 |  6953359 |  5573798 |     1141  12845 |        0 |        0
572.30/572.51	c  572s |      25 |  6976318 |  5592398 |     1141  12878 |        0 |        0
574.30/574.51	c  574s |      25 |  6998482 |  5610498 |     1141  12909 |        0 |        0
576.30/576.52	c  576s |      25 |  7022608 |  5629898 |     1141  12943 |        0 |        0
578.29/578.52	c  578s |      25 |  7047300 |  5649298 |     1141  12977 |        0 |        0
580.29/580.53	c  580s |      25 |  7073283 |  5669198 |     1141  13011 |        0 |        0
582.29/582.53	c  582s |      25 |  7099111 |  5688798 |     1141  13045 |        0 |        0
584.29/584.54	c  584s |      25 |  7122348 |  5707498 |     1141  13078 |        0 |        0
586.28/586.55	c  586s |      25 |  7142929 |  5724798 |     1141  13108 |        0 |        0
588.29/588.56	c  588s |      25 |  7164935 |  5742698 |     1141  13139 |        0 |        0
590.28/590.57	c  590s |      25 |  7186554 |  5760498 |     1141  13169 |        0 |        0
592.28/592.57	c  592s |      25 |  7207610 |  5777798 |     1141  13200 |        0 |        0
594.28/594.58	c  594s |      25 |  7228513 |  5795498 |     1141  13230 |        0 |        0
596.28/596.58	c  596s |      25 |  7250493 |  5813698 |     1141  13262 |        0 |        0
598.29/598.59	c  598s |      25 |  7273165 |  5831698 |     1141  13293 |        0 |        0
600.28/600.59	c  600s |      25 |  7296900 |  5850398 |     1141  13325 |        0 |        0
602.38/602.60	c  602s |      25 |  7320684 |  5868898 |     1141  13358 |        0 |        0
604.38/604.60	c  604s |      25 |  7342794 |  5886998 |     1141  13389 |        0 |        0
606.37/606.62	c  606s |      25 |  7364337 |  5904698 |     1141  13420 |        0 |        0
608.37/608.62	c  608s |      25 |  7388379 |  5923198 |     1141  13452 |        0 |        0
610.38/610.63	c  610s |      25 |  7411575 |  5941698 |     1141  13484 |        0 |        0
612.37/612.63	c  612s |      25 |  7433205 |  5959798 |     1141  13515 |        0 |        0
614.37/614.63	c  614s |      25 |  7455914 |  5978198 |     1141  13547 |        0 |        0
616.37/616.63	c  616s |      25 |  7478613 |  5996498 |     1141  13579 |        0 |        0
618.38/618.63	c  618s |      25 |  7500533 |  6013998 |     1141  13610 |        0 |        0
620.37/620.64	c  620s |      25 |  7522698 |  6031998 |     1141  13641 |        0 |        0
622.38/622.65	c  622s |      25 |  7545033 |  6050298 |     1141  13673 |        0 |        0
624.37/624.66	c  624s |      25 |  7566799 |  6068298 |     1141  13704 |        0 |        0
626.37/626.67	c  626s |      25 |  7589798 |  6086998 |     1141  13736 |        0 |        0
628.37/628.67	c  628s |      25 |  7611055 |  6104598 |     1141  13767 |        0 |        0
630.37/630.67	c  630s |      25 |  7632784 |  6122198 |     1141  13798 |        0 |        0
632.37/632.67	c  632s |      25 |  7653431 |  6139398 |     1141  13827 |        0 |        0
634.37/634.69	c  634s |      25 |  7674748 |  6156898 |     1141  13858 |        0 |        0
636.36/636.69	c  636s |      25 |  7696392 |  6174898 |     1141  13889 |        0 |        0
638.36/638.69	c  638s |      25 |  7716916 |  6192498 |     1141  13920 |        0 |        0
640.36/640.69	c  640s |      25 |  7737957 |  6209898 |     1141  13950 |        0 |        0
642.46/642.70	c  642s |      25 |  7761967 |  6228298 |     1141  13982 |        0 |        0
644.47/644.71	c  644s |      25 |  7783691 |  6246098 |     1141  14013 |        0 |        0
646.45/646.71	c  646s |      25 |  7808032 |  6264998 |     1141  14045 |        0 |        0
648.45/648.72	c  648s |      25 |  7832568 |  6283898 |     1141  14078 |        0 |        0
650.45/650.72	c  650s |      25 |  7852349 |  6300898 |     1141  14108 |        0 |        0
652.45/652.73	c  652s |      25 |  7876245 |  6319898 |     1141  14141 |        0 |        0
654.45/654.74	c  654s |      25 |  7900380 |  6338598 |     1141  14174 |        0 |        0
656.45/656.74	c  656s |      25 |  7924644 |  6357298 |     1141  14206 |        0 |        0
658.45/658.75	c  658s |      25 |  7947449 |  6375498 |     1141  14238 |        0 |        0
660.45/660.76	c  660s |      25 |  7968955 |  6393098 |     1141  14269 |        0 |        0
662.45/662.76	c  662s |      25 |  7991210 |  6411298 |     1141  14300 |        0 |        0
664.45/664.77	c  664s |      25 |  8015197 |  6430598 |     1141  14334 |        0 |        0
666.46/666.77	c  666s |      25 |  8039694 |  6449598 |     1141  14367 |        0 |        0
668.45/668.77	c  668s |      25 |  8064687 |  6468698 |     1141  14400 |        0 |        0
670.45/670.78	c  670s |      25 |  8089280 |  6487898 |     1141  14434 |        0 |        0
672.45/672.79	c  672s |      25 |  8110143 |  6505298 |     1141  14464 |        0 |        0
674.45/674.79	c  674s |      25 |  8131203 |  6522598 |     1141  14494 |        0 |        0
676.54/676.80	c  676s |      25 |  8153905 |  6540498 |     1141  14524 |        0 |        0
678.55/678.81	c  678s |      25 |  8176674 |  6558498 |     1141  14556 |        0 |        0
680.54/680.82	c  680s |      25 |  8199824 |  6576798 |     1141  14587 |        0 |        0
682.54/682.82	c  682s |      25 |  8222653 |  6594898 |     1141  14619 |        0 |        0
684.54/684.83	c  684s |      25 |  8246618 |  6613598 |     1141  14651 |        0 |        0
686.53/686.84	c  686s |      25 |  8266219 |  6630098 |     1141  14680 |        0 |        0
688.53/688.84	c  688s |      25 |  8288180 |  6647598 |     1141  14710 |        0 |        0
690.54/690.85	c  690s |      25 |  8308864 |  6664498 |     1141  14739 |        0 |        0
692.53/692.85	c  692s |      25 |  8328572 |  6681298 |     1141  14769 |        0 |        0
694.53/694.85	c  694s |      25 |  8349690 |  6698998 |     1141  14799 |        0 |        0
696.53/696.86	c  696s |      25 |  8372621 |  6717298 |     1141  14831 |        0 |        0
698.53/698.86	c  698s |      25 |  8394536 |  6735398 |     1141  14863 |        0 |        0
700.53/700.86	c  700s |      25 |  8416432 |  6753398 |     1141  14894 |        0 |        0
702.53/702.87	c  702s |      25 |  8438702 |  6771398 |     1141  14925 |        0 |        0
704.53/704.87	c  704s |      25 |  8460382 |  6788898 |     1141  14955 |        0 |        0
706.53/706.88	c  706s |      25 |  8482795 |  6807298 |     1141  14987 |        0 |        0
708.53/708.89	c  708s |      25 |  8505486 |  6825798 |     1141  15019 |        0 |        0
710.53/710.89	c  710s |      25 |  8528734 |  6844298 |     1141  15052 |        0 |        0
712.53/712.90	c  712s |      25 |  8551589 |  6862898 |     1141  15084 |        0 |        0
714.63/714.90	c  714s |      25 |  8572988 |  6880998 |     1141  15115 |        0 |        0
716.62/716.91	c  716s |      25 |  8595110 |  6899298 |     1141  15147 |        0 |        0
718.62/718.91	c  718s |      25 |  8618263 |  6918098 |     1141  15180 |        0 |        0
720.62/720.92	c  720s |      25 |  8642044 |  6936698 |     1141  15212 |        0 |        0
722.62/722.93	c  722s |      25 |  8663948 |  6954798 |     1141  15243 |        0 |        0
724.62/724.94	c  724s |      25 |  8684652 |  6971998 |     1141  15273 |        0 |        0
726.61/726.94	c  726s |      25 |  8707383 |  6989998 |     1141  15304 |        0 |        0
728.61/728.95	c  728s |      25 |  8729983 |  7008498 |     1141  15336 |        0 |        0
730.61/730.95	c  730s |      25 |  8754511 |  7027498 |     1141  15370 |        0 |        0
732.61/732.95	c  732s |      25 |  8777008 |  7045198 |     1141  15400 |        0 |        0
734.61/734.96	c  734s |      25 |  8798894 |  7063098 |     1141  15431 |        0 |        0
736.60/736.96	c  736s |      25 |  8823282 |  7081698 |     1141  15463 |        0 |        0
738.60/738.97	c  738s |      25 |  8848146 |  7100298 |     1141  15496 |        0 |        0
740.60/740.98	c  740s |      25 |  8871462 |  7118598 |     1141  15527 |        0 |        0
742.60/742.98	c  742s |      25 |  8895268 |  7137498 |     1141  15560 |        0 |        0
744.61/744.98	c  744s |      25 |  8918061 |  7155798 |     1141  15592 |        0 |        0
746.61/746.99	c  746s |      25 |  8938428 |  7172898 |     1141  15621 |        0 |        0
748.60/749.00	c  748s |      25 |  8961455 |  7191498 |     1141  15654 |        0 |        0
750.70/751.01	c  750s |      25 |  8983736 |  7209698 |     1141  15685 |        0 |        0
752.70/753.01	c  752s |      25 |  9005852 |  7227598 |     1141  15717 |        0 |        0
754.70/755.02	c  755s |      25 |  9027220 |  7244898 |     1141  15747 |        0 |        0
756.70/757.02	c  757s |      25 |  9049373 |  7262898 |     1141  15778 |        0 |        0
758.70/759.02	c  759s |      25 |  9069642 |  7279798 |     1141  15807 |        0 |        0
760.69/761.02	c  761s |      25 |  9092818 |  7298198 |     1141  15839 |        0 |        0
762.69/763.03	c  763s |      25 |  9117629 |  7317598 |     1141  15873 |        0 |        0
764.69/765.04	c  765s |      25 |  9139294 |  7335198 |     1141  15903 |        0 |        0
766.69/767.05	c  767s |      25 |  9162399 |  7353498 |     1141  15935 |        0 |        0
768.69/769.05	c  769s |      25 |  9184429 |  7370998 |     1141  15966 |        0 |        0
770.68/771.06	c  771s |      25 |  9205705 |  7388198 |     1141  15996 |        0 |        0
772.68/773.06	c  773s |      25 |  9228192 |  7405898 |     1141  16026 |        0 |        0
774.68/775.07	c  775s |      25 |  9251318 |  7424298 |     1141  16058 |        0 |        0
776.68/777.08	c  777s |      25 |  9275628 |  7442898 |     1141  16091 |        0 |        0
778.68/779.08	c  779s |      25 |  9300810 |  7461698 |     1141  16123 |        0 |        0
780.69/781.09	c  781s |      25 |  9322671 |  7479098 |     1141  16153 |        0 |        0
782.69/783.10	c  783s |      25 |  9342186 |  7495798 |     1141  16182 |        0 |        0
784.78/785.10	c  785s |      25 |  9364408 |  7513998 |     1141  16214 |        0 |        0
786.78/787.11	c  787s |      25 |  9384136 |  7530898 |     1141  16243 |        0 |        0
788.78/789.11	c  789s |      25 |  9402956 |  7546998 |     1256  16271 |        0 |        0
790.78/791.12	c  791s |      25 |  9424397 |  7564098 |     1256  16298 |        0 |        0
792.78/793.13	c  793s |      25 |  9445290 |  7580898 |     1256  16324 |        0 |        0
794.68/795.03	c  795s |      26 |  9466556 |  7597752 |     1256  16351 |        0 |        0
796.68/797.03	c  797s |      26 |  9488108 |  7614952 |     1256  16378 |        0 |        0
798.68/799.03	c  799s |      26 |  9509838 |  7632452 |     1256  16405 |        0 |        0
800.68/801.03	c  801s |      26 |  9531503 |  7649952 |     1256  16433 |        0 |        0
802.68/803.04	c  803s |      26 |  9552594 |  7667152 |     1256  16460 |        0 |        0
804.67/805.05	c  805s |      26 |  9572903 |  7683652 |     1256  16486 |        0 |        0
806.67/807.05	c  807s |      26 |  9594222 |  7700952 |     1256  16513 |        0 |        0
808.67/809.05	c  809s |      26 |  9614913 |  7717652 |     1256  16539 |        0 |        0
810.66/811.06	c  811s |      26 |  9633503 |  7733752 |     1256  16564 |        0 |        0
812.67/813.06	c  813s |      26 |  9654535 |  7750852 |     1256  16591 |        0 |        0
814.66/815.06	c  815s |      26 |  9678167 |  7769252 |     1256  16620 |        0 |        0
816.66/817.07	c  817s |      26 |  9701823 |  7787152 |     1256  16649 |        0 |        0
818.66/819.08	c  819s |      26 |  9723508 |  7804252 |     1256  16675 |        0 |        0
820.66/821.09	c  821s |      26 |  9746472 |  7821952 |     1256  16703 |        0 |        0
822.76/823.10	c  823s |      26 |  9769482 |  7839352 |     1256  16731 |        0 |        0
824.67/825.10	c  825s |      26 |  9792308 |  7856652 |     1256  16758 |        0 |        0
826.76/827.10	c  827s |      26 |  9814098 |  7873152 |     1256  16784 |        0 |        0
828.76/829.11	c  829s |      26 |  9835337 |  7890252 |     1256  16811 |        0 |        0
830.76/831.12	c  831s |      26 |  9856167 |  7907352 |     1256  16838 |        0 |        0
832.76/833.13	c  833s |      26 |  9875912 |  7923752 |     1256  16863 |        0 |        0
834.76/835.13	c  835s |      26 |  9896816 |  7940852 |     1256  16890 |        0 |        0
836.75/837.13	c  837s |      26 |  9918772 |  7957952 |     1256  16917 |        0 |        0
838.75/839.14	c  839s |      26 |  9941083 |  7975652 |     1256  16945 |        0 |        0
840.75/841.15	c  841s |      26 |  9962611 |  7992652 |     1256  16972 |        0 |        0
842.75/843.15	c  843s |      26 |  9984202 |  8009552 |     1256  16999 |        0 |        0
844.74/845.16	c  845s |      26 | 10004610 |  8026252 |     1256  17025 |        0 |        0
846.75/847.17	c  847s |      26 | 10027310 |  8043952 |     1256  17053 |        0 |        0
848.74/849.17	c  849s |      26 | 10046881 |  8060252 |     1256  17079 |        0 |        0
850.74/851.18	c  851s |      26 | 10068774 |  8077452 |     1256  17106 |        0 |        0
852.74/853.19	c  853s |      26 | 10090346 |  8094852 |     1256  17133 |        0 |        0
854.84/855.20	c  855s |      26 | 10111746 |  8111952 |     1256  17160 |        0 |        0
856.83/857.20	c  857s |      26 | 10132344 |  8128652 |     1256  17187 |        0 |        0
858.84/859.21	c  859s |      26 | 10155043 |  8146252 |     1256  17215 |        0 |        0
860.83/861.21	c  861s |      26 | 10177506 |  8163552 |     1256  17242 |        0 |        0
862.83/863.22	c  863s |      26 | 10198806 |  8180652 |     1256  17269 |        0 |        0
864.83/865.22	c  865s |      26 | 10222120 |  8198252 |     1256  17297 |        0 |        0
866.83/867.22	c  867s |      26 | 10243840 |  8215752 |     1256  17324 |        0 |        0
868.83/869.22	c  869s |      26 | 10268201 |  8233652 |     1256  17352 |        0 |        0
870.83/871.22	c  871s |      26 | 10291272 |  8251652 |     1256  17381 |        0 |        0
872.82/873.23	c  873s |      26 | 10311538 |  8268452 |     1256  17407 |        0 |        0
874.82/875.23	c  875s |      26 | 10335458 |  8286252 |     1256  17435 |        0 |        0
876.82/877.25	c  877s |      26 | 10358890 |  8304152 |     1256  17463 |        0 |        0
878.82/879.25	c  879s |      26 | 10379796 |  8321252 |     1256  17490 |        0 |        0
880.83/881.25	c  881s |      26 | 10401723 |  8338652 |     1256  17518 |        0 |        0
882.82/883.25	c  883s |      26 | 10423208 |  8355952 |     1256  17545 |        0 |        0
884.82/885.26	c  885s |      26 | 10443902 |  8373052 |     1256  17572 |        0 |        0
886.82/887.26	c  887s |      26 | 10467369 |  8391252 |     1256  17601 |        0 |        0
888.81/889.27	c  889s |      26 | 10491337 |  8409452 |     1256  17629 |        0 |        0
890.81/891.27	c  891s |      26 | 10513935 |  8427152 |     1256  17657 |        0 |        0
892.82/893.29	c  893s |      26 | 10537344 |  8445252 |     1256  17686 |        0 |        0
894.81/895.29	c  895s |      26 | 10560913 |  8463352 |     1256  17714 |        0 |        0
896.81/897.30	c  897s |      26 | 10585009 |  8481952 |     1256  17743 |        0 |        0
898.91/899.31	c  899s |      26 | 10607830 |  8499852 |     1256  17772 |        0 |        0
900.91/901.32	c  901s |      26 | 10630280 |  8517352 |     1256  17799 |        0 |        0
902.91/903.32	c  903s |      26 | 10652951 |  8535252 |     1256  17827 |        0 |        0
904.91/905.34	c  905s |      26 | 10675867 |  8553152 |     1256  17856 |        0 |        0
906.90/907.34	c  907s |      26 | 10698516 |  8570852 |     1256  17883 |        0 |        0
908.90/909.34	c  909s |      26 | 10720698 |  8588052 |     1256  17910 |        0 |        0
910.90/911.35	c  911s |      26 | 10742546 |  8605352 |     1256  17938 |        0 |        0
912.90/913.35	c  913s |      26 | 10765038 |  8623052 |     1256  17966 |        0 |        0
914.90/915.37	c  915s |      26 | 10787886 |  8640852 |     1256  17994 |        0 |        0
916.89/917.37	c  917s |      26 | 10811304 |  8659052 |     1256  18022 |        0 |        0
918.89/919.37	c  919s |      26 | 10833206 |  8676652 |     1256  18050 |        0 |        0
920.89/921.38	c  921s |      26 | 10852659 |  8693052 |     1256  18076 |        0 |        0
922.89/923.39	c  923s |      26 | 10875390 |  8710452 |     1256  18103 |        0 |        0
924.99/925.40	c  925s |      26 | 10895862 |  8726852 |     1256  18129 |        0 |        0
926.99/927.41	c  927s |      26 | 10915240 |  8743152 |     1256  18154 |        0 |        0
928.99/929.42	c  929s |      26 | 10937777 |  8760452 |     1256  18182 |        0 |        0
930.99/931.43	c  931s |      26 | 10958714 |  8777352 |     1256  18208 |        0 |        0
932.99/933.44	c  933s |      26 | 10980219 |  8794852 |     1256  18236 |        0 |        0
934.98/935.45	c  935s |      26 | 11002254 |  8812252 |     1256  18263 |        0 |        0
936.98/937.45	c  937s |      26 | 11023732 |  8829352 |     1256  18290 |        0 |        0
938.99/939.45	c  939s |      26 | 11044167 |  8846152 |     1256  18317 |        0 |        0
940.98/941.46	c  941s |      26 | 11067641 |  8864252 |     1256  18345 |        0 |        0
942.98/943.48	c  943s |      26 | 11088035 |  8881352 |     1256  18372 |        1 |        3
945.09/945.50	c  945s |      26 | 11106785 |  8897352 |     1256  18397 |        1 |        3
947.09/947.50	c  947s |      26 | 11126855 |  8913852 |     1256  18422 |        1 |        3
949.09/949.51	c  949s |      26 | 11144731 |  8928952 |     1256  18446 |        1 |        3
951.09/951.51	c  951s |      26 | 11162712 |  8944252 |     1256  18470 |        1 |        3
953.09/953.52	c  953s |      26 | 11180640 |  8959852 |     1256  18494 |        1 |        3
955.09/955.53	c  955s |      26 | 11200300 |  8976352 |     1256  18520 |        1 |        3
957.09/957.53	c  957s |      26 | 11220749 |  8993352 |     1256  18547 |        1 |        3
959.09/959.54	c  959s |      26 | 11239969 |  9009752 |     1256  18573 |        1 |        3
961.09/961.54	c  961s |      26 | 11260665 |  9026452 |     1256  18599 |        1 |        3
963.09/963.55	c  963s |      26 | 11281539 |  9042952 |     1256  18625 |        1 |        3
965.08/965.55	c  965s |      26 | 11302156 |  9059852 |     1256  18652 |        1 |        3
967.08/967.56	c  967s |      26 | 11324955 |  9077852 |     1256  18680 |        1 |        3
969.08/969.56	c  969s |      26 | 11345684 |  9094552 |     1256  18707 |        1 |        3
971.08/971.56	c  971s |      26 | 11366148 |  9111052 |     1256  18733 |        1 |        3
973.09/973.57	c  973s |      26 | 11386770 |  9127652 |     1256  18759 |        1 |        3
975.08/975.58	c  975s |      26 | 11407732 |  9144552 |     1256  18785 |        1 |        3
977.08/977.59	c  977s |      26 | 11430128 |  9161852 |     1256  18813 |        1 |        3
979.18/979.60	c  979s |      26 | 11449472 |  9178252 |     1256  18839 |        1 |        3
981.18/981.60	c  981s |      26 | 11468863 |  9194552 |     1256  18864 |        1 |        3
983.18/983.61	c  983s |      26 | 11490182 |  9211152 |     1256  18890 |        1 |        3
985.19/985.61	c  985s |      26 | 11508911 |  9226952 |     1256  18915 |        1 |        3
987.18/987.63	c  987s |      26 | 11528891 |  9243652 |     1256  18941 |        1 |        3
989.18/989.64	c  989s |      26 | 11550343 |  9261252 |     1256  18969 |        1 |        3
991.18/991.64	c  991s |      26 | 11569995 |  9277452 |     1256  18995 |        1 |        3
993.18/993.65	c  993s |      26 | 11587347 |  9292352 |     1256  19018 |        1 |        3
995.18/995.66	c  995s |      26 | 11604659 |  9307252 |     1256  19042 |        1 |        3
997.18/997.67	c  997s |      26 | 11622318 |  9322152 |     1256  19065 |        1 |        3
999.18/999.68	c  999s |      26 | 11641146 |  9337652 |     1256  19089 |        1 |        3
1001.17/1001.69	c 1001s |      26 | 11660178 |  9353252 |     1256  19114 |        1 |        3
1003.17/1003.69	c 1003s |      26 | 11677258 |  9368152 |     1256  19137 |        1 |        3
1005.17/1005.69	c 1005s |      26 | 11697072 |  9384052 |     1256  19162 |        1 |        3
1007.18/1007.69	c 1007s |      26 | 11717266 |  9400352 |     1256  19188 |        1 |        3
1009.27/1009.70	c 1009s |      26 | 11738045 |  9416752 |     1256  19214 |        1 |        3
1011.27/1011.71	c 1011s |      26 | 11759477 |  9433552 |     1256  19240 |        1 |        3
1013.27/1013.72	c 1013s |      26 | 11777538 |  9448852 |     1256  19264 |        1 |        3
1015.27/1015.73	c 1015s |      26 | 11797288 |  9464452 |     1256  19289 |        1 |        3
1017.27/1017.73	c 1017s |      26 | 11815963 |  9479752 |     1256  19313 |        1 |        3
1019.28/1019.74	c 1019s |      26 | 11835853 |  9495852 |     1256  19338 |        1 |        3
1021.27/1021.75	c 1021s |      26 | 11854690 |  9511352 |     1256  19363 |        1 |        3
1023.27/1023.75	c 1023s |      26 | 11872966 |  9526552 |     1256  19386 |        1 |        3
1025.27/1025.76	c 1025s |      26 | 11892719 |  9542952 |     1256  19412 |        1 |        3
1027.27/1027.77	c 1027s |      26 | 11911418 |  9558752 |     1256  19437 |        1 |        3
1029.28/1029.77	c 1029s |      26 | 11930854 |  9574852 |     1256  19463 |        1 |        3
1031.27/1031.78	c 1031s |      26 | 11950690 |  9590952 |     1256  19488 |        1 |        3
1033.27/1033.79	c 1033s |      26 | 11967666 |  9605552 |     1256  19511 |        1 |        3
1035.27/1035.79	c 1035s |      26 | 11987258 |  9621252 |     1256  19536 |        1 |        3
1037.27/1037.79	c 1037s |      26 | 12006769 |  9637052 |     1256  19561 |        1 |        3
1039.27/1039.79	c 1039s |      26 | 12024428 |  9652252 |     1256  19584 |        1 |        3
1041.27/1041.80	c 1041s |      26 | 12041753 |  9666852 |     1256  19607 |        1 |        3
1043.37/1043.81	c 1043s |      26 | 12059627 |  9681852 |     1256  19631 |        1 |        3
1045.37/1045.82	c 1045s |      26 | 12077622 |  9696852 |     1256  19655 |        1 |        3
1047.37/1047.82	c 1047s |      26 | 12094994 |  9711852 |     1256  19678 |        1 |        3
1049.37/1049.83	c 1049s |      26 | 12113094 |  9727052 |     1256  19702 |        1 |        3
1051.37/1051.84	c 1051s |      26 | 12131953 |  9742752 |     1256  19727 |        1 |        3
1053.37/1053.84	c 1053s |      26 | 12148758 |  9757352 |     1256  19750 |        1 |        3
1055.36/1055.86	c 1055s |      26 | 12166139 |  9772152 |     1256  19773 |        1 |        3
1057.36/1057.86	c 1057s |      26 | 12182614 |  9786552 |     1256  19795 |        1 |        3
1059.36/1059.87	c 1059s |      26 | 12198253 |  9800352 |     1256  19817 |        1 |        3
1061.36/1061.87	c 1061s |      26 | 12215487 |  9815152 |     1256  19840 |        1 |        3
1063.37/1063.87	c 1063s |      26 | 12233408 |  9830352 |     1256  19864 |        1 |        3
1065.36/1065.88	c 1065s |      26 | 12250616 |  9845052 |     1256  19887 |        1 |        3
1067.36/1067.89	c 1067s |      26 | 12268152 |  9860152 |     1256  19911 |        1 |        3
1069.46/1069.90	c 1069s |      26 | 12285050 |  9874952 |     1256  19934 |        1 |        3
1071.46/1071.90	c 1071s |      26 | 12302926 |  9889952 |     1256  19958 |        1 |        3
1073.46/1073.90	c 1073s |      26 | 12320066 |  9904752 |     1256  19981 |        1 |        3
1075.47/1075.91	c 1075s |      26 | 12337953 |  9919952 |     1256  20005 |        1 |        3
1077.46/1077.92	c 1077s |      26 | 12354899 |  9934452 |     1256  20028 |        1 |        3
1079.46/1079.93	c 1079s |      26 | 12373574 |  9950052 |     1256  20052 |        1 |        3
1081.46/1081.93	c 1081s |      26 | 12391443 |  9965452 |     1256  20077 |        1 |        3
1083.47/1083.94	c 1083s |      26 | 12409123 |  9980852 |     1256  20101 |        1 |        3
1085.47/1085.95	c 1085s |      26 | 12426608 |  9995852 |     1256  20124 |        1 |        3
1087.48/1087.96	c 1087s |      26 | 12442184 | 10009852 |     1256  20146 |        1 |        3
1089.47/1089.96	c 1089s |      26 | 12459194 | 10024452 |     1256  20169 |        1 |        3
1091.47/1091.97	c 1091s |      26 | 12476527 | 10039552 |     1256  20193 |        1 |        3
1093.47/1093.98	c 1093s |      26 | 12493012 | 10054352 |     1256  20216 |        1 |        3
1095.47/1095.99	c 1095s |      26 | 12511454 | 10070052 |     1256  20241 |        1 |        3
1097.57/1098.00	c 1097s |      26 | 12528873 | 10085052 |     1256  20265 |        1 |        3
1099.57/1100.01	c 1099s |      26 | 12546518 | 10099952 |     1256  20288 |        1 |        3
1101.56/1102.02	c 1102s |      26 | 12564489 | 10115152 |     1256  20312 |        1 |        3
1103.56/1104.03	c 1104s |      26 | 12582381 | 10130452 |     1256  20336 |        1 |        3
1105.56/1106.03	c 1106s |      26 | 12598706 | 10144852 |     1256  20359 |        1 |        3
1107.56/1108.04	c 1108s |      26 | 12616067 | 10159552 |     1256  20382 |        1 |        3
1109.57/1110.05	c 1110s |      26 | 12634382 | 10175252 |     1256  20406 |        1 |        3
1111.56/1112.05	c 1112s |      26 | 12651580 | 10190052 |     1256  20430 |        1 |        3
1113.56/1114.05	c 1114s |      26 | 12668792 | 10204952 |     1256  20453 |        1 |        3
1115.56/1116.06	c 1116s |      26 | 12686548 | 10220052 |     1256  20477 |        1 |        3
1117.56/1118.06	c 1118s |      26 | 12704397 | 10234952 |     1256  20500 |        1 |        3
1119.56/1120.06	c 1120s |      26 | 12721421 | 10249452 |     1256  20523 |        1 |        3
1121.56/1122.07	c 1122s |      26 | 12738316 | 10264152 |     1256  20546 |        1 |        3
1123.56/1124.08	c 1124s |      26 | 12757148 | 10279452 |     1256  20570 |        1 |        3
1125.56/1126.09	c 1126s |      26 | 12774640 | 10294652 |     1256  20594 |        1 |        3
1127.66/1128.10	c 1128s |      26 | 12792171 | 10309552 |     1256  20618 |        1 |        3
1129.66/1130.11	c 1130s |      26 | 12810838 | 10324952 |     1256  20642 |        1 |        3
1131.66/1132.12	c 1132s |      26 | 12828339 | 10340052 |     1256  20666 |        1 |        3
1133.66/1134.13	c 1134s |      26 | 12846628 | 10355252 |     1256  20690 |        1 |        3
1135.66/1136.14	c 1136s |      26 | 12866382 | 10371252 |     1256  20715 |        1 |        3
1137.66/1138.14	c 1138s |      26 | 12883871 | 10386052 |     1256  20738 |        1 |        3
1139.65/1140.14	c 1140s |      26 | 12901711 | 10401252 |     1256  20762 |        1 |        3
1141.65/1142.15	c 1142s |      26 | 12921367 | 10416952 |     1256  20786 |        1 |        3
1143.66/1144.16	c 1144s |      26 | 12939656 | 10432552 |     1256  20811 |        1 |        3
1145.65/1146.17	c 1146s |      26 | 12957770 | 10447852 |     1256  20835 |        1 |        3
1147.65/1148.17	c 1148s |      26 | 12975472 | 10463152 |     1256  20859 |        1 |        3
1149.65/1150.18	c 1150s |      26 | 12994247 | 10478952 |     1256  20884 |        1 |        3
1151.66/1152.19	c 1152s |      26 | 13015052 | 10495752 |     1256  20910 |        1 |        3
1153.76/1154.20	c 1154s |      26 | 13033340 | 10511352 |     1256  20935 |        1 |        3
1155.66/1156.20	c 1156s |      26 | 13053667 | 10527852 |     1256  20961 |        1 |        3
1157.76/1158.21	c 1158s |      26 | 13072772 | 10543652 |     1256  20985 |        1 |        3
1159.76/1160.22	c 1160s |      26 | 13090718 | 10558652 |     1256  21009 |        1 |        3
1161.76/1162.22	c 1162s |      26 | 13107974 | 10573352 |     1256  21032 |        1 |        3
1163.76/1164.22	c 1164s |      26 | 13125019 | 10587952 |     1256  21055 |        1 |        3
1165.75/1166.22	c 1166s |      26 | 13141930 | 10602652 |     1256  21078 |        1 |        3
1167.76/1168.23	c 1168s |      26 | 13158957 | 10617452 |     1256  21101 |        1 |        3
1169.75/1170.23	c 1170s |      26 | 13176742 | 10632552 |     1256  21125 |        1 |        3
1171.75/1172.24	c 1172s |      26 | 13197206 | 10648952 |     1256  21151 |        1 |        3
1173.75/1174.24	c 1174s |      26 | 13215128 | 10663952 |     1256  21175 |        1 |        3
1175.75/1176.25	c 1176s |      26 | 13232506 | 10678852 |     1256  21198 |        1 |        3
1177.76/1178.26	c 1178s |      26 | 13251011 | 10693952 |     1256  21222 |        1 |        3
1179.75/1180.27	c 1180s |      26 | 13273021 | 10710952 |     1256  21248 |        1 |        3
1181.75/1182.27	c 1182s |      26 | 13294082 | 10727852 |     1256  21275 |        1 |        3
1183.75/1184.27	c 1184s |      26 | 13314298 | 10744252 |     1256  21301 |        1 |        3
1185.75/1186.28	c 1186s |      26 | 13333475 | 10759952 |     1256  21326 |        1 |        3
1187.75/1188.28	c 1188s |      26 | 13352600 | 10775752 |     1256  21351 |        1 |        3
1189.75/1190.29	c 1190s |      26 | 13371884 | 10791652 |     1256  21376 |        1 |        3
1191.85/1192.30	c 1192s |      26 | 13391519 | 10807752 |     1256  21401 |        1 |        3
1193.84/1194.30	c 1194s |      26 | 13411801 | 10824152 |     1256  21427 |        1 |        3
1195.84/1196.30	c 1196s |      26 | 13430793 | 10839952 |     1256  21452 |        1 |        3
1197.84/1198.31	c 1198s |      26 | 13447148 | 10854552 |     1256  21475 |        1 |        3
1199.84/1200.32	c 1200s |      26 | 13464356 | 10869352 |     1256  21498 |        1 |        3
1201.86/1202.33	c 1202s |      26 | 13483715 | 10885452 |     1256  21523 |        1 |        3
1203.85/1204.33	c 1204s |      26 | 13504805 | 10902252 |     1256  21550 |        1 |        3
1205.85/1206.34	c 1206s |      26 | 13525878 | 10918952 |     1256  21576 |        1 |        3
1207.85/1208.34	c 1208s |      26 | 13546459 | 10935952 |     1256  21603 |        1 |        3
1209.85/1210.35	c 1210s |      26 | 13566577 | 10952752 |     1256  21629 |        1 |        3
1211.86/1212.35	c 1212s |      26 | 13587480 | 10969752 |     1256  21656 |        1 |        3
1213.85/1214.35	c 1214s |      26 | 13608281 | 10986552 |     1256  21683 |        1 |        3
1215.85/1216.35	c 1216s |      26 | 13629078 | 11003452 |     1256  21709 |        1 |        3
1217.85/1218.36	c 1218s |      26 | 13649792 | 11020052 |     1256  21736 |        1 |        3
1219.85/1220.37	c 1220s |      26 | 13672583 | 11037952 |     1256  21764 |        1 |        3
1221.85/1222.38	c 1222s |      26 | 13694242 | 11055252 |     1256  21791 |        1 |        3
1223.85/1224.39	c 1224s |      26 | 13717022 | 11072952 |     1256  21819 |        1 |        3
1225.84/1226.39	c 1226s |      26 | 13738195 | 11089952 |     1256  21846 |        1 |        3
1227.84/1228.39	c 1228s |      26 | 13759749 | 11107252 |     1256  21873 |        1 |        3
1229.94/1230.40	c 1230s |      26 | 13780154 | 11124152 |     1256  21900 |        1 |        3
1231.94/1232.40	c 1232s |      26 | 13803478 | 11142052 |     1256  21928 |        1 |        3
1233.94/1234.41	c 1234s |      26 | 13825184 | 11159252 |     1256  21955 |        1 |        3
1235.94/1236.41	c 1236s |      26 | 13845881 | 11176052 |     1256  21982 |        1 |        3
1237.94/1238.41	c 1238s |      26 | 13865702 | 11192552 |     1256  22008 |        1 |        3
1239.94/1240.42	c 1240s |      26 | 13884776 | 11208652 |     1256  22033 |        1 |        3
1241.94/1242.43	c 1242s |      26 | 13902383 | 11223852 |     1256  22057 |        1 |        3
1243.94/1244.43	c 1244s |      26 | 13921237 | 11239552 |     1256  22081 |        1 |        3
1245.95/1246.43	c 1246s |      26 | 13939960 | 11255152 |     1256  22106 |        1 |        3
1247.94/1248.44	c 1248s |      26 | 13958133 | 11270452 |     1256  22130 |        1 |        3
1249.94/1250.44	c 1250s |      26 | 13976054 | 11285652 |     1256  22154 |        1 |        3
1251.94/1252.44	c 1252s |      26 | 13994148 | 11300852 |     1256  22178 |        1 |        3
1253.94/1254.44	c 1254s |      26 | 14012348 | 11316252 |     1382  22202 |        1 |        3
1255.94/1256.44	c 1256s |      26 | 14030918 | 11331552 |     1382  22223 |        1 |        3
1257.95/1258.45	c 1258s |      26 | 14049201 | 11346752 |     1382  22245 |        1 |        3
1259.94/1260.45	c 1260s |      26 | 14066842 | 11361452 |     1382  22266 |        1 |        3
1261.94/1262.46	c 1262s |      26 | 14085913 | 11377052 |     1382  22288 |        1 |        3
1263.94/1264.46	c 1264s |      26 | 14104003 | 11392252 |     1382  22310 |        1 |        3
1264.54/1265.05	c 1265s |      27 | 14109835 | 11396733 |     1382  22317 |        1 |        3
1266.54/1267.05	c 1267s |      27 | 14127881 | 11411533 |     1382  22338 |        1 |        3
1268.54/1269.07	c 1269s |      27 | 14145271 | 11426433 |     1382  22359 |        1 |        3
1270.53/1271.07	c 1271s |      27 | 14164314 | 11441333 |     1382  22380 |        1 |        3
1272.53/1273.08	c 1273s |      27 | 14182831 | 11456433 |     1382  22402 |        1 |        3
1274.54/1275.08	c 1275s |      27 | 14201074 | 11471333 |     1382  22423 |        1 |        3
1276.53/1277.09	c 1277s |      27 | 14219024 | 11486233 |     1382  22445 |        1 |        3
1278.63/1279.10	c 1279s |      27 | 14236107 | 11500833 |     1382  22466 |        1 |        3
1280.63/1281.10	c 1281s |      27 | 14253862 | 11515733 |     1382  22487 |        1 |        3
1282.63/1283.10	c 1283s |      27 | 14271113 | 11530633 |     1382  22508 |        1 |        3
1284.63/1285.11	c 1285s |      27 | 14289280 | 11545733 |     1382  22530 |        1 |        3
1286.64/1287.12	c 1287s |      27 | 14306515 | 11560233 |     1382  22550 |        1 |        3
1288.63/1289.12	c 1289s |      27 | 14324100 | 11575233 |     1382  22572 |        1 |        3
1290.63/1291.13	c 1291s |      27 | 14342501 | 11590233 |     1382  22593 |        1 |        3
1292.63/1293.13	c 1293s |      27 | 14360040 | 11605133 |     1382  22615 |        1 |        3
1294.63/1295.13	c 1295s |      27 | 14379236 | 11621033 |     1382  22638 |        1 |        3
1296.63/1297.14	c 1297s |      27 | 14397033 | 11636133 |     1382  22659 |        1 |        3
1298.63/1299.14	c 1299s |      27 | 14414518 | 11650933 |     1382  22680 |        1 |        3
1300.63/1301.15	c 1301s |      27 | 14432357 | 11665933 |     1382  22702 |        1 |        3
1302.63/1303.16	c 1303s |      27 | 14450916 | 11681533 |     1382  22724 |        1 |        3
1304.63/1305.17	c 1305s |      27 | 14468798 | 11696733 |     1382  22746 |        1 |        3
1306.63/1307.17	c 1307s |      27 | 14486605 | 11711733 |     1382  22767 |        1 |        3
1308.63/1309.18	c 1309s |      27 | 14504145 | 11726633 |     1382  22789 |        1 |        3
1310.63/1311.19	c 1311s |      27 | 14522317 | 11741733 |     1382  22810 |        1 |        3
1312.63/1313.19	c 1313s |      27 | 14539472 | 11756333 |     1382  22831 |        1 |        3
1314.63/1315.19	c 1315s |      27 | 14556355 | 11770633 |     1382  22852 |        1 |        3
1316.72/1317.20	c 1317s |      27 | 14573585 | 11785133 |     1382  22873 |        1 |        3
1318.72/1319.20	c 1319s |      27 | 14592697 | 11800533 |     1382  22895 |        1 |        3
1320.73/1321.21	c 1321s |      27 | 14610953 | 11815733 |     1382  22916 |        1 |        3
1322.73/1323.23	c 1323s |      27 | 14630513 | 11831633 |     1382  22939 |        1 |        3
1324.73/1325.23	c 1325s |      27 | 14648545 | 11846733 |     1382  22961 |        1 |        3
1326.73/1327.24	c 1327s |      27 | 14670786 | 11863833 |     1382  22985 |        1 |        3
1328.73/1329.25	c 1329s |      27 | 14691634 | 11880233 |     1382  23009 |        1 |        3
1330.73/1331.26	c 1331s |      27 | 14712215 | 11896633 |     1382  23032 |        1 |        3
1332.73/1333.26	c 1333s |      27 | 14732770 | 11912933 |     1382  23056 |        1 |        3
1334.73/1335.27	c 1335s |      27 | 14752676 | 11929133 |     1382  23079 |        1 |        3
1336.73/1337.28	c 1337s |      27 | 14771356 | 11944633 |     1382  23101 |        1 |        3
1338.73/1339.28	c 1339s |      27 | 14790862 | 11960733 |     1382  23124 |        1 |        3
1340.73/1341.30	c 1341s |      27 | 14810252 | 11976933 |     1382  23148 |        1 |        3
1342.82/1343.30	c 1343s |      27 | 14829693 | 11992833 |     1382  23170 |        1 |        3
1344.83/1345.31	c 1345s |      27 | 14848846 | 12008633 |     1382  23193 |        1 |        3
1346.82/1347.32	c 1347s |      27 | 14866617 | 12023633 |     1382  23215 |        1 |        3
1348.83/1349.32	c 1349s |      27 | 14884722 | 12038833 |     1382  23236 |        1 |        3
1350.83/1351.32	c 1351s |      27 | 14902083 | 12053633 |     1382  23258 |        1 |        3
1352.83/1353.33	c 1353s |      27 | 14920496 | 12068833 |     1382  23279 |        1 |        3
1354.84/1355.33	c 1355s |      27 | 14939361 | 12084033 |     1382  23301 |        1 |        3
1356.83/1357.34	c 1357s |      27 | 14957786 | 12099333 |     1382  23323 |        1 |        3
1358.83/1359.35	c 1359s |      27 | 14974821 | 12114033 |     1382  23344 |        1 |        3
1360.83/1361.36	c 1361s |      27 | 14993048 | 12129133 |     1382  23366 |        1 |        3
1362.82/1363.36	c 1363s |      27 | 15012567 | 12145133 |     1382  23389 |        1 |        3
1364.82/1365.37	c 1365s |      27 | 15030929 | 12160233 |     1382  23411 |        1 |        3
1366.83/1367.39	c 1367s |      27 | 15050758 | 12176133 |     1382  23434 |        1 |        3
1368.82/1369.39	c 1369s |      27 | 15069218 | 12191533 |     1382  23455 |        1 |        3
1370.92/1371.40	c 1371s |      27 | 15088400 | 12207433 |     1382  23478 |        1 |        3
1372.92/1373.40	c 1373s |      27 | 15107383 | 12223233 |     1382  23501 |        1 |        3
1374.92/1375.41	c 1375s |      27 | 15127579 | 12239333 |     1382  23524 |        1 |        3
1376.92/1377.41	c 1377s |      27 | 15145953 | 12254833 |     1382  23546 |        1 |        3
1378.93/1379.42	c 1379s |      27 | 15165027 | 12270033 |     1382  23568 |        1 |        3
1380.92/1381.43	c 1381s |      27 | 15183838 | 12285433 |     1382  23590 |        1 |        3
1382.92/1383.43	c 1383s |      27 | 15203286 | 12301133 |     1382  23612 |        1 |        3
1384.92/1385.44	c 1385s |      27 | 15222602 | 12316733 |     1382  23634 |        1 |        3
1386.92/1387.45	c 1387s |      27 | 15241910 | 12332233 |     1382  23657 |        1 |        3
1388.92/1389.46	c 1389s |      27 | 15261576 | 12347633 |     1382  23679 |        1 |        3
1390.91/1391.46	c 1391s |      27 | 15281770 | 12364033 |     1382  23702 |        1 |        3
1392.92/1393.47	c 1393s |      27 | 15300612 | 12379633 |     1382  23724 |        1 |        3
1394.92/1395.47	c 1395s |      27 | 15319428 | 12395533 |     1382  23747 |        1 |        3
1396.92/1397.47	c 1397s |      27 | 15338937 | 12411533 |     1382  23770 |        1 |        3
1398.92/1399.48	c 1399s |      27 | 15358432 | 12427633 |     1382  23793 |        1 |        3
1400.92/1401.49	c 1401s |      27 | 15378908 | 12443933 |     1382  23816 |        1 |        3
1403.02/1403.50	c 1403s |      27 | 15397016 | 12459133 |     1382  23838 |        1 |        3
1405.02/1405.51	c 1405s |      27 | 15415645 | 12474433 |     1382  23860 |        1 |        3
1407.02/1407.51	c 1407s |      27 | 15434782 | 12489833 |     1382  23882 |        1 |        3
1409.01/1409.51	c 1409s |      27 | 15451984 | 12504333 |     1382  23903 |        1 |        3
1411.01/1411.51	c 1411s |      27 | 15468274 | 12518633 |     1382  23923 |        1 |        3
1413.02/1413.53	c 1413s |      27 | 15484791 | 12533033 |     1382  23944 |        1 |        3
1415.01/1415.53	c 1415s |      27 | 15502043 | 12548033 |     1382  23965 |        1 |        3
1417.01/1417.55	c 1417s |      27 | 15520184 | 12563133 |     1382  23987 |        1 |        3
1419.01/1419.55	c 1419s |      27 | 15536130 | 12577133 |     1382  24007 |        1 |        3
1421.01/1421.56	c 1421s |      27 | 15553078 | 12591533 |     1382  24028 |        1 |        3
1423.02/1423.57	c 1423s |      27 | 15571335 | 12606733 |     1382  24050 |        1 |        3
1425.01/1425.57	c 1425s |      27 | 15588626 | 12621433 |     1382  24071 |        1 |        3
1427.02/1427.58	c 1427s |      27 | 15608105 | 12637233 |     1382  24093 |        1 |        3
1429.01/1429.59	c 1429s |      27 | 15627311 | 12652933 |     1382  24116 |        1 |        3
1431.01/1431.59	c 1431s |      27 | 15645691 | 12668033 |     1382  24137 |        1 |        3
1433.11/1433.60	c 1433s |      27 | 15664625 | 12683733 |     1382  24160 |        1 |        3
1435.12/1435.60	c 1435s |      27 | 15683106 | 12699433 |     1382  24182 |        1 |        3
1437.11/1437.61	c 1437s |      27 | 15701406 | 12714933 |     1382  24205 |        1 |        3
1439.11/1439.62	c 1439s |      27 | 15720354 | 12730633 |     1382  24227 |        1 |        3
1441.11/1441.63	c 1441s |      27 | 15740064 | 12746933 |     1382  24250 |        1 |        3
1443.11/1443.63	c 1443s |      27 | 15758803 | 12762933 |     1382  24273 |        1 |        3
1445.11/1445.65	c 1445s |      27 | 15779485 | 12779433 |     1382  24297 |        1 |        3
1447.11/1447.66	c 1447s |      27 | 15801224 | 12796433 |     1382  24321 |        1 |        3
1449.11/1449.66	c 1449s |      27 | 15822475 | 12813433 |     1382  24346 |        1 |        3
1451.11/1451.67	c 1451s |      27 | 15841288 | 12829033 |     1382  24368 |        1 |        3
1453.11/1453.67	c 1453s |      27 | 15862636 | 12845433 |     1382  24392 |        1 |        3
1455.10/1455.68	c 1455s |      27 | 15882684 | 12861833 |     1382  24415 |        1 |        3
1457.11/1457.69	c 1457s |      27 | 15902946 | 12878433 |     1382  24438 |        2 |        6
1459.10/1459.69	c 1459s |      27 | 15921617 | 12894433 |     1382  24461 |        2 |        6
1461.20/1461.70	c 1461s |      27 | 15941610 | 12911033 |     1382  24484 |        2 |        6
1463.20/1463.71	c 1463s |      27 | 15961637 | 12927033 |     1382  24507 |        2 |        6
1465.21/1465.72	c 1465s |      27 | 15981284 | 12943033 |     1382  24530 |        2 |        6
1467.21/1467.73	c 1467s |      27 | 16002458 | 12959633 |     1382  24554 |        2 |        6
1469.22/1469.74	c 1469s |      27 | 16023055 | 12975833 |     1382  24577 |        2 |        6
1471.21/1471.74	c 1471s |      27 | 16044727 | 12992833 |     1382  24602 |        2 |        6
1473.21/1473.75	c 1473s |      27 | 16064957 | 13009233 |     1382  24625 |        2 |        6
1475.21/1475.76	c 1475s |      27 | 16082703 | 13024333 |     1382  24647 |        2 |        6
1477.21/1477.76	c 1477s |      27 | 16100785 | 13039633 |     1382  24669 |        2 |        6
1479.20/1479.77	c 1479s |      27 | 16121057 | 13056033 |     1382  24692 |        2 |        6
1481.21/1481.77	c 1481s |      27 | 16138945 | 13071433 |     1382  24714 |        2 |        6
1483.20/1483.77	c 1483s |      27 | 16158585 | 13087633 |     1382  24738 |        2 |        6
1485.20/1485.77	c 1485s |      27 | 16178291 | 13103633 |     1382  24761 |        2 |        6
1487.20/1487.77	c 1487s |      27 | 16198969 | 13120333 |     1382  24785 |        2 |        6
1489.20/1489.77	c 1489s |      27 | 16218702 | 13136733 |     1382  24808 |        2 |        6
1491.21/1491.78	c 1491s |      27 | 16240302 | 13153833 |     1382  24833 |        2 |        6
1493.20/1493.78	c 1493s |      27 | 16261068 | 13170633 |     1382  24857 |        2 |        6
1495.20/1495.79	c 1495s |      27 | 16279274 | 13186133 |     1382  24879 |        2 |        6
1497.20/1497.80	c 1497s |      27 | 16300229 | 13202933 |     1382  24903 |        2 |        6
1499.20/1499.80	c 1499s |      27 | 16320416 | 13219333 |     1382  24926 |        2 |        6
1501.30/1501.80	c 1501s |      27 | 16340232 | 13235533 |     1382  24950 |        2 |        6
1503.20/1503.80	c 1503s |      27 | 16358347 | 13250733 |     1382  24971 |        2 |        6
1505.30/1505.81	c 1505s |      27 | 16376319 | 13265833 |     1382  24993 |        2 |        6
1507.30/1507.83	c 1507s |      27 | 16396607 | 13281733 |     1382  25016 |        2 |        6
1509.30/1509.84	c 1509s |      27 | 16416751 | 13298133 |     1382  25039 |        2 |        6
1511.30/1511.84	c 1511s |      27 | 16434981 | 13313633 |     1382  25061 |        2 |        6
1513.30/1513.85	c 1513s |      27 | 16454946 | 13329933 |     1382  25084 |        2 |        6
1515.30/1515.85	c 1515s |      27 | 16475278 | 13346533 |     1382  25108 |        2 |        6
1517.30/1517.85	c 1517s |      27 | 16495565 | 13362933 |     1382  25132 |        2 |        6
1519.30/1519.85	c 1519s |      27 | 16515353 | 13378933 |     1382  25155 |        2 |        6
1521.29/1521.86	c 1521s |      27 | 16535578 | 13395233 |     1382  25178 |        2 |        6
1523.29/1523.87	c 1523s |      27 | 16556971 | 13411833 |     1382  25202 |        2 |        6
1525.30/1525.89	c 1525s |      27 | 16576422 | 13427933 |     1382  25225 |        2 |        6
1527.29/1527.90	c 1527s |      27 | 16596708 | 13443933 |     1382  25248 |        2 |        6
1529.39/1529.91	c 1529s |      27 | 16616409 | 13459933 |     1382  25270 |        2 |        6
1531.39/1531.91	c 1531s |      27 | 16636667 | 13476333 |     1382  25294 |        2 |        6
1533.39/1533.91	c 1533s |      27 | 16654635 | 13491633 |     1382  25316 |        2 |        6
1535.39/1535.92	c 1535s |      27 | 16672734 | 13506933 |     1382  25338 |        2 |        6
1537.40/1537.93	c 1537s |      27 | 16690712 | 13522633 |     1382  25360 |        2 |        6
1539.39/1539.94	c 1539s |      27 | 16708853 | 13538333 |     1382  25382 |        2 |        6
1541.39/1541.95	c 1541s |      27 | 16726655 | 13553733 |     1382  25404 |        2 |        6
1543.40/1543.95	c 1543s |      27 | 16744171 | 13568933 |     1382  25425 |        3 |        9
1545.40/1545.96	c 1545s |      27 | 16760910 | 13583433 |     1382  25446 |        3 |        9
1547.40/1547.97	c 1547s |      27 | 16779324 | 13598633 |     1382  25468 |        3 |        9
1549.40/1549.98	c 1549s |      27 | 16796400 | 13613133 |     1382  25489 |        3 |        9
1551.40/1551.98	c 1551s |      27 | 16813616 | 13627733 |     1382  25510 |        3 |        9
1553.40/1553.98	c 1553s |      27 | 16832447 | 13643333 |     1382  25532 |        3 |        9
1555.40/1555.98	c 1555s |      27 | 16850873 | 13658733 |     1382  25554 |        3 |        9
1557.40/1557.99	c 1557s |      27 | 16868172 | 13673233 |     1382  25575 |        3 |        9
1559.50/1560.00	c 1559s |      27 | 16885319 | 13687933 |     1382  25596 |        3 |        9
1561.50/1562.01	c 1561s |      27 | 16902372 | 13702733 |     1382  25617 |        3 |        9
1563.49/1564.01	c 1563s |      27 | 16921838 | 13718533 |     1382  25639 |        3 |        9
1565.49/1566.02	c 1566s |      27 | 16942548 | 13734933 |     1382  25663 |        3 |        9
1567.49/1568.03	c 1568s |      27 | 16962547 | 13750733 |     1382  25685 |        3 |        9
1569.49/1570.04	c 1570s |      27 | 16982724 | 13766833 |     1382  25708 |        3 |        9
1571.50/1572.05	c 1572s |      27 | 17001397 | 13782633 |     1382  25731 |        3 |        9
1573.49/1574.06	c 1574s |      27 | 17019216 | 13797433 |     1382  25752 |        3 |        9
1575.49/1576.06	c 1576s |      27 | 17037254 | 13812333 |     1382  25773 |        3 |        9
1577.49/1578.07	c 1578s |      27 | 17058740 | 13828733 |     1382  25797 |        3 |        9
1579.49/1580.08	c 1580s |      27 | 17078590 | 13844833 |     1382  25819 |        4 |       12
1581.49/1582.09	c 1582s |      27 | 17096220 | 13859833 |     1382  25841 |        4 |       12
1583.50/1584.09	c 1584s |      27 | 17114831 | 13875433 |     1382  25863 |        4 |       12
1585.59/1586.10	c 1586s |      27 | 17132066 | 13890133 |     1382  25884 |        4 |       12
1587.59/1588.11	c 1588s |      27 | 17152357 | 13906433 |     1382  25907 |        4 |       12
1589.59/1590.12	c 1590s |      27 | 17169286 | 13921533 |     1382  25929 |        4 |       12
1591.59/1592.13	c 1592s |      27 | 17186840 | 13936633 |     1382  25950 |        4 |       12
1593.59/1594.13	c 1594s |      27 | 17205419 | 13951933 |     1382  25972 |        4 |       12
1595.59/1596.14	c 1596s |      27 | 17223958 | 13967733 |     1382  25995 |        4 |       12
1597.59/1598.15	c 1598s |      27 | 17244204 | 13984133 |     1382  26018 |        4 |       12
1599.59/1600.15	c 1600s |      27 | 17263173 | 14000133 |     1382  26041 |        4 |       12
1601.59/1602.16	c 1602s |      27 | 17281516 | 14015833 |     1382  26064 |        4 |       12
1603.58/1604.17	c 1604s |      27 | 17300708 | 14031933 |     1382  26087 |        4 |       12
1605.59/1606.17	c 1606s |      27 | 17318281 | 14047033 |     1382  26108 |        4 |       12
1607.58/1608.18	c 1608s |      27 | 17335421 | 14061633 |     1382  26129 |        4 |       12
1609.58/1610.18	c 1610s |      27 | 17352840 | 14076933 |     1382  26151 |        4 |       12
1611.58/1612.19	c 1612s |      27 | 17368941 | 14091333 |     1382  26172 |        4 |       12
1613.58/1614.19	c 1614s |      27 | 17386764 | 14106233 |     1382  26193 |        4 |       12
1615.68/1616.21	c 1616s |      27 | 17404948 | 14121833 |     1382  26215 |        4 |       12
1617.69/1618.22	c 1618s |      27 | 17423285 | 14136933 |     1382  26237 |        4 |       12
1619.68/1620.22	c 1620s |      27 | 17439037 | 14150933 |     1382  26257 |        4 |       12
1621.68/1622.23	c 1622s |      27 | 17457122 | 14166033 |     1382  26279 |        4 |       12
1623.68/1624.24	c 1624s |      27 | 17475253 | 14181433 |     1382  26301 |        4 |       12
1625.69/1626.24	c 1626s |      27 | 17493459 | 14196833 |     1382  26322 |        4 |       12
1627.69/1628.25	c 1628s |      27 | 17512203 | 14212533 |     1382  26345 |        4 |       12
1629.69/1630.25	c 1630s |      27 | 17531210 | 14228533 |     1382  26368 |        4 |       12
1631.68/1632.26	c 1632s |      27 | 17549285 | 14243733 |     1382  26389 |        4 |       12
1633.68/1634.26	c 1634s |      27 | 17569797 | 14259933 |     1382  26411 |        6 |       18
1635.68/1636.26	c 1636s |      27 | 17589804 | 14276133 |     1382  26434 |        6 |       18
1637.68/1638.27	c 1638s |      27 | 17610921 | 14292733 |     1382  26458 |        6 |       18
1639.69/1640.28	c 1640s |      27 | 17632053 | 14309333 |     1382  26482 |        6 |       18
1641.68/1642.28	c 1642s |      27 | 17651702 | 14325533 |     1382  26505 |        6 |       18
1643.68/1644.29	c 1644s |      27 | 17669985 | 14341033 |     1382  26527 |        7 |       21
1645.68/1646.29	c 1646s |      27 | 17689911 | 14357233 |     1382  26550 |        7 |       21
1647.68/1648.29	c 1648s |      27 | 17709494 | 14373533 |     1382  26573 |        8 |       24
1649.78/1650.30	c 1650s |      27 | 17728996 | 14389733 |     1382  26596 |        8 |       24
1651.78/1652.31	c 1652s |      27 | 17748358 | 14405833 |     1382  26619 |        8 |       24
1653.78/1654.32	c 1654s |      27 | 17767989 | 14422033 |     1382  26641 |       10 |       30
1654.78/1655.32	c 1655s |      27 | 17777837 | 14430309 |     1382  26650 |       65 |      110
1654.78/1655.32	c #cpu_time = 1650.825s
1654.78/1655.32	c #wall_clock_time = 1655.305s
1654.78/1655.32	c #decision = 17777837
1654.78/1655.32	c #random_decision = 73677
1654.78/1655.32	c #conflict = 14430309
1654.78/1655.32	c #restart = 27
1654.78/1655.32	s UNSATISFIABLE
1654.78/1655.32	c total CPU time = 1650.841s
1654.78/1655.32	c total wall clock time = 1655.321s

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4121306-1467314178/watcher-4121306-1467314178 -o /tmp/evaluation-result-4121306-1467314178/solver-4121306-1467314178 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467310764-16425 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121306-1467314178.opb 

pid=17681
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.03 2.03 2.04 3/243 17684
/proc/meminfo: memFree=30123468/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=563644 CPUtime=0 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 2074 0 0 0 0 0 0 0 20 0 4 0 12524329 577171456 1924 33554432000 4194304 16246674 140733985227312 140733985226736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 141423 1935 441 2943 0 138317 0
[pid=17684/tid=17685] ppid=17681 vsize=581052 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 594997248 1994 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=585148 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 599191552 2012 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=590268 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12524330 604434432 2028 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.03 2.03 2.04 3/243 17684
/proc/meminfo: memFree=30123468/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 25844 0 0 0 5 4 0 0 20 0 4 0 12524329 1247350784 25683 33554432000 4194304 16246674 140733985227312 140733985226736 13192029 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 304529 25694 710 2943 0 301423 0
[pid=17684/tid=17685] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 25699 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 25707 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 25713 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200544 s]
/proc/loadavg: 2.03 2.03 2.04 3/243 17684
/proc/meminfo: memFree=30123468/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 49696 0 0 0 11 7 0 0 20 0 4 0 12524329 1247350784 49536 33554432000 4194304 16246674 140733985227312 140733985226736 13954410 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 304529 49547 710 2943 0 301423 0
[pid=17684/tid=17685] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 49554 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 49562 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 49569 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300506 s]
/proc/loadavg: 2.03 2.03 2.04 3/243 17684
/proc/meminfo: memFree=30123468/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 73254 0 0 0 18 10 0 0 20 0 4 0 12524329 1247350784 73093 33554432000 4194304 16246674 140733985227312 140733985226736 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 304529 73102 710 2943 0 301423 0
[pid=17684/tid=17685] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 73112 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 73123 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 73130 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700411 s]
/proc/loadavg: 2.03 2.03 2.04 3/243 17684
/proc/meminfo: memFree=30123468/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 167711 0 0 0 43 25 0 0 20 0 4 0 12524329 1247350784 167551 33554432000 4194304 16246674 140733985227312 140733985209216 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 304529 167563 710 2943 0 301423 0
[pid=17684/tid=17685] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 167571 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 167579 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 167586 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.03 2.03 2.04 3/247 17688
/proc/meminfo: memFree=29143184/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 245515 0 0 0 114 35 0 0 20 0 4 0 12524329 1247350784 245334 33554432000 4194304 16246674 140733985227312 140733985210312 13950707 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 304529 245334 788 2943 0 301423 0
[pid=17684/tid=17685] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 245334 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 245334 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1247350784 245334 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 2.03 2.03 2.04 3/247 17688
/proc/meminfo: memFree=29055268/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 267397 0 0 0 271 38 0 0 20 0 4 0 12524329 1337528320 267216 33554432000 4194304 16246674 140733985227312 140733985209216 5523508 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326545 267216 788 2943 0 323439 0
[pid=17684/tid=17685] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267216 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267216 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267216 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.03 2.03 2.04 3/247 17688
/proc/meminfo: memFree=29054924/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 267419 0 0 0 591 38 0 0 20 0 4 0 12524329 1337528320 267238 33554432000 4194304 16246674 140733985227312 140733985210312 13943668 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326545 267238 788 2943 0 323439 0
[pid=17684/tid=17685] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267238 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267238 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267238 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.03 2.03 2.04 3/247 17688
/proc/meminfo: memFree=29054492/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 267439 0 0 0 1230 38 0 0 20 0 4 0 12524329 1337528320 267258 33554432000 4194304 16246674 140733985227312 140733985209216 5546233 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326545 267258 788 2943 0 323439 0
[pid=17684/tid=17685] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267258 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267258 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267258 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.02 2.02 2.04 3/247 17688
/proc/meminfo: memFree=29053048/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 267441 0 0 0 2510 39 0 0 20 0 4 0 12524329 1337528320 267260 33554432000 4194304 16246674 140733985227312 140733985210312 5522921 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326545 267260 788 2943 0 323439 0
[pid=17684/tid=17685] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267260 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267260 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267260 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.01 2.02 2.04 3/247 17688
/proc/meminfo: memFree=29053020/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 267445 0 0 0 5069 39 0 0 20 0 4 0 12524329 1337528320 267264 33554432000 4194304 16246674 140733985227312 140733985210312 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326545 267264 790 2943 0 323439 0
[pid=17684/tid=17685] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267264 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267264 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267264 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.03 3/247 17690
/proc/meminfo: memFree=29053012/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 267483 0 0 0 10188 40 0 0 20 0 4 0 12524329 1337528320 267302 33554432000 4194304 16246674 140733985227312 140733985210312 5827784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326545 267302 790 2943 0 323439 0
[pid=17684/tid=17685] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267302 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267302 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1337528320 267302 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 268193 0 0 0 154113 68 0 0 20 0 4 0 12524329 1338576896 267876 33554432000 4194304 16246674 140733985227312 140733985210312 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326801 267876 792 2943 0 323695 0
[pid=17684/tid=17685] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/247 18070
/proc/meminfo: memFree=29050616/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1307204 CPUtime=1601.78 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 268193 0 0 0 160109 69 0 0 20 0 4 0 12524329 1338576896 267876 33554432000 4194304 16246674 140733985227312 140733985209216 5677908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326801 267876 792 2943 0 323695 0
[pid=17684/tid=17685] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1307204

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17684 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1612.8 s]
/proc/loadavg: 2.00 2.05 2.00 3/246 18070
/proc/meminfo: memFree=29050744/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1307204 CPUtime=1612.28 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 268193 0 0 0 161159 69 0 0 20 0 4 0 12524329 1338576896 267876 33554432000 4194304 16246674 140733985227312 140733985209216 12476636 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326801 267876 792 2943 0 323695 0
[pid=17684/tid=17685] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1612.28
Current children cumulated vsize (KiB) 1307204

[startup+1638.4 s]
/proc/loadavg: 2.00 2.04 2.00 3/247 18072
/proc/meminfo: memFree=29050364/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1307204 CPUtime=1637.88 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 268193 0 0 0 163718 70 0 0 20 0 4 0 12524329 1338576896 267876 33554432000 4194304 16246674 140733985227312 140733985209216 5676136 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326801 267876 792 2943 0 323695 0
[pid=17684/tid=17685] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1637.88
Current children cumulated vsize (KiB) 1307204

[startup+1644.8 s]
/proc/loadavg: 2.00 2.04 2.00 3/247 18072
/proc/meminfo: memFree=29050736/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1307204 CPUtime=1644.28 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 268193 0 0 0 164358 70 0 0 20 0 4 0 12524329 1338576896 267876 33554432000 4194304 16246674 140733985227312 140733985209216 5672943 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326801 267876 792 2943 0 323695 0
[pid=17684/tid=17685] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1644.28
Current children cumulated vsize (KiB) 1307204

[startup+1651.21 s]
/proc/loadavg: 2.00 2.04 2.00 3/247 18072
/proc/meminfo: memFree=29050736/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1307204 CPUtime=1650.69 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 268193 0 0 0 164999 70 0 0 20 0 4 0 12524329 1338576896 267876 33554432000 4194304 16246674 140733985227312 140733985210312 5673255 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326801 267876 792 2943 0 323695 0
[pid=17684/tid=17685] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1650.69
Current children cumulated vsize (KiB) 1307204

[startup+1652.8 s]
/proc/loadavg: 2.08 2.05 2.01 3/247 18072
/proc/meminfo: memFree=29050736/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1307204 CPUtime=1652.28 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 268193 0 0 0 165158 70 0 0 20 0 4 0 12524329 1338576896 267876 33554432000 4194304 16246674 140733985227312 140733985210312 6843012 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326801 267876 792 2943 0 323695 0
[pid=17684/tid=17685] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1652.28
Current children cumulated vsize (KiB) 1307204

[startup+1654.4 s]
/proc/loadavg: 2.08 2.05 2.01 3/247 18072
/proc/meminfo: memFree=29050736/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1307204 CPUtime=1653.88 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 268193 0 0 0 165318 70 0 0 20 0 4 0 12524329 1338576896 267876 33554432000 4194304 16246674 140733985227312 140733985210312 5677216 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326801 267876 792 2943 0 323695 0
[pid=17684/tid=17685] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1653.88
Current children cumulated vsize (KiB) 1307204

[startup+1654.8 s]
/proc/loadavg: 2.08 2.05 2.01 3/247 18072
/proc/meminfo: memFree=29050736/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1307204 CPUtime=1654.28 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 268193 0 0 0 165358 70 0 0 20 0 4 0 12524329 1338576896 267876 33554432000 4194304 16246674 140733985227312 140733985210312 12460001 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326801 267876 792 2943 0 323695 0
[pid=17684/tid=17685] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1654.28
Current children cumulated vsize (KiB) 1307204

[startup+1655.2 s]
/proc/loadavg: 2.08 2.05 2.01 3/247 18072
/proc/meminfo: memFree=29050736/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1307204 CPUtime=1654.68 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 268193 0 0 0 165398 70 0 0 20 0 4 0 12524329 1338576896 267876 33554432000 4194304 16246674 140733985227312 140733985210312 5723564 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326801 267876 792 2943 0 323695 0
[pid=17684/tid=17685] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1654.68
Current children cumulated vsize (KiB) 1307204

[startup+1655.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/247 18072
/proc/meminfo: memFree=29050736/32872528 swapFree=189444/189444
[pid=17684] ppid=17681 vsize=1307204 CPUtime=1654.78 cores=1,3,5,7
/proc/17684/stat : 17684 (toysat) R 17681 17684 13211 0 -1 4202496 268193 0 0 0 165408 70 0 0 20 0 4 0 12524329 1338576896 267876 33554432000 4194304 16246674 140733985227312 140733985210312 5676840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17684/statm: 326801 267876 792 2943 0 323695 0
[pid=17684/tid=17685] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17685/stat : 17685 (toysat) S 17681 17684 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882430180592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17686] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17686/stat : 17686 (toysat) S 17681 17684 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882419690736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17687] ppid=17681 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17684/task/17687/stat : 17687 (toysat) S 17681 17684 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12524330 1338576896 267876 33554432000 4194304 16246674 140733985227312 139882409217200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1654.78
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 1655.33
CPU time (s): 1654.82
CPU user time (s): 1654.1
CPU system time (s): 0.712891
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1654.1
system time used= 0.712891
maximum resident set size= 1071516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268198
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= 413
involuntary context switches= 1693

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67883 second user time and 7.62284 second system time

The end

Begin job on node102 at 2016-06-30 21:16:18
IDJOB=4121306
IDBENCH=110400
IDSOLVER=2542
FILE ID=node102/4121306-1467314178
RUNJOBID= node102-1467310764-16425
PBS_JOBID= 20005272
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i3.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121306-1467314178/watcher-4121306-1467314178 -o /tmp/evaluation-result-4121306-1467314178/solver-4121306-1467314178 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467310764-16425 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121306-1467314178.opb

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

MD5SUM BENCH= 8603a890f31df49f51112473cb70c3d5
RANDOM SEED=1511504218

node102.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.744
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.48
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.744
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	: 5332.55
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.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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.744
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	: 5332.49
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.744
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	: 5332.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.744
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	: 5332.55
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.744
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	: 5332.55
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.744
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30123996 kB
Buffers:          159396 kB
Cached:           570620 kB
SwapCached:            0 kB
Active:          1396292 kB
Inactive:         421268 kB
Active(anon):    1090364 kB
Inactive(anon):        0 kB
Active(file):     305928 kB
Inactive(file):   421268 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16624 kB
Writeback:             0 kB
AnonPages:       1276856 kB
Mapped:            17604 kB
Shmem:               204 kB
Slab:             610056 kB
SReclaimable:      53428 kB
SUnreclaim:       556628 kB
KernelStack:        2032 kB
PageTables:         6948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1424052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71636 MiB
End job on node102 at 2016-06-30 21:43:53