0.00/0.00	c 2016-06-17T00:01:42+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-4096428-1466114502.opb"]
0.00/0.01	c use --random-gen="22894499 63445832 1678298800 3560553690 3866888256 2089722918 4057751914 1069591911 1694155600 2226910005 378207260 2853137424 1116475683 1975622967 796591600 388147865 2869608780 80789642 2820651761 172274329 3528428672 1347314722 1015602611 1977125953 138107199 1939048122 612832793 1149701780 4176029804 370090242 1729895924 2192962601 2931531748 4186103908 95062411 2344174020 1949048187 1813483125 2896144425 1225545362 2441802751 790728138 3779012058 1795936117 244232215 2974010157 2174559268 486098013 3058597562 1697687455 1409143772 2792595674 1336405245 2670519415 2721383706 2615873130 3069811290 377837125 792478488 790310474 2343699817 572929533 3307109487 3594005645 3457789613 4193032636 1163289669 3573792687 483062619 3980180472 2110487366 2586971459 1560278065 204035488 4135344299 1824501945 3119284648 3466499884 3472151184 2051137241 2839898014 2334746628 1256032433 265585571 970456499 2125204792 1658223601 2417448878 2512468985 3343848565 3443492002 3397265539 4226847528 2928208484 2864312593 3320358601 2800854770 946080692 1976830215 370359225 3524742706 958983454 2874072698 109466649 3612680447 561201867 3775336724 1623748768 814640411 3788133148 603225231 3611631640 4093490680 30876228 426831739 1399401731 4026233282 2352284297 2908640081 2215809513 310755008 1293822589 3905259124 458388256 2026636671 4011454452 3145760597 1726652424 2481377175 4222807450 1570501378 2623837738 1644444296 1678607180 2815726527 3998171381 804423668 463498171 3167035823 639028941 868553936 3079095291 1055940180 867615062 3145221757 2146649350 1181938497 4157081508 272287116 3959973060 610492969 4037043836 2394071816 2789841081 1095323167 1331581423 4287679716 1341486054 3453957763 2443755939 4293231400 3981089004 320533331 2817519398 405091825 4042397636 2344700453 82809816 2405237410 2824555220 1135039372 276348751 3081187979 1672918891 1198543337 3163686192 685060021 1624160082 4274523033 1551450816 1656615028 1354728692 3405667879 4015391944 3169213995 3202650340 3089295641 1148953375 3553969166 1387616356 73913484 2606956272 1381372623 3939265695 666913395 2284596882 2196757224 2630099919 3371691352 1673733091 1605788001 636624411 1544184642 1293210701 1085154045 1998733516 2283218825 1486990879 4092681310 1310949415 1367384523 159390222 2975547774 756164498 27460312 1462605916 2988720195 1321967375 703102610 2465008522 3321924291 211480652 742630985 3227091064 1439834785 2485131920 3032286721 3049876326 1367300056 2803250867 837561872 3314086520 1371320305 2571499675 4234300759 1365212017 2389791905 2268549321 1744227215 1796729602 462208920 1864295084 2265318146 2591809464 4034583760 2867885470 3789512859 2496526524 1632100937 1379939728 609245907 2836157662 1696117218 201485714 2789211899 3452456983 255 362436" option to reproduce the execution
0.00/0.07	c #vars 1640
0.00/0.07	c #constraints 7845
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     3160      0 |        5 |        0
0.19/0.24	c  0.1s |       1 |      161 |      100 |     3160      0 |        5 |      318
0.29/0.31	c  0.1s |       2 |      369 |      250 |     3477      0 |        5 |      318
0.39/0.43	c  0.2s |       3 |      756 |      475 |     3825      0 |        5 |      318
0.59/0.64	c  0.5s |       4 |     1231 |      813 |     4208      0 |        5 |      318
0.89/0.93	c  0.7s |       5 |     1990 |     1320 |     4629      0 |        5 |      318
1.29/1.36	c  1.2s |       6 |     3037 |     2081 |     5602      0 |        5 |      318
1.79/1.83	c  1.6s |       7 |     4547 |     3223 |     6163      0 |        5 |      318
2.59/2.61	c  2.4s |       8 |     6683 |     4936 |     6780      0 |        5 |      318
3.79/3.88	c  3.7s |       9 |     9870 |     7506 |     7459      1 |        5 |      318
5.89/5.91	c  5.7s |       9 |    14509 |    11206 |     7459      1 |        5 |      318
5.99/6.02	c  5.8s |      10 |    14682 |    11361 |     8205      2 |        5 |      318
7.98/8.06	c  7.9s |      10 |    19466 |    15161 |     8205      2 |        5 |      318
9.08/9.14	c  9.0s |      11 |    21876 |    17144 |     9026      3 |        5 |      318
11.10/11.14	c 11.0s |      11 |    26428 |    20744 |     9026      3 |        5 |      318
13.09/13.16	c 13.0s |      11 |    30808 |    24344 |     9026      4 |        5 |      318
14.30/14.34	c 14.2s |      12 |    32647 |    25819 |     9929      5 |        5 |      318
16.29/16.36	c 16.2s |      12 |    36735 |    29219 |     9929      5 |        5 |      318
18.39/18.41	c 18.2s |      12 |    40758 |    32719 |     9929      6 |        5 |      318
20.39/20.42	c 20.2s |      12 |    45371 |    36419 |     9929      7 |        5 |      318
21.69/21.73	c 21.5s |      13 |    48270 |    38832 |    10922      7 |        5 |      318
23.69/23.76	c 23.6s |      13 |    52172 |    42132 |    10922      7 |        5 |      318
25.69/25.76	c 25.6s |      13 |    56064 |    45332 |    10922      8 |        5 |      318
27.69/27.77	c 27.6s |      13 |    59807 |    48532 |    10922      9 |        5 |      318
29.80/29.81	c 29.6s |      13 |    64299 |    52432 |    10922      9 |        5 |      318
31.79/31.86	c 31.7s |      13 |    68523 |    56132 |    10922     10 |        5 |      318
33.10/33.12	c 32.9s |      14 |    71137 |    58352 |    12015     10 |        5 |      318
35.08/35.14	c 35.0s |      14 |    74479 |    60952 |    12015     11 |        5 |      318
37.09/37.14	c 37.0s |      14 |    79012 |    64652 |    12015     11 |        5 |      318
39.09/39.20	c 39.0s |      14 |    83015 |    68152 |    12015     12 |        5 |      318
41.19/41.22	c 41.0s |      14 |    87447 |    71652 |    12015     12 |        5 |      318
43.19/43.22	c 43.0s |      14 |    91610 |    75052 |    12015     13 |        5 |      318
45.20/45.28	c 45.1s |      14 |    95351 |    78252 |    12015     13 |        5 |      318
47.29/47.31	c 47.1s |      14 |    99243 |    81552 |    12015     14 |        5 |      318
49.29/49.39	c 49.2s |      14 |   103114 |    84852 |    12015     15 |        5 |      318
50.99/51.09	c 50.9s |      15 |   106412 |    87632 |    13217     15 |        5 |      318
53.09/53.10	c 52.9s |      15 |   108701 |    89532 |    13217     15 |        5 |      318
55.09/55.14	c 54.9s |      15 |   112205 |    92432 |    13217     16 |        5 |      318
57.08/57.14	c 56.9s |      15 |   116311 |    95832 |    13217     16 |        5 |      318
59.08/59.17	c 59.0s |      15 |   119827 |    98932 |    13217     16 |        5 |      318
61.18/61.21	c 61.0s |      15 |   122696 |   101432 |    13217     17 |        5 |      318
63.18/63.27	c 63.1s |      15 |   126711 |   104732 |    13217     17 |        5 |      318
65.18/65.28	c 65.1s |      15 |   130714 |   108032 |    13217     18 |        5 |      318
67.28/67.32	c 67.1s |      15 |   134500 |   111332 |    13217     18 |        5 |      318
69.28/69.35	c 69.2s |      15 |   138010 |   114432 |    13217     19 |        5 |      318
71.28/71.39	c 71.2s |      15 |   141200 |   117132 |    13217     19 |        5 |      318
73.38/73.43	c 73.2s |      15 |   144879 |   120232 |    13217     20 |        5 |      318
75.38/75.45	c 75.3s |      15 |   148496 |   123332 |    13217     20 |        5 |      318
77.48/77.50	c 77.3s |      15 |   152234 |   126532 |    13217     21 |        5 |      318
79.47/79.54	c 79.4s |      15 |   155389 |   129432 |    13217     21 |        5 |      318
80.87/80.96	c 80.8s |      16 |   157832 |   131552 |    14539     21 |        5 |      318
82.87/82.99	c 82.8s |      16 |   159916 |   133252 |    14539     21 |        5 |      318
84.97/85.04	c 84.9s |      16 |   163274 |   136052 |    14539     22 |        5 |      318
86.98/87.05	c 86.9s |      16 |   167161 |   139252 |    14539     22 |        5 |      318
88.97/89.05	c 88.9s |      16 |   170103 |   141752 |    14539     23 |        5 |      318
90.97/91.08	c 90.9s |      16 |   173979 |   145052 |    14539     23 |        5 |      318
93.07/93.15	c 93.0s |      16 |   177312 |   147952 |    14539     23 |        5 |      318
95.07/95.16	c 95.0s |      16 |   180664 |   150952 |    14539     24 |        5 |      318
97.18/97.20	c 97.0s |      16 |   182902 |   152752 |    14539     24 |        5 |      318
99.18/99.28	c 99.1s |      16 |   186452 |   155752 |    14539     24 |        5 |      318
101.18/101.29	c  101s |      16 |   189833 |   158552 |    14539     25 |        5 |      318
103.28/103.33	c  103s |      16 |   193257 |   161452 |    14539     25 |        5 |      318
105.28/105.37	c  105s |      16 |   196763 |   164452 |    14539     26 |        5 |      318
107.28/107.40	c  107s |      16 |   200471 |   167652 |    14539     26 |        5 |      318
109.38/109.42	c  109s |      16 |   203878 |   170652 |    14539     26 |        5 |      318
111.38/111.45	c  111s |      16 |   205710 |   172252 |    14539     27 |        5 |      318
113.38/113.46	c  113s |      16 |   209728 |   175552 |    14539     27 |        5 |      318
115.37/115.46	c  115s |      16 |   213174 |   178452 |    14539     28 |        5 |      318
117.37/117.47	c  117s |      16 |   217302 |   181852 |    14539     28 |        5 |      318
119.37/119.48	c  119s |      16 |   220825 |   184952 |    14539     28 |        5 |      318
121.37/121.50	c  121s |      16 |   224171 |   187752 |    14539     29 |        5 |      318
123.47/123.52	c  123s |      16 |   227825 |   190852 |    14539     29 |        5 |      318
125.48/125.55	c  125s |      16 |   231200 |   193752 |    14539     30 |        5 |      318
127.47/127.56	c  127s |      16 |   234551 |   196652 |    15993     30 |        5 |      318
128.07/128.17	c  127s |      17 |   235420 |   197432 |    15993     30 |        5 |      318
130.07/130.19	c  129s |      17 |   236673 |   198432 |    15993     30 |        5 |      318
132.08/132.19	c  132s |      17 |   239910 |   201132 |    15993     30 |        5 |      318
134.17/134.24	c  134s |      17 |   243257 |   203832 |    15993     31 |        5 |      318
136.17/136.29	c  136s |      17 |   246799 |   206832 |    15993     31 |        5 |      318
138.27/138.30	c  138s |      17 |   249914 |   209532 |    15993     31 |        5 |      318
140.27/140.31	c  140s |      17 |   252680 |   211832 |    15993     32 |        5 |      318
142.27/142.35	c  142s |      17 |   256469 |   215032 |    15993     32 |        5 |      318
144.27/144.36	c  144s |      17 |   259605 |   217632 |    15993     32 |        5 |      318
146.27/146.37	c  146s |      17 |   262768 |   220332 |    15993     33 |        5 |      318
148.26/148.39	c  148s |      17 |   266314 |   223332 |    15993     33 |        5 |      318
150.36/150.41	c  150s |      17 |   269500 |   226132 |    15993     33 |        5 |      318
152.37/152.45	c  152s |      17 |   272763 |   229132 |    15993     34 |        5 |      318
154.57/154.69	c  154s |      17 |   274035 |   230232 |    15993     34 |        5 |      318
156.67/156.74	c  156s |      17 |   277506 |   233132 |    15993     34 |        5 |      318
158.77/158.80	c  158s |      17 |   280475 |   235732 |    15993     35 |        5 |      318
160.77/160.84	c  160s |      17 |   283774 |   238632 |    15993     35 |        5 |      318
162.88/162.90	c  162s |      17 |   287132 |   241532 |    15993     35 |        5 |      318
164.87/164.92	c  164s |      17 |   290393 |   244432 |    15993     36 |        5 |      318
167.17/167.20	c  167s |      17 |   293418 |   247132 |    15993     36 |        5 |      318
169.17/169.22	c  169s |      17 |   296461 |   249632 |    15993     36 |        5 |      318
171.17/171.24	c  171s |      17 |   299599 |   252232 |    15993     37 |        5 |      318
173.17/173.25	c  173s |      17 |   303271 |   255332 |    15993     37 |        5 |      318
175.27/175.31	c  175s |      17 |   306496 |   258132 |    15993     37 |        5 |      318
177.27/177.33	c  177s |      17 |   309718 |   260932 |    15993     38 |        5 |      318
179.27/179.37	c  179s |      17 |   313123 |   263932 |    15993     38 |        5 |      318
181.36/181.43	c  181s |      17 |   315535 |   266032 |    15993     38 |        5 |      318
183.36/183.47	c  183s |      17 |   318579 |   268632 |    15993     39 |        5 |      318
185.46/185.50	c  185s |      17 |   321603 |   271332 |    15993     39 |        5 |      318
187.46/187.56	c  187s |      17 |   324611 |   274032 |    15993     39 |        5 |      318
189.56/189.60	c  189s |      17 |   327791 |   276832 |    15993     40 |        5 |      318
191.56/191.64	c  191s |      17 |   330421 |   279032 |    15993     40 |        5 |      318
193.57/193.68	c  193s |      17 |   333810 |   281832 |    15993     40 |        5 |      318
195.66/195.70	c  195s |      17 |   336629 |   284232 |    15993     41 |        5 |      318
197.66/197.73	c  197s |      17 |   340520 |   287432 |    15993     41 |        5 |      318
199.66/199.77	c  199s |      17 |   343792 |   290232 |    15993     41 |        5 |      318
201.76/201.82	c  201s |      17 |   346910 |   293032 |    15993     42 |        5 |      318
203.86/203.95	c  203s |      17 |   347379 |   293432 |    15993     42 |        5 |      318
205.55/205.69	c  205s |      18 |   350778 |   296252 |    17593     42 |        5 |      318
207.65/207.76	c  207s |      18 |   354067 |   298952 |    17593     42 |        5 |      318
209.75/209.83	c  209s |      18 |   356969 |   301352 |    17593     43 |        5 |      318
211.75/211.86	c  211s |      18 |   360298 |   304152 |    17593     43 |        5 |      318
213.75/213.89	c  213s |      18 |   363491 |   306852 |    17593     43 |        5 |      318
215.85/215.92	c  215s |      18 |   366340 |   309352 |    17593     43 |        5 |      318
217.86/217.96	c  217s |      18 |   369575 |   312152 |    17593     44 |        5 |      318
220.46/220.53	c  220s |      18 |   371581 |   313952 |    17593     44 |        5 |      318
222.46/222.56	c  222s |      18 |   374923 |   316852 |    17593     44 |        5 |      318
224.56/224.60	c  224s |      18 |   378328 |   319552 |    17593     45 |        5 |      318
226.56/226.60	c  226s |      18 |   381813 |   322552 |    17593     45 |        5 |      318
228.56/228.67	c  228s |      18 |   384839 |   325252 |    17593     45 |        5 |      318
230.56/230.67	c  230s |      18 |   387676 |   327752 |    17593     45 |        5 |      318
232.66/232.74	c  232s |      18 |   390635 |   330252 |    17593     46 |        5 |      318
234.66/234.75	c  234s |      18 |   393989 |   333152 |    17593     46 |        5 |      318
236.66/236.78	c  236s |      18 |   396961 |   335752 |    17593     46 |        5 |      318
238.66/238.80	c  238s |      18 |   399972 |   338352 |    17593     47 |        5 |      318
240.75/240.83	c  240s |      18 |   403252 |   341252 |    17593     47 |        5 |      318
242.75/242.88	c  242s |      18 |   406298 |   343952 |    17593     47 |        5 |      318
244.75/244.90	c  244s |      18 |   408985 |   346352 |    17593     48 |        5 |      318
246.85/246.93	c  246s |      18 |   410457 |   347552 |    17593     48 |        5 |      318
248.95/249.00	c  248s |      18 |   414457 |   350852 |    17593     48 |        5 |      318
250.95/251.04	c  250s |      18 |   417834 |   353652 |    17593     48 |        5 |      318
252.96/253.09	c  252s |      18 |   420996 |   356352 |    17593     49 |        5 |      318
255.05/255.17	c  254s |      18 |   424422 |   359152 |    17593     49 |        5 |      318
257.05/257.19	c  257s |      18 |   428019 |   362152 |    17593     49 |        5 |      318
259.15/259.24	c  259s |      18 |   430011 |   363752 |    17593     49 |        5 |      318
261.25/261.30	c  261s |      18 |   433625 |   366852 |    17593     50 |        5 |      318
263.25/263.34	c  263s |      18 |   437441 |   370052 |    17593     50 |        5 |      318
265.45/265.50	c  265s |      18 |   440584 |   372752 |    17593     51 |        5 |      318
267.45/267.51	c  267s |      18 |   444159 |   375752 |    17593     51 |        5 |      318
269.46/269.55	c  269s |      18 |   446726 |   377952 |    17593     51 |        5 |      318
271.45/271.58	c  271s |      18 |   449589 |   380452 |    17593     51 |        5 |      318
273.55/273.61	c  273s |      18 |   452706 |   383152 |    17593     52 |        5 |      318
275.55/275.68	c  275s |      18 |   456156 |   386152 |    17593     52 |        5 |      318
277.65/277.72	c  277s |      18 |   458794 |   388552 |    17593     52 |        5 |      318
279.65/279.73	c  279s |      18 |   461290 |   390752 |    17593     53 |        5 |      318
281.66/281.75	c  281s |      18 |   464432 |   393552 |    17593     53 |        5 |      318
283.65/283.80	c  283s |      18 |   467396 |   396252 |    17593     53 |        5 |      318
286.65/286.70	c  286s |      18 |   469607 |   398152 |    17593     53 |        5 |      318
288.65/288.72	c  288s |      18 |   471977 |   400152 |    17593     54 |        5 |      318
290.74/290.80	c  290s |      18 |   475559 |   403252 |    17593     54 |        5 |      318
292.74/292.85	c  292s |      18 |   478481 |   405852 |    17593     54 |        5 |      318
294.85/294.94	c  294s |      18 |   481310 |   408352 |    17593     54 |        5 |      318
296.84/296.97	c  296s |      18 |   484166 |   410852 |    17593     55 |        5 |      318
298.94/299.02	c  298s |      18 |   487079 |   413452 |    17593     55 |        5 |      318
300.94/301.04	c  300s |      18 |   489583 |   415752 |    17593     55 |        5 |      318
302.94/303.08	c  302s |      18 |   492156 |   418052 |    17593     56 |        5 |      318
305.04/305.14	c  304s |      18 |   493938 |   419652 |    17593     56 |        5 |      318
307.14/307.21	c  307s |      18 |   496928 |   422252 |    17593     56 |        5 |      318
309.15/309.28	c  309s |      18 |   499721 |   424752 |    17593     56 |        5 |      318
311.24/311.33	c  311s |      18 |   502177 |   426952 |    17593     57 |        5 |      318
313.34/313.40	c  313s |      18 |   505377 |   429752 |    17593     57 |        5 |      318
315.34/315.46	c  315s |      18 |   508183 |   432252 |    17593     57 |        5 |      318
317.44/317.50	c  317s |      18 |   510675 |   434552 |    17593     57 |        5 |      318
319.44/319.59	c  319s |      18 |   512706 |   436452 |    17593     58 |        5 |      318
321.54/321.67	c  321s |      18 |   515287 |   438852 |    17593     58 |        5 |      318
323.64/323.75	c  323s |      18 |   517657 |   441052 |    17593     58 |        5 |      318
325.64/325.79	c  325s |      18 |   520100 |   443252 |    19353     58 |        5 |      318
326.84/327.00	c  326s |      19 |   521462 |   444482 |    19353     58 |        5 |      318
328.94/329.07	c  328s |      19 |   522928 |   445682 |    19353     58 |        5 |      318
330.94/331.07	c  330s |      19 |   525005 |   447382 |    19353     59 |        5 |      318
332.94/333.07	c  332s |      19 |   528043 |   449982 |    19353     59 |        5 |      318
335.04/335.12	c  334s |      19 |   530675 |   452282 |    19353     59 |        5 |      318
337.13/337.20	c  337s |      19 |   533290 |   454582 |    19353     59 |        5 |      318
339.13/339.22	c  339s |      19 |   535770 |   456682 |    19353     60 |        5 |      318
341.13/341.25	c  341s |      19 |   538814 |   459382 |    19353     60 |        5 |      318
343.14/343.27	c  343s |      19 |   541717 |   461982 |    19353     60 |        5 |      318
345.24/345.33	c  345s |      19 |   543946 |   463982 |    19353     60 |        5 |      318
347.24/347.39	c  347s |      19 |   546508 |   466282 |    19353     61 |        5 |      318
349.34/349.47	c  349s |      19 |   549783 |   469182 |    19353     61 |        5 |      318
351.44/351.50	c  351s |      19 |   552555 |   471682 |    19353     61 |        5 |      318
353.44/353.55	c  353s |      19 |   555473 |   474182 |    19353     61 |        5 |      318
355.54/355.60	c  355s |      19 |   558137 |   476482 |    19353     62 |        5 |      318
357.44/357.60	c  357s |      19 |   561145 |   479082 |    19353     62 |        5 |      318
359.54/359.60	c  359s |      19 |   563577 |   481182 |    19353     62 |        5 |      318
361.54/361.62	c  361s |      19 |   566268 |   483482 |    19353     62 |        5 |      318
363.54/363.63	c  363s |      19 |   568787 |   485682 |    19353     63 |        5 |      318
365.53/365.64	c  365s |      19 |   571979 |   488582 |    19353     63 |        5 |      318
367.53/367.66	c  367s |      19 |   574853 |   490982 |    19353     63 |        5 |      318
369.54/369.68	c  369s |      19 |   577594 |   493382 |    19353     63 |        5 |      318
371.63/371.74	c  371s |      19 |   580392 |   495882 |    19353     64 |        5 |      318
373.73/373.89	c  373s |      19 |   583224 |   498482 |    19353     64 |        5 |      318
375.83/375.94	c  375s |      19 |   585950 |   500982 |    19353     64 |        5 |      318
377.83/377.95	c  377s |      19 |   588472 |   503282 |    19353     64 |        5 |      318
379.93/380.00	c  379s |      19 |   590662 |   505282 |    19353     65 |        5 |      318
383.23/383.38	c  383s |      19 |   592012 |   506482 |    19353     65 |        5 |      318
385.33/385.43	c  385s |      19 |   594878 |   508782 |    19353     65 |        5 |      318
387.33/387.44	c  387s |      19 |   598405 |   511682 |    19353     65 |        5 |      318
389.44/389.51	c  389s |      19 |   601720 |   514482 |    19353     65 |        5 |      318
391.43/391.56	c  391s |      19 |   604419 |   516882 |    19353     66 |        5 |      318
393.43/393.57	c  393s |      19 |   607719 |   519782 |    19353     66 |        5 |      318
395.53/395.64	c  395s |      19 |   610796 |   522482 |    19353     66 |        5 |      318
397.53/397.64	c  397s |      19 |   613171 |   524582 |    19353     67 |        5 |      318
399.63/399.71	c  399s |      19 |   616425 |   527282 |    19353     67 |        5 |      318
401.63/401.72	c  401s |      19 |   619473 |   529782 |    19353     67 |        5 |      318
404.53/404.67	c  404s |      19 |   622422 |   532282 |    19353     67 |        5 |      318
406.63/406.71	c  406s |      19 |   624811 |   534282 |    19353     68 |        5 |      318
408.63/408.75	c  408s |      19 |   628110 |   537082 |    19353     68 |        5 |      318
410.73/410.80	c  410s |      19 |   631211 |   539782 |    19353     68 |        5 |      318
412.73/412.85	c  412s |      19 |   633898 |   542182 |    19353     68 |        5 |      318
414.74/414.88	c  414s |      19 |   636440 |   544482 |    19353     69 |        5 |      318
416.83/416.94	c  416s |      19 |   639507 |   547182 |    19353     69 |        5 |      318
418.83/418.96	c  418s |      19 |   642248 |   549582 |    19353     69 |        5 |      318
420.93/421.03	c  420s |      19 |   644765 |   551782 |    19353     69 |        5 |      318
422.93/423.07	c  422s |      19 |   646863 |   553682 |    19353     69 |        5 |      318
425.03/425.13	c  424s |      19 |   648684 |   555282 |    19353     70 |        5 |      318
427.03/427.14	c  426s |      19 |   651592 |   557782 |    19353     70 |        5 |      318
429.12/429.21	c  429s |      19 |   654260 |   560082 |    19353     70 |        5 |      318
431.13/431.22	c  431s |      19 |   656700 |   562182 |    19353     70 |        5 |      318
433.22/433.36	c  433s |      19 |   659355 |   564482 |    19353     71 |        5 |      318
435.22/435.39	c  435s |      19 |   661209 |   565982 |    19353     71 |        5 |      318
437.32/437.46	c  437s |      19 |   664208 |   568482 |    19353     71 |        5 |      318
439.42/439.51	c  439s |      19 |   667528 |   571282 |    19353     71 |        5 |      318
441.43/441.52	c  441s |      19 |   670191 |   573582 |    19353     72 |        5 |      318
443.43/443.56	c  443s |      19 |   673634 |   576482 |    19353     72 |        5 |      318
445.53/445.62	c  445s |      19 |   676328 |   578782 |    19353     72 |        5 |      318
447.53/447.64	c  447s |      19 |   679015 |   581082 |    19353     72 |        5 |      318
449.72/449.81	c  449s |      19 |   681621 |   583382 |    19353     73 |        5 |      318
451.72/451.87	c  451s |      19 |   684604 |   585982 |    19353     73 |        5 |      318
453.72/453.89	c  453s |      19 |   687664 |   588582 |    19353     73 |        5 |      318
455.82/455.91	c  455s |      19 |   690399 |   590982 |    19353     73 |        5 |      318
457.82/457.95	c  457s |      19 |   693341 |   593482 |    19353     74 |        5 |      318
459.92/460.03	c  459s |      19 |   696716 |   596482 |    19353     74 |        5 |      318
461.92/462.09	c  461s |      19 |   699600 |   599082 |    19353     74 |        5 |      318
464.02/464.11	c  463s |      19 |   702035 |   601282 |    19353     74 |        5 |      318
467.22/467.30	c  467s |      19 |   703675 |   602782 |    19353     74 |        5 |      318
469.22/469.33	c  469s |      19 |   705850 |   604682 |    19353     75 |        5 |      318
471.22/471.39	c  471s |      19 |   709217 |   607582 |    19353     75 |        5 |      318
473.22/473.39	c  473s |      19 |   712055 |   610082 |    19353     75 |        5 |      318
475.32/475.40	c  475s |      19 |   714657 |   612382 |    19353     75 |        5 |      318
477.33/477.46	c  477s |      19 |   717420 |   614882 |    19353     76 |        5 |      318
479.42/479.54	c  479s |      19 |   720145 |   617382 |    19353     76 |        5 |      318
481.42/481.54	c  481s |      19 |   722814 |   619682 |    19353     76 |        5 |      318
483.52/483.61	c  483s |      19 |   725432 |   621982 |    19353     76 |        5 |      318
485.52/485.65	c  485s |      19 |   728219 |   624382 |    19353     77 |        5 |      318
487.52/487.69	c  487s |      19 |   731403 |   627182 |    19353     77 |        5 |      318
489.62/489.73	c  489s |      19 |   733735 |   629282 |    19353     77 |        5 |      318
491.62/491.74	c  491s |      19 |   736242 |   631582 |    19353     77 |        5 |      318
493.62/493.74	c  493s |      19 |   738941 |   633982 |    19353     78 |        5 |      318
495.62/495.78	c  495s |      19 |   741671 |   636482 |    19353     78 |        5 |      318
497.72/497.87	c  497s |      19 |   744173 |   638782 |    19353     78 |        5 |      318
499.82/499.98	c  499s |      19 |   746598 |   640982 |    19353     78 |        5 |      318
501.91/502.01	c  501s |      19 |   748972 |   643082 |    19353     79 |        5 |      318
504.21/504.35	c  504s |      19 |   751067 |   644982 |    19353     79 |        5 |      318
506.21/506.36	c  506s |      19 |   753976 |   647482 |    19353     79 |        5 |      318
508.22/508.38	c  508s |      19 |   756582 |   649782 |    19353     79 |        5 |      318
510.32/510.46	c  510s |      19 |   758942 |   651882 |    19353     79 |        5 |      318
512.31/512.49	c  512s |      19 |   761315 |   654082 |    19353     80 |        5 |      318
514.41/514.56	c  514s |      19 |   764127 |   656582 |    19353     80 |        5 |      318
517.81/517.90	c  517s |      19 |   766036 |   658282 |    19353     80 |        5 |      318
519.81/519.95	c  519s |      19 |   769156 |   660882 |    19353     80 |        5 |      318
521.91/522.01	c  521s |      19 |   772243 |   663482 |    21289     81 |        5 |      318
523.91/524.07	c  523s |      19 |   775259 |   666182 |    21289     81 |        5 |      318
524.41/524.55	c  524s |      20 |   775995 |   666827 |    21289     81 |        5 |      318
526.51/526.61	c  526s |      20 |   779321 |   669527 |    21289     81 |        5 |      318
528.51/528.66	c  528s |      20 |   781800 |   671627 |    21289     81 |        5 |      318
530.61/530.70	c  530s |      20 |   784353 |   673727 |    21289     82 |        5 |      318
532.61/532.75	c  532s |      20 |   787653 |   676527 |    21289     82 |        5 |      318
534.71/534.84	c  534s |      20 |   790707 |   679227 |    21289     82 |        5 |      318
536.81/536.91	c  536s |      20 |   793351 |   681527 |    21289     82 |        5 |      318
538.81/538.97	c  538s |      20 |   795600 |   683527 |    21289     82 |        5 |      318
540.80/540.99	c  540s |      20 |   797575 |   685227 |    21289     83 |        5 |      318
542.90/543.03	c  542s |      20 |   801050 |   688127 |    21289     83 |        5 |      318
544.91/545.09	c  544s |      20 |   803036 |   689727 |    21289     83 |        5 |      318
547.01/547.11	c  546s |      20 |   805839 |   692127 |    21289     83 |        5 |      318
549.01/549.19	c  549s |      20 |   808598 |   694427 |    21289     83 |        5 |      318
551.12/551.25	c  551s |      20 |   811140 |   696627 |    21289     84 |        5 |      318
553.11/553.29	c  553s |      20 |   814308 |   699327 |    21289     84 |        5 |      318
555.21/555.34	c  555s |      20 |   817098 |   701827 |    21289     84 |        5 |      318
557.21/557.35	c  557s |      20 |   819307 |   703727 |    21289     84 |        5 |      318
559.21/559.35	c  559s |      20 |   821784 |   705827 |    21289     84 |        5 |      318
561.21/561.37	c  561s |      20 |   824720 |   708327 |    21289     85 |        5 |      318
563.31/563.41	c  563s |      20 |   827525 |   710827 |    21289     85 |        5 |      318
565.31/565.42	c  565s |      20 |   830314 |   713227 |    21289     85 |        5 |      318
567.31/567.48	c  567s |      20 |   832960 |   715527 |    21289     85 |        5 |      318
569.41/569.55	c  569s |      20 |   835319 |   717627 |    21289     86 |        5 |      318
571.51/571.62	c  571s |      20 |   838671 |   720627 |    21289     86 |        5 |      318
573.61/573.70	c  573s |      20 |   841283 |   722927 |    21289     86 |        5 |      318
575.61/575.71	c  575s |      20 |   843663 |   725027 |    21289     86 |        5 |      318
577.61/577.77	c  577s |      20 |   846093 |   727127 |    21289     86 |        5 |      318
582.60/582.79	c  582s |      20 |   847283 |   728127 |    21289     87 |        5 |      318
584.60/584.79	c  584s |      20 |   851139 |   731327 |    21289     87 |        5 |      318
586.70/586.84	c  586s |      20 |   854232 |   734027 |    21289     87 |        5 |      318
588.80/588.90	c  588s |      20 |   857068 |   736527 |    21289     87 |        5 |      318
590.80/590.95	c  590s |      20 |   859903 |   738927 |    21289     88 |        5 |      318
592.80/592.98	c  592s |      20 |   863441 |   741927 |    21289     88 |        5 |      318
594.90/595.04	c  594s |      20 |   866197 |   744227 |    21289     88 |        5 |      318
597.00/597.12	c  596s |      20 |   869117 |   746727 |    21289     88 |        5 |      318
599.10/599.25	c  599s |      20 |   871770 |   749027 |    21289     89 |        5 |      318
601.10/601.28	c  601s |      20 |   874979 |   751827 |    21289     89 |        5 |      318
603.20/603.35	c  603s |      20 |   878078 |   754427 |    21289     89 |        5 |      318
605.30/605.40	c  605s |      20 |   880766 |   756727 |    21289     89 |        5 |      318
607.39/607.50	c  607s |      20 |   883390 |   759027 |    21289     89 |        5 |      318
609.40/609.54	c  609s |      20 |   885709 |   761127 |    21289     90 |        5 |      318
611.50/611.61	c  611s |      20 |   888577 |   763727 |    21289     90 |        5 |      318
613.49/613.64	c  613s |      20 |   891193 |   766027 |    21289     90 |        5 |      318
616.60/616.77	c  616s |      20 |   892776 |   767427 |    21289     90 |        5 |      318
618.70/618.82	c  618s |      20 |   895216 |   769627 |    21289     90 |        5 |      318
620.70/620.83	c  620s |      20 |   897363 |   771527 |    21289     91 |        5 |      318
622.70/622.84	c  622s |      20 |   900302 |   774027 |    21289     91 |        5 |      318
624.70/624.85	c  624s |      20 |   903288 |   776627 |    21289     91 |        5 |      318
626.70/626.86	c  626s |      20 |   905807 |   778827 |    21289     91 |        5 |      318
628.70/628.89	c  628s |      20 |   908027 |   780827 |    21289     91 |        5 |      318
630.80/630.92	c  630s |      20 |   910184 |   782727 |    21289     92 |        5 |      318
632.80/632.96	c  632s |      20 |   912787 |   785127 |    21289     92 |        5 |      318
634.99/635.17	c  634s |      20 |   915191 |   787327 |    21289     92 |        5 |      318
636.99/637.19	c  636s |      20 |   917486 |   789327 |    21289     92 |        5 |      318
639.00/639.19	c  639s |      20 |   919549 |   791127 |    21289     92 |        5 |      318
641.09/641.21	c  641s |      20 |   921327 |   792727 |    21289     93 |        5 |      318
643.09/643.24	c  643s |      20 |   923991 |   795127 |    21289     93 |        5 |      318
645.19/645.30	c  645s |      20 |   926412 |   797327 |    21289     93 |        5 |      318
647.19/647.30	c  647s |      20 |   928544 |   799327 |    21289     93 |        5 |      318
649.29/649.40	c  649s |      20 |   930709 |   801327 |    21289     93 |        5 |      318
651.29/651.42	c  651s |      20 |   932564 |   803027 |    21289     94 |        5 |      318
653.29/653.43	c  653s |      20 |   935210 |   805427 |    21289     94 |        5 |      318
655.29/655.43	c  655s |      20 |   937696 |   807727 |    21289     94 |        5 |      318
657.69/657.80	c  657s |      20 |   938252 |   808227 |    21289     94 |        5 |      318
659.69/659.81	c  659s |      20 |   941033 |   810627 |    21289     94 |        5 |      318
661.69/661.89	c  661s |      20 |   943603 |   812827 |    21289     94 |        5 |      318
663.79/663.91	c  663s |      20 |   945764 |   814727 |    21289     95 |        5 |      318
665.78/665.92	c  665s |      20 |   948562 |   817227 |    21289     95 |        5 |      318
667.78/667.98	c  667s |      20 |   951262 |   819627 |    21289     95 |        5 |      318
669.89/670.07	c  669s |      20 |   953673 |   821827 |    21289     95 |        5 |      318
671.99/672.15	c  671s |      20 |   956088 |   824027 |    21289     95 |        5 |      318
673.99/674.18	c  673s |      20 |   958337 |   826027 |    21289     96 |        5 |      318
675.99/676.18	c  675s |      20 |   960761 |   828127 |    21289     96 |        5 |      318
677.99/678.18	c  677s |      20 |   963105 |   830127 |    21289     96 |        5 |      318
679.99/680.18	c  679s |      20 |   964825 |   831527 |    21289     96 |        5 |      318
682.09/682.23	c  682s |      20 |   967493 |   833727 |    21289     96 |        5 |      318
684.20/684.32	c  684s |      20 |   969777 |   835627 |    21289     97 |        5 |      318
686.19/686.34	c  686s |      20 |   972560 |   837927 |    21289     97 |        5 |      318
688.19/688.35	c  688s |      20 |   975603 |   840527 |    21289     97 |        5 |      318
690.29/690.40	c  690s |      20 |   978711 |   843227 |    21289     97 |        5 |      318
692.29/692.41	c  692s |      20 |   981382 |   845627 |    21289     97 |        5 |      318
694.29/694.43	c  694s |      20 |   984528 |   848327 |    21289     98 |        5 |      318
696.29/696.48	c  696s |      20 |   986462 |   849927 |    21289     98 |        5 |      318
698.39/698.52	c  698s |      20 |   989685 |   852627 |    21289     98 |        5 |      318
700.49/700.60	c  700s |      20 |   992672 |   855227 |    21289     98 |        5 |      318
702.49/702.60	c  702s |      20 |   995139 |   857327 |    21289     99 |        5 |      318
704.48/704.65	c  704s |      20 |   998480 |   860227 |    21289     99 |        5 |      318
706.48/706.68	c  706s |      20 |  1001205 |   862527 |    21289     99 |        5 |      318
708.58/708.73	c  708s |      20 |  1004007 |   864927 |    21289     99 |        5 |      318
710.59/710.75	c  710s |      20 |  1006467 |   867027 |    21289     99 |        5 |      318
712.58/712.77	c  712s |      20 |  1009152 |   869427 |    21289    100 |        5 |      318
714.58/714.78	c  714s |      20 |  1011935 |   871927 |    21289    100 |        5 |      318
716.68/716.81	c  716s |      20 |  1014476 |   874227 |    21289    100 |        5 |      318
718.68/718.84	c  718s |      20 |  1016923 |   876427 |    21289    100 |        5 |      318
720.88/721.06	c  720s |      20 |  1019309 |   878527 |    21289    101 |        5 |      318
722.98/723.14	c  722s |      20 |  1021951 |   880927 |    21289    101 |        5 |      318
724.98/725.19	c  725s |      20 |  1024534 |   883227 |    21289    101 |        5 |      318
727.09/727.24	c  727s |      20 |  1026948 |   885327 |    21289    101 |        5 |      318
730.87/731.00	c  730s |      20 |  1029125 |   887227 |    21289    101 |        5 |      318
732.88/733.06	c  732s |      20 |  1030218 |   888127 |    21289    101 |        5 |      318
734.88/735.09	c  734s |      20 |  1032468 |   890027 |    21289    102 |        5 |      318
736.99/737.17	c  736s |      20 |  1035661 |   892727 |    21289    102 |        5 |      318
738.98/739.19	c  739s |      20 |  1038555 |   895127 |    21289    102 |        5 |      318
741.08/741.22	c  741s |      20 |  1041851 |   897927 |    21289    102 |        5 |      318
743.08/743.27	c  743s |      20 |  1044679 |   900327 |    21289    103 |        5 |      318
745.18/745.33	c  745s |      20 |  1047945 |   903227 |    21289    103 |        5 |      318
747.18/747.39	c  747s |      20 |  1051017 |   905927 |    21289    103 |        5 |      318
749.18/749.39	c  749s |      20 |  1053785 |   908327 |    21289    103 |        5 |      318
751.28/751.45	c  751s |      20 |  1056016 |   910227 |    21289    103 |        5 |      318
753.38/753.55	c  753s |      20 |  1058603 |   912527 |    21289    104 |        5 |      318
755.38/755.59	c  755s |      20 |  1061705 |   915227 |    21289    104 |        5 |      318
757.48/757.65	c  757s |      20 |  1064562 |   917727 |    21289    104 |        5 |      318
759.48/759.68	c  759s |      20 |  1067275 |   920127 |    21289    104 |        5 |      318
761.58/761.70	c  761s |      20 |  1069596 |   922227 |    21289    105 |        5 |      318
763.57/763.72	c  763s |      20 |  1072315 |   924727 |    21289    105 |        5 |      318
765.67/765.80	c  765s |      20 |  1074983 |   927127 |    21289    105 |        5 |      318
767.68/767.83	c  767s |      20 |  1077224 |   929127 |    21289    105 |        5 |      318
769.67/769.86	c  769s |      20 |  1079346 |   931027 |    21289    105 |        5 |      318
771.77/771.91	c  771s |      20 |  1081234 |   932727 |    21289    106 |        5 |      318
773.87/774.05	c  773s |      20 |  1083543 |   934727 |    21289    106 |        5 |      318
775.97/776.13	c  775s |      20 |  1085132 |   936027 |    21289    106 |        5 |      318
778.07/778.26	c  778s |      20 |  1088090 |   938527 |    21289    106 |        5 |      318
780.07/780.29	c  780s |      20 |  1090798 |   940827 |    21289    106 |        5 |      318
782.27/782.43	c  782s |      20 |  1093357 |   943027 |    21289    107 |        5 |      318
784.28/784.48	c  784s |      20 |  1096654 |   945927 |    21289    107 |        5 |      318
786.48/786.61	c  786s |      20 |  1097579 |   946727 |    21289    107 |        5 |      318
788.47/788.62	c  788s |      20 |  1100621 |   949227 |    21289    107 |        5 |      318
790.47/790.66	c  790s |      20 |  1103499 |   951727 |    21289    107 |        5 |      318
792.57/792.72	c  792s |      20 |  1105974 |   953827 |    21289    108 |        5 |      318
794.57/794.73	c  794s |      20 |  1109250 |   956727 |    21289    108 |        5 |      318
796.57/796.79	c  796s |      20 |  1111380 |   958627 |    21289    108 |        5 |      318
798.67/798.84	c  798s |      20 |  1114199 |   961127 |    21289    108 |        5 |      318
800.78/800.92	c  800s |      20 |  1116622 |   963327 |    21289    108 |        5 |      318
802.77/802.96	c  802s |      20 |  1118871 |   965327 |    21289    109 |        5 |      318
804.77/804.98	c  804s |      20 |  1121669 |   967827 |    21289    109 |        5 |      318
806.87/807.01	c  806s |      20 |  1123892 |   969827 |    21289    109 |        5 |      318
808.87/809.06	c  808s |      20 |  1126621 |   972227 |    21289    109 |        5 |      318
810.87/811.07	c  810s |      20 |  1128693 |   974127 |    21289    109 |        5 |      318
812.97/813.10	c  812s |      20 |  1130671 |   975927 |    21289    110 |        5 |      318
814.98/815.17	c  814s |      20 |  1133422 |   978427 |    21289    110 |        5 |      318
816.97/817.19	c  817s |      20 |  1134878 |   979627 |    21289    110 |        5 |      318
819.07/819.26	c  819s |      20 |  1137726 |   982127 |    21289    110 |        5 |      318
821.07/821.28	c  821s |      20 |  1140689 |   984727 |    21289    110 |        5 |      318
823.17/823.33	c  823s |      20 |  1143304 |   987027 |    21289    111 |        5 |      318
825.17/825.36	c  825s |      20 |  1145850 |   989327 |    21289    111 |        5 |      318
827.27/827.41	c  827s |      20 |  1148781 |   991927 |    21289    111 |        5 |      318
829.27/829.46	c  829s |      20 |  1151427 |   994327 |    23418    111 |        5 |      318
831.37/831.58	c  831s |      20 |  1153826 |   996527 |    23418    111 |        5 |      318
833.47/833.68	c  833s |      20 |  1156017 |   998527 |    23418    111 |        5 |      318
835.27/835.43	c  835s |      21 |  1158080 |  1000345 |    23418    112 |        5 |      318
837.27/837.48	c  837s |      21 |  1158808 |  1000945 |    23418    112 |        5 |      318
839.37/839.51	c  839s |      21 |  1161503 |  1003345 |    23418    112 |        5 |      318
841.37/841.52	c  841s |      21 |  1163955 |  1005545 |    23418    112 |        5 |      318
843.36/843.58	c  843s |      21 |  1166171 |  1007545 |    23418    112 |        5 |      318
845.36/845.58	c  845s |      21 |  1168230 |  1009445 |    23418    112 |        5 |      318
847.46/847.66	c  847s |      21 |  1170102 |  1011145 |    23418    113 |        5 |      318
852.66/852.82	c  852s |      21 |  1172855 |  1013645 |    23418    113 |        5 |      318
854.67/854.83	c  854s |      21 |  1174087 |  1014645 |    23418    113 |        5 |      318
856.66/856.89	c  856s |      21 |  1177213 |  1017245 |    23418    113 |        5 |      318
858.76/858.97	c  858s |      21 |  1179999 |  1019645 |    23418    113 |        5 |      318
860.86/861.04	c  860s |      21 |  1182609 |  1021945 |    23418    113 |        5 |      318
862.86/863.05	c  862s |      21 |  1185254 |  1024145 |    23418    114 |        5 |      318
864.86/865.07	c  864s |      21 |  1187827 |  1026345 |    23418    114 |        5 |      318
866.96/867.14	c  866s |      21 |  1190837 |  1028945 |    23418    114 |        5 |      318
869.05/869.21	c  869s |      21 |  1193116 |  1030945 |    23418    114 |        5 |      318
871.06/871.27	c  871s |      21 |  1195580 |  1033045 |    23418    114 |        5 |      318
873.26/873.47	c  873s |      21 |  1197899 |  1034945 |    23418    115 |        5 |      318
875.25/875.47	c  875s |      21 |  1200207 |  1036945 |    23418    115 |        5 |      318
877.25/877.49	c  877s |      21 |  1203683 |  1039745 |    23418    115 |        5 |      318
879.35/879.54	c  879s |      21 |  1206673 |  1042345 |    23418    115 |        5 |      318
881.36/881.58	c  881s |      21 |  1209295 |  1044645 |    23418    115 |        5 |      318
883.76/883.90	c  883s |      21 |  1211500 |  1046645 |    23418    116 |        5 |      318
885.76/885.95	c  885s |      21 |  1214120 |  1048945 |    23418    116 |        5 |      318
887.86/888.00	c  887s |      21 |  1216532 |  1051145 |    23418    116 |        5 |      318
889.87/890.07	c  889s |      21 |  1218685 |  1053145 |    23418    116 |        5 |      318
891.96/892.15	c  891s |      21 |  1220992 |  1055145 |    23418    116 |        5 |      318
893.96/894.17	c  893s |      21 |  1223123 |  1057045 |    23418    116 |        5 |      318
896.06/896.20	c  896s |      21 |  1225313 |  1058945 |    23418    117 |        5 |      318
898.26/898.41	c  898s |      21 |  1227014 |  1060345 |    23418    117 |        5 |      318
900.26/900.44	c  900s |      21 |  1230413 |  1063245 |    23418    117 |        5 |      318
902.36/902.51	c  902s |      21 |  1233076 |  1065545 |    23418    117 |        5 |      318
904.46/904.60	c  904s |      21 |  1235258 |  1067545 |    23418    117 |        5 |      318
906.46/906.65	c  906s |      21 |  1237375 |  1069445 |    23418    117 |        5 |      318
908.65/908.83	c  908s |      21 |  1240022 |  1071745 |    23418    118 |        5 |      318
911.45/911.64	c  911s |      21 |  1242836 |  1074145 |    23418    118 |        5 |      318
913.55/913.72	c  913s |      21 |  1245134 |  1076045 |    23418    118 |        5 |      318
915.55/915.73	c  915s |      21 |  1247704 |  1078245 |    23418    118 |        5 |      318
917.55/917.80	c  917s |      21 |  1249959 |  1080145 |    23418    118 |        5 |      318
919.75/919.99	c  919s |      21 |  1252342 |  1082145 |    23418    119 |        5 |      318
921.85/922.06	c  921s |      21 |  1254982 |  1084445 |    23418    119 |        5 |      318
923.96/924.12	c  923s |      21 |  1257659 |  1086845 |    23418    119 |        5 |      318
925.95/926.15	c  925s |      21 |  1259716 |  1088645 |    23418    119 |        5 |      318
927.95/928.16	c  927s |      21 |  1261799 |  1090545 |    23418    119 |        5 |      318
930.05/930.27	c  930s |      21 |  1264017 |  1092545 |    23418    119 |        5 |      318
932.15/932.35	c  932s |      21 |  1265783 |  1094145 |    23418    120 |        5 |      318
934.25/934.42	c  934s |      21 |  1268451 |  1096545 |    23418    120 |        5 |      318
936.25/936.49	c  936s |      21 |  1270976 |  1098745 |    23418    120 |        5 |      318
938.35/938.57	c  938s |      21 |  1273522 |  1100945 |    23418    120 |        5 |      318
940.45/940.65	c  940s |      21 |  1275880 |  1103045 |    23418    120 |        5 |      318
942.55/942.71	c  942s |      21 |  1277976 |  1104845 |    23418    120 |        5 |      318
944.54/944.72	c  944s |      21 |  1279607 |  1106245 |    23418    121 |        5 |      318
946.54/946.76	c  946s |      21 |  1282234 |  1108545 |    23418    121 |        5 |      318
948.64/948.81	c  948s |      21 |  1284824 |  1110845 |    23418    121 |        5 |      318
950.94/951.16	c  950s |      21 |  1285504 |  1111445 |    23418    121 |        5 |      318
953.04/953.21	c  953s |      21 |  1287894 |  1113545 |    23418    121 |        5 |      318
955.04/955.27	c  955s |      21 |  1290401 |  1115745 |    23418    121 |        5 |      318
957.14/957.30	c  957s |      21 |  1292542 |  1117645 |    23418    122 |        5 |      318
959.15/959.33	c  959s |      21 |  1295631 |  1120345 |    23418    122 |        5 |      318
961.24/961.42	c  961s |      21 |  1298321 |  1122745 |    23418    122 |        5 |      318
963.24/963.46	c  963s |      21 |  1300676 |  1124845 |    23418    122 |        5 |      318
965.24/965.48	c  965s |      21 |  1303045 |  1126945 |    23418    122 |        5 |      318
967.34/967.53	c  967s |      21 |  1305156 |  1128845 |    23418    122 |        5 |      318
969.54/969.76	c  969s |      21 |  1307357 |  1130845 |    23418    123 |        5 |      318
971.64/971.82	c  971s |      21 |  1309729 |  1132945 |    23418    123 |        5 |      318
973.64/973.84	c  973s |      21 |  1311909 |  1134945 |    23418    123 |        5 |      318
975.74/975.90	c  975s |      21 |  1314126 |  1136945 |    23418    123 |        5 |      318
977.75/977.96	c  977s |      21 |  1316096 |  1138745 |    23418    123 |        5 |      318
979.84/980.01	c  979s |      21 |  1317913 |  1140445 |    23418    123 |        5 |      318
983.74/983.90	c  983s |      21 |  1319338 |  1141745 |    23418    124 |        5 |      318
985.74/985.93	c  985s |      21 |  1322593 |  1144445 |    23418    124 |        5 |      318
987.74/987.97	c  987s |      21 |  1325605 |  1147045 |    23418    124 |        5 |      318
989.84/990.01	c  989s |      21 |  1328192 |  1149345 |    23418    124 |        5 |      318
991.84/992.07	c  991s |      21 |  1330651 |  1151445 |    23418    124 |        5 |      318
994.24/994.46	c  994s |      21 |  1332558 |  1153145 |    23418    125 |        5 |      318
996.24/996.48	c  996s |      21 |  1335508 |  1155745 |    23418    125 |        5 |      318
998.34/998.51	c  998s |      21 |  1338343 |  1158245 |    23418    125 |        5 |      318
1000.44/1000.60	c 1000s |      21 |  1340842 |  1160545 |    23418    125 |        5 |      318
1004.14/1004.32	c 1004s |      21 |  1342554 |  1162045 |    23418    125 |        5 |      318
1006.13/1006.38	c 1006s |      21 |  1344582 |  1163645 |    23418    125 |        5 |      318
1008.43/1008.64	c 1008s |      21 |  1346631 |  1165345 |    23418    126 |        5 |      318
1010.43/1010.66	c 1010s |      21 |  1350058 |  1168145 |    23418    126 |        5 |      318
1012.43/1012.68	c 1012s |      21 |  1353101 |  1170745 |    23418    126 |        5 |      318
1014.43/1014.69	c 1014s |      21 |  1355891 |  1173145 |    23418    126 |        5 |      318
1016.53/1016.73	c 1016s |      21 |  1358329 |  1175245 |    23418    126 |        5 |      318
1018.53/1018.78	c 1018s |      21 |  1360563 |  1177145 |    23418    127 |        5 |      318
1020.63/1020.82	c 1020s |      21 |  1363466 |  1179645 |    23418    127 |        5 |      318
1022.63/1022.82	c 1022s |      21 |  1366305 |  1182145 |    23418    127 |        5 |      318
1024.63/1024.83	c 1024s |      21 |  1368914 |  1184445 |    23418    127 |        5 |      318
1026.63/1026.83	c 1026s |      21 |  1371106 |  1186445 |    23418    127 |        5 |      318
1028.73/1028.91	c 1028s |      21 |  1373446 |  1188545 |    23418    127 |        5 |      318
1030.73/1030.94	c 1030s |      21 |  1375733 |  1190645 |    23418    128 |        5 |      318
1032.84/1033.01	c 1032s |      21 |  1378405 |  1192945 |    23418    128 |        5 |      318
1035.82/1036.08	c 1035s |      21 |  1379887 |  1194245 |    23418    128 |        5 |      318
1037.82/1038.09	c 1037s |      21 |  1382398 |  1196345 |    23418    128 |        5 |      318
1040.02/1040.20	c 1040s |      21 |  1384921 |  1198545 |    23418    128 |        5 |      318
1042.22/1042.48	c 1042s |      21 |  1387211 |  1200545 |    23418    129 |        5 |      318
1044.32/1044.53	c 1044s |      21 |  1390004 |  1202945 |    23418    129 |        5 |      318
1046.32/1046.54	c 1046s |      21 |  1393045 |  1205545 |    23418    129 |        5 |      318
1048.32/1048.58	c 1048s |      21 |  1396018 |  1208145 |    23418    129 |        5 |      318
1050.43/1050.67	c 1050s |      21 |  1398857 |  1210645 |    23418    129 |        5 |      318
1052.42/1052.69	c 1052s |      21 |  1401112 |  1212645 |    23418    130 |        5 |      318
1054.52/1054.76	c 1054s |      21 |  1403964 |  1215245 |    23418    130 |        5 |      318
1056.62/1056.81	c 1056s |      21 |  1406849 |  1217845 |    23418    130 |        5 |      318
1058.62/1058.85	c 1058s |      21 |  1408429 |  1219245 |    23418    130 |        5 |      318
1060.62/1060.88	c 1060s |      21 |  1410585 |  1221145 |    23418    130 |        5 |      318
1062.72/1062.96	c 1062s |      21 |  1412764 |  1223045 |    23418    130 |        5 |      318
1064.72/1064.97	c 1064s |      21 |  1414574 |  1224645 |    23418    131 |        5 |      318
1066.71/1067.00	c 1066s |      21 |  1417148 |  1226945 |    23418    131 |        5 |      318
1068.81/1069.06	c 1068s |      21 |  1419782 |  1229345 |    23418    131 |        5 |      318
1070.91/1071.17	c 1070s |      21 |  1421927 |  1231345 |    23418    131 |        5 |      318
1072.91/1073.19	c 1072s |      21 |  1423997 |  1233245 |    23418    131 |        5 |      318
1075.01/1075.25	c 1075s |      21 |  1426348 |  1235345 |    23418    131 |        5 |      318
1077.00/1077.30	c 1077s |      21 |  1427482 |  1236345 |    23418    132 |        5 |      318
1079.10/1079.33	c 1079s |      21 |  1430525 |  1238945 |    23418    132 |        5 |      318
1081.11/1081.33	c 1081s |      21 |  1433264 |  1241345 |    23418    132 |        5 |      318
1083.20/1083.41	c 1083s |      21 |  1435640 |  1243545 |    23418    132 |        5 |      318
1085.20/1085.43	c 1085s |      21 |  1437958 |  1245645 |    23418    132 |        5 |      318
1087.20/1087.49	c 1087s |      21 |  1440060 |  1247545 |    23418    132 |        5 |      318
1089.30/1089.56	c 1089s |      21 |  1442331 |  1249645 |    23418    133 |        5 |      318
1091.30/1091.56	c 1091s |      21 |  1444989 |  1252045 |    23418    133 |        5 |      318
1093.30/1093.59	c 1093s |      21 |  1447596 |  1254445 |    23418    133 |        5 |      318
1095.40/1095.68	c 1095s |      21 |  1449935 |  1256545 |    23418    133 |        5 |      318
1099.80/1100.10	c 1099s |      21 |  1450613 |  1257145 |    23418    133 |        5 |      318
1101.90/1102.19	c 1102s |      21 |  1452921 |  1259145 |    23418    133 |        5 |      318
1103.99/1104.20	c 1104s |      21 |  1454834 |  1260845 |    23418    134 |        5 |      318
1105.99/1106.24	c 1106s |      21 |  1457518 |  1263245 |    23418    134 |        5 |      318
1107.99/1108.25	c 1108s |      21 |  1460671 |  1265845 |    23418    134 |        5 |      318
1110.09/1110.35	c 1110s |      21 |  1463178 |  1268045 |    23418    134 |        5 |      318
1112.09/1112.38	c 1112s |      21 |  1465451 |  1270045 |    23418    134 |        5 |      318
1114.09/1114.39	c 1114s |      21 |  1467433 |  1271845 |    23418    135 |        5 |      318
1116.19/1116.40	c 1116s |      21 |  1469913 |  1274045 |    23418    135 |        5 |      318
1118.19/1118.42	c 1118s |      21 |  1472320 |  1276245 |    23418    135 |        5 |      318
1120.18/1120.49	c 1120s |      21 |  1474672 |  1278345 |    23418    135 |        5 |      318
1122.28/1122.55	c 1122s |      21 |  1477185 |  1280545 |    23418    135 |        5 |      318
1124.38/1124.60	c 1124s |      21 |  1479305 |  1282445 |    23418    135 |        5 |      318
1126.38/1126.61	c 1126s |      21 |  1480667 |  1283645 |    23418    136 |        5 |      318
1128.39/1128.64	c 1128s |      21 |  1483294 |  1285945 |    23418    136 |        5 |      318
1130.38/1130.65	c 1130s |      21 |  1485970 |  1288345 |    23418    136 |        5 |      318
1132.38/1132.66	c 1132s |      21 |  1488388 |  1290545 |    23418    136 |        5 |      318
1134.38/1134.67	c 1134s |      21 |  1490587 |  1292545 |    23418    136 |        5 |      318
1136.48/1136.79	c 1136s |      21 |  1492898 |  1294645 |    23418    136 |        5 |      318
1139.78/1140.05	c 1139s |      21 |  1495086 |  1296645 |    23418    137 |        5 |      318
1141.78/1142.09	c 1141s |      21 |  1497878 |  1299045 |    23418    137 |        5 |      318
1143.89/1144.14	c 1143s |      21 |  1500238 |  1301145 |    23418    137 |        5 |      318
1145.99/1146.21	c 1146s |      21 |  1502613 |  1303245 |    23418    137 |        5 |      318
1147.98/1148.24	c 1148s |      21 |  1504637 |  1305045 |    23418    137 |        5 |      318
1149.98/1150.28	c 1150s |      21 |  1506662 |  1306845 |    23418    137 |        5 |      318
1152.38/1152.65	c 1152s |      21 |  1507548 |  1307645 |    23418    138 |        5 |      318
1154.38/1154.65	c 1154s |      21 |  1510583 |  1310245 |    23418    138 |        5 |      318
1156.48/1156.70	c 1156s |      21 |  1513196 |  1312545 |    23418    138 |        5 |      318
1158.48/1158.77	c 1158s |      21 |  1515869 |  1314845 |    23418    138 |        5 |      318
1160.48/1160.79	c 1160s |      21 |  1518107 |  1316845 |    23418    138 |        5 |      318
1162.48/1162.80	c 1162s |      21 |  1520116 |  1318645 |    23418    138 |        5 |      318
1164.57/1164.85	c 1164s |      21 |  1521982 |  1320345 |    23418    139 |        5 |      318
1166.57/1166.86	c 1166s |      21 |  1524431 |  1322545 |    23418    139 |        5 |      318
1168.57/1168.89	c 1168s |      21 |  1526929 |  1324745 |    23418    139 |        5 |      318
1170.67/1170.94	c 1170s |      21 |  1529092 |  1326745 |    23418    139 |        5 |      318
1172.67/1172.98	c 1172s |      21 |  1531270 |  1328645 |    23418    139 |        5 |      318
1174.87/1175.11	c 1174s |      21 |  1533106 |  1330345 |    23418    139 |        5 |      318
1176.87/1177.13	c 1176s |      21 |  1534917 |  1332045 |    23418    140 |        5 |      318
1178.97/1179.24	c 1179s |      21 |  1537465 |  1334345 |    23418    140 |        5 |      318
1180.97/1181.28	c 1181s |      21 |  1539623 |  1336345 |    23418    140 |        5 |      318
1184.96/1185.27	c 1185s |      21 |  1541495 |  1338045 |    23418    140 |        5 |      318
1187.06/1187.38	c 1187s |      21 |  1543571 |  1339945 |    23418    140 |        5 |      318
1189.16/1189.46	c 1189s |      21 |  1545597 |  1341745 |    23418    140 |        5 |      318
1191.26/1191.50	c 1191s |      21 |  1547380 |  1343345 |    23418    141 |        5 |      318
1193.26/1193.59	c 1193s |      21 |  1549827 |  1345545 |    23418    141 |        5 |      318
1195.36/1195.67	c 1195s |      21 |  1552253 |  1347745 |    23418    141 |        5 |      318
1197.46/1197.71	c 1197s |      21 |  1554181 |  1349545 |    23418    141 |        5 |      318
1199.56/1199.83	c 1199s |      21 |  1556398 |  1351545 |    23418    141 |        5 |      318
1201.66/1201.94	c 1201s |      21 |  1558517 |  1353445 |    23418    141 |        5 |      318
1203.86/1204.10	c 1203s |      21 |  1559719 |  1354545 |    23418    142 |        5 |      318
1205.85/1206.12	c 1205s |      21 |  1562282 |  1356845 |    23418    142 |        5 |      318
1207.85/1208.17	c 1207s |      21 |  1564707 |  1359045 |    23418    142 |        5 |      318
1209.95/1210.24	c 1210s |      21 |  1567095 |  1361245 |    23418    142 |        5 |      318
1212.06/1212.33	c 1212s |      21 |  1569262 |  1363245 |    23418    142 |        5 |      318
1214.15/1214.43	c 1214s |      21 |  1571095 |  1364945 |    23418    142 |        5 |      318
1216.35/1216.68	c 1216s |      21 |  1572786 |  1366545 |    23418    143 |        5 |      318
1218.45/1218.76	c 1218s |      21 |  1574955 |  1368545 |    23418    143 |        5 |      318
1220.45/1220.79	c 1220s |      21 |  1577212 |  1370645 |    23418    143 |        5 |      318
1222.55/1222.86	c 1222s |      21 |  1579210 |  1372545 |    23418    143 |        5 |      318
1226.74/1227.04	c 1226s |      21 |  1579768 |  1373045 |    23418    143 |        5 |      318
1228.84/1229.11	c 1228s |      21 |  1582666 |  1375545 |    23418    143 |        5 |      318
1230.84/1231.16	c 1230s |      21 |  1585401 |  1377845 |    23418    143 |        5 |      318
1232.85/1233.17	c 1232s |      21 |  1587688 |  1379745 |    23418    144 |        5 |      318
1234.95/1235.20	c 1235s |      21 |  1590723 |  1382345 |    23418    144 |        5 |      318
1236.95/1237.22	c 1237s |      21 |  1593443 |  1384745 |    23418    144 |        5 |      318
1239.05/1239.33	c 1239s |      21 |  1595891 |  1386945 |    23418    144 |        5 |      318
1241.05/1241.38	c 1241s |      21 |  1598341 |  1389045 |    23418    144 |        5 |      318
1243.15/1243.42	c 1243s |      21 |  1600339 |  1390845 |    23418    145 |        5 |      318
1245.14/1245.49	c 1245s |      21 |  1603027 |  1393245 |    23418    145 |        5 |      318
1247.25/1247.51	c 1247s |      21 |  1605613 |  1395545 |    23418    145 |        5 |      318
1249.24/1249.53	c 1249s |      21 |  1607984 |  1397645 |    23418    145 |        5 |      318
1251.24/1251.58	c 1251s |      21 |  1610398 |  1399845 |    23418    145 |        5 |      318
1253.24/1253.58	c 1253s |      21 |  1612613 |  1401745 |    23418    145 |        5 |      318
1255.34/1255.61	c 1255s |      21 |  1615015 |  1403845 |    23418    146 |        5 |      318
1257.34/1257.65	c 1257s |      21 |  1617783 |  1406345 |    23418    146 |        5 |      318
1259.34/1259.67	c 1259s |      21 |  1620463 |  1408745 |    23418    146 |        5 |      318
1261.44/1261.74	c 1261s |      21 |  1622628 |  1410745 |    23418    146 |        5 |      318
1264.53/1264.84	c 1264s |      21 |  1624501 |  1412445 |    23418    146 |        5 |      318
1266.63/1266.90	c 1266s |      21 |  1626326 |  1414045 |    23418    147 |        5 |      318
1268.63/1268.93	c 1268s |      21 |  1629786 |  1417045 |    23418    147 |        5 |      318
1270.63/1270.98	c 1270s |      21 |  1632801 |  1419645 |    23418    147 |        5 |      318
1272.73/1273.01	c 1272s |      21 |  1635237 |  1421745 |    23418    147 |        5 |      318
1274.82/1275.10	c 1274s |      21 |  1637498 |  1423745 |    23418    147 |        5 |      318
1276.93/1277.22	c 1277s |      21 |  1639595 |  1425645 |    23418    148 |        5 |      318
1278.92/1279.24	c 1279s |      21 |  1642188 |  1427945 |    23418    148 |        5 |      318
1280.93/1281.28	c 1281s |      21 |  1644963 |  1430445 |    23418    148 |        5 |      318
1283.03/1283.30	c 1283s |      21 |  1647351 |  1432645 |    23418    148 |        5 |      318
1285.12/1285.44	c 1285s |      21 |  1649435 |  1434545 |    23418    148 |        5 |      318
1287.22/1287.56	c 1287s |      21 |  1651821 |  1436645 |    23418    148 |        5 |      318
1289.32/1289.61	c 1289s |      21 |  1653683 |  1438345 |    23418    149 |        5 |      318
1291.32/1291.62	c 1291s |      21 |  1656337 |  1440745 |    23418    149 |        5 |      318
1293.32/1293.70	c 1293s |      21 |  1659167 |  1443345 |    23418    149 |        5 |      318
1295.42/1295.75	c 1295s |      21 |  1661773 |  1445645 |    23418    149 |        5 |      318
1297.42/1297.78	c 1297s |      21 |  1663986 |  1447645 |    23418    149 |        5 |      318
1299.62/1299.93	c 1299s |      21 |  1665802 |  1449345 |    23418    150 |        5 |      318
1301.62/1301.96	c 1301s |      21 |  1667860 |  1451245 |    23418    150 |        5 |      318
1304.11/1304.43	c 1304s |      21 |  1669888 |  1453145 |    23418    150 |        5 |      318
1306.11/1306.45	c 1306s |      21 |  1672106 |  1455145 |    23418    150 |        5 |      318
1308.11/1308.45	c 1308s |      21 |  1674090 |  1456945 |    23418    150 |        5 |      318
1310.21/1310.50	c 1310s |      21 |  1675920 |  1458645 |    23418    150 |        5 |      318
1312.21/1312.56	c 1312s |      21 |  1677803 |  1460345 |    23418    150 |        5 |      318
1314.41/1314.76	c 1314s |      21 |  1679221 |  1461645 |    23418    151 |        5 |      318
1316.51/1316.81	c 1316s |      21 |  1681863 |  1463945 |    23418    151 |        5 |      318
1318.50/1318.82	c 1318s |      21 |  1684324 |  1466145 |    23418    151 |        5 |      318
1321.00/1321.35	c 1321s |      21 |  1684779 |  1466545 |    23418    151 |        5 |      318
1323.11/1323.42	c 1323s |      21 |  1687109 |  1468445 |    23418    151 |        5 |      318
1325.09/1325.44	c 1325s |      21 |  1689661 |  1470645 |    23418    151 |        5 |      318
1327.09/1327.46	c 1327s |      21 |  1691774 |  1472545 |    23418    151 |        5 |      318
1329.19/1329.51	c 1329s |      21 |  1694115 |  1474545 |    23418    152 |        5 |      318
1331.20/1331.54	c 1331s |      21 |  1697497 |  1477345 |    23418    152 |        5 |      318
1333.20/1333.57	c 1333s |      21 |  1700537 |  1479845 |    23418    152 |        5 |      318
1335.21/1335.59	c 1335s |      21 |  1703104 |  1482045 |    23418    152 |        5 |      318
1337.30/1337.66	c 1337s |      21 |  1705607 |  1484145 |    23418    152 |        5 |      318
1339.30/1339.70	c 1339s |      21 |  1708454 |  1486645 |    23418    153 |        5 |      318
1341.40/1341.75	c 1341s |      21 |  1711759 |  1489545 |    23418    153 |        5 |      318
1343.40/1343.76	c 1343s |      21 |  1714586 |  1491945 |    25760    153 |        5 |      318
1345.50/1345.82	c 1345s |      21 |  1717389 |  1494345 |    25760    153 |        5 |      318
1347.50/1347.85	c 1347s |      21 |  1719911 |  1496545 |    25760    153 |        5 |      318
1349.50/1349.86	c 1349s |      21 |  1722172 |  1498545 |    25760    153 |        5 |      318
1351.49/1351.86	c 1351s |      22 |  1724445 |  1500622 |    25760    154 |        5 |      318
1353.49/1353.87	c 1353s |      22 |  1726747 |  1502622 |    25760    154 |        5 |      318
1358.29/1358.67	c 1358s |      22 |  1728875 |  1504522 |    25760    154 |        5 |      318
1360.39/1360.73	c 1360s |      22 |  1730344 |  1505722 |    25760    154 |        5 |      318
1362.38/1362.80	c 1362s |      22 |  1733040 |  1507922 |    25760    154 |        5 |      318
1364.48/1364.87	c 1364s |      22 |  1735988 |  1510322 |    25760    154 |        5 |      318
1366.58/1366.93	c 1366s |      22 |  1737951 |  1512022 |    25760    155 |        5 |      318
1368.58/1368.98	c 1368s |      22 |  1740778 |  1514522 |    25760    155 |        5 |      318
1370.68/1371.03	c 1370s |      22 |  1743656 |  1516922 |    25760    155 |        5 |      318
1372.68/1373.06	c 1372s |      22 |  1745544 |  1518522 |    25760    155 |        5 |      318
1374.68/1375.08	c 1374s |      22 |  1748200 |  1520822 |    25760    155 |        5 |      318
1376.68/1377.08	c 1376s |      22 |  1750597 |  1522922 |    25760    155 |        5 |      318
1378.78/1379.17	c 1378s |      22 |  1752965 |  1525022 |    25760    155 |        5 |      318
1380.88/1381.20	c 1381s |      22 |  1755699 |  1527322 |    25760    156 |        5 |      318
1382.87/1383.25	c 1383s |      22 |  1758622 |  1529822 |    25760    156 |        5 |      318
1384.97/1385.31	c 1385s |      22 |  1761392 |  1532322 |    25760    156 |        5 |      318
1386.97/1387.35	c 1387s |      22 |  1763767 |  1534522 |    25760    156 |        5 |      318
1389.07/1389.43	c 1389s |      22 |  1766117 |  1536622 |    25760    156 |        5 |      318
1391.07/1391.49	c 1391s |      22 |  1768054 |  1538322 |    25760    157 |        5 |      318
1393.17/1393.51	c 1393s |      22 |  1771027 |  1540922 |    25760    157 |        5 |      318
1395.36/1395.73	c 1395s |      22 |  1772374 |  1542122 |    25760    157 |        5 |      318
1397.37/1397.78	c 1397s |      22 |  1774446 |  1543822 |    25760    157 |        5 |      318
1399.47/1399.84	c 1399s |      22 |  1777351 |  1546322 |    25760    157 |        5 |      318
1401.57/1401.92	c 1401s |      22 |  1780116 |  1548722 |    25760    157 |        5 |      318
1403.57/1403.92	c 1403s |      22 |  1782383 |  1550722 |    25760    157 |        5 |      318
1405.58/1405.97	c 1405s |      22 |  1784835 |  1552822 |    25760    158 |        5 |      318
1407.57/1407.97	c 1407s |      22 |  1787683 |  1555422 |    25760    158 |        5 |      318
1409.67/1410.00	c 1409s |      22 |  1790204 |  1557622 |    25760    158 |        5 |      318
1411.67/1412.03	c 1411s |      22 |  1792934 |  1560022 |    25760    158 |        5 |      318
1413.67/1414.07	c 1413s |      22 |  1795243 |  1562122 |    25760    158 |        5 |      318
1415.96/1416.38	c 1416s |      22 |  1797512 |  1564122 |    25760    159 |        5 |      318
1418.06/1418.46	c 1418s |      22 |  1800227 |  1566522 |    25760    159 |        5 |      318
1420.06/1420.48	c 1420s |      22 |  1802907 |  1568922 |    25760    159 |        5 |      318
1422.16/1422.51	c 1422s |      22 |  1805475 |  1571222 |    25760    159 |        5 |      318
1424.16/1424.53	c 1424s |      22 |  1807853 |  1573322 |    25760    159 |        5 |      318
1426.26/1426.61	c 1426s |      22 |  1810018 |  1575322 |    25760    159 |        5 |      318
1428.36/1428.71	c 1428s |      22 |  1811974 |  1577122 |    25760    160 |        5 |      318
1432.45/1432.84	c 1432s |      22 |  1813760 |  1578722 |    25760    160 |        5 |      318
1434.46/1434.85	c 1434s |      22 |  1816774 |  1581322 |    25760    160 |        5 |      318
1436.56/1436.90	c 1436s |      22 |  1819737 |  1583822 |    25760    160 |        5 |      318
1438.56/1438.95	c 1438s |      22 |  1822164 |  1586022 |    25760    160 |        5 |      318
1440.56/1441.00	c 1440s |      22 |  1824564 |  1588122 |    25760    160 |        5 |      318
1442.76/1443.14	c 1442s |      22 |  1826804 |  1590122 |    25760    161 |        5 |      318
1444.85/1445.26	c 1445s |      22 |  1829890 |  1592922 |    25760    161 |        5 |      318
1446.95/1447.31	c 1447s |      22 |  1832569 |  1595322 |    25760    161 |        5 |      318
1448.95/1449.36	c 1449s |      22 |  1834904 |  1597322 |    25760    161 |        5 |      318
1451.05/1451.42	c 1451s |      22 |  1837424 |  1599522 |    25760    161 |        5 |      318
1453.05/1453.49	c 1453s |      22 |  1839620 |  1601522 |    25760    161 |        5 |      318
1455.34/1455.79	c 1455s |      22 |  1841605 |  1603222 |    25760    162 |        5 |      318
1457.44/1457.82	c 1457s |      22 |  1844497 |  1605822 |    25760    162 |        5 |      318
1459.45/1459.83	c 1459s |      22 |  1847265 |  1608322 |    25760    162 |        5 |      318
1461.44/1461.84	c 1461s |      22 |  1849668 |  1610522 |    25760    162 |        5 |      318
1463.44/1463.89	c 1463s |      22 |  1851826 |  1612522 |    25760    162 |        5 |      318
1465.74/1466.13	c 1465s |      22 |  1852395 |  1613022 |    25760    162 |        5 |      318
1469.74/1470.12	c 1469s |      22 |  1852530 |  1613122 |    25760    162 |        5 |      318
1471.74/1472.13	c 1471s |      22 |  1855618 |  1615622 |    25760    162 |        5 |      318
1473.74/1474.17	c 1473s |      22 |  1857119 |  1616822 |    25760    163 |        5 |      318
1475.73/1476.20	c 1476s |      22 |  1860710 |  1619922 |    25760    163 |        5 |      318
1477.83/1478.20	c 1478s |      22 |  1864134 |  1622822 |    25760    163 |        5 |      318
1479.83/1480.26	c 1480s |      22 |  1867114 |  1625422 |    25760    163 |        5 |      318
1481.93/1482.30	c 1482s |      22 |  1869775 |  1627722 |    25760    163 |        5 |      318
1483.93/1484.33	c 1484s |      22 |  1872118 |  1629722 |    25760    164 |        5 |      318
1485.93/1486.38	c 1486s |      22 |  1875511 |  1632622 |    25760    164 |        5 |      318
1487.93/1488.39	c 1488s |      22 |  1878325 |  1635122 |    25760    164 |        5 |      318
1490.32/1490.76	c 1490s |      22 |  1880175 |  1636822 |    25760    164 |        5 |      318
1492.43/1492.82	c 1492s |      22 |  1882730 |  1639022 |    25760    164 |        5 |      318
1494.42/1494.90	c 1494s |      22 |  1885082 |  1641122 |    25760    164 |        5 |      318
1496.52/1496.92	c 1496s |      22 |  1886971 |  1642822 |    25760    165 |        5 |      318
1498.52/1498.99	c 1498s |      22 |  1889804 |  1645422 |    25760    165 |        5 |      318
1500.62/1501.06	c 1500s |      22 |  1892342 |  1647622 |    25760    165 |        5 |      318
1502.62/1503.07	c 1502s |      22 |  1894563 |  1649622 |    25760    165 |        5 |      318
1504.72/1505.13	c 1504s |      22 |  1896716 |  1651522 |    25760    165 |        5 |      318
1506.72/1507.17	c 1506s |      22 |  1898920 |  1653422 |    25760    165 |        5 |      318
1508.82/1509.29	c 1509s |      22 |  1900821 |  1655122 |    25760    166 |        5 |      318
1510.92/1511.31	c 1511s |      22 |  1902825 |  1656922 |    25760    166 |        5 |      318
1512.92/1513.33	c 1513s |      22 |  1905497 |  1659322 |    25760    166 |        5 |      318
1514.91/1515.40	c 1515s |      22 |  1908045 |  1661622 |    25760    166 |        5 |      318
1517.01/1517.45	c 1517s |      22 |  1910034 |  1663422 |    25760    166 |        5 |      318
1519.11/1519.50	c 1519s |      22 |  1912373 |  1665522 |    25760    166 |        5 |      318
1521.11/1521.56	c 1521s |      22 |  1914333 |  1667322 |    25760    166 |        5 |      318
1523.11/1523.59	c 1523s |      22 |  1916299 |  1669122 |    25760    167 |        5 |      318
1525.31/1525.74	c 1525s |      22 |  1918892 |  1671422 |    25760    167 |        5 |      318
1527.30/1527.76	c 1527s |      22 |  1921512 |  1673722 |    25760    167 |        5 |      318
1529.40/1529.84	c 1529s |      22 |  1923909 |  1675922 |    25760    167 |        5 |      318
1531.40/1531.85	c 1531s |      22 |  1926003 |  1677822 |    25760    167 |        5 |      318
1533.50/1533.91	c 1533s |      22 |  1927869 |  1679522 |    25760    167 |        5 |      318
1535.80/1536.23	c 1536s |      22 |  1929733 |  1681222 |    25760    168 |        5 |      318
1537.81/1538.29	c 1538s |      22 |  1932036 |  1683322 |    25760    168 |        5 |      318
1542.10/1542.51	c 1542s |      22 |  1933302 |  1684422 |    25760    168 |        5 |      318
1544.11/1544.57	c 1544s |      22 |  1936155 |  1686922 |    25760    168 |        5 |      318
1546.10/1546.60	c 1546s |      22 |  1938684 |  1689122 |    25760    168 |        5 |      318
1548.20/1548.65	c 1548s |      22 |  1941068 |  1691222 |    25760    168 |        5 |      318
1550.20/1550.66	c 1550s |      22 |  1943157 |  1693122 |    25760    168 |        5 |      318
1552.30/1552.71	c 1552s |      22 |  1945419 |  1695022 |    25760    169 |        5 |      318
1554.30/1554.77	c 1554s |      22 |  1947992 |  1697322 |    25760    169 |        5 |      318
1556.30/1556.79	c 1556s |      22 |  1950319 |  1699422 |    25760    169 |        5 |      318
1558.40/1558.85	c 1558s |      22 |  1952736 |  1701622 |    25760    169 |        5 |      318
1560.39/1560.89	c 1560s |      22 |  1954938 |  1703622 |    25760    169 |        5 |      318
1562.49/1562.91	c 1562s |      22 |  1957153 |  1705622 |    25760    169 |        5 |      318
1565.29/1565.72	c 1565s |      22 |  1958986 |  1707222 |    25760    170 |        5 |      318
1567.29/1567.74	c 1567s |      22 |  1961912 |  1709722 |    25760    170 |        5 |      318
1569.30/1569.75	c 1569s |      22 |  1964751 |  1712122 |    25760    170 |        5 |      318
1571.39/1571.83	c 1571s |      22 |  1967509 |  1714522 |    25760    170 |        5 |      318
1573.49/1573.91	c 1573s |      22 |  1969975 |  1716722 |    25760    170 |        5 |      318
1575.49/1575.93	c 1575s |      22 |  1972264 |  1718722 |    25760    170 |        5 |      318
1577.49/1577.99	c 1577s |      22 |  1974386 |  1720622 |    25760    171 |        5 |      318
1579.69/1580.19	c 1580s |      22 |  1974613 |  1720822 |    25760    171 |        5 |      318
1581.79/1582.22	c 1582s |      22 |  1977370 |  1723222 |    25760    171 |        5 |      318
1583.78/1584.23	c 1584s |      22 |  1980185 |  1725722 |    25760    171 |        5 |      318
1585.79/1586.24	c 1586s |      22 |  1982780 |  1728022 |    25760    171 |        5 |      318
1587.88/1588.32	c 1588s |      22 |  1985237 |  1730222 |    25760    171 |        5 |      318
1589.88/1590.35	c 1590s |      22 |  1987080 |  1731922 |    25760    171 |        5 |      318
1591.98/1592.45	c 1592s |      22 |  1988698 |  1733422 |    25760    172 |        5 |      318
1593.99/1594.47	c 1594s |      22 |  1991130 |  1735622 |    25760    172 |        5 |      318
1596.09/1596.50	c 1596s |      22 |  1993916 |  1738122 |    25760    172 |        5 |      318
1598.09/1598.56	c 1598s |      22 |  1996599 |  1740522 |    25760    172 |        5 |      318
1600.19/1600.61	c 1600s |      22 |  1998066 |  1741822 |    25760    172 |        5 |      318
1602.18/1602.70	c 1602s |      22 |  2000170 |  1743722 |    25760    172 |        5 |      318
1604.28/1604.72	c 1604s |      22 |  2002214 |  1745522 |    25760    172 |        5 |      318
1606.28/1606.79	c 1606s |      22 |  2004040 |  1747222 |    25760    173 |        5 |      318
1608.38/1608.85	c 1608s |      22 |  2006591 |  1749522 |    25760    173 |        5 |      318
1610.48/1610.93	c 1610s |      22 |  2009195 |  1751922 |    25760    173 |        5 |      318
1612.58/1613.00	c 1612s |      22 |  2011499 |  1754022 |    25760    173 |        5 |      318
1614.68/1615.10	c 1614s |      22 |  2013704 |  1756022 |    25760    173 |        5 |      318
1616.59/1617.10	c 1616s |      22 |  2015677 |  1757822 |    25760    173 |        5 |      318
1618.79/1619.23	c 1619s |      22 |  2017417 |  1759422 |    25760    174 |        5 |      318
1620.78/1621.25	c 1621s |      22 |  2019886 |  1761722 |    25760    174 |        5 |      318
1622.88/1623.38	c 1623s |      22 |  2022191 |  1763822 |    25760    174 |        5 |      318
1624.98/1625.42	c 1625s |      22 |  2024350 |  1765822 |    25760    174 |        5 |      318
1627.08/1627.52	c 1627s |      22 |  2026507 |  1767822 |    25760    174 |        5 |      318
1630.98/1631.44	c 1631s |      22 |  2028436 |  1769622 |    25760    174 |        5 |      318
1632.97/1633.49	c 1633s |      22 |  2030715 |  1771622 |    25760    174 |        5 |      318
1635.08/1635.52	c 1635s |      22 |  2032255 |  1773022 |    25760    175 |        5 |      318
1637.08/1637.53	c 1637s |      22 |  2034716 |  1775222 |    25760    175 |        5 |      318
1639.08/1639.59	c 1639s |      22 |  2037623 |  1777722 |    25760    175 |        5 |      318
1641.18/1641.67	c 1641s |      22 |  2040337 |  1780122 |    25760    175 |        5 |      318
1643.28/1643.70	c 1643s |      22 |  2042756 |  1782222 |    25760    175 |        5 |      318
1645.28/1645.79	c 1645s |      22 |  2045119 |  1784322 |    25760    175 |        5 |      318
1647.27/1647.80	c 1647s |      22 |  2046634 |  1785722 |    25760    176 |        5 |      318
1649.37/1649.88	c 1649s |      22 |  2049368 |  1788222 |    25760    176 |        5 |      318
1651.47/1651.94	c 1651s |      22 |  2051270 |  1789922 |    25760    176 |        5 |      318
1653.47/1653.97	c 1653s |      22 |  2053684 |  1792122 |    25760    176 |        5 |      318
1655.57/1656.05	c 1655s |      22 |  2056234 |  1794322 |    25760    176 |        5 |      318
1657.67/1658.11	c 1657s |      22 |  2058343 |  1796222 |    25760    176 |        5 |      318
1659.67/1660.11	c 1659s |      22 |  2060389 |  1798022 |    25760    176 |        5 |      318
1661.67/1662.16	c 1661s |      22 |  2062454 |  1799822 |    25760    177 |        5 |      318
1663.67/1664.19	c 1664s |      22 |  2065593 |  1802622 |    25760    177 |        5 |      318
1668.38/1668.87	c 1668s |      22 |  2065933 |  1802922 |    25760    177 |        5 |      318
1670.48/1670.94	c 1670s |      22 |  2068334 |  1805022 |    25760    177 |        5 |      318
1672.47/1672.96	c 1672s |      22 |  2071532 |  1807822 |    25760    177 |        5 |      318
1674.57/1675.03	c 1674s |      22 |  2073741 |  1809822 |    25760    177 |        5 |      318
1676.57/1677.07	c 1676s |      22 |  2075631 |  1811522 |    25760    178 |        5 |      318
1678.57/1679.08	c 1678s |      22 |  2078160 |  1813822 |    25760    178 |        5 |      318
1680.67/1681.11	c 1680s |      22 |  2080519 |  1815922 |    25760    178 |        5 |      318
1682.67/1683.12	c 1682s |      22 |  2083014 |  1818122 |    25760    178 |        5 |      318
1684.67/1685.17	c 1684s |      22 |  2085467 |  1820222 |    25760    178 |        5 |      318
1686.77/1687.24	c 1687s |      22 |  2087709 |  1822122 |    25760    178 |        5 |      318
1688.87/1689.34	c 1689s |      22 |  2090110 |  1824122 |    25760    178 |        5 |      318
1690.97/1691.43	c 1691s |      22 |  2092561 |  1826222 |    25760    179 |        5 |      318
1693.67/1694.13	c 1693s |      22 |  2094762 |  1828222 |    25760    179 |        5 |      318
1695.87/1696.38	c 1696s |      22 |  2097249 |  1830322 |    25760    179 |        5 |      318
1697.97/1698.42	c 1698s |      22 |  2099952 |  1832622 |    25760    179 |        5 |      318
1699.96/1700.48	c 1700s |      22 |  2102173 |  1834622 |    25760    179 |        5 |      318
1701.96/1702.49	c 1702s |      22 |  2104261 |  1836522 |    25760    179 |        5 |      318
1704.06/1704.53	c 1704s |      22 |  2106473 |  1838522 |    25760    180 |        5 |      318
1706.06/1706.53	c 1706s |      22 |  2108432 |  1840322 |    25760    180 |        5 |      318
1708.06/1708.57	c 1708s |      22 |  2111012 |  1842622 |    25760    180 |        5 |      318
1710.07/1710.60	c 1710s |      22 |  2113497 |  1844822 |    25760    180 |        5 |      318
1712.16/1712.64	c 1712s |      22 |  2115544 |  1846722 |    25760    180 |        5 |      318
1714.26/1714.71	c 1714s |      22 |  2117497 |  1848522 |    25760    180 |        5 |      318
1716.46/1716.99	c 1716s |      22 |  2119569 |  1850422 |    25760    181 |        5 |      318
1718.66/1719.10	c 1718s |      22 |  2121620 |  1852322 |    25760    181 |        5 |      318
1720.66/1721.14	c 1720s |      22 |  2124479 |  1854822 |    25760    181 |        5 |      318
1722.66/1723.19	c 1723s |      22 |  2126666 |  1856822 |    25760    181 |        5 |      318
1724.76/1725.23	c 1725s |      22 |  2129082 |  1858922 |    25760    181 |        5 |      318
1726.76/1727.26	c 1727s |      22 |  2131104 |  1860722 |    25760    181 |        5 |      318
1729.06/1729.56	c 1729s |      22 |  2132104 |  1861622 |    25760    181 |        5 |      318
1731.36/1731.82	c 1731s |      22 |  2132338 |  1861822 |    25760    181 |        5 |      318
1733.66/1734.14	c 1733s |      22 |  2134385 |  1863522 |    25760    182 |        5 |      318
1735.66/1736.17	c 1735s |      22 |  2137699 |  1866322 |    25760    182 |        5 |      318
1737.75/1738.23	c 1738s |      22 |  2140983 |  1869222 |    25760    182 |        5 |      318
1739.76/1740.26	c 1740s |      22 |  2143434 |  1871422 |    25760    182 |        5 |      318
1741.85/1742.33	c 1742s |      22 |  2145915 |  1873622 |    25760    182 |        5 |      318
1743.95/1744.41	c 1744s |      22 |  2148150 |  1875622 |    25760    182 |        5 |      318
1745.95/1746.48	c 1746s |      22 |  2150595 |  1877822 |    25760    183 |        5 |      318
1748.05/1748.52	c 1748s |      22 |  2153094 |  1880022 |    25760    183 |        5 |      318
1750.05/1750.58	c 1750s |      22 |  2156011 |  1882522 |    25760    183 |        5 |      318
1752.15/1752.68	c 1752s |      22 |  2158161 |  1884422 |    25760    183 |        5 |      318
1754.26/1754.77	c 1754s |      22 |  2160337 |  1886422 |    25760    183 |        5 |      318
1756.37/1756.87	c 1756s |      22 |  2162299 |  1888222 |    25760    183 |        5 |      318
1758.46/1758.90	c 1758s |      22 |  2164210 |  1889922 |    25760    184 |        5 |      318
1760.46/1760.99	c 1760s |      22 |  2166940 |  1892422 |    25760    184 |        5 |      318
1762.56/1763.08	c 1762s |      22 |  2169365 |  1894622 |    25760    184 |        5 |      318
1764.66/1765.13	c 1764s |      22 |  2171900 |  1896822 |    25760    184 |        5 |      318
1766.66/1767.16	c 1766s |      22 |  2174239 |  1898922 |    25760    184 |        5 |      318
1768.76/1769.25	c 1769s |      22 |  2176314 |  1900822 |    25760    184 |        5 |      318
1771.15/1771.61	c 1771s |      22 |  2178164 |  1902422 |    25760    185 |        5 |      318
1773.15/1773.65	c 1773s |      22 |  2180348 |  1904322 |    25760    185 |        5 |      318
1775.25/1775.71	c 1775s |      22 |  2183128 |  1906722 |    25760    185 |        5 |      318
1777.26/1777.72	c 1777s |      22 |  2185679 |  1909022 |    25760    185 |        5 |      318
1779.25/1779.72	c 1779s |      22 |  2187992 |  1911122 |    25760    185 |        5 |      318
1782.05/1782.52	c 1782s |      22 |  2189456 |  1912422 |    25760    185 |        5 |      318
1784.05/1784.53	c 1784s |      22 |  2191491 |  1914222 |    25760    185 |        5 |      318
1786.06/1786.57	c 1786s |      22 |  2193496 |  1915922 |    25760    186 |        5 |      318
1788.15/1788.62	c 1788s |      22 |  2196125 |  1918322 |    25760    186 |        5 |      318
1790.15/1790.65	c 1790s |      22 |  2198244 |  1920222 |    25760    186 |        5 |      318
1792.25/1792.71	c 1792s |      22 |  2201119 |  1922722 |    25760    186 |        5 |      318
1794.35/1794.82	c 1794s |      22 |  2203517 |  1924922 |    25760    186 |        5 |      318
1796.45/1796.93	c 1796s |      22 |  2205795 |  1927022 |    25760    186 |        5 |      318
1798.45/1798.94	c 1798s |      22 |  2207444 |  1928522 |    25760    187 |        5 |      318

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

