0.00/0.00	c 2016-06-15T20:32:24+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-4088777-1466015544.opb"]
0.00/0.01	c use --random-gen="4150517074 1647706250 3282207608 562457859 658029091 2574483339 2128105564 1061751792 1128451153 2960022855 2800844843 2334186945 3964120078 2687413063 1011473801 2966729931 385832788 1001239656 85580313 3650859649 3626030693 330800118 3047229543 2323385417 1830038855 150675068 2291099693 2194914679 4149423998 1132759542 3225334195 1186427420 2821957290 4059136965 4081220164 1320218797 1609765495 725370157 1837447596 1424482051 2572687718 2499747138 3961106719 2120193205 1546423287 2191203394 646524644 97070979 680448842 1449041514 1677674193 1177941707 857108896 2159846067 3857250272 3410327151 3440258951 979069666 3721431318 184579162 26787433 2127246876 1169708145 3904111723 2091352043 2764213640 1512353151 2213597969 3680883910 1689439879 2342033126 2980839545 563062338 2551091916 3602877920 1414561462 241861614 3132668425 3226130922 3476095317 727143243 1513046075 464738119 2642117868 2845874600 4122851183 4128498146 2461471254 2151909371 1007190362 777420018 3530176548 886140223 1673230702 3588755195 591331682 2567202210 572709948 198016132 1104948496 4147817007 2622559448 1039478245 472807509 2128454924 2785413861 1700655838 4181060698 818719724 1352532936 770128483 371933520 1600678018 2379690826 3762578591 557149490 2891606709 374129555 1865227846 2607602468 510383799 2277518607 3764802817 4075400412 1384892744 325791963 430360459 701211917 2211095876 3112738350 2227331767 3021902653 3486568044 4230353150 3575342402 335703212 1367886415 4038296350 2286875426 1445617536 1461598589 1373281858 536413696 3034558347 3587093321 171405034 1956571006 1981824407 641760993 46415763 3021540415 1885025322 365099050 326731806 4134712285 862195892 2644862667 225539795 4227402795 2007001865 1570958266 3566579929 1235346850 3590503983 319081979 2036684878 3611031533 3539220500 1859965352 3172747961 3275434254 4233820522 584033542 1145223661 27941196 863396807 3071944953 3957632151 2482850974 1776696922 1804883398 3790539071 3909725418 1235147212 1239441774 1966671545 4283718164 2705954453 1854898157 58069916 2622726925 2428325761 3379091265 2853380898 2448241640 701294557 1008050125 1749594469 2409032121 4054051074 4107138928 4041385158 1424452605 3898608758 2013514767 472232427 1509512852 3325797390 1006005794 895997678 210347278 4224285458 2032866201 1432510116 3629955246 17445103 2184597876 1475074265 2130240263 2451410838 2094597618 4117742929 2550651282 2576266157 1771537868 321949105 4160284877 2695672571 2732704377 1766213192 910792669 2610870360 3793634898 417640906 3422602838 547454409 3693954785 3726090250 3336862403 2781423117 3653556120 3897162883 4276452847 2905702264 335465460 1464531648 2474316383 1349507253 1781100021 3798845520 2355757254 1759389666 1200890288 2257515720 2038435626 2020465397 255 362436" option to reproduce the execution
0.18/0.20	c #vars 32004
0.18/0.20	c #constraints 8002
0.39/0.44	c Solving starts ...
0.39/0.44	c ============================[ Search Statistics ]============================
0.39/0.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.44	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.44	c =============================================================================
0.49/0.53	c  0.0s |       0 |        0 |        0 |    13335      0 |        0 |        0
0.59/0.61	c  0.1s |       1 |      717 |      100 |    13335      0 |        0 |        0
0.59/0.63	c  0.1s |       2 |      949 |      250 |    14669      0 |        0 |        0
0.59/0.65	c  0.1s |       3 |     1307 |      475 |    16136      0 |        0 |        0
0.59/0.68	c  0.1s |       4 |     2166 |      813 |    17750      0 |        0 |        0
0.69/0.72	c  0.2s |       5 |     3576 |     1320 |    19525      0 |        0 |        0
0.69/0.78	c  0.2s |       6 |     5954 |     2081 |    23626      0 |        0 |        0
0.79/0.88	c  0.3s |       7 |     7744 |     3223 |    25989      0 |        0 |        0
0.99/1.02	c  0.5s |       8 |    10924 |     4936 |    28588      0 |        0 |        0
1.20/1.28	c  0.7s |       9 |    17426 |     7506 |    31447      0 |        0 |        0
1.69/1.76	c  1.2s |      10 |    23698 |    11361 |    34592      0 |        0 |        0
2.30/2.39	c  1.9s |      11 |    34186 |    17144 |    38052      0 |        0 |        0
3.19/3.20	c  2.7s |      12 |    50045 |    25819 |    41858      0 |        0 |        0
3.99/4.08	c  3.5s |      13 |    75547 |    38832 |    46044      0 |        0 |        0
5.89/5.95	c  5.4s |      14 |   113258 |    58352 |    50649      1 |        0 |        0
7.99/8.01	c  7.5s |      14 |   156322 |    79852 |    50649      2 |        0 |        0
8.69/8.76	c  8.2s |      15 |   168332 |    87632 |    55714      2 |        0 |        0
10.69/10.76	c 10.2s |      15 |   214576 |   110932 |    55714      2 |        0 |        0
12.69/12.77	c 12.2s |      15 |   249979 |   129132 |    55714      3 |        0 |        0
12.99/13.03	c 12.5s |      16 |   253537 |   131552 |    61286      3 |        0 |        0
14.99/15.03	c 14.5s |      16 |   282006 |   149252 |    61286      4 |        0 |        0
16.99/17.04	c 16.5s |      16 |   325380 |   171352 |    61286      4 |        0 |        0
18.98/19.04	c 18.5s |      16 |   372300 |   193452 |    61286      5 |        0 |        0
19.38/19.43	c 18.9s |      17 |   379338 |   197432 |    67415      5 |        0 |        0
21.38/21.43	c 20.9s |      17 |   415231 |   217932 |    67415      6 |        0 |        0
23.38/23.44	c 22.9s |      17 |   459029 |   239532 |    67415      6 |        0 |        0
25.39/25.44	c 24.9s |      17 |   493513 |   256232 |    67415      7 |        0 |        0
27.38/27.44	c 26.9s |      17 |   511631 |   268832 |    67415      7 |        0 |        0
29.38/29.44	c 28.9s |      17 |   547643 |   286432 |    67415      8 |        0 |        0
30.28/30.30	c 29.8s |      18 |   569053 |   296252 |    74157      8 |        0 |        0
32.28/32.30	c 31.8s |      18 |   627032 |   319252 |    74157      8 |        0 |        0
34.28/34.31	c 33.8s |      18 |   661733 |   335352 |    74157      9 |        0 |        0
36.29/36.32	c 35.8s |      18 |   715933 |   354852 |    74157      9 |        0 |        0
38.49/38.51	c 38.0s |      18 |   730032 |   364652 |    74157     10 |        0 |        0
40.49/40.51	c 40.0s |      18 |   798187 |   383352 |    74157     10 |        0 |        0
42.48/42.51	c 42.0s |      18 |   838482 |   404252 |    74157     11 |        0 |        0
44.48/44.55	c 44.0s |      18 |   987217 |   418252 |    74157     11 |        0 |        0
46.48/46.55	c 46.0s |      18 |  1118941 |   432752 |    74157     11 |        0 |        0
48.39/48.43	c 47.9s |      19 |  1224375 |   444482 |    81573     12 |        0 |        0
50.38/50.45	c 49.9s |      19 |  1336819 |   456982 |    81573     12 |        0 |        0
52.38/52.46	c 51.9s |      19 |  1522089 |   468782 |    81573     12 |        0 |        0
54.48/54.50	c 54.0s |      19 |  1560912 |   485582 |    81573     13 |        0 |        0
56.48/56.50	c 56.0s |      19 |  1714071 |   501882 |    81573     13 |        0 |        0
58.48/58.53	c 58.0s |      19 |  2006940 |   509682 |    81573     13 |        0 |        0
60.48/60.54	c 60.0s |      19 |  2052299 |   529482 |    81573     14 |        0 |        0
62.48/62.54	c 62.0s |      19 |  2082126 |   547682 |    81573     14 |        0 |        0
64.48/64.57	c 64.0s |      19 |  2224520 |   565882 |    81573     14 |        0 |        0
66.47/66.58	c 66.0s |      19 |  2420901 |   581682 |    81573     15 |        0 |        0
68.47/68.58	c 68.0s |      19 |  2445035 |   595282 |    81573     15 |        0 |        0
70.49/70.58	c 70.0s |      19 |  2681820 |   612482 |    81573     15 |        0 |        0
72.48/72.59	c 72.1s |      19 |  2764092 |   631082 |    81573     16 |        0 |        0
74.58/74.60	c 74.1s |      19 |  2781892 |   643982 |    81573     16 |        0 |        0
76.68/76.73	c 76.2s |      19 |  2937902 |   658682 |    81573     17 |        0 |        0
77.98/78.10	c 77.6s |      20 |  3160790 |   666827 |    89731     17 |        0 |        0
80.08/80.10	c 79.6s |      20 |  3182265 |   680227 |    89731     17 |        0 |        0
82.08/82.11	c 81.6s |      20 |  3201300 |   692527 |    89731     17 |        0 |        0
84.08/84.18	c 83.7s |      20 |  3216480 |   701427 |    89731     18 |        0 |        0
86.08/86.19	c 85.7s |      20 |  3250572 |   719527 |    89731     18 |        0 |        0
88.28/88.39	c 87.9s |      20 |  3383553 |   734827 |    89731     18 |        0 |        0
90.37/90.40	c 89.9s |      20 |  3679934 |   745827 |    89731     18 |        0 |        0
92.27/92.40	c 91.9s |      20 |  3708149 |   762027 |    89731     19 |        0 |        0
94.37/94.40	c 93.9s |      20 |  3806055 |   779827 |    89731     19 |        0 |        0
96.47/96.52	c 96.0s |      20 |  3827333 |   793327 |    89731     20 |        0 |        0
98.47/98.53	c 98.0s |      20 |  3845556 |   805727 |    89731     20 |        0 |        0
100.47/100.53	c 100.0s |      20 |  3868828 |   819527 |    89731     20 |        0 |        0
102.47/102.55	c  102s |      20 |  3889976 |   831827 |    89731     20 |        0 |        0
104.48/104.55	c  104s |      20 |  3909476 |   843827 |    89731     21 |        0 |        0
106.48/106.56	c  106s |      20 |  3931336 |   857427 |    89731     21 |        0 |        0
108.48/108.57	c  108s |      20 |  3969504 |   876227 |    89731     21 |        0 |        0
110.48/110.57	c  110s |      20 |  4138808 |   886927 |    89731     22 |        0 |        0
112.47/112.58	c  112s |      20 |  4190605 |   898627 |    89731     22 |        0 |        0
114.57/114.63	c  114s |      20 |  4291254 |   913627 |    89731     22 |        0 |        0
116.58/116.64	c  116s |      20 |  4584668 |   926227 |    89731     22 |        0 |        0
118.57/118.64	c  118s |      20 |  4677408 |   940727 |    89731     23 |        0 |        0
120.67/120.71	c  120s |      20 |  4851137 |   951327 |    89731     23 |        0 |        0
122.67/122.71	c  122s |      20 |  5002239 |   970227 |    89731     23 |        0 |        0
124.67/124.78	c  124s |      20 |  5078240 |   981327 |    89731     24 |        0 |        0
126.67/126.78	c  126s |      20 |  5275207 |   996027 |    98705     24 |        0 |        0
128.27/128.32	c  127s |      21 |  5291550 |  1000345 |    98705     24 |        0 |        0
130.27/130.33	c  129s |      21 |  5382914 |  1015445 |    98705     24 |        0 |        0
132.27/132.34	c  131s |      21 |  5478514 |  1024045 |    98705     24 |        0 |        0
134.27/134.35	c  133s |      21 |  5511265 |  1034945 |    98705     25 |        0 |        0
136.27/136.36	c  135s |      21 |  5526206 |  1045645 |    98705     25 |        0 |        0
138.27/138.37	c  137s |      21 |  5599490 |  1063645 |    98705     25 |        0 |        0
140.37/140.42	c  139s |      21 |  5692311 |  1079345 |    98705     26 |        0 |        0
142.37/142.42	c  141s |      21 |  5754843 |  1092245 |    98705     26 |        0 |        0
144.37/144.43	c  143s |      21 |  5766527 |  1100245 |    98705     26 |        0 |        0
146.37/146.45	c  145s |      21 |  5776026 |  1107145 |    98705     26 |        0 |        0
148.37/148.46	c  147s |      21 |  5794740 |  1115545 |    98705     26 |        0 |        0
150.37/150.49	c  149s |      21 |  5839661 |  1125545 |    98705     26 |        0 |        0
152.36/152.49	c  151s |      21 |  5979781 |  1140245 |    98705     27 |        0 |        0
154.36/154.49	c  153s |      21 |  6084927 |  1156545 |    98705     27 |        0 |        0
156.46/156.50	c  155s |      21 |  6116333 |  1173945 |    98705     27 |        0 |        0
158.37/158.50	c  157s |      21 |  6140642 |  1188345 |    98705     28 |        0 |        0
160.67/160.76	c  160s |      21 |  6261966 |  1196145 |    98705     28 |        0 |        0
162.66/162.77	c  162s |      21 |  6574993 |  1204145 |    98705     28 |        0 |        0
164.67/164.77	c  164s |      21 |  6674354 |  1225145 |    98705     28 |        0 |        0
166.77/166.83	c  166s |      21 |  6713486 |  1235045 |    98705     29 |        0 |        0
168.77/168.83	c  168s |      21 |  6817407 |  1250845 |    98705     29 |        0 |        0
170.77/170.84	c  170s |      21 |  6990818 |  1263445 |    98705     29 |        0 |        0
172.96/173.03	c  172s |      21 |  7079872 |  1282645 |    98705     30 |        0 |        0
174.97/175.04	c  174s |      21 |  7105384 |  1299045 |    98705     30 |        0 |        0
176.96/177.07	c  176s |      21 |  7163045 |  1312545 |    98705     30 |        0 |        0
178.96/179.08	c  178s |      21 |  7193898 |  1330345 |    98705     30 |        0 |        0
181.06/181.10	c  180s |      21 |  7246082 |  1341045 |    98705     31 |        0 |        0
183.06/183.10	c  182s |      21 |  7282463 |  1362145 |    98705     31 |        0 |        0
185.06/185.13	c  184s |      21 |  7429944 |  1375645 |    98705     31 |        0 |        0
187.07/187.13	c  186s |      21 |  7589080 |  1390045 |    98705     32 |        0 |        0
189.06/189.14	c  188s |      21 |  7715750 |  1404945 |    98705     32 |        0 |        0
191.06/191.14	c  190s |      21 |  7781886 |  1428745 |    98705     32 |        0 |        0
193.06/193.14	c  192s |      21 |  7847494 |  1445145 |    98705     33 |        0 |        0
195.06/195.16	c  194s |      21 |  7995868 |  1457445 |    98705     33 |        0 |        0
197.06/197.16	c  196s |      21 |  8043335 |  1473845 |    98705     33 |        0 |        0
199.06/199.17	c  198s |      21 |  8089483 |  1484545 |    98705     33 |        0 |        0
201.06/201.13	c  200s |      22 |  8163620 |  1500622 |   108576     34 |        0 |        0
203.06/203.13	c  202s |      22 |  8188155 |  1516022 |   108576     34 |        0 |        0
205.05/205.15	c  204s |      22 |  8205446 |  1525422 |   108576     34 |        0 |        0
207.05/207.17	c  206s |      22 |  8213916 |  1531422 |   108576     34 |        0 |        0
209.06/209.18	c  208s |      22 |  8274458 |  1541122 |   108576     34 |        0 |        0
211.26/211.33	c  210s |      22 |  8399651 |  1557522 |   108576     35 |        0 |        0
213.25/213.34	c  212s |      22 |  8541285 |  1569822 |   108576     35 |        0 |        0
215.25/215.34	c  214s |      22 |  8737988 |  1579922 |   108576     35 |        0 |        0
217.25/217.34	c  216s |      22 |  8897748 |  1593122 |   108576     35 |        0 |        0
219.26/219.35	c  218s |      22 |  8948433 |  1606822 |   108576     36 |        0 |        0
221.26/221.35	c  220s |      22 |  9046656 |  1620422 |   108576     36 |        0 |        0
223.27/223.36	c  222s |      22 |  9149345 |  1636922 |   108576     36 |        0 |        0
225.26/225.36	c  224s |      22 |  9169188 |  1651422 |   108576     36 |        0 |        0
227.56/227.60	c  227s |      22 |  9243802 |  1662922 |   108576     37 |        0 |        0
229.56/229.61	c  229s |      22 |  9271883 |  1679222 |   108576     37 |        0 |        0
231.56/231.61	c  231s |      22 |  9318292 |  1696422 |   108576     37 |        0 |        0
233.56/233.63	c  233s |      22 |  9610053 |  1707422 |   108576     37 |        0 |        0
235.56/235.63	c  235s |      22 |  9676966 |  1723922 |   108576     38 |        0 |        0
237.56/237.65	c  237s |      22 |  9708630 |  1741822 |   108576     38 |        0 |        0
239.55/239.65	c  239s |      22 |  9869526 |  1758922 |   108576     38 |        0 |        0
241.55/241.66	c  241s |      22 |  9895304 |  1770522 |   108576     39 |        0 |        0
243.55/243.69	c  243s |      22 | 10052623 |  1786022 |   108576     39 |        0 |        0
245.55/245.69	c  245s |      22 | 10134797 |  1799322 |   108576     39 |        0 |        0
247.65/247.70	c  247s |      22 | 10149020 |  1806322 |   108576     39 |        0 |        0
249.66/249.70	c  249s |      22 | 10169815 |  1818922 |   108576     40 |        0 |        0
251.65/251.79	c  251s |      22 | 10262540 |  1833622 |   108576     40 |        0 |        0
253.75/253.80	c  253s |      22 | 10317697 |  1842522 |   108576     40 |        0 |        0
255.75/255.81	c  255s |      22 | 10340958 |  1856322 |   108576     40 |        0 |        0
257.75/257.82	c  257s |      22 | 10363326 |  1868422 |   108576     40 |        0 |        0
259.75/259.83	c  259s |      22 | 10416995 |  1883422 |   108576     41 |        0 |        0
261.75/261.83	c  261s |      22 | 10450751 |  1903622 |   108576     41 |        0 |        0
263.75/263.84	c  263s |      22 | 10514378 |  1920322 |   108576     41 |        0 |        0
265.74/265.86	c  265s |      22 | 10528336 |  1929822 |   108576     41 |        0 |        0
267.75/267.87	c  267s |      22 | 10633171 |  1941922 |   108576     42 |        0 |        0
269.75/269.87	c  269s |      22 | 10708566 |  1958122 |   108576     42 |        0 |        0
271.76/271.88	c  271s |      22 | 10814759 |  1975222 |   108576     42 |        0 |        0
273.96/274.02	c  273s |      22 | 10858451 |  1988322 |   108576     43 |        0 |        0
275.95/276.03	c  275s |      22 | 11025353 |  1999222 |   108576     43 |        0 |        0
278.05/278.16	c  277s |      22 | 11056867 |  2012122 |   108576     43 |        0 |        0
280.05/280.16	c  279s |      22 | 11088291 |  2029622 |   108576     43 |        0 |        0
282.05/282.16	c  281s |      22 | 11114695 |  2041422 |   108576     44 |        0 |        0
284.05/284.18	c  283s |      22 | 11125840 |  2049422 |   108576     44 |        0 |        0
286.15/286.22	c  285s |      22 | 11134683 |  2056022 |   108576     44 |        0 |        0
288.15/288.23	c  287s |      22 | 11166017 |  2065822 |   108576     44 |        0 |        0
290.15/290.24	c  289s |      22 | 11199338 |  2079522 |   108576     44 |        0 |        0
292.15/292.29	c  291s |      22 | 11243235 |  2088622 |   108576     44 |        0 |        0
294.25/294.30	c  293s |      22 | 11284640 |  2105622 |   108576     45 |        0 |        0
296.25/296.30	c  295s |      22 | 11331206 |  2124822 |   108576     45 |        0 |        0
298.75/298.80	c  298s |      22 | 11418271 |  2144622 |   108576     45 |        0 |        0
300.74/300.80	c  300s |      22 | 11477918 |  2156222 |   108576     46 |        0 |        0
302.74/302.80	c  302s |      22 | 11505465 |  2169822 |   108576     46 |        0 |        0
304.75/304.81	c  304s |      22 | 11700103 |  2180822 |   108576     46 |        0 |        0
306.74/306.81	c  306s |      22 | 11772448 |  2205022 |   108576     46 |        0 |        0
308.74/308.81	c  308s |      22 | 11959134 |  2213322 |   108576     47 |        0 |        0
310.74/310.82	c  310s |      22 | 12011170 |  2232622 |   108576     47 |        0 |        0
313.55/313.65	c  313s |      22 | 12147067 |  2241122 |   119434     47 |        0 |        0
314.44/314.51	c  313s |      23 | 12165575 |  2251038 |   119434     47 |        0 |        0
316.44/316.52	c  315s |      23 | 12298164 |  2264138 |   119434     47 |        0 |        0
318.44/318.52	c  317s |      23 | 12318962 |  2277038 |   119434     48 |        0 |        0
320.44/320.53	c  319s |      23 | 12349517 |  2293038 |   119434     48 |        0 |        0
322.44/322.53	c  322s |      23 | 12446077 |  2304938 |   119434     48 |        0 |        0
324.44/324.54	c  324s |      23 | 12473577 |  2322238 |   119434     48 |        0 |        0
326.54/326.61	c  326s |      23 | 12597042 |  2336138 |   119434     49 |        0 |        0
328.54/328.62	c  328s |      23 | 12770331 |  2351838 |   119434     49 |        0 |        0
330.53/330.63	c  330s |      23 | 12794757 |  2366838 |   119434     49 |        0 |        0
332.53/332.64	c  332s |      23 | 12808429 |  2375038 |   119434     49 |        0 |        0
334.53/334.64	c  334s |      23 | 12911074 |  2382938 |   119434     49 |        0 |        0
336.54/336.65	c  336s |      23 | 13008939 |  2398238 |   119434     50 |        0 |        0
338.63/338.72	c  338s |      23 | 13047163 |  2414138 |   119434     50 |        0 |        0
340.64/340.72	c  340s |      23 | 13135497 |  2433138 |   119434     50 |        0 |        0
342.64/342.73	c  342s |      23 | 13222163 |  2448738 |   119434     50 |        0 |        0
344.64/344.73	c  344s |      23 | 13282072 |  2456238 |   119434     51 |        0 |        0
346.64/346.73	c  346s |      23 | 13357793 |  2466038 |   119434     51 |        0 |        0
348.65/348.77	c  348s |      23 | 13509985 |  2479138 |   119434     51 |        0 |        0
350.64/350.77	c  350s |      23 | 13574339 |  2498138 |   119434     51 |        0 |        0
352.64/352.78	c  352s |      23 | 13683240 |  2513538 |   119434     51 |        0 |        0
354.74/354.81	c  354s |      23 | 13713393 |  2530338 |   119434     52 |        0 |        0
356.73/356.83	c  356s |      23 | 13842576 |  2545738 |   119434     52 |        0 |        0
358.73/358.83	c  358s |      23 | 13876100 |  2564238 |   119434     52 |        0 |        0
360.93/361.03	c  360s |      23 | 14027741 |  2577538 |   119434     53 |        0 |        0
362.94/363.09	c  362s |      23 | 14228890 |  2586638 |   119434     53 |        0 |        0
365.03/365.18	c  364s |      23 | 14517206 |  2598038 |   119434     53 |        0 |        0
367.44/367.51	c  366s |      23 | 14643934 |  2611338 |   119434     53 |        0 |        0
369.43/369.55	c  369s |      23 | 14799052 |  2631238 |   119434     53 |        0 |        0
371.43/371.55	c  371s |      23 | 14874427 |  2644438 |   119434     54 |        0 |        0
373.43/373.55	c  373s |      23 | 14944122 |  2660538 |   119434     54 |        0 |        0
375.42/375.56	c  375s |      23 | 14969087 |  2676838 |   119434     54 |        0 |        0
377.42/377.56	c  377s |      23 | 15101521 |  2687438 |   119434     54 |        0 |        0
379.42/379.57	c  379s |      23 | 15138563 |  2701838 |   119434     55 |        0 |        0
381.42/381.59	c  381s |      23 | 15155241 |  2713138 |   119434     55 |        0 |        0
383.52/383.62	c  383s |      23 | 15268154 |  2730138 |   119434     55 |        0 |        0
385.52/385.62	c  385s |      23 | 15433099 |  2739738 |   119434     55 |        0 |        0
387.62/387.71	c  387s |      23 | 15486747 |  2758838 |   119434     56 |        0 |        0
389.62/389.71	c  389s |      23 | 15686378 |  2772238 |   119434     56 |        0 |        0
391.62/391.71	c  391s |      23 | 15850260 |  2789238 |   119434     56 |        0 |        0
393.62/393.71	c  393s |      23 | 15872752 |  2803438 |   119434     56 |        0 |        0
395.62/395.74	c  395s |      23 | 16077886 |  2815438 |   119434     56 |        0 |        0
397.61/397.75	c  397s |      23 | 16099414 |  2828238 |   119434     57 |        0 |        0
399.61/399.75	c  399s |      23 | 16131300 |  2843038 |   119434     57 |        0 |        0
401.71/401.82	c  401s |      23 | 16302591 |  2852338 |   119434     57 |        0 |        0
403.72/403.82	c  403s |      23 | 16472337 |  2868138 |   119434     57 |        0 |        0
405.71/405.82	c  405s |      23 | 16517242 |  2886638 |   119434     58 |        0 |        0
407.71/407.83	c  407s |      23 | 16698025 |  2904438 |   119434     58 |        0 |        0
409.70/409.84	c  409s |      23 | 16885793 |  2913338 |   119434     58 |        0 |        0
411.70/411.84	c  411s |      23 | 17040997 |  2925938 |   119434     58 |        0 |        0
413.71/413.85	c  413s |      23 | 17054230 |  2935538 |   119434     58 |        0 |        0
415.72/415.86	c  415s |      23 | 17062421 |  2941538 |   119434     59 |        0 |        0
417.71/417.87	c  417s |      23 | 17114135 |  2950638 |   119434     59 |        0 |        0
419.71/419.87	c  419s |      23 | 17143260 |  2969338 |   119434     59 |        0 |        0
421.71/421.87	c  421s |      23 | 17161687 |  2982238 |   119434     59 |        0 |        0
423.71/423.88	c  423s |      23 | 17173310 |  2990338 |   119434     59 |        0 |        0
425.72/425.88	c  425s |      23 | 17246553 |  2998038 |   119434     59 |        0 |        0
427.70/427.89	c  427s |      23 | 17364345 |  3012038 |   119434     60 |        0 |        0
429.70/429.89	c  429s |      23 | 17441342 |  3029638 |   119434     60 |        0 |        0
431.80/431.90	c  431s |      23 | 17613796 |  3046238 |   119434     60 |        0 |        0
433.80/433.90	c  433s |      23 | 17802776 |  3060838 |   119434     60 |        0 |        0
435.80/435.90	c  435s |      23 | 17836537 |  3076838 |   119434     61 |        0 |        0
438.00/438.16	c  437s |      23 | 17939010 |  3090338 |   119434     61 |        0 |        0
440.01/440.17	c  439s |      23 | 17966437 |  3106238 |   119434     61 |        0 |        0
442.00/442.17	c  441s |      23 | 17998479 |  3124438 |   119434     62 |        0 |        0
444.10/444.23	c  443s |      23 | 18146458 |  3137138 |   119434     62 |        0 |        0
446.10/446.24	c  445s |      23 | 18174372 |  3147038 |   119434     62 |        0 |        0
448.10/448.24	c  447s |      23 | 18211541 |  3168038 |   119434     62 |        0 |        0
450.10/450.24	c  449s |      23 | 18299075 |  3185538 |   119434     63 |        0 |        0
452.10/452.28	c  451s |      23 | 18447698 |  3194338 |   119434     63 |        0 |        0
454.20/454.30	c  453s |      23 | 18632306 |  3211238 |   119434     63 |        0 |        0
456.19/456.31	c  455s |      23 | 18764926 |  3230838 |   119434     63 |        0 |        0
458.19/458.38	c  457s |      23 | 18968448 |  3244338 |   119434     63 |        0 |        0
460.19/460.39	c  459s |      23 | 19155850 |  3257738 |   119434     64 |        0 |        0
462.29/462.41	c  461s |      23 | 19201790 |  3272938 |   119434     64 |        0 |        0
464.29/464.41	c  463s |      23 | 19319871 |  3285938 |   119434     64 |        0 |        0
466.30/466.41	c  465s |      23 | 19487160 |  3300538 |   119434     64 |        0 |        0
468.29/468.42	c  467s |      23 | 19645991 |  3311138 |   119434     65 |        0 |        0
470.29/470.42	c  469s |      23 | 19836944 |  3330938 |   119434     65 |        0 |        0
472.29/472.42	c  471s |      23 | 19860488 |  3346038 |   119434     65 |        0 |        0
474.29/474.42	c  473s |      23 | 19877622 |  3356738 |   131378     65 |        0 |        0
476.29/476.43	c  475s |      23 | 20016301 |  3366838 |   131378     65 |        0 |        0
477.49/477.68	c  477s |      24 | 20108251 |  3376662 |   131378     65 |        0 |        0
479.49/479.68	c  479s |      24 | 20136339 |  3389862 |   131378     66 |        0 |        0
481.48/481.68	c  481s |      24 | 20245948 |  3403162 |   131378     66 |        0 |        0
483.48/483.69	c  483s |      24 | 20285905 |  3424462 |   131378     66 |        0 |        0
485.58/485.71	c  485s |      24 | 20402237 |  3444662 |   131378     66 |        0 |        0
487.58/487.71	c  487s |      24 | 20435633 |  3462362 |   131378     67 |        0 |        0
489.58/489.71	c  489s |      24 | 20602885 |  3478262 |   131378     67 |        0 |        0
491.58/491.76	c  491s |      24 | 20636224 |  3497862 |   131378     67 |        0 |        0
493.57/493.76	c  493s |      24 | 20854564 |  3508562 |   131378     67 |        0 |        0
495.58/495.76	c  495s |      24 | 20932953 |  3525962 |   131378     68 |        0 |        0
497.58/497.77	c  497s |      24 | 20996814 |  3540462 |   131378     68 |        0 |        0
499.68/499.82	c  499s |      24 | 21103033 |  3550262 |   131378     68 |        0 |        0
501.68/501.83	c  501s |      24 | 21300397 |  3563862 |   131378     68 |        0 |        0
503.68/503.83	c  503s |      24 | 21329136 |  3575162 |   131378     68 |        0 |        0
505.77/505.98	c  505s |      24 | 21435430 |  3589062 |   131378     69 |        0 |        0
507.77/507.99	c  507s |      24 | 21639768 |  3604562 |   131378     69 |        0 |        0
509.77/509.99	c  509s |      24 | 21821380 |  3618062 |   131378     69 |        0 |        0
512.27/512.42	c  511s |      24 | 22069362 |  3629162 |   131378     69 |        0 |        0
514.27/514.42	c  513s |      24 | 22154288 |  3647462 |   131378     70 |        0 |        0
516.27/516.43	c  515s |      24 | 22188591 |  3667062 |   131378     70 |        0 |        0
518.26/518.44	c  517s |      24 | 22211418 |  3681362 |   131378     70 |        0 |        0
520.27/520.45	c  519s |      24 | 22233469 |  3694462 |   131378     70 |        0 |        0
522.27/522.47	c  521s |      24 | 22250542 |  3705062 |   131378     70 |        0 |        0
524.27/524.50	c  523s |      24 | 22325740 |  3715662 |   131378     71 |        0 |        0
526.37/526.50	c  525s |      24 | 22427172 |  3733962 |   131378     71 |        0 |        0
528.36/528.55	c  528s |      24 | 22501755 |  3754062 |   131378     71 |        0 |        0
530.36/530.55	c  530s |      24 | 22597041 |  3770362 |   131378     71 |        0 |        0
532.37/532.55	c  532s |      24 | 22621709 |  3785062 |   131378     72 |        0 |        0
534.36/534.55	c  534s |      24 | 22654610 |  3803162 |   131378     72 |        0 |        0
536.36/536.58	c  536s |      24 | 22925247 |  3815262 |   131378     72 |        0 |        0
538.36/538.59	c  538s |      24 | 23071300 |  3832462 |   131378     72 |        0 |        0
540.56/540.78	c  540s |      24 | 23174337 |  3845462 |   131378     73 |        0 |        0
542.66/542.83	c  542s |      24 | 23212701 |  3868062 |   131378     73 |        0 |        0
544.65/544.84	c  544s |      24 | 23312965 |  3876362 |   131378     73 |        0 |        0
546.85/547.00	c  546s |      24 | 23473822 |  3896562 |   131378     73 |        0 |        0
548.86/549.01	c  548s |      24 | 23505547 |  3908062 |   131378     73 |        0 |        0
550.85/551.03	c  550s |      24 | 23525651 |  3920062 |   131378     74 |        0 |        0
552.85/553.03	c  552s |      24 | 23542181 |  3930562 |   131378     74 |        0 |        0
554.85/555.06	c  554s |      24 | 23559129 |  3941262 |   131378     74 |        0 |        0
556.85/557.08	c  556s |      24 | 23574412 |  3950062 |   131378     74 |        0 |        0
558.85/559.09	c  558s |      24 | 23591679 |  3959762 |   131378     74 |        0 |        0
560.85/561.10	c  560s |      24 | 23616041 |  3973662 |   131378     74 |        0 |        0
562.95/563.11	c  562s |      24 | 23641452 |  3988662 |   131378     75 |        0 |        0
564.95/565.12	c  564s |      24 | 23668541 |  4003662 |   131378     75 |        0 |        0
566.95/567.12	c  566s |      24 | 23694764 |  4018962 |   131378     75 |        0 |        0
568.94/569.13	c  568s |      24 | 23720554 |  4033262 |   131378     75 |        0 |        0
570.94/571.14	c  570s |      24 | 23739749 |  4045362 |   131378     76 |        0 |        0
572.95/573.15	c  572s |      24 | 23759944 |  4057262 |   131378     76 |        0 |        0
574.95/575.19	c  574s |      24 | 23837398 |  4066462 |   131378     76 |        0 |        0
576.95/577.19	c  576s |      24 | 24130486 |  4077062 |   131378     76 |        0 |        0
578.95/579.19	c  578s |      24 | 24371594 |  4091662 |   131378     76 |        0 |        0
581.05/581.20	c  580s |      24 | 24539916 |  4101862 |   131378     76 |        0 |        0
583.05/583.20	c  582s |      24 | 24661999 |  4118062 |   131378     77 |        0 |        0
584.95/585.20	c  584s |      24 | 24885258 |  4131462 |   131378     77 |        0 |        0
587.05/587.21	c  586s |      24 | 25011653 |  4150062 |   131378     77 |        0 |        0
589.04/589.21	c  588s |      24 | 25041224 |  4166562 |   131378     77 |        0 |        0
591.44/591.67	c  591s |      24 | 25123886 |  4180962 |   131378     78 |        0 |        0
593.44/593.68	c  593s |      24 | 25359760 |  4193362 |   131378     78 |        0 |        0
595.44/595.68	c  595s |      24 | 25478044 |  4212562 |   131378     78 |        0 |        0
597.44/597.68	c  597s |      24 | 25498671 |  4226162 |   131378     78 |        0 |        0
599.45/599.69	c  599s |      24 | 25512179 |  4235362 |   131378     78 |        0 |        0
601.55/601.72	c  601s |      24 | 25524254 |  4243962 |   131378     78 |        0 |        0
603.54/603.78	c  603s |      24 | 25531990 |  4249362 |   131378     79 |        0 |        0
605.64/605.80	c  605s |      24 | 25539879 |  4254662 |   131378     79 |        0 |        0
607.64/607.84	c  607s |      24 | 25548206 |  4260462 |   131378     79 |        0 |        0
609.63/609.85	c  609s |      24 | 25602431 |  4266862 |   131378     79 |        0 |        0
611.63/611.86	c  611s |      24 | 25790710 |  4275762 |   131378     79 |        0 |        0
613.64/613.87	c  613s |      24 | 25958712 |  4288362 |   131378     79 |        0 |        0
615.63/615.87	c  615s |      24 | 26027157 |  4305362 |   131378     79 |        0 |        0
617.73/617.95	c  617s |      24 | 26050739 |  4312762 |   131378     80 |        0 |        0
619.93/620.14	c  619s |      24 | 26191645 |  4318562 |   131378     80 |        0 |        0
622.13/622.30	c  621s |      24 | 26250743 |  4325062 |   131378     80 |        0 |        0
624.13/624.30	c  623s |      24 | 26381247 |  4339562 |   131378     80 |        0 |        0
626.12/626.31	c  625s |      24 | 26641923 |  4354362 |   131378     80 |        0 |        0
628.43/628.61	c  628s |      24 | 26810715 |  4370162 |   131378     80 |        0 |        0
630.43/630.62	c  630s |      24 | 26906317 |  4385962 |   131378     81 |        0 |        0
632.44/632.62	c  632s |      24 | 27219041 |  4393262 |   131378     81 |        0 |        0
634.43/634.64	c  634s |      24 | 27255289 |  4407962 |   131378     81 |        0 |        0
636.53/636.75	c  636s |      24 | 27528048 |  4417362 |   131378     81 |        0 |        0
638.53/638.79	c  638s |      24 | 27638232 |  4432562 |   131378     81 |        0 |        0
640.53/640.79	c  640s |      24 | 27873548 |  4443062 |   131378     81 |        0 |        0
642.63/642.81	c  642s |      24 | 27928321 |  4453062 |   131378     82 |        0 |        0
644.63/644.87	c  644s |      24 | 28223680 |  4462862 |   131378     82 |        0 |        0
646.63/646.87	c  646s |      24 | 28348712 |  4476562 |   131378     82 |        0 |        0
648.62/648.87	c  648s |      24 | 28463806 |  4492862 |   131378     82 |        0 |        0
650.62/650.88	c  650s |      24 | 28547758 |  4508962 |   131378     82 |        0 |        0
652.62/652.88	c  652s |      24 | 28635644 |  4520462 |   131378     83 |        0 |        0
654.62/654.88	c  654s |      24 | 28776001 |  4535362 |   131378     83 |        0 |        0
657.12/657.39	c  656s |      24 | 28891930 |  4549562 |   131378     83 |        0 |        0
659.12/659.40	c  658s |      24 | 28924525 |  4564162 |   131378     83 |        0 |        0
661.21/661.40	c  660s |      24 | 28943774 |  4576562 |   131378     83 |        0 |        0
663.22/663.41	c  662s |      24 | 28957487 |  4584962 |   131378     84 |        0 |        0
665.21/665.41	c  664s |      24 | 28972265 |  4594562 |   131378     84 |        0 |        0
667.21/667.43	c  666s |      24 | 28999357 |  4610862 |   131378     84 |        0 |        0
669.21/669.43	c  668s |      24 | 29164455 |  4622262 |   131378     84 |        0 |        0
671.21/671.44	c  670s |      24 | 29256069 |  4637862 |   131378     84 |        0 |        0
673.21/673.44	c  672s |      24 | 29426765 |  4650262 |   131378     85 |        0 |        0
675.22/675.46	c  674s |      24 | 29481985 |  4664562 |   131378     85 |        0 |        0
677.22/677.46	c  676s |      24 | 29519476 |  4685062 |   131378     85 |        0 |        0
679.21/679.46	c  678s |      24 | 29579752 |  4701962 |   131378     85 |        0 |        0
681.21/681.48	c  680s |      24 | 29691289 |  4716562 |   131378     86 |        0 |        0
683.21/683.48	c  682s |      24 | 29787021 |  4728762 |   131378     86 |        0 |        0
685.22/685.49	c  684s |      24 | 29817115 |  4741962 |   131378     86 |        0 |        0
687.32/687.51	c  686s |      24 | 29833497 |  4752062 |   131378     86 |        0 |        0
689.31/689.54	c  689s |      24 | 30006330 |  4762062 |   131378     86 |        0 |        0
691.31/691.54	c  691s |      24 | 30164637 |  4772062 |   131378     86 |        0 |        0
693.31/693.54	c  693s |      24 | 30225203 |  4786962 |   131378     87 |        0 |        0
695.31/695.55	c  695s |      24 | 30370842 |  4803462 |   131378     87 |        0 |        0
697.32/697.57	c  697s |      24 | 30404501 |  4818262 |   131378     87 |        0 |        0
699.80/700.00	c  699s |      24 | 30519689 |  4828762 |   131378     87 |        0 |        0
701.90/702.10	c  701s |      24 | 30653607 |  4842262 |   131378     87 |        0 |        0
703.80/704.10	c  703s |      24 | 30868387 |  4853562 |   131378     88 |        0 |        0
705.90/706.11	c  705s |      24 | 30903412 |  4873562 |   131378     88 |        0 |        0
707.89/708.11	c  707s |      24 | 30928082 |  4888662 |   131378     88 |        0 |        0
709.90/710.11	c  709s |      24 | 30950439 |  4902462 |   131378     88 |        0 |        0
712.10/712.34	c  711s |      24 | 31078323 |  4918062 |   131378     89 |        0 |        0
714.10/714.35	c  713s |      24 | 31147688 |  4930162 |   131378     89 |        0 |        0
716.10/716.37	c  715s |      24 | 31178867 |  4948662 |   131378     89 |        0 |        0
718.11/718.37	c  717s |      24 | 31280475 |  4962462 |   131378     89 |        0 |        0
720.10/720.37	c  719s |      24 | 31312115 |  4981862 |   131378     89 |        0 |        0
722.10/722.37	c  721s |      24 | 31334114 |  4994562 |   131378     90 |        0 |        0
724.10/724.38	c  723s |      24 | 31371642 |  5014462 |   131378     90 |        0 |        0
726.10/726.38	c  725s |      24 | 31406435 |  5035862 |   144516     90 |        0 |        0
728.10/728.38	c  727s |      24 | 31445013 |  5057162 |   144516     90 |        0 |        0
729.39/729.63	c  729s |      25 | 31457414 |  5065098 |   144516     91 |        0 |        0
731.40/731.63	c  731s |      25 | 31544897 |  5077498 |   144516     91 |        0 |        0
733.39/733.68	c  733s |      25 | 31660072 |  5094398 |   144516     91 |        0 |        0
735.39/735.68	c  735s |      25 | 31816462 |  5108098 |   144516     91 |        0 |        0
737.39/737.69	c  737s |      25 | 31833879 |  5120498 |   144516     91 |        0 |        0
739.39/739.69	c  739s |      25 | 31846860 |  5129498 |   144516     91 |        0 |        0
741.49/741.71	c  741s |      25 | 31861403 |  5138998 |   144516     92 |        0 |        0
743.50/743.72	c  743s |      25 | 31880254 |  5150798 |   144516     92 |        0 |        0
745.49/745.73	c  745s |      25 | 31900741 |  5161998 |   144516     92 |        0 |        0
747.49/747.73	c  747s |      25 | 31913030 |  5169098 |   144516     92 |        0 |        0
749.49/749.73	c  749s |      25 | 31945155 |  5184998 |   144516     92 |        0 |        0
751.48/751.77	c  751s |      25 | 32084040 |  5194998 |   144516     92 |        0 |        0
753.48/753.78	c  753s |      25 | 32304070 |  5205798 |   144516     92 |        0 |        0
755.59/755.83	c  755s |      25 | 32491098 |  5215898 |   144516     93 |        0 |        0
757.58/757.83	c  757s |      25 | 32755972 |  5229498 |   144516     93 |        0 |        0
759.58/759.83	c  759s |      25 | 32782535 |  5244598 |   144516     93 |        0 |        0
761.58/761.89	c  761s |      25 | 32951741 |  5258398 |   144516     93 |        0 |        0
763.58/763.89	c  763s |      25 | 33148677 |  5273898 |   144516     93 |        0 |        0
765.68/765.91	c  765s |      25 | 33304713 |  5288298 |   144516     94 |        0 |        0
767.68/767.91	c  767s |      25 | 33457772 |  5300498 |   144516     94 |        0 |        0
769.68/769.93	c  769s |      25 | 33504697 |  5318398 |   144516     94 |        0 |        0
771.67/771.95	c  771s |      25 | 33523133 |  5329798 |   144516     94 |        0 |        0
773.67/773.96	c  773s |      25 | 33591602 |  5339198 |   144516     94 |        0 |        0
775.67/775.97	c  775s |      25 | 33777523 |  5354698 |   144516     94 |        0 |        0
777.67/777.98	c  777s |      25 | 33957921 |  5368598 |   144516     95 |        0 |        0
779.68/780.00	c  779s |      25 | 34144108 |  5382498 |   144516     95 |        0 |        0
781.77/782.00	c  781s |      25 | 34204460 |  5400798 |   144516     95 |        0 |        0
783.77/784.01	c  783s |      25 | 34220050 |  5411798 |   144516     95 |        0 |        0
785.77/786.01	c  785s |      25 | 34311800 |  5421098 |   144516     95 |        0 |        0
787.77/788.05	c  787s |      25 | 34558779 |  5431398 |   144516     95 |        0 |        0
789.77/790.06	c  789s |      25 | 34688685 |  5444498 |   144516     96 |        0 |        0
791.77/792.06	c  791s |      25 | 34802681 |  5463898 |   144516     96 |        0 |        0
793.87/794.15	c  793s |      25 | 34856660 |  5479098 |   144516     96 |        0 |        0
795.97/796.25	c  795s |      25 | 35101755 |  5494698 |   144516     96 |        0 |        0
798.06/798.34	c  797s |      25 | 35374551 |  5502498 |   144516     96 |        0 |        0
800.57/800.87	c  800s |      25 | 35451093 |  5518598 |   144516     97 |        0 |        0
802.56/802.88	c  802s |      25 | 35562755 |  5529898 |   144516     97 |        0 |        0
804.57/804.88	c  804s |      25 | 35724143 |  5539298 |   144516     97 |        0 |        0
806.67/806.90	c  806s |      25 | 35831012 |  5558198 |   144516     97 |        0 |        0
808.67/808.91	c  808s |      25 | 36060237 |  5575498 |   144516     97 |        0 |        0
810.77/811.03	c  810s |      25 | 36253469 |  5585198 |   144516     98 |        0 |        0
812.86/813.11	c  812s |      25 | 36374364 |  5603098 |   144516     98 |        0 |        0
815.26/815.53	c  814s |      25 | 36475827 |  5618798 |   144516     98 |        0 |        0
817.26/817.57	c  817s |      25 | 36713755 |  5633698 |   144516     98 |        0 |        0
819.37/819.66	c  819s |      25 | 36821435 |  5637298 |   144516     98 |        0 |        0
821.36/821.67	c  821s |      25 | 36870627 |  5652998 |   144516     98 |        0 |        0
823.36/823.68	c  823s |      25 | 36927107 |  5671498 |   144516     99 |        0 |        0
825.46/825.72	c  825s |      25 | 37179404 |  5682998 |   144516     99 |        0 |        0
827.45/827.72	c  827s |      25 | 37301929 |  5707898 |   144516     99 |        0 |        0
829.45/829.73	c  829s |      25 | 37446895 |  5721398 |   144516     99 |        0 |        0
831.46/831.73	c  831s |      25 | 37613794 |  5732698 |   144516    100 |        0 |        0
833.45/833.79	c  833s |      25 | 37738859 |  5750998 |   144516    100 |        0 |        0
835.45/835.79	c  835s |      25 | 37886911 |  5768498 |   144516    100 |        0 |        0
837.55/837.80	c  837s |      25 | 38032602 |  5778998 |   144516    100 |        0 |        0
839.55/839.82	c  839s |      25 | 38111553 |  5799998 |   144516    100 |        0 |        0
841.55/841.82	c  841s |      25 | 38283131 |  5815298 |   144516    101 |        0 |        0
843.55/843.83	c  843s |      25 | 38347149 |  5835898 |   144516    101 |        0 |        0
845.54/845.83	c  845s |      25 | 38437024 |  5851698 |   144516    101 |        0 |        0
847.54/847.84	c  847s |      25 | 38498227 |  5870898 |   144516    101 |        0 |        0
849.84/850.15	c  849s |      25 | 38697902 |  5883498 |   144516    102 |        0 |        0
851.85/852.15	c  851s |      25 | 38719275 |  5897498 |   144516    102 |        0 |        0
853.85/854.15	c  853s |      25 | 38737945 |  5909698 |   144516    102 |        0 |        0
855.85/856.16	c  855s |      25 | 38829098 |  5923098 |   144516    102 |        0 |        0
857.86/858.18	c  857s |      25 | 39114063 |  5931498 |   144516    102 |        0 |        0
859.85/860.18	c  859s |      25 | 39233302 |  5942498 |   144516    102 |        0 |        0
861.94/862.22	c  861s |      25 | 39349134 |  5958098 |   144516    103 |        0 |        0
864.04/864.36	c  863s |      25 | 39449316 |  5977698 |   144516    103 |        0 |        0
866.04/866.36	c  865s |      25 | 39597873 |  5986298 |   144516    103 |        0 |        0
868.04/868.37	c  867s |      25 | 39615638 |  5997598 |   144516    103 |        0 |        0
870.14/870.40	c  869s |      25 | 39831728 |  6015398 |   144516    103 |        0 |        0
872.15/872.41	c  871s |      25 | 39932194 |  6028598 |   144516    104 |        0 |        0
874.14/874.41	c  873s |      25 | 40095388 |  6044098 |   144516    104 |        0 |        0
876.14/876.41	c  875s |      25 | 40109895 |  6054498 |   144516    104 |        0 |        0
878.14/878.42	c  877s |      25 | 40119855 |  6061298 |   144516    104 |        0 |        0
880.13/880.44	c  879s |      25 | 40128284 |  6067298 |   144516    104 |        0 |        0
882.13/882.45	c  881s |      25 | 40135870 |  6072498 |   144516    104 |        0 |        0
884.14/884.49	c  883s |      25 | 40142495 |  6077398 |   144516    104 |        0 |        0
886.23/886.53	c  886s |      25 | 40148740 |  6081998 |   144516    104 |        0 |        0
888.23/888.53	c  888s |      25 | 40158679 |  6087798 |   144516    104 |        0 |        0
890.23/890.54	c  890s |      25 | 40344006 |  6095798 |   144516    105 |        0 |        0
892.23/892.54	c  892s |      25 | 40378951 |  6114198 |   144516    105 |        0 |        0
894.23/894.56	c  894s |      25 | 40404923 |  6131498 |   144516    105 |        0 |        0
896.53/896.82	c  896s |      25 | 40610376 |  6143698 |   144516    105 |        0 |        0
898.53/898.83	c  898s |      25 | 40649022 |  6158298 |   144516    105 |        0 |        0
900.53/900.83	c  900s |      25 | 40770709 |  6172398 |   144516    106 |        0 |        0
902.63/902.93	c  902s |      25 | 40938960 |  6188698 |   144516    106 |        0 |        0
904.63/904.94	c  904s |      25 | 41178418 |  6202298 |   144516    106 |        0 |        0
906.73/907.04	c  906s |      25 | 41301407 |  6213598 |   144516    106 |        0 |        0
908.72/909.05	c  908s |      25 | 41371361 |  6235098 |   144516    106 |        0 |        0
910.72/911.09	c  910s |      25 | 41466064 |  6245898 |   144516    107 |        0 |        0
912.73/913.09	c  912s |      25 | 41703695 |  6251598 |   144516    107 |        0 |        0
914.72/915.09	c  914s |      25 | 41871703 |  6268298 |   144516    107 |        0 |        0
916.83/917.16	c  916s |      25 | 42067550 |  6285098 |   144516    107 |        0 |        0
918.83/919.16	c  918s |      25 | 42155044 |  6300998 |   144516    107 |        0 |        0
920.83/921.17	c  920s |      25 | 42360468 |  6308998 |   144516    107 |        0 |        0
922.93/923.24	c  922s |      25 | 42609360 |  6320798 |   144516    108 |        0 |        0
924.93/925.25	c  924s |      25 | 42677412 |  6339998 |   144516    108 |        0 |        0
926.93/927.25	c  926s |      25 | 42745292 |  6355398 |   144516    108 |        0 |        0
928.92/929.25	c  928s |      25 | 42959519 |  6368498 |   144516    108 |        0 |        0
930.92/931.25	c  930s |      25 | 43033354 |  6387198 |   144516    108 |        0 |        0
932.92/933.27	c  932s |      25 | 43057949 |  6400698 |   144516    109 |        0 |        0
934.92/935.28	c  934s |      25 | 43075025 |  6410598 |   144516    109 |        0 |        0
936.93/937.29	c  936s |      25 | 43095125 |  6422698 |   144516    109 |        0 |        0
939.02/939.33	c  938s |      25 | 43275481 |  6436498 |   144516    109 |        0 |        0
941.02/941.33	c  940s |      25 | 43414179 |  6451998 |   144516    109 |        0 |        0
943.01/943.39	c  942s |      25 | 43576618 |  6459098 |   144516    109 |        0 |        0
945.11/945.44	c  944s |      25 | 43686913 |  6475698 |   144516    110 |        0 |        0
947.11/947.45	c  946s |      25 | 43923784 |  6487498 |   144516    110 |        0 |        0
949.12/949.45	c  948s |      25 | 44053146 |  6510598 |   144516    110 |        0 |        0
951.11/951.45	c  950s |      25 | 44177591 |  6532098 |   144516    110 |        0 |        0
953.11/953.46	c  952s |      25 | 44224877 |  6541098 |   144516    111 |        0 |        0
955.11/955.46	c  954s |      25 | 44280212 |  6558398 |   144516    111 |        0 |        0
957.11/957.46	c  956s |      25 | 44353942 |  6580398 |   144516    111 |        0 |        0
959.11/959.47	c  958s |      25 | 44522228 |  6597098 |   144516    111 |        0 |        0
961.21/961.56	c  961s |      25 | 44653663 |  6611398 |   144516    112 |        0 |        0
963.31/963.65	c  963s |      25 | 44834293 |  6628298 |   144516    112 |        0 |        0
965.40/965.77	c  965s |      25 | 44944839 |  6641898 |   144516    112 |        0 |        0
967.41/967.78	c  967s |      25 | 44972528 |  6658998 |   144516    112 |        0 |        0
969.41/969.79	c  969s |      25 | 44997290 |  6670298 |   144516    112 |        0 |        0
971.61/971.92	c  971s |      25 | 45201019 |  6683298 |   144516    113 |        0 |        0
973.61/973.93	c  973s |      25 | 45254736 |  6703298 |   144516    113 |        0 |        0
975.61/975.94	c  975s |      25 | 45496492 |  6717898 |   144516    113 |        0 |        0
977.61/977.94	c  977s |      25 | 45671154 |  6730298 |   144516    113 |        0 |        0
979.60/979.95	c  979s |      25 | 45694011 |  6745598 |   144516    113 |        0 |        0
981.60/981.95	c  981s |      25 | 45736790 |  6758998 |   144516    114 |        0 |        0
983.70/984.03	c  983s |      25 | 45862005 |  6769498 |   144516    114 |        0 |        0
985.70/986.05	c  985s |      25 | 45919991 |  6782798 |   144516    114 |        0 |        0
987.70/988.05	c  987s |      25 | 45934136 |  6791998 |   144516    114 |        0 |        0
989.70/990.08	c  989s |      25 | 45946642 |  6800898 |   144516    114 |        0 |        0
991.70/992.08	c  991s |      25 | 45958573 |  6809098 |   144516    114 |        0 |        0
993.80/994.11	c  993s |      25 | 45967824 |  6815098 |   144516    114 |        0 |        0
995.80/996.14	c  995s |      25 | 45973036 |  6818998 |   144516    114 |        0 |        0
997.80/998.17	c  997s |      25 | 45979291 |  6823198 |   144516    114 |        0 |        0
999.80/1000.17	c  999s |      25 | 45985772 |  6827398 |   144516    114 |        0 |        0
1001.91/1002.22	c 1001s |      25 | 45990498 |  6830798 |   144516    115 |        0 |        0
1003.90/1004.25	c 1003s |      25 | 45995701 |  6834398 |   144516    115 |        0 |        0
1006.00/1006.31	c 1005s |      25 | 46000360 |  6837598 |   144516    115 |        0 |        0
1007.99/1008.38	c 1007s |      25 | 46005560 |  6841198 |   144516    115 |        0 |        0
1009.99/1010.39	c 1009s |      25 | 46011286 |  6845198 |   144516    115 |        0 |        0
1012.09/1012.44	c 1011s |      25 | 46016678 |  6849098 |   144516    115 |        0 |        0
1014.09/1014.44	c 1013s |      25 | 46021221 |  6852498 |   144516    115 |        0 |        0
1016.10/1016.48	c 1015s |      25 | 46025454 |  6855698 |   144516    115 |        0 |        0
1018.18/1018.50	c 1017s |      25 | 46029361 |  6858698 |   144516    115 |        0 |        0
1020.18/1020.58	c 1020s |      25 | 46032821 |  6860998 |   144516    115 |        0 |        0
1022.28/1022.64	c 1022s |      25 | 46036499 |  6863698 |   144516    115 |        0 |        0
1024.28/1024.68	c 1024s |      25 | 46040525 |  6866498 |   144516    115 |        0 |        0
1026.38/1026.71	c 1026s |      25 | 46044755 |  6869598 |   144516    115 |        0 |        0
1028.38/1028.71	c 1028s |      25 | 46048009 |  6871898 |   144516    115 |        0 |        0
1030.39/1030.78	c 1030s |      25 | 46051881 |  6874498 |   144516    115 |        0 |        0
1032.48/1032.82	c 1032s |      25 | 46054831 |  6876298 |   144516    115 |        0 |        0
1034.48/1034.85	c 1034s |      25 | 46057397 |  6878098 |   144516    115 |        0 |        0
1036.58/1036.94	c 1036s |      25 | 46059996 |  6879798 |   144516    115 |        0 |        0
1038.58/1038.99	c 1038s |      25 | 46063030 |  6881698 |   144516    115 |        0 |        0
1040.68/1041.09	c 1040s |      25 | 46066748 |  6884298 |   144516    115 |        0 |        0
1042.78/1043.15	c 1042s |      25 | 46070310 |  6886898 |   144516    115 |        0 |        0
1044.79/1045.17	c 1044s |      25 | 46073480 |  6889298 |   144516    115 |        0 |        0
1046.88/1047.21	c 1046s |      25 | 46076800 |  6891598 |   144516    115 |        0 |        0
1048.98/1049.31	c 1048s |      25 | 46081090 |  6894398 |   144516    115 |        0 |        0
1050.98/1051.31	c 1050s |      25 | 46087232 |  6898598 |   144516    115 |        0 |        0
1052.98/1053.33	c 1052s |      25 | 46092186 |  6901798 |   144516    116 |        0 |        0
1054.98/1055.33	c 1054s |      25 | 46095109 |  6903798 |   144516    116 |        0 |        0
1056.98/1057.33	c 1056s |      25 | 46101017 |  6907198 |   144516    116 |        0 |        0
1060.37/1060.75	c 1060s |      25 | 46104548 |  6909498 |   144516    116 |        0 |        0
1062.38/1062.77	c 1062s |      25 | 46109511 |  6912598 |   144516    116 |        0 |        0
1064.48/1064.80	c 1064s |      25 | 46115191 |  6916198 |   144516    116 |        0 |        0
1066.47/1066.81	c 1066s |      25 | 46126617 |  6923298 |   144516    116 |        0 |        0
1068.47/1068.82	c 1068s |      25 | 46135949 |  6929898 |   144516    116 |        0 |        0
1070.47/1070.87	c 1070s |      25 | 46142151 |  6933998 |   144516    116 |        0 |        0
1072.57/1072.90	c 1072s |      25 | 46147463 |  6937498 |   144516    116 |        0 |        0
1074.57/1074.96	c 1074s |      25 | 46153098 |  6941698 |   144516    116 |        0 |        0
1076.58/1076.97	c 1076s |      25 | 46157047 |  6944398 |   144516    116 |        0 |        0
1078.57/1078.99	c 1078s |      25 | 46161828 |  6947498 |   144516    116 |        0 |        0
1080.67/1081.06	c 1080s |      25 | 46165727 |  6950098 |   144516    116 |        0 |        0
1086.17/1086.57	c 1086s |      25 | 46168757 |  6951698 |   144516    116 |        0 |        0
1088.27/1088.65	c 1088s |      25 | 46170650 |  6952898 |   144516    116 |        0 |        0
1090.37/1090.72	c 1090s |      25 | 46173442 |  6954998 |   144516    116 |        0 |        0
1092.37/1092.77	c 1092s |      25 | 46176935 |  6957498 |   144516    116 |        0 |        0
1094.47/1094.82	c 1094s |      25 | 46180999 |  6960498 |   144516    116 |        0 |        0
1096.48/1096.87	c 1096s |      25 | 46184383 |  6962798 |   144516    116 |        0 |        0
1098.47/1098.90	c 1098s |      25 | 46187970 |  6965298 |   144516    116 |        0 |        0
1100.57/1100.95	c 1100s |      25 | 46191142 |  6967498 |   144516    116 |        0 |        0
1102.67/1103.00	c 1102s |      25 | 46194913 |  6969798 |   144516    116 |        0 |        0
1104.67/1105.02	c 1104s |      25 | 46198386 |  6972298 |   144516    116 |        0 |        0
1107.07/1107.40	c 1106s |      25 | 46200764 |  6973698 |   144516    117 |        0 |        0
1118.47/1118.88	c 1118s |      25 | 46201138 |  6973898 |   144516    117 |        0 |        0
1120.57/1120.95	c 1120s |      25 | 46201727 |  6974398 |   144516    117 |        0 |        0
1122.56/1122.95	c 1122s |      25 | 46206212 |  6977298 |   144516    117 |        0 |        0
1124.66/1125.00	c 1124s |      25 | 46209506 |  6979598 |   144516    117 |        0 |        0
1126.66/1127.04	c 1126s |      25 | 46213573 |  6982398 |   144516    117 |        0 |        0
1128.76/1129.14	c 1128s |      25 | 46216514 |  6984598 |   144516    117 |        0 |        0
1130.76/1131.18	c 1130s |      25 | 46220660 |  6987098 |   144516    117 |        0 |        0
1132.86/1133.22	c 1132s |      25 | 46225388 |  6990498 |   144516    117 |        0 |        0
1134.97/1135.32	c 1134s |      25 | 46228400 |  6992498 |   144516    117 |        0 |        0
1136.96/1137.35	c 1136s |      25 | 46231647 |  6994498 |   144516    117 |        0 |        0
1138.96/1139.39	c 1138s |      25 | 46235311 |  6996798 |   144516    117 |        0 |        0
1141.06/1141.42	c 1140s |      25 | 46240251 |  7000498 |   144516    117 |        0 |        0
1143.06/1143.44	c 1142s |      25 | 46244252 |  7003298 |   144516    117 |        0 |        0
1145.06/1145.46	c 1144s |      25 | 46247288 |  7005198 |   144516    117 |        0 |        0
1147.07/1147.46	c 1146s |      25 | 46251569 |  7008298 |   144516    117 |        0 |        0
1149.06/1149.47	c 1148s |      25 | 46255659 |  7011398 |   144516    117 |        0 |        0
1151.16/1151.52	c 1150s |      25 | 46260910 |  7015198 |   144516    117 |        0 |        0
1153.16/1153.52	c 1152s |      25 | 46332246 |  7017998 |   144516    117 |        0 |        0
1155.26/1155.62	c 1155s |      25 | 46379078 |  7022698 |   144516    117 |        0 |        0
1157.26/1157.64	c 1157s |      25 | 46381653 |  7024698 |   144516    117 |        0 |        0
1159.25/1159.67	c 1159s |      25 | 46384368 |  7026698 |   144516    117 |        0 |        0
1161.36/1161.73	c 1161s |      25 | 46386930 |  7028198 |   144516    117 |        0 |        0
1163.35/1163.79	c 1163s |      25 | 46388980 |  7029598 |   144516    117 |        0 |        0
1165.45/1165.83	c 1165s |      25 | 46391188 |  7031198 |   144516    117 |        0 |        0
1167.55/1167.92	c 1167s |      25 | 46394426 |  7033698 |   144516    117 |        0 |        0
1169.55/1169.97	c 1169s |      25 | 46398120 |  7036198 |   144516    117 |        0 |        0
1171.85/1172.28	c 1171s |      25 | 46412200 |  7046198 |   144516    118 |        0 |        0
1177.56/1177.96	c 1177s |      25 | 46414064 |  7047198 |   144516    118 |        0 |        0
1179.96/1180.32	c 1179s |      25 | 46415341 |  7048098 |   144516    118 |        0 |        0
1181.95/1182.34	c 1181s |      25 | 46420856 |  7051598 |   144516    118 |        0 |        0
1183.95/1184.35	c 1183s |      25 | 46422477 |  7052698 |   144516    118 |        0 |        0
1186.05/1186.42	c 1185s |      25 | 46427030 |  7055698 |   144516    118 |        0 |        0
1188.05/1188.44	c 1187s |      25 | 46431394 |  7058798 |   144516    118 |        0 |        0
1190.15/1190.50	c 1189s |      25 | 46435995 |  7061498 |   144516    118 |        0 |        0
1192.16/1192.54	c 1192s |      25 | 46439671 |  7063898 |   144516    118 |        0 |        0
1194.15/1194.55	c 1194s |      25 | 46443996 |  7066598 |   144516    118 |        0 |        0
1196.15/1196.58	c 1196s |      25 | 46447742 |  7068998 |   144516    118 |        0 |        0
1198.25/1198.62	c 1198s |      25 | 46451222 |  7071298 |   144516    118 |        0 |        0
1200.25/1200.68	c 1200s |      25 | 46455516 |  7073998 |   144516    118 |        0 |        0
1202.35/1202.77	c 1202s |      25 | 46459161 |  7076698 |   144516    118 |        0 |        0
1204.45/1204.86	c 1204s |      25 | 46462186 |  7078498 |   144516    118 |        0 |        0
1206.46/1206.89	c 1206s |      25 | 46466280 |  7080898 |   144516    118 |        0 |        0
1208.56/1208.98	c 1208s |      25 | 46469718 |  7082998 |   144516    118 |        0 |        0
1210.65/1211.05	c 1210s |      25 | 46473404 |  7085298 |   144516    118 |        0 |        0
1212.65/1213.08	c 1212s |      25 | 46476644 |  7087198 |   144516    118 |        0 |        0
1214.75/1215.11	c 1214s |      25 | 46480104 |  7089298 |   144516    118 |        0 |        0
1216.75/1217.18	c 1216s |      25 | 46482887 |  7091198 |   144516    118 |        0 |        0
1218.95/1219.31	c 1218s |      25 | 46485784 |  7093098 |   144516    118 |        0 |        0
1220.95/1221.39	c 1220s |      25 | 46489128 |  7095398 |   144516    118 |        0 |        0
1223.15/1223.53	c 1222s |      25 | 46491802 |  7097098 |   144516    118 |        0 |        0
1225.25/1225.65	c 1225s |      25 | 46494512 |  7098698 |   144516    118 |        0 |        0
1227.25/1227.66	c 1227s |      25 | 46497023 |  7100298 |   144516    118 |        0 |        0
1229.35/1229.71	c 1229s |      25 | 46500601 |  7102398 |   144516    118 |        0 |        0
1231.34/1231.77	c 1231s |      25 | 46503754 |  7104498 |   144516    118 |        0 |        0
1233.44/1233.85	c 1233s |      25 | 46506286 |  7106298 |   144516    118 |        0 |        0
1235.54/1235.91	c 1235s |      25 | 46509231 |  7108298 |   144516    118 |        0 |        0
1237.54/1237.98	c 1237s |      25 | 46512283 |  7110098 |   144516    118 |        0 |        0
1239.74/1240.11	c 1239s |      25 | 46514243 |  7111298 |   144516    118 |        0 |        0
1241.74/1242.12	c 1241s |      25 | 46516174 |  7112598 |   144516    118 |        0 |        0
1243.85/1244.23	c 1243s |      25 | 46518729 |  7113998 |   144516    118 |        0 |        0
1245.84/1246.28	c 1245s |      25 | 46520680 |  7115198 |   144516    118 |        0 |        0
1247.94/1248.31	c 1247s |      25 | 46523182 |  7116798 |   144516    118 |        0 |        0
1249.94/1250.39	c 1249s |      25 | 46525380 |  7117998 |   144516    118 |        0 |        0
1254.54/1254.95	c 1254s |      25 | 46527265 |  7119198 |   144516    119 |        0 |        0
1269.44/1269.87	c 1269s |      25 | 46527760 |  7119498 |   144516    119 |        0 |        0
1271.44/1271.89	c 1271s |      25 | 46531798 |  7121898 |   144516    119 |        0 |        0
1273.55/1273.94	c 1273s |      25 | 46535183 |  7124098 |   144516    119 |        0 |        0
1275.75/1276.18	c 1275s |      25 | 46538645 |  7126598 |   144516    119 |        0 |        0
1277.85/1278.30	c 1277s |      25 | 46541562 |  7128698 |   144516    119 |        0 |        0
1279.94/1280.37	c 1279s |      25 | 46544436 |  7130598 |   144516    119 |        0 |        0
1282.04/1282.44	c 1281s |      25 | 46548342 |  7132798 |   144516    119 |        0 |        0
1284.24/1284.62	c 1284s |      25 | 46550289 |  7133998 |   144516    119 |        0 |        0
1286.34/1286.77	c 1286s |      25 | 46551931 |  7135198 |   144516    119 |        0 |        0
1288.34/1288.78	c 1288s |      25 | 46553283 |  7136198 |   144516    119 |        0 |        0
1290.44/1290.83	c 1290s |      25 | 46555696 |  7137698 |   144516    119 |        0 |        0
1292.44/1292.89	c 1292s |      25 | 46557744 |  7138998 |   144516    119 |        0 |        0
1294.54/1294.93	c 1294s |      25 | 46559779 |  7140398 |   144516    119 |        0 |        0
1296.64/1297.06	c 1296s |      25 | 46561789 |  7141798 |   144516    119 |        0 |        0
1298.74/1299.18	c 1298s |      25 | 46563859 |  7143198 |   144516    119 |        0 |        0
1300.84/1301.21	c 1300s |      25 | 46565652 |  7144398 |   144516    119 |        0 |        0
1302.94/1303.30	c 1302s |      25 | 46568019 |  7145898 |   144516    119 |        0 |        0
1304.93/1305.31	c 1304s |      25 | 46569666 |  7146998 |   144516    119 |        0 |        0
1306.93/1307.36	c 1306s |      25 | 46572402 |  7148398 |   144516    119 |        0 |        0
1308.93/1309.39	c 1308s |      25 | 46579785 |  7152298 |   144516    119 |        0 |        0
1311.03/1311.46	c 1310s |      25 | 46581849 |  7153798 |   144516    119 |        0 |        0
1313.04/1313.47	c 1312s |      25 | 46583762 |  7155198 |   144516    119 |        0 |        0
1315.13/1315.57	c 1315s |      25 | 46585552 |  7156498 |   144516    119 |        0 |        0
1317.23/1317.60	c 1317s |      25 | 46587158 |  7157698 |   144516    119 |        0 |        0
1319.23/1319.62	c 1319s |      25 | 46588570 |  7158798 |   144516    119 |        0 |        0
1321.33/1321.79	c 1321s |      25 | 46589901 |  7159898 |   144516    119 |        0 |        0
1323.43/1323.87	c 1323s |      25 | 46591301 |  7160998 |   144516    119 |        0 |        0
1325.53/1325.92	c 1325s |      25 | 46593036 |  7162298 |   144516    119 |        0 |        0
1327.53/1327.96	c 1327s |      25 | 46595221 |  7163698 |   144516    119 |        0 |        0
1329.54/1330.00	c 1329s |      25 | 46597100 |  7165098 |   144516    119 |        0 |        0
1331.63/1332.00	c 1331s |      25 | 46599404 |  7166798 |   144516    119 |        0 |        0
1333.63/1334.05	c 1333s |      25 | 46601410 |  7168098 |   144516    119 |        0 |        0
1335.73/1336.11	c 1335s |      25 | 46604046 |  7169598 |   144516    119 |        0 |        0
1337.93/1338.34	c 1337s |      25 | 46608023 |  7172198 |   144516    119 |        0 |        0
1340.03/1340.45	c 1339s |      25 | 46609150 |  7173098 |   144516    119 |        0 |        0
1342.23/1342.60	c 1342s |      25 | 46610343 |  7173898 |   144516    119 |        0 |        0
1344.23/1344.61	c 1344s |      25 | 46611591 |  7174698 |   144516    119 |        0 |        0
1346.23/1346.68	c 1346s |      25 | 46614019 |  7176098 |   144516    119 |        0 |        0
1348.33/1348.76	c 1348s |      25 | 46615186 |  7176798 |   144516    119 |        0 |        0
1350.43/1350.83	c 1350s |      25 | 46616790 |  7177898 |   144516    119 |        0 |        0
1352.53/1352.95	c 1352s |      25 | 46618462 |  7178898 |   144516    119 |        0 |        0
1354.73/1355.14	c 1354s |      25 | 46619520 |  7179598 |   144516    119 |        0 |        0
1356.83/1357.23	c 1356s |      25 | 46620941 |  7180498 |   144516    119 |        0 |        0
1359.03/1359.46	c 1358s |      25 | 46622503 |  7181498 |   144516    119 |        0 |        0
1361.13/1361.57	c 1361s |      25 | 46625266 |  7183398 |   144516    119 |        0 |        0
1363.12/1363.58	c 1363s |      25 | 46626770 |  7184398 |   144516    119 |        0 |        0
1365.22/1365.64	c 1365s |      25 | 46628385 |  7185698 |   144516    119 |        0 |        0
1367.92/1368.32	c 1367s |      25 | 46630665 |  7187298 |   144516    119 |        0 |        0
1370.03/1370.48	c 1369s |      25 | 46631746 |  7188198 |   144516    119 |        0 |        0
1372.13/1372.57	c 1372s |      25 | 46632716 |  7188998 |   144516    119 |        0 |        0
1374.33/1374.75	c 1374s |      25 | 46636207 |  7191098 |   144516    119 |        0 |        0
1378.83/1379.27	c 1378s |      25 | 46637366 |  7191898 |   144516    120 |        0 |        0
1380.93/1381.31	c 1380s |      25 | 46638036 |  7192298 |   144516    120 |        0 |        0
1384.42/1384.84	c 1384s |      25 | 46638235 |  7192398 |   144516    120 |        0 |        0
1388.42/1388.84	c 1388s |      25 | 46639483 |  7193198 |   144516    120 |        0 |        0
1390.42/1390.86	c 1390s |      25 | 46642893 |  7195498 |   144516    120 |        0 |        0
1392.52/1392.94	c 1392s |      25 | 46645091 |  7196798 |   144516    120 |        0 |        0
1402.92/1403.32	c 1402s |      25 | 46645439 |  7196898 |   144516    120 |        0 |        0
1404.92/1405.38	c 1404s |      25 | 46649180 |  7199398 |   144516    120 |        0 |        0
1408.72/1409.20	c 1408s |      25 | 46652029 |  7200998 |   144516    120 |        0 |        0
1410.81/1411.21	c 1410s |      25 | 46655788 |  7203198 |   144516    120 |        0 |        0
1412.81/1413.21	c 1412s |      25 | 46658701 |  7205098 |   144516    120 |        0 |        0
1414.91/1415.32	c 1414s |      25 | 46662538 |  7207498 |   144516    120 |        0 |        0
1416.91/1417.39	c 1416s |      25 | 46665459 |  7209498 |   144516    120 |        0 |        0
1418.91/1419.39	c 1418s |      25 | 46675185 |  7212298 |   144516    120 |        0 |        0
1433.82/1434.29	c 1433s |      25 | 46676351 |  7212998 |   144516    120 |        0 |        0
1435.92/1436.32	c 1435s |      25 | 46683552 |  7216798 |   144516    120 |        0 |        0
1446.51/1446.96	c 1446s |      25 | 46688949 |  7219498 |   144516    120 |        0 |        0
1448.51/1449.00	c 1448s |      25 | 46701552 |  7226698 |   144516    120 |        0 |        0
1450.62/1451.03	c 1450s |      25 | 46709450 |  7231098 |   144516    120 |        0 |        0
1452.61/1453.07	c 1452s |      25 | 46715316 |  7234498 |   144516    120 |        0 |        0
1454.61/1455.08	c 1454s |      25 | 46719665 |  7237598 |   144516    120 |        0 |        0
1456.71/1457.14	c 1456s |      25 | 46725062 |  7240598 |   144516    120 |        0 |        0
1458.71/1459.16	c 1458s |      25 | 46731147 |  7243698 |   144516    120 |        0 |        0
1460.81/1461.21	c 1460s |      25 | 46736577 |  7246998 |   144516    120 |        0 |        0
1462.81/1463.27	c 1462s |      25 | 46742028 |  7250198 |   144516    120 |        0 |        0
1464.91/1465.32	c 1464s |      25 | 46854990 |  7261898 |   144516    120 |        0 |        0
1469.01/1469.40	c 1468s |      25 | 47017938 |  7270198 |   144516    121 |        0 |        0
1471.01/1471.41	c 1470s |      25 | 47138381 |  7287898 |   144516    121 |        0 |        0
1473.21/1473.60	c 1473s |      25 | 47309692 |  7293598 |   144516    121 |        0 |        0
1475.21/1475.61	c 1475s |      25 | 47454482 |  7304798 |   144516    121 |        0 |        0
1477.31/1477.73	c 1477s |      25 | 47656755 |  7321098 |   144516    121 |        0 |        0
1479.51/1479.91	c 1479s |      25 | 47739321 |  7339598 |   144516    122 |        0 |        0
1481.70/1482.10	c 1481s |      25 | 47916886 |  7351798 |   144516    122 |        0 |        0
1483.70/1484.10	c 1483s |      25 | 47983831 |  7370998 |   144516    122 |        0 |        0
1485.60/1486.10	c 1485s |      25 | 48016899 |  7383898 |   144516    122 |        0 |        0
1487.70/1488.10	c 1487s |      25 | 48135661 |  7399498 |   144516    122 |        0 |        0
1489.80/1490.29	c 1489s |      25 | 48226774 |  7415698 |   144516    123 |        0 |        0
1491.90/1492.30	c 1491s |      25 | 48263221 |  7433998 |   144516    123 |        0 |        0
1493.90/1494.30	c 1493s |      25 | 48358710 |  7454298 |   144516    123 |        0 |        0
1495.90/1496.30	c 1495s |      25 | 48516156 |  7463498 |   144516    123 |        0 |        0
1501.21/1501.68	c 1501s |      25 | 48608184 |  7465098 |   144516    123 |        0 |        0
1503.20/1503.69	c 1503s |      25 | 48728283 |  7482998 |   144516    123 |        0 |        0
1505.20/1505.69	c 1505s |      25 | 48750373 |  7496898 |   144516    124 |        0 |        0
1507.20/1507.69	c 1507s |      25 | 48779737 |  7514298 |   144516    124 |        0 |        0
1509.30/1509.70	c 1509s |      25 | 48815888 |  7531998 |   144516    124 |        0 |        0
1511.30/1511.71	c 1511s |      25 | 49022452 |  7544798 |   158968    124 |        0 |        0
1513.30/1513.72	c 1513s |      25 | 49181059 |  7559698 |   158968    124 |        0 |        0
1515.29/1515.73	c 1515s |      25 | 49282164 |  7574098 |   158968    124 |        0 |        0
1517.29/1517.73	c 1517s |      25 | 49314697 |  7592698 |   158968    125 |        0 |        0
1517.79/1518.29	c 1517s |      26 | 49322861 |  7597752 |   158968    125 |        0 |        0
1519.80/1520.30	c 1519s |      26 | 49476212 |  7611652 |   158968    125 |        0 |        0
1521.89/1522.32	c 1521s |      26 | 49498065 |  7625252 |   158968    125 |        0 |        0
1526.41/1526.88	c 1526s |      26 | 49548854 |  7630252 |   158968    125 |        0 |        0
1533.79/1534.24	c 1533s |      26 | 49552590 |  7632352 |   158968    125 |        0 |        0
1539.70/1540.14	c 1539s |      26 | 49557912 |  7632852 |   158968    125 |        0 |        0
1545.30/1545.74	c 1545s |      26 | 49558802 |  7633252 |   158968    125 |        0 |        0
1550.79/1551.27	c 1550s |      26 | 49582427 |  7633852 |   158968    125 |        0 |        0
1552.80/1553.27	c 1552s |      26 | 49720127 |  7648952 |   158968    125 |        0 |        0
1554.89/1555.35	c 1554s |      26 | 49740968 |  7660852 |   158968    126 |        0 |        0
1556.89/1557.35	c 1556s |      26 | 49959653 |  7670852 |   158968    126 |        0 |        0
1558.89/1559.35	c 1558s |      26 | 50084228 |  7690752 |   158968    126 |        0 |        0
1560.89/1561.37	c 1560s |      26 | 50119514 |  7708552 |   158968    126 |        0 |        0
1562.89/1563.37	c 1562s |      26 | 50142176 |  7718452 |   158968    126 |        0 |        0
1564.89/1565.37	c 1564s |      26 | 50371449 |  7733052 |   158968    126 |        0 |        0
1566.89/1567.39	c 1566s |      26 | 50502466 |  7740352 |   158968    127 |        0 |        0
1568.89/1569.39	c 1568s |      26 | 50744716 |  7754852 |   158968    127 |        0 |        0
1570.99/1571.40	c 1570s |      26 | 50780969 |  7774852 |   158968    127 |        0 |        0
1572.99/1573.49	c 1572s |      26 | 50932417 |  7793852 |   158968    127 |        0 |        0
1574.99/1575.49	c 1574s |      26 | 51093412 |  7809752 |   158968    127 |        0 |        0
1577.00/1577.50	c 1576s |      26 | 51345521 |  7819052 |   158968    128 |        0 |        0
1579.09/1579.53	c 1579s |      26 | 51491083 |  7836252 |   158968    128 |        0 |        0
1581.49/1581.91	c 1581s |      26 | 51672007 |  7849352 |   158968    128 |        0 |        0
1583.49/1583.97	c 1583s |      26 | 51870421 |  7863652 |   158968    128 |        0 |        0
1585.59/1586.05	c 1585s |      26 | 52034451 |  7879652 |   158968    128 |        0 |        0
1588.19/1588.63	c 1588s |      26 | 52215236 |  7885152 |   158968    128 |        0 |        0
1590.19/1590.69	c 1590s |      26 | 52400477 |  7899352 |   158968    129 |        0 |        0
1592.19/1592.69	c 1592s |      26 | 52421201 |  7912852 |   158968    129 |        0 |        0
1594.19/1594.69	c 1594s |      26 | 52544714 |  7926952 |   158968    129 |        0 |        0
1596.19/1596.69	c 1596s |      26 | 52576394 |  7946052 |   158968    129 |        0 |        0
1598.39/1598.84	c 1598s |      26 | 52766762 |  7960752 |   158968    129 |        0 |        0
1600.58/1601.03	c 1600s |      26 | 52928275 |  7977352 |   158968    130 |        0 |        0
1602.58/1603.05	c 1602s |      26 | 52973851 |  7999252 |   158968    130 |        0 |        0
1604.59/1605.06	c 1604s |      26 | 53019125 |  8016652 |   158968    130 |        0 |        0
1606.58/1607.06	c 1606s |      26 | 53038096 |  8029852 |   158968    130 |        0 |        0
1608.58/1609.08	c 1608s |      26 | 53049626 |  8038352 |   158968    130 |        0 |        0
1610.58/1611.09	c 1610s |      26 | 53059689 |  8045452 |   158968    130 |        0 |        0
1612.68/1613.10	c 1612s |      26 | 53067118 |  8050752 |   158968    130 |        0 |        0
1614.68/1615.12	c 1614s |      26 | 53073866 |  8055252 |   158968    130 |        0 |        0
1616.69/1617.14	c 1616s |      26 | 53078907 |  8058652 |   158968    131 |        0 |        0
1618.68/1619.15	c 1618s |      26 | 53101038 |  8069652 |   158968    131 |        0 |        0
1620.78/1621.29	c 1620s |      26 | 53131914 |  8085652 |   158968    131 |        0 |        0
1622.78/1623.29	c 1622s |      26 | 53268696 |  8106352 |   158968    131 |        0 |        0
1624.88/1625.34	c 1624s |      26 | 53330079 |  8127052 |   158968    131 |        0 |        0
1626.88/1627.35	c 1626s |      26 | 53451588 |  8139952 |   158968    132 |        0 |        0
1628.88/1629.35	c 1628s |      26 | 53551006 |  8151852 |   158968    132 |        0 |        0
1630.88/1631.35	c 1630s |      26 | 53704929 |  8170052 |   158968    132 |        0 |        0
1632.87/1633.36	c 1632s |      26 | 53775788 |  8187952 |   158968    132 |        0 |        0
1635.28/1635.72	c 1635s |      26 | 54028614 |  8197352 |   158968    132 |        0 |        0
1637.58/1638.04	c 1637s |      26 | 54109274 |  8217352 |   158968    133 |        0 |        0
1639.87/1640.34	c 1639s |      26 | 54273701 |  8227252 |   158968    133 |        0 |        0
1641.88/1642.36	c 1641s |      26 | 54394594 |  8246152 |   158968    133 |        0 |        0
1643.87/1644.37	c 1643s |      26 | 54712245 |  8254052 |   158968    133 |        0 |        0
1645.97/1646.46	c 1645s |      26 | 54767766 |  8274452 |   158968    133 |        0 |        0
1647.98/1648.47	c 1647s |      26 | 54922824 |  8285152 |   158968    133 |        0 |        0
1649.98/1650.49	c 1649s |      26 | 55022478 |  8300552 |   158968    134 |        0 |        0
1652.08/1652.51	c 1651s |      26 | 55205335 |  8317252 |   158968    134 |        0 |        0
1654.09/1654.58	c 1654s |      26 | 55344516 |  8330052 |   158968    134 |        0 |        0
1656.08/1656.59	c 1656s |      26 | 55378274 |  8350752 |   158968    134 |        0 |        0
1658.08/1658.59	c 1658s |      26 | 55405375 |  8364752 |   158968    134 |        0 |        0
1660.18/1660.60	c 1660s |      26 | 55460819 |  8380652 |   158968    135 |        0 |        0
1662.18/1662.60	c 1662s |      26 | 55551865 |  8394352 |   158968    135 |        0 |        0
1664.18/1664.62	c 1664s |      26 | 55628506 |  8413952 |   158968    135 |        0 |        0
1666.18/1666.62	c 1666s |      26 | 55819269 |  8429352 |   158968    135 |        0 |        0
1668.17/1668.64	c 1668s |      26 | 55845359 |  8443352 |   158968    135 |        0 |        0
1670.17/1670.64	c 1670s |      26 | 55861033 |  8453052 |   158968    135 |        0 |        0
1672.27/1672.76	c 1672s |      26 | 56131508 |  8461152 |   158968    136 |        0 |        0
1674.27/1674.77	c 1674s |      26 | 56285466 |  8480252 |   158968    136 |        0 |        0
1676.27/1676.78	c 1676s |      26 | 56476984 |  8495852 |   158968    136 |        0 |        0
1678.28/1678.78	c 1678s |      26 | 56544646 |  8508752 |   158968    136 |        0 |        0
1680.27/1680.78	c 1680s |      26 | 56573463 |  8525252 |   158968    136 |        0 |        0
1682.27/1682.79	c 1682s |      26 | 56597343 |  8539452 |   158968    136 |        0 |        0
1684.27/1684.80	c 1684s |      26 | 56615886 |  8549652 |   158968    137 |        0 |        0
1686.28/1686.80	c 1686s |      26 | 56634436 |  8560452 |   158968    137 |        0 |        0
1688.37/1688.81	c 1688s |      26 | 56654548 |  8570552 |   158968    137 |        0 |        0
1690.38/1690.82	c 1690s |      26 | 56670565 |  8579652 |   158968    137 |        0 |        0
1692.37/1692.83	c 1692s |      26 | 56689695 |  8590752 |   158968    137 |        0 |        0
1694.37/1694.83	c 1694s |      26 | 56743244 |  8603852 |   158968    137 |        0 |        0
1696.57/1697.00	c 1696s |      26 | 56832753 |  8622052 |   158968    138 |        0 |        0
1698.57/1699.00	c 1698s |      26 | 56865040 |  8640652 |   158968    138 |        0 |        0
1700.57/1701.02	c 1700s |      26 | 56891566 |  8656752 |   158968    138 |        0 |        0
1702.57/1703.08	c 1702s |      26 | 56999709 |  8666552 |   158968    138 |        0 |        0
1704.67/1705.12	c 1704s |      26 | 57083226 |  8678752 |   158968    138 |        0 |        0
1706.66/1707.16	c 1706s |      26 | 57129358 |  8689552 |   158968    138 |        0 |        0
1708.86/1709.35	c 1708s |      26 | 57250684 |  8702652 |   158968    139 |        0 |        0
1710.86/1711.35	c 1710s |      26 | 57462477 |  8714352 |   158968    139 |        0 |        0
1712.87/1713.35	c 1712s |      26 | 57536222 |  8733452 |   158968    139 |        0 |        0
1715.58/1716.05	c 1715s |      26 | 57712318 |  8746652 |   158968    139 |        0 |        0
1717.57/1718.06	c 1717s |      26 | 57794451 |  8760852 |   158968    139 |        0 |        0
1719.57/1720.07	c 1719s |      26 | 57819275 |  8771152 |   158968    139 |        0 |        0
1721.57/1722.08	c 1721s |      26 | 57858115 |  8777052 |   158968    139 |        0 |        0
1723.57/1724.08	c 1723s |      26 | 57945631 |  8794752 |   158968    140 |        0 |        0
1725.67/1726.10	c 1725s |      26 | 57964693 |  8806852 |   158968    140 |        0 |        0
1727.68/1728.10	c 1727s |      26 | 58054039 |  8819052 |   158968    140 |        0 |        0
1729.67/1730.11	c 1729s |      26 | 58183646 |  8834452 |   158968    140 |        0 |        0
1731.67/1732.14	c 1731s |      26 | 58229981 |  8849652 |   158968    140 |        0 |        0
1733.67/1734.14	c 1733s |      26 | 58273223 |  8867852 |   158968    141 |        0 |        0
1735.67/1736.18	c 1735s |      26 | 58331747 |  8877552 |   158968    141 |        0 |        0
1737.67/1738.18	c 1737s |      26 | 58531345 |  8881452 |   158968    141 |        0 |        0
1739.66/1740.19	c 1739s |      26 | 58590983 |  8896052 |   158968    141 |        0 |        0
1741.76/1742.20	c 1741s |      26 | 58607744 |  8907952 |   158968    141 |        0 |        0
1743.76/1744.21	c 1743s |      26 | 58625183 |  8916652 |   158968    141 |        0 |        0
1745.76/1746.22	c 1745s |      26 | 58677473 |  8930052 |   158968    141 |        0 |        0
1747.76/1748.23	c 1747s |      26 | 58698104 |  8938952 |   158968    141 |        0 |        0
1749.77/1750.23	c 1749s |      26 | 58713463 |  8946652 |   158968    142 |        0 |        0
1751.76/1752.25	c 1751s |      26 | 58723004 |  8952352 |   158968    142 |        0 |        0
1753.76/1754.26	c 1753s |      26 | 58737212 |  8958352 |   158968    142 |        0 |        0
1755.86/1756.31	c 1755s |      26 | 58745877 |  8962652 |   158968    142 |        0 |        0
1757.86/1758.33	c 1757s |      26 | 58752652 |  8965952 |   158968    142 |        0 |        0
1759.86/1760.34	c 1759s |      26 | 58759465 |  8969352 |   158968    142 |        0 |        0
1761.87/1762.36	c 1761s |      26 | 58765553 |  8972752 |   158968    142 |        0 |        0
1763.86/1764.38	c 1763s |      26 | 58771734 |  8975952 |   158968    142 |        0 |        0
1765.96/1766.41	c 1765s |      26 | 58777952 |  8979052 |   158968    142 |        0 |        0
1767.96/1768.42	c 1767s |      26 | 58784831 |  8982752 |   158968    142 |        0 |        0
1769.96/1770.42	c 1769s |      26 | 58805339 |  8990552 |   158968    142 |        0 |        0
1771.96/1772.43	c 1771s |      26 | 58835658 |  9007252 |   158968    142 |        0 |        0
1773.96/1774.43	c 1773s |      26 | 59019671 |  9018352 |   158968    142 |        0 |        0
1776.16/1776.63	c 1776s |      26 | 59049332 |  9035152 |   158968    143 |        0 |        0
1778.95/1779.48	c 1778s |      26 | 59133449 |  9044752 |   158968    143 |        0 |        0
1780.96/1781.49	c 1780s |      26 | 59171842 |  9066952 |   158968    143 |        0 |        0
1782.96/1783.49	c 1782s |      26 | 59201730 |  9084252 |   158968    143 |        0 |        0
1785.06/1785.51	c 1784s |      26 | 59230694 |  9097352 |   158968    143 |        0 |        0
1787.07/1787.52	c 1786s |      26 | 59340675 |  9105252 |   158968    143 |        0 |        0
1789.06/1789.55	c 1789s |      26 | 59452405 |  9114752 |   158968    144 |        0 |        0
1791.46/1791.94	c 1791s |      26 | 59485313 |  9131352 |   158968    144 |        0 |        0
1793.56/1794.09	c 1793s |      26 | 59632005 |  9138052 |   158968    144 |        0 |        0
1795.56/1796.09	c 1795s |      26 | 59799004 |  9156052 |   158968    144 |        0 |        0
1797.65/1798.10	c 1797s |      26 | 59872645 |  9173452 |   158968    144 |        0 |        0
1799.65/1800.10	c 1799s |      26 | 60033706 |  9185852 |   158968    145 |        0 |        0

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

