0.00/0.00	c 2016-06-07T08:11:46+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-4079200-1465279905.opb"]
0.00/0.01	c use --random-gen="386693093 1394318880 3451875094 1481701183 454349716 36564393 298354951 1948929482 728868657 1590242286 2888411717 2431562441 180148467 3012968605 13944126 2658143881 3533286907 2284968824 840337757 365880931 2011613697 3338942666 3243663797 36584445 498317322 4120497675 12652895 409916755 1778492466 462434890 1255011371 2838443224 3734490589 2529372348 3580521477 3997424885 1092082149 3592437949 2461624959 4154833291 2322771243 1092723113 1308867166 3642751333 892013125 741389690 3753792835 2189157898 283167823 4892677 2360204045 3190117081 988742755 3152300167 2369955862 2665653365 302651592 1002620000 3744998051 1639521120 3932006857 1015252393 3480909491 1178970041 3207045698 3740925034 2442756758 3397393171 4182676298 808628545 2397866829 2523520 2907688434 2708360045 1237425549 2118108890 3517734325 2366794583 3717436225 1859488259 1449819793 2021632310 2320361272 1072230916 2514355639 4008557237 324386034 2295744240 2572086149 3463443891 677471636 3293483593 2658479851 1910753478 1256905445 76271283 1671331712 2426425828 3950644456 2452175678 1085813724 2687178743 1489982853 2470588237 899933555 822649632 1421857676 982265217 2814168504 3177851581 3918348601 512756328 1892877639 2693831064 3805343511 3642001446 3414232209 1147712406 118631474 391222103 3470634869 1597527948 4210704360 2148202662 1005381080 2411463040 834901843 3005736306 2957130688 1080102814 1566951965 2676961221 2474116942 1163787778 3129049861 2891733881 3723008741 3637143166 2153590265 2030461352 2241163325 3204455019 711921926 1532150353 2132236349 2711296927 197626668 3453249412 1890404620 2466028610 2089027076 177436649 1573896682 1353373705 2056874213 189521985 2795729865 1694570275 948931545 245883235 3088780715 1029329737 4191656002 614292530 131497307 2865699515 1393722553 1059592868 2961236593 1502289771 3077731331 1520683773 2917321181 4285570906 308895267 3676249353 1604917259 405154789 4276921292 65375839 3904026500 2112115129 342283257 3003479619 330190022 868362437 3222584875 741722081 1581822109 1467872938 2712990273 2719052669 2804863119 3246381128 3635281467 2454533050 1283832432 4213187699 189927063 1248666931 3246771292 4054365344 283071041 1038472140 2253964797 338693233 911213152 2663921123 610516091 895054161 3647583861 2542545523 2742744425 1934790080 2868476032 3075659504 2579422601 3916914003 1657854791 2725330005 3869669162 1070980563 2681886284 2623735410 1649324133 3363604428 665186918 3996373477 328474466 2625148438 4164418295 1062669207 3057986606 4150019499 2082463917 4186602833 53275052 1783796786 1519383560 3982549268 2321434625 425660293 3562988341 245461888 721659588 905300952 1828909312 3077886062 3812825376 1423272540 873206234 749138266 190880818 2918642938 1713232501 3769163292 255 362436" option to reproduce the execution
0.08/0.19	c #vars 8904
0.08/0.19	c #constraints 823
0.48/0.52	c BCD2: Hardening is enabled.
0.48/0.52	c BCD2: BiasedSearch is enabled.
0.48/0.52	c Solving starts ...
0.48/0.52	c ============================[ Search Statistics ]============================
0.48/0.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.48/0.52	c       |         |          |          |    Limit     GC | Var      | Constra 
0.48/0.52	c =============================================================================
0.48/0.52	c  0.0s |       0 |        0 |        0 |     3516      0 |        0 |        0
0.68/0.71	c  0.2s |       1 |     5277 |      100 |     3516      0 |        2 |        0
0.88/0.91	c  0.4s |       2 |     8797 |      250 |     3868      0 |        2 |        0
1.09/1.17	c  0.7s |       3 |    12619 |      475 |     4255      0 |        2 |        0
1.38/1.47	c  0.9s |       4 |    22333 |      813 |     4681      0 |        3 |        0
1.87/1.95	c  1.4s |       5 |    27457 |     1320 |     5150      0 |        3 |        0
3.07/3.17	c  2.6s |       6 |    40589 |     2081 |     6233      0 |        3 |        0
4.17/4.27	c  3.7s |       7 |    61840 |     3223 |     6857      0 |        7 |        0
6.07/6.18	c  5.7s |       8 |    92410 |     4936 |     7543      0 |       17 |        0
8.07/8.19	c  7.7s |       8 |   111599 |     6836 |     7543      0 |       21 |        0
8.87/8.90	c  8.4s |       9 |   118810 |     7506 |     8298      0 |       22 |        0
10.87/10.99	c 10.5s |       9 |   145235 |     8806 |     8298      1 |       29 |        0
12.97/13.00	c 12.5s |       9 |   178102 |    10506 |     8298      1 |       32 |        0
13.77/13.85	c 13.3s |      10 |   186471 |    11361 |     9128      1 |       33 |        0
15.77/15.89	c 15.4s |      10 |   212291 |    12861 |     9128      1 |       39 |        0
17.87/17.93	c 17.4s |      10 |   225777 |    14161 |     9128      1 |       41 |        0
19.97/20.10	c 19.6s |      10 |   246258 |    15261 |     9128      2 |       45 |        0
22.06/22.11	c 21.6s |      10 |   262776 |    16661 |     9128      2 |       48 |        0
22.66/22.73	c 22.2s |      11 |   266262 |    17144 |    10041      2 |       48 |        0
24.76/24.83	c 24.3s |      11 |   290406 |    18744 |    10041      2 |       52 |        0
26.96/27.00	c 26.5s |      11 |   316933 |    20044 |    10041      3 |       56 |        0
28.96/29.01	c 28.5s |      11 |   337522 |    21844 |    10041      3 |       59 |        0
30.97/31.07	c 30.5s |      11 |   360229 |    23144 |    10041      3 |       63 |        0
33.06/33.11	c 32.6s |      11 |   370030 |    24644 |    10041      3 |       65 |        0
34.76/34.85	c 34.3s |      12 |   383570 |    25819 |    11046      4 |       69 |        0
36.86/36.92	c 36.4s |      12 |   398959 |    27719 |    11046      4 |       69 |        0
38.86/38.92	c 38.4s |      12 |   408894 |    29319 |    11046      4 |       71 |        0
41.06/41.13	c 40.6s |      12 |   416570 |    31019 |    11046      4 |       73 |        0
43.18/43.23	c 42.7s |      12 |   445989 |    32519 |    11046      4 |       75 |        0
45.38/45.42	c 44.9s |      12 |   465237 |    33719 |    11046      5 |       82 |        0
47.37/47.45	c 46.9s |      12 |   489257 |    35319 |    11046      5 |       86 |        0
49.47/49.52	c 49.0s |      12 |   509754 |    36719 |    11046      5 |       90 |        0
51.57/51.61	c 51.1s |      12 |   522023 |    37919 |    11046      5 |       91 |        0
53.77/53.81	c 53.3s |      12 |   528945 |    38819 |    12151      5 |       93 |        0
53.87/53.99	c 53.5s |      13 |   530021 |    38832 |    12151      5 |       94 |        0
56.07/56.10	c 55.6s |      13 |   550470 |    40032 |    12151      5 |       96 |        0
58.07/58.16	c 57.6s |      13 |   562471 |    41132 |    12151      6 |       99 |        0
60.26/60.34	c 59.8s |      13 |   582415 |    42632 |    12151      6 |      101 |        0
62.26/62.39	c 61.9s |      13 |   595603 |    43932 |    12151      6 |      104 |        0
64.46/64.58	c 64.1s |      13 |   613951 |    45332 |    12151      6 |      105 |        0
66.96/67.09	c 66.6s |      13 |   630431 |    46432 |    12151      7 |      108 |        0
69.06/69.13	c 68.6s |      13 |   636018 |    47932 |    12151      7 |      108 |        0
71.16/71.21	c 70.7s |      13 |   662702 |    49632 |    12151      7 |      109 |        0
73.16/73.26	c 72.7s |      13 |   679157 |    51232 |    12151      7 |      109 |        0
75.26/75.30	c 74.8s |      13 |   698641 |    52232 |    12151      7 |      113 |        0
77.36/77.41	c 76.9s |      13 |   710291 |    53532 |    12151      8 |      116 |        0
79.37/79.45	c 78.9s |      13 |   730997 |    55032 |    12151      8 |      120 |        0
81.36/81.45	c 80.9s |      13 |   751574 |    56432 |    12151      8 |      124 |        0
83.36/83.49	c 83.0s |      13 |   775838 |    57832 |    12151      8 |      129 |        0
84.46/84.54	c 84.0s |      14 |   780804 |    58352 |    13367      8 |      129 |        0
86.76/86.87	c 86.3s |      14 |   801073 |    59852 |    13367      8 |      130 |        0
88.86/88.91	c 88.4s |      14 |   820183 |    61052 |    13367      9 |      133 |        0
90.86/90.92	c 90.4s |      14 |   850208 |    62852 |    13367      9 |      134 |        0
93.16/93.23	c 92.7s |      14 |   874785 |    64252 |    13367      9 |      139 |        0
95.26/95.37	c 94.8s |      14 |   895525 |    65852 |    13367      9 |      141 |        0
97.26/97.38	c 96.9s |      14 |   915994 |    67452 |    13367      9 |      141 |        0
99.36/99.44	c 98.9s |      14 |   927970 |    68352 |    13367     10 |      149 |        0
101.46/101.54	c  101s |      14 |   944171 |    70252 |    13367     10 |      149 |        0
103.56/103.65	c  103s |      14 |   964270 |    72052 |    13367     10 |      150 |        0
105.65/105.70	c  105s |      14 |   976002 |    73452 |    13367     10 |      151 |        0
107.65/107.77	c  107s |      14 |   987286 |    74452 |    13367     11 |      152 |        0
109.75/109.82	c  109s |      14 |  1003373 |    75752 |    13367     11 |      157 |        0
111.75/111.86	c  111s |      14 |  1020001 |    76852 |    13367     11 |      161 |        0
113.85/113.92	c  113s |      14 |  1050519 |    78352 |    13367     11 |      162 |        0
115.85/115.93	c  115s |      14 |  1080888 |    80052 |    13367     11 |      163 |        0
117.96/118.01	c  117s |      14 |  1095368 |    81552 |    13367     11 |      165 |        0
119.95/120.08	c  119s |      14 |  1110591 |    82852 |    13367     12 |      166 |        0
122.05/122.15	c  121s |      14 |  1135256 |    84352 |    13367     12 |      169 |        0
124.16/124.27	c  123s |      14 |  1153065 |    85552 |    13367     12 |      170 |        0
126.26/126.34	c  125s |      14 |  1173917 |    86952 |    13367     12 |      172 |        0
127.06/127.11	c  126s |      15 |  1179019 |    87632 |    14704     12 |      172 |        0
129.06/129.17	c  128s |      15 |  1193964 |    89132 |    14704     12 |      173 |        0
131.06/131.19	c  130s |      15 |  1198753 |    90732 |    14704     12 |      173 |        0
133.15/133.23	c  132s |      15 |  1201261 |    91932 |    14704     13 |      173 |        0
135.15/135.25	c  134s |      15 |  1204385 |    93232 |    14704     13 |      173 |        0
137.25/137.33	c  136s |      15 |  1208166 |    94432 |    14704     13 |      173 |        0
139.45/139.51	c  138s |      15 |  1213652 |    95932 |    14704     13 |      173 |        0
141.45/141.54	c  141s |      15 |  1215411 |    96732 |    14704     13 |      173 |        0
143.55/143.65	c  143s |      15 |  1217307 |    97532 |    14704     13 |      173 |        0
145.65/145.73	c  145s |      15 |  1222268 |    98732 |    14704     13 |      173 |        0
147.75/147.80	c  147s |      15 |  1224552 |    99732 |    14704     14 |      173 |        0
149.95/150.00	c  149s |      15 |  1227527 |   100732 |    14704     14 |      173 |        0
151.95/152.08	c  151s |      15 |  1230318 |   101532 |    14704     14 |      173 |        0
154.15/154.26	c  153s |      15 |  1232919 |   102432 |    14704     14 |      173 |        0
156.24/156.31	c  155s |      15 |  1235219 |   103232 |    14704     14 |      173 |        0
158.25/158.35	c  157s |      15 |  1237303 |   104032 |    14704     14 |      173 |        0
160.35/160.47	c  159s |      15 |  1239108 |   104732 |    14704     14 |      173 |        0
162.45/162.54	c  162s |      15 |  1241809 |   105532 |    14704     14 |      173 |        0
164.55/164.67	c  164s |      15 |  1244371 |   106432 |    14704     14 |      173 |        0
166.64/166.70	c  166s |      15 |  1247125 |   107132 |    14704     14 |      173 |        0
168.74/168.84	c  168s |      15 |  1249480 |   107732 |    14704     15 |      173 |        0
170.84/170.98	c  170s |      15 |  1251286 |   108532 |    14704     15 |      173 |        0
173.04/173.16	c  172s |      15 |  1254723 |   109332 |    14704     15 |      173 |        0
175.06/175.17	c  174s |      15 |  1256247 |   110032 |    14704     15 |      173 |        0
177.15/177.24	c  176s |      15 |  1258374 |   110732 |    14704     15 |      173 |        0
179.25/179.30	c  178s |      15 |  1260583 |   111332 |    14704     15 |      173 |        0
181.54/181.65	c  181s |      15 |  1262233 |   111932 |    14704     15 |      173 |        0
183.85/183.91	c  183s |      15 |  1265031 |   112632 |    14704     15 |      173 |        0
186.15/186.27	c  185s |      15 |  1266250 |   113232 |    14704     15 |      173 |        0
188.54/188.61	c  188s |      15 |  1267954 |   113932 |    14704     15 |      173 |        0
190.64/190.79	c  190s |      15 |  1269129 |   114532 |    14704     15 |      173 |        0
192.74/192.82	c  192s |      15 |  1270217 |   115032 |    14704     15 |      173 |        0
195.14/195.23	c  194s |      15 |  1271335 |   115532 |    14704     15 |      173 |        0
197.44/197.51	c  196s |      15 |  1272374 |   116032 |    14704     16 |      173 |        0
199.64/199.79	c  199s |      15 |  1273664 |   116632 |    14704     16 |      173 |        0
201.94/202.07	c  201s |      15 |  1276159 |   117332 |    14704     16 |      173 |        0
204.24/204.35	c  203s |      15 |  1278253 |   117932 |    14704     16 |      173 |        0
206.34/206.46	c  205s |      15 |  1279844 |   118432 |    14704     16 |      173 |        0
208.64/208.71	c  208s |      15 |  1280793 |   118932 |    14704     16 |      173 |        0
211.23/211.39	c  210s |      15 |  1282257 |   119432 |    14704     16 |      173 |        0
213.65/213.77	c  213s |      15 |  1283954 |   120032 |    14704     16 |      173 |        0
215.75/215.81	c  215s |      15 |  1287407 |   120732 |    14704     16 |      173 |        0
217.74/217.82	c  217s |      15 |  1290547 |   121632 |    14704     16 |      173 |        0
219.94/220.04	c  219s |      15 |  1293639 |   122632 |    14704     16 |      173 |        0
221.94/222.05	c  221s |      15 |  1297173 |   123432 |    14704     17 |      173 |        0
224.04/224.16	c  223s |      15 |  1318857 |   124732 |    14704     17 |      174 |        0
226.44/226.51	c  225s |      15 |  1347883 |   126732 |    14704     17 |      176 |        0
228.54/228.64	c  228s |      15 |  1357841 |   128132 |    14704     17 |      177 |        0
230.54/230.65	c  230s |      15 |  1369228 |   129232 |    14704     17 |      177 |        0
232.64/232.73	c  232s |      15 |  1394708 |   131032 |    16175     17 |      177 |        0
233.44/233.59	c  233s |      16 |  1399967 |   131552 |    16175     17 |      178 |        0
235.74/235.82	c  235s |      16 |  1406427 |   132352 |    16175     18 |      180 |        0
237.74/237.89	c  237s |      16 |  1426138 |   133952 |    16175     18 |      181 |        0
239.84/239.92	c  239s |      16 |  1440564 |   135152 |    16175     18 |      183 |        0
241.94/242.02	c  241s |      16 |  1452761 |   136652 |    16175     18 |      183 |        0
244.03/244.12	c  243s |      16 |  1475382 |   138352 |    16175     18 |      185 |        0
246.13/246.22	c  245s |      16 |  1494807 |   139852 |    16175     18 |      185 |        0
248.13/248.24	c  247s |      16 |  1508204 |   141352 |    16175     19 |      186 |        0
250.23/250.32	c  249s |      16 |  1527710 |   142852 |    16175     19 |      186 |        0
252.33/252.40	c  251s |      16 |  1537226 |   144052 |    16175     19 |      186 |        0
254.43/254.51	c  253s |      16 |  1549561 |   145452 |    16175     19 |      186 |        0
256.63/256.71	c  256s |      16 |  1564226 |   146552 |    16175     19 |      189 |        0
258.63/258.74	c  258s |      16 |  1577408 |   147852 |    16175     19 |      190 |        0
260.63/260.77	c  260s |      16 |  1584292 |   149252 |    16175     19 |      191 |        0
262.93/263.05	c  262s |      16 |  1588668 |   150552 |    16175     20 |      191 |        0
265.03/265.17	c  264s |      16 |  1593931 |   151852 |    16175     20 |      191 |        0
267.13/267.21	c  266s |      16 |  1596367 |   152952 |    16175     20 |      191 |        0
269.13/269.21	c  268s |      16 |  1599208 |   154052 |    16175     20 |      191 |        0
271.12/271.28	c  270s |      16 |  1602855 |   155052 |    16175     20 |      191 |        0
273.43/273.54	c  273s |      16 |  1605047 |   155852 |    16175     20 |      191 |        0
275.63/275.71	c  275s |      16 |  1606930 |   156452 |    16175     20 |      191 |        0
277.63/277.78	c  277s |      16 |  1608072 |   157052 |    16175     20 |      191 |        0
279.83/279.95	c  279s |      16 |  1610200 |   157952 |    16175     20 |      191 |        0
282.03/282.15	c  281s |      16 |  1613238 |   158852 |    16175     20 |      191 |        0
284.33/284.43	c  283s |      16 |  1614961 |   159552 |    16175     20 |      191 |        0
286.63/286.79	c  286s |      16 |  1615722 |   160052 |    16175     21 |      191 |        0
288.83/288.92	c  288s |      16 |  1617826 |   160752 |    16175     21 |      191 |        0
291.03/291.10	c  290s |      16 |  1619492 |   161352 |    16175     21 |      191 |        0
293.43/293.56	c  293s |      16 |  1620199 |   161852 |    16175     21 |      191 |        0
295.73/295.81	c  295s |      16 |  1621231 |   162252 |    16175     21 |      191 |        0
298.03/298.17	c  297s |      16 |  1621888 |   162652 |    16175     21 |      191 |        0
300.43/300.60	c  300s |      16 |  1623211 |   163152 |    16175     21 |      191 |        0
302.82/302.94	c  302s |      16 |  1624519 |   163652 |    16175     21 |      191 |        0
304.93/305.08	c  304s |      16 |  1627292 |   164452 |    16175     21 |      191 |        0
307.03/307.12	c  306s |      16 |  1628906 |   165152 |    16175     21 |      191 |        0
309.33/309.48	c  308s |      16 |  1631055 |   165952 |    16175     21 |      191 |        0
311.32/311.48	c  310s |      16 |  1632594 |   166452 |    16175     21 |      191 |        0
313.42/313.52	c  312s |      16 |  1634075 |   166952 |    16175     21 |      191 |        0
315.53/315.68	c  315s |      16 |  1636336 |   167552 |    16175     21 |      191 |        0
318.03/318.16	c  317s |      16 |  1638461 |   168252 |    16175     22 |      191 |        0
320.23/320.36	c  319s |      16 |  1641957 |   168952 |    16175     22 |      191 |        0
322.43/322.54	c  322s |      16 |  1643442 |   169452 |    16175     22 |      191 |        0
324.63/324.78	c  324s |      16 |  1646618 |   170152 |    16175     22 |      191 |        0
326.72/326.88	c  326s |      16 |  1649341 |   170752 |    16175     22 |      191 |        0
329.13/329.24	c  328s |      16 |  1662995 |   171752 |    16175     22 |      193 |        0
331.23/331.32	c  330s |      16 |  1684049 |   173352 |    16175     22 |      193 |        0
333.22/333.33	c  332s |      16 |  1698413 |   174752 |    16175     22 |      193 |        0
335.22/335.35	c  334s |      16 |  1711563 |   175752 |    16175     22 |      193 |        0
337.42/337.50	c  336s |      16 |  1727089 |   176852 |    16175     23 |      194 |        0
339.42/339.51	c  338s |      16 |  1743031 |   177952 |    16175     23 |      196 |        0
341.52/341.60	c  341s |      16 |  1749502 |   179552 |    16175     23 |      196 |        0
343.52/343.61	c  343s |      16 |  1761170 |   180952 |    16175     23 |      197 |        0
345.62/345.71	c  345s |      16 |  1767745 |   182552 |    16175     23 |      197 |        0
347.72/347.86	c  347s |      16 |  1778729 |   183852 |    16175     23 |      197 |        0
349.71/349.86	c  349s |      16 |  1804872 |   185552 |    16175     23 |      197 |        0
351.82/351.94	c  351s |      16 |  1825313 |   186852 |    16175     24 |      197 |        0
353.82/353.94	c  353s |      16 |  1852809 |   188152 |    16175     24 |      197 |        0
355.82/355.97	c  355s |      16 |  1873361 |   189552 |    16175     24 |      198 |        0
357.92/358.09	c  357s |      16 |  1890511 |   191052 |    16175     24 |      202 |        0
360.12/360.24	c  359s |      16 |  1904343 |   192252 |    16175     24 |      204 |        0
362.22/362.30	c  361s |      16 |  1922021 |   193452 |    16175     24 |      207 |        0
364.32/364.49	c  363s |      16 |  1933053 |   194752 |    16175     25 |      210 |        0
366.42/366.56	c  366s |      16 |  1953733 |   196252 |    17793     25 |      213 |        0
368.12/368.23	c  367s |      17 |  1975055 |   197432 |    17793     25 |      214 |        0
370.21/370.30	c  369s |      17 |  1989117 |   198732 |    17793     25 |      214 |        0
372.41/372.57	c  372s |      17 |  2008907 |   200132 |    17793     25 |      215 |        0
374.41/374.58	c  374s |      17 |  2026188 |   201532 |    17793     25 |      216 |        0
376.51/376.64	c  376s |      17 |  2050485 |   202932 |    17793     25 |      216 |        0
378.52/378.68	c  378s |      17 |  2064749 |   204232 |    17793     25 |      216 |        0
380.82/380.93	c  380s |      17 |  2074408 |   205532 |    17793     26 |      216 |        0
382.81/382.99	c  382s |      17 |  2092041 |   207032 |    17793     26 |      217 |        0
384.91/385.03	c  384s |      17 |  2095875 |   207932 |    17793     26 |      217 |        0
386.91/387.07	c  386s |      17 |  2098202 |   208732 |    17793     26 |      217 |        0
388.91/389.08	c  388s |      17 |  2101326 |   209432 |    17793     26 |      218 |        0
391.01/391.17	c  390s |      17 |  2118933 |   210732 |    17793     26 |      221 |        0
393.41/393.55	c  393s |      17 |  2140467 |   212132 |    17793     26 |      223 |        0
395.41/395.57	c  395s |      17 |  2158921 |   213232 |    17793     26 |      225 |        0
397.41/397.57	c  397s |      17 |  2172928 |   214332 |    17793     27 |      226 |        0
399.51/399.64	c  399s |      17 |  2195175 |   215932 |    17793     27 |      227 |        0
401.61/401.75	c  401s |      17 |  2219776 |   217432 |    17793     27 |      228 |        0
403.70/403.85	c  403s |      17 |  2236036 |   218632 |    17793     27 |      231 |        0
405.80/405.92	c  405s |      17 |  2251061 |   220032 |    17793     27 |      231 |        0
408.00/408.13	c  407s |      17 |  2266432 |   221532 |    17793     27 |      232 |        0
410.11/410.23	c  409s |      17 |  2283789 |   222832 |    17793     27 |      232 |        0
412.11/412.25	c  411s |      17 |  2298446 |   223832 |    17793     28 |      233 |        0
414.11/414.29	c  413s |      17 |  2319471 |   225232 |    17793     28 |      233 |        0
416.41/416.55	c  416s |      17 |  2335564 |   226832 |    17793     28 |      234 |        0
418.51/418.67	c  418s |      17 |  2352021 |   228232 |    17793     28 |      234 |        0
420.51/420.68	c  420s |      17 |  2370992 |   229532 |    17793     28 |      234 |        0
422.61/422.73	c  422s |      17 |  2386856 |   230332 |    17793     28 |      238 |        0
424.61/424.80	c  424s |      17 |  2408187 |   231732 |    17793     28 |      238 |        0
427.01/427.12	c  426s |      17 |  2413802 |   232632 |    17793     29 |      240 |        0
429.11/429.23	c  428s |      17 |  2436236 |   234032 |    17793     29 |      243 |        0
431.31/431.46	c  430s |      17 |  2456410 |   235532 |    17793     29 |      245 |        0
433.40/433.57	c  433s |      17 |  2477577 |   236932 |    17793     29 |      245 |        0
435.60/435.70	c  435s |      17 |  2490525 |   238032 |    17793     29 |      247 |        0
437.70/437.84	c  437s |      17 |  2502636 |   239232 |    17793     29 |      248 |        0
439.70/439.85	c  439s |      17 |  2523069 |   240632 |    17793     29 |      250 |        0
441.70/441.86	c  441s |      17 |  2537052 |   241932 |    17793     30 |      252 |        0
443.80/443.94	c  443s |      17 |  2558389 |   243432 |    17793     30 |      253 |        0
445.90/446.02	c  445s |      17 |  2577526 |   244832 |    17793     30 |      254 |        0
447.91/448.05	c  447s |      17 |  2593775 |   246232 |    17793     30 |      254 |        0
449.90/450.06	c  449s |      17 |  2610584 |   247832 |    17793     30 |      254 |        0
452.00/452.17	c  451s |      17 |  2625604 |   249032 |    17793     30 |      255 |        0
454.20/454.34	c  453s |      17 |  2642286 |   250232 |    17793     30 |      257 |        0
456.20/456.37	c  455s |      17 |  2660773 |   251832 |    17793     30 |      257 |        0
458.30/458.48	c  457s |      17 |  2677902 |   253132 |    17793     31 |      258 |        0
460.40/460.54	c  460s |      17 |  2697954 |   254332 |    17793     31 |      262 |        0
462.50/462.65	c  462s |      17 |  2714403 |   255432 |    17793     31 |      264 |        0
464.50/464.67	c  464s |      17 |  2722330 |   256732 |    17793     31 |      264 |        0
466.60/466.78	c  466s |      17 |  2725157 |   257632 |    17793     31 |      264 |        0
468.70/468.88	c  468s |      17 |  2733881 |   258432 |    17793     31 |      264 |        0
470.79/470.95	c  470s |      17 |  2744961 |   259532 |    17793     31 |      265 |        0
472.90/473.01	c  472s |      17 |  2752709 |   260532 |    17793     31 |      265 |        0
475.10/475.20	c  474s |      17 |  2758744 |   261532 |    17793     31 |      265 |        0
477.20/477.34	c  476s |      17 |  2765637 |   262332 |    17793     32 |      266 |        0
479.30/479.43	c  478s |      17 |  2791159 |   263932 |    17793     32 |      266 |        0
481.30/481.45	c  480s |      17 |  2805734 |   265232 |    17793     32 |      267 |        0
483.30/483.49	c  482s |      17 |  2820348 |   266832 |    17793     32 |      268 |        0
485.59/485.72	c  485s |      17 |  2829183 |   268032 |    17793     32 |      269 |        0
487.59/487.76	c  487s |      17 |  2841104 |   269832 |    17793     32 |      269 |        0
489.70/489.84	c  489s |      17 |  2849433 |   270832 |    17793     33 |      270 |        0
491.80/491.90	c  491s |      17 |  2872013 |   272532 |    17793     33 |      271 |        0
493.79/493.98	c  493s |      17 |  2887054 |   274132 |    17793     33 |      272 |        0
495.89/496.02	c  495s |      17 |  2903109 |   275232 |    17793     33 |      277 |        0
497.89/498.03	c  497s |      17 |  2918721 |   276932 |    17793     33 |      278 |        0
499.89/500.06	c  499s |      17 |  2934090 |   278132 |    17793     33 |      279 |        0
502.09/502.22	c  501s |      17 |  2945072 |   279332 |    17793     33 |      280 |        0
504.09/504.23	c  503s |      17 |  2951869 |   280132 |    17793     34 |      281 |        0
506.20/506.33	c  505s |      17 |  2969690 |   281732 |    17793     34 |      284 |        0
508.19/508.38	c  507s |      17 |  2989684 |   283532 |    17793     34 |      284 |        0
510.29/510.46	c  509s |      17 |  3006296 |   285132 |    17793     34 |      285 |        0
512.48/512.65	c  512s |      17 |  3015496 |   286432 |    17793     34 |      285 |        0
514.59/514.77	c  514s |      17 |  3029938 |   287632 |    17793     34 |      286 |        0
516.69/516.88	c  516s |      17 |  3046541 |   289032 |    17793     34 |      286 |        0
518.89/519.08	c  518s |      17 |  3061087 |   290232 |    17793     35 |      287 |        0
520.99/521.18	c  520s |      17 |  3086020 |   291732 |    17793     35 |      288 |        0
523.09/523.25	c  522s |      17 |  3100861 |   293132 |    17793     35 |      288 |        0
525.09/525.25	c  524s |      17 |  3116888 |   294332 |    19573     35 |      291 |        0
527.19/527.30	c  526s |      17 |  3128811 |   295732 |    19573     35 |      291 |        0
527.99/528.10	c  527s |      18 |  3132044 |   296252 |    19573     35 |      291 |        0
529.99/530.11	c  529s |      18 |  3153963 |   297552 |    19573     35 |      292 |        0
532.09/532.23	c  531s |      18 |  3171946 |   298752 |    19573     35 |      292 |        0
534.09/534.27	c  533s |      18 |  3190428 |   300252 |    19573     35 |      292 |        0
536.29/536.44	c  535s |      18 |  3202515 |   301652 |    19573     36 |      293 |        0
538.39/538.52	c  538s |      18 |  3225512 |   303252 |    19573     36 |      294 |        0
540.38/540.53	c  540s |      18 |  3247567 |   304952 |    19573     36 |      294 |        0
542.49/542.69	c  542s |      18 |  3265544 |   306352 |    19573     36 |      295 |        0
544.59/544.77	c  544s |      18 |  3283273 |   307552 |    19573     36 |      298 |        0
546.68/546.88	c  546s |      18 |  3295734 |   308852 |    19573     36 |      298 |        0
548.78/548.97	c  548s |      18 |  3312739 |   310452 |    19573     36 |      298 |        0
550.78/550.99	c  550s |      18 |  3324870 |   311852 |    19573     36 |      298 |        0
552.88/553.07	c  552s |      18 |  3328802 |   312852 |    19573     37 |      298 |        0
555.08/555.27	c  554s |      18 |  3333333 |   313852 |    19573     37 |      298 |        0
557.18/557.31	c  556s |      18 |  3343967 |   315252 |    19573     37 |      299 |        0
559.18/559.32	c  558s |      18 |  3367220 |   316652 |    19573     37 |      299 |        0
561.19/561.36	c  560s |      18 |  3382029 |   317952 |    19573     37 |      299 |        0
563.29/563.42	c  562s |      18 |  3394515 |   319252 |    19573     37 |      300 |        0
565.59/565.75	c  565s |      18 |  3405124 |   320552 |    19573     37 |      301 |        0
567.69/567.90	c  567s |      18 |  3423762 |   322052 |    19573     37 |      301 |        0
569.89/570.07	c  569s |      18 |  3438451 |   323052 |    19573     38 |      302 |        0
571.98/572.10	c  571s |      18 |  3453081 |   324052 |    19573     38 |      307 |        0
574.08/574.25	c  573s |      18 |  3463759 |   325652 |    19573     38 |      308 |        0
576.08/576.27	c  575s |      18 |  3474391 |   326752 |    19573     38 |      308 |        0
578.18/578.32	c  577s |      18 |  3477465 |   327552 |    19573     38 |      308 |        0
580.27/580.43	c  579s |      18 |  3491379 |   328852 |    19573     38 |      309 |        0
582.37/582.55	c  582s |      18 |  3506287 |   329952 |    19573     38 |      310 |        0
584.47/584.68	c  584s |      18 |  3516685 |   331152 |    19573     38 |      312 |        0
586.48/586.69	c  586s |      18 |  3529931 |   332452 |    19573     38 |      312 |        0
588.69/588.84	c  588s |      18 |  3541253 |   333852 |    19573     38 |      312 |        0
590.68/590.85	c  590s |      18 |  3551722 |   334652 |    19573     39 |      313 |        0
592.68/592.89	c  592s |      18 |  3564775 |   335952 |    19573     39 |      314 |        0
594.78/594.99	c  594s |      18 |  3572397 |   337652 |    19573     39 |      314 |        0
596.98/597.13	c  596s |      18 |  3580122 |   338852 |    19573     39 |      314 |        0
599.08/599.26	c  598s |      18 |  3582687 |   339752 |    19573     39 |      314 |        0
601.37/601.54	c  601s |      18 |  3584238 |   340452 |    19573     39 |      314 |        0
603.47/603.68	c  603s |      18 |  3589177 |   341352 |    19573     39 |      314 |        0
605.67/605.88	c  605s |      18 |  3596715 |   342452 |    19573     39 |      314 |        0
607.78/607.94	c  607s |      18 |  3598794 |   343152 |    19573     39 |      314 |        0
610.08/610.24	c  609s |      18 |  3609727 |   344152 |    19573     40 |      315 |        0
612.08/612.26	c  611s |      18 |  3626486 |   345352 |    19573     40 |      317 |        0
614.18/614.36	c  613s |      18 |  3638056 |   346652 |    19573     40 |      317 |        0
616.48/616.65	c  616s |      18 |  3642103 |   347352 |    19573     40 |      317 |        0
619.07/619.27	c  618s |      18 |  3644800 |   347852 |    19573     40 |      317 |        0
621.27/621.49	c  620s |      18 |  3652232 |   348752 |    19573     40 |      317 |        0
623.47/623.65	c  623s |      18 |  3665076 |   349952 |    19573     40 |      318 |        0
625.57/625.72	c  625s |      18 |  3677687 |   350952 |    19573     40 |      319 |        0
627.57/627.78	c  627s |      18 |  3689652 |   352052 |    19573     40 |      319 |        0
629.77/629.91	c  629s |      18 |  3702397 |   353052 |    19573     40 |      320 |        0
632.67/632.87	c  632s |      18 |  3715924 |   354152 |    19573     41 |      321 |        0
634.77/634.95	c  634s |      18 |  3738736 |   355752 |    19573     41 |      321 |        0
636.86/637.00	c  636s |      18 |  3755500 |   357152 |    19573     41 |      321 |        0
638.86/639.00	c  638s |      18 |  3766374 |   358352 |    19573     41 |      322 |        0
640.87/641.04	c  640s |      18 |  3767437 |   358652 |    19573     41 |      322 |        0
642.87/643.09	c  642s |      18 |  3783616 |   359952 |    19573     41 |      322 |        0
645.07/645.22	c  644s |      18 |  3802034 |   361252 |    19573     41 |      322 |        0
647.16/647.31	c  646s |      18 |  3813474 |   362452 |    19573     41 |      323 |        0
649.36/649.51	c  648s |      18 |  3826474 |   363752 |    19573     41 |      324 |        0
651.37/651.53	c  651s |      18 |  3835126 |   364552 |    19573     42 |      325 |        0
653.47/653.70	c  653s |      18 |  3850158 |   366152 |    19573     42 |      326 |        0
655.67/655.83	c  655s |      18 |  3863850 |   367452 |    19573     42 |      327 |        0
657.76/657.95	c  657s |      18 |  3876663 |   368752 |    19573     42 |      327 |        0
659.75/659.95	c  659s |      18 |  3890360 |   370152 |    19573     42 |      328 |        0
661.75/661.98	c  661s |      18 |  3898744 |   371252 |    19573     42 |      329 |        0
663.75/663.98	c  663s |      18 |  3913543 |   372252 |    19573     42 |      330 |        0
665.95/666.12	c  665s |      18 |  3925428 |   373352 |    19573     42 |      330 |        0
668.05/668.27	c  667s |      18 |  3939909 |   374552 |    19573     42 |      330 |        0
670.15/670.31	c  669s |      18 |  3947961 |   375852 |    19573     42 |      330 |        0
672.15/672.36	c  671s |      18 |  3954118 |   376852 |    19573     42 |      330 |        0
674.35/674.51	c  673s |      18 |  3960681 |   377752 |    19573     42 |      330 |        0
676.35/676.54	c  676s |      18 |  3962935 |   378352 |    19573     42 |      330 |        0
678.45/678.61	c  678s |      18 |  3965828 |   378952 |    19573     43 |      330 |        0
680.45/680.70	c  680s |      18 |  3982960 |   380552 |    19573     43 |      330 |        0
682.55/682.76	c  682s |      18 |  3993956 |   381652 |    19573     43 |      332 |        0
684.55/684.77	c  684s |      18 |  4005590 |   382852 |    19573     43 |      334 |        0
686.74/686.92	c  686s |      18 |  4026144 |   384152 |    19573     43 |      334 |        0
688.75/688.94	c  688s |      18 |  4038197 |   385352 |    19573     43 |      334 |        0
690.85/691.07	c  690s |      18 |  4049416 |   386752 |    19573     43 |      334 |        0
692.84/693.09	c  692s |      18 |  4062360 |   387752 |    19573     44 |      335 |        0
695.04/695.23	c  694s |      18 |  4081045 |   389352 |    19573     44 |      335 |        0
697.04/697.25	c  696s |      18 |  4097478 |   390652 |    19573     44 |      335 |        0
699.03/699.25	c  698s |      18 |  4114965 |   392152 |    19573     44 |      336 |        0
701.03/701.26	c  700s |      18 |  4132875 |   393652 |    19573     44 |      336 |        0
703.13/703.31	c  702s |      18 |  4145709 |   395152 |    19573     44 |      336 |        0
705.14/705.40	c  704s |      18 |  4159370 |   396452 |    19573     44 |      336 |        0
707.23/707.48	c  706s |      18 |  4174752 |   397752 |    19573     44 |      336 |        0
709.32/709.53	c  709s |      18 |  4189656 |   399052 |    19573     44 |      336 |        0
711.42/711.64	c  711s |      18 |  4206319 |   400352 |    19573     45 |      336 |        0
713.52/713.72	c  713s |      18 |  4223601 |   401652 |    19573     45 |      336 |        0
715.52/715.74	c  715s |      18 |  4237890 |   402952 |    19573     45 |      337 |        0
717.62/717.83	c  717s |      18 |  4251414 |   404252 |    19573     45 |      338 |        0
719.62/719.86	c  719s |      18 |  4267916 |   405452 |    19573     45 |      338 |        0
721.73/721.97	c  721s |      18 |  4280462 |   406652 |    19573     45 |      338 |        0
723.93/724.13	c  723s |      18 |  4294340 |   407652 |    19573     45 |      339 |        0
725.92/726.16	c  725s |      18 |  4298400 |   408752 |    19573     45 |      339 |        0
728.01/728.22	c  727s |      18 |  4306200 |   409852 |    19573     46 |      339 |        0
730.01/730.27	c  729s |      18 |  4322761 |   411252 |    19573     46 |      340 |        0
732.11/732.31	c  731s |      18 |  4336209 |   412652 |    19573     46 |      340 |        0
734.52/734.75	c  734s |      18 |  4342919 |   413352 |    19573     46 |      343 |        0
736.62/736.84	c  736s |      18 |  4349539 |   414352 |    19573     46 |      344 |        0
738.62/738.89	c  738s |      18 |  4359145 |   415852 |    19573     46 |      344 |        0
740.92/741.14	c  740s |      18 |  4371033 |   417252 |    19573     46 |      344 |        0
743.02/743.21	c  742s |      18 |  4392572 |   418552 |    19573     46 |      344 |        0
745.12/745.32	c  744s |      18 |  4400792 |   419752 |    19573     46 |      344 |        0
747.22/747.41	c  746s |      18 |  4413231 |   420752 |    19573     47 |      345 |        0
749.31/749.56	c  749s |      18 |  4430777 |   422152 |    19573     47 |      345 |        0
751.42/751.67	c  751s |      18 |  4448990 |   423552 |    19573     47 |      346 |        0
753.52/753.72	c  753s |      18 |  4460387 |   424652 |    19573     47 |      347 |        0
755.51/755.74	c  755s |      18 |  4476613 |   426052 |    19573     47 |      347 |        0
757.71/757.92	c  757s |      18 |  4486265 |   427252 |    19573     47 |      348 |        0
759.70/759.92	c  759s |      18 |  4498428 |   428552 |    19573     47 |      348 |        0
761.90/762.15	c  761s |      18 |  4513813 |   429652 |    19573     47 |      348 |        0
764.10/764.31	c  763s |      18 |  4522187 |   430452 |    19573     47 |      348 |        0
766.40/766.66	c  766s |      18 |  4533605 |   431452 |    19573     48 |      348 |        0
768.50/768.75	c  768s |      18 |  4554054 |   432752 |    19573     48 |      348 |        0
770.49/770.76	c  770s |      18 |  4561698 |   433752 |    19573     48 |      348 |        0
773.19/773.44	c  772s |      18 |  4564194 |   434252 |    19573     48 |      348 |        0
775.70/775.98	c  775s |      18 |  4565042 |   434452 |    19573     48 |      348 |        0
777.90/778.15	c  777s |      18 |  4581320 |   435652 |    19573     48 |      350 |        0
779.90/780.16	c  779s |      18 |  4593143 |   436452 |    19573     48 |      353 |        0
782.69/782.90	c  782s |      18 |  4598784 |   437252 |    19573     48 |      353 |        0
784.69/784.91	c  784s |      18 |  4611455 |   437952 |    19573     48 |      353 |        0
786.79/787.09	c  786s |      18 |  4627499 |   439352 |    19573     48 |      353 |        0
788.88/789.17	c  788s |      18 |  4635384 |   440252 |    19573     48 |      355 |        0
790.99/791.20	c  790s |      18 |  4646876 |   441352 |    21531     48 |      355 |        0
793.09/793.33	c  792s |      18 |  4661308 |   442352 |    21531     49 |      356 |        0
795.18/795.45	c  794s |      18 |  4673311 |   443852 |    21531     49 |      356 |        0
796.28/796.51	c  795s |      19 |  4679437 |   444482 |    21531     49 |      357 |        0
798.29/798.55	c  798s |      19 |  4692327 |   445682 |    21531     49 |      357 |        0
800.38/800.61	c  800s |      19 |  4702792 |   446782 |    21531     49 |      357 |        0
802.48/802.77	c  802s |      19 |  4714872 |   448082 |    21531     49 |      359 |        0
804.58/804.88	c  804s |      19 |  4731083 |   449382 |    21531     49 |      359 |        0
806.68/806.95	c  806s |      19 |  4744469 |   450382 |    21531     49 |      361 |        0
808.77/809.00	c  808s |      19 |  4757812 |   451482 |    21531     49 |      361 |        0
810.87/811.17	c  810s |      19 |  4768164 |   452582 |    21531     49 |      361 |        0
812.98/813.26	c  812s |      19 |  4781078 |   453682 |    21531     49 |      361 |        0
815.08/815.36	c  814s |      19 |  4791121 |   454382 |    21531     50 |      363 |        0
817.07/817.40	c  816s |      19 |  4806619 |   455982 |    21531     50 |      363 |        0
819.27/819.50	c  818s |      19 |  4817006 |   457382 |    21531     50 |      363 |        0
821.27/821.58	c  821s |      19 |  4819108 |   458282 |    21531     50 |      363 |        0
823.47/823.73	c  823s |      19 |  4826523 |   459282 |    21531     50 |      363 |        0
825.47/825.73	c  825s |      19 |  4842943 |   460482 |    21531     50 |      363 |        0
827.57/827.82	c  827s |      19 |  4848711 |   461782 |    21531     50 |      364 |        0
829.56/829.85	c  829s |      19 |  4858289 |   462982 |    21531     50 |      364 |        0
831.86/832.11	c  831s |      19 |  4865877 |   463982 |    21531     50 |      366 |        0
833.96/834.22	c  833s |      19 |  4880949 |   465182 |    21531     50 |      366 |        0
836.17/836.45	c  835s |      19 |  4889125 |   466382 |    21531     50 |      366 |        0
838.27/838.53	c  838s |      19 |  4896087 |   467382 |    21531     51 |      367 |        0
840.47/840.75	c  840s |      19 |  4908172 |   468682 |    21531     51 |      367 |        0
842.56/842.86	c  842s |      19 |  4912631 |   469382 |    21531     51 |      367 |        0
844.66/844.95	c  844s |      19 |  4925884 |   470582 |    21531     51 |      368 |        0
846.76/847.01	c  846s |      19 |  4942746 |   472082 |    21531     51 |      368 |        0
848.75/849.06	c  848s |      19 |  4955265 |   473282 |    21531     51 |      368 |        0
850.75/851.07	c  850s |      19 |  4964003 |   474282 |    21531     51 |      369 |        0
852.95/853.22	c  852s |      19 |  4974703 |   475582 |    21531     51 |      369 |        0
854.95/855.28	c  854s |      19 |  4977945 |   476382 |    21531     51 |      369 |        0
857.15/857.46	c  856s |      19 |  4987199 |   477482 |    21531     51 |      369 |        0
859.75/860.04	c  859s |      19 |  4995697 |   478582 |    21531     52 |      369 |        0
861.85/862.11	c  861s |      19 |  5008523 |   480082 |    21531     52 |      370 |        0
863.94/864.25	c  863s |      19 |  5017471 |   481182 |    21531     52 |      370 |        0
866.05/866.30	c  865s |      19 |  5028579 |   482282 |    21531     52 |      370 |        0
868.05/868.36	c  867s |      19 |  5040694 |   483482 |    21531     52 |      370 |        0
870.15/870.44	c  869s |      19 |  5051392 |   484482 |    21531     52 |      371 |        0
872.35/872.65	c  872s |      19 |  5062107 |   485482 |    21531     52 |      373 |        0
874.45/874.74	c  874s |      19 |  5074969 |   486682 |    21531     52 |      374 |        0
876.44/876.76	c  876s |      19 |  5085367 |   487582 |    21531     52 |      377 |        0
878.54/878.87	c  878s |      19 |  5106161 |   488882 |    21531     52 |      377 |        0
880.64/880.98	c  880s |      19 |  5117315 |   489882 |    21531     53 |      378 |        0
882.84/883.10	c  882s |      19 |  5141449 |   491482 |    21531     53 |      378 |        0
884.94/885.20	c  884s |      19 |  5164489 |   492882 |    21531     53 |      378 |        0
887.04/887.35	c  886s |      19 |  5183823 |   494282 |    21531     53 |      378 |        0
889.23/889.55	c  889s |      19 |  5204547 |   495682 |    21531     53 |      378 |        0
891.33/891.63	c  891s |      19 |  5221592 |   496882 |    21531     53 |      378 |        0
893.33/893.69	c  893s |      19 |  5231470 |   498182 |    21531     53 |      379 |        0
895.44/895.74	c  895s |      19 |  5233046 |   498682 |    21531     53 |      379 |        0
897.64/897.90	c  897s |      19 |  5236846 |   499682 |    21531     53 |      379 |        0
899.63/900.00	c  899s |      19 |  5244865 |   500582 |    21531     53 |      380 |        0
901.73/902.03	c  901s |      19 |  5249379 |   501382 |    21531     53 |      380 |        0
903.82/904.16	c  903s |      19 |  5253274 |   502082 |    21531     53 |      380 |        0
906.12/906.46	c  905s |      19 |  5257511 |   502882 |    21531     53 |      380 |        0
908.12/908.48	c  907s |      19 |  5259421 |   503282 |    21531     53 |      380 |        0
910.22/910.59	c  910s |      19 |  5262231 |   503782 |    21531     54 |      380 |        0
912.42/912.70	c  912s |      19 |  5268352 |   504582 |    21531     54 |      380 |        0
914.42/914.76	c  914s |      19 |  5276197 |   505582 |    21531     54 |      380 |        0
916.53/916.83	c  916s |      19 |  5287428 |   506782 |    21531     54 |      380 |        0
918.62/918.96	c  918s |      19 |  5295388 |   507882 |    21531     54 |      380 |        0
920.73/921.04	c  920s |      19 |  5304383 |   509082 |    21531     54 |      380 |        0
922.83/923.20	c  922s |      19 |  5309431 |   510082 |    21531     54 |      380 |        0
925.03/925.32	c  924s |      19 |  5318777 |   511282 |    21531     54 |      380 |        0
927.12/927.43	c  926s |      19 |  5328716 |   512282 |    21531     54 |      380 |        0
929.21/929.57	c  929s |      19 |  5338059 |   513282 |    21531     54 |      380 |        0
931.41/931.79	c  931s |      19 |  5346876 |   514382 |    21531     54 |      380 |        0
933.61/933.91	c  933s |      19 |  5354729 |   515182 |    21531     54 |      380 |        0
936.21/936.54	c  936s |      19 |  5361750 |   515982 |    21531     55 |      380 |        0
938.40/938.77	c  938s |      19 |  5368677 |   516882 |    21531     55 |      380 |        0
940.60/940.96	c  940s |      19 |  5373697 |   517882 |    21531     55 |      380 |        0
943.50/943.88	c  943s |      19 |  5374535 |   518282 |    21531     55 |      380 |        0
945.70/946.07	c  945s |      19 |  5375986 |   518782 |    21531     55 |      380 |        0
947.81/948.16	c  947s |      19 |  5382138 |   519582 |    21531     55 |      380 |        0
949.80/950.17	c  949s |      19 |  5394390 |   520582 |    21531     55 |      380 |        0
952.10/952.41	c  951s |      19 |  5403760 |   521582 |    21531     55 |      380 |        0
954.10/954.49	c  953s |      19 |  5409023 |   522382 |    21531     55 |      380 |        0
956.30/956.65	c  956s |      19 |  5418374 |   523382 |    21531     55 |      380 |        0
958.39/958.74	c  958s |      19 |  5425120 |   524282 |    21531     55 |      380 |        0
960.69/961.00	c  960s |      19 |  5426690 |   524782 |    21531     55 |      380 |        0
962.79/963.17	c  962s |      19 |  5438142 |   525682 |    21531     55 |      380 |        0
964.89/965.23	c  964s |      19 |  5447809 |   526482 |    21531     55 |      380 |        0
966.99/967.32	c  966s |      19 |  5455827 |   527282 |    21531     55 |      380 |        0
969.58/969.91	c  969s |      19 |  5463867 |   528182 |    21531     56 |      380 |        0
971.78/972.12	c  971s |      19 |  5473441 |   529382 |    21531     56 |      380 |        0
973.98/974.31	c  973s |      19 |  5484744 |   530582 |    21531     56 |      380 |        0
975.98/976.37	c  975s |      19 |  5497239 |   531882 |    21531     56 |      380 |        0
978.18/978.59	c  978s |      19 |  5500728 |   532782 |    21531     56 |      380 |        0
980.28/980.69	c  980s |      19 |  5508459 |   533582 |    21531     56 |      380 |        0
982.48/982.82	c  982s |      19 |  5518754 |   534682 |    21531     56 |      380 |        0
984.49/984.83	c  984s |      19 |  5525735 |   535682 |    21531     56 |      380 |        0
986.69/987.05	c  986s |      19 |  5535101 |   536782 |    21531     56 |      380 |        0
988.97/989.37	c  988s |      19 |  5539745 |   537582 |    21531     56 |      380 |        0
991.17/991.51	c  990s |      19 |  5549894 |   538482 |    21531     56 |      380 |        0
993.37/993.70	c  993s |      19 |  5556082 |   539382 |    21531     56 |      380 |        0
995.47/995.83	c  995s |      19 |  5564058 |   540182 |    21531     57 |      380 |        0
997.67/998.05	c  997s |      19 |  5568895 |   540982 |    21531     57 |      380 |        0
999.66/1000.10	c  999s |      19 |  5580987 |   541882 |    21531     57 |      380 |        0
1001.86/1002.21	c 1001s |      19 |  5590228 |   543082 |    21531     57 |      380 |        0
1004.06/1004.49	c 1003s |      19 |  5593845 |   543782 |    21531     57 |      380 |        0
1006.37/1006.79	c 1006s |      19 |  5598312 |   544382 |    21531     57 |      380 |        0
1008.46/1008.89	c 1008s |      19 |  5601948 |   545082 |    21531     57 |      380 |        0
1010.66/1011.07	c 1010s |      19 |  5613988 |   546282 |    21531     57 |      380 |        0
1012.96/1013.31	c 1012s |      19 |  5619948 |   546882 |    21531     57 |      381 |        0
1014.95/1015.35	c 1014s |      19 |  5633071 |   547782 |    21531     57 |      383 |        0
1017.05/1017.43	c 1016s |      19 |  5646647 |   549182 |    21531     57 |      383 |        0
1019.15/1019.55	c 1019s |      19 |  5655447 |   550482 |    21531     57 |      383 |        0
1021.25/1021.61	c 1021s |      19 |  5661704 |   551082 |    21531     58 |      384 |        0
1023.35/1023.72	c 1023s |      19 |  5672364 |   552182 |    21531     58 |      384 |        0
1025.35/1025.75	c 1025s |      19 |  5680192 |   553082 |    21531     58 |      385 |        0
1027.35/1027.77	c 1027s |      19 |  5689329 |   554282 |    21531     58 |      388 |        0
1029.45/1029.84	c 1029s |      19 |  5703637 |   555782 |    21531     58 |      388 |        0
1031.54/1031.94	c 1031s |      19 |  5716200 |   556982 |    21531     58 |      388 |        0
1033.64/1034.05	c 1033s |      19 |  5733489 |   558382 |    21531     58 |      388 |        0
1035.64/1036.06	c 1035s |      19 |  5745392 |   559582 |    21531     58 |      388 |        0
1037.84/1038.22	c 1037s |      19 |  5758870 |   560682 |    21531     58 |      388 |        0
1039.93/1040.33	c 1039s |      19 |  5768888 |   561682 |    21531     58 |      388 |        0
1042.83/1043.28	c 1042s |      19 |  5782820 |   562782 |    21531     59 |      390 |        0
1044.94/1045.40	c 1044s |      19 |  5797168 |   564282 |    21531     59 |      391 |        0
1047.03/1047.45	c 1046s |      19 |  5813921 |   565682 |    21531     59 |      391 |        0
1049.12/1049.54	c 1049s |      19 |  5821915 |   566882 |    21531     59 |      391 |        0
1051.12/1051.55	c 1051s |      19 |  5832712 |   567882 |    21531     59 |      392 |        0
1053.22/1053.62	c 1053s |      19 |  5844898 |   569282 |    21531     59 |      392 |        0
1055.22/1055.70	c 1055s |      19 |  5853922 |   570482 |    21531     59 |      392 |        0
1057.32/1057.70	c 1057s |      19 |  5860544 |   571782 |    21531     59 |      392 |        0
1059.32/1059.73	c 1059s |      19 |  5864989 |   572882 |    21531     59 |      392 |        0
1061.52/1061.91	c 1061s |      19 |  5875611 |   574182 |    21531     59 |      392 |        0
1063.62/1064.05	c 1063s |      19 |  5887716 |   575382 |    21531     60 |      392 |        0
1066.22/1066.63	c 1066s |      19 |  5897724 |   576682 |    21531     60 |      392 |        0
1068.22/1068.65	c 1068s |      19 |  5902297 |   577582 |    21531     60 |      392 |        0
1070.32/1070.71	c 1070s |      19 |  5907961 |   578582 |    21531     60 |      392 |        0
1072.32/1072.71	c 1072s |      19 |  5913427 |   579682 |    21531     60 |      392 |        0
1074.52/1074.98	c 1074s |      19 |  5919985 |   580582 |    21531     60 |      395 |        0
1076.61/1077.07	c 1076s |      19 |  5936000 |   581782 |    21531     60 |      396 |        0
1078.81/1079.25	c 1078s |      19 |  5948893 |   583082 |    21531     60 |      396 |        0
1080.81/1081.28	c 1080s |      19 |  5958714 |   584282 |    21531     60 |      396 |        0
1082.91/1083.33	c 1082s |      19 |  5965431 |   585382 |    21531     60 |      396 |        0
1085.01/1085.44	c 1084s |      19 |  5970289 |   586082 |    21531     61 |      397 |        0
1087.11/1087.51	c 1086s |      19 |  5991518 |   587582 |    21531     61 |      397 |        0
1089.10/1089.52	c 1088s |      19 |  6002469 |   588782 |    21531     61 |      397 |        0
1091.20/1091.66	c 1091s |      19 |  6009978 |   589882 |    21531     61 |      397 |        0
1093.31/1093.76	c 1093s |      19 |  6023827 |   591082 |    21531     61 |      397 |        0
1095.30/1095.80	c 1095s |      19 |  6038932 |   592282 |    21531     61 |      397 |        0
1097.40/1097.82	c 1097s |      19 |  6045318 |   593182 |    21531     61 |      397 |        0
1099.39/1099.83	c 1099s |      19 |  6054623 |   594282 |    21531     61 |      397 |        0
1101.60/1102.08	c 1101s |      19 |  6061914 |   595282 |    21531     61 |      397 |        0
1103.70/1104.17	c 1103s |      19 |  6078302 |   596382 |    21531     61 |      398 |        0
1105.90/1106.31	c 1105s |      19 |  6086296 |   597382 |    21531     62 |      398 |        0
1108.00/1108.40	c 1107s |      19 |  6093586 |   599082 |    21531     62 |      398 |        0
1109.99/1110.46	c 1109s |      19 |  6107084 |   600282 |    21531     62 |      399 |        0
1112.09/1112.51	c 1111s |      19 |  6117787 |   601482 |    21531     62 |      399 |        0
1114.29/1114.79	c 1114s |      19 |  6129978 |   602682 |    21531     62 |      399 |        0
1116.49/1116.91	c 1116s |      19 |  6145837 |   603982 |    21531     62 |      399 |        0
1118.49/1118.93	c 1118s |      19 |  6157218 |   605282 |    21531     62 |      399 |        0
1120.58/1121.00	c 1120s |      19 |  6170316 |   606482 |    21531     62 |      399 |        0
1122.58/1123.00	c 1122s |      19 |  6182610 |   607282 |    21531     62 |      400 |        0
1124.58/1125.05	c 1124s |      19 |  6191802 |   608382 |    21531     62 |      400 |        0
1126.68/1127.12	c 1126s |      19 |  6197754 |   608982 |    21531     63 |      401 |        0
1128.78/1129.22	c 1128s |      19 |  6210754 |   610182 |    21531     63 |      404 |        0
1130.88/1131.39	c 1130s |      19 |  6230360 |   611782 |    21531     63 |      404 |        0
1132.98/1133.47	c 1132s |      19 |  6248774 |   613282 |    21531     63 |      405 |        0
1135.08/1135.54	c 1135s |      19 |  6255554 |   614682 |    21531     63 |      406 |        0
1137.08/1137.55	c 1137s |      19 |  6272937 |   615882 |    21531     63 |      406 |        0
1139.27/1139.71	c 1139s |      19 |  6286561 |   617082 |    21531     63 |      406 |        0
1141.37/1141.89	c 1141s |      19 |  6299755 |   618182 |    21531     63 |      407 |        0
1143.57/1144.04	c 1143s |      19 |  6307443 |   619182 |    21531     63 |      408 |        0
1145.67/1146.11	c 1145s |      19 |  6316639 |   620082 |    21531     64 |      409 |        0
1147.67/1148.15	c 1147s |      19 |  6326957 |   621382 |    21531     64 |      409 |        0
1149.66/1150.15	c 1149s |      19 |  6340383 |   622582 |    21531     64 |      409 |        0
1151.66/1152.18	c 1151s |      19 |  6347477 |   623782 |    21531     64 |      409 |        0
1153.77/1154.28	c 1153s |      19 |  6358085 |   625082 |    21531     64 |      409 |        0
1155.87/1156.40	c 1155s |      19 |  6362304 |   625982 |    21531     64 |      409 |        0
1157.97/1158.44	c 1157s |      19 |  6366773 |   626882 |    21531     64 |      409 |        0
1160.16/1160.66	c 1160s |      19 |  6374387 |   627882 |    21531     64 |      409 |        0
1162.26/1162.70	c 1162s |      19 |  6379919 |   628682 |    21531     64 |      409 |        0
1164.26/1164.73	c 1164s |      19 |  6389026 |   629482 |    21531     64 |      410 |        0
1166.46/1166.93	c 1166s |      19 |  6408100 |   630982 |    21531     64 |      410 |        0
1168.55/1169.07	c 1168s |      19 |  6410008 |   631582 |    21531     64 |      410 |        0
1170.55/1171.08	c 1170s |      19 |  6415333 |   632482 |    21531     65 |      410 |        0
1172.65/1173.12	c 1172s |      19 |  6430144 |   633782 |    21531     65 |      410 |        0
1174.75/1175.25	c 1174s |      19 |  6435034 |   634582 |    21531     65 |      410 |        0
1177.46/1177.92	c 1177s |      19 |  6437257 |   635182 |    21531     65 |      410 |        0
1179.45/1179.93	c 1179s |      19 |  6438677 |   635582 |    21531     65 |      410 |        0
1181.75/1182.23	c 1181s |      19 |  6439430 |   635882 |    21531     65 |      410 |        0
1183.85/1184.30	c 1183s |      19 |  6440324 |   636182 |    21531     65 |      410 |        0
1185.94/1186.48	c 1185s |      19 |  6441496 |   636482 |    21531     65 |      410 |        0
1188.34/1188.86	c 1188s |      19 |  6441905 |   636682 |    21531     65 |      410 |        0
1191.54/1192.05	c 1191s |      19 |  6442569 |   636982 |    21531     65 |      410 |        0
1194.74/1195.20	c 1194s |      19 |  6442887 |   637182 |    21531     65 |      410 |        0
1197.84/1198.38	c 1197s |      19 |  6443192 |   637382 |    21531     65 |      410 |        0
1199.94/1200.42	c 1199s |      19 |  6443832 |   637582 |    21531     65 |      410 |        0
1201.94/1202.47	c 1201s |      19 |  6446613 |   638182 |    21531     65 |      410 |        0
1204.04/1204.50	c 1203s |      19 |  6461074 |   639282 |    21531     65 |      410 |        0
1206.14/1206.62	c 1206s |      19 |  6469591 |   640282 |    21531     65 |      410 |        0
1208.14/1208.67	c 1208s |      19 |  6476304 |   641382 |    21531     65 |      410 |        0
1210.23/1210.71	c 1210s |      19 |  6482707 |   642282 |    21531     65 |      410 |        0
1212.33/1212.83	c 1212s |      19 |  6491333 |   643282 |    21531     65 |      410 |        0
1214.33/1214.85	c 1214s |      19 |  6497654 |   643982 |    21531     66 |      410 |        0
1216.34/1216.88	c 1216s |      19 |  6516846 |   645482 |    21531     66 |      411 |        0
1218.42/1218.99	c 1218s |      19 |  6532181 |   647082 |    21531     66 |      411 |        0
1220.62/1221.14	c 1220s |      19 |  6544217 |   648182 |    21531     66 |      411 |        0
1222.62/1223.17	c 1222s |      19 |  6553674 |   649182 |    21531     66 |      411 |        0
1224.62/1225.18	c 1224s |      19 |  6568664 |   650382 |    21531     66 |      411 |        0
1226.72/1227.28	c 1226s |      19 |  6575184 |   651582 |    21531     66 |      411 |        0
1228.81/1229.37	c 1228s |      19 |  6580750 |   652582 |    21531     66 |      411 |        0
1230.91/1231.41	c 1230s |      19 |  6587776 |   653982 |    21531     66 |      411 |        0
1232.92/1233.50	c 1232s |      19 |  6595571 |   655082 |    21531     66 |      411 |        0
1235.12/1235.66	c 1235s |      19 |  6600225 |   655582 |    21531     67 |      411 |        0
1237.22/1237.80	c 1237s |      19 |  6612724 |   656882 |    21531     67 |      411 |        0
1239.51/1240.05	c 1239s |      19 |  6618867 |   657882 |    21531     67 |      411 |        0
1241.61/1242.14	c 1241s |      19 |  6633774 |   658982 |    21531     67 |      412 |        0
1243.81/1244.33	c 1243s |      19 |  6639238 |   659782 |    21531     67 |      412 |        0
1245.81/1246.38	c 1245s |      19 |  6655828 |   661282 |    21531     67 |      412 |        0
1248.01/1248.51	c 1247s |      19 |  6671598 |   662582 |    23685     67 |      413 |        0
1250.10/1250.61	c 1250s |      19 |  6681198 |   663782 |    23685     67 |      413 |        0
1252.20/1252.71	c 1252s |      19 |  6691507 |   664582 |    23685     67 |      415 |        0
1254.30/1254.85	c 1254s |      19 |  6696913 |   665782 |    23685     67 |      415 |        0
1256.20/1256.75	c 1256s |      20 |  6700236 |   666827 |    23685     67 |      415 |        0
1258.30/1258.87	c 1258s |      20 |  6711201 |   667827 |    23685     67 |      415 |        0
1260.49/1261.03	c 1260s |      20 |  6725592 |   668927 |    23685     67 |      415 |        0
1262.50/1263.09	c 1262s |      20 |  6732915 |   669727 |    23685     68 |      415 |        0
1264.70/1265.26	c 1264s |      20 |  6747555 |   671027 |    23685     68 |      415 |        0
1266.79/1267.33	c 1266s |      20 |  6751747 |   671827 |    23685     68 |      415 |        0
1269.00/1269.60	c 1269s |      20 |  6760076 |   672727 |    23685     68 |      415 |        0
1271.30/1271.86	c 1271s |      20 |  6763671 |   673327 |    23685     68 |      415 |        0
1273.79/1274.31	c 1273s |      20 |  6764878 |   673727 |    23685     68 |      415 |        0
1275.99/1276.54	c 1276s |      20 |  6766467 |   674027 |    23685     68 |      415 |        0
1279.00/1279.54	c 1279s |      20 |  6767080 |   674227 |    23685     68 |      415 |        0
1281.09/1281.60	c 1281s |      20 |  6768385 |   674527 |    23685     68 |      415 |        0
1283.49/1284.03	c 1283s |      20 |  6769737 |   674827 |    23685     68 |      415 |        0
1285.79/1286.30	c 1285s |      20 |  6771616 |   675227 |    23685     68 |      415 |        0
1288.48/1289.03	c 1288s |      20 |  6773644 |   675627 |    23685     68 |      415 |        0
1290.88/1291.41	c 1290s |      20 |  6774085 |   675827 |    23685     68 |      415 |        0
1293.59/1294.11	c 1293s |      20 |  6774891 |   676127 |    23685     68 |      415 |        0
1295.89/1296.42	c 1295s |      20 |  6775259 |   676327 |    23685     68 |      415 |        0
1297.99/1298.56	c 1298s |      20 |  6775850 |   676527 |    23685     68 |      415 |        0
1300.39/1300.94	c 1300s |      20 |  6777150 |   676827 |    23685     68 |      415 |        0
1302.99/1303.58	c 1303s |      20 |  6777545 |   677027 |    23685     68 |      415 |        0
1306.60/1307.12	c 1306s |      20 |  6778567 |   677327 |    23685     68 |      415 |        0
1308.69/1309.21	c 1308s |      20 |  6780300 |   677627 |    23685     68 |      415 |        0
1311.18/1311.73	c 1311s |      20 |  6783275 |   678027 |    23685     68 |      415 |        0
1313.78/1314.31	c 1313s |      20 |  6784540 |   678327 |    23685     68 |      415 |        0
1316.58/1317.19	c 1316s |      20 |  6784817 |   678527 |    23685     68 |      415 |        0
1318.79/1319.32	c 1318s |      20 |  6786162 |   678827 |    23685     68 |      415 |        0
1321.38/1321.99	c 1321s |      20 |  6787000 |   679127 |    23685     68 |      415 |        0
1323.58/1324.18	c 1323s |      20 |  6788535 |   679427 |    23685     68 |      415 |        0
1325.78/1326.33	c 1325s |      20 |  6788999 |   679627 |    23685     68 |      415 |        0
1329.08/1329.66	c 1329s |      20 |  6789340 |   679827 |    23685     68 |      415 |        0
1332.18/1332.72	c 1332s |      20 |  6789749 |   680027 |    23685     68 |      415 |        0
1334.89/1335.42	c 1334s |      20 |  6790462 |   680227 |    23685     68 |      415 |        0
1336.88/1337.43	c 1336s |      20 |  6790975 |   680427 |    23685     68 |      415 |        0
1339.68/1340.27	c 1339s |      20 |  6791419 |   680627 |    23685     68 |      415 |        0
1342.18/1342.77	c 1342s |      20 |  6791809 |   680727 |    23685     68 |      415 |        0
1344.48/1345.04	c 1344s |      20 |  6792478 |   680927 |    23685     68 |      415 |        0
1347.87/1348.48	c 1347s |      20 |  6792920 |   681127 |    23685     68 |      415 |        0
1350.98/1351.51	c 1350s |      20 |  6793242 |   681327 |    23685     68 |      415 |        0
1353.89/1354.41	c 1353s |      20 |  6793608 |   681527 |    23685     68 |      415 |        0
1356.98/1357.57	c 1357s |      20 |  6793983 |   681727 |    23685     68 |      415 |        0
1359.17/1359.70	c 1359s |      20 |  6794614 |   681927 |    23685     68 |      415 |        0
1361.77/1362.35	c 1361s |      20 |  6798540 |   682227 |    23685     69 |      416 |        0
1363.87/1364.42	c 1363s |      20 |  6813515 |   683927 |    23685     69 |      416 |        0
1365.98/1366.52	c 1365s |      20 |  6818178 |   684927 |    23685     69 |      416 |        0
1367.97/1368.57	c 1368s |      20 |  6821953 |   685727 |    23685     69 |      416 |        0
1370.07/1370.60	c 1370s |      20 |  6824427 |   686627 |    23685     69 |      416 |        0
1372.18/1372.70	c 1372s |      20 |  6830590 |   687927 |    23685     69 |      416 |        0
1374.38/1374.91	c 1374s |      20 |  6832762 |   688827 |    23685     69 |      416 |        0
1376.58/1377.14	c 1376s |      20 |  6835157 |   689727 |    23685     69 |      416 |        0
1378.67/1379.20	c 1378s |      20 |  6837553 |   690227 |    23685     69 |      416 |        0
1381.17/1381.71	c 1381s |      20 |  6838432 |   690727 |    23685     69 |      416 |        0
1383.27/1383.83	c 1383s |      20 |  6840332 |   691427 |    23685     69 |      416 |        0
1385.47/1386.01	c 1385s |      20 |  6842817 |   692227 |    23685     69 |      416 |        0
1387.57/1388.17	c 1387s |      20 |  6846977 |   693027 |    23685     69 |      416 |        0
1389.57/1390.17	c 1389s |      20 |  6849078 |   693627 |    23685     69 |      416 |        0
1391.98/1392.58	c 1392s |      20 |  6849849 |   694127 |    23685     69 |      416 |        0
1394.08/1394.62	c 1394s |      20 |  6851394 |   694727 |    23685     69 |      416 |        0
1396.68/1397.27	c 1396s |      20 |  6852412 |   695127 |    23685     70 |      416 |        0
1398.88/1399.43	c 1398s |      20 |  6853726 |   695627 |    23685     70 |      416 |        0
1400.97/1401.53	c 1401s |      20 |  6854606 |   696127 |    23685     70 |      416 |        0
1403.07/1403.67	c 1403s |      20 |  6856285 |   696827 |    23685     70 |      416 |        0
1405.27/1405.82	c 1405s |      20 |  6857401 |   697427 |    23685     70 |      416 |        0
1407.47/1408.03	c 1407s |      20 |  6862209 |   698127 |    23685     70 |      416 |        0
1409.88/1410.41	c 1409s |      20 |  6862819 |   698527 |    23685     70 |      416 |        0
1411.97/1412.58	c 1412s |      20 |  6863469 |   698827 |    23685     70 |      416 |        0
1414.37/1414.99	c 1414s |      20 |  6865925 |   699327 |    23685     70 |      416 |        0
1416.76/1417.38	c 1416s |      20 |  6866512 |   699727 |    23685     70 |      416 |        0
1418.96/1419.57	c 1419s |      20 |  6868515 |   700227 |    23685     70 |      416 |        0
1421.07/1421.66	c 1421s |      20 |  6871300 |   700927 |    23685     70 |      416 |        0
1423.27/1423.85	c 1423s |      20 |  6877497 |   702027 |    23685     70 |      416 |        0
1425.37/1425.95	c 1425s |      20 |  6888086 |   703127 |    23685     70 |      416 |        0
1427.37/1427.96	c 1427s |      20 |  6896510 |   704027 |    23685     70 |      416 |        0
1429.46/1430.05	c 1429s |      20 |  6914086 |   705327 |    23685     70 |      416 |        0
1431.66/1432.20	c 1431s |      20 |  6920947 |   706127 |    23685     70 |      416 |        0
1433.66/1434.23	c 1433s |      20 |  6926543 |   706827 |    23685     70 |      416 |        0
1435.87/1436.42	c 1435s |      20 |  6936610 |   707827 |    23685     70 |      416 |        0
1437.97/1438.53	c 1438s |      20 |  6945941 |   708427 |    23685     71 |      416 |        0
1440.07/1440.62	c 1440s |      20 |  6955118 |   709327 |    23685     71 |      416 |        0
1442.16/1442.74	c 1442s |      20 |  6958925 |   709927 |    23685     71 |      416 |        0
1444.16/1444.77	c 1444s |      20 |  6967510 |   710927 |    23685     71 |      416 |        0
1446.27/1446.84	c 1446s |      20 |  6976073 |   712127 |    23685     71 |      417 |        0
1448.26/1448.90	c 1448s |      20 |  6983944 |   713727 |    23685     71 |      417 |        0
1450.36/1450.93	c 1450s |      20 |  6986964 |   714727 |    23685     71 |      417 |        0
1452.56/1453.10	c 1452s |      20 |  6996463 |   715727 |    23685     71 |      417 |        0
1454.66/1455.27	c 1454s |      20 |  7011794 |   717127 |    23685     71 |      417 |        0
1456.66/1457.29	c 1456s |      20 |  7017130 |   717927 |    23685     71 |      417 |        0
1458.76/1459.38	c 1458s |      20 |  7029943 |   719027 |    23685     71 |      417 |        0
1460.96/1461.52	c 1460s |      20 |  7044572 |   720327 |    23685     71 |      417 |        0
1463.06/1463.62	c 1463s |      20 |  7051867 |   721427 |    23685     71 |      417 |        0
1465.26/1465.86	c 1465s |      20 |  7058734 |   722427 |    23685     71 |      417 |        0
1467.36/1467.97	c 1467s |      20 |  7065238 |   723327 |    23685     72 |      417 |        0
1469.46/1470.04	c 1469s |      20 |  7078870 |   724427 |    23685     72 |      417 |        0
1471.57/1472.12	c 1471s |      20 |  7088980 |   725527 |    23685     72 |      417 |        0
1473.56/1474.12	c 1473s |      20 |  7105926 |   726827 |    23685     72 |      417 |        0
1475.56/1476.19	c 1475s |      20 |  7117638 |   727827 |    23685     72 |      417 |        0
1478.17/1478.71	c 1478s |      20 |  7133148 |   728727 |    23685     72 |      420 |        0
1480.27/1480.87	c 1480s |      20 |  7145186 |   730027 |    23685     72 |      420 |        0
1482.36/1482.99	c 1482s |      20 |  7152784 |   731027 |    23685     72 |      420 |        0
1484.67/1485.22	c 1484s |      20 |  7160913 |   732027 |    23685     72 |      420 |        0
1486.66/1487.28	c 1486s |      20 |  7168775 |   732727 |    23685     72 |      422 |        0
1488.86/1489.40	c 1488s |      20 |  7175595 |   733427 |    23685     73 |      423 |        0
1491.06/1491.63	c 1491s |      20 |  7189146 |   734727 |    23685     73 |      424 |        0
1493.26/1493.83	c 1493s |      20 |  7199104 |   736027 |    23685     73 |      424 |        0
1496.06/1496.67	c 1496s |      20 |  7211715 |   737227 |    23685     73 |      427 |        0
1498.16/1498.70	c 1498s |      20 |  7224876 |   738227 |    23685     73 |      427 |        0
1500.26/1500.85	c 1500s |      20 |  7236060 |   739227 |    23685     73 |      427 |        0
1502.45/1503.06	c 1502s |      20 |  7242903 |   740227 |    23685     73 |      427 |        0
1504.56/1505.11	c 1504s |      20 |  7255507 |   741127 |    23685     73 |      427 |        0
1506.66/1507.27	c 1506s |      20 |  7273192 |   742327 |    23685     73 |      427 |        0
1508.86/1509.47	c 1508s |      20 |  7279012 |   743227 |    23685     73 |      427 |        0
1511.06/1511.66	c 1511s |      20 |  7281332 |   743827 |    23685     73 |      427 |        0
1513.95/1514.50	c 1513s |      20 |  7283043 |   744327 |    23685     73 |      427 |        0
1517.05/1517.68	c 1517s |      20 |  7283968 |   744727 |    23685     73 |      427 |        0
1519.35/1519.93	c 1519s |      20 |  7284940 |   745027 |    23685     73 |      427 |        0
1521.75/1522.36	c 1521s |      20 |  7285835 |   745327 |    23685     73 |      427 |        0
1525.15/1525.74	c 1525s |      20 |  7286424 |   745627 |    23685     73 |      427 |        0
1527.35/1527.93	c 1527s |      20 |  7286840 |   745827 |    23685     73 |      427 |        0
1530.45/1531.07	c 1530s |      20 |  7287525 |   746127 |    23685     73 |      427 |        0
1534.26/1534.87	c 1534s |      20 |  7287946 |   746327 |    23685     73 |      427 |        0
1537.15/1537.71	c 1537s |      20 |  7288380 |   746527 |    23685     73 |      427 |        0
1540.25/1540.85	c 1540s |      20 |  7289565 |   746927 |    23685     73 |      427 |        0
1543.06/1543.62	c 1543s |      20 |  7290266 |   747227 |    23685     73 |      427 |        0
1546.75/1547.33	c 1546s |      20 |  7291092 |   747527 |    23685     73 |      427 |        0
1549.05/1549.68	c 1549s |      20 |  7291433 |   747727 |    23685     73 |      427 |        0
1552.96/1553.58	c 1553s |      20 |  7291791 |   747927 |    23685     73 |      427 |        0
1555.35/1555.91	c 1555s |      20 |  7291981 |   748027 |    23685     73 |      427 |        0
1558.84/1559.44	c 1558s |      20 |  7292620 |   748227 |    23685     74 |      427 |        0
1561.04/1561.61	c 1561s |      20 |  7306665 |   749227 |    23685     74 |      427 |        0
1563.14/1563.70	c 1563s |      20 |  7320872 |   750527 |    23685     74 |      427 |        0
1565.24/1565.87	c 1565s |      20 |  7335678 |   751627 |    23685     74 |      427 |        0
1567.44/1568.05	c 1567s |      20 |  7347814 |   752827 |    23685     74 |      427 |        0
1570.04/1570.62	c 1570s |      20 |  7354643 |   753627 |    23685     74 |      427 |        0
1572.24/1572.80	c 1572s |      20 |  7374384 |   754927 |    23685     74 |      427 |        0
1574.24/1574.85	c 1574s |      20 |  7387016 |   756027 |    23685     74 |      427 |        0
1576.44/1577.07	c 1576s |      20 |  7399140 |   757427 |    23685     74 |      427 |        0
1578.74/1579.30	c 1578s |      20 |  7403818 |   758327 |    23685     74 |      427 |        0
1581.24/1581.88	c 1581s |      20 |  7413431 |   759227 |    23685     75 |      427 |        0
1583.44/1584.06	c 1583s |      20 |  7418877 |   760027 |    23685     75 |      427 |        0
1585.54/1586.14	c 1585s |      20 |  7420135 |   760427 |    23685     75 |      427 |        0
1588.24/1588.85	c 1588s |      20 |  7421163 |   760827 |    23685     75 |      427 |        0
1591.35/1591.93	c 1591s |      20 |  7422240 |   761327 |    23685     75 |      427 |        0
1594.14/1594.75	c 1594s |      20 |  7422685 |   761527 |    23685     75 |      427 |        0
1596.64/1597.20	c 1596s |      20 |  7423518 |   761827 |    23685     75 |      427 |        0
1599.05/1599.67	c 1599s |      20 |  7424138 |   762227 |    23685     75 |      427 |        0
1601.54/1602.13	c 1601s |      20 |  7424820 |   762527 |    23685     75 |      427 |        0
1603.54/1604.19	c 1603s |      20 |  7425887 |   762927 |    23685     75 |      427 |        0
1606.04/1606.65	c 1606s |      20 |  7427939 |   763527 |    23685     75 |      427 |        0
1608.23/1608.86	c 1608s |      20 |  7435046 |   764427 |    23685     75 |      427 |        0
1610.43/1611.08	c 1610s |      20 |  7435511 |   764727 |    23685     75 |      427 |        0
1612.64/1613.22	c 1612s |      20 |  7440400 |   765427 |    23685     75 |      427 |        0
1614.74/1615.34	c 1614s |      20 |  7458891 |   766527 |    23685     75 |      427 |        0
1616.75/1617.38	c 1616s |      20 |  7467260 |   767427 |    23685     75 |      427 |        0
1618.74/1619.38	c 1618s |      20 |  7478325 |   768527 |    23685     75 |      427 |        0
1620.94/1621.51	c 1620s |      20 |  7482719 |   769327 |    23685     75 |      427 |        0
1622.94/1623.56	c 1623s |      20 |  7492788 |   770227 |    23685     75 |      427 |        0
1625.14/1625.73	c 1625s |      20 |  7499829 |   771227 |    23685     75 |      427 |        0
1627.24/1627.81	c 1627s |      20 |  7502916 |   771927 |    23685     75 |      427 |        0
1629.74/1630.34	c 1629s |      20 |  7513945 |   772927 |    23685     76 |      427 |        0
1631.73/1632.36	c 1631s |      20 |  7525217 |   774127 |    23685     76 |      427 |        0
1633.83/1634.40	c 1633s |      20 |  7529160 |   774927 |    23685     76 |      427 |        0
1635.94/1636.54	c 1636s |      20 |  7535016 |   775927 |    23685     76 |      427 |        0
1637.94/1638.58	c 1638s |      20 |  7552432 |   777327 |    23685     76 |      427 |        0
1640.24/1640.81	c 1640s |      20 |  7561982 |   778827 |    23685     76 |      427 |        0
1642.24/1642.87	c 1642s |      20 |  7574282 |   779827 |    23685     76 |      427 |        0
1644.44/1645.08	c 1644s |      20 |  7582468 |   780927 |    23685     76 |      427 |        0
1646.64/1647.24	c 1646s |      20 |  7591525 |   781827 |    23685     76 |      427 |        0
1648.64/1649.29	c 1648s |      20 |  7600271 |   782827 |    23685     76 |      427 |        0
1650.74/1651.38	c 1650s |      20 |  7605374 |   783827 |    23685     76 |      427 |        0
1653.04/1653.63	c 1653s |      20 |  7615990 |   785127 |    23685     76 |      427 |        0
1655.14/1655.78	c 1655s |      20 |  7622599 |   786227 |    23685     76 |      427 |        0
1657.54/1658.19	c 1657s |      20 |  7627315 |   786827 |    23685     77 |      428 |        0
1659.64/1660.29	c 1659s |      20 |  7644188 |   788327 |    23685     77 |      428 |        0
1661.74/1662.33	c 1661s |      20 |  7659579 |   789627 |    23685     77 |      428 |        0
1663.83/1664.50	c 1663s |      20 |  7668126 |   791027 |    23685     77 |      428 |        0
1666.03/1666.64	c 1666s |      20 |  7681252 |   792227 |    23685     77 |      428 |        0
1668.03/1668.65	c 1668s |      20 |  7691910 |   793327 |    23685     77 |      428 |        0
1670.23/1670.82	c 1670s |      20 |  7703535 |   794427 |    23685     77 |      428 |        0
1672.63/1673.26	c 1672s |      20 |  7711394 |   795527 |    23685     77 |      429 |        0
1674.73/1675.34	c 1674s |      20 |  7719917 |   796627 |    23685     77 |      429 |        0
1677.03/1677.64	c 1677s |      20 |  7726365 |   797527 |    23685     77 |      429 |        0
1679.13/1679.74	c 1679s |      20 |  7727682 |   797927 |    23685     77 |      429 |        0
1681.12/1681.77	c 1681s |      20 |  7729134 |   798327 |    23685     77 |      429 |        0
1683.22/1683.85	c 1683s |      20 |  7729871 |   798627 |    23685     77 |      429 |        0
1685.32/1685.94	c 1685s |      20 |  7731530 |   799027 |    23685     77 |      429 |        0
1687.62/1688.24	c 1687s |      20 |  7733438 |   799527 |    23685     77 |      429 |        0
1689.72/1690.32	c 1689s |      20 |  7733999 |   799827 |    23685     77 |      429 |        0
1691.82/1692.46	c 1691s |      20 |  7734551 |   800127 |    23685     77 |      429 |        0
1694.74/1695.32	c 1694s |      20 |  7734970 |   800427 |    23685     77 |      429 |        0
1697.04/1697.65	c 1697s |      20 |  7747224 |   801027 |    23685     78 |      430 |        0
1699.03/1699.66	c 1699s |      20 |  7758720 |   802227 |    23685     78 |      430 |        0
1701.13/1701.73	c 1701s |      20 |  7767084 |   803527 |    23685     78 |      431 |        0
1703.13/1703.74	c 1703s |      20 |  7771872 |   805327 |    23685     78 |      431 |        0
1705.22/1705.88	c 1705s |      20 |  7780431 |   806427 |    23685     78 |      431 |        0
1707.62/1708.20	c 1707s |      20 |  7793343 |   807627 |    23685     78 |      431 |        0
1709.62/1710.29	c 1709s |      20 |  7801862 |   808527 |    23685     78 |      431 |        0
1711.82/1712.42	c 1711s |      20 |  7807625 |   809427 |    23685     78 |      431 |        0
1713.92/1714.56	c 1714s |      20 |  7816333 |   810427 |    23685     78 |      431 |        0
1716.32/1716.99	c 1716s |      20 |  7817703 |   810927 |    23685     78 |      431 |        0
1718.42/1719.01	c 1718s |      20 |  7820329 |   811527 |    23685     78 |      431 |        0
1720.63/1721.29	c 1720s |      20 |  7824893 |   811927 |    23685     79 |      433 |        0
1722.83/1723.44	c 1722s |      20 |  7839316 |   813127 |    23685     79 |      433 |        0
1724.83/1725.48	c 1724s |      20 |  7851725 |   814427 |    23685     79 |      433 |        0
1726.83/1727.49	c 1726s |      20 |  7864083 |   815827 |    23685     79 |      433 |        0
1728.93/1729.58	c 1729s |      20 |  7870239 |   817027 |    23685     79 |      433 |        0
1731.03/1731.67	c 1731s |      20 |  7875424 |   818027 |    23685     79 |      433 |        0
1733.12/1733.76	c 1733s |      20 |  7881052 |   819227 |    23685     79 |      433 |        0
1735.12/1735.79	c 1735s |      20 |  7885726 |   820527 |    23685     79 |      433 |        0
1737.22/1737.83	c 1737s |      20 |  7888784 |   821727 |    23685     79 |      433 |        0
1739.42/1740.04	c 1739s |      20 |  7891209 |   822727 |    23685     79 |      433 |        0
1741.52/1742.17	c 1741s |      20 |  7892715 |   823527 |    23685     79 |      433 |        0
1743.92/1744.59	c 1744s |      20 |  7894197 |   824127 |    23685     80 |      433 |        0
1746.02/1746.62	c 1746s |      20 |  7911511 |   825527 |    23685     80 |      433 |        0
1748.12/1748.75	c 1748s |      20 |  7926089 |   826927 |    23685     80 |      434 |        0
1750.42/1751.01	c 1750s |      20 |  7934036 |   827927 |    23685     80 |      434 |        0
1752.62/1753.22	c 1752s |      20 |  7947105 |   828927 |    23685     80 |      434 |        0
1754.62/1755.23	c 1754s |      20 |  7955379 |   829727 |    23685     80 |      434 |        0
1756.62/1757.24	c 1756s |      20 |  7961167 |   830627 |    23685     80 |      434 |        0
1758.72/1759.36	c 1758s |      20 |  7969403 |   831627 |    23685     80 |      434 |        0
1760.83/1761.48	c 1760s |      20 |  7985356 |   832627 |    23685     80 |      434 |        0
1762.93/1763.58	c 1763s |      20 |  8006773 |   833927 |    23685     80 |      434 |        0
1765.02/1765.66	c 1765s |      20 |  8025305 |   835127 |    23685     80 |      434 |        0
1767.33/1767.99	c 1767s |      20 |  8029140 |   835927 |    23685     80 |      434 |        0
1769.42/1770.04	c 1769s |      20 |  8036054 |   836727 |    23685     80 |      434 |        0
1771.42/1772.07	c 1771s |      20 |  8049340 |   837727 |    23685     81 |      434 |        0
1773.42/1774.08	c 1773s |      20 |  8057108 |   838827 |    23685     81 |      435 |        0
1775.52/1776.11	c 1775s |      20 |  8074921 |   839927 |    23685     81 |      436 |        0
1777.52/1778.16	c 1777s |      20 |  8091395 |   841127 |    23685     81 |      436 |        0
1779.72/1780.33	c 1779s |      20 |  8108558 |   842427 |    23685     81 |      436 |        0
1781.82/1782.43	c 1781s |      20 |  8127231 |   843827 |    23685     81 |      436 |        0
1783.92/1784.54	c 1784s |      20 |  8137558 |   844827 |    23685     81 |      437 |        0
1786.02/1786.69	c 1786s |      20 |  8145795 |   846227 |    23685     81 |      437 |        0
1788.22/1788.86	c 1788s |      20 |  8155946 |   847327 |    23685     81 |      437 |        0
1790.42/1791.06	c 1790s |      20 |  8168132 |   848227 |    23685     81 |      437 |        0
1792.51/1793.18	c 1792s |      20 |  8176869 |   849327 |    23685     81 |      437 |        0
1794.61/1795.23	c 1794s |      20 |  8186971 |   850327 |    23685     82 |      437 |        0
1796.61/1797.25	c 1796s |      20 |  8200012 |   851427 |    23685     82 |      438 |        0
1798.61/1799.27	c 1798s |      20 |  8207040 |   852527 |    23685     82 |      438 |        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-4079200-1465279905/watcher-4079200-1465279905 -o /tmp/evaluation-result-4079200-1465279905/solver-4079200-1465279905 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079200-1465279905.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.27 2.21 3/179 7691
/proc/meminfo: memFree=29124112/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/7691/stat : 7691 (runsolver) D 7688 7691 4315 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 109924137 24911872 151 33554432000 4194304 4338465 140737270200816 140737270198456 226084342967 0 0 4096 24578 18446744072101238148 0 0 17 5 0 0 0 0 0
/proc/7691/statm: 6082 151 105 36 0 2655 0