pid=1521
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.20 2.19 2.20 4/180 1524
/proc/meminfo: memFree=29100928/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=542140 CPUtime=0 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 1992 0 0 0 0 0 0 0 20 0 4 0 13496814 555151360 2353 33554432000 4194304 16246674 140733755557568 140733755556992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 136303 2363 441 2943 0 133197 0
[pid=1524/tid=1525] ppid=1521 vsize=744004 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 761860096 3140 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=748100 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 766054400 3159 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=753220 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13496815 771297280 3176 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.20 2.19 2.20 4/180 1524
/proc/meminfo: memFree=29100928/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 26246 0 0 0 5 4 0 0 20 0 4 0 13496814 1249447936 26545 33554432000 4194304 16246674 140733755557568 140733755556880 13956064 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 305041 26555 836 2943 0 301935 0
[pid=1524/tid=1525] ppid=1521 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1249447936 26561 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1249447936 26568 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13496815 1249447936 26575 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200479 s]
/proc/loadavg: 2.20 2.19 2.20 4/180 1524
/proc/meminfo: memFree=29100928/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 44365 0 0 0 13 6 0 0 20 0 4 0 13496814 1249447936 44664 33554432000 4194304 16246674 140733755557568 140733755556880 6842729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 305041 44678 878 2943 0 301935 0
[pid=1524/tid=1525] ppid=1521 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1249447936 44686 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1249447936 44694 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13496815 1249447936 44700 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.30044 s]
/proc/loadavg: 2.20 2.19 2.20 4/180 1524
/proc/meminfo: memFree=29100928/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 66215 0 0 0 20 9 0 0 20 0 4 0 13496814 1249447936 66515 33554432000 4194304 16246674 140733755557568 140733755556880 6076251 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 305041 66523 878 2943 0 301935 0
[pid=1524/tid=1525] ppid=1521 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1249447936 66536 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1249447936 66543 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13496815 1249447936 66551 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700412 s]
/proc/loadavg: 2.20 2.19 2.20 4/180 1524
/proc/meminfo: memFree=29100928/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 148307 0 0 0 48 21 0 0 20 0 4 0 13496814 1249447936 148607 33554432000 4194304 16246674 140733755557568 140733755539456 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 305041 148619 878 2943 0 301935 0
[pid=1524/tid=1525] ppid=1521 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1249447936 148628 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1249447936 148637 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13496815 1249447936 148644 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50042 s]
/proc/loadavg: 2.20 2.19 2.20 3/184 1528
/proc/meminfo: memFree=28187916/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1300036 CPUtime=1.49 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 266077 0 0 0 113 36 0 0 20 0 4 0 13496814 1331236864 266376 33554432000 4194304 16246674 140733755557568 140733755556880 5673345 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 325009 266376 881 2943 0 321903 0
[pid=1524/tid=1525] ppid=1521 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1331236864 266376 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1331236864 266376 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1331236864 266376 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1300036