pid=6919
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.24 2.17 2.11 3/178 6922
/proc/meminfo: memFree=30453300/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=658876 CPUtime=0 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 2443 0 0 0 0 0 0 0 20 0 4 0 3599867 674689024 3315 33554432000 4194304 16246674 140734955469856 140734955469280 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 165487 3326 441 2943 0 162381 0
[pid=6922/tid=6923] ppid=6919 vsize=677308 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 693563392 3386 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=681404 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 697757696 3404 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=685500 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 701952000 3421 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.24 2.17 2.11 3/178 6922
/proc/meminfo: memFree=30453300/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 26884 0 0 0 6 3 0 0 20 0 4 0 3599867 1333334016 27695 33554432000 4194304 16246674 140734955469856 140734955469168 8057278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 325521 27710 801 2943 0 322415 0
[pid=6922/tid=6923] ppid=6919 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1333334016 27720 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1333334016 27732 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1333334016 27743 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200513 s]
/proc/loadavg: 2.24 2.17 2.11 3/178 6922
/proc/meminfo: memFree=30453300/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 46031 0 0 0 13 5 0 0 20 0 4 0 3599867 1344868352 47352 33554432000 4194304 16246674 140734955469856 140734955469168 7367752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 328337 47352 801 2943 0 325231 0
[pid=6922/tid=6923] ppid=6919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1344868352 47352 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1344868352 47352 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1344868352 47352 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300494 s]
/proc/loadavg: 2.24 2.17 2.11 3/178 6922
/proc/meminfo: memFree=30453300/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 46175 0 0 0 23 5 0 0 20 0 4 0 3599867 1344868352 47496 33554432000 4194304 16246674 140734955469856 140734955469168 13954940 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 328337 47496 833 2943 0 325231 0
[pid=6922/tid=6923] ppid=6919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1344868352 47496 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1344868352 47496 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1344868352 47496 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700401 s]
/proc/loadavg: 2.24 2.17 2.11 3/178 6922
/proc/meminfo: memFree=30453300/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1334852 CPUtime=0.69 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 80963 0 0 0 58 11 0 0 20 0 4 0 3599867 1366888448 82284 33554432000 4194304 16246674 140734955469856 140734955469168 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 333713 82284 871 2943 0 330607 0
[pid=6922/tid=6923] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 82284 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 82284 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 82284 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1334852

