0.00/0.00	c 2016-06-16T23:36:29+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-4096253-1466112989.opb"]
0.00/0.01	c use --random-gen="2864234571 1594627707 3831645002 623234642 2484404615 1050883955 745131053 1549058409 213438337 2424370691 2752800315 3679925748 3068279873 1694047380 928658936 3470011348 1665312870 2212080110 1125760871 1228787139 2772916023 47114749 692720104 2664463639 1130304108 3350239939 3248605001 2740293796 2867189890 1346762705 1105161028 1085733359 1127290907 3471342467 3530693909 3991756688 184808734 473830933 3364344727 4113276349 3733063288 3596210572 2127294782 3558895242 624949426 777609708 1180627302 395275338 2930012851 1010979898 3059310748 4170310102 1729227279 3333838054 3239112096 3560453209 1566069174 1034905196 1967529276 2836181247 2473787730 3336161206 1683585324 115701259 601064422 228380607 3250030996 2268192394 2283386637 1099223749 1883525782 3791315794 745159781 119167625 3674094305 102921391 2762825435 487323535 3761356395 534326272 1614461109 2279313353 2629807366 832254730 2220386523 266721654 2680231977 3358738419 3507465898 588387433 2030875469 671678560 3777727685 3658694123 791201557 3355739156 298366021 3084842315 1172958092 187723410 828202648 4287612522 1382486889 3871442943 589531421 1662905729 3457874650 2485514690 1163455088 2582854902 452314235 975182483 3819504041 2621007591 3015172653 3266343837 2519285176 110264963 846412113 2369875865 3719976307 3954889940 924357037 1538936600 1179230241 1424305560 624303784 1740395193 2373118200 1489989879 1602111273 2004381027 1548890107 821080690 4293342728 1057021116 1985468339 685595113 1902342495 1798441819 2410898578 1500648868 1379061777 3433525109 1849090472 783487987 2828067568 789621918 1136411481 3021939457 2559445495 2327772057 819185141 367629765 902496129 1783558004 2183347975 1960074850 2501782697 919473276 2015592040 1192242158 3013628281 575237074 1791660525 3195141538 2499560882 3903116688 3280207568 902554345 4063430107 2903056152 1383376487 1938827395 994727111 2811597937 3829136383 1459029171 1346925594 2297724259 3124931610 3398429320 629639447 1995631271 1778799463 1990058793 1026833986 156569701 3845897683 2851564928 494128082 3005660441 1870589666 2085763546 2782689657 3047667572 2791618644 726785720 2374375999 1105956492 1528428315 1573406434 4281064814 305779 4255325993 1356445426 1198134063 96143672 2110408277 3146928083 490065269 2383205392 2943396840 2288539988 3078259787 2692356804 3491709754 687540733 1702673347 151079298 2161252652 1949347520 2128273148 3031532340 1964471688 662770385 994797795 1471621810 518985785 3961049232 1083699018 1668175307 4236581152 1407597983 896270791 331854200 2692961742 2002640604 4164608122 2204054620 3101294248 3524074255 111085445 3941178723 2062782991 1399738273 3336566882 2456710987 1478545946 1151004137 2068715879 1655956645 2143821296 2101073244 1783953219 3683802291 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1406
0.00/0.06	c #constraints 6702
0.09/0.16	c Solving starts ...
0.09/0.16	c ============================[ Search Statistics ]============================
0.09/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.16	c =============================================================================
0.09/0.16	c  0.0s |       0 |        0 |        0 |     2701      0 |        5 |        0
0.19/0.21	c  0.0s |       1 |      127 |      100 |     2701      0 |        5 |      294
0.19/0.27	c  0.1s |       2 |      311 |      250 |     2972      0 |        5 |      294
0.28/0.39	c  0.2s |       3 |      578 |      475 |     3270      0 |        5 |      294
0.49/0.55	c  0.4s |       4 |      968 |      813 |     3598      0 |        5 |      294
0.79/0.85	c  0.7s |       5 |     1561 |     1320 |     3958      0 |        5 |      294
1.28/1.31	c  1.2s |       6 |     2466 |     2081 |     4790      0 |        5 |      294
1.68/1.79	c  1.6s |       7 |     3858 |     3223 |     5269      0 |        5 |      294
2.59/2.62	c  2.5s |       8 |     5838 |     4936 |     5796      0 |        5 |      294
3.79/3.85	c  3.7s |       9 |     8928 |     7506 |     6376      1 |        5 |      294
5.79/5.89	c  5.7s |       9 |    13460 |    11206 |     6376      2 |        5 |      294
5.89/5.98	c  5.8s |      10 |    13646 |    11361 |     7014      2 |        5 |      294
7.89/7.99	c  7.8s |      10 |    18571 |    15361 |     7014      3 |        5 |      294
8.89/8.91	c  8.8s |      11 |    20612 |    17144 |     7716      3 |        5 |      294
10.89/10.92	c 10.8s |      11 |    24344 |    20344 |     7716      4 |        5 |      294
12.89/12.99	c 12.8s |      11 |    27796 |    23344 |     7716      5 |        5 |      294
14.58/14.67	c 14.5s |      12 |    30599 |    25819 |     8488      5 |        5 |      294
16.68/16.70	c 16.5s |      12 |    34456 |    28819 |     8488      6 |        5 |      294
18.69/18.77	c 18.6s |      12 |    37536 |    31619 |     8488      7 |        5 |      294
20.78/20.80	c 20.6s |      12 |    40441 |    34319 |     8488      7 |        5 |      294
22.78/22.86	c 22.7s |      12 |    43268 |    36919 |     8488      8 |        5 |      294
24.48/24.53	c 24.4s |      13 |    45300 |    38832 |     9337      8 |        5 |      294
26.49/26.55	c 26.4s |      13 |    49749 |    42332 |     9337      9 |        5 |      294
28.48/28.60	c 28.4s |      13 |    54701 |    46332 |     9337     10 |        5 |      294
30.58/30.65	c 30.5s |      13 |    59475 |    50332 |     9337     11 |        5 |      294
32.68/32.70	c 32.5s |      13 |    63936 |    53932 |     9337     11 |        5 |      294
34.68/34.71	c 34.5s |      13 |    68898 |    58132 |    10271     12 |        5 |      294
34.78/34.82	c 34.7s |      14 |    69189 |    58352 |    10271     12 |        5 |      294
36.78/36.82	c 36.7s |      14 |    72933 |    61352 |    10271     13 |        5 |      294
38.78/38.87	c 38.7s |      14 |    77336 |    64952 |    10271     13 |        5 |      294
40.98/41.00	c 40.8s |      14 |    82374 |    69152 |    10271     14 |        5 |      294
42.99/43.05	c 42.9s |      14 |    86861 |    72852 |    10271     15 |        5 |      294
44.98/45.10	c 44.9s |      14 |    91440 |    76752 |    10271     16 |        5 |      294
47.08/47.16	c 47.0s |      14 |    95831 |    80552 |    10271     16 |        5 |      294
49.18/49.20	c 49.0s |      14 |   100027 |    84252 |    10271     17 |        5 |      294
51.08/51.15	c 51.0s |      15 |   104111 |    87632 |    11299     18 |        5 |      294
53.08/53.19	c 53.0s |      15 |   107702 |    90532 |    11299     18 |        5 |      294
55.18/55.21	c 55.0s |      15 |   112660 |    94632 |    11299     19 |        5 |      294
57.18/57.25	c 57.1s |      15 |   117016 |    98332 |    11299     19 |        5 |      294
59.28/59.30	c 59.1s |      15 |   121333 |   101932 |    11299     20 |        5 |      294
61.27/61.34	c 61.2s |      15 |   125846 |   105732 |    11299     21 |        5 |      294
63.37/63.40	c 63.2s |      15 |   130012 |   109232 |    11299     21 |        5 |      294
65.37/65.45	c 65.3s |      15 |   134448 |   113132 |    11299     22 |        5 |      294
67.37/67.49	c 67.3s |      15 |   138266 |   116432 |    11299     23 |        5 |      294
69.77/69.85	c 69.7s |      15 |   141248 |   119032 |    11299     23 |        5 |      294
71.77/71.86	c 71.7s |      15 |   145728 |   122732 |    11299     24 |        5 |      294
73.78/73.88	c 73.7s |      15 |   149919 |   126332 |    11299     24 |        5 |      294
75.88/75.92	c 75.8s |      15 |   154389 |   130232 |    11299     25 |        5 |      294
76.57/76.62	c 76.5s |      16 |   155911 |   131552 |    12429     25 |        5 |      294
78.57/78.63	c 78.5s |      16 |   159497 |   134352 |    12429     26 |        5 |      294
80.57/80.64	c 80.5s |      16 |   163438 |   137652 |    12429     26 |        5 |      294
82.58/82.66	c 82.5s |      16 |   167140 |   140752 |    12429     27 |        5 |      294
84.57/84.69	c 84.5s |      16 |   171512 |   144452 |    12429     27 |        5 |      294
86.68/86.73	c 86.6s |      16 |   175223 |   147552 |    12429     28 |        5 |      294
88.77/88.84	c 88.7s |      16 |   179070 |   150752 |    12429     28 |        5 |      294
90.77/90.85	c 90.7s |      16 |   182895 |   153952 |    12429     29 |        5 |      294
92.77/92.85	c 92.7s |      16 |   186760 |   157152 |    12429     29 |        5 |      294
94.77/94.89	c 94.7s |      16 |   190548 |   160152 |    12429     30 |        5 |      294
96.88/96.90	c 96.7s |      16 |   194580 |   163552 |    12429     30 |        5 |      294
98.87/98.96	c 98.8s |      16 |   198542 |   166852 |    12429     31 |        5 |      294
100.87/100.97	c  100s |      16 |   202749 |   170352 |    12429     31 |        5 |      294
102.97/103.03	c  102s |      16 |   206748 |   173752 |    12429     32 |        5 |      294
104.97/105.09	c  104s |      16 |   210892 |   177352 |    12429     32 |        5 |      294
107.07/107.14	c  106s |      16 |   213823 |   179852 |    12429     33 |        5 |      294
109.07/109.18	c  109s |      16 |   217973 |   183352 |    12429     33 |        5 |      294
111.07/111.19	c  111s |      16 |   221755 |   186652 |    12429     34 |        5 |      294
113.17/113.22	c  113s |      16 |   225431 |   189852 |    12429     34 |        5 |      294
115.17/115.26	c  115s |      16 |   229071 |   192952 |    12429     35 |        5 |      294
117.17/117.28	c  117s |      16 |   232875 |   196152 |    13672     35 |        5 |      294
118.47/118.54	c  118s |      17 |   234417 |   197432 |    13672     35 |        5 |      294
120.46/120.56	c  120s |      17 |   237009 |   199432 |    13672     36 |        5 |      294
122.46/122.60	c  122s |      17 |   241236 |   202932 |    13672     36 |        5 |      294
124.46/124.60	c  124s |      17 |   245058 |   206032 |    13672     37 |        5 |      294
126.57/126.64	c  126s |      17 |   248825 |   209132 |    13672     37 |        5 |      294
128.56/128.65	c  128s |      17 |   252840 |   212432 |    13672     38 |        5 |      294
130.66/130.70	c  130s |      17 |   257296 |   216232 |    13672     38 |        5 |      294
132.66/132.75	c  132s |      17 |   261434 |   219632 |    13672     39 |        5 |      294
134.66/134.77	c  134s |      17 |   266224 |   223732 |    13672     39 |        5 |      294
136.66/136.79	c  136s |      17 |   270115 |   227132 |    13672     40 |        5 |      294
138.76/138.84	c  138s |      17 |   274246 |   230632 |    13672     40 |        5 |      294
140.77/140.87	c  140s |      17 |   277925 |   233632 |    13672     41 |        5 |      294
142.86/142.98	c  142s |      17 |   278642 |   234232 |    13672     41 |        5 |      294
144.96/145.04	c  144s |      17 |   283129 |   238032 |    13672     41 |        5 |      294
146.96/147.04	c  146s |      17 |   287237 |   241532 |    13672     42 |        5 |      294
148.96/149.05	c  148s |      17 |   291252 |   245032 |    13672     42 |        5 |      294
150.96/151.05	c  150s |      17 |   294805 |   247932 |    13672     43 |        5 |      294
152.97/153.07	c  152s |      17 |   299117 |   251532 |    13672     43 |        5 |      294
154.96/155.07	c  154s |      17 |   302626 |   254432 |    13672     44 |        5 |      294
156.96/157.09	c  156s |      17 |   307001 |   258132 |    13672     44 |        5 |      294
159.06/159.11	c  158s |      17 |   310858 |   261532 |    13672     45 |        5 |      294
161.16/161.23	c  161s |      17 |   314680 |   264932 |    13672     45 |        5 |      294
163.16/163.27	c  163s |      17 |   318190 |   268032 |    13672     46 |        5 |      294
165.16/165.28	c  165s |      17 |   322206 |   271532 |    13672     46 |        5 |      294
167.26/167.34	c  167s |      17 |   325728 |   274632 |    13672     46 |        5 |      294
169.26/169.35	c  169s |      17 |   329057 |   277532 |    13672     47 |        5 |      294
171.26/171.36	c  171s |      17 |   332743 |   280732 |    13672     47 |        5 |      294
173.36/173.45	c  173s |      17 |   334507 |   282232 |    13672     48 |        5 |      294
175.36/175.48	c  175s |      17 |   339283 |   286132 |    13672     48 |        5 |      294
177.46/177.52	c  177s |      17 |   343128 |   289332 |    13672     49 |        5 |      294
179.45/179.53	c  179s |      17 |   347449 |   293032 |    13672     49 |        5 |      294
181.46/181.53	c  181s |      17 |   351154 |   296132 |    15040     49 |        5 |      294
181.56/181.60	c  181s |      18 |   351281 |   296252 |    15040     49 |        5 |      294
183.55/183.63	c  183s |      18 |   354482 |   298752 |    15040     50 |        5 |      294
185.55/185.67	c  185s |      18 |   358270 |   301852 |    15040     50 |        5 |      294
187.65/187.71	c  187s |      18 |   361933 |   304852 |    15040     51 |        5 |      294
189.65/189.76	c  189s |      18 |   365650 |   307952 |    15040     51 |        5 |      294
191.65/191.77	c  191s |      18 |   369454 |   311052 |    15040     51 |        5 |      294
193.66/193.78	c  193s |      18 |   373056 |   314152 |    15040     52 |        5 |      294
195.65/195.79	c  195s |      18 |   376863 |   317352 |    15040     52 |        5 |      294
197.75/197.81	c  197s |      18 |   380419 |   320252 |    15040     53 |        5 |      294
199.75/199.83	c  199s |      18 |   384463 |   323652 |    15040     53 |        5 |      294
201.75/201.88	c  201s |      18 |   388371 |   326952 |    15040     53 |        5 |      294
203.86/203.92	c  203s |      18 |   392480 |   330452 |    15040     54 |        5 |      294
205.86/205.98	c  205s |      18 |   396080 |   333552 |    15040     54 |        5 |      294
207.86/208.00	c  207s |      18 |   399649 |   336752 |    15040     55 |        5 |      294
210.55/210.64	c  210s |      18 |   401120 |   338052 |    15040     55 |        5 |      294
212.55/212.67	c  212s |      18 |   405057 |   341352 |    15040     55 |        5 |      294
214.56/214.68	c  214s |      18 |   408734 |   344552 |    15040     56 |        5 |      294
216.66/216.74	c  216s |      18 |   412391 |   347652 |    15040     56 |        5 |      294
218.65/218.77	c  218s |      18 |   415806 |   350552 |    15040     57 |        5 |      294
220.75/220.83	c  220s |      18 |   419930 |   354152 |    15040     57 |        5 |      294
222.75/222.88	c  222s |      18 |   422975 |   356752 |    15040     57 |        5 |      294
224.85/224.93	c  224s |      18 |   426307 |   359652 |    15040     58 |        5 |      294
226.95/227.00	c  226s |      18 |   429608 |   362552 |    15040     58 |        5 |      294
228.95/229.05	c  228s |      18 |   432615 |   365252 |    15040     58 |        5 |      294
230.96/231.06	c  230s |      18 |   436077 |   368352 |    15040     59 |        5 |      294
233.05/233.11	c  232s |      18 |   439221 |   371052 |    15040     59 |        5 |      294
235.05/235.15	c  234s |      18 |   442452 |   373852 |    15040     60 |        5 |      294
237.15/237.20	c  237s |      18 |   446142 |   377052 |    15040     60 |        5 |      294
239.15/239.22	c  239s |      18 |   449556 |   380052 |    15040     60 |        5 |      294
241.35/241.41	c  241s |      18 |   452466 |   382652 |    15040     61 |        5 |      294
243.35/243.43	c  243s |      18 |   455638 |   385252 |    15040     61 |        5 |      294
245.45/245.50	c  245s |      18 |   458959 |   388052 |    15040     61 |        5 |      294
247.46/247.55	c  247s |      18 |   462620 |   391152 |    15040     62 |        5 |      294
249.45/249.59	c  249s |      18 |   466374 |   394352 |    15040     62 |        5 |      294
251.55/251.62	c  251s |      18 |   469890 |   397352 |    15040     63 |        5 |      294
253.55/253.64	c  253s |      18 |   474013 |   400852 |    15040     63 |        5 |      294
255.55/255.67	c  255s |      18 |   477546 |   403952 |    15040     64 |        5 |      294
257.55/257.67	c  257s |      18 |   481511 |   407452 |    15040     64 |        5 |      294
259.85/259.90	c  259s |      18 |   484337 |   409952 |    15040     64 |        5 |      294
262.05/262.10	c  261s |      18 |   486250 |   411552 |    15040     65 |        5 |      294
264.05/264.11	c  263s |      18 |   489679 |   414452 |    15040     65 |        5 |      294
266.04/266.13	c  265s |      18 |   493405 |   417652 |    15040     65 |        5 |      294
268.04/268.14	c  267s |      18 |   496780 |   420652 |    15040     66 |        5 |      294
270.04/270.16	c  269s |      18 |   499851 |   423352 |    15040     66 |        5 |      294
272.14/272.20	c  272s |      18 |   503011 |   426052 |    15040     66 |        5 |      294
274.14/274.25	c  274s |      18 |   506331 |   428952 |    15040     67 |        5 |      294
276.24/276.31	c  276s |      18 |   509442 |   431752 |    15040     67 |        5 |      294
278.35/278.45	c  278s |      18 |   512423 |   434452 |    15040     68 |        5 |      294
280.34/280.50	c  280s |      18 |   515554 |   437352 |    15040     68 |        5 |      294
282.44/282.53	c  282s |      18 |   518341 |   439852 |    15040     68 |        5 |      294
284.44/284.57	c  284s |      18 |   521003 |   442252 |    16544     68 |        5 |      294
286.54/286.63	c  286s |      18 |   522452 |   443452 |    16544     68 |        5 |      294
287.44/287.56	c  287s |      19 |   523665 |   444482 |    16544     69 |        5 |      294
289.65/289.78	c  289s |      19 |   527179 |   447382 |    16544     69 |        5 |      294
291.74/291.83	c  291s |      19 |   531004 |   450482 |    16544     69 |        5 |      294
293.75/293.86	c  293s |      19 |   535067 |   453782 |    16544     70 |        5 |      294
295.74/295.86	c  295s |      19 |   538897 |   456982 |    16544     70 |        5 |      294
297.74/297.88	c  297s |      19 |   541682 |   459282 |    16544     70 |        5 |      294
299.84/299.92	c  299s |      19 |   545192 |   462182 |    16544     71 |        5 |      294
301.84/301.97	c  301s |      19 |   548987 |   465282 |    16544     71 |        5 |      294
303.84/303.99	c  303s |      19 |   552401 |   468182 |    16544     71 |        5 |      294
305.94/306.00	c  305s |      19 |   555750 |   471082 |    16544     72 |        5 |      294
307.95/308.01	c  307s |      19 |   559594 |   474382 |    16544     72 |        5 |      294
309.94/310.06	c  309s |      19 |   563090 |   477482 |    16544     73 |        5 |      294
312.04/312.10	c  311s |      19 |   567444 |   481282 |    16544     73 |        5 |      294
314.04/314.10	c  313s |      19 |   571149 |   484382 |    16544     73 |        5 |      294
316.74/316.85	c  316s |      19 |   572605 |   485582 |    16544     74 |        5 |      294
318.84/318.90	c  318s |      19 |   576931 |   488982 |    16544     74 |        5 |      294
320.84/320.90	c  320s |      19 |   580677 |   492082 |    16544     74 |        5 |      294
322.84/322.96	c  322s |      19 |   584174 |   495082 |    16544     75 |        5 |      294
324.84/324.97	c  324s |      19 |   587973 |   498382 |    16544     75 |        5 |      294
326.94/327.03	c  326s |      19 |   591657 |   501482 |    16544     75 |        5 |      294
328.94/329.03	c  328s |      19 |   594947 |   504282 |    16544     76 |        5 |      294
330.93/331.04	c  330s |      19 |   598658 |   507582 |    16544     76 |        5 |      294
332.93/333.05	c  332s |      19 |   602004 |   510282 |    16544     76 |        5 |      294
335.03/335.18	c  335s |      19 |   604103 |   511982 |    16544     77 |        5 |      294
337.13/337.24	c  337s |      19 |   608306 |   515582 |    16544     77 |        5 |      294
339.13/339.25	c  339s |      19 |   611871 |   518682 |    16544     77 |        5 |      294
341.13/341.27	c  341s |      19 |   615651 |   521982 |    16544     78 |        5 |      294
343.14/343.29	c  343s |      19 |   619160 |   525082 |    16544     78 |        5 |      294
345.23/345.32	c  345s |      19 |   622409 |   527882 |    16544     79 |        5 |      294
347.23/347.35	c  347s |      19 |   626281 |   531182 |    16544     79 |        5 |      294
349.23/349.37	c  349s |      19 |   629499 |   534082 |    16544     79 |        5 |      294
351.33/351.40	c  351s |      19 |   632605 |   536882 |    16544     80 |        5 |      294
353.33/353.47	c  353s |      19 |   636005 |   539982 |    16544     80 |        5 |      294
355.43/355.53	c  355s |      19 |   638947 |   542482 |    16544     80 |        5 |      294
357.43/357.53	c  357s |      19 |   641497 |   544682 |    16544     81 |        5 |      294
359.53/359.60	c  359s |      19 |   645377 |   547982 |    16544     81 |        5 |      294
361.63/361.72	c  361s |      19 |   647976 |   550282 |    16544     81 |        5 |      294
363.63/363.73	c  363s |      19 |   650106 |   551982 |    16544     81 |        5 |      294
365.73/365.80	c  365s |      19 |   653749 |   554982 |    16544     82 |        5 |      294
367.73/367.81	c  367s |      19 |   657590 |   558182 |    16544     82 |        5 |      294
369.73/369.86	c  369s |      19 |   660484 |   560582 |    16544     82 |        5 |      294
371.74/371.89	c  371s |      19 |   664321 |   563882 |    16544     83 |        5 |      294
373.83/373.91	c  373s |      19 |   667908 |   566882 |    16544     83 |        5 |      294
375.83/375.92	c  375s |      19 |   670923 |   569482 |    16544     84 |        5 |      294
377.83/377.97	c  377s |      19 |   674996 |   572982 |    16544     84 |        5 |      294
379.83/379.99	c  379s |      19 |   676626 |   574382 |    16544     84 |        5 |      294
381.93/382.06	c  381s |      19 |   679793 |   577082 |    16544     84 |        5 |      294
384.03/384.12	c  383s |      19 |   683249 |   580082 |    16544     85 |        5 |      294
386.03/386.19	c  386s |      19 |   686595 |   582982 |    16544     85 |        5 |      294
388.13/388.21	c  388s |      19 |   690002 |   585782 |    16544     85 |        5 |      294
390.13/390.27	c  390s |      19 |   693686 |   588882 |    16544     86 |        5 |      294
392.23/392.32	c  392s |      19 |   697258 |   591882 |    16544     86 |        5 |      294
394.23/394.32	c  394s |      19 |   700601 |   594782 |    16544     87 |        5 |      294
396.22/396.38	c  396s |      19 |   704322 |   597982 |    16544     87 |        5 |      294
398.32/398.41	c  398s |      19 |   707735 |   600882 |    16544     87 |        5 |      294
400.33/400.41	c  400s |      19 |   711182 |   603882 |    16544     88 |        5 |      294
402.32/402.44	c  402s |      19 |   714880 |   607082 |    16544     88 |        5 |      294
405.32/405.46	c  405s |      19 |   717457 |   609382 |    16544     88 |        5 |      294
407.32/407.47	c  407s |      19 |   720712 |   612082 |    16544     89 |        5 |      294
409.42/409.51	c  409s |      19 |   724944 |   615682 |    16544     89 |        5 |      294
411.43/411.56	c  411s |      19 |   728672 |   618882 |    16544     89 |        5 |      294
413.42/413.58	c  413s |      19 |   732446 |   622082 |    16544     90 |        5 |      294
415.42/415.59	c  415s |      19 |   736140 |   625282 |    16544     90 |        5 |      294
417.62/417.75	c  417s |      19 |   739029 |   627782 |    16544     91 |        5 |      294
419.62/419.78	c  419s |      19 |   742724 |   631082 |    16544     91 |        5 |      294
421.72/421.80	c  421s |      19 |   745933 |   633982 |    16544     91 |        5 |      294
423.72/423.83	c  423s |      19 |   749162 |   636782 |    16544     92 |        5 |      294
425.72/425.86	c  425s |      19 |   752743 |   639982 |    16544     92 |        5 |      294
427.82/427.95	c  427s |      19 |   755480 |   642382 |    16544     92 |        5 |      294
429.82/429.97	c  429s |      19 |   758184 |   644582 |    16544     93 |        5 |      294
431.92/432.02	c  431s |      19 |   762276 |   648082 |    16544     93 |        5 |      294
433.92/434.02	c  433s |      19 |   765789 |   651182 |    16544     93 |        5 |      294
435.92/436.07	c  435s |      19 |   769008 |   653982 |    16544     94 |        5 |      294
438.02/438.14	c  437s |      19 |   771212 |   655882 |    16544     94 |        5 |      294
440.03/440.17	c  440s |      19 |   775148 |   659182 |    16544     94 |        5 |      294
442.13/442.22	c  442s |      19 |   778737 |   662282 |    18199     95 |        5 |      294
444.12/444.28	c  444s |      19 |   782924 |   665982 |    18199     95 |        5 |      294
444.72/444.82	c  444s |      20 |   783861 |   666827 |    18199     95 |        5 |      294
446.72/446.88	c  446s |      20 |   784547 |   667327 |    18199     95 |        5 |      294
448.82/448.95	c  448s |      20 |   788418 |   670427 |    18199     95 |        5 |      294
450.82/450.97	c  450s |      20 |   791884 |   673227 |    18199     96 |        5 |      294
452.92/453.03	c  452s |      20 |   795855 |   676627 |    18199     96 |        5 |      294
454.91/455.08	c  454s |      20 |   799310 |   679527 |    18199     96 |        5 |      294
456.91/457.08	c  456s |      20 |   803088 |   682727 |    18199     97 |        5 |      294
459.01/459.14	c  458s |      20 |   806887 |   686027 |    18199     97 |        5 |      294
461.81/461.94	c  461s |      20 |   809689 |   688427 |    18199     97 |        5 |      294
463.82/463.94	c  463s |      20 |   813271 |   691327 |    18199     98 |        5 |      294
465.82/465.95	c  465s |      20 |   817524 |   694827 |    18199     98 |        5 |      294
467.82/467.97	c  467s |      20 |   821364 |   698027 |    18199     98 |        5 |      294
469.92/470.01	c  469s |      20 |   824744 |   700927 |    18199     99 |        5 |      294
471.92/472.03	c  471s |      20 |   828703 |   704227 |    18199     99 |        5 |      294
474.02/474.10	c  473s |      20 |   832437 |   707327 |    18199     99 |        5 |      294
476.01/476.14	c  475s |      20 |   836029 |   710427 |    18199    100 |        5 |      294
478.01/478.14	c  477s |      20 |   839957 |   713827 |    18199    100 |        5 |      294
480.11/480.22	c  480s |      20 |   843356 |   716827 |    18199    100 |        5 |      294
483.01/483.10	c  482s |      20 |   844493 |   717827 |    18199    101 |        5 |      294
485.02/485.15	c  484s |      20 |   848436 |   721127 |    18199    101 |        5 |      294
487.11/487.20	c  487s |      20 |   852046 |   724227 |    18199    101 |        5 |      294
489.11/489.21	c  489s |      20 |   855534 |   727227 |    18199    102 |        5 |      294
491.11/491.21	c  491s |      20 |   859940 |   731027 |    18199    102 |        5 |      294
493.11/493.23	c  493s |      20 |   863014 |   733627 |    18199    102 |        5 |      294
495.21/495.30	c  495s |      20 |   866334 |   736427 |    18199    103 |        5 |      294
497.21/497.33	c  497s |      20 |   869872 |   739627 |    18199    103 |        5 |      294
499.21/499.35	c  499s |      20 |   873315 |   742627 |    18199    103 |        5 |      294
501.80/501.90	c  501s |      20 |   876372 |   745327 |    18199    104 |        5 |      294
503.81/503.91	c  503s |      20 |   879934 |   748427 |    18199    104 |        5 |      294
505.80/505.95	c  505s |      20 |   883005 |   751127 |    18199    104 |        5 |      294
507.90/508.01	c  507s |      20 |   885702 |   753527 |    18199    104 |        5 |      294
509.90/510.02	c  509s |      20 |   888795 |   756227 |    18199    105 |        5 |      294
513.01/513.18	c  513s |      20 |   889522 |   756827 |    18199    105 |        5 |      294
515.10/515.25	c  515s |      20 |   891849 |   758827 |    18199    105 |        5 |      294
517.10/517.26	c  517s |      20 |   895375 |   761827 |    18199    105 |        5 |      294
519.21/519.31	c  519s |      20 |   898375 |   764327 |    18199    106 |        5 |      294
521.20/521.37	c  521s |      20 |   901704 |   767227 |    18199    106 |        5 |      294
523.20/523.39	c  523s |      20 |   904747 |   769927 |    18199    106 |        5 |      294
525.30/525.47	c  525s |      20 |   907802 |   772527 |    18199    106 |        5 |      294
527.40/527.55	c  527s |      20 |   911323 |   775527 |    18199    107 |        5 |      294
529.40/529.56	c  529s |      20 |   914380 |   778227 |    18199    107 |        5 |      294
531.50/531.60	c  531s |      20 |   917143 |   780727 |    18199    107 |        5 |      294
533.51/533.66	c  533s |      20 |   920083 |   783427 |    18199    108 |        5 |      294
535.50/535.68	c  535s |      20 |   922977 |   786027 |    18199    108 |        5 |      294
537.60/537.73	c  537s |      20 |   926055 |   788727 |    18199    108 |        5 |      294
539.70/539.87	c  539s |      20 |   928712 |   791027 |    18199    109 |        5 |      294
541.80/541.97	c  541s |      20 |   931921 |   793727 |    18199    109 |        5 |      294
543.90/544.02	c  543s |      20 |   935392 |   796727 |    18199    109 |        5 |      294
545.90/546.05	c  545s |      20 |   938548 |   799427 |    18199    109 |        5 |      294
548.81/548.98	c  548s |      20 |   941574 |   802127 |    18199    110 |        5 |      294
550.81/550.98	c  550s |      20 |   944995 |   804827 |    18199    110 |        5 |      294
552.91/553.04	c  552s |      20 |   948305 |   807627 |    18199    110 |        5 |      294
554.90/555.08	c  554s |      20 |   951240 |   810127 |    18199    111 |        5 |      294
557.00/557.12	c  556s |      20 |   954618 |   813027 |    18199    111 |        5 |      294
559.00/559.17	c  559s |      20 |   957760 |   815727 |    18199    111 |        5 |      294
561.01/561.19	c  561s |      20 |   960407 |   818127 |    18199    111 |        5 |      294
563.11/563.24	c  563s |      20 |   963439 |   820727 |    18199    112 |        5 |      294
565.10/565.25	c  565s |      20 |   966533 |   823327 |    18199    112 |        5 |      294
568.10/568.29	c  568s |      20 |   969231 |   825627 |    18199    112 |        5 |      294
570.40/570.50	c  570s |      20 |   971841 |   827827 |    18199    113 |        5 |      294
572.40/572.55	c  572s |      20 |   975842 |   831227 |    18199    113 |        5 |      294
574.50/574.60	c  574s |      20 |   979364 |   834227 |    18199    113 |        5 |      294
576.70/576.84	c  576s |      20 |   982685 |   837127 |    18199    114 |        5 |      294
578.70/578.89	c  578s |      20 |   986413 |   840327 |    18199    114 |        5 |      294
580.81/580.93	c  580s |      20 |   989967 |   843427 |    18199    114 |        5 |      294
582.80/582.96	c  582s |      20 |   992155 |   845327 |    18199    114 |        5 |      294
584.90/585.01	c  584s |      20 |   995007 |   847827 |    18199    115 |        5 |      294
586.90/587.07	c  586s |      20 |   998402 |   850827 |    18199    115 |        5 |      294
588.90/589.07	c  588s |      20 |  1001513 |   853527 |    18199    115 |        5 |      294
591.00/591.11	c  590s |      20 |  1004707 |   856327 |    18199    116 |        5 |      294
593.00/593.15	c  592s |      20 |  1008350 |   859527 |    18199    116 |        5 |      294
595.00/595.18	c  595s |      20 |  1011205 |   862027 |    18199    116 |        5 |      294
597.20/597.36	c  597s |      20 |  1014207 |   864627 |    18199    117 |        5 |      294
599.29/599.41	c  599s |      20 |  1017351 |   867327 |    18199    117 |        5 |      294
601.29/601.47	c  601s |      20 |  1020660 |   870227 |    18199    117 |        5 |      294
604.49/604.60	c  604s |      20 |  1023390 |   872627 |    18199    117 |        5 |      294
606.49/606.66	c  606s |      20 |  1026495 |   875327 |    18199    118 |        5 |      294
608.49/608.69	c  608s |      20 |  1029841 |   878327 |    18199    118 |        5 |      294
610.59/610.72	c  610s |      20 |  1033277 |   881327 |    18199    118 |        5 |      294
612.60/612.76	c  612s |      20 |  1036319 |   884027 |    18199    119 |        5 |      294
614.69/614.80	c  614s |      20 |  1039459 |   886727 |    18199    119 |        5 |      294
616.69/616.81	c  616s |      20 |  1042692 |   889527 |    18199    119 |        5 |      294
618.69/618.85	c  618s |      20 |  1045590 |   892027 |    18199    119 |        5 |      294
620.69/620.89	c  620s |      20 |  1048761 |   894827 |    18199    120 |        5 |      294
622.79/622.95	c  622s |      20 |  1052178 |   897927 |    18199    120 |        5 |      294
624.80/624.99	c  624s |      20 |  1055348 |   900727 |    18199    120 |        5 |      294
626.89/627.01	c  626s |      20 |  1058324 |   903427 |    18199    121 |        5 |      294
628.89/629.08	c  628s |      20 |  1061562 |   906327 |    18199    121 |        5 |      294
630.89/631.09	c  630s |      20 |  1064314 |   908827 |    18199    121 |        5 |      294
632.98/633.14	c  632s |      20 |  1066874 |   911127 |    18199    122 |        5 |      294
634.98/635.17	c  635s |      20 |  1069210 |   913127 |    18199    122 |        5 |      294
636.99/637.17	c  637s |      20 |  1072743 |   916227 |    18199    122 |        5 |      294
639.10/639.23	c  639s |      20 |  1075925 |   919027 |    18199    122 |        5 |      294
641.09/641.24	c  641s |      20 |  1078419 |   921327 |    18199    123 |        5 |      294
643.09/643.28	c  643s |      20 |  1081680 |   924327 |    18199    123 |        5 |      294
645.19/645.34	c  645s |      20 |  1084785 |   927127 |    18199    123 |        5 |      294
647.29/647.40	c  647s |      20 |  1087636 |   929627 |    18199    124 |        5 |      294
652.19/652.37	c  652s |      20 |  1091160 |   932827 |    18199    124 |        5 |      294
654.29/654.40	c  654s |      20 |  1095004 |   936027 |    18199    124 |        5 |      294
656.29/656.41	c  656s |      20 |  1098116 |   938727 |    18199    125 |        5 |      294
658.29/658.49	c  658s |      20 |  1101672 |   941927 |    18199    125 |        5 |      294
660.29/660.49	c  660s |      20 |  1104455 |   944327 |    18199    125 |        5 |      294
662.39/662.52	c  662s |      20 |  1107405 |   946827 |    18199    125 |        5 |      294
664.39/664.56	c  664s |      20 |  1110105 |   949027 |    18199    126 |        5 |      294
666.49/666.61	c  666s |      20 |  1113343 |   951727 |    18199    126 |        5 |      294
668.49/668.62	c  668s |      20 |  1116203 |   954227 |    18199    126 |        5 |      294
670.49/670.63	c  670s |      20 |  1119121 |   956827 |    18199    127 |        5 |      294
672.49/672.66	c  672s |      20 |  1121813 |   959227 |    18199    127 |        5 |      294
674.49/674.69	c  674s |      20 |  1124742 |   961827 |    18199    127 |        5 |      294
676.59/676.77	c  676s |      20 |  1127486 |   964327 |    18199    127 |        5 |      294
678.69/678.81	c  678s |      20 |  1129820 |   966427 |    18199    128 |        5 |      294
680.68/680.88	c  680s |      20 |  1133077 |   969227 |    18199    128 |        5 |      294
682.78/682.90	c  682s |      20 |  1136424 |   972027 |    18199    128 |        5 |      294
684.78/684.91	c  684s |      20 |  1138143 |   973427 |    18199    128 |        5 |      294
686.88/687.03	c  686s |      20 |  1140969 |   975827 |    18199    129 |        5 |      294
688.88/689.03	c  688s |      20 |  1144488 |   978827 |    18199    129 |        5 |      294
690.88/691.08	c  690s |      20 |  1147564 |   981427 |    18199    129 |        5 |      294
692.89/693.09	c  692s |      20 |  1150283 |   983827 |    18199    129 |        5 |      294
694.98/695.10	c  694s |      20 |  1153739 |   986827 |    18199    130 |        5 |      294
696.98/697.13	c  696s |      20 |  1157241 |   989927 |    18199    130 |        5 |      294
698.98/699.17	c  699s |      20 |  1160107 |   992427 |    18199    130 |        5 |      294
701.08/701.23	c  701s |      20 |  1162705 |   994627 |    20019    130 |        5 |      294
703.48/703.69	c  703s |      20 |  1164765 |   996327 |    20019    131 |        5 |      294
705.57/705.77	c  705s |      20 |  1167803 |   998827 |    20019    131 |        5 |      294
706.67/706.86	c  706s |      21 |  1169627 |  1000345 |    20019    131 |        5 |      294
708.77/708.91	c  708s |      21 |  1172798 |  1002945 |    20019    131 |        5 |      294
710.77/710.97	c  710s |      21 |  1175584 |  1005245 |    20019    131 |        5 |      294
712.87/713.00	c  712s |      21 |  1178658 |  1007845 |    20019    132 |        5 |      294
714.88/715.04	c  714s |      21 |  1182052 |  1010745 |    20019    132 |        5 |      294
716.97/717.10	c  716s |      21 |  1185090 |  1013345 |    20019    132 |        5 |      294
719.07/719.29	c  719s |      21 |  1187763 |  1015645 |    20019    133 |        5 |      294
721.17/721.32	c  721s |      21 |  1191025 |  1018545 |    20019    133 |        5 |      294
723.17/723.34	c  723s |      21 |  1194474 |  1021445 |    20019    133 |        5 |      294
725.17/725.36	c  725s |      21 |  1197620 |  1024145 |    20019    133 |        5 |      294
728.18/728.34	c  728s |      21 |  1200063 |  1026145 |    20019    134 |        5 |      294
730.17/730.38	c  730s |      21 |  1204079 |  1029445 |    20019    134 |        5 |      294
732.48/732.64	c  732s |      21 |  1207567 |  1032445 |    20019    134 |        5 |      294
734.57/734.71	c  734s |      21 |  1210839 |  1035245 |    20019    134 |        5 |      294
736.57/736.76	c  736s |      21 |  1214084 |  1038045 |    20019    135 |        5 |      294
738.57/738.79	c  738s |      21 |  1217336 |  1040945 |    20019    135 |        5 |      294
740.67/740.83	c  740s |      21 |  1220299 |  1043545 |    20019    135 |        5 |      294
742.87/743.03	c  742s |      21 |  1223107 |  1045945 |    20019    136 |        5 |      294
744.87/745.04	c  744s |      21 |  1226447 |  1048845 |    20019    136 |        5 |      294
746.87/747.04	c  746s |      21 |  1229639 |  1051745 |    20019    136 |        5 |      294
748.86/749.05	c  748s |      21 |  1232839 |  1054545 |    20019    136 |        5 |      294
750.96/751.11	c  750s |      21 |  1235108 |  1056545 |    20019    137 |        5 |      294
752.96/753.15	c  752s |      21 |  1238456 |  1059545 |    20019    137 |        5 |      294
754.96/755.19	c  755s |      21 |  1241516 |  1062345 |    20019    137 |        5 |      294
756.96/757.19	c  757s |      21 |  1243991 |  1064645 |    20019    137 |        5 |      294
759.06/759.22	c  759s |      21 |  1246679 |  1067045 |    20019    138 |        5 |      294
761.07/761.24	c  761s |      21 |  1249803 |  1069745 |    20019    138 |        5 |      294
765.06/765.25	c  765s |      21 |  1251416 |  1071145 |    20019    138 |        5 |      294
767.06/767.28	c  767s |      21 |  1254436 |  1073645 |    20019    138 |        5 |      294
769.16/769.34	c  769s |      21 |  1257352 |  1076145 |    20019    138 |        5 |      294
771.16/771.35	c  771s |      21 |  1260378 |  1078745 |    20019    139 |        5 |      294
773.27/773.42	c  773s |      21 |  1263890 |  1081845 |    20019    139 |        5 |      294
775.26/775.48	c  775s |      21 |  1266949 |  1084545 |    20019    139 |        5 |      294
777.36/777.50	c  777s |      21 |  1269278 |  1086545 |    20019    140 |        5 |      294
779.35/779.53	c  779s |      21 |  1272630 |  1089445 |    20019    140 |        5 |      294
781.35/781.54	c  781s |      21 |  1275703 |  1092145 |    20019    140 |        5 |      294
783.35/783.55	c  783s |      21 |  1278770 |  1094845 |    20019    140 |        5 |      294
785.45/785.61	c  785s |      21 |  1281501 |  1097245 |    20019    141 |        5 |      294
787.46/787.64	c  787s |      21 |  1284440 |  1099945 |    20019    141 |        5 |      294
789.54/789.70	c  789s |      21 |  1287349 |  1102445 |    20019    141 |        5 |      294
791.54/791.73	c  791s |      21 |  1289877 |  1104745 |    20019    141 |        5 |      294
793.54/793.80	c  793s |      21 |  1291991 |  1106745 |    20019    142 |        5 |      294
797.94/798.16	c  798s |      21 |  1294612 |  1109145 |    20019    142 |        5 |      294
800.03/800.22	c  800s |      21 |  1297672 |  1111845 |    20019    142 |        5 |      294
802.03/802.28	c  802s |      21 |  1300902 |  1114645 |    20019    142 |        5 |      294
804.13/804.37	c  804s |      21 |  1303472 |  1116845 |    20019    143 |        5 |      294
806.14/806.38	c  806s |      21 |  1306831 |  1119845 |    20019    143 |        5 |      294
808.23/808.47	c  808s |      21 |  1310020 |  1122745 |    20019    143 |        5 |      294
810.22/810.49	c  810s |      21 |  1312910 |  1125345 |    20019    143 |        5 |      294
812.33/812.54	c  812s |      21 |  1315223 |  1127445 |    20019    144 |        5 |      294
814.33/814.55	c  814s |      21 |  1318736 |  1130445 |    20019    144 |        5 |      294
816.43/816.64	c  816s |      21 |  1321863 |  1133245 |    20019    144 |        5 |      294
818.43/818.68	c  818s |      21 |  1323868 |  1135045 |    20019    144 |        5 |      294
820.53/820.71	c  820s |      21 |  1326299 |  1137145 |    20019    145 |        5 |      294
822.53/822.75	c  822s |      21 |  1329686 |  1140245 |    20019    145 |        5 |      294
824.52/824.77	c  824s |      21 |  1332955 |  1143145 |    20019    145 |        5 |      294
826.52/826.77	c  826s |      21 |  1335865 |  1145745 |    20019    145 |        5 |      294
828.62/828.82	c  828s |      21 |  1338434 |  1148045 |    20019    146 |        5 |      294
830.62/830.86	c  830s |      21 |  1341565 |  1150845 |    20019    146 |        5 |      294
832.63/832.89	c  832s |      21 |  1344623 |  1153445 |    20019    146 |        5 |      294
834.73/834.97	c  834s |      21 |  1347077 |  1155545 |    20019    146 |        5 |      294
837.92/838.13	c  837s |      21 |  1347554 |  1155945 |    20019    146 |        5 |      294
839.92/840.15	c  839s |      21 |  1350081 |  1157945 |    20019    147 |        5 |      294
842.02/842.20	c  842s |      21 |  1353534 |  1160845 |    20019    147 |        5 |      294
844.01/844.25	c  844s |      21 |  1356652 |  1163545 |    20019    147 |        5 |      294
846.01/846.25	c  846s |      21 |  1359718 |  1166145 |    20019    147 |        5 |      294
848.02/848.26	c  848s |      21 |  1362592 |  1168645 |    20019    148 |        5 |      294
850.01/850.28	c  850s |      21 |  1365970 |  1171645 |    20019    148 |        5 |      294
852.01/852.29	c  852s |      21 |  1369041 |  1174445 |    20019    148 |        5 |      294
854.11/854.32	c  854s |      21 |  1371742 |  1176845 |    20019    148 |        5 |      294
856.11/856.36	c  856s |      21 |  1374357 |  1179045 |    20019    149 |        5 |      294
858.21/858.41	c  858s |      21 |  1377715 |  1181945 |    20019    149 |        5 |      294
860.21/860.43	c  860s |      21 |  1380871 |  1184745 |    20019    149 |        5 |      294
862.22/862.43	c  862s |      21 |  1383860 |  1187345 |    20019    149 |        5 |      294
864.31/864.51	c  864s |      21 |  1386882 |  1189945 |    20019    150 |        5 |      294
866.31/866.57	c  866s |      21 |  1390061 |  1192745 |    20019    150 |        5 |      294
868.40/868.62	c  868s |      21 |  1392948 |  1195345 |    20019    150 |        5 |      294
870.40/870.67	c  870s |      21 |  1395447 |  1197545 |    20019    151 |        5 |      294
872.50/872.72	c  872s |      21 |  1398542 |  1200345 |    20019    151 |        5 |      294
874.50/874.73	c  874s |      21 |  1401602 |  1203045 |    20019    151 |        5 |      294
877.71/877.96	c  877s |      21 |  1402999 |  1204345 |    20019    151 |        5 |      294
879.71/879.97	c  879s |      21 |  1405531 |  1206545 |    20019    151 |        5 |      294
881.71/881.99	c  881s |      21 |  1408287 |  1208945 |    20019    152 |        5 |      294
883.80/884.04	c  883s |      21 |  1411331 |  1211545 |    20019    152 |        5 |      294
885.90/886.10	c  885s |      21 |  1414531 |  1214245 |    20019    152 |        5 |      294
887.90/888.14	c  887s |      21 |  1417560 |  1216845 |    20019    152 |        5 |      294
889.90/890.19	c  890s |      21 |  1420342 |  1219345 |    20019    153 |        5 |      294
892.01/892.24	c  892s |      21 |  1423132 |  1221845 |    20019    153 |        5 |      294
894.00/894.26	c  894s |      21 |  1426080 |  1224445 |    20019    153 |        5 |      294
896.10/896.31	c  896s |      21 |  1428697 |  1226745 |    20019    153 |        5 |      294
898.80/899.01	c  898s |      21 |  1430325 |  1228245 |    20019    154 |        5 |      294
900.80/901.07	c  900s |      21 |  1433891 |  1231245 |    20019    154 |        5 |      294
902.90/903.15	c  902s |      21 |  1437096 |  1234045 |    20019    154 |        5 |      294
904.99/905.20	c  905s |      21 |  1439821 |  1236545 |    20019    154 |        5 |      294
907.09/907.33	c  907s |      21 |  1442526 |  1238945 |    20019    155 |        5 |      294
909.08/909.38	c  909s |      21 |  1445265 |  1241345 |    20019    155 |        5 |      294
911.18/911.46	c  911s |      21 |  1448114 |  1243845 |    20019    155 |        5 |      294
913.28/913.51	c  913s |      21 |  1450487 |  1245945 |    20019    155 |        5 |      294
915.28/915.52	c  915s |      21 |  1452736 |  1247945 |    20019    155 |        5 |      294
917.29/917.59	c  917s |      21 |  1455355 |  1250345 |    20019    156 |        5 |      294
921.58/921.87	c  921s |      21 |  1457660 |  1252445 |    20019    156 |        5 |      294
923.68/923.93	c  923s |      21 |  1460481 |  1254945 |    20019    156 |        5 |      294
925.78/926.02	c  925s |      21 |  1463047 |  1257245 |    20019    156 |        5 |      294
927.78/928.07	c  927s |      21 |  1465598 |  1259545 |    20019    157 |        5 |      294
929.87/930.12	c  929s |      21 |  1468021 |  1261745 |    20019    157 |        5 |      294
931.87/932.19	c  932s |      21 |  1470713 |  1264245 |    20019    157 |        5 |      294
933.97/934.22	c  934s |      21 |  1473097 |  1266445 |    20019    157 |        5 |      294
935.98/936.22	c  936s |      21 |  1475278 |  1268445 |    20019    158 |        5 |      294
937.97/938.25	c  938s |      21 |  1478100 |  1271045 |    20019    158 |        5 |      294
939.96/940.26	c  940s |      21 |  1480600 |  1273345 |    20019    158 |        5 |      294
942.06/942.34	c  942s |      21 |  1482934 |  1275445 |    20019    158 |        5 |      294
944.06/944.38	c  944s |      21 |  1485028 |  1277345 |    20019    158 |        5 |      294
946.06/946.39	c  946s |      21 |  1487206 |  1279245 |    20019    159 |        5 |      294
948.16/948.44	c  948s |      21 |  1490057 |  1281845 |    20019    159 |        5 |      294
950.16/950.50	c  950s |      21 |  1492593 |  1284145 |    20019    159 |        5 |      294
952.26/952.55	c  952s |      21 |  1495023 |  1286345 |    20019    159 |        5 |      294
954.36/954.63	c  954s |      21 |  1497072 |  1288245 |    20019    159 |        5 |      294
956.35/956.64	c  956s |      21 |  1499329 |  1290245 |    20019    160 |        5 |      294
958.45/958.71	c  958s |      21 |  1502039 |  1292645 |    20019    160 |        5 |      294
960.55/960.80	c  960s |      21 |  1504304 |  1294545 |    20019    160 |        5 |      294
962.55/962.85	c  962s |      21 |  1506443 |  1296345 |    20019    160 |        5 |      294
964.65/964.91	c  964s |      21 |  1509203 |  1298345 |    20019    160 |        5 |      294
966.65/966.95	c  966s |      21 |  1512292 |  1300745 |    20019    161 |        5 |      294
968.75/969.03	c  968s |      21 |  1515078 |  1302945 |    20019    161 |        5 |      294
970.85/971.11	c  970s |      21 |  1517921 |  1305245 |    20019    161 |        5 |      294
972.85/973.12	c  972s |      21 |  1520532 |  1307245 |    20019    161 |        5 |      294
974.95/975.22	c  975s |      21 |  1522646 |  1308945 |    20019    162 |        5 |      294
976.95/977.24	c  977s |      21 |  1525253 |  1311145 |    20019    162 |        5 |      294
978.95/979.25	c  979s |      21 |  1527752 |  1313245 |    20019    162 |        5 |      294
980.96/981.25	c  981s |      21 |  1529988 |  1315145 |    20019    162 |        5 |      294
983.05/983.31	c  983s |      21 |  1531916 |  1316845 |    20019    162 |        5 |      294
985.46/985.71	c  985s |      21 |  1532943 |  1317745 |    20019    162 |        5 |      294
987.45/987.74	c  987s |      21 |  1535261 |  1319745 |    20019    163 |        5 |      294
989.44/989.79	c  989s |      21 |  1537977 |  1322145 |    20019    163 |        5 |      294
991.54/991.81	c  991s |      21 |  1540342 |  1324345 |    20019    163 |        5 |      294
993.54/993.81	c  993s |      21 |  1542271 |  1326145 |    20019    163 |        5 |      294
995.54/995.87	c  995s |      21 |  1544070 |  1327845 |    20019    163 |        5 |      294
997.55/997.89	c  997s |      21 |  1546347 |  1329845 |    20019    164 |        5 |      294
999.54/999.89	c  999s |      21 |  1549057 |  1332345 |    20019    164 |        5 |      294
1001.64/1001.91	c 1001s |      21 |  1551467 |  1334545 |    20019    164 |        5 |      294
1003.64/1003.96	c 1003s |      21 |  1553951 |  1336745 |    20019    164 |        5 |      294
1005.64/1005.99	c 1005s |      21 |  1556014 |  1338645 |    20019    164 |        5 |      294
1007.73/1008.03	c 1007s |      21 |  1558845 |  1341045 |    20019    165 |        5 |      294
1009.73/1010.08	c 1009s |      21 |  1561811 |  1343645 |    20019    165 |        5 |      294
1011.84/1012.16	c 1011s |      21 |  1564252 |  1345845 |    20019    165 |        5 |      294
1013.83/1014.20	c 1014s |      21 |  1566479 |  1347845 |    20019    165 |        5 |      294
1015.93/1016.24	c 1016s |      21 |  1568450 |  1349645 |    20019    166 |        5 |      294
1017.93/1018.26	c 1018s |      21 |  1571419 |  1352345 |    20019    166 |        5 |      294
1019.92/1020.29	c 1020s |      21 |  1573999 |  1354745 |    20019    166 |        5 |      294
1022.02/1022.30	c 1022s |      21 |  1576274 |  1356845 |    20019    166 |        5 |      294
1024.02/1024.37	c 1024s |      21 |  1578736 |  1358845 |    20019    166 |        5 |      294
1026.22/1026.52	c 1026s |      21 |  1581198 |  1361045 |    20019    167 |        5 |      294
1028.32/1028.62	c 1028s |      21 |  1583742 |  1363345 |    20019    167 |        5 |      294
1030.31/1030.68	c 1030s |      21 |  1586100 |  1365345 |    20019    167 |        5 |      294
1032.41/1032.74	c 1032s |      21 |  1587465 |  1366445 |    20019    167 |        5 |      294
1034.41/1034.75	c 1034s |      21 |  1589931 |  1368645 |    20019    167 |        5 |      294
1036.41/1036.76	c 1036s |      21 |  1592361 |  1370845 |    20019    168 |        5 |      294
1038.40/1038.79	c 1038s |      21 |  1594863 |  1373045 |    20019    168 |        5 |      294
1040.50/1040.82	c 1040s |      21 |  1597447 |  1375345 |    20019    168 |        5 |      294
1042.51/1042.85	c 1042s |      21 |  1599821 |  1377445 |    20019    168 |        5 |      294
1044.71/1045.01	c 1044s |      21 |  1602177 |  1379545 |    20019    169 |        5 |      294
1046.70/1047.03	c 1046s |      21 |  1604959 |  1382045 |    20019    169 |        5 |      294
1048.70/1049.04	c 1048s |      21 |  1607372 |  1384245 |    20019    169 |        5 |      294
1050.70/1051.07	c 1050s |      21 |  1609768 |  1386445 |    20019    169 |        5 |      294
1052.80/1053.12	c 1052s |      21 |  1612211 |  1388545 |    20019    169 |        5 |      294
1054.80/1055.13	c 1054s |      21 |  1614432 |  1390445 |    20019    170 |        5 |      294
1056.81/1057.18	c 1057s |      21 |  1615532 |  1391345 |    20019    170 |        5 |      294
1058.90/1059.24	c 1059s |      21 |  1618453 |  1393845 |    20019    170 |        5 |      294
1060.89/1061.24	c 1061s |      21 |  1621111 |  1396145 |    20019    170 |        5 |      294
1062.89/1063.28	c 1063s |      21 |  1623303 |  1398045 |    20019    170 |        5 |      294
1064.99/1065.31	c 1065s |      21 |  1625549 |  1400045 |    20019    171 |        5 |      294
1066.99/1067.34	c 1067s |      21 |  1627704 |  1401945 |    20019    171 |        5 |      294
1069.09/1069.41	c 1069s |      21 |  1630875 |  1404745 |    20019    171 |        5 |      294
1071.10/1071.45	c 1071s |      21 |  1633583 |  1407145 |    20019    171 |        5 |      294
1073.09/1073.47	c 1073s |      21 |  1635928 |  1409245 |    20019    171 |        5 |      294
1075.19/1075.58	c 1075s |      21 |  1638248 |  1411345 |    20019    172 |        5 |      294
1077.29/1077.62	c 1077s |      21 |  1641117 |  1413745 |    20019    172 |        5 |      294
1079.29/1079.65	c 1079s |      21 |  1643690 |  1416045 |    20019    172 |        5 |      294
1081.58/1081.91	c 1081s |      21 |  1644998 |  1417245 |    20019    172 |        5 |      294
1083.58/1083.94	c 1083s |      21 |  1647425 |  1419245 |    20019    172 |        5 |      294
1085.58/1085.97	c 1085s |      21 |  1650015 |  1421345 |    20019    173 |        5 |      294
1087.69/1088.01	c 1087s |      21 |  1653515 |  1424245 |    20019    173 |        5 |      294
1089.67/1090.02	c 1089s |      21 |  1656595 |  1426945 |    20019    173 |        5 |      294
1091.67/1092.05	c 1091s |      21 |  1659812 |  1429645 |    20019    173 |        5 |      294
1093.67/1094.08	c 1093s |      21 |  1663163 |  1432545 |    20019    174 |        5 |      294
1095.77/1096.15	c 1095s |      21 |  1666482 |  1435345 |    20019    174 |        5 |      294
1097.87/1098.20	c 1098s |      21 |  1669378 |  1437845 |    20019    174 |        5 |      294
1099.97/1100.36	c 1100s |      21 |  1672085 |  1440245 |    20019    175 |        5 |      294
1101.98/1102.38	c 1102s |      21 |  1674998 |  1442845 |    20019    175 |        5 |      294
1104.36/1104.73	c 1104s |      21 |  1676052 |  1443745 |    20019    175 |        5 |      294
1106.37/1106.77	c 1106s |      21 |  1679253 |  1446345 |    20019    175 |        5 |      294
1108.36/1108.79	c 1108s |      21 |  1682037 |  1448645 |    20019    175 |        5 |      294
1110.47/1110.88	c 1110s |      21 |  1685025 |  1451145 |    20019    176 |        5 |      294
1112.57/1112.91	c 1112s |      21 |  1688615 |  1454145 |    20019    176 |        5 |      294
1114.57/1114.94	c 1114s |      21 |  1691828 |  1456845 |    20019    176 |        5 |      294
1116.67/1117.00	c 1116s |      21 |  1694854 |  1459445 |    20019    176 |        5 |      294
1118.66/1119.06	c 1118s |      21 |  1698254 |  1462345 |    20019    177 |        5 |      294
1120.67/1121.08	c 1120s |      21 |  1702014 |  1465645 |    20019    177 |        5 |      294
1122.77/1123.15	c 1122s |      21 |  1705073 |  1468245 |    20019    177 |        5 |      294
1124.86/1125.24	c 1125s |      21 |  1707849 |  1470645 |    20019    178 |        5 |      294
1126.86/1127.29	c 1127s |      21 |  1711211 |  1473545 |    20019    178 |        5 |      294
1128.86/1129.29	c 1129s |      21 |  1714239 |  1476245 |    20019    178 |        5 |      294
1130.96/1131.31	c 1131s |      21 |  1716607 |  1478345 |    20019    178 |        5 |      294
1134.05/1134.44	c 1134s |      21 |  1716719 |  1478445 |    20019    178 |        5 |      294
1136.35/1136.74	c 1136s |      21 |  1719454 |  1480745 |    20019    179 |        5 |      294
1138.34/1138.78	c 1138s |      21 |  1723110 |  1483845 |    20019    179 |        5 |      294
1140.45/1140.84	c 1140s |      21 |  1726573 |  1486845 |    20019    179 |        5 |      294
1142.55/1142.91	c 1142s |      21 |  1729428 |  1489345 |    20019    179 |        5 |      294
1144.54/1144.99	c 1144s |      21 |  1732146 |  1491645 |    22021    179 |        5 |      294
1147.05/1147.48	c 1147s |      21 |  1734367 |  1493545 |    22021    180 |        5 |      294
1149.14/1149.50	c 1149s |      21 |  1737304 |  1496145 |    22021    180 |        5 |      294
1151.13/1151.55	c 1151s |      21 |  1740320 |  1498745 |    22021    180 |        5 |      294
1152.63/1153.06	c 1152s |      22 |  1742481 |  1500622 |    22021    180 |        5 |      294
1154.64/1155.07	c 1154s |      22 |  1743329 |  1501322 |    22021    180 |        5 |      294
1156.84/1157.21	c 1157s |      22 |  1746461 |  1503922 |    22021    181 |        5 |      294
1158.83/1159.26	c 1159s |      22 |  1748799 |  1505822 |    22021    181 |        5 |      294
1160.93/1161.33	c 1161s |      22 |  1752407 |  1508822 |    22021    181 |        5 |      294
1162.93/1163.37	c 1163s |      22 |  1755226 |  1511222 |    22021    181 |        5 |      294
1165.03/1165.43	c 1165s |      22 |  1758120 |  1513622 |    22021    181 |        5 |      294
1167.03/1167.44	c 1167s |      22 |  1760995 |  1516022 |    22021    182 |        5 |      294
1169.04/1169.46	c 1169s |      22 |  1764378 |  1518922 |    22021    182 |        5 |      294
1171.03/1171.49	c 1171s |      22 |  1767262 |  1521422 |    22021    182 |        5 |      294
1173.13/1173.55	c 1173s |      22 |  1769973 |  1523822 |    22021    182 |        5 |      294
1175.23/1175.61	c 1175s |      22 |  1772462 |  1525922 |    22021    182 |        5 |      294
1177.23/1177.66	c 1177s |      22 |  1774977 |  1528022 |    22021    183 |        5 |      294
1179.32/1179.71	c 1179s |      22 |  1778196 |  1530722 |    22021    183 |        5 |      294
1181.52/1181.92	c 1181s |      22 |  1778937 |  1531322 |    22021    183 |        5 |      294
1183.52/1183.97	c 1183s |      22 |  1782293 |  1534022 |    22021    183 |        5 |      294
1185.62/1186.02	c 1185s |      22 |  1785115 |  1536322 |    22021    183 |        5 |      294
1187.63/1188.04	c 1187s |      22 |  1787887 |  1538622 |    22021    184 |        5 |      294
1189.72/1190.10	c 1189s |      22 |  1791291 |  1541522 |    22021    184 |        5 |      294
1191.71/1192.16	c 1191s |      22 |  1794799 |  1544522 |    22021    184 |        5 |      294
1193.71/1194.17	c 1194s |      22 |  1797804 |  1547122 |    22021    184 |        5 |      294
1195.71/1196.18	c 1196s |      22 |  1800708 |  1549622 |    22021    185 |        5 |      294
1197.81/1198.26	c 1198s |      22 |  1804176 |  1552522 |    22021    185 |        5 |      294
1199.91/1200.32	c 1200s |      22 |  1807263 |  1555122 |    22021    185 |        5 |      294
1201.91/1202.35	c 1202s |      22 |  1810282 |  1557622 |    22021    185 |        5 |      294
1204.11/1204.55	c 1204s |      22 |  1812482 |  1559422 |    22021    186 |        5 |      294
1206.21/1206.62	c 1206s |      22 |  1814262 |  1560922 |    22021    186 |        5 |      294
1208.20/1208.65	c 1208s |      22 |  1817756 |  1563722 |    22021    186 |        5 |      294
1210.20/1210.69	c 1210s |      22 |  1821144 |  1566522 |    22021    186 |        5 |      294
1212.30/1212.70	c 1212s |      22 |  1823889 |  1568922 |    22021    186 |        5 |      294
1214.30/1214.73	c 1214s |      22 |  1826623 |  1571222 |    22021    187 |        5 |      294
1216.31/1216.77	c 1216s |      22 |  1829877 |  1574022 |    22021    187 |        5 |      294
1218.30/1218.79	c 1218s |      22 |  1832787 |  1576622 |    22021    187 |        5 |      294
1220.40/1220.81	c 1220s |      22 |  1835302 |  1578722 |    22021    187 |        5 |      294
1222.40/1222.87	c 1222s |      22 |  1838067 |  1581122 |    22021    187 |        5 |      294
1224.50/1224.93	c 1224s |      22 |  1841081 |  1583722 |    22021    188 |        5 |      294
1226.50/1226.95	c 1226s |      22 |  1843982 |  1586222 |    22021    188 |        5 |      294
1228.50/1228.97	c 1228s |      22 |  1847051 |  1588922 |    22021    188 |        5 |      294
1230.51/1230.99	c 1230s |      22 |  1849878 |  1591422 |    22021    188 |        5 |      294
1233.30/1233.77	c 1233s |      22 |  1852293 |  1593622 |    22021    189 |        5 |      294
1235.40/1235.83	c 1235s |      22 |  1855450 |  1596322 |    22021    189 |        5 |      294
1237.50/1237.92	c 1237s |      22 |  1858372 |  1598822 |    22021    189 |        5 |      294
1239.50/1239.94	c 1239s |      22 |  1861271 |  1601322 |    22021    189 |        5 |      294
1244.90/1245.37	c 1245s |      22 |  1864003 |  1603722 |    22021    190 |        5 |      294
1247.00/1247.41	c 1247s |      22 |  1866369 |  1605722 |    22021    190 |        5 |      294
1248.99/1249.44	c 1249s |      22 |  1868745 |  1607822 |    22021    190 |        5 |      294
1250.99/1251.46	c 1251s |      22 |  1872057 |  1610622 |    22021    190 |        5 |      294
1252.99/1253.47	c 1253s |      22 |  1874757 |  1613022 |    22021    190 |        5 |      294
1254.99/1255.49	c 1255s |      22 |  1877071 |  1615122 |    22021    191 |        5 |      294
1257.08/1257.52	c 1257s |      22 |  1879757 |  1617522 |    22021    191 |        5 |      294
1259.09/1259.59	c 1259s |      22 |  1882712 |  1620022 |    22021    191 |        5 |      294
1261.18/1261.64	c 1261s |      22 |  1885465 |  1622322 |    22021    191 |        5 |      294
1263.18/1263.66	c 1263s |      22 |  1888198 |  1624522 |    22021    191 |        5 |      294
1265.18/1265.66	c 1265s |      22 |  1890691 |  1626622 |    22021    192 |        5 |      294
1267.18/1267.69	c 1267s |      22 |  1893287 |  1628822 |    22021    192 |        5 |      294
1269.27/1269.71	c 1269s |      22 |  1896334 |  1631422 |    22021    192 |        5 |      294
1271.28/1271.75	c 1271s |      22 |  1898598 |  1633422 |    22021    192 |        5 |      294
1273.38/1273.84	c 1273s |      22 |  1901309 |  1635822 |    22021    192 |        5 |      294
1275.37/1275.87	c 1275s |      22 |  1903907 |  1638122 |    22021    193 |        5 |      294
1277.37/1277.88	c 1277s |      22 |  1907144 |  1640922 |    22021    193 |        5 |      294
1279.47/1279.95	c 1279s |      22 |  1910148 |  1643522 |    22021    193 |        5 |      294
1281.47/1281.99	c 1281s |      22 |  1912787 |  1645822 |    22021    193 |        5 |      294
1283.57/1284.07	c 1283s |      22 |  1915021 |  1647822 |    22021    193 |        5 |      294
1285.67/1286.10	c 1285s |      22 |  1917376 |  1649922 |    22021    194 |        5 |      294
1287.67/1288.14	c 1287s |      22 |  1920122 |  1652422 |    22021    194 |        5 |      294
1289.98/1290.47	c 1290s |      22 |  1921454 |  1653622 |    22021    194 |        5 |      294
1292.08/1292.52	c 1292s |      22 |  1923766 |  1655622 |    22021    194 |        5 |      294
1294.07/1294.56	c 1294s |      22 |  1926474 |  1658022 |    22021    194 |        5 |      294
1296.17/1296.62	c 1296s |      22 |  1928807 |  1660122 |    22021    195 |        5 |      294
1298.17/1298.65	c 1298s |      22 |  1931789 |  1662822 |    22021    195 |        5 |      294
1300.16/1300.66	c 1300s |      22 |  1934209 |  1665022 |    22021    195 |        5 |      294
1302.26/1302.72	c 1302s |      22 |  1937062 |  1667522 |    22021    195 |        5 |      294
1304.36/1304.82	c 1304s |      22 |  1939246 |  1669522 |    22021    195 |        5 |      294
1306.56/1307.08	c 1306s |      22 |  1941561 |  1671622 |    22021    196 |        5 |      294
1308.67/1309.16	c 1308s |      22 |  1944194 |  1674022 |    22021    196 |        5 |      294
1310.76/1311.21	c 1311s |      22 |  1946572 |  1676222 |    22021    196 |        5 |      294
1312.76/1313.26	c 1313s |      22 |  1948733 |  1678222 |    22021    196 |        5 |      294
1314.86/1315.31	c 1315s |      22 |  1950565 |  1679922 |    22021    196 |        5 |      294
1316.86/1317.34	c 1317s |      22 |  1951950 |  1681122 |    22021    196 |        5 |      294
1318.85/1319.35	c 1319s |      22 |  1953999 |  1682922 |    22021    197 |        5 |      294
1320.95/1321.40	c 1321s |      22 |  1956245 |  1684922 |    22021    197 |        5 |      294
1322.95/1323.44	c 1323s |      22 |  1958486 |  1686922 |    22021    197 |        5 |      294
1324.95/1325.44	c 1325s |      22 |  1960475 |  1688722 |    22021    197 |        5 |      294
1327.05/1327.55	c 1327s |      22 |  1962554 |  1690622 |    22021    197 |        5 |      294
1329.05/1329.56	c 1329s |      22 |  1963872 |  1691722 |    22021    197 |        5 |      294
1331.14/1331.62	c 1331s |      22 |  1965467 |  1693122 |    22021    198 |        5 |      294
1333.14/1333.63	c 1333s |      22 |  1967978 |  1695322 |    22021    198 |        5 |      294
1335.24/1335.70	c 1335s |      22 |  1970721 |  1697722 |    22021    198 |        5 |      294
1337.25/1337.72	c 1337s |      22 |  1973135 |  1699822 |    22021    198 |        5 |      294
1339.35/1339.81	c 1339s |      22 |  1975366 |  1701822 |    22021    198 |        5 |      294
1341.34/1341.89	c 1341s |      22 |  1977413 |  1703622 |    22021    198 |        5 |      294
1343.44/1343.90	c 1343s |      22 |  1979530 |  1705422 |    22021    199 |        5 |      294
1345.44/1345.99	c 1345s |      22 |  1982559 |  1708022 |    22021    199 |        5 |      294
1347.54/1348.08	c 1347s |      22 |  1985140 |  1710322 |    22021    199 |        5 |      294
1349.64/1350.10	c 1349s |      22 |  1987330 |  1712322 |    22021    199 |        5 |      294
1352.54/1353.07	c 1352s |      22 |  1989623 |  1714322 |    22021    199 |        5 |      294
1354.85/1355.36	c 1355s |      22 |  1990884 |  1715322 |    22021    200 |        5 |      294
1356.95/1357.42	c 1357s |      22 |  1994482 |  1718222 |    22021    200 |        5 |      294
1358.94/1359.50	c 1359s |      22 |  1997809 |  1721022 |    22021    200 |        5 |      294
1361.04/1361.57	c 1361s |      22 |  2000945 |  1723722 |    22021    200 |        5 |      294
1363.14/1363.67	c 1363s |      22 |  2003623 |  1726022 |    22021    200 |        5 |      294
1365.14/1365.67	c 1365s |      22 |  2006043 |  1728022 |    22021    201 |        5 |      294
1367.24/1367.70	c 1367s |      22 |  2009291 |  1730722 |    22021    201 |        5 |      294
1369.24/1369.77	c 1369s |      22 |  2012392 |  1733322 |    22021    201 |        5 |      294
1371.25/1371.80	c 1371s |      22 |  2015035 |  1735622 |    22021    201 |        5 |      294
1373.34/1373.85	c 1373s |      22 |  2017671 |  1737822 |    22021    202 |        5 |      294
1377.44/1377.94	c 1377s |      22 |  2020029 |  1739922 |    22021    202 |        5 |      294
1379.43/1379.98	c 1379s |      22 |  2023162 |  1742522 |    22021    202 |        5 |      294
1381.43/1381.99	c 1381s |      22 |  2026011 |  1745022 |    22021    202 |        5 |      294
1383.53/1384.08	c 1383s |      22 |  2028674 |  1747322 |    22021    202 |        5 |      294
1385.64/1386.11	c 1385s |      22 |  2031381 |  1749622 |    22021    203 |        5 |      294
1387.63/1388.13	c 1387s |      22 |  2034038 |  1752022 |    22021    203 |        5 |      294
1389.62/1390.17	c 1390s |      22 |  2036745 |  1754422 |    22021    203 |        5 |      294
1391.82/1392.31	c 1392s |      22 |  2039370 |  1756722 |    22021    203 |        5 |      294
1393.82/1394.34	c 1394s |      22 |  2041524 |  1758522 |    22021    203 |        5 |      294
1395.92/1396.42	c 1396s |      22 |  2044077 |  1760722 |    22021    204 |        5 |      294
1397.92/1398.45	c 1398s |      22 |  2047482 |  1763622 |    22021    204 |        5 |      294
1399.93/1400.47	c 1400s |      22 |  2050292 |  1766122 |    22021    204 |        5 |      294
1402.03/1402.58	c 1402s |      22 |  2052896 |  1768422 |    22021    204 |        5 |      294
1404.12/1404.60	c 1404s |      22 |  2054961 |  1770222 |    22021    204 |        5 |      294
1406.12/1406.69	c 1406s |      22 |  2057865 |  1772722 |    22021    205 |        5 |      294
1408.22/1408.72	c 1408s |      22 |  2060787 |  1775322 |    22021    205 |        5 |      294
1410.21/1410.76	c 1410s |      22 |  2063331 |  1777622 |    22021    205 |        5 |      294
1412.21/1412.79	c 1412s |      22 |  2065667 |  1779722 |    22021    205 |        5 |      294
1414.31/1414.85	c 1414s |      22 |  2067495 |  1781422 |    22021    205 |        5 |      294
1417.32/1417.82	c 1417s |      22 |  2068142 |  1782022 |    22021    206 |        5 |      294
1422.31/1422.87	c 1422s |      22 |  2068291 |  1782122 |    22021    206 |        5 |      294
1424.41/1424.90	c 1424s |      22 |  2072044 |  1785222 |    22021    206 |        5 |      294
1426.41/1426.93	c 1426s |      22 |  2075018 |  1787822 |    22021    206 |        5 |      294
1428.42/1428.99	c 1428s |      22 |  2077784 |  1790122 |    22021    206 |        5 |      294
1430.51/1431.02	c 1430s |      22 |  2080288 |  1792222 |    22021    206 |        5 |      294
1432.51/1433.02	c 1432s |      22 |  2082685 |  1794322 |    22021    207 |        5 |      294
1434.61/1435.10	c 1434s |      22 |  2085584 |  1796922 |    22021    207 |        5 |      294
1436.61/1437.18	c 1437s |      22 |  2088452 |  1799422 |    22021    207 |        5 |      294
1438.61/1439.18	c 1439s |      22 |  2090755 |  1801422 |    22021    207 |        5 |      294
1440.71/1441.22	c 1441s |      22 |  2092950 |  1803322 |    22021    207 |        5 |      294
1442.82/1443.38	c 1443s |      22 |  2095493 |  1805522 |    22021    208 |        5 |      294
1444.92/1445.41	c 1445s |      22 |  2096248 |  1806122 |    22021    208 |        5 |      294
1446.91/1447.48	c 1447s |      22 |  2099265 |  1808722 |    22021    208 |        5 |      294
1449.01/1449.52	c 1449s |      22 |  2101699 |  1810822 |    22021    208 |        5 |      294
1451.01/1451.56	c 1451s |      22 |  2104332 |  1813022 |    22021    208 |        5 |      294
1453.21/1453.76	c 1453s |      22 |  2106604 |  1815022 |    22021    209 |        5 |      294
1455.21/1455.78	c 1455s |      22 |  2109634 |  1817722 |    22021    209 |        5 |      294
1457.31/1457.87	c 1457s |      22 |  2112307 |  1820122 |    22021    209 |        5 |      294
1459.41/1459.94	c 1459s |      22 |  2115071 |  1822522 |    22021    209 |        5 |      294
1461.42/1461.97	c 1461s |      22 |  2117334 |  1824522 |    22021    209 |        5 |      294
1463.51/1464.09	c 1463s |      22 |  2119161 |  1826122 |    22021    210 |        5 |      294
1465.61/1466.10	c 1465s |      22 |  2121861 |  1828422 |    22021    210 |        5 |      294
1467.61/1468.16	c 1468s |      22 |  2124293 |  1830522 |    22021    210 |        5 |      294
1469.61/1470.19	c 1470s |      22 |  2126680 |  1832622 |    22021    210 |        5 |      294
1471.81/1472.31	c 1472s |      22 |  2129033 |  1834722 |    22021    210 |        5 |      294
1473.81/1474.39	c 1474s |      22 |  2131659 |  1836622 |    22021    210 |        5 |      294
1475.91/1476.49	c 1476s |      22 |  2134079 |  1838622 |    22021    211 |        5 |      294
1478.01/1478.56	c 1478s |      22 |  2136414 |  1840722 |    22021    211 |        5 |      294
1480.11/1480.63	c 1480s |      22 |  2138567 |  1842522 |    22021    211 |        5 |      294
1482.91/1483.48	c 1483s |      22 |  2138796 |  1842722 |    22021    211 |        5 |      294
1485.01/1485.53	c 1485s |      22 |  2141357 |  1844822 |    22021    211 |        5 |      294
1487.11/1487.62	c 1487s |      22 |  2143831 |  1847022 |    22021    211 |        5 |      294
1489.11/1489.63	c 1489s |      22 |  2145739 |  1848622 |    22021    212 |        5 |      294
1491.11/1491.67	c 1491s |      22 |  2149126 |  1851522 |    22021    212 |        5 |      294
1493.21/1493.70	c 1493s |      22 |  2152161 |  1854122 |    22021    212 |        5 |      294
1495.41/1495.92	c 1495s |      22 |  2154970 |  1856622 |    22021    212 |        5 |      294
1497.40/1497.99	c 1497s |      22 |  2157541 |  1858822 |    22021    212 |        5 |      294
1499.50/1500.01	c 1499s |      22 |  2159963 |  1860922 |    22021    213 |        5 |      294
1501.50/1502.04	c 1501s |      22 |  2162801 |  1863422 |    22021    213 |        5 |      294
1503.50/1504.06	c 1503s |      22 |  2165359 |  1865722 |    22021    213 |        5 |      294
1505.60/1506.11	c 1505s |      22 |  2167636 |  1867822 |    22021    213 |        5 |      294
1507.61/1508.18	c 1508s |      22 |  2169836 |  1869822 |    22021    213 |        5 |      294
1510.00/1510.56	c 1510s |      22 |  2171697 |  1871422 |    22021    214 |        5 |      294
1512.11/1512.63	c 1512s |      22 |  2174476 |  1873822 |    22021    214 |        5 |      294
1514.10/1514.67	c 1514s |      22 |  2177161 |  1876122 |    22021    214 |        5 |      294
1516.20/1516.70	c 1516s |      22 |  2179375 |  1878122 |    22021    214 |        5 |      294
1518.50/1519.05	c 1518s |      22 |  2179726 |  1878422 |    22021    214 |        5 |      294
1520.50/1521.06	c 1520s |      22 |  2182012 |  1880322 |    22021    214 |        5 |      294
1522.60/1523.12	c 1522s |      22 |  2184653 |  1882622 |    22021    215 |        5 |      294
1524.60/1525.13	c 1524s |      22 |  2186587 |  1884322 |    22021    215 |        5 |      294
1526.60/1527.19	c 1527s |      22 |  2189425 |  1886922 |    22021    215 |        5 |      294
1528.70/1529.20	c 1529s |      22 |  2192081 |  1889322 |    22021    215 |        5 |      294
1530.71/1531.21	c 1531s |      22 |  2194326 |  1891322 |    22021    215 |        5 |      294
1532.70/1533.23	c 1533s |      22 |  2196463 |  1893222 |    22021    216 |        5 |      294
1534.70/1535.23	c 1535s |      22 |  2199185 |  1895622 |    22021    216 |        5 |      294
1536.70/1537.24	c 1537s |      22 |  2201659 |  1897822 |    22021    216 |        5 |      294
1538.80/1539.31	c 1539s |      22 |  2204031 |  1900022 |    22021    216 |        5 |      294
1540.80/1541.33	c 1541s |      22 |  2206134 |  1901922 |    22021    216 |        5 |      294
1542.80/1543.34	c 1543s |      22 |  2208092 |  1903722 |    22021    216 |        5 |      294
1545.89/1546.45	c 1546s |      22 |  2209207 |  1904722 |    22021    217 |        5 |      294
1547.89/1548.45	c 1548s |      22 |  2212125 |  1907222 |    22021    217 |        5 |      294
1549.99/1550.50	c 1550s |      22 |  2214807 |  1909622 |    22021    217 |        5 |      294
1551.99/1552.53	c 1552s |      22 |  2217107 |  1911722 |    22021    217 |        5 |      294
1553.99/1554.59	c 1554s |      22 |  2219172 |  1913622 |    22021    217 |        5 |      294
1556.10/1556.64	c 1556s |      22 |  2220951 |  1915222 |    22021    218 |        5 |      294
1558.09/1558.64	c 1558s |      22 |  2223299 |  1917322 |    22021    218 |        5 |      294
1560.19/1560.70	c 1560s |      22 |  2225486 |  1919222 |    22021    218 |        5 |      294
1562.19/1562.79	c 1562s |      22 |  2227714 |  1921222 |    22021    218 |        5 |      294
1564.29/1564.89	c 1564s |      22 |  2229897 |  1923222 |    22021    218 |        5 |      294
1566.39/1566.93	c 1566s |      22 |  2232026 |  1925122 |    22021    218 |        5 |      294
1568.39/1568.99	c 1568s |      22 |  2234058 |  1927022 |    22021    219 |        5 |      294
1570.49/1571.06	c 1570s |      22 |  2236353 |  1929122 |    22021    219 |        5 |      294
1576.59/1577.17	c 1577s |      22 |  2236465 |  1929222 |    22021    219 |        5 |      294
1578.59/1579.18	c 1579s |      22 |  2239641 |  1931922 |    22021    219 |        5 |      294
1580.69/1581.23	c 1581s |      22 |  2242361 |  1934322 |    22021    219 |        5 |      294
1582.69/1583.27	c 1583s |      22 |  2244548 |  1936322 |    22021    219 |        5 |      294
1584.79/1585.32	c 1585s |      22 |  2246710 |  1938222 |    22021    220 |        5 |      294
1586.80/1587.35	c 1587s |      22 |  2249214 |  1940522 |    22021    220 |        5 |      294
1588.89/1589.45	c 1589s |      22 |  2251269 |  1942422 |    22021    220 |        5 |      294
1590.89/1591.50	c 1591s |      22 |  2253302 |  1944222 |    22021    220 |        5 |      294
1592.99/1593.50	c 1593s |      22 |  2255240 |  1945922 |    22021    220 |        5 |      294
1595.09/1595.60	c 1595s |      22 |  2257188 |  1947622 |    22021    220 |        5 |      294
1597.39/1597.96	c 1597s |      22 |  2258721 |  1948922 |    22021    221 |        5 |      294
1599.49/1600.03	c 1599s |      22 |  2261835 |  1951522 |    22021    221 |        5 |      294
1601.59/1602.11	c 1601s |      22 |  2264601 |  1953922 |    22021    221 |        5 |      294
1603.59/1604.18	c 1604s |      22 |  2267212 |  1956122 |    22021    221 |        5 |      294
1605.69/1606.22	c 1606s |      22 |  2269875 |  1958322 |    22021    221 |        5 |      294
1607.69/1608.23	c 1608s |      22 |  2272086 |  1960322 |    22021    222 |        5 |      294
1609.68/1610.26	c 1610s |      22 |  2274205 |  1962122 |    22021    222 |        5 |      294
1611.78/1612.32	c 1612s |      22 |  2277367 |  1964822 |    22021    222 |        5 |      294
1613.78/1614.38	c 1614s |      22 |  2279998 |  1967122 |    22021    222 |        5 |      294
1615.78/1616.39	c 1616s |      22 |  2282556 |  1969322 |    22021    222 |        5 |      294
1617.88/1618.40	c 1618s |      22 |  2284829 |  1971322 |    22021    223 |        5 |      294
1619.89/1620.41	c 1620s |      22 |  2287907 |  1974022 |    22021    223 |        5 |      294
1621.88/1622.48	c 1622s |      22 |  2291027 |  1976722 |    22021    223 |        5 |      294
1623.98/1624.53	c 1624s |      22 |  2293804 |  1979122 |    22021    223 |        5 |      294
1625.98/1626.59	c 1626s |      22 |  2296234 |  1981322 |    22021    223 |        5 |      294
1629.19/1629.72	c 1629s |      22 |  2296894 |  1981922 |    22021    224 |        5 |      294
1631.19/1631.72	c 1631s |      22 |  2300038 |  1984622 |    22021    224 |        5 |      294
1633.19/1633.75	c 1633s |      22 |  2302831 |  1987122 |    22021    224 |        5 |      294
1635.29/1635.86	c 1635s |      22 |  2305347 |  1989422 |    22021    224 |        5 |      294
1637.39/1637.98	c 1637s |      22 |  2307834 |  1991522 |    22021    224 |        5 |      294
1639.48/1640.00	c 1639s |      22 |  2309700 |  1993122 |    22021    225 |        5 |      294
1641.48/1642.02	c 1641s |      22 |  2312350 |  1995422 |    22021    225 |        5 |      294
1643.48/1644.06	c 1643s |      22 |  2314838 |  1997622 |    22021    225 |        5 |      294
1645.58/1646.12	c 1645s |      22 |  2317270 |  1999822 |    22021    225 |        5 |      294
1647.58/1648.19	c 1648s |      22 |  2319515 |  2001822 |    22021    225 |        5 |      294
1649.68/1650.22	c 1650s |      22 |  2321558 |  2003622 |    22021    225 |        5 |      294
1651.69/1652.26	c 1652s |      22 |  2323935 |  2005722 |    22021    226 |        5 |      294
1653.68/1654.28	c 1654s |      22 |  2326577 |  2008122 |    22021    226 |        5 |      294
1662.88/1663.47	c 1663s |      22 |  2328718 |  2010122 |    22021    226 |        5 |      294
1664.88/1665.47	c 1665s |      22 |  2330962 |  2012022 |    22021    226 |        5 |      294
1666.87/1667.48	c 1667s |      22 |  2333292 |  2014022 |    22021    226 |        5 |      294
1668.97/1669.54	c 1669s |      22 |  2335260 |  2015722 |    22021    227 |        5 |      294
1670.97/1671.57	c 1671s |      22 |  2338123 |  2018322 |    22021    227 |        5 |      294
1672.97/1673.57	c 1673s |      22 |  2340502 |  2020422 |    22021    227 |        5 |      294
1675.07/1675.63	c 1675s |      22 |  2342922 |  2022622 |    22021    227 |        5 |      294
1677.08/1677.66	c 1677s |      22 |  2345268 |  2024722 |    22021    227 |        5 |      294
1679.07/1679.66	c 1679s |      22 |  2347799 |  2026922 |    22021    228 |        5 |      294
1681.07/1681.67	c 1681s |      22 |  2350827 |  2029622 |    22021    228 |        5 |      294
1683.47/1684.05	c 1683s |      22 |  2352608 |  2031222 |    22021    228 |        5 |      294
1685.58/1686.13	c 1685s |      22 |  2354849 |  2033222 |    22021    228 |        5 |      294
1687.68/1688.24	c 1688s |      22 |  2356954 |  2035122 |    22021    228 |        5 |      294
1689.78/1690.30	c 1690s |      22 |  2359056 |  2037022 |    22021    228 |        5 |      294
1691.78/1692.36	c 1692s |      22 |  2361498 |  2039222 |    22021    229 |        5 |      294
1693.78/1694.39	c 1694s |      22 |  2363632 |  2041222 |    22021    229 |        5 |      294
1695.88/1696.47	c 1696s |      22 |  2365867 |  2043322 |    22021    229 |        5 |      294
1697.88/1698.48	c 1698s |      22 |  2367678 |  2044922 |    22021    229 |        5 |      294
1699.87/1700.48	c 1700s |      22 |  2369666 |  2046722 |    22021    229 |        5 |      294
1702.07/1702.67	c 1702s |      22 |  2371501 |  2048422 |    22021    230 |        5 |      294
1704.07/1704.67	c 1704s |      22 |  2373071 |  2049822 |    22021    230 |        5 |      294
1706.17/1706.75	c 1706s |      22 |  2375667 |  2052122 |    22021    230 |        5 |      294
1710.17/1710.76	c 1710s |      22 |  2377886 |  2054122 |    22021    230 |        5 |      294
1712.17/1712.78	c 1712s |      22 |  2380364 |  2056322 |    22021    230 |        5 |      294
1714.17/1714.79	c 1714s |      22 |  2382495 |  2058222 |    22021    230 |        5 |      294
1716.27/1716.87	c 1716s |      22 |  2384408 |  2059922 |    22021    231 |        5 |      294
1718.37/1718.93	c 1718s |      22 |  2386888 |  2062122 |    22021    231 |        5 |      294
1720.37/1720.97	c 1720s |      22 |  2389248 |  2064122 |    22021    231 |        5 |      294
1722.47/1723.00	c 1722s |      22 |  2391708 |  2066222 |    22021    231 |        5 |      294
1724.46/1725.01	c 1724s |      22 |  2394232 |  2068422 |    22021    231 |        5 |      294
1726.57/1727.11	c 1726s |      22 |  2396134 |  2070122 |    22021    231 |        5 |      294
1728.56/1729.16	c 1728s |      22 |  2398372 |  2072122 |    22021    232 |        5 |      294
1730.56/1731.16	c 1731s |      22 |  2400814 |  2074322 |    22021    232 |        5 |      294
1732.66/1733.23	c 1733s |      22 |  2402887 |  2076222 |    22021    232 |        5 |      294
1734.66/1735.28	c 1735s |      22 |  2405321 |  2078322 |    22021    232 |        5 |      294
1736.76/1737.35	c 1737s |      22 |  2407737 |  2080422 |    22021    232 |        5 |      294
1738.76/1739.36	c 1739s |      22 |  2409653 |  2082122 |    22021    233 |        5 |      294
1740.87/1741.41	c 1741s |      22 |  2412320 |  2084522 |    22021    233 |        5 |      294
1743.47/1744.10	c 1743s |      22 |  2413025 |  2085122 |    22021    233 |        5 |      294
1745.67/1746.21	c 1746s |      22 |  2415268 |  2087122 |    22021    233 |        5 |      294
1747.67/1748.28	c 1748s |      22 |  2417456 |  2089122 |    22021    233 |        5 |      294
1749.77/1750.38	c 1750s |      22 |  2419511 |  2091022 |    22021    233 |        5 |      294
1751.87/1752.42	c 1752s |      22 |  2421439 |  2092722 |    22021    233 |        5 |      294
1753.97/1754.53	c 1754s |      22 |  2423505 |  2094622 |    22021    234 |        5 |      294
1756.07/1756.60	c 1756s |      22 |  2425698 |  2096522 |    22021    234 |        5 |      294
1758.07/1758.67	c 1758s |      22 |  2427802 |  2098422 |    22021    234 |        5 |      294
1760.47/1761.06	c 1760s |      22 |  2429623 |  2100122 |    22021    234 |        5 |      294
1762.57/1763.10	c 1762s |      22 |  2431565 |  2101822 |    22021    234 |        5 |      294
1764.56/1765.14	c 1764s |      22 |  2433214 |  2103322 |    22021    234 |        5 |      294
1766.56/1767.19	c 1767s |      22 |  2434754 |  2104722 |    22021    235 |        5 |      294
1768.66/1769.26	c 1769s |      22 |  2437178 |  2106922 |    22021    235 |        5 |      294
1770.66/1771.27	c 1771s |      22 |  2439151 |  2108622 |    22021    235 |        5 |      294
1772.77/1773.32	c 1773s |      22 |  2441524 |  2110722 |    22021    235 |        5 |      294
1774.76/1775.38	c 1775s |      22 |  2443632 |  2112622 |    22021    235 |        5 |      294
1778.36/1778.92	c 1778s |      22 |  2443981 |  2112922 |    22021    235 |        5 |      294
1780.56/1781.16	c 1781s |      22 |  2444101 |  2113022 |    22021    235 |        5 |      294
1782.86/1783.40	c 1783s |      22 |  2446542 |  2115022 |    22021    236 |        5 |      294
1784.86/1785.46	c 1785s |      22 |  2449619 |  2117622 |    22021    236 |        5 |      294
1786.86/1787.50	c 1787s |      22 |  2452617 |  2120122 |    22021    236 |        5 |      294
1788.96/1789.57	c 1789s |      22 |  2455755 |  2122822 |    22021    236 |        5 |      294
1791.06/1791.64	c 1791s |      22 |  2458413 |  2125122 |    22021    236 |        5 |      294
1793.06/1793.65	c 1793s |      22 |  2460697 |  2127122 |    22021    237 |        5 |      294
1795.16/1795.72	c 1795s |      22 |  2463646 |  2129722 |    22021    237 |        5 |      294
1797.15/1797.75	c 1797s |      22 |  2466195 |  2131922 |    22021    237 |        5 |      294
1799.25/1799.80	c 1799s |      22 |  2468877 |  2134222 |    22021    237 |        5 |      294

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