[startup+3.10042 s]
/proc/loadavg: 2.20 2.19 2.20 3/184 1528
/proc/meminfo: memFree=28035908/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 267815 0 0 0 273 36 0 0 20 0 4 0 13496814 1338576896 268114 33554432000 4194304 16246674 140733755557568 140733755539456 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 326801 268114 881 2943 0 323695 0
[pid=1524/tid=1525] ppid=1521 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1338576896 268114 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1338576896 268114 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1338576896 268114 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.27 2.20 2.20 3/184 1528
/proc/meminfo: memFree=28026160/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 268756 0 0 0 593 36 0 0 20 0 4 0 13496814 1341722624 269055 33554432000 4194304 16246674 140733755557568 140733755539456 13927398 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 327569 269055 887 2943 0 324463 0
[pid=1524/tid=1525] ppid=1521 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1341722624 269055 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1341722624 269055 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1341722624 269055 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.25 2.20 2.20 3/184 1528
/proc/meminfo: memFree=28019000/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1317444 CPUtime=12.69 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 270319 0 0 0 1232 37 0 0 20 0 4 0 13496814 1349062656 270618 33554432000 4194304 16246674 140733755557568 140733755540568 5823258 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 329361 270618 887 2943 0 326255 0
[pid=1524/tid=1525] ppid=1521 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1349062656 270618 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1349062656 270618 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1349062656 270618 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1317444