[startup+0.100069 s]
/proc/loadavg: 2.17 2.27 2.21 3/179 7691
/proc/meminfo: memFree=29124112/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1220164 CPUtime=0.08 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 28057 0 0 0 5 3 0 0 20 0 4 0 109924137 1249447936 28355 33554432000 4194304 16246674 140735286359616 140735286357440 4221105 0 2 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7691/statm: 305041 28355 801 2943 0 301935 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200284 s]
/proc/loadavg: 2.17 2.27 2.21 3/179 7691
/proc/meminfo: memFree=29124112/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 50667 0 0 0 12 6 0 0 20 0 4 0 109924137 1344868352 51476 33554432000 4194304 16246674 140735286359616 140735286342608 5904200 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7691/statm: 328337 51476 831 2943 0 325231 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300261 s]
/proc/loadavg: 2.17 2.27 2.21 3/179 7691
/proc/meminfo: memFree=29124112/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 55469 0 0 0 21 7 0 0 20 0 4 0 109924137 1344868352 56278 33554432000 4194304 16246674 140735286359616 140735286341504 6934971 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7691/statm: 328337 56278 836 2943 0 325231 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700175 s]
/proc/loadavg: 2.17 2.27 2.21 3/179 7691
/proc/meminfo: memFree=29124112/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 166548 0 0 0 45 23 0 0 20 0 4 0 109924137 1344868352 167357 33554432000 4194304 16246674 140735286359616 140735286341504 5667484 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7691/statm: 328337 167357 884 2943 0 325231 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.17 2.27 2.21 3/183 7695
/proc/meminfo: memFree=28062644/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=1.48 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 271579 0 0 0 110 38 0 0 20 0 4 0 109924137 1356402688 272388 33554432000 4194304 16246674 140735286359616 140735286341504 6022071 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7691/statm: 331153 272388 890 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272388 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272388 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272388 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1324612