pid=31178
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.08 2.11 2.09 3/179 31181
/proc/meminfo: memFree=29514876/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 783 0 0 0 0 0 0 0 20 0 4 0 13345516 246870016 1144 33554432000 4194304 16246674 140736930055984 140736930055408 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 60271 1147 426 2943 0 57165 0
[pid=31181/tid=31182] ppid=31178 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 246870016 1168 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 246870016 1177 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=245180 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13345517 251064320 1189 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.08 2.11 2.09 3/179 31181
/proc/meminfo: memFree=29514876/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 23536 0 0 0 6 3 0 0 20 0 4 0 13345516 1249447936 23835 33554432000 4194304 16246674 140736930055984 140736930055296 12370013 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 305041 23843 835 2943 0 301935 0
[pid=31181/tid=31182] ppid=31178 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1249447936 23848 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1249447936 23854 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1249447936 23859 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200542 s]
/proc/loadavg: 2.08 2.11 2.09 3/179 31181
/proc/meminfo: memFree=29514876/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 42607 0 0 0 13 6 0 0 20 0 4 0 13345516 1249447936 42907 33554432000 4194304 16246674 140736930055984 140736930055296 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 305041 42919 877 2943 0 301935 0
[pid=31181/tid=31182] ppid=31178 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1249447936 42927 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1249447936 42936 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1249447936 42939 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300512 s]
/proc/loadavg: 2.08 2.11 2.09 3/179 31181
/proc/meminfo: memFree=29514876/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1220164 CPUtime=0.28 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 63558 0 0 0 20 8 0 0 20 0 4 0 13345516 1249447936 63858 33554432000 4194304 16246674 140736930055984 140736930055296 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 305041 63871 877 2943 0 301935 0
[pid=31181/tid=31182] ppid=31178 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1249447936 63878 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1249447936 63882 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1249447936 63886 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1220164