[startup+25.5005 s]
/proc/loadavg: 2.19 2.19 2.19 3/183 1528
/proc/meminfo: memFree=28014436/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1321540 CPUtime=25.49 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 271572 0 0 0 2512 37 0 0 20 0 4 0 13496814 1353256960 271871 33554432000 4194304 16246674 140733755557568 140733755540568 5823086 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 330385 271871 887 2943 0 327279 0
[pid=1524/tid=1525] ppid=1521 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1353256960 271871 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1353256960 271871 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1353256960 271871 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1321540

[startup+51.1005 s]
/proc/loadavg: 2.27 2.20 2.20 3/183 1528
/proc/meminfo: memFree=28002168/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1333828 CPUtime=51.09 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 274644 0 0 0 5071 38 0 0 20 0 4 0 13496814 1365839872 274943 33554432000 4194304 16246674 140733755557568 140733755539456 5840108 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 333457 274943 887 2943 0 330351 0
[pid=1524/tid=1525] ppid=1521 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1365839872 274943 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1365839872 274943 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1365839872 274943 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1333828

[startup+102.301 s]
/proc/loadavg: 2.27 2.21 2.20 3/183 1529
/proc/meminfo: memFree=27982052/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1348164 CPUtime=102.28 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 278229 0 0 0 10189 39 0 0 20 0 4 0 13496814 1380519936 278528 33554432000 4194304 16246674 140733755557568 140733755539456 5823131 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 337041 278528 888 2943 0 333935 0
[pid=1524/tid=1525] ppid=1521 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1380519936 278528 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1380519936 278528 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1380519936 278528 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1348164


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