[startup+1.50039 s]
/proc/loadavg: 2.24 2.17 2.11 3/182 6926
/proc/meminfo: memFree=29942584/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1334852 CPUtime=1.49 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 196396 0 0 0 121 28 0 0 20 0 4 0 3599867 1366888448 197717 33554432000 4194304 16246674 140734955469856 140734955451776 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 333713 197726 871 2943 0 330607 0
[pid=6922/tid=6923] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 197733 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 197738 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 197743 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1334852

[startup+3.10041 s]
/proc/loadavg: 2.24 2.17 2.11 3/182 6926
/proc/meminfo: memFree=29351104/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1334852 CPUtime=3.09 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 274370 0 0 0 270 39 0 0 20 0 4 0 3599867 1366888448 275691 33554432000 4194304 16246674 140734955469856 140734955467648 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 333713 275691 876 2943 0 330607 0
[pid=6922/tid=6923] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 275691 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 275691 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 275691 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1334852

[startup+6.30041 s]
/proc/loadavg: 2.22 2.17 2.10 3/182 6926
/proc/meminfo: memFree=29350936/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1334852 CPUtime=6.29 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 274380 0 0 0 590 39 0 0 20 0 4 0 3599867 1366888448 275701 33554432000 4194304 16246674 140734955469856 140734955452856 5519551 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 333713 275701 882 2943 0 330607 0
[pid=6922/tid=6923] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 275701 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 275701 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 275701 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1334852