[startup+0.700418 s]
/proc/loadavg: 2.08 2.11 2.09 3/179 31181
/proc/meminfo: memFree=29514876/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1220164 CPUtime=0.68 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 146743 0 0 0 50 18 0 0 20 0 4 0 13345516 1249447936 147042 33554432000 4194304 16246674 140736930055984 140736930037888 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 305041 147049 877 2943 0 301935 0
[pid=31181/tid=31182] ppid=31178 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1249447936 147055 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1249447936 147059 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1249447936 147063 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.50032 s]
/proc/loadavg: 2.08 2.11 2.09 4/183 31185
/proc/meminfo: memFree=28624848/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1301060 CPUtime=1.48 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 266226 0 0 0 114 34 0 0 20 0 4 0 13345516 1332285440 266525 33554432000 4194304 16246674 140736930055984 140736930055296 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 325265 266525 880 2943 0 322159 0
[pid=31181/tid=31182] ppid=31178 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1332285440 266525 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1332285440 266525 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1332285440 266525 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10043 s]
/proc/loadavg: 2.24 2.14 2.10 3/183 31185
/proc/meminfo: memFree=28448820/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 267869 0 0 0 274 35 0 0 20 0 4 0 13345516 1338576896 268168 33554432000 4194304 16246674 140736930055984 140736930037888 5823194 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 326801 268168 880 2943 0 323695 0
[pid=31181/tid=31182] ppid=31178 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1338576896 268168 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1338576896 268168 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1338576896 268168 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30044 s]
/proc/loadavg: 2.24 2.14 2.10 3/183 31185
/proc/meminfo: memFree=28437044/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 269267 0 0 0 594 35 0 0 20 0 4 0 13345516 1343819776 269566 33554432000 4194304 16246674 140736930055984 140736930037888 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 328081 269566 887 2943 0 324975 0
[pid=31181/tid=31182] ppid=31178 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1343819776 269566 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1343819776 269566 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1343819776 269566 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.27 2.16 2.10 3/183 31185
/proc/meminfo: memFree=28433608/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1316420 CPUtime=12.69 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 270050 0 0 0 1234 35 0 0 20 0 4 0 13345516 1348014080 270349 33554432000 4194304 16246674 140736930055984 140736930037888 5822687 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 329105 270349 887 2943 0 325999 0
[pid=31181/tid=31182] ppid=31178 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1348014080 270349 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1348014080 270349 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1348014080 270349 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1316420

