0.00/0.00	c 2016-06-07T08:55:33+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-4078948-1465282532.opb"]
0.00/0.01	c use --random-gen="2002088528 1741496455 3460132456 3969074440 1873890403 1561604025 667646093 3787701824 2807388541 3455414519 4209013113 940309947 2418980017 812276920 3264737748 1396758203 3598873080 2153830414 427199704 1366118477 178241787 2665354255 2342116417 1853198878 2903961657 4202653772 3489898174 718177898 3059793938 3453895296 3676476944 3236702970 117523934 1520337373 2784686134 56402578 3100923118 1088332200 4104436819 2544892621 337777318 3365189833 1074282106 230043684 2413244378 3684635563 1297268911 722132843 1262924395 3864260919 2574696671 1519130446 1151069203 2438260166 1167833371 4087330060 167247182 1509552623 2234839696 2527262347 776724976 381790063 183835968 2774075027 2615047273 4044360869 1435995903 1245586332 3114507844 1204839406 4150053065 2269122503 4112746467 237803878 2451847362 3935238839 1570082800 395282365 1604040210 1286524794 4043061164 2774062482 79686551 4053478463 88885008 1667295075 1218288321 3867073307 1946981607 1536115407 322175736 730449985 1857747295 2199584907 1257168648 24122669 200640403 1374907414 797485259 1117747817 3698691141 2171205513 1105778445 1358663083 3456893352 933090574 481874209 3047669254 3217634849 1915328524 121165254 1771244221 4042345805 1601321173 1280550059 697949498 3822026799 4028936354 14851179 385443141 3230848432 1195066606 290582963 2324780945 1132498048 2896945782 1016331265 3359426514 4255675690 1707052422 788186858 3809931498 1585197692 1551582222 1324226827 2473129418 4062201237 3904971266 2694985287 147188011 3462800310 333383063 3446484996 669536361 709384549 31218868 2951141018 4048229032 482242025 3381431922 2119671244 852870449 3208493996 394325904 667513292 1981835516 336072571 38186079 38766472 2038315759 3564899881 4284968262 765101010 3562552432 4194124941 1923030208 3058655874 1594548855 3190055495 745119028 2877035850 2768804185 3459990254 2067729498 973382351 3512877940 1490198699 3577296565 3697376184 2080984445 3199363935 359355356 1472189939 4202658589 1181134773 238497833 251463996 3847895785 2013494595 3681383382 2711804240 150090119 1592897049 1910595316 3907552367 866535965 1702343898 609576224 3036113972 4105100373 1103995688 3618207393 4212244594 2766940228 685849977 852909363 860030495 2487136165 3921502916 1118218507 2933190719 953116347 1577261568 1407125995 940595735 676300010 1034450400 317126246 1758891551 4161104738 2651394293 1243958028 2498010949 2516691393 1499673912 1485176844 600443599 1521122742 2804727300 2779150492 1053775815 1052234552 1479604582 1136579462 3790771477 3772046826 935879319 2592091907 736287148 338724700 943999870 4213810799 3904973039 1866718968 15501062 1129978771 4117201521 609588068 191045752 727616318 3569814197 869396535 1773492811 3942707161 1309991915 278712708 255 362436" option to reproduce the execution
0.09/0.11	c #vars 6596
0.09/0.11	c #constraints 6792
0.19/0.24	c Solving starts ...
0.19/0.24	c ============================[ Search Statistics ]============================
0.19/0.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.24	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.24	c =============================================================================
0.19/0.24	c  0.0s |       0 |        0 |        0 |     4462      0 |      362 |        0
0.29/0.39	c  0.2s |       1 |     3682 |      100 |     4462      0 |      363 |      304
0.49/0.59	c  0.3s |       2 |     6641 |      250 |     4909      0 |      364 |      305
0.99/1.06	c  0.8s |       3 |     8067 |      475 |     5400      0 |      364 |      305
1.29/1.37	c  1.1s |       4 |    14646 |      813 |     5941      0 |      365 |      306
1.89/1.95	c  1.7s |       5 |    23644 |     1320 |     6536      0 |      365 |      306
2.79/2.83	c  2.6s |       6 |    35748 |     2081 |     7910      0 |      366 |      307
4.29/4.33	c  4.1s |       7 |    52334 |     3223 |     8701      0 |      367 |      308
6.29/6.36	c  6.1s |       7 |    76421 |     4823 |     8701      0 |      368 |      309
6.39/6.47	c  6.2s |       8 |    77524 |     4936 |     9572      0 |      368 |      309
8.49/8.50	c  8.3s |       8 |   108896 |     6536 |     9572      0 |      368 |      309
9.79/9.81	c  9.6s |       9 |   120004 |     7506 |    10530      0 |      368 |      309
11.88/11.95	c 11.7s |       9 |   139901 |     8706 |    10530      0 |      370 |      311
14.08/14.13	c 13.9s |       9 |   152985 |     9906 |    10530      0 |      373 |      314
16.08/16.15	c 15.9s |       9 |   174987 |    11006 |    10530      0 |      375 |      316
16.49/16.59	c 16.4s |      10 |   177226 |    11361 |    11584      0 |      375 |      316
18.58/18.65	c 18.4s |      10 |   195189 |    12361 |    11584      1 |      379 |      320
20.68/20.77	c 20.5s |      10 |   209394 |    13561 |    11584      1 |      381 |      322
22.78/22.89	c 22.7s |      10 |   235553 |    15061 |    11584      1 |      382 |      323
24.88/24.97	c 24.7s |      10 |   251422 |    16261 |    11584      1 |      382 |      323
26.18/26.25	c 26.0s |      11 |   262904 |    17144 |    12743      1 |      382 |      323
28.28/28.37	c 28.1s |      11 |   280590 |    18344 |    12743      1 |      383 |      324
30.38/30.49	c 30.3s |      11 |   296289 |    19644 |    12743      1 |      383 |      324
32.48/32.58	c 32.3s |      11 |   313235 |    20944 |    12743      2 |      385 |      326
34.58/34.64	c 34.4s |      11 |   323361 |    22144 |    12743      2 |      385 |      326
36.88/36.93	c 36.7s |      11 |   326109 |    22844 |    12743      2 |      385 |      326
38.88/38.95	c 38.7s |      11 |   332422 |    23744 |    12743      2 |      385 |      326
41.08/41.17	c 40.9s |      11 |   333605 |    24244 |    12743      2 |      385 |      326
43.09/43.17	c 42.9s |      11 |   347354 |    25244 |    12743      2 |      385 |      326
44.09/44.19	c 44.0s |      12 |   357155 |    25819 |    14018      2 |      385 |      326
46.19/46.23	c 46.0s |      12 |   372967 |    27019 |    14018      2 |      386 |      327
48.29/48.40	c 48.2s |      12 |   378338 |    27919 |    14018      2 |      386 |      327
50.49/50.53	c 50.3s |      12 |   397748 |    28819 |    14018      3 |      386 |      327
52.59/52.62	c 52.4s |      12 |   417272 |    30019 |    14018      3 |      386 |      327
54.58/54.64	c 54.4s |      12 |   431197 |    31219 |    14018      3 |      386 |      327
56.78/56.86	c 56.6s |      12 |   448884 |    32419 |    14018      3 |      386 |      327
58.88/58.90	c 58.7s |      12 |   469552 |    33619 |    14018      3 |      386 |      327
61.28/61.37	c 61.1s |      12 |   477806 |    34419 |    14018      3 |      386 |      327
63.38/63.45	c 63.2s |      12 |   489350 |    35219 |    14018      3 |      386 |      327
65.48/65.53	c 65.3s |      12 |   501874 |    36119 |    14018      3 |      386 |      327
67.48/67.54	c 67.3s |      12 |   513477 |    37219 |    14018      4 |      386 |      327
69.58/69.64	c 69.4s |      12 |   516079 |    37719 |    14018      4 |      386 |      327
71.28/71.31	c 71.1s |      13 |   533853 |    38832 |    15420      4 |      386 |      327
73.58/73.61	c 73.4s |      13 |   537076 |    39532 |    15420      4 |      386 |      327
75.58/75.61	c 75.4s |      13 |   538270 |    40032 |    15420      4 |      386 |      327
77.68/77.77	c 77.5s |      13 |   544320 |    40632 |    15420      4 |      386 |      327
79.78/79.86	c 79.6s |      13 |   569625 |    41832 |    15420      4 |      386 |      327
81.78/81.89	c 81.7s |      13 |   594252 |    43132 |    15420      4 |      387 |      328
83.98/84.07	c 83.8s |      13 |   604048 |    44332 |    15420      4 |      387 |      328
86.08/86.10	c 85.9s |      13 |   616217 |    45432 |    15420      4 |      387 |      328
88.18/88.21	c 88.0s |      13 |   639934 |    46632 |    15420      5 |      387 |      328
90.18/90.27	c 90.0s |      13 |   658414 |    47932 |    15420      5 |      387 |      328
92.38/92.41	c 92.2s |      13 |   678691 |    49232 |    15420      5 |      387 |      328
94.47/94.55	c 94.3s |      13 |   693594 |    50532 |    15420      5 |      387 |      328
96.67/96.71	c 96.5s |      13 |   702122 |    51632 |    15420      5 |      387 |      328
98.77/98.81	c 98.6s |      13 |   712046 |    52532 |    15420      5 |      387 |      328
101.07/101.14	c  100s |      13 |   725599 |    53532 |    15420      6 |      388 |      329
103.38/103.48	c  103s |      13 |   742181 |    54632 |    15420      6 |      389 |      330
105.47/105.53	c  105s |      13 |   743430 |    55232 |    15420      6 |      389 |      330
107.78/107.86	c  107s |      13 |   745529 |    55632 |    15420      6 |      389 |      330
109.98/110.09	c  109s |      13 |   766026 |    56932 |    15420      6 |      389 |      330
112.18/112.27	c  112s |      13 |   791158 |    58232 |    16962      6 |      390 |      331
112.47/112.52	c  112s |      14 |   794447 |    58352 |    16962      6 |      390 |      331
114.57/114.65	c  114s |      14 |   812864 |    59452 |    16962      6 |      390 |      331
116.68/116.70	c  116s |      14 |   824003 |    60652 |    16962      6 |      390 |      331
118.77/118.85	c  118s |      14 |   838220 |    61952 |    16962      6 |      390 |      331
120.77/120.89	c  120s |      14 |   850695 |    63152 |    16962      6 |      390 |      331
122.97/123.02	c  122s |      14 |   869992 |    64252 |    16962      7 |      391 |      332
124.97/125.02	c  124s |      14 |   885455 |    65652 |    16962      7 |      392 |      333
126.97/127.08	c  126s |      14 |   894564 |    67052 |    16962      7 |      392 |      333
129.07/129.19	c  128s |      14 |   909403 |    68252 |    16962      7 |      392 |      333
131.17/131.29	c  131s |      14 |   932131 |    69552 |    16962      7 |      392 |      333
133.26/133.30	c  133s |      14 |   947874 |    70952 |    16962      7 |      392 |      333
135.27/135.38	c  135s |      14 |   950696 |    71752 |    16962      7 |      392 |      333
137.57/137.65	c  137s |      14 |   968651 |    73052 |    16962      8 |      392 |      333
139.67/139.76	c  139s |      14 |   987172 |    74452 |    16962      8 |      392 |      333
141.76/141.82	c  141s |      14 |  1005946 |    75852 |    16962      8 |      392 |      333
143.86/143.93	c  143s |      14 |  1009507 |    76852 |    16962      8 |      392 |      333
145.96/146.03	c  145s |      14 |  1026214 |    78052 |    16962      8 |      392 |      333
147.96/148.06	c  147s |      14 |  1038932 |    79052 |    16962      8 |      392 |      333
149.96/150.09	c  149s |      14 |  1056614 |    80152 |    16962      8 |      393 |      334
152.16/152.23	c  151s |      14 |  1076793 |    81352 |    16962      8 |      393 |      334
154.26/154.34	c  154s |      14 |  1096479 |    82652 |    16962      9 |      393 |      334
156.36/156.46	c  156s |      14 |  1109297 |    83852 |    16962      9 |      393 |      334
158.47/158.57	c  158s |      14 |  1116126 |    84852 |    16962      9 |      393 |      334
160.57/160.65	c  160s |      14 |  1130035 |    85952 |    16962      9 |      393 |      334
162.77/162.82	c  162s |      14 |  1143713 |    87352 |    18659      9 |      393 |      334
163.26/163.37	c  163s |      15 |  1149015 |    87632 |    18659      9 |      393 |      334
165.36/165.40	c  165s |      15 |  1162003 |    88632 |    18659      9 |      394 |      335
167.46/167.54	c  167s |      15 |  1185082 |    89932 |    18659      9 |      394 |      335
169.56/169.63	c  169s |      15 |  1200439 |    91332 |    18659      9 |      394 |      335
171.76/171.85	c  171s |      15 |  1210146 |    92532 |    18659      9 |      394 |      335
173.77/173.86	c  173s |      15 |  1228422 |    93732 |    18659     10 |      394 |      335
175.87/175.92	c  175s |      15 |  1239730 |    95132 |    18659     10 |      394 |      335
177.96/178.04	c  177s |      15 |  1261861 |    96532 |    18659     10 |      394 |      335
180.06/180.11	c  179s |      15 |  1283731 |    97932 |    18659     10 |      394 |      335
182.06/182.17	c  181s |      15 |  1293799 |    99132 |    18659     10 |      394 |      335
184.16/184.22	c  183s |      15 |  1313330 |   100532 |    18659     10 |      394 |      335
186.46/186.52	c  186s |      15 |  1327273 |   101532 |    18659     10 |      394 |      335
188.46/188.54	c  188s |      15 |  1329454 |   102032 |    18659     10 |      394 |      335
190.46/190.54	c  190s |      15 |  1331587 |   102732 |    18659     10 |      394 |      335
192.86/192.92	c  192s |      15 |  1333332 |   103232 |    18659     10 |      394 |      335
195.26/195.36	c  195s |      15 |  1338866 |   103932 |    18659     11 |      394 |      335
197.76/197.88	c  197s |      15 |  1341708 |   104732 |    18659     11 |      394 |      335
200.27/200.37	c  200s |      15 |  1342827 |   105132 |    18659     11 |      394 |      335
202.37/202.45	c  202s |      15 |  1343596 |   105432 |    18659     11 |      394 |      335
204.96/205.06	c  204s |      15 |  1344577 |   105732 |    18659     11 |      394 |      335
207.16/207.22	c  206s |      15 |  1345462 |   105932 |    18659     11 |      394 |      335
209.56/209.62	c  209s |      15 |  1346362 |   106232 |    18659     11 |      394 |      335
211.66/211.73	c  211s |      15 |  1347372 |   106532 |    18659     11 |      394 |      335
213.86/213.90	c  213s |      15 |  1349885 |   107132 |    18659     11 |      394 |      335
216.06/216.11	c  215s |      15 |  1351844 |   107532 |    18659     11 |      394 |      335
218.46/218.56	c  218s |      15 |  1352643 |   107732 |    18659     11 |      394 |      335
221.26/221.31	c  221s |      15 |  1353350 |   107932 |    18659     11 |      394 |      335
223.26/223.38	c  223s |      15 |  1360783 |   108432 |    18659     11 |      394 |      335
225.36/225.43	c  225s |      15 |  1365925 |   109532 |    18659     11 |      394 |      335
227.56/227.65	c  227s |      15 |  1369024 |   110232 |    18659     11 |      394 |      335
229.66/229.72	c  229s |      15 |  1371666 |   110832 |    18659     11 |      394 |      335
232.06/232.11	c  231s |      15 |  1373805 |   111432 |    18659     11 |      394 |      335
234.05/234.18	c  233s |      15 |  1379978 |   111932 |    18659     11 |      394 |      335
236.25/236.38	c  236s |      15 |  1394105 |   113032 |    18659     11 |      394 |      335
238.25/238.40	c  238s |      15 |  1401153 |   113832 |    18659     12 |      394 |      335
240.35/240.44	c  240s |      15 |  1423359 |   115132 |    18659     12 |      394 |      335
242.45/242.59	c  242s |      15 |  1426929 |   116132 |    18659     12 |      394 |      335
244.55/244.65	c  244s |      15 |  1429498 |   116832 |    18659     12 |      394 |      335
246.65/246.78	c  246s |      15 |  1431105 |   117432 |    18659     12 |      394 |      335
248.75/248.81	c  248s |      15 |  1432647 |   117832 |    18659     12 |      394 |      335
251.25/251.30	c  251s |      15 |  1433442 |   118232 |    18659     12 |      394 |      335
253.35/253.46	c  253s |      15 |  1434930 |   118732 |    18659     12 |      394 |      335
255.85/255.91	c  255s |      15 |  1436242 |   119232 |    18659     12 |      394 |      335
257.95/258.07	c  257s |      15 |  1441364 |   119932 |    18659     12 |      394 |      335
260.25/260.38	c  260s |      15 |  1452421 |   121132 |    18659     12 |      394 |      335
262.45/262.50	c  262s |      15 |  1456517 |   122032 |    18659     12 |      394 |      335
264.44/264.52	c  264s |      15 |  1458203 |   122632 |    18659     12 |      394 |      335
266.55/266.69	c  266s |      15 |  1464527 |   123532 |    18659     12 |      394 |      335
268.85/268.98	c  268s |      15 |  1467491 |   124132 |    18659     12 |      394 |      335
271.45/271.57	c  271s |      15 |  1470372 |   124832 |    18659     12 |      394 |      335
274.25/274.35	c  274s |      15 |  1475141 |   125332 |    18659     13 |      394 |      335
276.95/277.08	c  276s |      15 |  1481031 |   126132 |    18659     13 |      394 |      335
279.15/279.28	c  279s |      15 |  1482074 |   126432 |    18659     13 |      394 |      335
281.75/281.80	c  281s |      15 |  1483765 |   126932 |    18659     13 |      394 |      335
285.75/285.85	c  285s |      15 |  1484669 |   127232 |    18659     13 |      394 |      335
287.95/288.07	c  287s |      15 |  1485903 |   127532 |    18659     13 |      394 |      335
290.35/290.41	c  290s |      15 |  1487881 |   128032 |    18659     13 |      394 |      335
292.35/292.47	c  292s |      15 |  1494438 |   128832 |    18659     13 |      394 |      335
294.45/294.50	c  294s |      15 |  1502829 |   130032 |    18659     13 |      394 |      335
296.45/296.53	c  296s |      15 |  1513704 |   131132 |    20525     13 |      394 |      335
297.25/297.33	c  297s |      16 |  1515362 |   131552 |    20525     13 |      394 |      335
299.25/299.37	c  299s |      16 |  1527146 |   132852 |    20525     13 |      394 |      335
301.35/301.43	c  301s |      16 |  1534170 |   133952 |    20525     13 |      394 |      335
303.84/303.99	c  303s |      16 |  1537192 |   134752 |    20525     13 |      394 |      335
306.44/306.51	c  306s |      16 |  1538477 |   135252 |    20525     13 |      394 |      335
308.44/308.53	c  308s |      16 |  1539287 |   135552 |    20525     13 |      394 |      335
310.54/310.67	c  310s |      16 |  1541590 |   136152 |    20525     13 |      394 |      335
312.64/312.70	c  312s |      16 |  1542787 |   136552 |    20525     13 |      394 |      335
315.04/315.19	c  314s |      16 |  1543882 |   136952 |    20525     13 |      394 |      335
317.14/317.20	c  316s |      16 |  1554766 |   137852 |    20525     14 |      394 |      335
319.14/319.24	c  319s |      16 |  1562258 |   139152 |    20525     14 |      394 |      335
321.44/321.54	c  321s |      16 |  1565961 |   140152 |    20525     14 |      394 |      335
323.64/323.70	c  323s |      16 |  1577014 |   141352 |    20525     14 |      394 |      335
325.74/325.89	c  325s |      16 |  1581292 |   142152 |    20525     14 |      394 |      335
327.84/327.91	c  327s |      16 |  1590716 |   143452 |    20525     14 |      394 |      335
330.04/330.13	c  329s |      16 |  1594506 |   144452 |    20525     14 |      394 |      335
332.03/332.19	c  331s |      16 |  1600391 |   145452 |    20525     14 |      394 |      335
334.13/334.25	c  334s |      16 |  1603552 |   146252 |    20525     14 |      394 |      335
336.34/336.40	c  336s |      16 |  1604472 |   146652 |    20525     14 |      394 |      335
338.64/338.76	c  338s |      16 |  1606860 |   147352 |    20525     14 |      394 |      335
340.95/341.00	c  340s |      16 |  1609845 |   148152 |    20525     14 |      394 |      335
343.44/343.53	c  343s |      16 |  1611838 |   148952 |    20525     14 |      394 |      335
345.44/345.57	c  345s |      16 |  1613150 |   149452 |    20525     14 |      394 |      335
347.54/347.68	c  347s |      16 |  1614289 |   149852 |    20525     15 |      394 |      335
349.74/349.82	c  349s |      16 |  1615625 |   150352 |    20525     15 |      394 |      335
351.94/352.05	c  351s |      16 |  1617505 |   150952 |    20525     15 |      394 |      335
354.04/354.14	c  353s |      16 |  1618117 |   151252 |    20525     15 |      394 |      335
356.34/356.40	c  356s |      16 |  1619002 |   151652 |    20525     15 |      394 |      335
358.64/358.77	c  358s |      16 |  1620503 |   152152 |    20525     15 |      394 |      335
360.93/361.05	c  360s |      16 |  1621577 |   152652 |    20525     15 |      394 |      335
363.13/363.20	c  362s |      16 |  1622111 |   152952 |    20525     15 |      394 |      335
365.33/365.46	c  365s |      16 |  1623053 |   153352 |    20525     15 |      394 |      335
367.34/367.48	c  367s |      16 |  1623558 |   153652 |    20525     15 |      394 |      335
369.64/369.78	c  369s |      16 |  1624031 |   153952 |    20525     15 |      394 |      335
371.84/371.97	c  371s |      16 |  1634978 |   154852 |    20525     15 |      394 |      335
374.04/374.13	c  373s |      16 |  1640956 |   155752 |    20525     15 |      394 |      335
376.14/376.23	c  375s |      16 |  1651062 |   156952 |    20525     15 |      394 |      335
378.34/378.44	c  378s |      16 |  1654954 |   157852 |    20525     15 |      394 |      335
380.44/380.56	c  380s |      16 |  1657186 |   158452 |    20525     15 |      394 |      335
382.43/382.58	c  382s |      16 |  1658339 |   158852 |    20525     15 |      394 |      335
384.63/384.75	c  384s |      16 |  1665046 |   159852 |    20525     15 |      394 |      335
386.63/386.76	c  386s |      16 |  1669052 |   160652 |    20525     15 |      394 |      335
388.83/388.98	c  388s |      16 |  1675133 |   161552 |    20525     15 |      394 |      335
390.93/391.03	c  390s |      16 |  1679050 |   162152 |    20525     16 |      394 |      335
393.23/393.35	c  393s |      16 |  1683092 |   163152 |    20525     16 |      394 |      335
395.33/395.45	c  395s |      16 |  1687868 |   164052 |    20525     16 |      394 |      335
397.53/397.63	c  397s |      16 |  1694515 |   165252 |    20525     16 |      394 |      335
399.53/399.68	c  399s |      16 |  1698174 |   165952 |    20525     16 |      394 |      335
401.63/401.78	c  401s |      16 |  1702660 |   166752 |    20525     16 |      394 |      335
403.74/403.87	c  403s |      16 |  1705042 |   167252 |    20525     16 |      394 |      335
406.33/406.45	c  406s |      16 |  1707738 |   167852 |    20525     16 |      394 |      335
408.43/408.55	c  408s |      16 |  1712622 |   168452 |    20525     16 |      394 |      335
410.63/410.73	c  410s |      16 |  1714160 |   168852 |    20525     16 |      394 |      335
412.83/412.91	c  412s |      16 |  1717877 |   169352 |    20525     16 |      394 |      335
414.93/415.01	c  414s |      16 |  1720702 |   169952 |    20525     16 |      394 |      335
417.23/417.39	c  417s |      16 |  1723930 |   170652 |    20525     16 |      394 |      335
419.43/419.52	c  419s |      16 |  1725084 |   171052 |    20525     16 |      394 |      335
421.62/421.71	c  421s |      16 |  1726504 |   171552 |    20525     16 |      394 |      335
423.72/423.82	c  423s |      16 |  1727616 |   172052 |    20525     16 |      394 |      335
426.32/426.42	c  426s |      16 |  1728872 |   172552 |    20525     16 |      394 |      335
428.72/428.88	c  428s |      16 |  1729806 |   172952 |    20525     16 |      394 |      335
430.92/431.08	c  430s |      16 |  1732156 |   173452 |    20525     16 |      394 |      335
433.33/433.42	c  433s |      16 |  1733275 |   173852 |    20525     17 |      394 |      335
435.53/435.69	c  435s |      16 |  1735550 |   174452 |    20525     17 |      394 |      335
437.83/437.96	c  437s |      16 |  1738430 |   175252 |    20525     17 |      394 |      335
439.93/440.07	c  439s |      16 |  1742567 |   175952 |    20525     17 |      394 |      335
442.13/442.21	c  441s |      16 |  1744059 |   176452 |    20525     17 |      394 |      335
444.12/444.28	c  444s |      16 |  1747024 |   177152 |    20525     17 |      394 |      335
446.53/446.65	c  446s |      16 |  1748204 |   177552 |    20525     17 |      394 |      335
448.82/449.00	c  448s |      16 |  1749487 |   177952 |    20525     17 |      394 |      335
451.02/451.12	c  450s |      16 |  1753158 |   178652 |    20525     17 |      394 |      335
453.22/453.36	c  453s |      16 |  1754558 |   179252 |    20525     17 |      394 |      335
455.62/455.75	c  455s |      16 |  1757296 |   179952 |    20525     17 |      394 |      335
457.72/457.83	c  457s |      16 |  1758301 |   180352 |    20525     17 |      394 |      335
459.72/459.90	c  459s |      16 |  1759218 |   180652 |    20525     17 |      394 |      335
461.93/462.01	c  461s |      16 |  1759846 |   180952 |    20525     17 |      394 |      335
464.42/464.52	c  464s |      16 |  1760455 |   181252 |    20525     17 |      394 |      335
466.62/466.78	c  466s |      16 |  1761122 |   181552 |    20525     17 |      394 |      335
468.63/468.78	c  468s |      16 |  1761799 |   181852 |    20525     17 |      394 |      335
470.83/470.98	c  470s |      16 |  1763359 |   182352 |    20525     17 |      394 |      335
472.93/473.07	c  472s |      16 |  1764276 |   182652 |    20525     17 |      394 |      335
474.92/475.08	c  474s |      16 |  1765495 |   183052 |    20525     17 |      394 |      335
477.02/477.18	c  476s |      16 |  1766329 |   183352 |    20525     17 |      394 |      335
479.22/479.36	c  479s |      16 |  1767449 |   183752 |    20525     17 |      394 |      335
481.51/481.69	c  481s |      16 |  1768397 |   184152 |    20525     17 |      394 |      335
484.21/484.39	c  484s |      16 |  1769524 |   184552 |    20525     17 |      394 |      335
486.91/487.07	c  486s |      16 |  1770297 |   184952 |    20525     17 |      394 |      335
489.52/489.66	c  489s |      16 |  1770910 |   185252 |    20525     17 |      394 |      335
491.62/491.79	c  491s |      16 |  1772257 |   185652 |    20525     17 |      394 |      335
493.82/493.92	c  493s |      16 |  1773135 |   186052 |    20525     17 |      394 |      335
496.21/496.30	c  496s |      16 |  1774624 |   186452 |    20525     18 |      394 |      335
498.81/498.98	c  498s |      16 |  1775468 |   186852 |    20525     18 |      394 |      335
501.22/501.30	c  501s |      16 |  1776523 |   187252 |    20525     18 |      394 |      335
503.52/503.63	c  503s |      16 |  1778287 |   187752 |    20525     18 |      394 |      335
506.02/506.14	c  505s |      16 |  1779449 |   188252 |    20525     18 |      394 |      335
508.22/508.39	c  508s |      16 |  1782009 |   188752 |    20525     18 |      394 |      335
511.61/511.75	c  511s |      16 |  1783070 |   189052 |    20525     18 |      394 |      335
513.91/514.07	c  513s |      16 |  1783633 |   189252 |    20525     18 |      394 |      335
516.71/516.87	c  516s |      16 |  1785554 |   189652 |    20525     18 |      394 |      335
519.41/519.55	c  519s |      16 |  1786891 |   189952 |    20525     18 |      394 |      335
521.91/522.09	c  521s |      16 |  1787677 |   190252 |    20525     18 |      394 |      335
524.11/524.28	c  524s |      16 |  1788103 |   190452 |    20525     18 |      394 |      335
526.41/526.56	c  526s |      16 |  1788814 |   190752 |    20525     18 |      394 |      335
528.91/529.00	c  528s |      16 |  1789543 |   191052 |    20525     18 |      394 |      335
531.31/531.44	c  531s |      16 |  1791860 |   191452 |    20525     18 |      394 |      335
534.11/534.24	c  533s |      16 |  1793255 |   191852 |    20525     18 |      394 |      335
536.71/536.83	c  536s |      16 |  1793744 |   192152 |    20525     18 |      394 |      335
538.91/539.05	c  538s |      16 |  1794570 |   192452 |    20525     18 |      394 |      335
541.11/541.21	c  540s |      16 |  1795021 |   192652 |    20525     18 |      394 |      335
543.41/543.58	c  543s |      16 |  1795923 |   192952 |    20525     18 |      394 |      335
546.01/546.19	c  545s |      16 |  1796424 |   193152 |    20525     18 |      394 |      335
548.51/548.65	c  548s |      16 |  1796954 |   193352 |    20525     18 |      394 |      335
550.61/550.75	c  550s |      16 |  1797524 |   193552 |    20525     18 |      394 |      335
552.91/553.09	c  552s |      16 |  1797870 |   193752 |    20525     18 |      394 |      335
555.80/555.92	c  555s |      16 |  1798600 |   194052 |    20525     18 |      394 |      335
559.00/559.18	c  558s |      16 |  1799624 |   194352 |    20525     18 |      394 |      335
562.01/562.14	c  561s |      16 |  1799930 |   194552 |    20525     18 |      394 |      335
565.01/565.15	c  564s |      16 |  1800307 |   194752 |    20525     18 |      394 |      335
567.41/567.60	c  567s |      16 |  1800522 |   194852 |    20525     18 |      394 |      335
570.01/570.17	c  569s |      16 |  1800689 |   194952 |    20525     18 |      394 |      335
573.20/573.37	c  573s |      16 |  1801159 |   195152 |    20525     18 |      394 |      335
577.20/577.30	c  577s |      16 |  1801609 |   195352 |    20525     18 |      394 |      335
581.70/581.89	c  581s |      16 |  1802135 |   195552 |    20525     18 |      394 |      335
585.00/585.12	c  584s |      16 |  1802628 |   195752 |    20525     18 |      394 |      335
587.70/587.82	c  587s |      16 |  1803030 |   195952 |    20525     18 |      394 |      335
591.30/591.43	c  591s |      16 |  1803454 |   196152 |    22578     18 |      394 |      335
593.49/593.65	c  593s |      16 |  1803590 |   196252 |    22578     18 |      394 |      335
596.00/596.18	c  595s |      16 |  1803757 |   196352 |    22578     18 |      394 |      335
599.10/599.24	c  599s |      16 |  1804409 |   196652 |    22578     18 |      394 |      335
601.40/601.58	c  601s |      16 |  1804821 |   196852 |    22578     18 |      394 |      335
603.50/603.62	c  603s |      16 |  1805385 |   197052 |    22578     18 |      394 |      335
605.90/606.04	c  605s |      17 |  1807693 |   197432 |    22578     18 |      394 |      335
608.00/608.13	c  607s |      17 |  1813643 |   197932 |    22578     19 |      394 |      335
610.30/610.40	c  610s |      17 |  1820445 |   199232 |    22578     19 |      394 |      335
612.30/612.42	c  612s |      17 |  1830960 |   200132 |    22578     19 |      394 |      335
614.40/614.55	c  614s |      17 |  1849500 |   201832 |    22578     19 |      394 |      335
616.40/616.59	c  616s |      17 |  1873094 |   203232 |    22578     19 |      394 |      335
618.50/618.65	c  618s |      17 |  1883644 |   204732 |    22578     19 |      394 |      335
620.59/620.78	c  620s |      17 |  1908175 |   206132 |    22578     19 |      394 |      335
622.79/622.94	c  622s |      17 |  1917177 |   207232 |    22578     19 |      394 |      335
625.39/625.56	c  625s |      17 |  1919314 |   208032 |    22578     19 |      394 |      335
627.49/627.62	c  627s |      17 |  1920674 |   208432 |    22578     19 |      394 |      335
629.69/629.80	c  629s |      17 |  1922384 |   208832 |    22578     19 |      394 |      335
631.89/632.07	c  631s |      17 |  1926789 |   209532 |    22578     19 |      394 |      335
634.49/634.60	c  634s |      17 |  1930602 |   210432 |    22578     19 |      394 |      335
636.59/636.70	c  636s |      17 |  1933649 |   211132 |    22578     20 |      394 |      335
638.59/638.79	c  638s |      17 |  1937419 |   212132 |    22578     20 |      394 |      335
640.79/640.93	c  640s |      17 |  1941513 |   213032 |    22578     20 |      394 |      335
642.79/642.98	c  642s |      17 |  1944199 |   213732 |    22578     20 |      394 |      335
645.29/645.43	c  645s |      17 |  1945407 |   214232 |    22578     20 |      394 |      335
647.69/647.87	c  647s |      17 |  1946811 |   214732 |    22578     20 |      394 |      335
649.99/650.14	c  649s |      17 |  1948880 |   215332 |    22578     20 |      394 |      335
652.19/652.38	c  652s |      17 |  1949695 |   215632 |    22578     20 |      394 |      335
654.89/655.02	c  654s |      17 |  1950264 |   215832 |    22578     20 |      394 |      335
656.89/657.08	c  656s |      17 |  1951021 |   216032 |    22578     20 |      394 |      335
658.99/659.15	c  658s |      17 |  1952097 |   216432 |    22578     20 |      394 |      335
661.79/661.90	c  661s |      17 |  1952562 |   216632 |    22578     20 |      394 |      335
664.79/664.97	c  664s |      17 |  1953397 |   216932 |    22578     20 |      394 |      335
666.98/667.17	c  666s |      17 |  1954165 |   217232 |    22578     20 |      394 |      335
669.18/669.39	c  669s |      17 |  1954683 |   217432 |    22578     20 |      394 |      335
672.48/672.64	c  672s |      17 |  1955918 |   217732 |    22578     20 |      394 |      335
675.08/675.25	c  675s |      17 |  1957236 |   218032 |    22578     20 |      394 |      335
677.28/677.45	c  677s |      17 |  1958265 |   218432 |    22578     20 |      394 |      335
679.69/679.90	c  679s |      17 |  1959034 |   218632 |    22578     20 |      394 |      335
682.29/682.50	c  682s |      17 |  1959751 |   218832 |    22578     20 |      394 |      335
685.29/685.40	c  685s |      17 |  1961617 |   219232 |    22578     20 |      394 |      335
687.29/687.41	c  687s |      17 |  1963138 |   219632 |    22578     20 |      394 |      335
689.59/689.76	c  689s |      17 |  1965166 |   220032 |    22578     20 |      394 |      335
692.29/692.44	c  692s |      17 |  1966069 |   220332 |    22578     20 |      394 |      335
695.39/695.57	c  695s |      17 |  1966606 |   220532 |    22578     20 |      394 |      335
699.78/699.90	c  699s |      17 |  1967125 |   220732 |    22578     20 |      394 |      335
702.48/702.63	c  702s |      17 |  1967618 |   220932 |    22578     20 |      394 |      335
705.78/705.95	c  705s |      17 |  1968266 |   221132 |    22578     20 |      394 |      335
707.98/708.11	c  707s |      17 |  1968423 |   221232 |    22578     20 |      394 |      335
712.18/712.33	c  712s |      17 |  1969054 |   221432 |    22578     20 |      394 |      335
714.48/714.60	c  714s |      17 |  1970116 |   221732 |    22578     20 |      394 |      335
717.88/718.05	c  717s |      17 |  1971615 |   222132 |    22578     20 |      394 |      335
720.28/720.40	c  720s |      17 |  1972495 |   222432 |    22578     20 |      394 |      335
722.59/722.76	c  722s |      17 |  1972977 |   222632 |    22578     20 |      394 |      335
724.98/725.10	c  724s |      17 |  1973378 |   222732 |    22578     20 |      394 |      335
728.38/728.59	c  728s |      17 |  1974025 |   222932 |    22578     20 |      394 |      335
730.48/730.67	c  730s |      17 |  1974251 |   223032 |    22578     20 |      394 |      335
733.48/733.69	c  733s |      17 |  1974424 |   223132 |    22578     20 |      394 |      335
735.79/736.00	c  735s |      17 |  1974652 |   223232 |    22578     20 |      394 |      335
739.58/739.73	c  739s |      17 |  1975167 |   223432 |    22578     20 |      394 |      335
742.08/742.27	c  742s |      17 |  1975417 |   223532 |    22578     20 |      394 |      335
745.78/745.92	c  745s |      17 |  1975543 |   223632 |    22578     20 |      394 |      335
749.08/749.26	c  749s |      17 |  1975727 |   223732 |    22578     20 |      394 |      335
751.87/752.00	c  751s |      17 |  1975955 |   223832 |    22578     20 |      394 |      335
754.37/754.60	c  754s |      17 |  1976175 |   223932 |    22578     20 |      394 |      335
757.37/757.56	c  757s |      17 |  1976411 |   224032 |    22578     20 |      394 |      335
759.67/759.89	c  759s |      17 |  1977681 |   224432 |    22578     20 |      394 |      335
762.67/762.80	c  762s |      17 |  1978048 |   224632 |    22578     20 |      394 |      335
766.37/766.56	c  766s |      17 |  1978278 |   224732 |    22578     21 |      394 |      335
769.07/769.29	c  769s |      17 |  1978412 |   224832 |    22578     21 |      394 |      335
771.67/771.82	c  771s |      17 |  1978918 |   225032 |    22578     21 |      394 |      335
774.38/774.55	c  774s |      17 |  1979111 |   225132 |    22578     21 |      394 |      335
777.07/777.20	c  776s |      17 |  1979342 |   225232 |    22578     21 |      394 |      335
779.57/779.79	c  779s |      17 |  1979615 |   225332 |    22578     21 |      394 |      335
782.27/782.42	c  782s |      17 |  1979910 |   225432 |    22578     21 |      394 |      335
785.77/785.93	c  785s |      17 |  1980547 |   225632 |    22578     21 |      394 |      335
789.47/789.68	c  789s |      17 |  1980688 |   225732 |    22578     21 |      394 |      335
791.97/792.18	c  791s |      17 |  1981045 |   225832 |    22578     21 |      394 |      335
795.56/795.74	c  795s |      17 |  1981665 |   226032 |    22578     21 |      394 |      335
797.67/797.86	c  797s |      17 |  1982164 |   226232 |    22578     21 |      394 |      335
800.17/800.32	c  800s |      17 |  1984227 |   226732 |    22578     21 |      394 |      335
802.57/802.72	c  802s |      17 |  1985698 |   227032 |    22578     21 |      394 |      335
804.97/805.12	c  804s |      17 |  1987753 |   227432 |    22578     21 |      394 |      335
807.57/807.75	c  807s |      17 |  1988305 |   227632 |    22578     21 |      394 |      335
810.87/811.06	c  810s |      17 |  1989003 |   227832 |    22578     21 |      394 |      335
813.47/813.63	c  813s |      17 |  1989698 |   228032 |    22578     21 |      394 |      335
815.57/815.76	c  815s |      17 |  1990398 |   228232 |    22578     21 |      394 |      335
819.27/819.42	c  819s |      17 |  1990874 |   228432 |    22578     21 |      394 |      335
821.87/822.08	c  821s |      17 |  1991759 |   228732 |    22578     21 |      394 |      335
824.27/824.49	c  824s |      17 |  1992559 |   229032 |    22578     21 |      394 |      335
826.27/826.49	c  826s |      17 |  2002943 |   230032 |    22578     21 |      394 |      335
828.27/828.49	c  828s |      17 |  2018340 |   231232 |    22578     21 |      394 |      335
830.47/830.61	c  830s |      17 |  2033079 |   232532 |    22578     21 |      395 |      336
832.47/832.66	c  832s |      17 |  2056736 |   233832 |    22578     21 |      395 |      336
834.57/834.75	c  834s |      17 |  2069259 |   235332 |    22578     21 |      395 |      336
836.56/836.77	c  836s |      17 |  2094307 |   236632 |    22578     22 |      395 |      336
838.66/838.82	c  838s |      17 |  2105293 |   238332 |    22578     22 |      395 |      336
840.76/840.97	c  840s |      17 |  2126305 |   239832 |    22578     22 |      395 |      336
842.86/843.01	c  842s |      17 |  2148222 |   241232 |    22578     22 |      395 |      336
844.86/845.07	c  844s |      17 |  2166999 |   242532 |    22578     22 |      395 |      336
847.46/847.66	c  847s |      17 |  2181258 |   243632 |    22578     22 |      395 |      336
849.46/849.69	c  849s |      17 |  2191472 |   244532 |    22578     22 |      395 |      336
851.56/851.77	c  851s |      17 |  2207152 |   245632 |    22578     22 |      395 |      336
853.57/853.79	c  853s |      17 |  2219476 |   246832 |    22578     22 |      395 |      336
855.67/855.81	c  855s |      17 |  2232894 |   248132 |    22578     23 |      395 |      336
857.66/857.85	c  857s |      17 |  2238062 |   249432 |    22578     23 |      395 |      336
859.76/859.94	c  859s |      17 |  2241926 |   250332 |    22578     23 |      395 |      336
861.86/862.03	c  861s |      17 |  2244736 |   251132 |    22578     23 |      395 |      336
863.86/864.09	c  863s |      17 |  2248968 |   251932 |    22578     23 |      395 |      336
865.96/866.11	c  865s |      17 |  2268351 |   253332 |    22578     23 |      395 |      336
867.96/868.14	c  867s |      17 |  2281434 |   254632 |    22578     23 |      395 |      336
869.97/870.16	c  869s |      17 |  2283308 |   255332 |    22578     23 |      395 |      336
872.46/872.63	c  872s |      17 |  2285286 |   256032 |    22578     23 |      395 |      336
874.66/874.86	c  874s |      17 |  2286391 |   256432 |    22578     23 |      395 |      336
876.95/877.15	c  876s |      17 |  2290608 |   257132 |    22578     23 |      395 |      336
878.95/879.19	c  878s |      17 |  2308936 |   258332 |    22578     23 |      395 |      336
881.06/881.21	c  880s |      17 |  2323147 |   259332 |    22578     24 |      395 |      336
883.16/883.38	c  883s |      17 |  2328600 |   260532 |    22578     24 |      395 |      336
885.25/885.40	c  885s |      17 |  2332563 |   261232 |    22578     24 |      395 |      336
887.45/887.69	c  887s |      17 |  2337112 |   262232 |    22578     24 |      395 |      336
889.55/889.79	c  889s |      17 |  2339878 |   263032 |    22578     24 |      395 |      336
891.65/891.81	c  891s |      17 |  2360105 |   264632 |    22578     24 |      395 |      336
893.75/893.99	c  893s |      17 |  2383252 |   266032 |    22578     24 |      395 |      336
895.85/896.09	c  895s |      17 |  2401513 |   267432 |    22578     24 |      395 |      336
897.95/898.15	c  897s |      17 |  2422671 |   268732 |    22578     24 |      395 |      336
900.05/900.25	c  900s |      17 |  2438285 |   269932 |    22578     24 |      395 |      336
902.05/902.27	c  902s |      17 |  2448325 |   271132 |    22578     24 |      395 |      336
904.15/904.37	c  904s |      17 |  2455389 |   272132 |    22578     25 |      395 |      336
906.35/906.59	c  906s |      17 |  2471540 |   273732 |    22578     25 |      395 |      336
908.45/908.67	c  908s |      17 |  2493763 |   275432 |    22578     25 |      395 |      336
910.45/910.67	c  910s |      17 |  2512482 |   276932 |    22578     25 |      395 |      336
912.55/912.74	c  912s |      17 |  2520067 |   278232 |    22578     25 |      395 |      336
914.65/914.87	c  914s |      17 |  2523522 |   279232 |    22578     25 |      395 |      336
916.75/916.95	c  916s |      17 |  2526549 |   280032 |    22578     25 |      395 |      336
918.95/919.11	c  918s |      17 |  2529635 |   280932 |    22578     25 |      395 |      336
921.05/921.22	c  920s |      17 |  2531382 |   281432 |    22578     25 |      395 |      336
923.15/923.32	c  923s |      17 |  2536061 |   282332 |    22578     25 |      395 |      336
925.55/925.71	c  925s |      17 |  2538273 |   283132 |    22578     25 |      395 |      336
927.65/927.86	c  927s |      17 |  2539723 |   283732 |    22578     25 |      395 |      336
929.75/929.92	c  929s |      17 |  2541518 |   284232 |    22578     25 |      395 |      336
931.85/932.06	c  931s |      17 |  2543722 |   284832 |    22578     25 |      395 |      336
933.95/934.17	c  933s |      17 |  2548309 |   285832 |    22578     26 |      395 |      336
936.06/936.24	c  936s |      17 |  2551366 |   286732 |    22578     26 |      395 |      336
938.26/938.42	c  938s |      17 |  2553257 |   287432 |    22578     26 |      395 |      336
940.25/940.44	c  940s |      17 |  2555906 |   288232 |    22578     26 |      395 |      336
942.25/942.46	c  942s |      17 |  2558221 |   288832 |    22578     26 |      395 |      336
944.55/944.71	c  944s |      17 |  2560237 |   289432 |    22578     26 |      395 |      336
946.95/947.15	c  946s |      17 |  2561583 |   289932 |    22578     26 |      395 |      336
949.35/949.50	c  949s |      17 |  2564117 |   290432 |    22578     26 |      395 |      336
951.25/951.50	c  951s |      17 |  2566292 |   290932 |    22578     26 |      395 |      336
953.74/953.92	c  953s |      17 |  2567085 |   291332 |    22578     26 |      395 |      336
956.14/956.30	c  956s |      17 |  2568170 |   291732 |    22578     26 |      395 |      336
958.24/958.48	c  958s |      17 |  2569488 |   292132 |    22578     26 |      395 |      336
960.44/960.62	c  960s |      17 |  2573950 |   293132 |    22578     26 |      395 |      336
962.64/962.81	c  962s |      17 |  2577916 |   294032 |    22578     26 |      395 |      336
964.65/964.82	c  964s |      17 |  2580651 |   294832 |    24836     26 |      395 |      336
966.94/967.16	c  966s |      17 |  2582836 |   295532 |    24836     26 |      395 |      336
969.05/969.24	c  968s |      17 |  2584591 |   296132 |    24836     26 |      395 |      336
969.44/969.65	c  969s |      18 |  2585085 |   296252 |    24836     26 |      395 |      336
971.64/971.90	c  971s |      18 |  2598330 |   297452 |    24836     27 |      395 |      336
973.74/973.96	c  973s |      18 |  2619487 |   299352 |    24836     27 |      395 |      336
975.84/976.04	c  975s |      18 |  2646692 |   301252 |    24836     27 |      395 |      336
978.04/978.25	c  978s |      18 |  2670591 |   303052 |    24836     27 |      395 |      336
980.14/980.34	c  980s |      18 |  2680053 |   304352 |    24836     27 |      395 |      336
982.24/982.45	c  982s |      18 |  2692986 |   305652 |    24836     27 |      395 |      336
984.24/984.50	c  984s |      18 |  2707011 |   307152 |    24836     27 |      395 |      336
986.34/986.53	c  986s |      18 |  2711116 |   308152 |    24836     27 |      395 |      336
988.34/988.59	c  988s |      18 |  2712900 |   308852 |    24836     27 |      395 |      336
990.43/990.66	c  990s |      18 |  2725681 |   309852 |    24836     28 |      395 |      336
992.53/992.70	c  992s |      18 |  2752280 |   311652 |    24836     28 |      395 |      336
994.53/994.75	c  994s |      18 |  2763289 |   313052 |    24836     28 |      395 |      336
996.63/996.88	c  996s |      18 |  2782246 |   314552 |    24836     28 |      395 |      336
998.74/998.93	c  998s |      18 |  2786383 |   315452 |    24836     28 |      395 |      336
1001.44/1001.68	c 1001s |      18 |  2787651 |   315952 |    24836     28 |      395 |      336
1003.74/1003.95	c 1003s |      18 |  2788584 |   316352 |    24836     28 |      395 |      336
1005.84/1006.00	c 1005s |      18 |  2789729 |   316752 |    24836     28 |      395 |      336
1008.03/1008.29	c 1008s |      18 |  2792491 |   317652 |    24836     28 |      395 |      336
1010.23/1010.43	c 1010s |      18 |  2813191 |   319052 |    24836     28 |      396 |      337
1012.33/1012.51	c 1012s |      18 |  2821517 |   320552 |    24836     28 |      396 |      337
1014.53/1014.75	c 1014s |      18 |  2823627 |   321352 |    24836     28 |      396 |      337
1016.53/1016.76	c 1016s |      18 |  2826152 |   322252 |    24836     28 |      396 |      337
1018.83/1019.06	c 1018s |      18 |  2828163 |   322952 |    24836     29 |      396 |      337
1020.93/1021.15	c 1020s |      18 |  2852168 |   324652 |    24836     29 |      396 |      337
1023.23/1023.41	c 1023s |      18 |  2858577 |   326052 |    24836     29 |      396 |      337
1025.33/1025.57	c 1025s |      18 |  2862483 |   326952 |    24836     29 |      396 |      337
1027.42/1027.60	c 1027s |      18 |  2865321 |   327652 |    24836     29 |      396 |      337
1029.53/1029.71	c 1029s |      18 |  2867471 |   328252 |    24836     29 |      396 |      337
1031.63/1031.85	c 1031s |      18 |  2869095 |   328752 |    24836     29 |      396 |      337
1033.93/1034.15	c 1033s |      18 |  2870583 |   329252 |    24836     29 |      396 |      337
1036.13/1036.32	c 1036s |      18 |  2872759 |   329952 |    24836     29 |      396 |      337
1038.12/1038.34	c 1038s |      18 |  2874746 |   330552 |    24836     29 |      396 |      337
1040.22/1040.43	c 1040s |      18 |  2876142 |   331052 |    24836     29 |      396 |      337
1042.23/1042.46	c 1042s |      18 |  2877393 |   331552 |    24836     29 |      396 |      337
1044.63/1044.81	c 1044s |      18 |  2879069 |   332152 |    24836     29 |      396 |      337
1047.03/1047.25	c 1047s |      18 |  2880714 |   332652 |    24836     29 |      396 |      337
1049.13/1049.37	c 1049s |      18 |  2882424 |   333152 |    24836     29 |      396 |      337
1051.32/1051.58	c 1051s |      18 |  2883702 |   333552 |    24836     29 |      396 |      337
1053.42/1053.69	c 1053s |      18 |  2884349 |   333852 |    24836     29 |      396 |      337
1055.62/1055.80	c 1055s |      18 |  2884976 |   334152 |    24836     29 |      396 |      337
1058.03/1058.30	c 1058s |      18 |  2886055 |   334552 |    24836     29 |      396 |      337
1060.51/1060.74	c 1060s |      18 |  2887106 |   334952 |    24836     29 |      396 |      337
1062.81/1063.10	c 1062s |      18 |  2888185 |   335352 |    24836     29 |      396 |      337
1065.31/1065.54	c 1065s |      18 |  2889738 |   335852 |    24836     29 |      396 |      337
1067.82/1068.09	c 1067s |      18 |  2890536 |   336152 |    24836     30 |      396 |      337
1070.02/1070.26	c 1070s |      18 |  2895980 |   337352 |    24836     30 |      396 |      337
1072.12/1072.38	c 1072s |      18 |  2898485 |   338152 |    24836     30 |      396 |      337
1074.21/1074.49	c 1074s |      18 |  2899178 |   338552 |    24836     30 |      396 |      337
1076.51/1076.70	c 1076s |      18 |  2900726 |   339052 |    24836     30 |      396 |      337
1078.51/1078.75	c 1078s |      18 |  2902617 |   339652 |    24836     30 |      396 |      337
1080.80/1081.05	c 1080s |      18 |  2904996 |   340352 |    24836     30 |      396 |      337
1083.00/1083.29	c 1083s |      18 |  2907069 |   341052 |    24836     30 |      396 |      337
1085.40/1085.62	c 1085s |      18 |  2908958 |   341652 |    24836     30 |      396 |      337
1087.61/1087.86	c 1087s |      18 |  2910611 |   342152 |    24836     30 |      396 |      337
1090.01/1090.24	c 1090s |      18 |  2911326 |   342552 |    24836     30 |      396 |      337
1092.21/1092.42	c 1092s |      18 |  2912492 |   343052 |    24836     30 |      396 |      337
1094.41/1094.68	c 1094s |      18 |  2913299 |   343452 |    24836     30 |      396 |      337
1096.70/1096.96	c 1096s |      18 |  2914657 |   343952 |    24836     30 |      396 |      337
1098.91/1099.18	c 1098s |      18 |  2915606 |   344352 |    24836     30 |      396 |      337
1101.21/1101.41	c 1101s |      18 |  2917060 |   344752 |    24836     30 |      396 |      337
1103.21/1103.45	c 1103s |      18 |  2918642 |   345252 |    24836     30 |      396 |      337
1105.60/1105.89	c 1105s |      18 |  2920075 |   345752 |    24836     30 |      396 |      337
1107.70/1107.93	c 1107s |      18 |  2920961 |   346152 |    24836     30 |      396 |      337
1110.20/1110.40	c 1110s |      18 |  2922269 |   346652 |    24836     30 |      396 |      337
1112.40/1112.62	c 1112s |      18 |  2923287 |   347052 |    24836     30 |      396 |      337
1114.80/1115.03	c 1114s |      18 |  2924814 |   347552 |    24836     30 |      396 |      337
1117.00/1117.20	c 1116s |      18 |  2926085 |   347952 |    24836     30 |      396 |      337
1119.60/1119.81	c 1119s |      18 |  2926993 |   348352 |    24836     30 |      396 |      337
1121.59/1121.85	c 1121s |      18 |  2928010 |   348652 |    24836     30 |      396 |      337
1123.69/1123.96	c 1123s |      18 |  2932563 |   349452 |    24836     31 |      396 |      337
1125.79/1126.04	c 1125s |      18 |  2959576 |   350952 |    24836     31 |      396 |      337
1127.89/1128.13	c 1127s |      18 |  2971939 |   352552 |    24836     31 |      396 |      337
1129.99/1130.25	c 1130s |      18 |  2978240 |   353652 |    24836     31 |      396 |      337
1132.09/1132.32	c 1132s |      18 |  2993814 |   355052 |    24836     31 |      396 |      337
1134.09/1134.32	c 1134s |      18 |  3003684 |   356252 |    24836     31 |      396 |      337
1136.20/1136.42	c 1136s |      18 |  3009875 |   357052 |    24836     31 |      396 |      337
1138.40/1138.62	c 1138s |      18 |  3016165 |   358052 |    24836     31 |      396 |      337
1140.39/1140.70	c 1140s |      18 |  3025185 |   358952 |    24836     31 |      396 |      337
1142.48/1142.76	c 1142s |      18 |  3030996 |   359652 |    24836     32 |      396 |      337
1144.58/1144.84	c 1144s |      18 |  3035497 |   360752 |    24836     32 |      396 |      337
1146.68/1146.93	c 1146s |      18 |  3038875 |   361652 |    24836     32 |      396 |      337
1149.09/1149.32	c 1149s |      18 |  3040777 |   362252 |    24836     32 |      396 |      337
1151.49/1151.75	c 1151s |      18 |  3042918 |   362852 |    24836     32 |      396 |      337
1153.59/1153.85	c 1153s |      18 |  3045695 |   363552 |    24836     32 |      396 |      337
1155.68/1155.92	c 1155s |      18 |  3047576 |   364052 |    24836     32 |      396 |      337
1157.88/1158.11	c 1157s |      18 |  3050187 |   364652 |    24836     32 |      396 |      337
1160.18/1160.44	c 1160s |      18 |  3051740 |   365152 |    24836     32 |      396 |      337
1162.68/1162.94	c 1162s |      18 |  3053458 |   365652 |    24836     32 |      396 |      337
1165.08/1165.31	c 1165s |      18 |  3055349 |   366152 |    24836     32 |      396 |      337
1167.48/1167.78	c 1167s |      18 |  3057213 |   366652 |    24836     32 |      396 |      337
1169.68/1169.98	c 1169s |      18 |  3059547 |   367152 |    24836     32 |      396 |      337
1171.68/1171.99	c 1171s |      18 |  3061222 |   367552 |    24836     32 |      396 |      337
1173.87/1174.18	c 1173s |      18 |  3069655 |   368552 |    24836     32 |      396 |      337
1175.97/1176.26	c 1176s |      18 |  3078765 |   369352 |    24836     33 |      396 |      337
1177.98/1178.27	c 1178s |      18 |  3094188 |   370852 |    24836     33 |      396 |      337
1180.08/1180.34	c 1180s |      18 |  3114915 |   372552 |    24836     33 |      396 |      337
1182.07/1182.35	c 1182s |      18 |  3132509 |   374052 |    24836     33 |      396 |      337
1184.17/1184.40	c 1184s |      18 |  3147291 |   375352 |    24836     33 |      396 |      337
1186.17/1186.47	c 1186s |      18 |  3156346 |   376252 |    24836     33 |      396 |      337
1188.37/1188.64	c 1188s |      18 |  3174568 |   377852 |    24836     33 |      396 |      337
1190.37/1190.67	c 1190s |      18 |  3191584 |   379152 |    24836     34 |      396 |      337
1192.57/1192.88	c 1192s |      18 |  3209440 |   380752 |    24836     34 |      396 |      337
1194.67/1194.90	c 1194s |      18 |  3226958 |   382252 |    24836     34 |      396 |      337
1196.76/1197.01	c 1196s |      18 |  3230204 |   383152 |    24836     34 |      396 |      337
1198.77/1199.03	c 1198s |      18 |  3235370 |   383852 |    24836     34 |      396 |      337
1200.98/1201.21	c 1200s |      18 |  3236364 |   384352 |    24836     34 |      396 |      337
1202.97/1203.27	c 1203s |      18 |  3244441 |   385352 |    24836     34 |      396 |      337
1205.07/1205.35	c 1205s |      18 |  3250565 |   385952 |    24836     34 |      396 |      337
1207.97/1208.21	c 1207s |      18 |  3258320 |   386852 |    24836     34 |      396 |      337
1210.27/1210.52	c 1210s |      18 |  3259572 |   387252 |    24836     34 |      396 |      337
1212.66/1212.90	c 1212s |      18 |  3266351 |   388152 |    24836     34 |      396 |      337
1214.66/1214.93	c 1214s |      18 |  3273467 |   388952 |    24836     35 |      396 |      337
1216.86/1217.13	c 1216s |      18 |  3287444 |   390452 |    24836     35 |      396 |      337
1219.26/1219.56	c 1219s |      18 |  3291695 |   391352 |    24836     35 |      396 |      337
1221.56/1221.86	c 1221s |      18 |  3293161 |   391852 |    24836     35 |      396 |      337
1223.66/1223.92	c 1223s |      18 |  3294169 |   392252 |    24836     35 |      396 |      337
1226.05/1226.38	c 1226s |      18 |  3295216 |   392652 |    24836     35 |      396 |      337
1228.15/1228.49	c 1228s |      18 |  3295552 |   392852 |    24836     35 |      396 |      337
1230.45/1230.79	c 1230s |      18 |  3296217 |   393152 |    24836     35 |      396 |      337
1232.96/1233.27	c 1233s |      18 |  3296725 |   393452 |    24836     35 |      396 |      337
1235.75/1236.09	c 1235s |      18 |  3297220 |   393752 |    24836     35 |      396 |      337
1237.95/1238.25	c 1238s |      18 |  3302237 |   394552 |    24836     35 |      396 |      337
1240.05/1240.38	c 1240s |      18 |  3305459 |   395352 |    24836     35 |      396 |      337
1242.35/1242.68	c 1242s |      18 |  3307674 |   395752 |    24836     35 |      396 |      337
1244.65/1244.98	c 1244s |      18 |  3308728 |   396152 |    24836     35 |      396 |      337
1246.75/1247.05	c 1246s |      18 |  3309848 |   396552 |    24836     35 |      396 |      337
1249.25/1249.55	c 1249s |      18 |  3313576 |   397052 |    24836     35 |      396 |      337
1251.34/1251.61	c 1251s |      18 |  3318458 |   397752 |    24836     35 |      396 |      337
1253.34/1253.63	c 1253s |      18 |  3321882 |   398652 |    24836     35 |      396 |      337
1255.64/1255.98	c 1255s |      18 |  3323558 |   399152 |    24836     35 |      396 |      337
1257.84/1258.13	c 1257s |      18 |  3325147 |   399652 |    24836     35 |      396 |      337
1259.94/1260.25	c 1260s |      18 |  3330575 |   400552 |    24836     36 |      396 |      337
1262.14/1262.42	c 1262s |      18 |  3333704 |   401352 |    24836     36 |      396 |      337
1264.53/1264.89	c 1264s |      18 |  3334650 |   401752 |    24836     36 |      396 |      337
1266.64/1266.93	c 1266s |      18 |  3336482 |   402352 |    24836     36 |      396 |      337
1268.84/1269.12	c 1268s |      18 |  3339463 |   403052 |    24836     36 |      396 |      337
1271.14/1271.43	c 1271s |      18 |  3341731 |   403652 |    24836     36 |      396 |      337
1273.34/1273.65	c 1273s |      18 |  3345705 |   404452 |    24836     36 |      396 |      337
1275.44/1275.71	c 1275s |      18 |  3348610 |   405152 |    24836     36 |      396 |      337
1277.54/1277.89	c 1277s |      18 |  3350783 |   405852 |    24836     36 |      396 |      337
1279.84/1280.11	c 1279s |      18 |  3353940 |   406852 |    24836     36 |      396 |      337
1282.23/1282.50	c 1282s |      18 |  3357684 |   407852 |    24836     36 |      396 |      337
1284.33/1284.66	c 1284s |      18 |  3359709 |   408452 |    24836     36 |      396 |      337
1286.63/1286.92	c 1286s |      18 |  3362174 |   409052 |    24836     36 |      396 |      337
1288.63/1288.93	c 1288s |      18 |  3363922 |   409552 |    24836     36 |      396 |      337
1290.63/1290.94	c 1290s |      18 |  3367979 |   410352 |    24836     37 |      396 |      337
1292.73/1293.02	c 1292s |      18 |  3375371 |   411552 |    24836     37 |      396 |      337
1294.93/1295.26	c 1295s |      18 |  3379945 |   412452 |    24836     37 |      396 |      337
1297.03/1297.33	c 1297s |      18 |  3384929 |   413452 |    24836     37 |      396 |      337
1299.43/1299.80	c 1299s |      18 |  3387173 |   414252 |    24836     37 |      396 |      337
1301.73/1302.09	c 1301s |      18 |  3390392 |   414852 |    24836     37 |      396 |      337
1304.23/1304.55	c 1304s |      18 |  3391231 |   415152 |    24836     37 |      396 |      337
1306.32/1306.61	c 1306s |      18 |  3391628 |   415352 |    24836     37 |      396 |      337
1308.73/1309.08	c 1308s |      18 |  3395528 |   416252 |    24836     37 |      396 |      337
1310.93/1311.24	c 1310s |      18 |  3397203 |   416652 |    24836     37 |      396 |      337
1312.92/1313.25	c 1313s |      18 |  3399675 |   417352 |    24836     37 |      396 |      337
1315.12/1315.41	c 1315s |      18 |  3400918 |   417752 |    24836     37 |      396 |      337
1317.12/1317.41	c 1317s |      18 |  3402849 |   418252 |    24836     37 |      396 |      337
1319.62/1319.98	c 1319s |      18 |  3406388 |   418952 |    24836     37 |      396 |      337
1321.71/1322.00	c 1321s |      18 |  3409674 |   419552 |    24836     38 |      396 |      337
1324.01/1324.30	c 1324s |      18 |  3416084 |   420552 |    24836     38 |      396 |      337
1326.21/1326.50	c 1326s |      18 |  3422242 |   421652 |    24836     38 |      396 |      337
1328.21/1328.50	c 1328s |      18 |  3424843 |   422352 |    24836     38 |      396 |      337
1330.21/1330.54	c 1330s |      18 |  3431404 |   423552 |    24836     38 |      396 |      337
1332.31/1332.60	c 1332s |      18 |  3438727 |   424552 |    24836     38 |      396 |      337
1334.41/1334.72	c 1334s |      18 |  3451472 |   426152 |    24836     38 |      396 |      337
1336.40/1336.75	c 1336s |      18 |  3461128 |   427252 |    24836     38 |      396 |      337
1338.51/1338.83	c 1338s |      18 |  3463927 |   428052 |    24836     38 |      396 |      337
1340.61/1340.91	c 1340s |      18 |  3481828 |   429452 |    24836     39 |      396 |      337
1342.70/1343.04	c 1342s |      18 |  3497631 |   430952 |    24836     39 |      396 |      337
1344.80/1345.11	c 1344s |      18 |  3513412 |   432452 |    24836     39 |      396 |      337
1346.81/1347.11	c 1346s |      18 |  3525602 |   433652 |    24836     39 |      396 |      337
1349.21/1349.50	c 1349s |      18 |  3532299 |   434652 |    24836     39 |      396 |      337
1351.72/1352.03	c 1351s |      18 |  3533448 |   435052 |    24836     39 |      396 |      337
1353.91/1354.28	c 1354s |      18 |  3534997 |   435452 |    24836     39 |      396 |      337
1356.11/1356.42	c 1356s |      18 |  3542279 |   436452 |    24836     39 |      396 |      337
1358.31/1358.60	c 1358s |      18 |  3543382 |   436852 |    24836     39 |      396 |      337
1360.31/1360.67	c 1360s |      18 |  3548904 |   437452 |    24836     40 |      396 |      337
1362.40/1362.75	c 1362s |      18 |  3561685 |   439052 |    24836     40 |      396 |      337
1364.50/1364.88	c 1364s |      18 |  3576983 |   440452 |    24836     40 |      396 |      337
1366.90/1367.29	c 1367s |      18 |  3583969 |   441452 |    27320     40 |      396 |      337
1369.10/1369.46	c 1369s |      18 |  3585778 |   441952 |    27320     40 |      396 |      337
1371.41/1371.71	c 1371s |      18 |  3590291 |   442552 |    27320     40 |      396 |      337
1373.61/1373.95	c 1373s |      18 |  3592642 |   443152 |    27320     40 |      396 |      337
1375.91/1376.28	c 1376s |      18 |  3593601 |   443552 |    27320     40 |      396 |      337
1378.30/1378.60	c 1378s |      18 |  3594737 |   443952 |    27320     40 |      396 |      337
1380.40/1380.72	c 1380s |      18 |  3595855 |   444352 |    27320     40 |      396 |      337
1381.20/1381.57	c 1381s |      19 |  3596206 |   444482 |    27320     40 |      396 |      337
1383.30/1383.61	c 1383s |      19 |  3611253 |   445582 |    27320     40 |      397 |      338
1385.40/1385.72	c 1385s |      19 |  3628634 |   446882 |    27320     40 |      397 |      338
1387.40/1387.76	c 1387s |      19 |  3637661 |   447882 |    27320     41 |      397 |      338
1389.40/1389.78	c 1389s |      19 |  3641541 |   448782 |    27320     41 |      397 |      338
1391.49/1391.86	c 1391s |      19 |  3643824 |   449482 |    27320     41 |      397 |      338
1393.59/1393.92	c 1393s |      19 |  3657321 |   450782 |    27320     41 |      397 |      338
1395.79/1396.14	c 1395s |      19 |  3664131 |   451682 |    27320     41 |      397 |      338
1397.99/1398.30	c 1398s |      19 |  3666054 |   452282 |    27320     41 |      397 |      338
1400.10/1400.44	c 1400s |      19 |  3668850 |   452882 |    27320     41 |      397 |      338
1402.19/1402.52	c 1402s |      19 |  3686164 |   454282 |    27320     41 |      397 |      338
1404.29/1404.60	c 1404s |      19 |  3700298 |   455482 |    27320     41 |      397 |      338
1406.39/1406.71	c 1406s |      19 |  3711615 |   456982 |    27320     42 |      397 |      338
1408.48/1408.87	c 1408s |      19 |  3721939 |   458682 |    27320     42 |      397 |      338
1410.58/1410.94	c 1410s |      19 |  3740969 |   460282 |    27320     42 |      398 |      339
1412.68/1413.00	c 1412s |      19 |  3746855 |   461282 |    27320     42 |      398 |      339
1414.68/1415.01	c 1414s |      19 |  3762144 |   462482 |    27320     42 |      399 |      340
1416.68/1417.09	c 1416s |      19 |  3772654 |   463482 |    27320     42 |      400 |      341
1418.98/1419.33	c 1419s |      19 |  3774005 |   463982 |    27320     42 |      400 |      341
1420.98/1421.35	c 1421s |      19 |  3776250 |   464582 |    27320     42 |      400 |      341
1423.18/1423.56	c 1423s |      19 |  3778970 |   465482 |    27320     42 |      400 |      341
1425.38/1425.71	c 1425s |      19 |  3781002 |   466082 |    27320     42 |      400 |      341
1427.67/1428.03	c 1427s |      19 |  3781970 |   466482 |    27320     42 |      400 |      341
1429.78/1430.19	c 1429s |      19 |  3783594 |   467082 |    27320     42 |      400 |      341
1432.07/1432.42	c 1432s |      19 |  3785252 |   467582 |    27320     42 |      400 |      341
1434.47/1434.82	c 1434s |      19 |  3786565 |   468082 |    27320     42 |      400 |      341
1436.57/1436.95	c 1436s |      19 |  3787333 |   468382 |    27320     42 |      400 |      341
1438.67/1439.04	c 1438s |      19 |  3788293 |   468682 |    27320     42 |      400 |      341
1440.77/1441.13	c 1440s |      19 |  3789848 |   469282 |    27320     43 |      400 |      341
1442.97/1443.36	c 1443s |      19 |  3793204 |   470382 |    27320     43 |      400 |      341
1445.36/1445.77	c 1445s |      19 |  3794936 |   471082 |    27320     43 |      400 |      341
1447.46/1447.89	c 1447s |      19 |  3797155 |   471782 |    27320     43 |      400 |      341
1449.86/1450.29	c 1450s |      19 |  3799157 |   472482 |    27320     43 |      400 |      341
1451.95/1452.36	c 1452s |      19 |  3800546 |   473082 |    27320     43 |      400 |      341
1454.16/1454.58	c 1454s |      19 |  3801625 |   473582 |    27320     43 |      400 |      341
1456.26/1456.62	c 1456s |      19 |  3802635 |   473982 |    27320     43 |      400 |      341
1458.46/1458.81	c 1458s |      19 |  3803295 |   474382 |    27320     43 |      400 |      341
1460.47/1460.90	c 1460s |      19 |  3803964 |   474782 |    27320     43 |      400 |      341
1462.66/1463.06	c 1462s |      19 |  3804861 |   475182 |    27320     43 |      400 |      341
1464.65/1465.09	c 1464s |      19 |  3805284 |   475482 |    27320     43 |      400 |      341
1467.05/1467.43	c 1467s |      19 |  3807594 |   476182 |    27320     43 |      400 |      341
1469.45/1469.81	c 1469s |      19 |  3809015 |   476682 |    27320     43 |      400 |      341
1471.45/1471.87	c 1471s |      19 |  3809556 |   476982 |    27320     43 |      400 |      341
1473.44/1473.89	c 1473s |      19 |  3811000 |   477382 |    27320     43 |      400 |      341
1475.94/1476.31	c 1476s |      19 |  3812539 |   477882 |    27320     43 |      400 |      341
1478.54/1478.93	c 1478s |      19 |  3813359 |   478182 |    27320     43 |      400 |      341
1481.13/1481.57	c 1481s |      19 |  3814121 |   478482 |    27320     43 |      400 |      341
1483.54/1483.94	c 1483s |      19 |  3814825 |   478782 |    27320     43 |      400 |      341
1485.64/1486.03	c 1485s |      19 |  3815229 |   478982 |    27320     43 |      400 |      341
1488.14/1488.54	c 1488s |      19 |  3815986 |   479282 |    27320     43 |      400 |      341
1490.83/1491.28	c 1491s |      19 |  3816554 |   479582 |    27320     43 |      400 |      341
1493.03/1493.45	c 1493s |      19 |  3817594 |   479882 |    27320     44 |      400 |      341
1495.03/1495.49	c 1495s |      19 |  3819605 |   480582 |    27320     44 |      400 |      341
1497.33/1497.79	c 1497s |      19 |  3822350 |   481282 |    27320     44 |      400 |      341
1499.53/1499.91	c 1499s |      19 |  3823736 |   481782 |    27320     44 |      400 |      341
1501.73/1502.16	c 1501s |      19 |  3825461 |   482282 |    27320     44 |      400 |      341
1503.93/1504.30	c 1504s |      19 |  3826339 |   482682 |    27320     44 |      400 |      341
1506.02/1506.45	c 1506s |      19 |  3826964 |   482982 |    27320     44 |      400 |      341
1508.12/1508.59	c 1508s |      19 |  3827458 |   483282 |    27320     44 |      400 |      341
1510.52/1510.90	c 1510s |      19 |  3829292 |   483782 |    27320     44 |      400 |      341
1512.62/1513.00	c 1512s |      19 |  3830632 |   484282 |    27320     44 |      400 |      341
1514.71/1515.14	c 1514s |      19 |  3831835 |   484682 |    27320     44 |      400 |      341
1517.11/1517.56	c 1517s |      19 |  3832518 |   484982 |    27320     44 |      400 |      341
1520.01/1520.48	c 1520s |      19 |  3833371 |   485382 |    27320     44 |      400 |      341
1523.51/1523.91	c 1523s |      19 |  3833763 |   485682 |    27320     44 |      400 |      341
1525.71/1526.16	c 1525s |      19 |  3834438 |   485982 |    27320     44 |      400 |      341
1528.00/1528.42	c 1528s |      19 |  3835522 |   486382 |    27320     44 |      400 |      341
1530.70/1531.11	c 1530s |      19 |  3836167 |   486682 |    27320     44 |      400 |      341
1532.80/1533.28	c 1533s |      19 |  3836735 |   486982 |    27320     44 |      400 |      341
1535.40/1535.82	c 1535s |      19 |  3837273 |   487282 |    27320     44 |      400 |      341
1537.51/1537.92	c 1537s |      19 |  3838376 |   487682 |    27320     44 |      400 |      341
1539.50/1539.94	c 1539s |      19 |  3839669 |   488182 |    27320     44 |      400 |      341
1541.69/1542.10	c 1541s |      19 |  3841581 |   488682 |    27320     44 |      400 |      341
1544.59/1545.02	c 1544s |      19 |  3842799 |   489082 |    27320     44 |      400 |      341
1547.09/1547.54	c 1547s |      19 |  3843766 |   489482 |    27320     44 |      400 |      341
1549.19/1549.62	c 1549s |      19 |  3846989 |   490082 |    27320     45 |      400 |      341
1551.29/1551.71	c 1551s |      19 |  3859318 |   491282 |    27320     45 |      400 |      341
1553.29/1553.71	c 1553s |      19 |  3877306 |   492482 |    27320     45 |      400 |      341
1555.29/1555.73	c 1555s |      19 |  3884643 |   493882 |    27320     45 |      400 |      341
1557.39/1557.90	c 1557s |      19 |  3888753 |   495082 |    27320     45 |      400 |      341
1559.49/1559.91	c 1559s |      19 |  3900910 |   496282 |    27320     45 |      400 |      341
1561.59/1562.00	c 1561s |      19 |  3914654 |   497582 |    27320     45 |      400 |      341
1563.68/1564.12	c 1563s |      19 |  3919772 |   498382 |    27320     46 |      400 |      341
1565.88/1566.33	c 1566s |      19 |  3926431 |   499482 |    27320     46 |      400 |      341
1568.19/1568.64	c 1568s |      19 |  3928859 |   500282 |    27320     46 |      400 |      341
1570.28/1570.78	c 1570s |      19 |  3937707 |   501482 |    27320     46 |      400 |      341
1572.28/1572.79	c 1572s |      19 |  3939531 |   501982 |    27320     46 |      400 |      341
1574.58/1575.00	c 1574s |      19 |  3941515 |   502482 |    27320     46 |      400 |      341
1576.68/1577.17	c 1576s |      19 |  3948627 |   503582 |    27320     46 |      400 |      341
1578.78/1579.25	c 1579s |      19 |  3950850 |   504282 |    27320     46 |      400 |      341
1580.87/1581.37	c 1581s |      19 |  3955310 |   504982 |    27320     46 |      400 |      341
1583.17/1583.62	c 1583s |      19 |  3957936 |   505682 |    27320     46 |      400 |      341
1585.37/1585.81	c 1585s |      19 |  3959072 |   506182 |    27320     46 |      400 |      341
1588.08/1588.52	c 1588s |      19 |  3972316 |   507382 |    27320     47 |      400 |      341
1590.18/1590.69	c 1590s |      19 |  3995260 |   509182 |    27320     47 |      400 |      341
1592.27/1592.72	c 1592s |      19 |  4004553 |   510482 |    27320     47 |      400 |      341
1594.37/1594.86	c 1594s |      19 |  4015853 |   511582 |    27320     47 |      400 |      341
1596.37/1596.87	c 1596s |      19 |  4033922 |   513082 |    27320     47 |      400 |      341
1598.47/1598.97	c 1598s |      19 |  4050202 |   514482 |    27320     47 |      401 |      342
1600.56/1601.09	c 1600s |      19 |  4064683 |   515482 |    27320     48 |      401 |      342
1602.66/1603.13	c 1602s |      19 |  4081682 |   517082 |    27320     48 |      401 |      342
1604.76/1605.22	c 1604s |      19 |  4100019 |   518382 |    27320     48 |      401 |      342
1606.86/1607.31	c 1607s |      19 |  4108140 |   519382 |    27320     48 |      401 |      342
1608.87/1609.37	c 1609s |      19 |  4120726 |   520682 |    27320     48 |      401 |      342
1610.96/1611.47	c 1611s |      19 |  4126760 |   521582 |    27320     48 |      401 |      342
1613.16/1613.64	c 1613s |      19 |  4135562 |   522582 |    27320     48 |      401 |      342
1615.26/1615.72	c 1615s |      19 |  4147472 |   523582 |    27320     49 |      401 |      342
1618.06/1618.58	c 1618s |      19 |  4156182 |   524682 |    27320     49 |      401 |      342
1620.06/1620.59	c 1620s |      19 |  4176212 |   525982 |    27320     49 |      401 |      342
1622.16/1622.63	c 1622s |      19 |  4195710 |   527282 |    27320     49 |      401 |      342
1624.15/1624.64	c 1624s |      19 |  4211699 |   528482 |    27320     49 |      401 |      342
1626.25/1626.78	c 1626s |      19 |  4224781 |   529582 |    27320     49 |      401 |      342
1628.66/1629.12	c 1628s |      19 |  4227335 |   530182 |    27320     49 |      401 |      342
1630.85/1631.30	c 1631s |      19 |  4228380 |   530482 |    27320     49 |      401 |      342
1632.94/1633.50	c 1633s |      19 |  4229671 |   530782 |    27320     49 |      401 |      342
1635.04/1635.56	c 1635s |      19 |  4231358 |   531082 |    27320     49 |      401 |      342
1637.04/1637.59	c 1637s |      19 |  4237949 |   531782 |    27320     50 |      401 |      342
1639.14/1639.69	c 1639s |      19 |  4239201 |   532182 |    27320     50 |      401 |      342
1641.44/1641.93	c 1641s |      19 |  4241679 |   532782 |    27320     50 |      401 |      342
1643.44/1643.94	c 1643s |      19 |  4243578 |   533182 |    27320     50 |      401 |      342
1646.14/1646.69	c 1646s |      19 |  4243916 |   533382 |    27320     50 |      401 |      342
1648.44/1648.96	c 1648s |      19 |  4244884 |   533682 |    27320     50 |      401 |      342
1650.54/1651.07	c 1650s |      19 |  4245766 |   533982 |    27320     50 |      401 |      342
1653.44/1653.95	c 1653s |      19 |  4246600 |   534282 |    27320     50 |      401 |      342
1656.94/1657.43	c 1657s |      19 |  4246897 |   534482 |    27320     50 |      401 |      342
1659.64/1660.12	c 1659s |      19 |  4247440 |   534682 |    27320     50 |      401 |      342
1662.64/1663.12	c 1662s |      19 |  4248172 |   534982 |    27320     50 |      401 |      342
1664.94/1665.45	c 1665s |      19 |  4248348 |   535082 |    27320     50 |      401 |      342
1667.53/1668.04	c 1667s |      19 |  4248971 |   535282 |    27320     50 |      401 |      342
1670.73/1671.24	c 1671s |      19 |  4249566 |   535482 |    27320     50 |      401 |      342
1673.84/1674.31	c 1674s |      19 |  4250008 |   535682 |    27320     50 |      401 |      342
1677.73/1678.28	c 1678s |      19 |  4250306 |   535882 |    27320     50 |      401 |      342
1681.54/1682.03	c 1681s |      19 |  4250755 |   536082 |    27320     50 |      401 |      342
1685.13/1685.65	c 1685s |      19 |  4251147 |   536282 |    27320     50 |      401 |      342
1688.64/1689.15	c 1688s |      19 |  4251490 |   536482 |    27320     50 |      401 |      342
1690.94/1691.46	c 1691s |      19 |  4251657 |   536582 |    27320     50 |      401 |      342
1693.74/1694.25	c 1694s |      19 |  4252225 |   536782 |    27320     50 |      401 |      342
1695.94/1696.48	c 1696s |      19 |  4253358 |   537082 |    27320     50 |      401 |      342
1698.24/1698.78	c 1698s |      19 |  4253806 |   537282 |    27320     50 |      401 |      342
1700.64/1701.11	c 1700s |      19 |  4254302 |   537482 |    27320     50 |      401 |      342
1702.94/1703.44	c 1703s |      19 |  4254761 |   537682 |    27320     50 |      401 |      342
1705.64/1706.14	c 1705s |      19 |  4255182 |   537882 |    27320     50 |      401 |      342
1707.64/1708.14	c 1707s |      19 |  4255314 |   537982 |    27320     50 |      401 |      342
1709.94/1710.46	c 1710s |      19 |  4256176 |   538182 |    27320     50 |      401 |      342
1712.13/1712.63	c 1712s |      19 |  4264553 |   539082 |    27320     51 |      401 |      342
1714.23/1714.76	c 1714s |      19 |  4285342 |   540482 |    27320     51 |      401 |      342
1716.33/1716.83	c 1716s |      19 |  4287146 |   541282 |    27320     51 |      401 |      342
1718.33/1718.89	c 1718s |      19 |  4291557 |   541782 |    27320     51 |      401 |      342
1720.33/1720.89	c 1720s |      19 |  4299104 |   542682 |    27320     51 |      401 |      342
1722.73/1723.27	c 1723s |      19 |  4300308 |   543282 |    27320     51 |      401 |      342
1725.13/1725.62	c 1725s |      19 |  4301888 |   543882 |    27320     51 |      401 |      342
1727.13/1727.62	c 1727s |      19 |  4305043 |   544382 |    27320     51 |      401 |      342
1729.53/1730.06	c 1729s |      19 |  4306865 |   544982 |    27320     51 |      401 |      342
1732.03/1732.58	c 1732s |      19 |  4311124 |   545482 |    27320     52 |      401 |      342
1734.13/1734.65	c 1734s |      19 |  4333316 |   547082 |    27320     52 |      401 |      342
1736.13/1736.69	c 1736s |      19 |  4345704 |   548382 |    27320     52 |      401 |      342
1738.22/1738.79	c 1738s |      19 |  4357639 |   549582 |    27320     52 |      401 |      342
1740.42/1740.91	c 1740s |      19 |  4364546 |   550882 |    27320     52 |      401 |      342
1742.72/1743.27	c 1743s |      19 |  4366181 |   551482 |    27320     52 |      401 |      342
1745.23/1745.74	c 1745s |      19 |  4367540 |   551882 |    27320     52 |      401 |      342
1747.32/1747.84	c 1747s |      19 |  4379790 |   552982 |    27320     53 |      401 |      342
1749.63/1750.11	c 1749s |      19 |  4392706 |   554082 |    27320     53 |      401 |      342
1751.62/1752.19	c 1751s |      19 |  4396892 |   554682 |    27320     53 |      401 |      342
1753.72/1754.23	c 1753s |      19 |  4406470 |   555682 |    27320     53 |      401 |      342
1755.82/1756.31	c 1756s |      19 |  4413516 |   556682 |    27320     53 |      401 |      342
1757.92/1758.46	c 1758s |      19 |  4424227 |   557582 |    27320     53 |      401 |      342
1760.02/1760.58	c 1760s |      19 |  4433317 |   558482 |    27320     54 |      401 |      342
1762.12/1762.62	c 1762s |      19 |  4436221 |   559382 |    27320     54 |      401 |      342
1764.12/1764.65	c 1764s |      19 |  4439201 |   560082 |    27320     54 |      401 |      342
1766.32/1766.83	c 1766s |      19 |  4445769 |   560882 |    27320     54 |      401 |      342
1768.43/1768.92	c 1768s |      19 |  4465583 |   562282 |    27320     54 |      402 |      343
1770.63/1771.17	c 1770s |      19 |  4469521 |   563382 |    27320     54 |      402 |      343
1772.92/1773.45	c 1773s |      19 |  4473478 |   564282 |    27320     54 |      402 |      343
1775.12/1775.63	c 1775s |      19 |  4477297 |   565182 |    27320     54 |      402 |      343
1777.13/1777.70	c 1777s |      19 |  4478605 |   565682 |    27320     54 |      402 |      343
1779.22/1779.72	c 1779s |      19 |  4480326 |   566182 |    27320     54 |      402 |      343
1781.22/1781.72	c 1781s |      19 |  4482136 |   566582 |    27320     55 |      402 |      343
1783.62/1784.12	c 1783s |      19 |  4484371 |   567282 |    27320     55 |      402 |      343
1785.72/1786.22	c 1785s |      19 |  4488448 |   568282 |    27320     55 |      402 |      343
1788.32/1788.84	c 1788s |      19 |  4490010 |   568882 |    27320     55 |      402 |      343
1790.52/1791.03	c 1790s |      19 |  4491090 |   569382 |    27320     55 |      402 |      343
1792.62/1793.17	c 1792s |      19 |  4491892 |   569782 |    27320     55 |      402 |      343
1794.92/1795.40	c 1795s |      19 |  4492959 |   570282 |    27320     55 |      402 |      343
1796.92/1797.47	c 1797s |      19 |  4495169 |   570882 |    27320     55 |      402 |      343
1799.01/1799.50	c 1799s |      19 |  4496942 |   571382 |    27320     55 |      402 |      343

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

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.28 2.26 3/179 6416
/proc/meminfo: memFree=29108676/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=660924 CPUtime=0 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 2453 0 0 0 0 0 0 0 20 0 4 0 110186411 676786176 3325 33554432000 4194304 16246674 140736622752848 140736622752272 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 165999 3334 441 2943 0 162893 0
[pid=6416/tid=6417] ppid=6413 vsize=678332 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 694611968 3394 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=683452 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 699854848 3412 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=687548 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110186411 704049152 3428 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.25 2.28 2.26 3/179 6416
/proc/meminfo: memFree=29108676/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 26722 0 0 0 6 3 0 0 20 0 4 0 110186411 1332285440 27532 33554432000 4194304 16246674 140736622752848 140736622752160 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 325265 27549 799 2943 0 322159 0
[pid=6416/tid=6417] ppid=6413 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1332285440 27559 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1332285440 27571 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1332285440 27582 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.20046 s]
/proc/loadavg: 2.25 2.28 2.26 3/179 6416
/proc/meminfo: memFree=29108676/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 45441 0 0 0 13 6 0 0 20 0 4 0 110186411 1333334016 46251 33554432000 4194304 16246674 140736622752848 140736622752160 12070284 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 325521 46251 831 2943 0 322415 0
[pid=6416/tid=6417] ppid=6413 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1333334016 46251 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1333334016 46251 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1333334016 46251 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.30047 s]
/proc/loadavg: 2.25 2.28 2.26 3/179 6416
/proc/meminfo: memFree=29108676/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 58044 0 0 0 22 7 0 0 20 0 4 0 110186411 1333334016 58855 33554432000 4194304 16246674 140736622752848 140736622752160 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 325521 58866 874 2943 0 322415 0
[pid=6416/tid=6417] ppid=6413 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1333334016 58873 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1333334016 58881 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1333334016 58887 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700392 s]
/proc/loadavg: 2.25 2.28 2.26 3/179 6416
/proc/meminfo: memFree=29108676/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 148576 0 0 0 50 19 0 0 20 0 4 0 110186411 1333334016 149386 33554432000 4194304 16246674 140736622752848 140736622734720 5831697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 325521 149394 874 2943 0 322415 0
[pid=6416/tid=6417] ppid=6413 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1333334016 149399 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1333334016 149404 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1333334016 149408 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50039 s]
/proc/loadavg: 2.25 2.28 2.26 3/183 6420
/proc/meminfo: memFree=28359184/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1310276 CPUtime=1.49 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 194883 0 0 0 124 25 0 0 20 0 4 0 110186411 1341722624 195693 33554432000 4194304 16246674 140736622752848 140736622752160 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 327569 195696 881 2943 0 324463 0
[pid=6416/tid=6417] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 195698 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 195700 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 195702 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1310276