[startup+12.7004 s]
/proc/loadavg: 2.20 2.17 2.10 3/182 6926
/proc/meminfo: memFree=29350804/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1334852 CPUtime=12.69 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 274380 0 0 0 1230 39 0 0 20 0 4 0 3599867 1366888448 275701 33554432000 4194304 16246674 140734955469856 140734955452856 13954559 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 333713 275701 882 2943 0 330607 0
[pid=6922/tid=6923] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 275701 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 275701 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 275701 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1334852

[startup+25.5005 s]
/proc/loadavg: 2.22 2.17 2.11 3/184 6928
/proc/meminfo: memFree=29351188/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1334852 CPUtime=25.48 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 274381 0 0 0 2509 39 0 0 20 0 4 0 3599867 1366888448 275702 33554432000 4194304 16246674 140734955469856 140734955451776 6011585 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 333713 275702 883 2943 0 330607 0
[pid=6922/tid=6923] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 275702 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 275702 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1366888448 275702 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1334852

[startup+51.1005 s]
/proc/loadavg: 2.20 2.17 2.11 3/184 6928
/proc/meminfo: memFree=29344836/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1340996 CPUtime=51.08 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 275917 0 0 0 5068 40 0 0 20 0 4 0 3599867 1373179904 277238 33554432000 4194304 16246674 140734955469856 140734955452856 13950986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 335249 277238 883 2943 0 332143 0
[pid=6922/tid=6923] ppid=6919 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1373179904 277238 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1373179904 277238 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1373179904 277238 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1340996