[startup+25.5005 s]
/proc/loadavg: 2.23 2.15 2.10 4/183 31185
/proc/meminfo: memFree=28432912/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1316420 CPUtime=25.48 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 270291 0 0 0 2513 35 0 0 20 0 4 0 13345516 1348014080 270590 33554432000 4194304 16246674 140736930055984 140736930037888 5674844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 329105 270590 887 2943 0 325999 0
[pid=31181/tid=31182] ppid=31178 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1348014080 270590 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1348014080 270590 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1348014080 270590 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.28 2.17 2.10 3/183 31185
/proc/meminfo: memFree=28403728/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1332804 CPUtime=51.08 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 274329 0 0 0 5072 36 0 0 20 0 4 0 13345516 1364791296 274628 33554432000 4194304 16246674 140736930055984 140736930037888 5672323 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 333201 274628 887 2943 0 330095 0
[pid=31181/tid=31182] ppid=31178 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1364791296 274628 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1364791296 274628 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1364791296 274628 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1332804

[startup+102.301 s]
/proc/loadavg: 2.29 2.18 2.11 3/183 31186
/proc/meminfo: memFree=28403864/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1332804 CPUtime=102.28 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 274387 0 0 0 10191 37 0 0 20 0 4 0 13345516 1364791296 274686 33554432000 4194304 16246674 140736930055984 140736930037888 5829240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 333201 274686 887 2943 0 330095 0
[pid=31181/tid=31182] ppid=31178 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1364791296 274686 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1364791296 274686 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1364791296 274686 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1332804


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