[startup+3.1004 s]
/proc/loadavg: 2.23 2.27 2.26 4/183 6420
/proc/meminfo: memFree=28031592/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1310276 CPUtime=3.09 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 268747 0 0 0 274 35 0 0 20 0 4 0 110186411 1341722624 269557 33554432000 4194304 16246674 140736622752848 140736622734720 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 327569 269557 881 2943 0 324463 0
[pid=6416/tid=6417] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269557 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269557 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269557 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1310276

[startup+6.30042 s]
/proc/loadavg: 2.23 2.27 2.26 3/183 6420
/proc/meminfo: memFree=28031004/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 268749 0 0 0 594 35 0 0 20 0 4 0 110186411 1341722624 269559 33554432000 4194304 16246674 140736622752848 140736622734720 12474899 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 327569 269559 883 2943 0 324463 0
[pid=6416/tid=6417] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269559 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269559 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269559 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.27 2.28 2.27 4/183 6420
/proc/meminfo: memFree=28030792/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1310276 CPUtime=12.68 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 268749 0 0 0 1233 35 0 0 20 0 4 0 110186411 1341722624 269559 33554432000 4194304 16246674 140736622752848 140736622734720 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 327569 269559 883 2943 0 324463 0
[pid=6416/tid=6417] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269559 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269559 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269559 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.23 2.27 2.26 3/183 6421
/proc/meminfo: memFree=28031712/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1310276 CPUtime=25.48 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 268749 0 0 0 2513 35 0 0 20 0 4 0 110186411 1341722624 269559 33554432000 4194304 16246674 140736622752848 140736622734720 13195016 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 327569 269559 883 2943 0 324463 0
[pid=6416/tid=6417] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269559 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269559 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269559 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.29 2.28 2.27 3/183 6421
/proc/meminfo: memFree=28031596/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1310276 CPUtime=51.09 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 268750 0 0 0 5073 36 0 0 20 0 4 0 110186411 1341722624 269560 33554432000 4194304 16246674 140736622752848 140736622734720 5722036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 327569 269560 884 2943 0 324463 0
[pid=6416/tid=6417] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269560 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269560 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269560 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.35 2.29 2.27 4/183 6422
/proc/meminfo: memFree=28030980/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 268750 0 0 0 10192 36 0 0 20 0 4 0 110186411 1341722624 269560 33554432000 4194304 16246674 140736622752848 140736622734720 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 327569 269560 884 2943 0 324463 0
[pid=6416/tid=6417] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269560 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269560 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1341722624 269560 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.15 2.24 2.25 3/183 6523
/proc/meminfo: memFree=28024472/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1313348 CPUtime=1362.01 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 269672 0 0 0 136142 59 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140736622734720 5754696 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 328337 270331 884 2943 0 325231 0
[pid=6416/tid=6417] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.28 2.27 2.26 3/183 6524
/proc/meminfo: memFree=28024120/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1313348 CPUtime=1421.98 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 269700 0 0 0 142138 60 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140736622734720 5675216 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 328337 270331 884 2943 0 325231 0
[pid=6416/tid=6417] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.15 2.23 2.25 3/184 6528
/proc/meminfo: memFree=28024084/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1313348 CPUtime=1481.93 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 269741 0 0 0 148132 61 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140736622734720 12478249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 328337 270331 884 2943 0 325231 0
[pid=6416/tid=6417] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.25 2.25 2.25 3/183 6529
/proc/meminfo: memFree=28023108/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1313348 CPUtime=1541.9 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 269787 0 0 0 154127 63 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140736622734720 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 328337 270331 884 2943 0 325231 0
[pid=6416/tid=6417] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.41 2.29 2.27 3/183 6531
/proc/meminfo: memFree=28023228/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1313348 CPUtime=1601.86 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 269830 0 0 0 160122 64 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140736622734720 5829032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 328337 270331 884 2943 0 325231 0
[pid=6416/tid=6417] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.26 2.27 2.26 3/183 6532
/proc/meminfo: memFree=28024008/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1313348 CPUtime=1661.84 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 269856 0 0 0 166120 64 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140736622734720 5723034 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 328337 270331 884 2943 0 325231 0
[pid=6416/tid=6417] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.38 2.29 2.27 3/183 6533
/proc/meminfo: memFree=28022416/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1313348 CPUtime=1721.83 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 269856 0 0 0 172118 65 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140736622734720 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 328337 270331 884 2943 0 325231 0
[pid=6416/tid=6417] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.30 2.28 2.27 3/183 6534
/proc/meminfo: memFree=28022572/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1313348 CPUtime=1781.82 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 269856 0 0 0 178116 66 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140736622734720 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 328337 270331 884 2943 0 325231 0
[pid=6416/tid=6417] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.28 2.27 3/183 6535
/proc/meminfo: memFree=28022312/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1313348 CPUtime=1800.01 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 269856 0 0 0 179935 66 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140736622734720 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 328337 270331 884 2943 0 325231 0
[pid=6416/tid=6417] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1313348

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