[startup+3.10042 s]
/proc/loadavg: 2.17 2.27 2.21 4/183 7695
/proc/meminfo: memFree=28034868/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=3.07 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 271836 0 0 0 269 38 0 0 20 0 4 0 109924137 1356402688 272645 33554432000 4194304 16246674 140735286359616 140735286341504 5669244 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7691/statm: 331153 272645 895 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272645 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272645 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272645 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 1324612

[startup+6.30041 s]
/proc/loadavg: 2.16 2.26 2.20 3/183 7695
/proc/meminfo: memFree=28034268/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=6.27 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 271836 0 0 0 589 38 0 0 20 0 4 0 109924137 1356402688 272645 33554432000 4194304 16246674 140735286359616 140735286341504 5668080 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7691/statm: 331153 272645 895 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272645 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272645 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272645 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1324612

[startup+12.7004 s]
/proc/loadavg: 2.23 2.28 2.21 4/182 7695
/proc/meminfo: memFree=28033328/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=12.67 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 271839 0 0 0 1229 38 0 0 20 0 4 0 109924137 1356402688 272648 33554432000 4194304 16246674 140735286359616 140735286341504 5667484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7691/statm: 331153 272648 897 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1324612

[startup+25.5004 s]
/proc/loadavg: 2.39 2.31 2.22 3/183 7696
/proc/meminfo: memFree=28034088/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=25.47 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 271839 0 0 0 2509 38 0 0 20 0 4 0 109924137 1356402688 272648 33554432000 4194304 16246674 140735286359616 140735286341504 5673195 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7691/statm: 331153 272648 897 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1324612