/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1415122944 287230 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1381956

[startup+1302.3 s]
/proc/loadavg: 2.14 2.23 2.19 3/183 31227
/proc/meminfo: memFree=28317436/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1381956 CPUtime=1301.86 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 287019 0 0 0 130128 58 0 0 20 0 4 0 13345516 1415122944 287230 33554432000 4194304 16246674 140736930055984 140736930037888 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 345489 287230 887 2943 0 342383 0
[pid=31181/tid=31182] ppid=31178 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1415122944 287230 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1415122944 287230 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1415122944 287230 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1381956

[startup+1362.3 s]
/proc/loadavg: 2.31 2.25 2.20 3/183 31228
/proc/meminfo: memFree=28317184/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1381956 CPUtime=1361.84 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 287037 0 0 0 136125 59 0 0 20 0 4 0 13345516 1415122944 287230 33554432000 4194304 16246674 140736930055984 140736930037888 5673454 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 345489 287230 887 2943 0 342383 0
[pid=31181/tid=31182] ppid=31178 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1415122944 287230 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1415122944 287230 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1415122944 287230 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1381956

[startup+1422.3 s]
/proc/loadavg: 2.40 2.28 2.20 3/184 31233
/proc/meminfo: memFree=28317428/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1381956 CPUtime=1421.82 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 287052 0 0 0 142122 60 0 0 20 0 4 0 13345516 1415122944 287230 33554432000 4194304 16246674 140736930055984 140736930055160 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 345489 287230 887 2943 0 342383 0
[pid=31181/tid=31182] ppid=31178 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1415122944 287230 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1415122944 287230 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1415122944 287230 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1381956