[startup+102.3 s]
/proc/loadavg: 2.20 2.18 2.11 3/183 6929
/proc/meminfo: memFree=29323852/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1351236 CPUtime=102.28 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 278478 0 0 0 10187 41 0 0 20 0 4 0 3599867 1383665664 279799 33554432000 4194304 16246674 140734955469856 140734955467648 5827632 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 337809 279799 884 2943 0 334703 0
[pid=6922/tid=6923] ppid=6919 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1383665664 279799 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1383665664 279799 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1383665664 279799 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1351236


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

/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310305 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1474116

[startup+1362.3 s]
/proc/loadavg: 2.23 2.17 2.10 3/183 6960
/proc/meminfo: memFree=29199672/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1474116 CPUtime=1361.92 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 309264 0 0 0 136124 68 0 0 20 0 4 0 3599867 1509494784 310305 33554432000 4194304 16246674 140734955469856 140734955451776 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 368529 310305 885 2943 0 365423 0
[pid=6922/tid=6923] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310305 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310305 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310305 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1474116

[startup+1422.3 s]
/proc/loadavg: 2.22 2.18 2.11 3/183 7010
/proc/meminfo: memFree=29960524/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1474116 CPUtime=1421.92 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 309482 0 0 0 142120 72 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 140734955468952 4226655 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 368529 310523 885 2943 0 365423 0
[pid=6922/tid=6923] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1474116

