0.00/0.00	c 2016-06-07T08:41:47+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-4078950-1465281706.opb"]
0.00/0.01	c use --random-gen="2345180546 1324292579 1047361571 520754606 2952161750 16614767 2044105370 3062121623 2942799634 74332313 2889182637 2405800507 4227282957 1877387043 809618702 723483181 2837824254 91063397 105750811 3718540955 3743015880 2891381038 2765675282 3414841223 1729639657 884742252 1650689970 1681848256 2437986484 4209486020 2644243013 1480063979 1961421855 1208870002 2844295759 1225816716 2161975680 2772670426 4234875590 1408350802 3320009939 3732873896 3888776872 90628964 4210549641 3822236350 3135452829 2920966949 1923968054 214525843 785437479 2877122048 3442538931 3787175262 424432385 4246045925 1755363794 1128089372 1624768020 1385632315 1440524853 3019421127 3651974721 1133186871 796315871 1595875280 4231593156 2300071037 6269636 4167750570 3507933240 1764183651 1136108764 3382500355 3523698669 2050410035 3984340367 2167581539 2151198030 1021342909 187899727 2782341719 423836673 591302086 1829318542 2917997724 2685402221 2617146534 1571530866 3911904846 3283033198 3985104509 3304612967 1122824069 4037138997 1209145227 3019385599 1852912046 2691598673 618473200 3715324637 3255367291 2495950051 3267715999 243717511 3870034668 646979744 4272222060 3170772167 893429793 2416167710 862489453 1590169413 1081699055 51989474 3989946214 2165037987 3648794123 1038020076 3052318217 1572461113 1749717879 204554799 1233762150 623686095 1050912774 4055120990 2465605554 3880394625 2237219954 859944803 760492883 882401137 674485436 4176366124 1711498688 740110747 2187512358 1734419569 1025418331 4136423761 1427276970 121608480 1740419376 2972221757 3698207151 2953339377 1505520612 292092945 2608837807 4102614742 1329739319 1782181182 2000139121 1592608342 417093573 3662677462 4147948130 2873550108 1998029583 3508402841 3735140231 971416357 660067406 1437305272 2843124462 275763008 1763417006 3249240519 4111460493 1128573531 895256419 3544428929 2699671444 1518773840 1480848287 628881610 3607529930 1797059236 2062020677 2234632746 155547835 2359489161 3487767652 3731022563 4218551616 3222687217 2693477848 279722951 1933500515 2373994315 3116733076 1073818613 1522726649 3933412030 683387595 335148856 937526540 1707580379 4266433637 2230370027 2445977848 2903501355 3482503228 3573625253 2057799963 880770670 1716981439 3418166064 586616156 1075314194 2563511552 3333878737 2687996277 361307904 1633439889 2548486112 324613673 4177989576 1717513257 3775984051 3752968616 1800715326 102146001 2980906512 2484281010 3636996089 1218497540 2341362892 2460756756 1579102825 2621964690 236062478 3569111048 581952660 906329229 3089829680 1560411482 609223314 687937378 1573099967 1546592222 2758128581 3270450438 693638624 2670849240 2243849718 1986526264 859896525 1280912689 18257160 1195549488 4003161691 2915885626 2001081342 4028267260 255 362436" option to reproduce the execution
0.09/0.11	c #vars 6732
0.09/0.11	c #constraints 6932
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 |     4554      0 |      362 |        0
0.39/0.41	c  0.2s |       1 |     5741 |      100 |     4554      0 |      363 |      304
0.59/0.62	c  0.4s |       2 |     7157 |      250 |     5010      0 |      363 |      304
0.89/0.98	c  0.7s |       3 |    15539 |      475 |     5511      0 |      363 |      304
1.29/1.36	c  1.1s |       4 |    17986 |      813 |     6063      0 |      363 |      304
1.89/1.90	c  1.7s |       5 |    28903 |     1320 |     6670      0 |      364 |      305
2.79/2.88	c  2.6s |       6 |    51355 |     2081 |     8072      0 |      369 |      310
4.19/4.26	c  4.0s |       7 |    75358 |     3223 |     8880      0 |      369 |      310
6.19/6.29	c  6.1s |       7 |   107190 |     4823 |     8880      0 |      371 |      312
6.39/6.42	c  6.2s |       8 |   108752 |     4936 |     9768      0 |      371 |      312
8.58/8.62	c  8.4s |       8 |   131015 |     6536 |     9768      0 |      372 |      313
10.38/10.46	c 10.2s |       9 |   140165 |     7506 |    10745      0 |      374 |      315
12.58/12.62	c 12.4s |       9 |   162545 |     8906 |    10745      0 |      374 |      315
14.69/14.70	c 14.5s |       9 |   187845 |    10306 |    10745      0 |      376 |      317
16.79/16.87	c 16.6s |      10 |   203448 |    11361 |    11820      0 |      377 |      318
18.89/18.98	c 18.7s |      10 |   226290 |    12661 |    11820      0 |      379 |      320
21.00/21.03	c 20.8s |      10 |   246103 |    14161 |    11820      1 |      380 |      321
23.10/23.19	c 22.9s |      10 |   265274 |    15561 |    11820      1 |      380 |      321
25.19/25.24	c 25.0s |      11 |   283515 |    17144 |    13003      1 |      380 |      321
27.29/27.38	c 27.1s |      11 |   297488 |    18444 |    13003      1 |      380 |      321
29.39/29.48	c 29.2s |      11 |   313776 |    19544 |    13003      1 |      382 |      323
31.59/31.61	c 31.4s |      11 |   315801 |    20344 |    13003      1 |      382 |      323
33.59/33.64	c 33.4s |      11 |   317281 |    20844 |    13003      1 |      382 |      323
35.69/35.71	c 35.5s |      11 |   318890 |    21444 |    13003      1 |      382 |      323
37.79/37.82	c 37.6s |      11 |   329307 |    22144 |    13003      2 |      382 |      323
39.79/39.85	c 39.6s |      11 |   354926 |    23544 |    13003      2 |      382 |      323
41.89/41.95	c 41.7s |      11 |   381525 |    24944 |    13003      2 |      382 |      323
43.48/43.51	c 43.3s |      12 |   398352 |    25819 |    14304      2 |      383 |      324
45.48/45.59	c 45.3s |      12 |   405729 |    26719 |    14304      2 |      383 |      324
47.58/47.62	c 47.4s |      12 |   426526 |    27919 |    14304      2 |      384 |      325
49.78/49.84	c 49.6s |      12 |   442325 |    29019 |    14304      3 |      385 |      326
51.88/51.94	c 51.7s |      12 |   461141 |    30219 |    14304      3 |      385 |      326
53.99/54.06	c 53.8s |      12 |   471961 |    31119 |    14304      3 |      385 |      326
56.09/56.14	c 55.9s |      12 |   483882 |    31919 |    14304      3 |      385 |      326
58.18/58.22	c 58.0s |      12 |   505215 |    33119 |    14304      3 |      387 |      328
60.28/60.34	c 60.1s |      12 |   528094 |    34219 |    14304      3 |      388 |      329
62.38/62.43	c 62.2s |      12 |   539933 |    35219 |    14304      3 |      388 |      329
64.38/64.49	c 64.2s |      12 |   560519 |    36319 |    14304      3 |      388 |      329
66.68/66.75	c 66.5s |      12 |   574419 |    37319 |    14304      3 |      388 |      329
68.88/68.92	c 68.7s |      12 |   578890 |    38019 |    14304      4 |      388 |      329
70.58/70.62	c 70.4s |      13 |   586822 |    38832 |    15735      4 |      388 |      329
72.69/72.73	c 72.5s |      13 |   598895 |    39932 |    15735      4 |      388 |      329
74.68/74.76	c 74.5s |      13 |   618447 |    41232 |    15735      4 |      388 |      329
76.68/76.78	c 76.5s |      13 |   625927 |    42332 |    15735      4 |      388 |      329
78.78/78.85	c 78.6s |      13 |   644413 |    43432 |    15735      4 |      388 |      329
80.98/81.00	c 80.8s |      13 |   658941 |    44532 |    15735      4 |      388 |      329
82.98/83.09	c 82.8s |      13 |   678294 |    45732 |    15735      4 |      388 |      329
85.18/85.23	c 85.0s |      13 |   683850 |    46532 |    15735      4 |      388 |      329
87.38/87.48	c 87.2s |      13 |   685952 |    47132 |    15735      4 |      388 |      329
89.48/89.57	c 89.3s |      13 |   703919 |    48332 |    15735      5 |      388 |      329
91.47/91.59	c 91.4s |      13 |   723575 |    49532 |    15735      5 |      388 |      329
93.67/93.71	c 93.5s |      13 |   746204 |    50832 |    15735      5 |      388 |      329
95.78/95.80	c 95.6s |      13 |   767216 |    52132 |    15735      5 |      388 |      329
97.77/97.84	c 97.6s |      13 |   787652 |    53232 |    15735      5 |      388 |      329
99.97/100.04	c 99.8s |      13 |   808493 |    54532 |    15735      5 |      388 |      329
102.07/102.10	c  101s |      13 |   822802 |    55732 |    15735      5 |      388 |      329
104.17/104.27	c  104s |      13 |   838832 |    56932 |    15735      6 |      388 |      329
106.37/106.44	c  106s |      13 |   853987 |    58132 |    17309      6 |      388 |      329
106.68/106.80	c  106s |      14 |   857994 |    58352 |    17309      6 |      388 |      329
108.77/108.87	c  108s |      14 |   876647 |    59752 |    17309      6 |      388 |      329
111.08/111.13	c  110s |      14 |   897273 |    60952 |    17309      6 |      389 |      330
113.17/113.28	c  113s |      14 |   906743 |    61952 |    17309      6 |      389 |      330
115.47/115.54	c  115s |      14 |   913271 |    62852 |    17309      6 |      389 |      330
117.57/117.64	c  117s |      14 |   931690 |    63952 |    17309      6 |      389 |      330
119.67/119.71	c  119s |      14 |   953203 |    64952 |    17309      6 |      390 |      331
121.67/121.78	c  121s |      14 |   964691 |    66052 |    17309      6 |      390 |      331
123.87/123.98	c  123s |      14 |   979714 |    67152 |    17309      7 |      390 |      331
126.17/126.22	c  125s |      14 |   997357 |    68252 |    17309      7 |      391 |      332
128.17/128.27	c  128s |      14 |  1006597 |    69252 |    17309      7 |      391 |      332
130.37/130.48	c  130s |      14 |  1012825 |    70352 |    17309      7 |      391 |      332
132.67/132.74	c  132s |      14 |  1016969 |    71252 |    17309      7 |      391 |      332
135.07/135.11	c  134s |      14 |  1019986 |    71852 |    17309      7 |      391 |      332
137.37/137.45	c  137s |      14 |  1021751 |    72352 |    17309      7 |      391 |      332
139.57/139.66	c  139s |      14 |  1023327 |    72852 |    17309      7 |      391 |      332
141.67/141.75	c  141s |      14 |  1026518 |    73452 |    17309      7 |      391 |      332
144.07/144.17	c  143s |      14 |  1029173 |    74052 |    17309      7 |      391 |      332
146.87/147.00	c  146s |      14 |  1030050 |    74452 |    17309      7 |      391 |      332
150.77/150.89	c  150s |      14 |  1030840 |    74752 |    17309      7 |      391 |      332
153.26/153.36	c  153s |      14 |  1032229 |    75152 |    17309      7 |      391 |      332
155.76/155.85	c  155s |      14 |  1032780 |    75352 |    17309      7 |      391 |      332
158.06/158.18	c  157s |      14 |  1033235 |    75552 |    17309      7 |      391 |      332
160.17/160.21	c  159s |      14 |  1033757 |    75752 |    17309      7 |      391 |      332
163.47/163.56	c  163s |      14 |  1034683 |    75952 |    17309      7 |      391 |      332
165.67/165.72	c  165s |      14 |  1036296 |    76352 |    17309      7 |      391 |      332
168.38/168.47	c  168s |      14 |  1036783 |    76552 |    17309      7 |      391 |      332
171.67/171.74	c  171s |      14 |  1037210 |    76752 |    17309      7 |      391 |      332
173.97/174.06	c  173s |      14 |  1038585 |    77152 |    17309      7 |      391 |      332
175.97/176.09	c  175s |      14 |  1040873 |    77552 |    17309      7 |      391 |      332
180.17/180.22	c  179s |      14 |  1041403 |    77752 |    17309      7 |      391 |      332
183.96/184.05	c  183s |      14 |  1042007 |    77952 |    17309      7 |      391 |      332
186.56/186.63	c  186s |      14 |  1042841 |    78252 |    17309      7 |      391 |      332
188.56/188.68	c  188s |      14 |  1044473 |    78652 |    17309      8 |      391 |      332
191.47/191.59	c  191s |      14 |  1045454 |    78952 |    17309      8 |      391 |      332
194.36/194.46	c  194s |      14 |  1046192 |    79152 |    17309      8 |      391 |      332
198.26/198.32	c  198s |      14 |  1046511 |    79352 |    17309      8 |      391 |      332
200.86/200.98	c  200s |      14 |  1046661 |    79452 |    17309      8 |      391 |      332
203.96/204.05	c  203s |      14 |  1046804 |    79552 |    17309      8 |      391 |      332
206.25/206.37	c  206s |      14 |  1047305 |    79752 |    17309      8 |      391 |      332
208.55/208.64	c  208s |      14 |  1048794 |    80052 |    17309      8 |      391 |      332
211.16/211.28	c  211s |      14 |  1049695 |    80352 |    17309      8 |      391 |      332
213.47/213.56	c  213s |      14 |  1050792 |    80652 |    17309      8 |      391 |      332
215.67/215.73	c  215s |      14 |  1051270 |    80852 |    17309      8 |      391 |      332
219.56/219.65	c  219s |      14 |  1051705 |    81052 |    17309      8 |      391 |      332
221.76/221.88	c  221s |      14 |  1053133 |    81352 |    17309      8 |      391 |      332
224.26/224.31	c  224s |      14 |  1054253 |    81652 |    17309      8 |      391 |      332
226.56/226.67	c  226s |      14 |  1055120 |    81852 |    17309      8 |      391 |      332
228.66/228.70	c  228s |      14 |  1055575 |    81952 |    17309      8 |      391 |      332
232.16/232.23	c  231s |      14 |  1056115 |    82152 |    17309      8 |      391 |      332
234.76/234.83	c  234s |      14 |  1056966 |    82352 |    17309      8 |      391 |      332
236.76/236.83	c  236s |      14 |  1057687 |    82552 |    17309      8 |      391 |      332
238.76/238.84	c  238s |      14 |  1058166 |    82752 |    17309      8 |      391 |      332
240.75/240.87	c  240s |      14 |  1073177 |    83552 |    17309      8 |      392 |      333
242.95/243.05	c  242s |      14 |  1093201 |    84752 |    17309      8 |      393 |      334
245.05/245.14	c  244s |      14 |  1118096 |    85952 |    17309      8 |      393 |      334
247.35/247.44	c  247s |      14 |  1126909 |    86652 |    17309      9 |      393 |      334
248.75/248.82	c  248s |      15 |  1143401 |    87632 |    19040      9 |      393 |      334
250.95/251.01	c  250s |      15 |  1154813 |    88832 |    19040      9 |      393 |      334
253.15/253.25	c  253s |      15 |  1156465 |    89532 |    19040      9 |      393 |      334
255.15/255.26	c  255s |      15 |  1170830 |    90532 |    19040      9 |      393 |      334
257.45/257.52	c  257s |      15 |  1173520 |    91332 |    19040      9 |      393 |      334
259.45/259.53	c  259s |      15 |  1191903 |    92332 |    19040      9 |      393 |      334
261.55/261.68	c  261s |      15 |  1208962 |    93532 |    19040      9 |      393 |      334
263.75/263.86	c  263s |      15 |  1223086 |    94732 |    19040      9 |      393 |      334
265.84/265.95	c  265s |      15 |  1237255 |    96032 |    19040      9 |      393 |      334
268.05/268.14	c  267s |      15 |  1247305 |    97232 |    19040      9 |      393 |      334
270.04/270.16	c  269s |      15 |  1256900 |    98432 |    19040     10 |      393 |      334
272.05/272.17	c  271s |      15 |  1258592 |    99132 |    19040     10 |      393 |      334
274.25/274.34	c  274s |      15 |  1262718 |    99832 |    19040     10 |      393 |      334
276.45/276.51	c  276s |      15 |  1279803 |   101032 |    19040     10 |      393 |      334
278.45/278.53	c  278s |      15 |  1286281 |   101932 |    19040     10 |      393 |      334
280.56/280.65	c  280s |      15 |  1294565 |   103032 |    19040     10 |      393 |      334
282.55/282.70	c  282s |      15 |  1297539 |   103732 |    19040     10 |      393 |      334
284.95/285.00	c  284s |      15 |  1298874 |   104232 |    19040     10 |      393 |      334
287.24/287.30	c  287s |      15 |  1302759 |   105032 |    19040     10 |      393 |      334
289.25/289.33	c  289s |      15 |  1304490 |   105532 |    19040     10 |      393 |      334
291.24/291.39	c  291s |      15 |  1307782 |   106132 |    19040     10 |      393 |      334
293.34/293.42	c  293s |      15 |  1313987 |   107132 |    19040     10 |      393 |      334
295.64/295.72	c  295s |      15 |  1321406 |   108032 |    19040     11 |      393 |      334
297.64/297.77	c  297s |      15 |  1336872 |   109232 |    19040     11 |      393 |      334
299.84/299.92	c  299s |      15 |  1354550 |   110632 |    19040     11 |      393 |      334
301.94/302.00	c  301s |      15 |  1366047 |   111732 |    19040     11 |      393 |      334
303.94/304.09	c  303s |      15 |  1384920 |   112932 |    19040     11 |      393 |      334
306.04/306.13	c  305s |      15 |  1389550 |   113732 |    19040     11 |      393 |      334
308.14/308.21	c  307s |      15 |  1392588 |   114532 |    19040     11 |      393 |      334
310.15/310.28	c  310s |      15 |  1393389 |   114932 |    19040     11 |      393 |      334
312.35/312.40	c  312s |      15 |  1395260 |   115532 |    19040     11 |      393 |      334
314.44/314.56	c  314s |      15 |  1410502 |   116732 |    19040     11 |      393 |      334
316.54/316.67	c  316s |      15 |  1424485 |   117832 |    19040     11 |      393 |      334
318.64/318.77	c  318s |      15 |  1439451 |   118932 |    19040     12 |      393 |      334
320.85/320.99	c  320s |      15 |  1457706 |   120132 |    19040     12 |      393 |      334
322.94/323.09	c  322s |      15 |  1470669 |   121332 |    19040     12 |      393 |      334
325.04/325.11	c  324s |      15 |  1482808 |   122532 |    19040     12 |      393 |      334
327.04/327.14	c  326s |      15 |  1487666 |   123532 |    19040     12 |      393 |      334
329.24/329.34	c  329s |      15 |  1490648 |   124332 |    19040     12 |      393 |      334
331.44/331.55	c  331s |      15 |  1500191 |   125332 |    19040     12 |      393 |      334
333.64/333.72	c  333s |      15 |  1511439 |   126432 |    19040     12 |      393 |      334
336.04/336.15	c  335s |      15 |  1512927 |   127032 |    19040     12 |      393 |      334
338.14/338.28	c  338s |      15 |  1516017 |   127632 |    19040     12 |      393 |      334
340.33/340.45	c  340s |      15 |  1522034 |   128332 |    19040     12 |      393 |      334
342.43/342.58	c  342s |      15 |  1529695 |   129132 |    19040     13 |      393 |      334
344.73/344.84	c  344s |      15 |  1541030 |   130232 |    19040     13 |      393 |      334
346.83/346.90	c  346s |      15 |  1553058 |   131232 |    20944     13 |      393 |      334
347.43/347.51	c  347s |      16 |  1554765 |   131552 |    20944     13 |      393 |      334
349.53/349.64	c  349s |      16 |  1574134 |   133152 |    20944     13 |      393 |      334
351.73/351.80	c  351s |      16 |  1591033 |   134652 |    20944     13 |      393 |      334
353.83/353.98	c  353s |      16 |  1599838 |   135752 |    20944     13 |      393 |      334
356.03/356.10	c  355s |      16 |  1612415 |   136852 |    20944     13 |      393 |      334
358.04/358.15	c  357s |      16 |  1621791 |   137952 |    20944     13 |      393 |      334
360.04/360.15	c  359s |      16 |  1637945 |   139152 |    20944     13 |      393 |      334
362.14/362.21	c  361s |      16 |  1656580 |   140552 |    20944     13 |      393 |      334
364.24/364.33	c  364s |      16 |  1678838 |   141852 |    20944     14 |      393 |      334
366.24/366.33	c  366s |      16 |  1697199 |   143252 |    20944     14 |      393 |      334
368.34/368.46	c  368s |      16 |  1706751 |   144452 |    20944     14 |      393 |      334
370.43/370.53	c  370s |      16 |  1726548 |   145852 |    20944     14 |      393 |      334
372.43/372.59	c  372s |      16 |  1740792 |   147052 |    20944     14 |      393 |      334
374.53/374.61	c  374s |      16 |  1745490 |   147952 |    20944     14 |      393 |      334
376.53/376.65	c  376s |      16 |  1751486 |   148652 |    20944     14 |      393 |      334
378.63/378.76	c  378s |      16 |  1764317 |   150052 |    20944     14 |      393 |      334
380.73/380.81	c  380s |      16 |  1774623 |   151052 |    20944     14 |      393 |      334
382.84/382.96	c  382s |      16 |  1782913 |   152252 |    20944     14 |      393 |      334
384.93/385.06	c  384s |      16 |  1795097 |   153352 |    20944     15 |      393 |      334
386.93/387.07	c  386s |      16 |  1819519 |   154752 |    20944     15 |      393 |      334
389.03/389.15	c  388s |      16 |  1838914 |   156152 |    20944     15 |      393 |      334
391.13/391.26	c  391s |      16 |  1848963 |   157452 |    20944     15 |      393 |      334
393.33/393.48	c  393s |      16 |  1856894 |   158452 |    20944     15 |      393 |      334
395.53/395.63	c  395s |      16 |  1865050 |   159552 |    20944     15 |      393 |      334
397.83/397.91	c  397s |      16 |  1876646 |   160552 |    20944     15 |      393 |      334
399.93/400.04	c  399s |      16 |  1881299 |   161552 |    20944     15 |      393 |      334
402.03/402.18	c  401s |      16 |  1888103 |   162552 |    20944     15 |      393 |      334
404.13/404.24	c  403s |      16 |  1901546 |   163552 |    20944     15 |      393 |      334
406.23/406.35	c  406s |      16 |  1914438 |   164852 |    20944     16 |      393 |      334
408.32/408.40	c  408s |      16 |  1927087 |   166252 |    20944     16 |      393 |      334
410.33/410.49	c  410s |      16 |  1937201 |   167452 |    20944     16 |      393 |      334
412.43/412.60	c  412s |      16 |  1954352 |   168752 |    20944     16 |      393 |      334
414.63/414.80	c  414s |      16 |  1959339 |   169452 |    20944     16 |      393 |      334
416.83/416.91	c  416s |      16 |  1965629 |   170352 |    20944     16 |      393 |      334
418.82/418.97	c  418s |      16 |  1972018 |   171452 |    20944     16 |      393 |      334
420.92/421.09	c  420s |      16 |  1978767 |   172252 |    20944     16 |      393 |      334
424.63/424.74	c  424s |      16 |  1979174 |   172452 |    20944     16 |      393 |      334
426.62/426.77	c  426s |      16 |  1980750 |   172952 |    20944     16 |      393 |      334
428.72/428.81	c  428s |      16 |  1992873 |   173952 |    20944     16 |      393 |      334
431.13/431.21	c  430s |      16 |  2005157 |   175052 |    20944     17 |      393 |      334
433.12/433.28	c  433s |      16 |  2026747 |   176552 |    20944     17 |      393 |      334
435.22/435.34	c  435s |      16 |  2038655 |   177552 |    20944     17 |      393 |      334
437.22/437.35	c  437s |      16 |  2051226 |   178752 |    20944     17 |      393 |      334
439.42/439.51	c  439s |      16 |  2062080 |   179952 |    20944     17 |      393 |      334
441.63/441.80	c  441s |      16 |  2074807 |   180952 |    20944     17 |      393 |      334
443.93/444.05	c  443s |      16 |  2083839 |   182252 |    20944     17 |      393 |      334
446.13/446.24	c  445s |      16 |  2092492 |   183352 |    20944     17 |      393 |      334
448.32/448.41	c  448s |      16 |  2105142 |   184352 |    20944     17 |      393 |      334
450.42/450.53	c  450s |      16 |  2110915 |   185152 |    20944     17 |      393 |      334
452.62/452.74	c  452s |      16 |  2120500 |   186252 |    20944     17 |      393 |      334
454.72/454.88	c  454s |      16 |  2125579 |   187052 |    20944     17 |      393 |      334
456.82/456.90	c  456s |      16 |  2130825 |   188052 |    20944     18 |      393 |      334
459.12/459.24	c  458s |      16 |  2138815 |   189252 |    20944     18 |      393 |      334
461.12/461.27	c  461s |      16 |  2142625 |   189852 |    20944     18 |      393 |      334
463.22/463.35	c  463s |      16 |  2145424 |   190452 |    20944     18 |      393 |      334
465.52/465.68	c  465s |      16 |  2146992 |   190852 |    20944     18 |      393 |      334
467.92/468.07	c  467s |      16 |  2149731 |   191352 |    20944     18 |      393 |      334
470.21/470.35	c  470s |      16 |  2154128 |   192352 |    20944     18 |      393 |      334
472.41/472.58	c  472s |      16 |  2160001 |   193052 |    20944     18 |      393 |      334
474.71/474.86	c  474s |      16 |  2163644 |   193752 |    20944     18 |      393 |      334
476.91/477.04	c  476s |      16 |  2169266 |   194552 |    20944     18 |      393 |      334
479.21/479.31	c  479s |      16 |  2173994 |   195452 |    20944     18 |      393 |      334
481.22/481.32	c  481s |      16 |  2176154 |   196052 |    20944     18 |      393 |      334
483.42/483.54	c  483s |      16 |  2180796 |   196852 |    23039     18 |      393 |      334
485.32/485.41	c  485s |      17 |  2185253 |   197432 |    23039     18 |      393 |      334
487.42/487.51	c  487s |      17 |  2198153 |   198432 |    23039     18 |      393 |      334
489.42/489.55	c  489s |      17 |  2203498 |   199232 |    23039     18 |      393 |      334
491.52/491.69	c  491s |      17 |  2206972 |   199932 |    23039     18 |      393 |      334
493.62/493.78	c  493s |      17 |  2210383 |   200732 |    23039     18 |      393 |      334
496.12/496.23	c  495s |      17 |  2211842 |   201232 |    23039     18 |      393 |      334
498.22/498.33	c  498s |      17 |  2214854 |   201632 |    23039     19 |      393 |      334
500.31/500.40	c  500s |      17 |  2237129 |   203232 |    23039     19 |      393 |      334
502.51/502.63	c  502s |      17 |  2239828 |   204232 |    23039     19 |      393 |      334
504.51/504.64	c  504s |      17 |  2241593 |   204832 |    23039     19 |      393 |      334
506.51/506.67	c  506s |      17 |  2253730 |   206132 |    23039     19 |      393 |      334
508.61/508.75	c  508s |      17 |  2276609 |   207332 |    23039     19 |      393 |      334
510.71/510.85	c  510s |      17 |  2300083 |   208732 |    23039     19 |      393 |      334
513.11/513.29	c  513s |      17 |  2304288 |   209532 |    23039     19 |      393 |      334
515.41/515.51	c  515s |      17 |  2307067 |   209932 |    23039     19 |      393 |      334
517.51/517.66	c  517s |      17 |  2324480 |   211332 |    23039     19 |      393 |      334
519.51/519.69	c  519s |      17 |  2337174 |   212432 |    23039     19 |      393 |      334
521.71/521.86	c  521s |      17 |  2352968 |   213732 |    23039     19 |      393 |      334
523.71/523.89	c  523s |      17 |  2372968 |   214932 |    23039     20 |      393 |      334
525.82/525.93	c  525s |      17 |  2393625 |   216432 |    23039     20 |      393 |      334
527.91/528.05	c  527s |      17 |  2417097 |   217932 |    23039     20 |      394 |      335
530.01/530.13	c  529s |      17 |  2427094 |   218932 |    23039     20 |      394 |      335
532.11/532.20	c  531s |      17 |  2429585 |   219832 |    23039     20 |      394 |      335
534.21/534.37	c  534s |      17 |  2431124 |   220432 |    23039     20 |      394 |      335
536.31/536.48	c  536s |      17 |  2434168 |   221232 |    23039     20 |      394 |      335
538.40/538.52	c  538s |      17 |  2438013 |   222232 |    23039     20 |      394 |      335
540.50/540.65	c  540s |      17 |  2440733 |   223132 |    23039     20 |      394 |      335
542.70/542.84	c  542s |      17 |  2442775 |   223932 |    23039     20 |      394 |      335
545.10/545.26	c  545s |      17 |  2444408 |   224532 |    23039     20 |      394 |      335
547.50/547.65	c  547s |      17 |  2445901 |   225132 |    23039     20 |      394 |      335
549.60/549.79	c  549s |      17 |  2447234 |   225632 |    23039     20 |      394 |      335
551.90/552.03	c  551s |      17 |  2448541 |   226132 |    23039     20 |      394 |      335
554.31/554.47	c  554s |      17 |  2450003 |   226732 |    23039     20 |      394 |      335
556.61/556.77	c  556s |      17 |  2450824 |   227132 |    23039     20 |      394 |      335
558.90/559.00	c  558s |      17 |  2452301 |   227632 |    23039     20 |      394 |      335
561.31/561.40	c  561s |      17 |  2453607 |   228132 |    23039     21 |      394 |      335
563.31/563.46	c  563s |      17 |  2454838 |   228632 |    23039     21 |      394 |      335
565.71/565.84	c  565s |      17 |  2456395 |   229232 |    23039     21 |      394 |      335
567.71/567.88	c  567s |      17 |  2458409 |   229732 |    23039     21 |      394 |      335
569.81/569.94	c  569s |      17 |  2478980 |   231232 |    23039     21 |      394 |      335
571.81/571.96	c  571s |      17 |  2493911 |   232532 |    23039     21 |      394 |      335
573.90/574.02	c  573s |      17 |  2497271 |   233532 |    23039     21 |      394 |      335
576.00/576.17	c  575s |      17 |  2505531 |   234732 |    23039     21 |      394 |      335
578.20/578.31	c  578s |      17 |  2529711 |   236132 |    23039     21 |      394 |      335
580.20/580.35	c  580s |      17 |  2534978 |   236832 |    23039     21 |      394 |      335
582.30/582.40	c  582s |      17 |  2535842 |   237232 |    23039     21 |      394 |      335
584.30/584.44	c  584s |      17 |  2553098 |   238432 |    23039     21 |      394 |      335
586.31/586.44	c  586s |      17 |  2559637 |   239532 |    23039     21 |      394 |      335
588.30/588.46	c  588s |      17 |  2574664 |   240732 |    23039     22 |      394 |      335
590.40/590.53	c  590s |      17 |  2591567 |   242332 |    23039     22 |      394 |      335
592.50/592.62	c  592s |      17 |  2601707 |   243532 |    23039     22 |      394 |      335
594.50/594.69	c  594s |      17 |  2610124 |   244632 |    23039     22 |      394 |      335
596.50/596.69	c  596s |      17 |  2632567 |   246032 |    23039     22 |      394 |      335
598.80/598.94	c  598s |      17 |  2643151 |   247232 |    23039     22 |      394 |      335
600.90/601.01	c  600s |      17 |  2659315 |   248732 |    23039     22 |      394 |      335
603.00/603.14	c  602s |      17 |  2667052 |   249932 |    23039     22 |      394 |      335
605.10/605.29	c  605s |      17 |  2676778 |   250732 |    23039     22 |      394 |      335
607.10/607.30	c  607s |      17 |  2682201 |   251632 |    23039     22 |      394 |      335
609.20/609.38	c  609s |      17 |  2701939 |   252732 |    23039     23 |      395 |      336
611.20/611.38	c  611s |      17 |  2729942 |   254432 |    23039     23 |      396 |      337
613.29/613.41	c  613s |      17 |  2740347 |   256032 |    23039     23 |      396 |      337
615.29/615.47	c  615s |      17 |  2743997 |   257032 |    23039     23 |      396 |      337
617.39/617.53	c  617s |      17 |  2746280 |   257732 |    23039     23 |      396 |      337
619.69/619.83	c  619s |      17 |  2749035 |   258432 |    23039     23 |      396 |      337
622.09/622.24	c  621s |      17 |  2750930 |   259032 |    23039     23 |      396 |      337
624.30/624.46	c  624s |      17 |  2754130 |   259732 |    23039     23 |      396 |      337
626.50/626.62	c  626s |      17 |  2755683 |   260132 |    23039     23 |      396 |      337
628.60/628.73	c  628s |      17 |  2756454 |   260432 |    23039     23 |      396 |      337
631.20/631.34	c  631s |      17 |  2757104 |   260732 |    23039     23 |      396 |      337
633.39/633.53	c  633s |      17 |  2758360 |   261132 |    23039     23 |      396 |      337
635.80/635.96	c  635s |      17 |  2759927 |   261632 |    23039     23 |      396 |      337
637.90/638.06	c  637s |      17 |  2769515 |   262532 |    23039     23 |      396 |      337
639.99/640.14	c  639s |      17 |  2773182 |   263632 |    23039     23 |      396 |      337
642.49/642.60	c  642s |      17 |  2775191 |   264332 |    23039     23 |      396 |      337
644.49/644.62	c  644s |      17 |  2778594 |   265232 |    23039     23 |      396 |      337
647.20/647.30	c  647s |      17 |  2782178 |   266132 |    23039     24 |      396 |      337
649.20/649.37	c  649s |      17 |  2786892 |   267432 |    23039     24 |      396 |      337
651.49/651.67	c  651s |      17 |  2789603 |   268232 |    23039     24 |      396 |      337
653.89/654.04	c  653s |      17 |  2790727 |   268732 |    23039     24 |      396 |      337
656.39/656.59	c  656s |      17 |  2792626 |   269332 |    23039     24 |      396 |      337
658.59/658.79	c  658s |      17 |  2793749 |   269832 |    23039     24 |      396 |      337
660.89/661.02	c  660s |      17 |  2795942 |   270532 |    23039     24 |      396 |      337
663.30/663.43	c  663s |      17 |  2797052 |   270932 |    23039     24 |      396 |      337
665.29/665.49	c  665s |      17 |  2804964 |   271732 |    23039     24 |      396 |      337
667.39/667.57	c  667s |      17 |  2830929 |   272932 |    23039     24 |      396 |      337
669.49/669.65	c  669s |      17 |  2851410 |   274432 |    23039     24 |      396 |      337
671.48/671.67	c  671s |      17 |  2864299 |   275432 |    23039     24 |      396 |      337
673.58/673.72	c  673s |      17 |  2878294 |   276432 |    23039     25 |      396 |      337
675.68/675.82	c  675s |      17 |  2907140 |   278232 |    23039     25 |      396 |      337
677.68/677.88	c  677s |      17 |  2928902 |   279932 |    23039     25 |      396 |      337
679.88/680.00	c  679s |      17 |  2944053 |   281432 |    23039     25 |      396 |      337
682.19/682.36	c  682s |      17 |  2947697 |   282232 |    23039     25 |      396 |      337
684.49/684.61	c  684s |      17 |  2952043 |   283332 |    23039     25 |      396 |      337
686.79/686.93	c  686s |      17 |  2956167 |   284232 |    23039     25 |      396 |      337
688.89/689.05	c  688s |      17 |  2959530 |   285032 |    23039     25 |      396 |      337
690.89/691.09	c  690s |      17 |  2970360 |   286432 |    23039     26 |      396 |      337
693.09/693.20	c  692s |      17 |  2979209 |   287832 |    23039     26 |      396 |      337
695.09/695.22	c  694s |      17 |  3000492 |   289332 |    23039     26 |      396 |      337
697.08/697.28	c  697s |      17 |  3013644 |   290932 |    23039     26 |      396 |      337
699.18/699.35	c  699s |      17 |  3039568 |   292432 |    23039     26 |      396 |      337
701.28/701.43	c  701s |      17 |  3060198 |   293932 |    23039     26 |      396 |      337
703.38/703.54	c  703s |      17 |  3076194 |   294932 |    25343     26 |      396 |      337
705.28/705.49	c  705s |      18 |  3093254 |   296252 |    25343     26 |      396 |      337
707.38/707.51	c  707s |      18 |  3115095 |   297352 |    25343     26 |      396 |      337
709.49/709.63	c  709s |      18 |  3118434 |   297952 |    25343     26 |      396 |      337
711.48/711.68	c  711s |      18 |  3136925 |   299252 |    25343     27 |      396 |      337
713.68/713.81	c  713s |      18 |  3163095 |   301152 |    25343     27 |      396 |      337
715.68/715.83	c  715s |      18 |  3183946 |   302552 |    25343     27 |      396 |      337
717.78/717.94	c  717s |      18 |  3192461 |   303552 |    25343     27 |      396 |      337
720.18/720.34	c  720s |      18 |  3195914 |   304252 |    25343     27 |      396 |      337
722.18/722.37	c  722s |      18 |  3215013 |   305552 |    25343     27 |      396 |      337
724.37/724.55	c  724s |      18 |  3217668 |   306252 |    25343     27 |      396 |      337
726.47/726.65	c  726s |      18 |  3238035 |   307652 |    25343     27 |      396 |      337
728.67/728.80	c  728s |      18 |  3250014 |   308852 |    25343     27 |      396 |      337
730.88/731.06	c  730s |      18 |  3254897 |   309652 |    25343     27 |      396 |      337
732.98/733.12	c  732s |      18 |  3256607 |   310152 |    25343     27 |      396 |      337
735.28/735.44	c  735s |      18 |  3260065 |   310952 |    25343     27 |      396 |      337
737.28/737.44	c  737s |      18 |  3267711 |   311752 |    25343     28 |      396 |      337
739.48/739.64	c  739s |      18 |  3274213 |   313052 |    25343     28 |      396 |      337
741.58/741.70	c  741s |      18 |  3286573 |   314452 |    25343     28 |      396 |      337
743.59/743.79	c  743s |      18 |  3304002 |   315952 |    25343     28 |      396 |      337
745.69/745.86	c  745s |      18 |  3316661 |   317152 |    25343     28 |      396 |      337
747.99/748.14	c  747s |      18 |  3318770 |   317852 |    25343     28 |      396 |      337
749.98/750.14	c  749s |      18 |  3329650 |   319152 |    25343     28 |      396 |      337
751.98/752.16	c  751s |      18 |  3331250 |   319752 |    25343     28 |      396 |      337
754.18/754.30	c  754s |      18 |  3349937 |   321052 |    25343     28 |      396 |      337
756.18/756.37	c  756s |      18 |  3363797 |   322352 |    25343     29 |      396 |      337
758.28/758.45	c  758s |      18 |  3371586 |   323752 |    25343     29 |      396 |      337
760.48/760.65	c  760s |      18 |  3384816 |   325152 |    25343     29 |      396 |      337
762.68/762.82	c  762s |      18 |  3403023 |   326852 |    25343     29 |      396 |      337
764.88/765.02	c  764s |      18 |  3421875 |   328552 |    25343     29 |      396 |      337
766.98/767.15	c  766s |      18 |  3438327 |   330052 |    25343     29 |      396 |      337
769.08/769.29	c  769s |      18 |  3455134 |   331652 |    25343     29 |      396 |      337
771.27/771.41	c  771s |      18 |  3475946 |   333152 |    25343     30 |      396 |      337
773.47/773.62	c  773s |      18 |  3480568 |   334152 |    25343     30 |      396 |      337
775.48/775.63	c  775s |      18 |  3486413 |   335352 |    25343     30 |      396 |      337
777.58/777.77	c  777s |      18 |  3499639 |   336852 |    25343     30 |      396 |      337
779.78/779.96	c  779s |      18 |  3501140 |   337352 |    25343     30 |      396 |      337
781.87/782.07	c  781s |      18 |  3512982 |   338652 |    25343     30 |      396 |      337
783.97/784.17	c  783s |      18 |  3527069 |   340252 |    25343     30 |      396 |      337
786.17/786.30	c  786s |      18 |  3538853 |   341652 |    25343     30 |      396 |      337
788.27/788.40	c  788s |      18 |  3557738 |   343052 |    25343     31 |      397 |      338
790.47/790.66	c  790s |      18 |  3584209 |   344752 |    25343     31 |      397 |      338
792.67/792.86	c  792s |      18 |  3590622 |   345852 |    25343     31 |      397 |      338
794.87/795.00	c  794s |      18 |  3606614 |   346952 |    25343     31 |      397 |      338
797.07/797.29	c  797s |      18 |  3614563 |   347852 |    25343     31 |      397 |      338
799.17/799.31	c  799s |      18 |  3617695 |   348652 |    25343     31 |      397 |      338
801.27/801.41	c  801s |      18 |  3620712 |   349452 |    25343     31 |      397 |      338
803.86/804.07	c  803s |      18 |  3623822 |   350152 |    25343     31 |      397 |      338
806.17/806.40	c  806s |      18 |  3626201 |   350852 |    25343     31 |      397 |      338
808.26/808.47	c  808s |      18 |  3627380 |   351252 |    25343     31 |      397 |      338
810.68/810.88	c  810s |      18 |  3629184 |   351852 |    25343     31 |      397 |      338
813.17/813.35	c  813s |      18 |  3631156 |   352552 |    25343     31 |      397 |      338
815.37/815.56	c  815s |      18 |  3632692 |   353052 |    25343     31 |      397 |      338
817.37/817.58	c  817s |      18 |  3635502 |   353652 |    25343     31 |      397 |      338
819.47/819.62	c  819s |      18 |  3636856 |   354152 |    25343     31 |      397 |      338
821.47/821.69	c  821s |      18 |  3638904 |   354852 |    25343     32 |      397 |      338
823.66/823.89	c  823s |      18 |  3640929 |   355452 |    25343     32 |      397 |      338
825.86/826.05	c  825s |      18 |  3642726 |   356052 |    25343     32 |      397 |      338
828.17/828.39	c  828s |      18 |  3644468 |   356652 |    25343     32 |      397 |      338
830.56/830.73	c  830s |      18 |  3646279 |   357152 |    25343     32 |      397 |      338
832.77/832.92	c  832s |      18 |  3647735 |   357652 |    25343     32 |      397 |      338
834.77/834.94	c  834s |      18 |  3649754 |   358252 |    25343     32 |      397 |      338
837.07/837.27	c  837s |      18 |  3650899 |   358652 |    25343     32 |      397 |      338
839.47/839.66	c  839s |      18 |  3652309 |   359052 |    25343     32 |      397 |      338
841.47/841.67	c  841s |      18 |  3653440 |   359552 |    25343     32 |      397 |      338
843.57/843.80	c  843s |      18 |  3654954 |   360052 |    25343     32 |      397 |      338
845.96/846.10	c  845s |      18 |  3655692 |   360352 |    25343     32 |      397 |      338
847.97/848.18	c  847s |      18 |  3656640 |   360752 |    25343     32 |      397 |      338
850.17/850.39	c  850s |      18 |  3657759 |   361252 |    25343     32 |      397 |      338
852.66/852.89	c  852s |      18 |  3659242 |   361752 |    25343     32 |      397 |      338
855.06/855.25	c  855s |      18 |  3660616 |   362252 |    25343     32 |      397 |      338
857.36/857.51	c  857s |      18 |  3662725 |   362852 |    25343     32 |      397 |      338
859.66/859.80	c  859s |      18 |  3663995 |   363352 |    25343     32 |      397 |      338
861.96/862.14	c  861s |      18 |  3665762 |   363852 |    25343     32 |      397 |      338
864.06/864.29	c  864s |      18 |  3666734 |   364252 |    25343     32 |      397 |      338
866.46/866.66	c  866s |      18 |  3668147 |   364752 |    25343     32 |      397 |      338
868.66/868.86	c  868s |      18 |  3672338 |   365352 |    25343     33 |      397 |      338
870.86/871.00	c  870s |      18 |  3700127 |   367052 |    25343     33 |      397 |      338
872.96/873.12	c  872s |      18 |  3712396 |   368252 |    25343     33 |      397 |      338
874.96/875.19	c  874s |      18 |  3721331 |   369252 |    25343     33 |      397 |      338
877.06/877.27	c  877s |      18 |  3728628 |   370452 |    25343     33 |      397 |      338
879.36/879.52	c  879s |      18 |  3732799 |   371552 |    25343     33 |      397 |      338
881.56/881.78	c  881s |      18 |  3735612 |   372252 |    25343     33 |      397 |      338
883.75/883.96	c  883s |      18 |  3738304 |   372952 |    25343     33 |      397 |      338
886.25/886.42	c  886s |      18 |  3740021 |   373652 |    25343     33 |      397 |      338
888.25/888.49	c  888s |      18 |  3742633 |   374352 |    25343     33 |      397 |      338
890.55/890.79	c  890s |      18 |  3743958 |   374852 |    25343     33 |      397 |      338
892.65/892.81	c  892s |      18 |  3744849 |   375152 |    25343     33 |      397 |      338
894.75/894.91	c  894s |      18 |  3751436 |   375852 |    25343     34 |      397 |      338
896.85/897.05	c  896s |      18 |  3756170 |   377052 |    25343     34 |      397 |      338
898.95/899.14	c  898s |      18 |  3762975 |   378052 |    25343     34 |      397 |      338
900.95/901.15	c  900s |      18 |  3764994 |   378752 |    25343     34 |      397 |      338
903.06/903.23	c  902s |      18 |  3773287 |   379752 |    25343     34 |      397 |      338
905.26/905.43	c  905s |      18 |  3782539 |   380952 |    25343     34 |      397 |      338
907.36/907.52	c  907s |      18 |  3803766 |   382452 |    25343     34 |      397 |      338
909.35/909.57	c  909s |      18 |  3816590 |   383552 |    25343     34 |      397 |      338
911.65/911.84	c  911s |      18 |  3820369 |   384252 |    25343     34 |      397 |      338
913.75/913.95	c  913s |      18 |  3827083 |   385052 |    25343     35 |      397 |      338
915.95/916.12	c  915s |      18 |  3841213 |   386452 |    25343     35 |      397 |      338
918.36/918.58	c  918s |      18 |  3843342 |   387052 |    25343     35 |      397 |      338
920.45/920.70	c  920s |      18 |  3844804 |   387452 |    25343     35 |      397 |      338
922.55/922.76	c  922s |      18 |  3845920 |   387852 |    25343     35 |      397 |      338
924.85/925.09	c  924s |      18 |  3846704 |   388252 |    25343     35 |      397 |      338
927.05/927.22	c  926s |      18 |  3861507 |   389552 |    25343     35 |      397 |      338
929.15/929.30	c  929s |      18 |  3867731 |   390752 |    25343     35 |      397 |      338
931.15/931.37	c  931s |      18 |  3875946 |   391952 |    25343     35 |      397 |      338
933.55/933.75	c  933s |      18 |  3878594 |   392752 |    25343     35 |      397 |      338
935.75/935.96	c  935s |      18 |  3892978 |   393952 |    25343     36 |      397 |      338
937.95/938.11	c  937s |      18 |  3897215 |   394752 |    25343     36 |      397 |      338
940.05/940.20	c  939s |      18 |  3908493 |   395952 |    25343     36 |      397 |      338
942.15/942.32	c  942s |      18 |  3933928 |   397652 |    25343     36 |      397 |      338
944.25/944.41	c  944s |      18 |  3954854 |   399052 |    25343     36 |      397 |      338
946.25/946.44	c  946s |      18 |  3960846 |   399952 |    25343     36 |      397 |      338
948.24/948.49	c  948s |      18 |  3975565 |   401352 |    25343     37 |      397 |      338
950.64/950.86	c  950s |      18 |  3978806 |   402252 |    25343     37 |      397 |      338
952.74/952.93	c  952s |      18 |  4001785 |   403752 |    25343     37 |      397 |      338
954.75/954.97	c  954s |      18 |  4023399 |   405352 |    25343     37 |      397 |      338
956.85/957.10	c  956s |      18 |  4030242 |   406452 |    25343     37 |      397 |      338
959.05/959.25	c  959s |      18 |  4033912 |   407452 |    25343     37 |      397 |      338
961.24/961.44	c  961s |      18 |  4036673 |   408352 |    25343     37 |      397 |      338
963.55/963.75	c  963s |      18 |  4039615 |   409152 |    25343     37 |      397 |      338
965.75/965.93	c  965s |      18 |  4042553 |   409952 |    25343     37 |      397 |      338
968.25/968.41	c  968s |      18 |  4044986 |   410552 |    25343     38 |      397 |      338
970.25/970.44	c  970s |      18 |  4049070 |   411552 |    25343     38 |      397 |      338
972.25/972.49	c  972s |      18 |  4051151 |   412152 |    25343     38 |      397 |      338
974.74/974.93	c  974s |      18 |  4053528 |   412752 |    25343     38 |      397 |      338
977.04/977.22	c  976s |      18 |  4055792 |   413452 |    25343     38 |      397 |      338
979.14/979.33	c  979s |      18 |  4058112 |   414052 |    25343     38 |      397 |      338
981.24/981.44	c  981s |      18 |  4060503 |   414652 |    25343     38 |      397 |      338
983.34/983.58	c  983s |      18 |  4061672 |   415152 |    25343     38 |      397 |      338
985.94/986.11	c  985s |      18 |  4063298 |   415652 |    25343     38 |      397 |      338
988.24/988.42	c  988s |      18 |  4064387 |   416052 |    25343     38 |      397 |      338
990.24/990.48	c  990s |      18 |  4077567 |   417052 |    25343     38 |      398 |      339
992.34/992.52	c  992s |      18 |  4082493 |   418252 |    25343     38 |      398 |      339
994.54/994.76	c  994s |      18 |  4084900 |   419052 |    25343     38 |      398 |      339
996.64/996.88	c  996s |      18 |  4087082 |   419752 |    25343     38 |      398 |      339
998.83/999.03	c  998s |      18 |  4115175 |   421152 |    25343     39 |      398 |      339
1000.94/1001.11	c 1000s |      18 |  4140637 |   422852 |    25343     39 |      398 |      339
1003.04/1003.20	c 1002s |      18 |  4167252 |   424652 |    25343     39 |      398 |      339
1005.03/1005.27	c 1005s |      18 |  4192951 |   426252 |    25343     39 |      398 |      339
1007.23/1007.40	c 1007s |      18 |  4218554 |   427952 |    25343     40 |      398 |      339
1009.23/1009.50	c 1009s |      18 |  4231329 |   429352 |    25343     40 |      398 |      339
1011.33/1011.58	c 1011s |      18 |  4241244 |   430252 |    25343     40 |      398 |      339
1013.43/1013.68	c 1013s |      18 |  4255243 |   431652 |    25343     40 |      398 |      339
1015.73/1015.98	c 1015s |      18 |  4269025 |   432952 |    25343     41 |      398 |      339
1017.83/1018.05	c 1017s |      18 |  4293513 |   434652 |    25343     41 |      398 |      339
1019.83/1020.07	c 1019s |      18 |  4308186 |   436352 |    25343     41 |      398 |      339
1021.93/1022.14	c 1021s |      18 |  4312530 |   437152 |    25343     41 |      398 |      339
1024.04/1024.25	c 1024s |      18 |  4324468 |   438352 |    25343     41 |      398 |      339
1026.24/1026.44	c 1026s |      18 |  4329136 |   439152 |    25343     41 |      398 |      339
1028.44/1028.61	c 1028s |      18 |  4333014 |   439852 |    25343     41 |      398 |      339
1030.44/1030.69	c 1030s |      18 |  4339279 |   441152 |    25343     42 |      398 |      339
1032.64/1032.81	c 1032s |      18 |  4356728 |   442652 |    27878     42 |      398 |      339
1034.64/1034.84	c 1034s |      18 |  4374832 |   444052 |    27878     42 |      398 |      339
1035.24/1035.49	c 1035s |      19 |  4381615 |   444482 |    27878     42 |      398 |      339
1037.53/1037.70	c 1037s |      19 |  4392631 |   445782 |    27878     42 |      398 |      339
1039.93/1040.17	c 1039s |      19 |  4394664 |   446482 |    27878     42 |      398 |      339
1042.23/1042.47	c 1042s |      19 |  4397745 |   447082 |    27878     42 |      398 |      339
1044.53/1044.71	c 1044s |      19 |  4398725 |   447482 |    27878     42 |      398 |      339
1046.93/1047.17	c 1046s |      19 |  4399581 |   447782 |    27878     42 |      398 |      339
1049.03/1049.29	c 1049s |      19 |  4400869 |   448282 |    27878     42 |      398 |      339
1051.13/1051.34	c 1051s |      19 |  4416125 |   449182 |    27878     43 |      398 |      339
1053.13/1053.39	c 1053s |      19 |  4441037 |   450782 |    27878     43 |      398 |      339
1055.23/1055.44	c 1055s |      19 |  4464113 |   452382 |    27878     43 |      398 |      339
1057.33/1057.57	c 1057s |      19 |  4484347 |   453882 |    27878     43 |      398 |      339
1059.42/1059.66	c 1059s |      19 |  4487249 |   454582 |    27878     43 |      398 |      339
1061.62/1061.83	c 1061s |      19 |  4493538 |   455782 |    27878     43 |      398 |      339
1063.92/1064.19	c 1063s |      19 |  4504634 |   456982 |    27878     44 |      398 |      339
1066.02/1066.26	c 1066s |      19 |  4527960 |   458682 |    27878     44 |      398 |      339
1068.22/1068.42	c 1068s |      19 |  4536212 |   460082 |    27878     44 |      398 |      339
1070.32/1070.52	c 1070s |      19 |  4549644 |   461582 |    27878     44 |      398 |      339
1072.33/1072.55	c 1072s |      19 |  4572050 |   463082 |    27878     44 |      398 |      339
1074.53/1074.72	c 1074s |      19 |  4582543 |   464082 |    27878     44 |      398 |      339
1076.83/1077.04	c 1076s |      19 |  4585425 |   464782 |    27878     44 |      398 |      339
1079.04/1079.21	c 1078s |      19 |  4588145 |   465282 |    27878     44 |      398 |      339
1081.24/1081.47	c 1081s |      19 |  4589925 |   465682 |    27878     44 |      398 |      339
1083.73/1083.90	c 1083s |      19 |  4590325 |   465882 |    27878     44 |      398 |      339
1087.03/1087.21	c 1086s |      19 |  4590724 |   466082 |    27878     44 |      398 |      339
1090.43/1090.66	c 1090s |      19 |  4592428 |   466482 |    27878     44 |      398 |      339
1093.33/1093.58	c 1093s |      19 |  4593613 |   466782 |    27878     44 |      398 |      339
1095.62/1095.88	c 1095s |      19 |  4594519 |   466982 |    27878     44 |      398 |      339
1099.42/1099.61	c 1099s |      19 |  4595795 |   467282 |    27878     44 |      398 |      339
1102.92/1103.15	c 1102s |      19 |  4596335 |   467482 |    27878     44 |      398 |      339
1105.62/1105.88	c 1105s |      19 |  4597315 |   467682 |    27878     45 |      398 |      339
1107.92/1108.10	c 1107s |      19 |  4604997 |   468782 |    27878     45 |      398 |      339
1109.92/1110.13	c 1109s |      19 |  4610246 |   469782 |    27878     45 |      398 |      339
1111.92/1112.18	c 1111s |      19 |  4612780 |   470582 |    27878     45 |      398 |      339
1114.32/1114.51	c 1114s |      19 |  4615058 |   471282 |    27878     45 |      398 |      339
1116.32/1116.58	c 1116s |      19 |  4617259 |   471882 |    27878     45 |      398 |      339
1118.42/1118.60	c 1118s |      19 |  4618450 |   472282 |    27878     45 |      398 |      339
1120.83/1121.05	c 1120s |      19 |  4620046 |   472782 |    27878     45 |      398 |      339
1123.32/1123.54	c 1123s |      19 |  4621584 |   473282 |    27878     45 |      398 |      339
1125.42/1125.63	c 1125s |      19 |  4622233 |   473582 |    27878     45 |      398 |      339
1127.72/1127.95	c 1127s |      19 |  4623722 |   473982 |    27878     45 |      398 |      339
1129.92/1130.18	c 1129s |      19 |  4627377 |   474882 |    27878     45 |      398 |      339
1132.22/1132.43	c 1132s |      19 |  4630146 |   475482 |    27878     45 |      398 |      339
1134.22/1134.47	c 1134s |      19 |  4631840 |   475982 |    27878     45 |      398 |      339
1136.22/1136.48	c 1136s |      19 |  4633310 |   476382 |    27878     46 |      398 |      339
1138.32/1138.51	c 1138s |      19 |  4637417 |   477482 |    27878     46 |      398 |      339
1140.31/1140.53	c 1140s |      19 |  4639841 |   478282 |    27878     46 |      398 |      339
1142.41/1142.60	c 1142s |      19 |  4644965 |   479182 |    27878     46 |      398 |      339
1144.93/1145.11	c 1144s |      19 |  4647618 |   479882 |    27878     46 |      398 |      339
1147.23/1147.41	c 1147s |      19 |  4649832 |   480582 |    27878     46 |      398 |      339
1149.42/1149.63	c 1149s |      19 |  4651320 |   481082 |    27878     46 |      398 |      339
1151.82/1152.04	c 1151s |      19 |  4652100 |   481482 |    27878     46 |      398 |      339
1154.22/1154.48	c 1154s |      19 |  4653623 |   481982 |    27878     46 |      398 |      339
1156.32/1156.54	c 1156s |      19 |  4655405 |   482482 |    27878     46 |      398 |      339
1158.62/1158.85	c 1158s |      19 |  4656704 |   482982 |    27878     46 |      398 |      339
1160.81/1161.06	c 1160s |      19 |  4658123 |   483482 |    27878     46 |      398 |      339
1163.41/1163.67	c 1163s |      19 |  4659015 |   483882 |    27878     46 |      398 |      339
1165.82/1166.07	c 1165s |      19 |  4660515 |   484382 |    27878     46 |      398 |      339
1167.91/1168.12	c 1167s |      19 |  4664566 |   484882 |    27878     46 |      398 |      339
1170.22/1170.43	c 1170s |      19 |  4665412 |   485182 |    27878     46 |      398 |      339
1172.71/1172.97	c 1172s |      19 |  4667872 |   485682 |    27878     47 |      398 |      339
1174.91/1175.12	c 1174s |      19 |  4673355 |   486882 |    27878     47 |      398 |      339
1176.91/1177.14	c 1176s |      19 |  4675591 |   487582 |    27878     47 |      398 |      339
1179.21/1179.42	c 1179s |      19 |  4678796 |   488382 |    27878     47 |      398 |      339
1181.32/1181.59	c 1181s |      19 |  4683618 |   489282 |    27878     47 |      398 |      339
1183.42/1183.62	c 1183s |      19 |  4686108 |   489982 |    27878     47 |      398 |      339
1185.62/1185.85	c 1185s |      19 |  4689048 |   490682 |    27878     47 |      398 |      339
1187.82/1188.00	c 1187s |      19 |  4691394 |   491182 |    27878     47 |      398 |      339
1190.02/1190.22	c 1189s |      19 |  4693126 |   491582 |    27878     47 |      398 |      339
1192.11/1192.34	c 1192s |      19 |  4695403 |   492082 |    27878     47 |      398 |      339
1194.31/1194.55	c 1194s |      19 |  4696340 |   492482 |    27878     47 |      398 |      339
1197.21/1197.47	c 1197s |      19 |  4697326 |   492882 |    27878     47 |      398 |      339
1199.60/1199.84	c 1199s |      19 |  4697995 |   493182 |    27878     47 |      398 |      339
1201.80/1202.08	c 1201s |      19 |  4698889 |   493482 |    27878     47 |      398 |      339
1203.81/1204.09	c 1203s |      19 |  4699260 |   493682 |    27878     47 |      398 |      339
1206.31/1206.50	c 1206s |      19 |  4699982 |   493982 |    27878     47 |      398 |      339
1209.21/1209.43	c 1209s |      19 |  4700791 |   494282 |    27878     47 |      398 |      339
1211.51/1211.76	c 1211s |      19 |  4701637 |   494582 |    27878     47 |      398 |      339
1213.51/1213.76	c 1213s |      19 |  4702098 |   494782 |    27878     47 |      398 |      339
1215.61/1215.81	c 1215s |      19 |  4706105 |   495482 |    27878     48 |      398 |      339
1217.70/1217.99	c 1217s |      19 |  4710885 |   496482 |    27878     48 |      398 |      339
1219.81/1220.01	c 1219s |      19 |  4715346 |   497282 |    27878     48 |      398 |      339
1221.80/1222.09	c 1221s |      19 |  4720245 |   498182 |    27878     48 |      398 |      339
1224.11/1224.33	c 1224s |      19 |  4723023 |   498882 |    27878     48 |      398 |      339
1226.10/1226.37	c 1226s |      19 |  4726055 |   499582 |    27878     48 |      398 |      339
1228.30/1228.53	c 1228s |      19 |  4729823 |   500182 |    27878     48 |      398 |      339
1230.40/1230.69	c 1230s |      19 |  4732061 |   500782 |    27878     48 |      398 |      339
1232.80/1233.06	c 1232s |      19 |  4735358 |   501382 |    27878     48 |      398 |      339
1234.90/1235.12	c 1234s |      19 |  4737641 |   501882 |    27878     48 |      398 |      339
1236.90/1237.14	c 1236s |      19 |  4738873 |   502282 |    27878     48 |      398 |      339
1239.00/1239.22	c 1238s |      19 |  4739615 |   502582 |    27878     48 |      398 |      339
1241.10/1241.37	c 1241s |      19 |  4740306 |   502882 |    27878     48 |      398 |      339
1243.50/1243.75	c 1243s |      19 |  4740968 |   503182 |    27878     48 |      398 |      339
1245.60/1245.88	c 1245s |      19 |  4744489 |   503782 |    27878     49 |      398 |      339
1247.70/1247.96	c 1247s |      19 |  4772199 |   505382 |    27878     49 |      399 |      340
1249.80/1250.07	c 1249s |      19 |  4784873 |   506882 |    27878     49 |      399 |      340
1251.90/1252.15	c 1251s |      19 |  4800511 |   508082 |    27878     49 |      399 |      340
1254.20/1254.46	c 1254s |      19 |  4805163 |   508982 |    27878     49 |      399 |      340
1256.30/1256.52	c 1256s |      19 |  4818537 |   510482 |    27878     50 |      399 |      340
1258.31/1258.58	c 1258s |      19 |  4831235 |   511782 |    27878     50 |      399 |      340
1260.30/1260.58	c 1260s |      19 |  4845194 |   513082 |    27878     50 |      399 |      340
1262.40/1262.68	c 1262s |      19 |  4863861 |   514682 |    27878     51 |      399 |      340
1264.50/1264.73	c 1264s |      19 |  4873682 |   515782 |    27878     51 |      399 |      340
1266.60/1266.83	c 1266s |      19 |  4880553 |   517182 |    27878     51 |      399 |      340
1268.70/1268.99	c 1268s |      19 |  4882894 |   517882 |    27878     51 |      399 |      340
1270.70/1271.00	c 1270s |      19 |  4891756 |   518982 |    27878     51 |      399 |      340
1272.90/1273.12	c 1272s |      19 |  4902665 |   520282 |    27878     51 |      399 |      340
1275.00/1275.21	c 1274s |      19 |  4923317 |   521982 |    27878     52 |      399 |      340
1277.10/1277.34	c 1277s |      19 |  4944076 |   523582 |    27878     52 |      399 |      340
1279.20/1279.46	c 1279s |      19 |  4949505 |   525082 |    27878     52 |      399 |      340
1281.60/1281.83	c 1281s |      19 |  4951313 |   525782 |    27878     52 |      399 |      340
1283.69/1283.98	c 1283s |      19 |  4952830 |   526282 |    27878     52 |      399 |      340
1285.80/1286.03	c 1285s |      19 |  4954078 |   526782 |    27878     52 |      399 |      340
1287.79/1288.08	c 1287s |      19 |  4956985 |   527482 |    27878     52 |      399 |      340
1289.89/1290.17	c 1289s |      19 |  4958363 |   527882 |    27878     52 |      399 |      340
1292.40/1292.61	c 1292s |      19 |  4959709 |   528482 |    27878     53 |      399 |      340
1294.39/1294.65	c 1294s |      19 |  4963295 |   529682 |    27878     53 |      399 |      340
1296.49/1296.72	c 1296s |      19 |  4973435 |   530782 |    27878     53 |      399 |      340
1298.59/1298.84	c 1298s |      19 |  4988133 |   532182 |    27878     53 |      399 |      340
1300.79/1301.07	c 1300s |      19 |  4989304 |   532582 |    27878     53 |      399 |      340
1303.19/1303.44	c 1303s |      19 |  4990307 |   532982 |    27878     53 |      399 |      340
1305.29/1305.58	c 1305s |      19 |  4992981 |   533682 |    27878     53 |      399 |      340
1307.49/1307.77	c 1307s |      19 |  4995283 |   534182 |    27878     53 |      399 |      340
1309.79/1310.05	c 1309s |      19 |  4996904 |   534582 |    27878     53 |      399 |      340
1312.39/1312.68	c 1312s |      19 |  4999132 |   535082 |    27878     53 |      399 |      340
1314.49/1314.79	c 1314s |      19 |  5004221 |   535782 |    27878     54 |      399 |      340
1316.59/1316.80	c 1316s |      19 |  5027477 |   537082 |    27878     54 |      399 |      340
1318.59/1318.81	c 1318s |      19 |  5049171 |   538782 |    27878     54 |      399 |      340
1320.79/1321.02	c 1320s |      19 |  5065433 |   539982 |    27878     55 |      399 |      340
1322.79/1323.08	c 1322s |      19 |  5089932 |   541482 |    27878     55 |      399 |      340
1324.89/1325.15	c 1324s |      19 |  5113079 |   542982 |    27878     55 |      399 |      340
1327.19/1327.42	c 1327s |      19 |  5118355 |   543982 |    27878     55 |      399 |      340
1329.28/1329.50	c 1329s |      19 |  5135552 |   545482 |    27878     56 |      399 |      340
1331.28/1331.51	c 1331s |      19 |  5141057 |   546682 |    27878     56 |      399 |      340
1333.48/1333.74	c 1333s |      19 |  5152686 |   547982 |    27878     56 |      399 |      340
1335.48/1335.79	c 1335s |      19 |  5154755 |   548482 |    27878     56 |      399 |      340
1337.89/1338.13	c 1337s |      19 |  5157564 |   549282 |    27878     56 |      399 |      340
1340.39/1340.69	c 1340s |      19 |  5159451 |   549982 |    27878     56 |      399 |      340
1342.49/1342.71	c 1342s |      19 |  5161384 |   550582 |    27878     56 |      399 |      340
1344.69/1344.92	c 1344s |      19 |  5165164 |   551482 |    27878     57 |      399 |      340
1346.69/1346.93	c 1346s |      19 |  5168088 |   552282 |    27878     57 |      399 |      340
1348.79/1349.08	c 1348s |      19 |  5175978 |   553482 |    27878     57 |      399 |      340
1350.88/1351.19	c 1350s |      19 |  5180222 |   554582 |    27878     57 |      399 |      340
1353.28/1353.55	c 1353s |      19 |  5182211 |   555282 |    27878     57 |      399 |      340
1355.38/1355.67	c 1355s |      19 |  5188319 |   556082 |    27878     58 |      399 |      340
1357.48/1357.78	c 1357s |      19 |  5215980 |   557682 |    27878     58 |      399 |      340
1359.58/1359.83	c 1359s |      19 |  5236224 |   559182 |    27878     58 |      399 |      340
1361.69/1361.98	c 1361s |      19 |  5240388 |   560282 |    27878     58 |      399 |      340
1364.08/1364.31	c 1364s |      19 |  5242984 |   560982 |    27878     58 |      399 |      340
1366.09/1366.37	c 1366s |      19 |  5256157 |   562382 |    27878     59 |      399 |      340
1368.18/1368.46	c 1368s |      19 |  5258068 |   562882 |    27878     59 |      399 |      340
1370.28/1370.54	c 1370s |      19 |  5269749 |   564182 |    27878     59 |      399 |      340
1372.38/1372.60	c 1372s |      19 |  5293593 |   565882 |    27878     60 |      399 |      340
1374.38/1374.62	c 1374s |      19 |  5307010 |   567382 |    27878     61 |      399 |      340
1376.48/1376.71	c 1376s |      19 |  5333067 |   568882 |    27878     61 |      399 |      340
1378.48/1378.79	c 1378s |      19 |  5339605 |   570282 |    27878     61 |      399 |      340
1380.58/1380.81	c 1380s |      19 |  5345069 |   571282 |    27878     61 |      399 |      340
1382.77/1383.00	c 1382s |      19 |  5347083 |   571982 |    27878     61 |      399 |      340
1384.79/1385.09	c 1384s |      19 |  5353536 |   572782 |    27878     62 |      399 |      340
1386.89/1387.16	c 1386s |      19 |  5361214 |   573982 |    27878     62 |      399 |      340
1388.98/1389.23	c 1388s |      19 |  5364400 |   574682 |    27878     62 |      399 |      340
1391.08/1391.31	c 1391s |      19 |  5367957 |   575482 |    27878     62 |      399 |      340
1393.28/1393.55	c 1393s |      19 |  5370767 |   576182 |    27878     62 |      399 |      340
1395.38/1395.68	c 1395s |      19 |  5372878 |   576782 |    27878     62 |      399 |      340
1397.88/1398.11	c 1397s |      19 |  5375052 |   577382 |    27878     62 |      399 |      340
1400.18/1400.41	c 1400s |      19 |  5376043 |   577782 |    27878     62 |      399 |      340
1402.17/1402.43	c 1402s |      19 |  5385113 |   578982 |    27878     63 |      399 |      340
1404.48/1404.80	c 1404s |      19 |  5387498 |   579682 |    27878     63 |      399 |      340
1406.57/1406.82	c 1406s |      19 |  5389273 |   580182 |    27878     63 |      399 |      340
1408.98/1409.21	c 1408s |      19 |  5390436 |   580682 |    27878     63 |      399 |      340
1411.57/1411.82	c 1411s |      19 |  5391226 |   581082 |    27878     63 |      399 |      340
1413.68/1413.99	c 1413s |      19 |  5393177 |   581582 |    27878     63 |      399 |      340
1415.78/1416.00	c 1415s |      19 |  5395123 |   582082 |    27878     63 |      399 |      340
1417.97/1418.23	c 1417s |      19 |  5396500 |   582582 |    27878     63 |      399 |      340
1420.27/1420.56	c 1420s |      19 |  5398342 |   582982 |    27878     64 |      399 |      340
1422.47/1422.72	c 1422s |      19 |  5406562 |   584282 |    27878     64 |      399 |      340
1424.47/1424.79	c 1424s |      19 |  5409640 |   584982 |    27878     64 |      399 |      340
1426.58/1426.82	c 1426s |      19 |  5411529 |   585482 |    27878     64 |      399 |      340
1428.78/1429.06	c 1428s |      19 |  5412993 |   585882 |    27878     64 |      399 |      340
1431.07/1431.30	c 1431s |      19 |  5413893 |   586182 |    27878     64 |      399 |      340
1433.37/1433.60	c 1433s |      19 |  5415168 |   586582 |    27878     64 |      399 |      340
1435.37/1435.61	c 1435s |      19 |  5415936 |   586882 |    27878     64 |      399 |      340
1438.28/1438.56	c 1438s |      19 |  5416687 |   587182 |    27878     64 |      399 |      340
1440.48/1440.71	c 1440s |      19 |  5418055 |   587582 |    27878     64 |      399 |      340
1442.47/1442.78	c 1442s |      19 |  5420447 |   588282 |    27878     64 |      399 |      340
1444.57/1444.87	c 1444s |      19 |  5422466 |   588882 |    27878     65 |      399 |      340
1446.77/1447.00	c 1446s |      19 |  5439339 |   590682 |    27878     66 |      399 |      340
1448.87/1449.11	c 1448s |      19 |  5459775 |   592182 |    27878     66 |      399 |      340
1451.07/1451.39	c 1451s |      19 |  5479423 |   593582 |    27878     67 |      399 |      340
1453.17/1453.40	c 1453s |      19 |  5495995 |   595182 |    27878     67 |      399 |      340
1455.18/1455.46	c 1455s |      19 |  5517066 |   596882 |    27878     68 |      399 |      340
1457.38/1457.64	c 1457s |      19 |  5530492 |   598282 |    27878     69 |      399 |      340
1459.37/1459.68	c 1459s |      19 |  5534145 |   599082 |    27878     69 |      399 |      340
1461.47/1461.75	c 1461s |      19 |  5537234 |   599782 |    27878     69 |      399 |      340
1463.57/1463.81	c 1463s |      19 |  5541950 |   600282 |    27878     70 |      399 |      340
1465.57/1465.89	c 1465s |      19 |  5564308 |   601982 |    27878     71 |      399 |      340
1467.67/1467.94	c 1467s |      19 |  5584481 |   603682 |    27878     72 |      399 |      340
1469.77/1470.02	c 1469s |      19 |  5603885 |   605282 |    27878     73 |      399 |      340
1471.97/1472.21	c 1471s |      19 |  5616662 |   606782 |    27878     73 |      399 |      340
1473.96/1474.25	c 1474s |      19 |  5624042 |   607882 |    27878     73 |      399 |      340
1476.26/1476.59	c 1476s |      19 |  5626517 |   608582 |    27878     73 |      399 |      340
1478.36/1478.66	c 1478s |      19 |  5634856 |   609782 |    27878     74 |      399 |      340
1480.47/1480.77	c 1480s |      19 |  5641582 |   611082 |    27878     74 |      399 |      340
1482.46/1482.80	c 1482s |      19 |  5648103 |   612182 |    27878     75 |      399 |      340
1484.66/1484.90	c 1484s |      19 |  5655342 |   613582 |    27878     75 |      399 |      340
1486.86/1487.12	c 1486s |      19 |  5657758 |   614482 |    27878     75 |      399 |      340
1488.97/1489.30	c 1489s |      19 |  5659232 |   615082 |    27878     75 |      399 |      340
1491.07/1491.32	c 1491s |      19 |  5665197 |   616282 |    27878     76 |      399 |      340
1493.17/1493.45	c 1493s |      19 |  5667559 |   617182 |    27878     76 |      399 |      340
1495.27/1495.57	c 1495s |      19 |  5670445 |   618082 |    27878     76 |      399 |      340
1497.36/1497.62	c 1497s |      19 |  5687031 |   619582 |    27878     77 |      399 |      340
1499.56/1499.83	c 1499s |      19 |  5694203 |   620882 |    27878     78 |      399 |      340
1501.66/1501.96	c 1501s |      19 |  5696901 |   621782 |    27878     78 |      399 |      340
1504.06/1504.34	c 1504s |      19 |  5699091 |   622582 |    27878     78 |      399 |      340
1506.87/1507.19	c 1506s |      19 |  5701330 |   623282 |    27878     78 |      399 |      340
1509.06/1509.39	c 1509s |      19 |  5702050 |   623682 |    27878     78 |      399 |      340
1511.76/1512.04	c 1511s |      19 |  5703328 |   624182 |    27878     78 |      399 |      340
1514.06/1514.33	c 1514s |      19 |  5704205 |   624582 |    27878     79 |      399 |      340
1516.06/1516.33	c 1516s |      19 |  5706826 |   625282 |    27878     79 |      399 |      340
1518.46/1518.72	c 1518s |      19 |  5708819 |   625882 |    27878     79 |      399 |      340
1520.66/1520.93	c 1520s |      19 |  5711126 |   626582 |    27878     79 |      399 |      340
1522.66/1522.95	c 1522s |      19 |  5713061 |   627182 |    27878     79 |      399 |      340
1524.95/1525.22	c 1524s |      19 |  5715472 |   627782 |    27878     79 |      399 |      340
1526.95/1527.28	c 1527s |      19 |  5725633 |   628782 |    27878     80 |      399 |      340
1528.95/1529.29	c 1529s |      19 |  5747708 |   630582 |    27878     81 |      399 |      340
1531.06/1531.39	c 1531s |      19 |  5762491 |   632282 |    27878     82 |      399 |      340
1533.45/1533.75	c 1533s |      19 |  5768828 |   633582 |    27878     82 |      399 |      340
1535.55/1535.89	c 1535s |      19 |  5773814 |   634482 |    27878     83 |      399 |      340
1537.85/1538.12	c 1537s |      19 |  5779191 |   635682 |    27878     83 |      399 |      340
1539.95/1540.27	c 1540s |      19 |  5782368 |   636582 |    27878     83 |      399 |      340
1542.06/1542.34	c 1542s |      19 |  5788435 |   637682 |    27878     84 |      399 |      340
1544.27/1544.56	c 1544s |      19 |  5792072 |   638482 |    27878     84 |      399 |      340
1546.36/1546.68	c 1546s |      19 |  5805905 |   640082 |    27878     85 |      399 |      340
1548.46/1548.74	c 1548s |      19 |  5807824 |   640782 |    27878     85 |      399 |      340
1550.55/1550.80	c 1550s |      19 |  5808947 |   641282 |    27878     85 |      399 |      340
1552.55/1552.82	c 1552s |      19 |  5814701 |   641982 |    27878     86 |      399 |      340
1554.65/1554.95	c 1554s |      19 |  5819743 |   643182 |    27878     86 |      399 |      340
1556.85/1557.13	c 1556s |      19 |  5823731 |   644182 |    27878     86 |      399 |      340
1558.85/1559.14	c 1558s |      19 |  5828842 |   645182 |    27878     87 |      399 |      340
1560.95/1561.28	c 1561s |      19 |  5837233 |   646482 |    27878     88 |      399 |      340
1563.45/1563.70	c 1563s |      19 |  5840050 |   647582 |    27878     88 |      399 |      340
1565.55/1565.84	c 1565s |      19 |  5847012 |   648982 |    27878     89 |      399 |      340
1567.65/1567.96	c 1567s |      19 |  5851183 |   650282 |    27878     89 |      399 |      340
1569.65/1569.99	c 1569s |      19 |  5854226 |   651382 |    27878     89 |      399 |      340
1571.76/1572.08	c 1571s |      19 |  5861492 |   652882 |    27878     90 |      399 |      340
1573.96/1574.24	c 1573s |      19 |  5866214 |   653882 |    27878     90 |      399 |      340
1576.06/1576.30	c 1576s |      19 |  5872626 |   655182 |    27878     91 |      399 |      340
1578.26/1578.57	c 1578s |      19 |  5874265 |   655782 |    27878     91 |      399 |      340
1580.35/1580.61	c 1580s |      19 |  5877380 |   656682 |    27878     92 |      399 |      340
1582.45/1582.76	c 1582s |      19 |  5880827 |   657582 |    27878     92 |      399 |      340
1584.55/1584.87	c 1584s |      19 |  5888329 |   658882 |    27878     93 |      399 |      340
1586.75/1587.01	c 1586s |      19 |  5891664 |   659982 |    27878     93 |      399 |      340
1588.75/1589.04	c 1588s |      19 |  5894853 |   660882 |    27878     94 |      399 |      340
1590.85/1591.11	c 1590s |      19 |  5899801 |   661982 |    27878     94 |      399 |      340
1592.85/1593.12	c 1592s |      19 |  5903153 |   662982 |    30666     94 |      399 |      340
1594.95/1595.25	c 1595s |      19 |  5906256 |   663882 |    30666     94 |      399 |      340
1597.45/1597.78	c 1597s |      19 |  5907864 |   664582 |    30666     94 |      399 |      340
1599.44/1599.79	c 1599s |      19 |  5908658 |   664982 |    30666     94 |      399 |      340
1601.84/1602.13	c 1601s |      19 |  5909671 |   665482 |    30666     94 |      399 |      340
1603.94/1604.26	c 1604s |      19 |  5913554 |   666482 |    30666     95 |      399 |      340
1604.65/1604.94	c 1604s |      20 |  5914928 |   666827 |    30666     95 |      399 |      340
1606.84/1607.14	c 1606s |      20 |  5920561 |   667827 |    30666     96 |      399 |      340
1608.94/1609.26	c 1609s |      20 |  5937275 |   669327 |    30666     96 |      399 |      340
1611.04/1611.30	c 1611s |      20 |  5948463 |   670827 |    30666     97 |      399 |      340
1613.03/1613.33	c 1613s |      20 |  5959659 |   672327 |    30666     97 |      399 |      340
1615.13/1615.43	c 1615s |      20 |  5973348 |   673927 |    30666     97 |      399 |      340
1617.14/1617.47	c 1617s |      20 |  5981080 |   675427 |    30666     98 |      399 |      340
1619.24/1619.52	c 1619s |      20 |  5984715 |   676427 |    30666     98 |      399 |      340
1621.43/1621.71	c 1621s |      20 |  5987180 |   677227 |    30666     98 |      399 |      340
1623.53/1623.87	c 1623s |      20 |  5988348 |   677727 |    30666     98 |      399 |      340
1625.54/1625.89	c 1625s |      20 |  5989918 |   678227 |    30666     98 |      399 |      340
1627.63/1627.93	c 1627s |      20 |  5995110 |   679427 |    30666     99 |      399 |      340
1629.83/1630.12	c 1629s |      20 |  5998765 |   680527 |    30666     99 |      399 |      340
1631.93/1632.25	c 1632s |      20 |  6000663 |   681227 |    30666     99 |      399 |      340
1634.03/1634.32	c 1634s |      20 |  6005080 |   682227 |    30666    100 |      399 |      340
1636.03/1636.36	c 1636s |      20 |  6018722 |   683827 |    30666    100 |      399 |      340
1638.23/1638.55	c 1638s |      20 |  6022807 |   684827 |    30666    100 |      399 |      340
1640.63/1640.91	c 1640s |      20 |  6024481 |   685527 |    30666    100 |      399 |      340
1642.73/1643.03	c 1642s |      20 |  6025670 |   686027 |    30666    100 |      399 |      340
1644.82/1645.12	c 1644s |      20 |  6026765 |   686527 |    30666    100 |      399 |      340
1646.82/1647.19	c 1646s |      20 |  6031838 |   687727 |    30666    101 |      399 |      340
1649.02/1649.31	c 1649s |      20 |  6037939 |   689127 |    30666    101 |      399 |      340
1651.02/1651.32	c 1651s |      20 |  6040477 |   689927 |    30666    101 |      399 |      340
1653.13/1653.42	c 1653s |      20 |  6042635 |   690627 |    30666    101 |      399 |      340
1655.22/1655.59	c 1655s |      20 |  6046113 |   691727 |    30666    102 |      399 |      340
1657.53/1657.84	c 1657s |      20 |  6052756 |   693027 |    30666    102 |      399 |      340
1659.72/1660.09	c 1659s |      20 |  6054823 |   693627 |    30666    102 |      399 |      340
1661.71/1662.09	c 1661s |      20 |  6057378 |   694327 |    30666    103 |      399 |      340
1663.91/1664.20	c 1663s |      20 |  6065073 |   695927 |    30666    103 |      399 |      340
1665.91/1666.26	c 1666s |      20 |  6067753 |   696827 |    30666    103 |      399 |      340
1668.02/1668.38	c 1668s |      20 |  6069334 |   697327 |    30666    103 |      399 |      340
1670.52/1670.86	c 1670s |      20 |  6071772 |   698127 |    30666    104 |      399 |      340
1672.72/1673.10	c 1672s |      20 |  6076856 |   699127 |    30666    104 |      399 |      340
1674.92/1675.20	c 1674s |      20 |  6079055 |   699727 |    30666    104 |      399 |      340
1676.92/1677.28	c 1677s |      20 |  6081126 |   700327 |    30666    104 |      399 |      340
1679.11/1679.43	c 1679s |      20 |  6082484 |   700827 |    30666    104 |      399 |      340
1681.51/1681.86	c 1681s |      20 |  6083933 |   701327 |    30666    104 |      399 |      340
1683.51/1683.86	c 1683s |      20 |  6085463 |   701827 |    30666    104 |      399 |      340
1685.71/1686.01	c 1685s |      20 |  6088600 |   702727 |    30666    105 |      399 |      340
1687.71/1688.03	c 1687s |      20 |  6091039 |   703527 |    30666    105 |      399 |      340
1689.91/1690.29	c 1690s |      20 |  6093295 |   704127 |    30666    105 |      399 |      340
1692.11/1692.42	c 1692s |      20 |  6095839 |   704827 |    30666    105 |      399 |      340
1694.21/1694.59	c 1694s |      20 |  6097938 |   705327 |    30666    105 |      399 |      340
1696.31/1696.61	c 1696s |      20 |  6099180 |   705727 |    30666    105 |      399 |      340
1698.30/1698.61	c 1698s |      20 |  6101880 |   706327 |    30666    106 |      399 |      340
1700.41/1700.71	c 1700s |      20 |  6104739 |   707127 |    30666    106 |      399 |      340
1702.40/1702.80	c 1702s |      20 |  6106756 |   707727 |    30666    106 |      399 |      340
1704.71/1705.03	c 1704s |      20 |  6108228 |   708227 |    30666    106 |      399 |      340
1706.70/1707.06	c 1706s |      20 |  6109893 |   708727 |    30666    106 |      399 |      340
1708.99/1709.30	c 1709s |      20 |  6111431 |   709227 |    30666    106 |      399 |      340
1711.59/1711.93	c 1711s |      20 |  6113351 |   709727 |    30666    107 |      399 |      340
1713.69/1714.08	c 1713s |      20 |  6118923 |   711127 |    30666    107 |      399 |      340
1715.89/1716.23	c 1715s |      20 |  6122295 |   712027 |    30666    107 |      399 |      340
1718.09/1718.42	c 1718s |      20 |  6127073 |   712827 |    30666    107 |      399 |      340
1720.10/1720.46	c 1720s |      20 |  6130354 |   713627 |    30666    108 |      399 |      340
1722.19/1722.56	c 1722s |      20 |  6136616 |   714827 |    30666    108 |      399 |      340
1724.38/1724.70	c 1724s |      20 |  6140817 |   715627 |    30666    108 |      399 |      340
1726.38/1726.75	c 1726s |      20 |  6147046 |   716827 |    30666    109 |      399 |      340
1728.38/1728.76	c 1728s |      20 |  6152178 |   717927 |    30666    109 |      399 |      340
1730.48/1730.89	c 1730s |      20 |  6155583 |   718727 |    30666    109 |      399 |      340
1732.58/1732.94	c 1732s |      20 |  6156790 |   719227 |    30666    110 |      399 |      340
1734.68/1735.07	c 1734s |      20 |  6161477 |   720627 |    30666    110 |      399 |      340
1736.78/1737.16	c 1736s |      20 |  6164066 |   721627 |    30666    110 |      399 |      340
1738.97/1739.34	c 1739s |      20 |  6169282 |   722727 |    30666    111 |      399 |      340
1741.08/1741.44	c 1741s |      20 |  6175704 |   724027 |    30666    111 |      399 |      340
1743.38/1743.74	c 1743s |      20 |  6178387 |   724927 |    30666    111 |      399 |      340
1745.49/1745.87	c 1745s |      20 |  6181456 |   725827 |    30666    112 |      399 |      340
1747.69/1748.10	c 1747s |      20 |  6184289 |   726727 |    30666    112 |      399 |      340
1749.78/1750.14	c 1749s |      20 |  6186824 |   727427 |    30666    112 |      399 |      340
1751.77/1752.19	c 1751s |      20 |  6189834 |   728127 |    30666    113 |      399 |      340
1753.97/1754.38	c 1754s |      20 |  6191438 |   728727 |    30666    113 |      399 |      340
1756.17/1756.52	c 1756s |      20 |  6193544 |   729427 |    30666    113 |      399 |      340
1758.17/1758.54	c 1758s |      20 |  6195271 |   730027 |    30666    113 |      399 |      340
1760.17/1760.55	c 1760s |      20 |  6200087 |   730927 |    30666    114 |      399 |      340
1762.27/1762.65	c 1762s |      20 |  6203707 |   731927 |    30666    114 |      399 |      340
1764.37/1764.78	c 1764s |      20 |  6206524 |   732827 |    30666    114 |      399 |      340
1766.48/1766.89	c 1766s |      20 |  6211629 |   733927 |    30666    115 |      399 |      340
1768.68/1769.09	c 1768s |      20 |  6214900 |   734827 |    30666    115 |      399 |      340
1770.87/1771.21	c 1770s |      20 |  6221467 |   735927 |    30666    116 |      399 |      340
1772.88/1773.28	c 1773s |      20 |  6225106 |   736827 |    30666    116 |      399 |      340
1774.97/1775.34	c 1775s |      20 |  6235148 |   738127 |    30666    117 |      399 |      340
1777.07/1777.40	c 1777s |      20 |  6250983 |   739627 |    30666    119 |      399 |      340
1779.16/1779.55	c 1779s |      20 |  6266342 |   741327 |    30666    120 |      399 |      340
1781.36/1781.70	c 1781s |      20 |  6268406 |   742127 |    30666    120 |      399 |      340
1783.46/1783.80	c 1783s |      20 |  6283768 |   743627 |    30666    122 |      399 |      340
1785.56/1785.90	c 1785s |      20 |  6294369 |   745227 |    30666    122 |      399 |      340
1787.56/1787.92	c 1787s |      20 |  6302623 |   746727 |    30666    123 |      399 |      340
1789.56/1789.99	c 1789s |      20 |  6305582 |   747627 |    30666    123 |      399 |      340
1791.67/1792.06	c 1791s |      20 |  6308997 |   748727 |    30666    124 |      399 |      340
1793.87/1794.21	c 1793s |      20 |  6312166 |   749827 |    30666    124 |      399 |      340
1795.97/1796.31	c 1796s |      20 |  6313111 |   750227 |    30666    124 |      399 |      340
1797.96/1798.33	c 1798s |      20 |  6316984 |   751127 |    30666    125 |      399 |      340
1799.95/1800.39	c 1800s |      20 |  6322661 |   752127 |    30666    125 |      399 |      340

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.21 2.18 4/179 7833
/proc/meminfo: memFree=28909556/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 2818 0 0 0 0 0 0 0 20 0 4 0 110104239 771158016 2668 33554432000 4194304 16246674 140733434316080 140733434315504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 189039 2676 441 2943 0 185933 0
[pid=7833/tid=7834] ppid=7830 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 790032384 2740 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 794226688 2756 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=780732 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110104239 799469568 2773 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.20 2.21 2.18 4/179 7833
/proc/meminfo: memFree=28909556/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 28381 0 0 0 5 4 0 0 20 0 4 0 110104239 1333334016 28169 33554432000 4194304 16246674 140733434316080 140733434315392 8058796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 325521 28186 801 2943 0 322415 0
[pid=7833/tid=7834] ppid=7830 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1333334016 28196 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1333334016 28208 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1333334016 28220 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200517 s]
/proc/loadavg: 2.20 2.21 2.18 4/179 7833
/proc/meminfo: memFree=28909556/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 45196 0 0 0 13 6 0 0 20 0 4 0 110104239 1333334016 44983 33554432000 4194304 16246674 140733434316080 140733434315392 5762920 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 325521 44983 833 2943 0 322415 0
[pid=7833/tid=7834] ppid=7830 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1333334016 44983 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1333334016 44983 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1333334016 44983 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300466 s]
/proc/loadavg: 2.20 2.21 2.18 4/179 7833
/proc/meminfo: memFree=28909556/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 61891 0 0 0 21 8 0 0 20 0 4 0 110104239 1333334016 61679 33554432000 4194304 16246674 140733434316080 140733434297984 6075563 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 325521 61689 876 2943 0 322415 0
[pid=7833/tid=7834] ppid=7830 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1333334016 61696 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1333334016 61703 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1333334016 61711 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700423 s]
/proc/loadavg: 2.20 2.21 2.18 4/179 7833
/proc/meminfo: memFree=28909556/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 150954 0 0 0 50 19 0 0 20 0 4 0 110104239 1333334016 150742 33554432000 4194304 16246674 140733434316080 140733434297984 5829366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 325521 150749 876 2943 0 322415 0
[pid=7833/tid=7834] ppid=7830 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1333334016 150753 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1333334016 150758 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1333334016 150762 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50043 s]
/proc/loadavg: 2.20 2.21 2.18 4/183 7837
/proc/meminfo: memFree=27985584/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1311300 CPUtime=1.49 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 268909 0 0 0 113 36 0 0 20 0 4 0 110104239 1342771200 268696 33554432000 4194304 16246674 140733434316080 140733434297984 6842475 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 327825 268696 883 2943 0 324719 0
[pid=7833/tid=7834] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268696 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268696 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268696 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1311300