[startup+1482.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/184 31257
/proc/meminfo: memFree=28317288/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1381956 CPUtime=1481.8 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 287052 0 0 0 148119 61 0 0 20 0 4 0 13345516 1415122944 287230 33554432000 4194304 16246674 140736930055984 140736930053824 4222042 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 345489 287230 887 2943 0 342383 0
[pid=31181/tid=31182] ppid=31178 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1415122944 287230 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1415122944 287230 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1415122944 287230 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1381956

[startup+1542.31 s]
/proc/loadavg: 2.12 2.21 2.18 3/183 31258
/proc/meminfo: memFree=28311836/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1388100 CPUtime=1541.81 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 288588 0 0 0 154118 63 0 0 20 0 4 0 13345516 1421414400 288766 33554432000 4194304 16246674 140736930055984 140736930037888 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 347025 288766 887 2943 0 343919 0
[pid=31181/tid=31182] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1388100

[startup+1602.3 s]
/proc/loadavg: 2.09 2.19 2.17 4/183 31259
/proc/meminfo: memFree=28311932/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1388100 CPUtime=1601.79 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 288588 0 0 0 160115 64 0 0 20 0 4 0 13345516 1421414400 288766 33554432000 4194304 16246674 140736930055984 140736930037888 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 347025 288766 887 2943 0 343919 0
[pid=31181/tid=31182] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1388100

[startup+1662.3 s]
/proc/loadavg: 2.21 2.21 2.18 4/182 31260
/proc/meminfo: memFree=28312792/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1388100 CPUtime=1661.78 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 288588 0 0 0 166113 65 0 0 20 0 4 0 13345516 1421414400 288766 33554432000 4194304 16246674 140736930055984 140736930055080 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 347025 288766 887 2943 0 343919 0
[pid=31181/tid=31182] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1388100

[startup+1722.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/182 31262
/proc/meminfo: memFree=28312164/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1388100 CPUtime=1721.77 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 288588 0 0 0 172111 66 0 0 20 0 4 0 13345516 1421414400 288766 33554432000 4194304 16246674 140736930055984 140736930038984 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 347025 288766 887 2943 0 343919 0
[pid=31181/tid=31182] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1388100

[startup+1782.3 s]
/proc/loadavg: 2.24 2.21 2.18 4/183 31509
/proc/meminfo: memFree=28367044/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1388100 CPUtime=1781.76 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 288588 0 0 0 178108 68 0 0 20 0 4 0 13345516 1421414400 288766 33554432000 4194304 16246674 140736930055984 140736930037888 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 347025 288766 887 2943 0 343919 0
[pid=31181/tid=31182] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288766 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1388100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.26 2.21 2.18 3/183 31509
/proc/meminfo: memFree=28356072/32872528 swapFree=1190796/1305260
[pid=31181] ppid=31178 vsize=1388100 CPUtime=1800.05 cores=1,3,5,7
/proc/31181/stat : 31181 (toysat) R 31178 31181 29204 0 -1 4202496 288589 0 0 0 179937 68 0 0 20 0 4 0 13345516 1421414400 288767 33554432000 4194304 16246674 140736930055984 140736930037888 5672838 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31181/statm: 347025 288767 888 2943 0 343919 0
[pid=31181/tid=31182] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31182/stat : 31182 (toysat) S 31178 31181 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288767 33554432000 4194304 16246674 140736930055984 140099974049008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31181/tid=31183] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31183/stat : 31183 (toysat) S 31178 31181 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288767 33554432000 4194304 16246674 140736930055984 140099887017200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31181/tid=31184] ppid=31178 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/31181/task/31184/stat : 31184 (toysat) S 31178 31181 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13345517 1421414400 288767 33554432000 4194304 16246674 140736930055984 140099876543664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1388100

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.38
CPU system time (s): 0.686895
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1388100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.686895
maximum resident set size= 1155068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288589
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= 393
involuntary context switches= 2182

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48901 second user time and 8.86565 second system time