[startup+51.1004 s]
/proc/loadavg: 2.25 2.28 2.21 3/183 7696
/proc/meminfo: memFree=28034264/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=51.07 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 271839 0 0 0 5068 39 0 0 20 0 4 0 109924137 1356402688 272648 33554432000 4194304 16246674 140735286359616 140735286341504 5667556 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7691/statm: 331153 272648 897 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1324612

[startup+102.3 s]
/proc/loadavg: 2.22 2.27 2.21 4/183 7697
/proc/meminfo: memFree=28033504/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=102.26 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 271839 0 0 0 10187 39 0 0 20 0 4 0 109924137 1356402688 272648 33554432000 4194304 16246674 140735286359616 140735286341504 5676613 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7691/statm: 331153 272648 897 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1324612

[startup+162.3 s]
/proc/loadavg: 2.18 2.25 2.20 3/183 7698
/proc/meminfo: memFree=28033348/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=162.25 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 271839 0 0 0 16184 41 0 0 20 0 4 0 109924137 1356402688 272648 33554432000 4194304 16246674 140735286359616 140735286358792 5546190 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7691/statm: 331153 272648 897 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1324612

[startup+222.3 s]
/proc/loadavg: 2.24 2.25 2.20 3/183 7699
/proc/meminfo: memFree=28032680/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=222.24 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 271839 0 0 0 22180 44 0 0 20 0 4 0 109924137 1356402688 272648 33554432000 4194304 16246674 140735286359616 140735286341504 13962576 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7691/statm: 331153 272648 897 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272648 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1324612


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