[startup+3.10044 s]
/proc/loadavg: 2.20 2.21 2.18 4/183 7837
/proc/meminfo: memFree=27835056/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1311300 CPUtime=3.09 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269011 0 0 0 273 36 0 0 20 0 4 0 110104239 1342771200 268798 33554432000 4194304 16246674 140733434316080 140733434297984 5661532 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 327825 268798 885 2943 0 324719 0
[pid=7833/tid=7834] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268798 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268798 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268798 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1311300

[startup+6.30045 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 7837
/proc/meminfo: memFree=27835004/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269011 0 0 0 593 36 0 0 20 0 4 0 110104239 1342771200 268798 33554432000 4194304 16246674 140733434316080 140733434297984 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 327825 268798 885 2943 0 324719 0
[pid=7833/tid=7834] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268798 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268798 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268798 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.17 2.20 2.18 4/183 7837
/proc/meminfo: memFree=27834672/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269012 0 0 0 1232 36 0 0 20 0 4 0 110104239 1342771200 268799 33554432000 4194304 16246674 140733434316080 140733434297984 5722908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 327825 268799 885 2943 0 324719 0
[pid=7833/tid=7834] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268799 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268799 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268799 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5006 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 7837
/proc/meminfo: memFree=27834696/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1311300 CPUtime=25.49 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269013 0 0 0 2512 37 0 0 20 0 4 0 110104239 1342771200 268800 33554432000 4194304 16246674 140733434316080 140733434297984 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 327825 268800 886 2943 0 324719 0
[pid=7833/tid=7834] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268800 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268800 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268800 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.13 2.19 2.18 3/183 7838
/proc/meminfo: memFree=27834948/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269013 0 0 0 5071 37 0 0 20 0 4 0 110104239 1342771200 268800 33554432000 4194304 16246674 140733434316080 140733434297984 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 327825 268800 886 2943 0 324719 0
[pid=7833/tid=7834] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268800 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268800 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268800 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.301 s]
/proc/loadavg: 2.27 2.22 2.19 4/183 7839
/proc/meminfo: memFree=27702756/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1311300 CPUtime=102.28 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269013 0 0 0 10191 37 0 0 20 0 4 0 110104239 1342771200 268800 33554432000 4194304 16246674 140733434316080 140733434297984 5589288 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 327825 268800 886 2943 0 324719 0
[pid=7833/tid=7834] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268800 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268800 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1342771200 268800 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.23 2.27 2.20 3/183 7892
/proc/meminfo: memFree=27316040/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1314372 CPUtime=1302.09 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269523 0 0 0 130146 63 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140733434297984 5721844 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 328593 269310 886 2943 0 325487 0
[pid=7833/tid=7834] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.20 2.25 2.19 3/183 7893
/proc/meminfo: memFree=27316340/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1314372 CPUtime=1362.08 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269523 0 0 0 136144 64 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140733434297984 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 328593 269310 886 2943 0 325487 0
[pid=7833/tid=7834] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.18 2.23 2.19 4/183 7894
/proc/meminfo: memFree=27137120/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1314372 CPUtime=1422.08 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269523 0 0 0 142142 66 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140733434297984 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 328593 269310 886 2943 0 325487 0
[pid=7833/tid=7834] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/183 7895
/proc/meminfo: memFree=27136776/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1314372 CPUtime=1482.06 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269523 0 0 0 148138 68 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140733434297984 5589300 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 328593 269310 886 2943 0 325487 0
[pid=7833/tid=7834] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.18 2.23 2.18 3/183 7896
/proc/meminfo: memFree=27136332/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1314372 CPUtime=1542.06 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269523 0 0 0 154136 70 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140733434297984 5546177 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 328593 269310 886 2943 0 325487 0
[pid=7833/tid=7834] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269310 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.37 2.27 2.20 3/183 7947
/proc/meminfo: memFree=28091944/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1314372 CPUtime=1602.04 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269528 0 0 0 160132 72 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140733434297984 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 328593 269566 886 2943 0 325487 0
[pid=7833/tid=7834] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/183 7948
/proc/meminfo: memFree=28091516/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1314372 CPUtime=1662.01 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269554 0 0 0 166128 73 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140733434297984 5723776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 328593 269566 886 2943 0 325487 0
[pid=7833/tid=7834] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.21 2.25 2.19 3/184 7952
/proc/meminfo: memFree=28091676/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1314372 CPUtime=1721.99 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269586 0 0 0 172123 76 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140733434297984 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 328593 269566 886 2943 0 325487 0
[pid=7833/tid=7834] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.33 2.28 2.20 3/183 7953
/proc/meminfo: memFree=28091348/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1314372 CPUtime=1781.96 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269613 0 0 0 178118 78 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140733434297984 5830005 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 328593 269566 886 2943 0 325487 0
[pid=7833/tid=7834] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.24 2.26 2.19 3/183 7953
/proc/meminfo: memFree=28091004/32872528 swapFree=15644/1722384
[pid=7833] ppid=7830 vsize=1314372 CPUtime=1800.05 cores=1,3,5,7
/proc/7833/stat : 7833 (toysat) R 7830 7833 4315 0 -1 4202496 269624 0 0 0 179927 78 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140733434315176 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 328593 269566 886 2943 0 325487 0
[pid=7833/tid=7834] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7834/stat : 7834 (toysat) S 7830 7833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548810714352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7833/tid=7835] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7835/stat : 7835 (toysat) S 7830 7833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548800224496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7833/tid=7836] ppid=7830 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7833/task/7836/stat : 7836 (toysat) S 7830 7833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110104239 1345916928 269566 33554432000 4194304 16246674 140733434316080 140548789750960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1314372

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.11
CPU user time (s): 1799.28
CPU system time (s): 0.827874
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.827874
maximum resident set size= 1078264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269624
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= 119
involuntary context switches= 1909

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.95349 second user time and 18.4362 second system time

The end

Begin job on node120 at 2016-06-07 08:41:47
IDJOB=4078950
IDBENCH=90111
IDSOLVER=2542
FILE ID=node120/4078950-1465281706
RUNJOBID= node120-1465256721-4332
PBS_JOBID= 19843284
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= 827b46126fccb5cb8162396480ca6949
RANDOM SEED=1580842867

node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28910548 kB
Buffers:           53816 kB
Cached:           122788 kB
SwapCached:          820 kB
Active:          1430152 kB
Inactive:          61080 kB
Active(anon):    1311736 kB
Inactive(anon):     4756 kB
Active(file):     118416 kB
Inactive(file):    56324 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             16716 kB
Writeback:             0 kB
AnonPages:       3128272 kB
Mapped:            11916 kB
Shmem:                 0 kB
Slab:             613204 kB
SReclaimable:      57348 kB
SUnreclaim:       555856 kB
KernelStack:        1520 kB
PageTables:         9644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3180320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1880064 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 node120 at 2016-06-07 09:11:47