The end

Begin job on node127 at 2016-06-16 23:36:29
IDJOB=4096253
IDBENCH=107588
IDSOLVER=2542
FILE ID=node127/4096253-1466112989
RUNJOBID= node127-1466112960-31002
PBS_JOBID= 19904036
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_29.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096253-1466112989/watcher-4096253-1466112989 -o /tmp/evaluation-result-4096253-1466112989/solver-4096253-1466112989 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466112960-31002 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096253-1466112989.opb

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

MD5SUM BENCH= b6e0b4940cd395cc0e5705d3de4cfca6
RANDOM SEED=937746400

node127.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.769
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.53
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.769
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.769
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.56
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.769
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.56
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.769
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.55
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.769
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.769
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.56
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.769
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:        29515148 kB
Buffers:           56572 kB
Cached:           167676 kB
SwapCached:        34656 kB
Active:          1203820 kB
Inactive:         143376 kB
Active(anon):    1089468 kB
Inactive(anon):    35592 kB
Active(file):     114352 kB
Inactive(file):   107784 kB
Unevictable:     1305260 kB
Mlocked:         1190796 kB
SwapTotal:      67108856 kB
SwapFree:       67066092 kB
Dirty:             33256 kB
Writeback:             0 kB
AnonPages:       2396212 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             571464 kB
SReclaimable:      15224 kB
SUnreclaim:       556240 kB
KernelStack:        1520 kB
PageTables:         8152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2537348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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= 71708 MiB
End job on node127 at 2016-06-17 00:06:30