/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1385028

[startup+1362.3 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 1727
/proc/meminfo: memFree=27947728/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1385028 CPUtime=1361.98 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 287629 0 0 0 136139 59 0 0 20 0 4 0 13496814 1418268672 287748 33554432000 4194304 16246674 140733755557568 140733755539456 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 346257 287748 889 2943 0 343151 0
[pid=1524/tid=1525] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1385028

[startup+1422.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 1728
/proc/meminfo: memFree=27947624/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1385028 CPUtime=1421.97 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 287660 0 0 0 142137 60 0 0 20 0 4 0 13496814 1418268672 287748 33554432000 4194304 16246674 140733755557568 140733755539456 5829939 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 346257 287748 889 2943 0 343151 0
[pid=1524/tid=1525] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1385028

[startup+1482.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/183 1730
/proc/meminfo: memFree=27947292/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1385028 CPUtime=1481.93 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 287695 0 0 0 148131 62 0 0 20 0 4 0 13496814 1418268672 287748 33554432000 4194304 16246674 140733755557568 140733755539456 5822818 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 346257 287748 889 2943 0 343151 0
[pid=1524/tid=1525] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1385028

[startup+1542.31 s]
/proc/loadavg: 2.25 2.21 2.18 3/183 1731
/proc/meminfo: memFree=27947184/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1385028 CPUtime=1541.91 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 287732 0 0 0 154128 63 0 0 20 0 4 0 13496814 1418268672 287748 33554432000 4194304 16246674 140733755557568 140733755556664 4220480 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 346257 287748 889 2943 0 343151 0
[pid=1524/tid=1525] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1385028

[startup+1602.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 1732
/proc/meminfo: memFree=27946720/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1385028 CPUtime=1601.88 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 287756 0 0 0 160124 64 0 0 20 0 4 0 13496814 1418268672 287748 33554432000 4194304 16246674 140733755557568 140733755539456 5677492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 346257 287748 889 2943 0 343151 0
[pid=1524/tid=1525] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1385028

[startup+1662.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 1733
/proc/meminfo: memFree=27946952/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1385028 CPUtime=1661.87 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 287765 0 0 0 166122 65 0 0 20 0 4 0 13496814 1418268672 287748 33554432000 4194304 16246674 140733755557568 140733755539456 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 346257 287748 889 2943 0 343151 0
[pid=1524/tid=1525] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1385028

[startup+1722.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/184 1737
/proc/meminfo: memFree=27930796/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1385028 CPUtime=1721.86 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 287767 0 0 0 172120 66 0 0 20 0 4 0 13496814 1418268672 287748 33554432000 4194304 16246674 140733755557568 140733755539456 5823234 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 346257 287748 889 2943 0 343151 0
[pid=1524/tid=1525] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1385028

[startup+1782.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 1739
/proc/meminfo: memFree=27930832/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1385028 CPUtime=1781.85 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 287767 0 0 0 178117 68 0 0 20 0 4 0 13496814 1418268672 287748 33554432000 4194304 16246674 140733755557568 140733755556664 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 346257 287748 889 2943 0 343151 0
[pid=1524/tid=1525] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1418268672 287748 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1385028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.22 2.19 3/183 1739
/proc/meminfo: memFree=27925352/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1390148 CPUtime=1800.05 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 289047 0 0 0 179937 68 0 0 20 0 4 0 13496814 1423511552 289028 33554432000 4194304 16246674 140733755557568 140733755539456 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 347537 289028 889 2943 0 344431 0
[pid=1524/tid=1525] ppid=1521 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1423511552 289028 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1423511552 289028 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1423511552 289028 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1390148

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 1524 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.31 2.22 2.19 3/183 1739
/proc/meminfo: memFree=27925352/32872528 swapFree=1541688/1694988
[pid=1524] ppid=1521 vsize=1390148 CPUtime=1800.05 cores=1,3,5,7
/proc/1524/stat : 1524 (toysat) R 1521 1524 31715 0 -1 4202496 289047 0 0 0 179937 68 0 0 20 0 4 0 13496814 1423511552 289028 33554432000 4194304 16246674 140733755557568 140733755539456 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1524/statm: 347537 289028 889 2943 0 344431 0
[pid=1524/tid=1525] ppid=1521 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1525/stat : 1525 (toysat) S 1521 1524 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496815 1423511552 289028 33554432000 4194304 16246674 140733755557568 139766496472304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1524/tid=1526] ppid=1521 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1526/stat : 1526 (toysat) S 1521 1524 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496815 1423511552 289028 33554432000 4194304 16246674 140733755557568 139766485982448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1524/tid=1527] ppid=1521 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/1524/task/1527/stat : 1527 (toysat) S 1521 1524 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13496815 1423511552 289028 33554432000 4194304 16246674 140733755557568 139766475508912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1390148

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.38
CPU system time (s): 0.687895
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 1390148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.687895
maximum resident set size= 1156112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289047
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= 339
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.40033 second user time and 7.12292 second system time

The end

Begin job on node125 at 2016-06-17 00:01:42
IDJOB=4096428
IDBENCH=107613
IDSOLVER=2542
FILE ID=node125/4096428-1466114502
RUNJOBID= node125-1466112694-1101
PBS_JOBID= 19904034
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 1c7739d3bdb1cde8694d50958f1c85c6
RANDOM SEED=334111450

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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.54
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.683
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.683
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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        29100556 kB
Buffers:           61644 kB
Cached:           161512 kB
SwapCached:         2680 kB
Active:          1261724 kB
Inactive:         107392 kB
Active(anon):    1146664 kB
Inactive(anon):     2308 kB
Active(file):     115060 kB
Inactive(file):   105084 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:             16728 kB
Writeback:             0 kB
AnonPages:       2841776 kB
Mapped:            10708 kB
Shmem:                 0 kB
Slab:             572080 kB
SReclaimable:      15396 kB
SUnreclaim:       556684 kB
KernelStack:        1528 kB
PageTables:         9604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2984352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1294336 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= 71712 MiB
End job on node125 at 2016-06-17 00:31:43