[startup+1482.3 s]
/proc/loadavg: 2.08 2.14 2.09 3/183 7012
/proc/meminfo: memFree=29187660/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1474116 CPUtime=1481.9 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 309482 0 0 0 148115 75 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 140734955469168 13774516 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 368529 310523 885 2943 0 365423 0
[pid=6922/tid=6923] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1474116

[startup+1542.31 s]
/proc/loadavg: 2.14 2.15 2.09 3/183 7013
/proc/meminfo: memFree=29177036/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1474116 CPUtime=1541.91 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 309482 0 0 0 154113 78 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 140734955468952 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 368529 310523 885 2943 0 365423 0
[pid=6922/tid=6923] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1474116

[startup+1602.3 s]
/proc/loadavg: 2.15 2.15 2.09 3/183 7013
/proc/meminfo: memFree=29177284/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1474116 CPUtime=1601.88 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 309482 0 0 0 160108 80 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 140734955452856 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 368529 310523 885 2943 0 365423 0
[pid=6922/tid=6923] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1474116

[startup+1662.3 s]
/proc/loadavg: 2.05 2.12 2.09 3/184 7018
/proc/meminfo: memFree=29156904/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1474116 CPUtime=1661.88 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 309482 0 0 0 166107 81 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 140734955452856 5823849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 368529 310523 885 2943 0 365423 0
[pid=6922/tid=6923] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1474116