[startup+1800.5 s]
/proc/loadavg: 2.31 2.28 2.27 3/183 6535
/proc/meminfo: memFree=28022312/32872528 swapFree=17892/1720544
[pid=6416] ppid=6413 vsize=1313348 CPUtime=1800.01 cores=0,2,4,6
/proc/6416/stat : 6416 (toysat) R 6413 6416 3556 0 -1 4202496 269856 0 0 0 179935 66 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140736622734720 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6416/statm: 328337 270331 884 2943 0 325231 0
[pid=6416/tid=6417] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6417/stat : 6417 (toysat) S 6413 6416 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132113951984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6416/tid=6418] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6418/stat : 6418 (toysat) S 6413 6416 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132032163056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6416/tid=6419] ppid=6413 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6416/task/6419/stat : 6419 (toysat) S 6413 6416 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110186411 1344868352 270331 33554432000 4194304 16246674 140736622752848 140132021689520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1313348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.36
CPU system time (s): 0.667898
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.667898
maximum resident set size= 1081324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269856
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= 353
involuntary context switches= 1887

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52431 second user time and 6.98794 second system time

The end

Begin job on node117 at 2016-06-07 08:55:33
IDJOB=4078948
IDBENCH=90122
IDSOLVER=2542
FILE ID=node117/4078948-1465282532
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K97.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078948-1465282532/watcher-4078948-1465282532 -o /tmp/evaluation-result-4078948-1465282532/solver-4078948-1465282532 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078948-1465282532.opb

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

MD5SUM BENCH= 43f0e9fb1c8ca4724fdfde37689b9cda
RANDOM SEED=224099392

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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		: 2667.088
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.53
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		: 2667.088
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:        29109468 kB
Buffers:           82880 kB
Cached:           118972 kB
SwapCached:        29276 kB
Active:          1155488 kB
Inactive:         153356 kB
Active(anon):    1079120 kB
Inactive(anon):    30172 kB
Active(file):      76368 kB
Inactive(file):   123184 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67071196 kB
Dirty:             16728 kB
Writeback:             0 kB
AnonPages:       2770604 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             599344 kB
SReclaimable:      43472 kB
SUnreclaim:       555872 kB
KernelStack:        1488 kB
PageTables:         9736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2943396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1679360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node117 at 2016-06-07 09:25:33