/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1324612

[startup+1302.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 7727
/proc/meminfo: memFree=28006952/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=1301.79 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 272281 0 0 0 130106 73 0 0 20 0 4 0 109924137 1356402688 272652 33554432000 4194304 16246674 140735286359616 140735286341504 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7691/statm: 331153 272652 898 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1324612

[startup+1362.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 7728
/proc/meminfo: memFree=28000812/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=1361.77 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 272281 0 0 0 136100 77 0 0 20 0 4 0 109924137 1356402688 272652 33554432000 4194304 16246674 140735286359616 140735286341504 5822240 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7691/statm: 331153 272652 898 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1324612

[startup+1422.3 s]
/proc/loadavg: 2.31 2.25 2.19 4/183 7729
/proc/meminfo: memFree=27988300/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=1421.77 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 272281 0 0 0 142097 80 0 0 20 0 4 0 109924137 1356402688 272652 33554432000 4194304 16246674 140735286359616 140735286341504 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7691/statm: 331153 272652 898 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1324612

[startup+1482.3 s]
/proc/loadavg: 2.36 2.27 2.20 3/183 7730
/proc/meminfo: memFree=27975772/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=1481.76 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 272281 0 0 0 148094 82 0 0 20 0 4 0 109924137 1356402688 272652 33554432000 4194304 16246674 140735286359616 140735286358792 5823086 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7691/statm: 331153 272652 898 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1324612

[startup+1542.3 s]
/proc/loadavg: 2.36 2.28 2.20 3/182 7731
/proc/meminfo: memFree=27968220/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=1541.75 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 272281 0 0 0 154091 84 0 0 20 0 4 0 109924137 1356402688 272652 33554432000 4194304 16246674 140735286359616 140735286358792 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7691/statm: 331153 272652 898 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1324612

[startup+1602.3 s]
/proc/loadavg: 2.23 2.26 2.20 3/183 7782
/proc/meminfo: memFree=27979136/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=1601.74 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 272281 0 0 0 160089 85 0 0 20 0 4 0 109924137 1356402688 272652 33554432000 4194304 16246674 140735286359616 140735286358792 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7691/statm: 331153 272652 898 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1324612

[startup+1662.3 s]
/proc/loadavg: 2.20 2.24 2.19 3/183 7783
/proc/meminfo: memFree=27819236/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=1661.74 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 272281 0 0 0 166087 87 0 0 20 0 4 0 109924137 1356402688 272652 33554432000 4194304 16246674 140735286359616 140735286341504 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7691/statm: 331153 272652 898 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1324612

[startup+1722.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/184 7787
/proc/meminfo: memFree=27819024/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=1721.73 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 272281 0 0 0 172084 89 0 0 20 0 4 0 109924137 1356402688 272652 33554432000 4194304 16246674 140735286359616 140735286341504 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7691/statm: 331153 272652 898 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1324612

[startup+1782.31 s]
/proc/loadavg: 2.17 2.21 2.18 3/183 7788
/proc/meminfo: memFree=27819036/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=1781.72 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 272281 0 0 0 178083 89 0 0 20 0 4 0 109924137 1356402688 272652 33554432000 4194304 16246674 140735286359616 140735286341504 5667608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7691/statm: 331153 272652 898 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1324612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 7788
/proc/meminfo: memFree=27819040/32872528 swapFree=15644/1722384
[pid=7691] ppid=7688 vsize=1324612 CPUtime=1800.01 cores=1,3,5,7
/proc/7691/stat : 7691 (toysat) R 7688 7691 4315 0 -1 4202496 272281 0 0 0 179912 89 0 0 20 0 4 0 109924137 1356402688 272652 33554432000 4194304 16246674 140735286359616 140735286358792 12477688 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7691/statm: 331153 272652 898 2943 0 328047 0
[pid=7691/tid=7693] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7693/stat : 7693 (toysat) S 7688 7691 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519357263088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7691/tid=7694] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7694/stat : 7694 (toysat) S 7688 7691 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519346773232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7691/tid=7695] ppid=7688 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7691/task/7695/stat : 7695 (toysat) S 7688 7691 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109924138 1356402688 272652 33554432000 4194304 16246674 140735286359616 140519336299696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1324612

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.03
CPU user time (s): 1799.13
CPU system time (s): 0.897863
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 1324612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 0.897863
maximum resident set size= 1090608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272281
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= 456
involuntary context switches= 2168

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53231 second user time and 6.98994 second system time

The end

Begin job on node120 at 2016-06-07 08:11:46
IDJOB=4079200
IDBENCH=89888
IDSOLVER=2542
FILE ID=node120/4079200-1465279905
RUNJOBID= node120-1465256721-4332
PBS_JOBID= 19843284
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-air04.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079200-1465279905/watcher-4079200-1465279905 -o /tmp/evaluation-result-4079200-1465279905/solver-4079200-1465279905 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079200-1465279905.opb

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

MD5SUM BENCH= be0d50f47077f17e0f3c28ea78925374
RANDOM SEED=285599118

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29123996 kB
Buffers:           50820 kB
Cached:            99564 kB
SwapCached:          820 kB
Active:          1217008 kB
Inactive:          57268 kB
Active(anon):    1121064 kB
Inactive(anon):     4852 kB
Active(file):      95944 kB
Inactive(file):    52416 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             17200 kB
Writeback:             0 kB
AnonPages:       2847656 kB
Mapped:            11848 kB
Shmem:                 0 kB
Slab:             612608 kB
SReclaimable:      56788 kB
SUnreclaim:       555820 kB
KernelStack:        1520 kB
PageTables:         9408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2991128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1892352 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= 71676 MiB
End job on node120 at 2016-06-07 08:41:46