[startup+1722.3 s]
/proc/loadavg: 2.06 2.11 2.09 3/184 7041
/proc/meminfo: memFree=29155904/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1474116 CPUtime=1721.87 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 309482 0 0 0 172104 83 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 140734955452856 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 368529 310523 885 2943 0 365423 0
[pid=6922/tid=6923] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1474116

[startup+1782.3 s]
/proc/loadavg: 2.05 2.10 2.09 3/183 7043
/proc/meminfo: memFree=29157060/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1474116 CPUtime=1781.86 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 309482 0 0 0 178102 84 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 140734955452856 5712248 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 368529 310523 885 2943 0 365423 0
[pid=6922/tid=6923] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1474116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.09 2.08 3/183 7044
/proc/meminfo: memFree=29157364/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1474116 CPUtime=1800.05 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 309482 0 0 0 179921 84 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 140734955452856 5672988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 368529 310523 885 2943 0 365423 0
[pid=6922/tid=6923] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1474116

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

[startup+1800.5 s]
/proc/loadavg: 2.04 2.09 2.08 3/183 7044
/proc/meminfo: memFree=29157364/32872528 swapFree=496356/529060
[pid=6922] ppid=6919 vsize=1474116 CPUtime=1800.05 cores=0,2,4,6
/proc/6922/stat : 6922 (toysat) R 6919 6922 5955 0 -1 4202496 309482 0 0 0 179921 84 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 140734955452856 5672988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6922/statm: 368529 310523 885 2943 0 365423 0
[pid=6922/tid=6923] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6923/stat : 6923 (toysat) S 6919 6922 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697598737648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6922/tid=6924] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6924/stat : 6924 (toysat) S 6919 6922 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697588247792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=1474116 CPUtime=0 cores=0,2,4,6
/proc/6922/task/6925/stat : 6925 (toysat) S 6919 6922 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3599867 1509494784 310523 33554432000 4194304 16246674 140734955469856 139697502284976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1474116

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1799.23
CPU system time (s): 0.855869
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 1474116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 0.855869
maximum resident set size= 1242092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309482
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= 991
involuntary context switches= 1938

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72228 second user time and 6.78997 second system time

The end

Begin job on node141 at 2016-06-15 20:32:24
IDJOB=4088777
IDBENCH=107312
IDSOLVER=2542
FILE ID=node141/4088777-1466015544
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/SUMINEQ/normalized-sumineqArity4pyramidP0125.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088777-1466015544/watcher-4088777-1466015544 -o /tmp/evaluation-result-4088777-1466015544/solver-4088777-1466015544 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088777-1466015544.opb

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

MD5SUM BENCH= 7df01ffbf71207497d9d79abf8ad3772
RANDOM SEED=2018801331

node141.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.547
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.09
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.547
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.547
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.54
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.547
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.55
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.547
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.56
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.547
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.547
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.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30453836 kB
Buffers:           13760 kB
Cached:            73140 kB
SwapCached:        13072 kB
Active:          1150912 kB
Inactive:          38456 kB
Active(anon):    1092556 kB
Inactive(anon):    12008 kB
Active(file):      58356 kB
Inactive(file):    26448 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             17140 kB
Writeback:             0 kB
AnonPages:       1621808 kB
Mapped:             9536 kB
Shmem:                 0 kB
Slab:             566192 kB
SReclaimable:      10120 kB
SUnreclaim:       556072 kB
KernelStack:        1512 kB
PageTables:         7480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1764928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    614400 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= 71716 MiB
End job on node141 at 2016-06-15 21:02:25