Trace number 4078902

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.03 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K143.opb
MD5SUM8f58618b79e9d2a9b56b6a791eca5768
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables17017
Total number of constraints17305
Number of constraints which are clauses17162
Number of constraints which are cardinality constraints (but not clauses)143
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint143
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 144
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T10:06:13+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-4078902-1465286773.opb"]
0.00/0.01	c use --random-gen="1088792353 2233625763 3960587724 2842250030 1024084465 364012396 1985757041 2988506494 3056532595 170851561 2832831187 400867364 2767389614 2078923366 3573582985 2665590238 2252537538 328383521 2220090345 1307389050 2154210428 2329950531 3601069678 4152701068 4157714627 2564049262 2518206452 259555264 2937494803 713533585 1638909913 1775641244 796743465 153466989 20049694 3639945537 3132513457 4271425264 137940429 1367210726 938195331 1204945294 4217267828 932975976 2818266135 895527767 3538533057 906095990 1249261371 1335036982 2422880718 2502207903 859982673 70109645 2671537043 3186109810 1733585247 1330433074 954265527 1928158015 3955608177 2705065298 2983604787 2851285960 1260631789 1791364978 3219401866 493088533 2956477880 3105608764 938793932 211130321 308064818 2570312090 2515746426 698292045 3771847666 1453461323 2400907391 1080349596 1106907795 3291439962 4281244154 1668741115 4174463997 2432718683 770264367 3747415068 3972715820 753071250 1358626601 2554965314 1433905165 79547630 19792126 393004488 3867831394 4069534183 3275006748 167984072 3004842406 1608225202 2200211244 1476105936 3165368982 2244017160 3196014873 3288946372 3800630937 2558567000 1037952729 953708274 2007305231 1868994944 3974236264 660139418 4186252216 2157572011 3092359544 309660594 2847968654 4259403344 615848887 2658082066 778687307 2349625478 1242758493 2126552264 3380505854 467947565 3106891048 786554857 1188449593 36595077 4064576450 1553536106 1745603127 1144771466 1336191936 2004769941 2685546528 1757675363 3112895360 3841820898 1177392934 4028681377 1686466495 1910033804 3732258008 3392702396 3572702724 2730151219 947870081 3326440399 309629419 3137405493 2633242299 103096841 1503880337 576692583 312317859 1645892663 3418356773 2907372649 531727221 341570868 542278642 3759632944 2571906731 784363666 1488305217 3914712169 1063430770 1891258937 271562761 215951609 1457909611 3092323003 2266491704 2432673708 3433812782 1352324709 823541139 2848208695 2729980913 3961380247 1070248186 4105748506 848412929 2412569954 3232551731 1838497049 1507615362 3702827069 1086814609 906494685 341858667 3719331005 1713614422 968659882 2863114753 2966710717 2839196286 1696599310 3378628830 4280943627 1946069575 1894280318 578924082 1068311298 4072943350 541607246 3179266679 1740537503 4270194415 4164849656 2925640517 1232728688 381052155 1952816348 2161374772 2847559748 4187618399 4076046172 143487376 2827746103 2902930198 1549240992 19555040 743351946 1750637213 3081856230 1639735050 3651612912 1129352146 2827285568 2544121412 1897252580 1320160539 3642166256 72014234 427319559 2775206546 1841632374 3374449599 3524222228 3067913979 1407286346 2626038214 1100177699 219038325 3969231649 3234443585 3328680785 2895508673 1819981504 255 362436" option to reproduce the execution
0.19/0.25	c #vars 17017
0.19/0.25	c #constraints 17305
0.59/0.64	c Solving starts ...
0.59/0.64	c ============================[ Search Statistics ]============================
0.59/0.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.64	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.64	c =============================================================================
0.59/0.64	c  0.0s |       0 |        0 |        0 |    11440      0 |      742 |        0
0.99/1.03	c  0.4s |       1 |     3495 |      100 |    11440      0 |      743 |      634
1.39/1.49	c  0.8s |       2 |     8411 |      250 |    12585      0 |      743 |      634
2.09/2.19	c  1.5s |       3 |    23242 |      475 |    13844      0 |      743 |      634
3.09/3.18	c  2.5s |       4 |    37434 |      813 |    15229      0 |      744 |      635
4.49/4.57	c  3.9s |       5 |    56126 |     1320 |    16752      0 |      744 |      635
6.59/6.64	c  6.0s |       5 |    93437 |     2020 |    18428      0 |      748 |      639
6.69/6.74	c  6.1s |       6 |    93899 |     2081 |    20271      0 |      748 |      639
8.89/8.95	c  8.3s |       6 |   127155 |     2781 |    20271      0 |      750 |      641
10.08/10.15	c  9.5s |       7 |   144873 |     3223 |    22299      0 |      751 |      642
12.28/12.35	c 11.7s |       7 |   167334 |     4123 |    22299      0 |      751 |      642
14.39/14.41	c 13.8s |       7 |   194713 |     4823 |    22299      0 |      753 |      644
14.58/14.68	c 14.0s |       8 |   198202 |     4936 |    24529      0 |      753 |      644
16.78/16.81	c 16.2s |       8 |   226732 |     5636 |    24529      0 |      753 |      644
18.98/19.02	c 18.4s |       8 |   256643 |     6336 |    24529      0 |      754 |      645
21.18/21.23	c 20.6s |       8 |   270426 |     7136 |    24529      0 |      754 |      645
22.18/22.24	c 21.6s |       9 |   279637 |     7506 |    26982      0 |      754 |      645
24.39/24.43	c 23.8s |       9 |   306858 |     8406 |    26982      0 |      754 |      645
26.50/26.57	c 25.9s |       9 |   334737 |     9106 |    26982      0 |      754 |      645
28.60/28.64	c 28.0s |       9 |   360063 |     9806 |    26982      0 |      754 |      645
30.59/30.69	c 30.1s |       9 |   375923 |    10506 |    26982      0 |      754 |      645
32.79/32.89	c 32.3s |       9 |   407569 |    11106 |    26982      0 |      754 |      645
33.59/33.62	c 33.0s |      10 |   417183 |    11361 |    29681      0 |      754 |      645
35.79/35.85	c 35.2s |      10 |   436008 |    12161 |    29681      0 |      754 |      645
37.99/38.06	c 37.4s |      10 |   458895 |    12861 |    29681      0 |      754 |      645
40.29/40.30	c 39.7s |      10 |   467063 |    13761 |    29681      0 |      754 |      645
42.49/42.59	c 42.0s |      10 |   482315 |    14661 |    29681      0 |      754 |      645
44.89/44.91	c 44.3s |      10 |   507367 |    15361 |    29681      0 |      754 |      645
47.19/47.26	c 46.6s |      10 |   516062 |    15761 |    29681      0 |      754 |      645
49.28/49.31	c 48.7s |      10 |   540383 |    16361 |    29681      0 |      754 |      645
51.28/51.31	c 50.7s |      10 |   553311 |    17061 |    32650      0 |      754 |      645
51.58/51.62	c 51.0s |      11 |   553710 |    17144 |    32650      0 |      754 |      645
53.68/53.72	c 53.1s |      11 |   577028 |    17744 |    32650      0 |      754 |      645
55.98/56.05	c 55.4s |      11 |   591563 |    18444 |    32650      0 |      755 |      646
58.18/58.27	c 57.6s |      11 |   617022 |    19144 |    32650      0 |      755 |      646
60.28/60.33	c 59.7s |      11 |   631476 |    19744 |    32650      0 |      755 |      646
62.48/62.51	c 61.9s |      11 |   657896 |    20444 |    32650      0 |      755 |      646
64.68/64.76	c 64.1s |      11 |   663724 |    21044 |    32650      0 |      755 |      646
66.88/66.96	c 66.3s |      11 |   666777 |    21444 |    32650      0 |      755 |      646
68.98/69.02	c 68.4s |      11 |   672365 |    21844 |    32650      0 |      755 |      646
71.28/71.34	c 70.7s |      11 |   687385 |    22444 |    32650      0 |      755 |      646
73.48/73.58	c 72.9s |      11 |   703280 |    23044 |    32650      0 |      755 |      646
75.68/75.76	c 75.1s |      11 |   728246 |    23544 |    32650      0 |      756 |      647
77.68/77.79	c 77.1s |      11 |   750007 |    24044 |    32650      0 |      756 |      647
79.78/79.80	c 79.2s |      11 |   767133 |    24644 |    32650      0 |      757 |      648
81.88/81.97	c 81.3s |      11 |   787979 |    25044 |    32650      0 |      758 |      649
84.28/84.33	c 83.7s |      11 |   805616 |    25444 |    32650      0 |      760 |      651
85.48/85.56	c 84.9s |      12 |   814712 |    25819 |    35915      0 |      760 |      651
87.98/88.01	c 87.4s |      12 |   829762 |    26419 |    35915      0 |      760 |      651
89.98/90.03	c 89.4s |      12 |   850036 |    27019 |    35915      0 |      760 |      651
92.18/92.22	c 91.6s |      12 |   872226 |    27619 |    35915      0 |      760 |      651
94.58/94.63	c 94.0s |      12 |   892184 |    28319 |    35915      0 |      760 |      651
96.57/96.65	c 96.0s |      12 |   907181 |    28919 |    35915      0 |      760 |      651
98.98/99.05	c 98.4s |      12 |   919364 |    29519 |    35915      0 |      760 |      651
100.97/101.07	c  100s |      12 |   920490 |    29819 |    35915      0 |      760 |      651
103.17/103.26	c  102s |      12 |   921650 |    30219 |    35915      0 |      760 |      651
105.87/105.96	c  105s |      12 |   922663 |    30519 |    35915      0 |      760 |      651
108.38/108.45	c  107s |      12 |   924168 |    30919 |    35915      0 |      760 |      651
110.78/110.82	c  110s |      12 |   926662 |    31519 |    35915      0 |      760 |      651
113.28/113.35	c  112s |      12 |   928345 |    31919 |    35915      0 |      760 |      651
115.58/115.62	c  114s |      12 |   941489 |    32419 |    35915      0 |      760 |      651
117.78/117.89	c  117s |      12 |   956123 |    33019 |    35915      0 |      760 |      651
120.17/120.21	c  119s |      12 |   963999 |    33619 |    35915      0 |      760 |      651
122.18/122.25	c  121s |      12 |   973730 |    33919 |    35915      0 |      761 |      652
124.28/124.38	c  123s |      12 |   988877 |    34319 |    35915      0 |      762 |      653
126.48/126.59	c  125s |      12 |   991573 |    34919 |    35915      0 |      762 |      653
128.57/128.60	c  127s |      12 |   993129 |    35319 |    35915      0 |      762 |      653
130.67/130.73	c  130s |      12 |   994024 |    35619 |    35915      0 |      762 |      653
132.67/132.79	c  132s |      12 |   994993 |    35919 |    35915      0 |      762 |      653
135.06/135.14	c  134s |      12 |   995939 |    36219 |    35915      0 |      762 |      653
137.66/137.71	c  137s |      12 |   997292 |    36619 |    35915      0 |      762 |      653
139.67/139.74	c  139s |      12 |   998220 |    36919 |    35915      0 |      762 |      653
141.88/141.99	c  141s |      12 |  1005194 |    37319 |    35915      0 |      762 |      653
144.27/144.31	c  143s |      12 |  1027731 |    37819 |    35915      0 |      762 |      653
146.57/146.60	c  145s |      12 |  1039083 |    38219 |    35915      1 |      762 |      653
148.67/148.70	c  148s |      12 |  1058204 |    38719 |    39507      1 |      762 |      653
148.97/149.06	c  148s |      13 |  1058884 |    38832 |    39507      1 |      762 |      653
151.27/151.37	c  150s |      13 |  1068509 |    39332 |    39507      1 |      762 |      653
153.37/153.40	c  152s |      13 |  1078740 |    40032 |    39507      1 |      762 |      653
155.47/155.56	c  154s |      13 |  1087135 |    40732 |    39507      1 |      762 |      653
157.57/157.61	c  156s |      13 |  1099607 |    41132 |    39507      1 |      762 |      653
159.57/159.69	c  159s |      13 |  1115772 |    41732 |    39507      1 |      762 |      653
161.77/161.85	c  161s |      13 |  1124878 |    42332 |    39507      1 |      762 |      653
163.87/163.91	c  163s |      13 |  1130035 |    42832 |    39507      1 |      762 |      653
165.87/165.99	c  165s |      13 |  1131078 |    43132 |    39507      1 |      762 |      653
168.07/168.18	c  167s |      13 |  1132401 |    43432 |    39507      1 |      762 |      653
170.17/170.24	c  169s |      13 |  1145332 |    44132 |    39507      1 |      762 |      653
172.26/172.39	c  171s |      13 |  1157366 |    44732 |    39507      1 |      762 |      653
174.46/174.56	c  173s |      13 |  1160142 |    45232 |    39507      1 |      762 |      653
176.96/177.05	c  176s |      13 |  1162859 |    45632 |    39507      1 |      762 |      653
179.27/179.40	c  178s |      13 |  1171915 |    46132 |    39507      1 |      762 |      653
181.66/181.70	c  181s |      13 |  1194144 |    46732 |    39507      1 |      762 |      653
183.77/183.85	c  183s |      13 |  1199846 |    47332 |    39507      1 |      762 |      653
186.26/186.32	c  185s |      13 |  1203839 |    47932 |    39507      1 |      762 |      653
188.36/188.46	c  187s |      13 |  1214510 |    48332 |    39507      1 |      762 |      653
190.66/190.78	c  190s |      13 |  1226052 |    49032 |    39507      1 |      762 |      653
193.36/193.41	c  192s |      13 |  1237591 |    49632 |    39507      1 |      762 |      653
195.46/195.51	c  194s |      13 |  1256114 |    50132 |    39507      1 |      762 |      653
197.66/197.72	c  197s |      13 |  1261169 |    50732 |    39507      1 |      762 |      653
199.76/199.87	c  199s |      13 |  1272726 |    51232 |    39507      1 |      762 |      653
202.06/202.15	c  201s |      13 |  1293089 |    51932 |    39507      1 |      762 |      653
204.06/204.16	c  203s |      13 |  1301741 |    52632 |    39507      1 |      762 |      653
206.16/206.28	c  205s |      13 |  1303703 |    53232 |    39507      1 |      762 |      653
208.26/208.39	c  207s |      13 |  1314038 |    53732 |    39507      1 |      762 |      653
210.76/210.80	c  210s |      13 |  1326296 |    54332 |    39507      1 |      762 |      653
212.76/212.80	c  212s |      13 |  1344811 |    54832 |    39507      1 |      762 |      653
214.76/214.82	c  214s |      13 |  1354225 |    55332 |    39507      1 |      762 |      653
217.06/217.13	c  216s |      13 |  1374660 |    55932 |    39507      1 |      762 |      653
219.25/219.35	c  218s |      13 |  1390673 |    56432 |    39507      1 |      762 |      653
221.25/221.36	c  220s |      13 |  1401317 |    57032 |    39507      1 |      762 |      653
223.36/223.41	c  222s |      13 |  1407523 |    57532 |    39507      1 |      762 |      653
225.85/225.95	c  225s |      13 |  1421830 |    58132 |    43458      1 |      762 |      653
226.66/226.73	c  226s |      14 |  1423894 |    58352 |    43458      1 |      762 |      653
228.95/229.03	c  228s |      14 |  1439349 |    58752 |    43458      1 |      762 |      653
231.25/231.30	c  230s |      14 |  1448746 |    59252 |    43458      1 |      762 |      653
233.55/233.68	c  233s |      14 |  1462378 |    59652 |    43458      1 |      763 |      654
236.15/236.25	c  235s |      14 |  1468934 |    60152 |    43458      1 |      763 |      654
238.55/238.62	c  237s |      14 |  1475649 |    60652 |    43458      1 |      763 |      654
240.75/240.90	c  240s |      14 |  1489309 |    61152 |    43458      1 |      763 |      654
242.85/242.95	c  242s |      14 |  1491536 |    61452 |    43458      1 |      763 |      654
245.05/245.10	c  244s |      14 |  1499515 |    61852 |    43458      1 |      763 |      654
247.25/247.38	c  246s |      14 |  1508067 |    62452 |    43458      1 |      763 |      654
249.45/249.57	c  248s |      14 |  1516003 |    63052 |    43458      1 |      763 |      654
251.75/251.84	c  251s |      14 |  1528426 |    63652 |    43458      1 |      763 |      654
253.85/253.99	c  253s |      14 |  1542677 |    64252 |    43458      1 |      763 |      654
256.05/256.12	c  255s |      14 |  1555102 |    64652 |    43458      1 |      763 |      654
258.34/258.43	c  257s |      14 |  1564685 |    64852 |    43458      2 |      763 |      654
260.65/260.76	c  260s |      14 |  1574011 |    65552 |    43458      2 |      763 |      654
262.74/262.88	c  262s |      14 |  1579759 |    66252 |    43458      2 |      763 |      654
264.84/264.93	c  264s |      14 |  1587195 |    66852 |    43458      2 |      763 |      654
267.74/267.80	c  267s |      14 |  1601609 |    67552 |    43458      2 |      763 |      654
269.84/269.92	c  269s |      14 |  1615482 |    68052 |    43458      2 |      763 |      654
271.84/271.99	c  271s |      14 |  1622372 |    68652 |    43458      2 |      763 |      654
274.14/274.21	c  273s |      14 |  1637009 |    69252 |    43458      2 |      763 |      654
276.44/276.51	c  275s |      14 |  1654360 |    69752 |    43458      2 |      764 |      655
278.64/278.75	c  278s |      14 |  1673268 |    70552 |    43458      2 |      764 |      655
280.74/280.88	c  280s |      14 |  1685056 |    71052 |    43458      2 |      764 |      655
282.94/283.07	c  282s |      14 |  1700534 |    71652 |    43458      2 |      764 |      655
285.14/285.27	c  284s |      14 |  1706436 |    72352 |    43458      2 |      764 |      655
287.15/287.27	c  286s |      14 |  1716753 |    72952 |    43458      2 |      764 |      655
289.35/289.49	c  288s |      14 |  1733969 |    73552 |    43458      2 |      764 |      655
291.44/291.60	c  290s |      14 |  1751483 |    73952 |    43458      2 |      764 |      655
293.64/293.75	c  293s |      14 |  1760401 |    74452 |    43458      2 |      764 |      655
296.15/296.29	c  295s |      14 |  1761692 |    74852 |    43458      2 |      764 |      655
298.44/298.58	c  297s |      14 |  1766417 |    75152 |    43458      2 |      764 |      655
300.54/300.68	c  300s |      14 |  1780626 |    75652 |    43458      2 |      764 |      655
302.64/302.80	c  302s |      14 |  1786375 |    76152 |    43458      2 |      764 |      655
305.14/305.25	c  304s |      14 |  1792335 |    76652 |    43458      2 |      764 |      655
307.95/308.01	c  307s |      14 |  1793959 |    77052 |    43458      2 |      764 |      655
310.34/310.49	c  309s |      14 |  1808379 |    77552 |    43458      2 |      764 |      655
312.45/312.59	c  311s |      14 |  1820801 |    77952 |    43458      2 |      764 |      655
314.65/314.73	c  314s |      14 |  1829542 |    78352 |    43458      2 |      764 |      655
317.04/317.15	c  316s |      14 |  1839508 |    78952 |    43458      2 |      764 |      655
319.14/319.26	c  318s |      14 |  1847920 |    79552 |    43458      2 |      764 |      655
321.54/321.63	c  320s |      14 |  1861366 |    80052 |    43458      2 |      764 |      655
323.64/323.78	c  323s |      14 |  1868585 |    80552 |    43458      2 |      764 |      655
325.84/325.91	c  325s |      14 |  1874068 |    81252 |    43458      2 |      764 |      655
328.14/328.20	c  327s |      14 |  1875940 |    81552 |    43458      2 |      764 |      655
330.34/330.42	c  329s |      14 |  1877513 |    81852 |    43458      2 |      764 |      655
333.24/333.31	c  332s |      14 |  1878894 |    82152 |    43458      2 |      764 |      655
336.23/336.35	c  335s |      14 |  1880528 |    82352 |    43458      2 |      764 |      655
338.74/338.89	c  338s |      14 |  1881732 |    82552 |    43458      2 |      764 |      655
341.53/341.67	c  341s |      14 |  1884072 |    82952 |    43458      2 |      764 |      655
343.83/343.91	c  343s |      14 |  1885858 |    83252 |    43458      2 |      764 |      655
346.23/346.35	c  345s |      14 |  1887829 |    83552 |    43458      2 |      764 |      655
348.53/348.62	c  347s |      14 |  1889881 |    83952 |    43458      2 |      764 |      655
350.53/350.67	c  350s |      14 |  1892596 |    84252 |    43458      2 |      764 |      655
352.93/353.10	c  352s |      14 |  1894764 |    84652 |    43458      2 |      764 |      655
355.43/355.54	c  354s |      14 |  1896752 |    85052 |    43458      2 |      764 |      655
357.53/357.69	c  357s |      14 |  1898140 |    85352 |    43458      2 |      764 |      655
361.13/361.21	c  360s |      14 |  1899627 |    85652 |    43458      2 |      764 |      655
363.13/363.22	c  362s |      14 |  1903014 |    86052 |    43458      2 |      764 |      655
365.24/365.33	c  364s |      14 |  1904622 |    86352 |    43458      2 |      764 |      655
367.53/367.63	c  366s |      14 |  1905603 |    86552 |    43458      2 |      764 |      655
370.23/370.33	c  369s |      14 |  1906635 |    86752 |    43458      2 |      764 |      655
372.94/373.06	c  372s |      14 |  1907174 |    86852 |    43458      2 |      764 |      655
375.14/375.26	c  374s |      14 |  1907670 |    86952 |    43458      2 |      764 |      655
377.63/377.74	c  377s |      14 |  1908307 |    87052 |    47804      2 |      764 |      655
380.33/380.49	c  379s |      14 |  1911396 |    87452 |    47804      2 |      764 |      655
383.33/383.44	c  382s |      15 |  1911978 |    87632 |    47804      2 |      764 |      655
385.53/385.62	c  384s |      15 |  1915728 |    88132 |    47804      2 |      764 |      655
387.63/387.73	c  387s |      15 |  1922764 |    88832 |    47804      2 |      764 |      655
389.62/389.74	c  389s |      15 |  1924874 |    89332 |    47804      2 |      764 |      655
392.22/392.36	c  391s |      15 |  1933510 |    89832 |    47804      2 |      765 |      656
394.42/394.57	c  393s |      15 |  1951095 |    90632 |    47804      2 |      765 |      656
397.13/397.25	c  396s |      15 |  1962498 |    91332 |    47804      2 |      765 |      656
399.12/399.25	c  398s |      15 |  1972681 |    91832 |    47804      2 |      765 |      656
401.12/401.29	c  400s |      15 |  1984653 |    92032 |    47804      3 |      765 |      656
403.22/403.35	c  402s |      15 |  1999539 |    92532 |    47804      3 |      766 |      657
405.42/405.50	c  404s |      15 |  2012317 |    93132 |    47804      3 |      766 |      657
407.62/407.75	c  407s |      15 |  2024863 |    93732 |    47804      3 |      767 |      658
409.82/409.97	c  409s |      15 |  2043436 |    94432 |    47804      3 |      767 |      658
412.12/412.29	c  411s |      15 |  2062961 |    95132 |    47804      3 |      767 |      658
414.42/414.51	c  413s |      15 |  2080152 |    95832 |    47804      3 |      767 |      658
416.52/416.65	c  416s |      15 |  2093701 |    96332 |    47804      3 |      767 |      658
418.82/418.94	c  418s |      15 |  2114767 |    97132 |    47804      3 |      767 |      658
421.12/421.23	c  420s |      15 |  2134072 |    97832 |    47804      3 |      767 |      658
423.22/423.37	c  422s |      15 |  2151185 |    98532 |    47804      3 |      767 |      658
425.42/425.55	c  424s |      15 |  2163932 |    99332 |    47804      3 |      767 |      658
427.62/427.73	c  427s |      15 |  2179923 |   100032 |    47804      3 |      767 |      658
429.72/429.80	c  429s |      15 |  2192675 |   100732 |    47804      3 |      767 |      658
432.02/432.10	c  431s |      15 |  2206407 |   101432 |    47804      3 |      767 |      658
434.02/434.15	c  433s |      15 |  2217382 |   102032 |    47804      3 |      767 |      658
436.42/436.57	c  435s |      15 |  2234068 |   102732 |    47804      3 |      767 |      658
438.82/438.98	c  438s |      15 |  2235772 |   103332 |    47804      3 |      767 |      658
441.12/441.29	c  440s |      15 |  2238199 |   103732 |    47804      3 |      767 |      658
443.32/443.42	c  442s |      15 |  2240873 |   104032 |    47804      3 |      767 |      658
445.42/445.53	c  444s |      15 |  2259726 |   104532 |    47804      3 |      767 |      658
447.81/447.93	c  447s |      15 |  2271790 |   105132 |    47804      3 |      767 |      658
449.92/450.06	c  449s |      15 |  2286641 |   105632 |    47804      3 |      767 |      658
452.12/452.21	c  451s |      15 |  2304271 |   106132 |    47804      3 |      767 |      658
454.41/454.50	c  453s |      15 |  2317972 |   106832 |    47804      3 |      767 |      658
456.61/456.77	c  456s |      15 |  2332059 |   107432 |    47804      3 |      767 |      658
458.82/458.90	c  458s |      15 |  2344186 |   108032 |    47804      3 |      767 |      658
460.92/461.04	c  460s |      15 |  2360774 |   108532 |    47804      3 |      767 |      658
463.21/463.38	c  462s |      15 |  2373188 |   109132 |    47804      3 |      767 |      658
465.51/465.66	c  465s |      15 |  2388033 |   109732 |    47804      3 |      767 |      658
467.71/467.86	c  467s |      15 |  2390415 |   110332 |    47804      3 |      767 |      658
470.11/470.21	c  469s |      15 |  2398136 |   110932 |    47804      3 |      767 |      658
472.42/472.59	c  471s |      15 |  2413462 |   111532 |    47804      3 |      767 |      658
474.62/474.74	c  474s |      15 |  2431496 |   112032 |    47804      3 |      767 |      658
476.92/477.05	c  476s |      15 |  2446617 |   112532 |    47804      3 |      767 |      658
479.11/479.21	c  478s |      15 |  2464862 |   113132 |    47804      3 |      767 |      658
481.11/481.22	c  480s |      15 |  2468095 |   113632 |    47804      3 |      767 |      658
483.31/483.45	c  482s |      15 |  2475160 |   114032 |    47804      3 |      767 |      658
485.61/485.79	c  485s |      15 |  2497973 |   114532 |    47804      3 |      767 |      658
488.11/488.23	c  487s |      15 |  2508304 |   115032 |    47804      3 |      767 |      658
490.21/490.37	c  489s |      15 |  2518994 |   115632 |    47804      3 |      767 |      658
492.31/492.50	c  491s |      15 |  2529767 |   116232 |    47804      3 |      767 |      658
494.41/494.57	c  493s |      15 |  2533114 |   116632 |    47804      3 |      767 |      658
496.71/496.85	c  496s |      15 |  2535810 |   117132 |    47804      3 |      767 |      658
498.91/499.01	c  498s |      15 |  2536664 |   117432 |    47804      3 |      767 |      658
501.00/501.19	c  500s |      15 |  2538398 |   117832 |    47804      3 |      767 |      658
503.41/503.59	c  502s |      15 |  2539321 |   118132 |    47804      3 |      767 |      658
506.31/506.46	c  505s |      15 |  2540148 |   118432 |    47804      3 |      767 |      658
508.91/509.01	c  508s |      15 |  2542473 |   118832 |    47804      3 |      767 |      658
510.91/511.06	c  510s |      15 |  2544289 |   119232 |    47804      3 |      767 |      658
513.41/513.52	c  512s |      15 |  2545207 |   119532 |    47804      3 |      767 |      658
516.91/517.08	c  516s |      15 |  2546422 |   119832 |    47804      3 |      767 |      658
520.60/520.76	c  520s |      15 |  2552815 |   120132 |    47804      4 |      767 |      658
522.60/522.77	c  522s |      15 |  2568009 |   120632 |    47804      4 |      767 |      658
524.71/524.84	c  524s |      15 |  2592549 |   121132 |    47804      4 |      767 |      658
526.70/526.88	c  526s |      15 |  2606893 |   121732 |    47804      4 |      767 |      658
529.01/529.15	c  528s |      15 |  2617103 |   122332 |    47804      4 |      767 |      658
531.00/531.18	c  530s |      15 |  2618014 |   122632 |    47804      4 |      767 |      658
533.10/533.27	c  532s |      15 |  2631331 |   123132 |    47804      4 |      767 |      658
535.50/535.66	c  535s |      15 |  2645174 |   123832 |    47804      4 |      767 |      658
537.91/538.07	c  537s |      15 |  2664542 |   124432 |    47804      4 |      767 |      658
540.30/540.46	c  539s |      15 |  2676951 |   124932 |    47804      4 |      767 |      658
542.50/542.63	c  541s |      15 |  2681180 |   125432 |    47804      4 |      767 |      658
544.51/544.64	c  543s |      15 |  2683015 |   125932 |    47804      4 |      767 |      658
546.80/546.92	c  546s |      15 |  2684527 |   126332 |    47804      4 |      767 |      658
549.30/549.43	c  548s |      15 |  2693764 |   126732 |    47804      4 |      767 |      658
551.30/551.47	c  550s |      15 |  2707066 |   127332 |    47804      4 |      767 |      658
553.60/553.74	c  553s |      15 |  2722609 |   127932 |    47804      4 |      767 |      658
555.80/555.99	c  555s |      15 |  2731977 |   128432 |    47804      4 |      767 |      658
558.30/558.49	c  557s |      15 |  2739576 |   128932 |    47804      4 |      767 |      658
561.00/561.12	c  560s |      15 |  2740950 |   129332 |    47804      4 |      767 |      658
564.00/564.18	c  563s |      15 |  2741644 |   129632 |    47804      4 |      767 |      658
566.60/566.74	c  566s |      15 |  2742069 |   129832 |    47804      4 |      767 |      658
569.00/569.17	c  568s |      15 |  2743325 |   130132 |    47804      4 |      767 |      658
571.91/572.01	c  571s |      15 |  2744889 |   130532 |    47804      4 |      767 |      658
574.21/574.37	c  573s |      15 |  2746116 |   130832 |    52585      4 |      767 |      658
576.30/576.46	c  575s |      15 |  2746319 |   130932 |    52585      4 |      767 |      658
578.40/578.60	c  577s |      15 |  2752119 |   131132 |    52585      4 |      767 |      658
579.99/580.13	c  579s |      16 |  2756293 |   131552 |    52585      4 |      767 |      658
582.09/582.20	c  581s |      16 |  2766025 |   131852 |    52585      4 |      767 |      658
584.39/584.51	c  583s |      16 |  2787975 |   132352 |    52585      4 |      767 |      658
586.49/586.62	c  585s |      16 |  2801918 |   133052 |    52585      4 |      767 |      658
588.59/588.73	c  588s |      16 |  2814523 |   133552 |    52585      4 |      767 |      658
590.60/590.78	c  590s |      16 |  2820041 |   133952 |    52585      4 |      767 |      658
593.09/593.27	c  592s |      16 |  2828449 |   134352 |    52585      4 |      768 |      659
595.39/595.51	c  594s |      16 |  2841481 |   134952 |    52585      4 |      768 |      659
597.39/597.59	c  596s |      16 |  2856883 |   135452 |    52585      4 |      768 |      659
599.79/599.90	c  599s |      16 |  2868214 |   136152 |    52585      4 |      768 |      659
601.99/602.16	c  601s |      16 |  2877011 |   136752 |    52585      4 |      768 |      659
604.09/604.27	c  603s |      16 |  2878769 |   137252 |    52585      4 |      768 |      659
606.29/606.46	c  605s |      16 |  2886416 |   137752 |    52585      4 |      768 |      659
608.49/608.64	c  607s |      16 |  2898934 |   138352 |    52585      4 |      768 |      659
610.50/610.69	c  610s |      16 |  2906472 |   138952 |    52585      4 |      768 |      659
613.09/613.28	c  612s |      16 |  2913163 |   139552 |    52585      4 |      768 |      659
615.29/615.47	c  614s |      16 |  2923415 |   140052 |    52585      4 |      768 |      659
617.39/617.54	c  616s |      16 |  2932810 |   140652 |    52585      4 |      768 |      659
619.49/619.63	c  618s |      16 |  2941823 |   141152 |    52585      4 |      768 |      659
621.99/622.16	c  621s |      16 |  2943680 |   141652 |    52585      4 |      768 |      659
624.09/624.22	c  623s |      16 |  2945396 |   142052 |    52585      4 |      768 |      659
626.29/626.42	c  625s |      16 |  2953181 |   142452 |    52585      4 |      768 |      659
628.39/628.53	c  627s |      16 |  2963721 |   142952 |    52585      4 |      768 |      659
630.59/630.79	c  630s |      16 |  2975322 |   143252 |    52585      4 |      769 |      660
633.08/633.26	c  632s |      16 |  2988440 |   143852 |    52585      4 |      769 |      660
635.48/635.64	c  634s |      16 |  3003598 |   144452 |    52585      4 |      769 |      660
637.48/637.69	c  637s |      16 |  3011232 |   144852 |    52585      4 |      769 |      660
639.58/639.70	c  639s |      16 |  3023949 |   145352 |    52585      4 |      769 |      660
641.68/641.89	c  641s |      16 |  3041189 |   145852 |    52585      4 |      769 |      660
644.28/644.43	c  643s |      16 |  3063447 |   146452 |    52585      4 |      769 |      660
646.69/646.89	c  646s |      16 |  3075178 |   147052 |    52585      4 |      769 |      660
649.08/649.20	c  648s |      16 |  3090573 |   147652 |    52585      4 |      769 |      660
651.28/651.46	c  650s |      16 |  3097586 |   148152 |    52585      4 |      769 |      660
653.48/653.62	c  652s |      16 |  3101162 |   148352 |    52585      5 |      769 |      660
655.60/655.78	c  655s |      16 |  3120694 |   148952 |    52585      5 |      769 |      660
657.89/658.03	c  657s |      16 |  3140478 |   149552 |    52585      5 |      769 |      660
659.89/660.09	c  659s |      16 |  3156442 |   150152 |    52585      5 |      769 |      660
662.39/662.55	c  661s |      16 |  3172022 |   150652 |    52585      5 |      770 |      661
664.59/664.78	c  664s |      16 |  3193784 |   151252 |    52585      5 |      770 |      661
666.89/667.06	c  666s |      16 |  3212676 |   151852 |    52585      5 |      770 |      661
669.09/669.27	c  668s |      16 |  3221092 |   152652 |    52585      5 |      770 |      661
671.28/671.49	c  670s |      16 |  3224848 |   153152 |    52585      5 |      770 |      661
673.68/673.80	c  673s |      16 |  3232002 |   153752 |    52585      5 |      770 |      661
676.08/676.25	c  675s |      16 |  3247031 |   154352 |    52585      5 |      770 |      661
678.28/678.46	c  677s |      16 |  3254880 |   154952 |    52585      5 |      770 |      661
680.58/680.73	c  680s |      16 |  3270160 |   155552 |    52585      5 |      770 |      661
682.68/682.83	c  682s |      16 |  3284766 |   156052 |    52585      5 |      770 |      661
684.78/684.94	c  684s |      16 |  3292237 |   156452 |    52585      5 |      770 |      661
686.98/687.17	c  686s |      16 |  3301685 |   157052 |    52585      5 |      770 |      661
689.18/689.34	c  688s |      16 |  3312213 |   157652 |    52585      5 |      770 |      661
691.48/691.60	c  690s |      16 |  3324203 |   158252 |    52585      5 |      770 |      661
693.58/693.70	c  693s |      16 |  3334748 |   158652 |    52585      5 |      771 |      662
695.58/695.77	c  695s |      16 |  3342585 |   159252 |    52585      5 |      771 |      662
697.77/697.98	c  697s |      16 |  3344726 |   159752 |    52585      5 |      771 |      662
699.77/699.98	c  699s |      16 |  3352328 |   160352 |    52585      5 |      771 |      662
702.18/702.34	c  701s |      16 |  3361555 |   160852 |    52585      5 |      771 |      662
704.48/704.61	c  703s |      16 |  3367879 |   161352 |    52585      5 |      771 |      662
706.88/707.00	c  706s |      16 |  3370189 |   161752 |    52585      5 |      771 |      662
709.18/709.32	c  708s |      16 |  3382455 |   162352 |    52585      5 |      771 |      662
711.59/711.79	c  711s |      16 |  3394291 |   163052 |    52585      5 |      771 |      662
713.79/713.96	c  713s |      16 |  3402062 |   163452 |    52585      5 |      771 |      662
715.99/716.12	c  715s |      16 |  3406007 |   163952 |    52585      5 |      771 |      662
718.18/718.37	c  717s |      16 |  3408922 |   164352 |    52585      5 |      771 |      662
720.68/720.81	c  720s |      16 |  3411732 |   164752 |    52585      5 |      771 |      662
722.98/723.13	c  722s |      16 |  3415829 |   165252 |    52585      5 |      771 |      662
725.18/725.36	c  724s |      16 |  3420844 |   165752 |    52585      5 |      771 |      662
727.57/727.70	c  727s |      16 |  3422152 |   166052 |    52585      5 |      771 |      662
730.57/730.71	c  730s |      16 |  3423722 |   166352 |    52585      5 |      771 |      662
733.37/733.51	c  732s |      16 |  3427678 |   166752 |    52585      5 |      771 |      662
735.67/735.81	c  735s |      16 |  3440831 |   167252 |    52585      5 |      771 |      662
737.87/738.04	c  737s |      16 |  3451860 |   167752 |    52585      5 |      771 |      662
739.97/740.11	c  739s |      16 |  3458275 |   168252 |    52585      5 |      771 |      662
742.48/742.62	c  741s |      16 |  3466779 |   168752 |    52585      5 |      771 |      662
744.87/745.08	c  744s |      16 |  3473050 |   169452 |    52585      5 |      771 |      662
747.47/747.61	c  746s |      16 |  3475427 |   170052 |    52585      5 |      771 |      662
749.87/750.04	c  749s |      16 |  3477743 |   170352 |    52585      5 |      771 |      662
752.17/752.37	c  751s |      16 |  3481476 |   170752 |    52585      5 |      771 |      662
754.27/754.45	c  753s |      16 |  3485427 |   171052 |    52585      5 |      771 |      662
756.27/756.50	c  755s |      16 |  3489900 |   171452 |    52585      5 |      771 |      662
758.76/758.92	c  758s |      16 |  3500011 |   171852 |    52585      5 |      772 |      663
761.07/761.21	c  760s |      16 |  3513633 |   172352 |    52585      5 |      772 |      663
763.17/763.38	c  762s |      16 |  3523556 |   172852 |    52585      5 |      772 |      663
765.48/765.70	c  765s |      16 |  3539652 |   173552 |    52585      5 |      772 |      663
767.68/767.84	c  767s |      16 |  3559361 |   174052 |    52585      5 |      772 |      663
769.77/769.97	c  769s |      16 |  3571904 |   174552 |    52585      5 |      772 |      663
772.08/772.21	c  771s |      16 |  3582621 |   175052 |    52585      5 |      772 |      663
774.38/774.58	c  773s |      16 |  3591442 |   175552 |    52585      5 |      772 |      663
777.68/777.82	c  777s |      16 |  3597620 |   176052 |    52585      6 |      772 |      663
779.88/780.06	c  779s |      16 |  3613026 |   176652 |    52585      6 |      772 |      663
782.07/782.23	c  781s |      16 |  3615334 |   177052 |    52585      6 |      772 |      663
784.17/784.30	c  783s |      16 |  3616312 |   177352 |    52585      6 |      772 |      663
786.47/786.67	c  786s |      16 |  3616782 |   177552 |    52585      6 |      772 |      663
788.76/788.91	c  788s |      16 |  3617875 |   177752 |    52585      6 |      772 |      663
790.87/791.02	c  790s |      16 |  3619582 |   178052 |    52585      6 |      772 |      663
793.07/793.28	c  792s |      16 |  3620735 |   178452 |    52585      6 |      772 |      663
795.07/795.29	c  794s |      16 |  3624309 |   178752 |    52585      6 |      772 |      663
797.96/798.17	c  797s |      16 |  3625910 |   179052 |    52585      6 |      772 |      663
800.36/800.59	c  799s |      16 |  3626510 |   179252 |    52585      6 |      772 |      663
803.36/803.58	c  802s |      16 |  3627026 |   179452 |    52585      6 |      772 |      663
805.76/805.92	c  805s |      16 |  3627261 |   179552 |    52585      6 |      772 |      663
807.76/807.92	c  807s |      16 |  3627487 |   179652 |    52585      6 |      772 |      663
811.06/811.25	c  810s |      16 |  3627981 |   179852 |    52585      6 |      772 |      663
813.76/813.97	c  813s |      16 |  3628962 |   180052 |    52585      6 |      772 |      663
816.66/816.87	c  816s |      16 |  3629607 |   180252 |    52585      6 |      772 |      663
818.85/819.07	c  818s |      16 |  3630755 |   180452 |    52585      6 |      772 |      663
820.95/821.12	c  820s |      16 |  3632299 |   180652 |    52585      6 |      772 |      663
823.76/823.94	c  823s |      16 |  3633264 |   180852 |    52585      6 |      772 |      663
827.96/828.16	c  827s |      16 |  3633835 |   181052 |    52585      6 |      772 |      663
830.06/830.26	c  829s |      16 |  3644395 |   181552 |    52585      6 |      772 |      663
832.46/832.60	c  831s |      16 |  3656243 |   182052 |    52585      6 |      772 |      663
834.86/835.06	c  834s |      16 |  3668991 |   182652 |    52585      6 |      772 |      663
836.96/837.19	c  836s |      16 |  3679663 |   183252 |    52585      6 |      772 |      663
839.16/839.31	c  838s |      16 |  3696560 |   183852 |    52585      6 |      772 |      663
841.26/841.50	c  840s |      16 |  3709271 |   184252 |    52585      6 |      773 |      664
843.56/843.77	c  843s |      16 |  3727773 |   184852 |    52585      6 |      773 |      664
845.65/845.81	c  845s |      16 |  3741209 |   185352 |    52585      6 |      773 |      664
848.06/848.25	c  847s |      16 |  3748848 |   185952 |    52585      6 |      773 |      664
850.26/850.45	c  849s |      16 |  3764249 |   186452 |    52585      6 |      773 |      664
852.46/852.66	c  852s |      16 |  3777452 |   187052 |    52585      6 |      773 |      664
854.85/855.06	c  854s |      16 |  3789374 |   187752 |    52585      6 |      773 |      664
857.25/857.47	c  856s |      16 |  3802630 |   188352 |    52585      6 |      773 |      664
859.35/859.57	c  858s |      16 |  3813714 |   188852 |    52585      6 |      773 |      664
865.74/865.92	c  865s |      16 |  3814211 |   189052 |    52585      6 |      773 |      664
869.44/869.63	c  868s |      16 |  3814361 |   189152 |    52585      6 |      773 |      664
871.64/871.86	c  871s |      16 |  3822319 |   189452 |    52585      6 |      773 |      664
873.84/874.07	c  873s |      16 |  3832829 |   189952 |    52585      6 |      773 |      664
876.14/876.35	c  875s |      16 |  3835850 |   190552 |    52585      6 |      773 |      664
878.44/878.63	c  877s |      16 |  3851923 |   191052 |    52585      6 |      773 |      664
880.74/880.91	c  880s |      16 |  3861005 |   191752 |    52585      6 |      773 |      664
883.14/883.34	c  882s |      16 |  3873164 |   192252 |    52585      6 |      773 |      664
885.25/885.41	c  884s |      16 |  3885973 |   192952 |    52585      6 |      773 |      664
887.25/887.45	c  886s |      16 |  3895087 |   193452 |    52585      6 |      773 |      664
889.65/889.80	c  889s |      16 |  3903957 |   194052 |    52585      6 |      773 |      664
891.75/891.91	c  891s |      16 |  3905473 |   194552 |    52585      6 |      773 |      664
894.04/894.20	c  893s |      16 |  3910952 |   194952 |    52585      6 |      773 |      664
896.35/896.51	c  895s |      16 |  3919954 |   195552 |    52585      6 |      773 |      664
898.55/898.78	c  898s |      16 |  3924732 |   196252 |    57844      6 |      773 |      664
900.94/901.10	c  900s |      16 |  3931879 |   196752 |    57844      6 |      773 |      664
903.13/903.35	c  902s |      16 |  3935333 |   197252 |    57844      6 |      773 |      664
904.43/904.65	c  904s |      17 |  3935919 |   197432 |    57844      6 |      773 |      664
906.73/906.94	c  906s |      17 |  3947085 |   197832 |    57844      6 |      773 |      664
909.13/909.38	c  908s |      17 |  3954764 |   198432 |    57844      6 |      773 |      664
911.63/911.84	c  911s |      17 |  3963177 |   199032 |    57844      6 |      773 |      664
913.83/914.07	c  913s |      17 |  3973700 |   199532 |    57844      6 |      773 |      664
916.13/916.32	c  915s |      17 |  3983723 |   200032 |    57844      6 |      773 |      664
918.23/918.47	c  917s |      17 |  3993070 |   200732 |    57844      6 |      773 |      664
920.23/920.49	c  919s |      17 |  4003785 |   201232 |    57844      6 |      773 |      664
922.53/922.72	c  922s |      17 |  4016686 |   201732 |    57844      6 |      773 |      664
924.82/925.01	c  924s |      17 |  4031507 |   202232 |    57844      6 |      773 |      664
927.23/927.42	c  926s |      17 |  4037940 |   202832 |    57844      6 |      773 |      664
929.33/929.56	c  928s |      17 |  4049314 |   203332 |    57844      6 |      773 |      664
931.32/931.59	c  930s |      17 |  4057281 |   203832 |    57844      6 |      773 |      664
933.62/933.87	c  933s |      17 |  4063587 |   204332 |    57844      6 |      773 |      664
936.02/936.22	c  935s |      17 |  4071969 |   204832 |    57844      6 |      773 |      664
938.02/938.25	c  937s |      17 |  4081097 |   205432 |    57844      6 |      773 |      664
940.12/940.34	c  939s |      17 |  4090272 |   205832 |    57844      6 |      773 |      664
942.31/942.55	c  941s |      17 |  4090945 |   206132 |    57844      6 |      773 |      664
944.82/945.05	c  944s |      17 |  4091401 |   206332 |    57844      6 |      773 |      664
947.11/947.32	c  946s |      17 |  4093156 |   206532 |    57844      6 |      773 |      664
949.41/949.66	c  949s |      17 |  4109901 |   206932 |    57844      6 |      773 |      664
951.61/951.86	c  951s |      17 |  4118992 |   207432 |    57844      6 |      773 |      664
953.72/953.93	c  953s |      17 |  4130120 |   207932 |    57844      6 |      773 |      664
956.12/956.33	c  955s |      17 |  4140340 |   208532 |    57844      6 |      773 |      664
958.21/958.47	c  957s |      17 |  4141789 |   208932 |    57844      6 |      773 |      664
961.51/961.79	c  961s |      17 |  4147689 |   209232 |    57844      7 |      773 |      664
963.91/964.15	c  963s |      17 |  4150235 |   209732 |    57844      7 |      773 |      664
966.11/966.37	c  965s |      17 |  4161408 |   210332 |    57844      7 |      773 |      664
968.21/968.42	c  967s |      17 |  4173834 |   211032 |    57844      7 |      773 |      664
970.31/970.52	c  969s |      17 |  4186688 |   211532 |    57844      7 |      773 |      664
972.51/972.77	c  972s |      17 |  4202466 |   212132 |    57844      7 |      773 |      664
974.51/974.77	c  974s |      17 |  4215193 |   212732 |    57844      7 |      773 |      664
976.61/976.81	c  976s |      17 |  4222582 |   213332 |    57844      7 |      773 |      664
978.81/979.04	c  978s |      17 |  4223844 |   213732 |    57844      7 |      773 |      664
981.01/981.28	c  980s |      17 |  4225052 |   214132 |    57844      7 |      773 |      664
983.10/983.40	c  982s |      17 |  4234288 |   214732 |    57844      7 |      773 |      664
985.20/985.48	c  984s |      17 |  4247769 |   215232 |    57844      7 |      773 |      664
987.30/987.55	c  986s |      17 |  4257175 |   215732 |    57844      7 |      773 |      664
989.81/990.03	c  989s |      17 |  4275636 |   216432 |    57844      7 |      773 |      664
992.01/992.21	c  991s |      17 |  4286983 |   217132 |    57844      7 |      773 |      664
994.31/994.54	c  993s |      17 |  4298051 |   217632 |    57844      7 |      773 |      664
996.41/996.64	c  995s |      17 |  4309055 |   218132 |    57844      7 |      773 |      664
998.71/998.94	c  998s |      17 |  4315932 |   218732 |    57844      7 |      773 |      664
1000.90/1001.14	c 1000s |      17 |  4317353 |   219132 |    57844      7 |      773 |      664
1003.19/1003.43	c 1002s |      17 |  4321262 |   219732 |    57844      7 |      773 |      664
1005.31/1005.51	c 1004s |      17 |  4322484 |   220132 |    57844      7 |      773 |      664
1007.41/1007.62	c 1006s |      17 |  4323267 |   220432 |    57844      7 |      773 |      664
1009.71/1009.92	c 1009s |      17 |  4324149 |   220732 |    57844      7 |      773 |      664
1011.70/1011.98	c 1011s |      17 |  4326204 |   221132 |    57844      7 |      773 |      664
1013.80/1014.01	c 1013s |      17 |  4329406 |   221632 |    57844      7 |      773 |      664
1015.90/1016.18	c 1015s |      17 |  4337538 |   222232 |    57844      7 |      773 |      664
1018.20/1018.42	c 1017s |      17 |  4341385 |   222732 |    57844      7 |      773 |      664
1020.99/1021.22	c 1020s |      17 |  4342831 |   223132 |    57844      7 |      773 |      664
1023.09/1023.36	c 1022s |      17 |  4353104 |   223632 |    57844      7 |      773 |      664
1025.39/1025.69	c 1025s |      17 |  4357921 |   224332 |    57844      7 |      773 |      664
1027.69/1027.96	c 1027s |      17 |  4367131 |   224832 |    57844      7 |      773 |      664
1029.89/1030.13	c 1029s |      17 |  4374951 |   225332 |    57844      7 |      773 |      664
1031.89/1032.18	c 1031s |      17 |  4382760 |   225832 |    57844      7 |      773 |      664
1033.89/1034.19	c 1033s |      17 |  4390650 |   226332 |    57844      7 |      773 |      664
1036.18/1036.47	c 1035s |      17 |  4400681 |   226832 |    57844      7 |      773 |      664
1038.39/1038.65	c 1038s |      17 |  4408089 |   227332 |    57844      7 |      773 |      664
1040.49/1040.76	c 1040s |      17 |  4414720 |   227932 |    57844      7 |      773 |      664
1042.79/1043.02	c 1042s |      17 |  4420144 |   228232 |    57844      7 |      773 |      664
1045.08/1045.37	c 1044s |      17 |  4425114 |   228732 |    57844      7 |      773 |      664
1047.28/1047.50	c 1046s |      17 |  4435041 |   229232 |    57844      7 |      773 |      664
1049.68/1049.98	c 1049s |      17 |  4443685 |   229832 |    57844      7 |      773 |      664
1052.08/1052.34	c 1051s |      17 |  4455687 |   230332 |    57844      7 |      773 |      664
1054.47/1054.72	c 1054s |      17 |  4459220 |   230732 |    57844      7 |      773 |      664
1056.88/1057.13	c 1056s |      17 |  4474288 |   231332 |    57844      7 |      773 |      664
1059.18/1059.47	c 1058s |      17 |  4483944 |   231832 |    57844      7 |      773 |      664
1061.67/1061.95	c 1061s |      17 |  4492145 |   232432 |    57844      7 |      773 |      664
1064.17/1064.40	c 1063s |      17 |  4495914 |   232932 |    57844      7 |      773 |      664
1066.56/1066.82	c 1066s |      17 |  4498026 |   233232 |    57844      7 |      773 |      664
1068.66/1068.95	c 1068s |      17 |  4500541 |   233732 |    57844      7 |      773 |      664
1070.76/1071.09	c 1070s |      17 |  4504538 |   234232 |    57844      7 |      773 |      664
1072.86/1073.12	c 1072s |      17 |  4506668 |   234632 |    57844      7 |      773 |      664
1075.05/1075.30	c 1074s |      17 |  4508461 |   235032 |    57844      7 |      773 |      664
1077.65/1077.98	c 1077s |      17 |  4509576 |   235432 |    57844      7 |      773 |      664
1079.75/1080.00	c 1079s |      17 |  4510137 |   235632 |    57844      7 |      773 |      664
1082.35/1082.61	c 1081s |      17 |  4512742 |   236032 |    57844      7 |      773 |      664
1084.56/1084.89	c 1084s |      17 |  4514414 |   236532 |    57844      7 |      773 |      664
1087.16/1087.46	c 1086s |      17 |  4515406 |   236832 |    57844      7 |      773 |      664
1089.46/1089.78	c 1089s |      17 |  4516467 |   237132 |    57844      7 |      773 |      664
1092.06/1092.35	c 1091s |      17 |  4517816 |   237432 |    57844      7 |      773 |      664
1094.16/1094.48	c 1093s |      17 |  4519066 |   237632 |    57844      7 |      773 |      664
1096.46/1096.73	c 1096s |      17 |  4520536 |   238032 |    57844      7 |      773 |      664
1098.46/1098.77	c 1098s |      17 |  4522558 |   238432 |    57844      7 |      773 |      664
1101.96/1102.23	c 1101s |      17 |  4531298 |   238932 |    57844      8 |      773 |      664
1104.16/1104.45	c 1103s |      17 |  4534564 |   239432 |    57844      8 |      773 |      664
1106.36/1106.66	c 1106s |      17 |  4548988 |   240032 |    57844      8 |      773 |      664
1108.66/1108.95	c 1108s |      17 |  4563710 |   240732 |    57844      8 |      773 |      664
1110.76/1111.01	c 1110s |      17 |  4583198 |   241332 |    57844      8 |      773 |      664
1112.95/1113.24	c 1112s |      17 |  4590683 |   242032 |    57844      8 |      773 |      664
1115.05/1115.33	c 1114s |      17 |  4600391 |   242632 |    57844      8 |      773 |      664
1117.15/1117.49	c 1116s |      17 |  4610434 |   243232 |    57844      8 |      773 |      664
1119.35/1119.70	c 1119s |      17 |  4621237 |   243932 |    57844      8 |      773 |      664
1121.55/1121.82	c 1121s |      17 |  4628628 |   244532 |    57844      8 |      773 |      664
1123.74/1124.05	c 1123s |      17 |  4634694 |   245132 |    57844      8 |      773 |      664
1125.94/1126.24	c 1125s |      17 |  4646870 |   245632 |    57844      8 |      773 |      664
1127.94/1128.25	c 1127s |      17 |  4660557 |   246132 |    57844      8 |      773 |      664
1130.64/1130.93	c 1130s |      17 |  4666984 |   246732 |    57844      8 |      773 |      664
1132.84/1133.18	c 1132s |      17 |  4678601 |   247232 |    57844      8 |      773 |      664
1135.04/1135.34	c 1134s |      17 |  4689140 |   247832 |    57844      8 |      773 |      664
1137.03/1137.36	c 1136s |      17 |  4692884 |   248232 |    57844      8 |      773 |      664
1139.34/1139.64	c 1139s |      17 |  4694662 |   248632 |    57844      8 |      773 |      664
1142.13/1142.42	c 1141s |      17 |  4696472 |   248932 |    57844      8 |      773 |      664
1144.13/1144.47	c 1143s |      17 |  4697391 |   249132 |    57844      8 |      773 |      664
1146.93/1147.20	c 1146s |      17 |  4698678 |   249432 |    57844      8 |      773 |      664
1149.33/1149.62	c 1148s |      17 |  4699630 |   249732 |    57844      8 |      773 |      664
1152.63/1152.91	c 1152s |      17 |  4700797 |   250032 |    57844      8 |      773 |      664
1155.42/1155.79	c 1155s |      17 |  4701797 |   250332 |    57844      8 |      773 |      664
1157.92/1158.22	c 1157s |      17 |  4703136 |   250632 |    57844      8 |      773 |      664
1160.33/1160.62	c 1159s |      17 |  4704865 |   251032 |    57844      8 |      773 |      664
1162.63/1162.92	c 1162s |      17 |  4706103 |   251332 |    57844      8 |      773 |      664
1165.43/1165.72	c 1165s |      17 |  4707064 |   251632 |    57844      8 |      773 |      664
1167.62/1167.98	c 1167s |      17 |  4707621 |   251832 |    57844      8 |      773 |      664
1170.23/1170.51	c 1169s |      17 |  4708479 |   252032 |    57844      8 |      773 |      664
1173.21/1173.52	c 1172s |      17 |  4709491 |   252332 |    57844      8 |      773 |      664
1175.52/1175.88	c 1175s |      17 |  4709809 |   252432 |    57844      8 |      773 |      664
1179.03/1179.35	c 1178s |      17 |  4710242 |   252632 |    57844      8 |      773 |      664
1181.62/1181.92	c 1181s |      17 |  4710568 |   252732 |    57844      8 |      773 |      664
1184.42/1184.76	c 1184s |      17 |  4710744 |   252832 |    57844      8 |      773 |      664
1186.91/1187.26	c 1186s |      17 |  4718699 |   253232 |    57844      8 |      773 |      664
1189.11/1189.44	c 1188s |      17 |  4731319 |   253832 |    57844      8 |      773 |      664
1191.21/1191.55	c 1190s |      17 |  4743833 |   254332 |    57844      8 |      773 |      664
1193.41/1193.79	c 1193s |      17 |  4758601 |   254832 |    57844      8 |      773 |      664
1195.71/1196.02	c 1195s |      17 |  4763803 |   255332 |    57844      8 |      773 |      664
1198.01/1198.30	c 1197s |      17 |  4770463 |   255932 |    57844      8 |      773 |      664
1200.11/1200.42	c 1199s |      17 |  4778226 |   256432 |    57844      8 |      773 |      664
1202.21/1202.59	c 1201s |      17 |  4781747 |   256932 |    57844      8 |      773 |      664
1204.60/1204.97	c 1204s |      17 |  4782562 |   257332 |    57844      8 |      773 |      664
1207.51/1207.86	c 1207s |      17 |  4785032 |   257732 |    57844      8 |      773 |      664
1209.81/1210.11	c 1209s |      17 |  4788690 |   258132 |    57844      8 |      773 |      664
1211.91/1212.29	c 1211s |      17 |  4799542 |   258632 |    57844      8 |      773 |      664
1214.20/1214.55	c 1213s |      17 |  4805968 |   259132 |    57844      8 |      773 |      664
1216.49/1216.85	c 1216s |      17 |  4815977 |   259632 |    57844      8 |      773 |      664
1218.69/1219.07	c 1218s |      17 |  4824376 |   260132 |    57844      8 |      773 |      664
1220.89/1221.21	c 1220s |      17 |  4830284 |   260532 |    57844      8 |      773 |      664
1223.00/1223.36	c 1222s |      17 |  4835435 |   260932 |    57844      8 |      773 |      664
1225.09/1225.46	c 1224s |      17 |  4843162 |   261432 |    57844      8 |      773 |      664
1227.19/1227.58	c 1226s |      17 |  4849347 |   261932 |    57844      8 |      773 |      664
1229.29/1229.61	c 1228s |      17 |  4857759 |   262432 |    57844      8 |      773 |      664
1231.29/1231.69	c 1231s |      17 |  4867108 |   262932 |    57844      8 |      773 |      664
1233.48/1233.87	c 1233s |      17 |  4875082 |   263432 |    57844      8 |      773 |      664
1235.98/1236.30	c 1235s |      17 |  4882489 |   263932 |    57844      8 |      773 |      664
1238.18/1238.57	c 1237s |      17 |  4888590 |   264332 |    57844      8 |      773 |      664
1240.28/1240.66	c 1240s |      17 |  4895891 |   264832 |    57844      8 |      773 |      664
1242.28/1242.70	c 1242s |      17 |  4905557 |   265332 |    57844      8 |      773 |      664
1244.77/1245.10	c 1244s |      17 |  4917871 |   265932 |    57844      8 |      773 |      664
1246.97/1247.33	c 1246s |      17 |  4927376 |   266432 |    57844      8 |      773 |      664
1248.97/1249.36	c 1248s |      17 |  4936375 |   267032 |    57844      8 |      773 |      664
1253.67/1254.09	c 1253s |      17 |  4947425 |   267432 |    57844      9 |      775 |      666
1255.76/1256.10	c 1255s |      17 |  4961771 |   268032 |    57844      9 |      775 |      666
1257.96/1258.33	c 1257s |      17 |  4966270 |   268832 |    57844      9 |      775 |      666
1260.16/1260.56	c 1259s |      17 |  4972940 |   269432 |    57844      9 |      775 |      666
1262.26/1262.67	c 1262s |      17 |  4978255 |   270032 |    57844      9 |      775 |      666
1264.36/1264.70	c 1264s |      17 |  4990451 |   270532 |    57844      9 |      775 |      666
1266.66/1267.03	c 1266s |      17 |  5009597 |   271132 |    57844      9 |      775 |      666
1268.66/1269.06	c 1268s |      17 |  5020312 |   271732 |    57844      9 |      775 |      666
1270.96/1271.31	c 1270s |      17 |  5036852 |   272432 |    57844      9 |      775 |      666
1273.25/1273.65	c 1273s |      17 |  5049044 |   273132 |    57844      9 |      775 |      666
1275.45/1275.82	c 1275s |      17 |  5060925 |   273832 |    57844      9 |      775 |      666
1277.55/1277.90	c 1277s |      17 |  5079240 |   274532 |    57844      9 |      775 |      666
1279.75/1280.16	c 1279s |      17 |  5099225 |   275232 |    57844      9 |      775 |      666
1282.05/1282.46	c 1281s |      17 |  5108956 |   275932 |    57844      9 |      775 |      666
1284.55/1284.94	c 1284s |      17 |  5111849 |   276432 |    57844      9 |      775 |      666
1286.75/1287.17	c 1286s |      17 |  5125022 |   277032 |    57844      9 |      775 |      666
1289.04/1289.44	c 1288s |      17 |  5137304 |   277632 |    57844      9 |      775 |      666
1291.24/1291.64	c 1291s |      17 |  5150851 |   278232 |    57844      9 |      775 |      666
1293.34/1293.73	c 1293s |      17 |  5163562 |   278832 |    57844      9 |      775 |      666
1295.44/1295.90	c 1295s |      17 |  5179629 |   279432 |    57844      9 |      775 |      666
1297.54/1297.92	c 1297s |      17 |  5188924 |   280032 |    57844      9 |      775 |      666
1299.84/1300.21	c 1299s |      17 |  5196518 |   280732 |    57844      9 |      775 |      666
1302.04/1302.49	c 1301s |      17 |  5208761 |   281532 |    57844      9 |      775 |      666
1304.34/1304.78	c 1304s |      17 |  5214015 |   282232 |    57844      9 |      775 |      666
1306.54/1306.91	c 1306s |      17 |  5216326 |   282732 |    57844      9 |      775 |      666
1308.65/1309.01	c 1308s |      17 |  5219628 |   283232 |    57844      9 |      775 |      666
1310.64/1311.07	c 1310s |      17 |  5228905 |   283832 |    57844      9 |      775 |      666
1312.64/1313.08	c 1312s |      17 |  5237099 |   284332 |    57844      9 |      775 |      666
1315.13/1315.53	c 1314s |      17 |  5243093 |   284732 |    57844      9 |      775 |      666
1317.54/1317.97	c 1317s |      17 |  5246634 |   285132 |    57844      9 |      775 |      666
1319.83/1320.25	c 1319s |      17 |  5255140 |   285732 |    57844      9 |      775 |      666
1321.84/1322.27	c 1321s |      17 |  5257852 |   286232 |    57844      9 |      775 |      666
1323.93/1324.35	c 1323s |      17 |  5262170 |   286732 |    57844      9 |      775 |      666
1326.13/1326.52	c 1325s |      17 |  5271619 |   287532 |    57844      9 |      775 |      666
1328.12/1328.58	c 1327s |      17 |  5284217 |   288132 |    57844      9 |      775 |      666
1330.73/1331.12	c 1330s |      17 |  5301622 |   288832 |    57844      9 |      775 |      666
1332.83/1333.20	c 1332s |      17 |  5306874 |   289532 |    57844      9 |      775 |      666
1335.02/1335.41	c 1334s |      17 |  5311842 |   290132 |    57844      9 |      775 |      666
1337.12/1337.50	c 1336s |      17 |  5315174 |   290732 |    57844      9 |      775 |      666
1339.32/1339.80	c 1339s |      17 |  5320779 |   291132 |    57844      9 |      775 |      666
1341.52/1341.98	c 1341s |      17 |  5329438 |   291632 |    57844      9 |      775 |      666
1343.61/1344.04	c 1343s |      17 |  5334276 |   292232 |    57844      9 |      775 |      666
1346.02/1346.41	c 1345s |      17 |  5350028 |   293032 |    57844      9 |      775 |      666
1348.11/1348.51	c 1347s |      17 |  5360943 |   293532 |    57844      9 |      775 |      666
1350.11/1350.54	c 1349s |      17 |  5370917 |   294132 |    57844      9 |      775 |      666
1352.11/1352.58	c 1351s |      17 |  5382985 |   294632 |    63629      9 |      775 |      666
1354.10/1354.59	c 1353s |      17 |  5394723 |   295232 |    63629      9 |      775 |      666
1356.60/1357.06	c 1356s |      17 |  5409160 |   295932 |    63629      9 |      775 |      666
1358.11/1358.54	c 1357s |      18 |  5420260 |   296252 |    63629      9 |      775 |      666
1360.31/1360.72	c 1360s |      18 |  5429716 |   296652 |    63629      9 |      775 |      666
1362.40/1362.84	c 1362s |      18 |  5443810 |   297252 |    63629      9 |      775 |      666
1364.80/1365.24	c 1364s |      18 |  5450002 |   297952 |    63629      9 |      775 |      666
1367.00/1367.49	c 1366s |      18 |  5456975 |   298552 |    63629      9 |      775 |      666
1369.10/1369.56	c 1368s |      18 |  5467865 |   299052 |    63629      9 |      775 |      666
1371.40/1371.82	c 1371s |      18 |  5480691 |   299552 |    63629      9 |      775 |      666
1373.69/1374.19	c 1373s |      18 |  5486790 |   300152 |    63629      9 |      775 |      666
1375.80/1376.23	c 1375s |      18 |  5490497 |   300752 |    63629      9 |      775 |      666
1378.09/1378.59	c 1377s |      18 |  5509702 |   301252 |    63629      9 |      775 |      666
1380.49/1380.93	c 1380s |      18 |  5529880 |   301852 |    63629      9 |      775 |      666
1382.69/1383.16	c 1382s |      18 |  5539468 |   302352 |    63629      9 |      775 |      666
1384.78/1385.27	c 1384s |      18 |  5545125 |   302852 |    63629      9 |      775 |      666
1386.88/1387.39	c 1386s |      18 |  5556890 |   303452 |    63629      9 |      775 |      666
1390.09/1390.54	c 1389s |      18 |  5566914 |   303752 |    63629     10 |      775 |      666
1392.09/1392.58	c 1391s |      18 |  5581996 |   304252 |    63629     10 |      775 |      666
1394.39/1394.87	c 1394s |      18 |  5595664 |   304952 |    63629     10 |      775 |      666
1396.69/1397.11	c 1396s |      18 |  5608356 |   305552 |    63629     10 |      775 |      666
1398.89/1399.31	c 1398s |      18 |  5618722 |   306252 |    63629     10 |      775 |      666
1400.88/1401.34	c 1400s |      18 |  5629963 |   306952 |    63629     10 |      775 |      666
1403.19/1403.62	c 1402s |      18 |  5651836 |   307652 |    63629     10 |      776 |      667
1405.18/1405.66	c 1405s |      18 |  5664275 |   308352 |    63629     10 |      776 |      667
1407.48/1407.95	c 1407s |      18 |  5682270 |   309052 |    63629     10 |      776 |      667
1409.58/1410.04	c 1409s |      18 |  5701009 |   309652 |    63629     10 |      776 |      667
1411.68/1412.14	c 1411s |      18 |  5711873 |   310352 |    63629     10 |      776 |      667
1413.98/1414.44	c 1413s |      18 |  5729495 |   311052 |    63629     10 |      776 |      667
1416.39/1416.80	c 1416s |      18 |  5748939 |   311752 |    63629     10 |      776 |      667
1418.48/1418.93	c 1418s |      18 |  5765023 |   312352 |    63629     10 |      776 |      667
1420.48/1420.97	c 1420s |      18 |  5777304 |   312952 |    63629     10 |      776 |      667
1422.58/1423.07	c 1422s |      18 |  5791910 |   313552 |    63629     10 |      777 |      668
1424.98/1425.43	c 1424s |      18 |  5797419 |   314152 |    63629     10 |      777 |      668
1427.48/1427.96	c 1427s |      18 |  5798881 |   314652 |    63629     10 |      777 |      668
1429.77/1430.26	c 1429s |      18 |  5809753 |   315252 |    63629     10 |      777 |      668
1431.88/1432.31	c 1431s |      18 |  5826596 |   315752 |    63629     10 |      777 |      668
1433.98/1434.48	c 1433s |      18 |  5840854 |   316452 |    63629     10 |      777 |      668
1436.18/1436.67	c 1436s |      18 |  5852858 |   317152 |    63629     10 |      777 |      668
1438.57/1439.09	c 1438s |      18 |  5874919 |   317752 |    63629     10 |      777 |      668
1441.07/1441.52	c 1440s |      18 |  5885286 |   318452 |    63629     10 |      777 |      668
1443.17/1443.67	c 1443s |      18 |  5903216 |   319152 |    63629     10 |      777 |      668
1445.77/1446.24	c 1445s |      18 |  5906545 |   319752 |    63629     10 |      777 |      668
1448.67/1449.11	c 1448s |      18 |  5908870 |   320252 |    63629     10 |      777 |      668
1451.27/1451.77	c 1451s |      18 |  5910392 |   320652 |    63629     10 |      777 |      668
1453.67/1454.15	c 1453s |      18 |  5911839 |   320952 |    63629     10 |      777 |      668
1456.16/1456.60	c 1455s |      18 |  5928067 |   321552 |    63629     10 |      777 |      668
1458.17/1458.68	c 1458s |      18 |  5937786 |   322052 |    63629     10 |      777 |      668
1460.38/1460.87	c 1460s |      18 |  5952230 |   322552 |    63629     10 |      777 |      668
1462.47/1462.93	c 1462s |      18 |  5958023 |   322852 |    63629     10 |      777 |      668
1464.47/1464.97	c 1464s |      18 |  5968854 |   323452 |    63629     10 |      777 |      668
1466.57/1467.03	c 1466s |      18 |  5979847 |   324052 |    63629     10 |      777 |      668
1468.67/1469.18	c 1468s |      18 |  5987984 |   324652 |    63629     10 |      777 |      668
1470.97/1471.44	c 1470s |      18 |  5989737 |   325052 |    63629     10 |      777 |      668
1473.16/1473.65	c 1473s |      18 |  5991499 |   325452 |    63629     10 |      777 |      668
1475.36/1475.82	c 1475s |      18 |  5998039 |   325852 |    63629     10 |      777 |      668
1477.66/1478.19	c 1477s |      18 |  6017134 |   326452 |    63629     10 |      777 |      668
1479.87/1480.35	c 1479s |      18 |  6027596 |   326852 |    63629     10 |      777 |      668
1482.27/1482.70	c 1482s |      18 |  6038471 |   327452 |    63629     10 |      777 |      668
1484.26/1484.71	c 1484s |      18 |  6041405 |   327852 |    63629     10 |      777 |      668
1486.46/1486.92	c 1486s |      18 |  6053833 |   328352 |    63629     10 |      777 |      668
1488.56/1489.03	c 1488s |      18 |  6069423 |   328952 |    63629     10 |      777 |      668
1490.76/1491.28	c 1490s |      18 |  6078164 |   329452 |    63629     10 |      777 |      668
1493.06/1493.59	c 1492s |      18 |  6080450 |   329952 |    63629     10 |      777 |      668
1495.17/1495.60	c 1494s |      18 |  6082841 |   330252 |    63629     10 |      777 |      668
1497.37/1497.84	c 1497s |      18 |  6092024 |   330752 |    63629     10 |      777 |      668
1499.77/1500.29	c 1499s |      18 |  6098042 |   331152 |    63629     10 |      777 |      668
1502.37/1502.84	c 1502s |      18 |  6108956 |   331652 |    63629     10 |      777 |      668
1504.56/1505.04	c 1504s |      18 |  6111910 |   332152 |    63629     10 |      777 |      668
1506.76/1507.22	c 1506s |      18 |  6112702 |   332452 |    63629     10 |      777 |      668
1509.26/1509.74	c 1509s |      18 |  6113653 |   332752 |    63629     10 |      777 |      668
1511.46/1511.97	c 1511s |      18 |  6124252 |   333252 |    63629     10 |      777 |      668
1513.96/1514.48	c 1513s |      18 |  6135056 |   333952 |    63629     10 |      777 |      668
1516.36/1516.87	c 1516s |      18 |  6152389 |   334452 |    63629     10 |      777 |      668
1518.67/1519.14	c 1518s |      18 |  6165678 |   334952 |    63629     10 |      777 |      668
1521.06/1521.51	c 1520s |      18 |  6179008 |   335452 |    63629     10 |      777 |      668
1523.46/1523.96	c 1523s |      18 |  6193666 |   335952 |    63629     10 |      777 |      668
1525.76/1526.23	c 1525s |      18 |  6205735 |   336452 |    63629     10 |      777 |      668
1527.76/1528.25	c 1527s |      18 |  6211046 |   336952 |    63629     10 |      777 |      668
1530.06/1530.59	c 1529s |      18 |  6218529 |   337252 |    63629     11 |      777 |      668
1532.36/1532.81	c 1532s |      18 |  6239937 |   337852 |    63629     11 |      777 |      668
1534.46/1534.96	c 1534s |      18 |  6256837 |   338552 |    63629     11 |      777 |      668
1536.46/1536.99	c 1536s |      18 |  6270855 |   339252 |    63629     11 |      777 |      668
1538.66/1539.15	c 1538s |      18 |  6274610 |   339852 |    63629     11 |      777 |      668
1540.76/1541.23	c 1540s |      18 |  6279687 |   340452 |    63629     11 |      777 |      668
1542.86/1543.31	c 1542s |      18 |  6291405 |   341152 |    63629     11 |      777 |      668
1545.46/1545.98	c 1545s |      18 |  6302748 |   341852 |    63629     11 |      777 |      668
1547.66/1548.16	c 1547s |      18 |  6315038 |   342452 |    63629     11 |      777 |      668
1549.96/1550.47	c 1549s |      18 |  6324150 |   343252 |    63629     11 |      777 |      668
1552.16/1552.69	c 1552s |      18 |  6339024 |   343852 |    63629     11 |      777 |      668
1554.26/1554.75	c 1554s |      18 |  6353807 |   344452 |    63629     11 |      777 |      668
1556.46/1556.91	c 1556s |      18 |  6366901 |   345052 |    63629     11 |      777 |      668
1558.45/1558.93	c 1558s |      18 |  6372470 |   345752 |    63629     11 |      777 |      668
1561.15/1561.65	c 1561s |      18 |  6373318 |   346052 |    63629     11 |      777 |      668
1563.15/1563.65	c 1563s |      18 |  6382402 |   346552 |    63629     11 |      777 |      668
1565.35/1565.80	c 1565s |      18 |  6389773 |   347152 |    63629     11 |      777 |      668
1567.35/1567.85	c 1567s |      18 |  6398319 |   347652 |    63629     11 |      777 |      668
1569.55/1570.09	c 1569s |      18 |  6407938 |   348252 |    63629     11 |      777 |      668
1571.65/1572.10	c 1571s |      18 |  6417405 |   349052 |    63629     11 |      777 |      668
1574.05/1574.56	c 1573s |      18 |  6420053 |   349552 |    63629     11 |      777 |      668
1576.25/1576.74	c 1576s |      18 |  6423947 |   349952 |    63629     11 |      777 |      668
1578.55/1579.05	c 1578s |      18 |  6437600 |   350552 |    63629     11 |      777 |      668
1580.85/1581.40	c 1580s |      18 |  6449385 |   351252 |    63629     11 |      777 |      668
1583.05/1583.59	c 1582s |      18 |  6462553 |   351752 |    63629     11 |      777 |      668
1585.35/1585.86	c 1585s |      18 |  6472472 |   352352 |    63629     11 |      777 |      668
1587.75/1588.22	c 1587s |      18 |  6480059 |   353052 |    63629     11 |      777 |      668
1589.85/1590.38	c 1589s |      18 |  6483542 |   353652 |    63629     11 |      777 |      668
1592.55/1593.01	c 1592s |      18 |  6486140 |   354152 |    63629     11 |      777 |      668
1594.95/1595.41	c 1594s |      18 |  6488045 |   354552 |    63629     11 |      777 |      668
1597.35/1597.86	c 1597s |      18 |  6490492 |   355052 |    63629     11 |      777 |      668
1599.45/1599.98	c 1599s |      18 |  6492261 |   355352 |    63629     11 |      777 |      668
1601.75/1602.25	c 1601s |      18 |  6503471 |   356052 |    63629     11 |      777 |      668
1603.85/1604.39	c 1603s |      18 |  6517786 |   356652 |    63629     11 |      777 |      668
1606.05/1606.58	c 1605s |      18 |  6525272 |   357152 |    63629     11 |      777 |      668
1608.25/1608.77	c 1608s |      18 |  6533043 |   357652 |    63629     11 |      777 |      668
1610.35/1610.86	c 1610s |      18 |  6547678 |   358152 |    63629     11 |      777 |      668
1613.15/1613.68	c 1613s |      18 |  6549400 |   358552 |    63629     11 |      777 |      668
1615.25/1615.72	c 1615s |      18 |  6553852 |   358852 |    63629     11 |      777 |      668
1617.25/1617.79	c 1617s |      18 |  6558545 |   359352 |    63629     11 |      777 |      668
1619.64/1620.12	c 1619s |      18 |  6559578 |   359652 |    63629     11 |      777 |      668
1622.15/1622.70	c 1622s |      18 |  6561207 |   360052 |    63629     11 |      777 |      668
1624.35/1624.85	c 1624s |      18 |  6566516 |   360552 |    63629     11 |      777 |      668
1626.74/1627.27	c 1626s |      18 |  6572062 |   361052 |    63629     11 |      777 |      668
1629.24/1629.75	c 1629s |      18 |  6574406 |   361552 |    63629     11 |      777 |      668
1632.05/1632.51	c 1631s |      18 |  6574970 |   361752 |    63629     11 |      777 |      668
1634.15/1634.69	c 1634s |      18 |  6575163 |   361852 |    63629     11 |      777 |      668
1636.24/1636.76	c 1636s |      18 |  6575725 |   362052 |    63629     11 |      777 |      668
1638.55/1639.03	c 1638s |      18 |  6578727 |   362452 |    63629     11 |      777 |      668
1641.25/1641.77	c 1641s |      18 |  6580952 |   362752 |    63629     11 |      777 |      668
1644.65/1645.13	c 1644s |      18 |  6582418 |   363052 |    63629     11 |      777 |      668
1646.84/1647.30	c 1646s |      18 |  6586157 |   363552 |    63629     11 |      777 |      668
1649.34/1649.84	c 1649s |      18 |  6589042 |   364052 |    63629     11 |      777 |      668
1651.54/1652.05	c 1651s |      18 |  6591571 |   364452 |    63629     11 |      777 |      668
1653.94/1654.44	c 1653s |      18 |  6597732 |   364852 |    63629     11 |      777 |      668
1655.94/1656.47	c 1655s |      18 |  6605336 |   365352 |    63629     11 |      777 |      668
1658.14/1658.68	c 1658s |      18 |  6613242 |   365852 |    63629     11 |      777 |      668
1661.03/1661.54	c 1660s |      18 |  6614258 |   366152 |    63629     11 |      777 |      668
1663.13/1663.67	c 1663s |      18 |  6622165 |   366552 |    63629     11 |      777 |      668
1665.63/1666.13	c 1665s |      18 |  6629943 |   367052 |    63629     11 |      777 |      668
1667.73/1668.20	c 1667s |      18 |  6632506 |   367452 |    63629     11 |      777 |      668
1669.93/1670.43	c 1669s |      18 |  6640890 |   367952 |    63629     11 |      777 |      668
1672.33/1672.84	c 1672s |      18 |  6650776 |   368552 |    63629     11 |      777 |      668
1674.53/1675.04	c 1674s |      18 |  6660224 |   369052 |    63629     11 |      777 |      668
1676.53/1677.07	c 1676s |      18 |  6664262 |   369552 |    63629     11 |      777 |      668
1678.73/1679.28	c 1678s |      18 |  6672447 |   370152 |    63629     11 |      777 |      668
1680.83/1681.32	c 1680s |      18 |  6678526 |   370752 |    63629     11 |      777 |      668
1683.13/1683.63	c 1682s |      18 |  6681056 |   371052 |    63629     12 |      777 |      668
1685.53/1686.07	c 1685s |      18 |  6686213 |   371652 |    63629     12 |      777 |      668
1687.74/1688.29	c 1687s |      18 |  6686964 |   371952 |    63629     12 |      777 |      668
1690.44/1690.97	c 1690s |      18 |  6687613 |   372252 |    63629     12 |      777 |      668
1692.93/1693.47	c 1692s |      18 |  6688277 |   372552 |    63629     12 |      777 |      668
1695.43/1695.93	c 1695s |      18 |  6689221 |   372852 |    63629     12 |      777 |      668
1697.53/1698.05	c 1697s |      18 |  6700776 |   373252 |    63629     12 |      777 |      668
1699.63/1700.13	c 1699s |      18 |  6715278 |   373852 |    63629     12 |      777 |      668
1701.73/1702.21	c 1701s |      18 |  6725937 |   374552 |    63629     12 |      777 |      668
1703.93/1704.41	c 1703s |      18 |  6739077 |   375152 |    63629     12 |      777 |      668
1706.03/1706.52	c 1705s |      18 |  6743097 |   375652 |    63629     12 |      777 |      668
1708.43/1708.99	c 1708s |      18 |  6751862 |   376252 |    63629     12 |      777 |      668
1710.53/1711.03	c 1710s |      18 |  6758190 |   376752 |    63629     12 |      777 |      668
1712.83/1713.36	c 1712s |      18 |  6770642 |   377352 |    63629     12 |      777 |      668
1715.03/1715.53	c 1714s |      18 |  6786815 |   377952 |    63629     12 |      777 |      668
1717.13/1717.61	c 1716s |      18 |  6798959 |   378652 |    63629     12 |      777 |      668
1719.43/1719.98	c 1719s |      18 |  6817218 |   379352 |    63629     12 |      777 |      668
1721.93/1722.43	c 1721s |      18 |  6824015 |   380052 |    63629     12 |      777 |      668
1723.93/1724.43	c 1723s |      18 |  6828255 |   380352 |    63629     12 |      777 |      668
1726.23/1726.76	c 1726s |      18 |  6843989 |   381152 |    63629     12 |      777 |      668
1728.43/1728.97	c 1728s |      18 |  6860202 |   381952 |    63629     12 |      777 |      668
1730.53/1731.00	c 1730s |      18 |  6871541 |   382452 |    63629     12 |      777 |      668
1732.52/1733.04	c 1732s |      18 |  6891669 |   383052 |    63629     12 |      777 |      668
1735.02/1735.58	c 1734s |      18 |  6901247 |   383752 |    63629     12 |      777 |      668
1737.92/1738.46	c 1737s |      18 |  6906726 |   384252 |    63629     12 |      777 |      668
1740.12/1740.61	c 1739s |      18 |  6915452 |   384852 |    63629     12 |      777 |      668
1742.63/1743.19	c 1742s |      18 |  6917952 |   385252 |    63629     12 |      777 |      668
1745.03/1745.50	c 1744s |      18 |  6921108 |   385752 |    63629     12 |      777 |      668
1747.33/1747.86	c 1747s |      18 |  6932705 |   386252 |    63629     12 |      777 |      668
1749.64/1750.18	c 1749s |      18 |  6941136 |   386852 |    63629     12 |      777 |      668
1752.03/1752.54	c 1751s |      18 |  6942642 |   387152 |    63629     12 |      777 |      668
1754.14/1754.62	c 1753s |      18 |  6944674 |   387552 |    63629     12 |      777 |      668
1756.34/1756.82	c 1756s |      18 |  6947898 |   387952 |    63629     12 |      777 |      668
1758.53/1759.05	c 1758s |      18 |  6957740 |   388652 |    63629     12 |      777 |      668
1760.63/1761.13	c 1760s |      18 |  6959474 |   389052 |    63629     12 |      777 |      668
1763.73/1764.23	c 1763s |      18 |  6960595 |   389352 |    63629     12 |      777 |      668
1765.93/1766.48	c 1765s |      18 |  6965170 |   389752 |    63629     12 |      777 |      668
1768.13/1768.64	c 1767s |      18 |  6966931 |   390152 |    63629     12 |      777 |      668
1770.92/1771.40	c 1770s |      18 |  6967675 |   390452 |    63629     12 |      777 |      668
1773.02/1773.56	c 1772s |      18 |  6972781 |   390852 |    63629     12 |      777 |      668
1775.12/1775.61	c 1774s |      18 |  6978767 |   391452 |    63629     12 |      777 |      668
1777.23/1777.76	c 1777s |      18 |  6982883 |   392052 |    63629     12 |      777 |      668
1779.43/1779.92	c 1779s |      18 |  6986785 |   392552 |    63629     12 |      777 |      668
1781.42/1781.98	c 1781s |      18 |  6987976 |   392952 |    63629     12 |      777 |      668
1783.62/1784.16	c 1783s |      18 |  6989421 |   393352 |    63629     12 |      777 |      668
1785.72/1786.29	c 1785s |      18 |  6994641 |   393952 |    63629     12 |      777 |      668
1787.82/1788.34	c 1787s |      18 |  7005712 |   394552 |    63629     12 |      777 |      668
1790.12/1790.63	c 1789s |      18 |  7013078 |   395152 |    63629     12 |      777 |      668
1792.32/1792.83	c 1792s |      18 |  7021084 |   395552 |    63629     12 |      777 |      668
1794.52/1795.02	c 1794s |      18 |  7027400 |   395952 |    63629     12 |      777 |      668
1796.92/1797.47	c 1796s |      18 |  7030266 |   396352 |    63629     12 |      777 |      668
1799.01/1799.51	c 1798s |      18 |  7038732 |   396952 |    63629     12 |      777 |      668

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 16981
/proc/meminfo: memFree=30590192/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=651708 CPUtime=0 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 2416 0 0 0 0 0 0 0 20 0 4 0 110610729 667348992 2777 33554432000 4194304 16246674 140735495625920 140735495625344 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16981/statm: 163439 2788 441 2943 0 160333 0
[pid=16981/tid=16982] ppid=16978 vsize=669116 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 685174784 2847 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=673212 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 689369088 2864 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=677308 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110610730 693563392 2880 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100129 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 16981
/proc/meminfo: memFree=30590192/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 26220 0 0 0 5 4 0 0 20 0 4 0 110610729 1333334016 26520 33554432000 4194304 16246674 140735495625920 140735495625232 7368729 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16981/statm: 325521 26534 801 2943 0 322415 0
[pid=16981/tid=16982] ppid=16978 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1333334016 26546 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1333334016 26557 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1333334016 26567 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200472 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 16981
/proc/meminfo: memFree=30590192/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 47301 0 0 0 12 7 0 0 20 0 4 0 110610729 1344868352 48111 33554432000 4194304 16246674 140735495625920 140735495625232 7379188 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16981/statm: 328337 48111 801 2943 0 325231 0
[pid=16981/tid=16982] ppid=16978 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1344868352 48111 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1344868352 48111 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1344868352 48111 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300473 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 16981
/proc/meminfo: memFree=30590192/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 50690 0 0 0 21 8 0 0 20 0 4 0 110610729 1344868352 51500 33554432000 4194304 16246674 140735495625920 140735495625232 6940696 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16981/statm: 328337 51500 832 2943 0 325231 0
[pid=16981/tid=16982] ppid=16978 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1344868352 51500 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1344868352 51500 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1344868352 51500 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700365 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 16981
/proc/meminfo: memFree=30590192/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 115081 0 0 0 52 17 0 0 20 0 4 0 110610729 1344868352 115891 33554432000 4194304 16246674 140735495625920 140735495607808 5669490 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16981/statm: 328337 115898 866 2943 0 325231 0
[pid=16981/tid=16982] ppid=16978 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1344868352 115903 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1344868352 115907 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1344868352 115912 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50036 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 16985
/proc/meminfo: memFree=29877636/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 212980 0 0 0 119 30 0 0 20 0 4 0 110610729 1345916928 213790 33554432000 4194304 16246674 140735495625920 140735495607808 13963975 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16981/statm: 328593 213790 884 2943 0 325487 0
[pid=16981/tid=16982] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 213790 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 213790 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1345916928 213790 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10036 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 16985
/proc/meminfo: memFree=29736152/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 213150 0 0 0 279 30 0 0 20 0 4 0 110610729 1345916928 213960 33554432000 4194304 16246674 140735495625920 140735495623744 5722816 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16981/statm: 328593 213960 884 2943 0 325487 0
[pid=16981/tid=16982] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 213960 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 213960 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1345916928 213960 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30036 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 16985
/proc/meminfo: memFree=29510736/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1314372 CPUtime=6.29 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 269264 0 0 0 592 37 0 0 20 0 4 0 110610729 1345916928 270074 33554432000 4194304 16246674 140735495625920 140735495607808 6012004 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16981/statm: 328593 270074 884 2943 0 325487 0
[pid=16981/tid=16982] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 270074 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 270074 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1345916928 270074 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 16985
/proc/meminfo: memFree=29510744/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1314372 CPUtime=12.68 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 269264 0 0 0 1231 37 0 0 20 0 4 0 110610729 1345916928 270074 33554432000 4194304 16246674 140735495625920 140735495607808 5672188 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16981/statm: 328593 270074 884 2943 0 325487 0
[pid=16981/tid=16982] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 270074 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 270074 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1345916928 270074 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1314372

[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 16985
/proc/meminfo: memFree=29511200/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1314372 CPUtime=25.49 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 269264 0 0 0 2511 38 0 0 20 0 4 0 110610729 1345916928 270074 33554432000 4194304 16246674 140735495625920 140735495607808 5823709 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16981/statm: 328593 270074 884 2943 0 325487 0
[pid=16981/tid=16982] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 270074 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 270074 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1345916928 270074 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 16985
/proc/meminfo: memFree=29511080/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 269265 0 0 0 5070 38 0 0 20 0 4 0 110610729 1345916928 270075 33554432000 4194304 16246674 140735495625920 140735495607808 5545885 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16981/statm: 328593 270075 885 2943 0 325487 0
[pid=16981/tid=16982] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 270075 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 270075 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1345916928 270075 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 16986
/proc/meminfo: memFree=29510472/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 269265 0 0 0 10190 38 0 0 20 0 4 0 110610729 1345916928 270075 33554432000 4194304 16246674 140735495625920 140735495607808 5829044 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16981/statm: 328593 270075 885 2943 0 325487 0
[pid=16981/tid=16982] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 270075 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1345916928 270075 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1345916928 270075 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 1.03 1.20 1.57 2/173 17048
/proc/meminfo: memFree=30611060/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1320516 CPUtime=1361.9 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 271024 0 0 0 136124 66 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140735495607808 5661436 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16981/statm: 330129 271535 886 2943 0 327023 0
[pid=16981/tid=16982] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 1.09 1.18 1.53 2/173 17049
/proc/meminfo: memFree=30611056/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1320516 CPUtime=1421.88 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 271054 0 0 0 142121 67 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140735495607808 5531848 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16981/statm: 330129 271535 886 2943 0 327023 0
[pid=16981/tid=16982] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 1.07 1.16 1.50 2/174 17054
/proc/meminfo: memFree=30611332/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1320516 CPUtime=1481.87 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 271054 0 0 0 148117 70 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140735495607808 12483303 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16981/statm: 330129 271535 886 2943 0 327023 0
[pid=16981/tid=16982] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 1.09 1.16 1.48 2/173 17055
/proc/meminfo: memFree=30611216/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1320516 CPUtime=1541.86 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 271054 0 0 0 154115 71 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140735495607808 5661428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16981/statm: 330129 271535 886 2943 0 327023 0
[pid=16981/tid=16982] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 1.14 1.15 1.46 2/173 17056
/proc/meminfo: memFree=30611224/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1320516 CPUtime=1601.85 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 271054 0 0 0 160113 72 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140735495607808 6021165 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16981/statm: 330129 271535 886 2943 0 327023 0
[pid=16981/tid=16982] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 1.10 1.14 1.43 2/173 17057
/proc/meminfo: memFree=30611228/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1320516 CPUtime=1661.83 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 271054 0 0 0 166110 73 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140735495607808 5722972 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16981/statm: 330129 271535 886 2943 0 327023 0
[pid=16981/tid=16982] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 1.11 1.13 1.41 2/173 17058
/proc/meminfo: memFree=30611104/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1320516 CPUtime=1721.83 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 271054 0 0 0 172109 74 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140735495608920 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16981/statm: 330129 271535 886 2943 0 327023 0
[pid=16981/tid=16982] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 1.10 1.12 1.38 2/173 17060
/proc/meminfo: memFree=30611236/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1320516 CPUtime=1781.82 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 271054 0 0 0 178107 75 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140735495607808 5721410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16981/statm: 330129 271535 886 2943 0 327023 0
[pid=16981/tid=16982] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.15 1.12 1.38 2/173 17061
/proc/meminfo: memFree=30610988/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1320516 CPUtime=1800.01 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 271054 0 0 0 179926 75 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140735495607808 12483664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16981/statm: 330129 271535 886 2943 0 327023 0
[pid=16981/tid=16982] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1320516

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

[startup+1800.5 s]
/proc/loadavg: 1.15 1.12 1.38 2/173 17061
/proc/meminfo: memFree=30610988/32872528 swapFree=11196/354588
[pid=16981] ppid=16978 vsize=1320516 CPUtime=1800.01 cores=0,2,4,6
/proc/16981/stat : 16981 (toysat) R 16978 16981 12837 0 -1 4202496 271054 0 0 0 179926 75 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140735495607808 12483664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16981/statm: 330129 271535 886 2943 0 327023 0
[pid=16981/tid=16982] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16982/stat : 16982 (toysat) S 16978 16981 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720446876912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16981/tid=16983] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16983/stat : 16983 (toysat) S 16978 16981 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110610729 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720436387056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16981/tid=16984] ppid=16978 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16981/task/16984/stat : 16984 (toysat) S 16978 16981 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110610730 1352208384 271535 33554432000 4194304 16246674 140735495625920 140720425913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1320516

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.27
CPU system time (s): 0.757884
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 0.757884
maximum resident set size= 1086140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271054
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= 347
involuntary context switches= 1991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.59315 second user time and 7.9198 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 10:06:13
IDJOB=4078902
IDBENCH=90199
IDSOLVER=2542
FILE ID=node126/4078902-1465286773
RUNJOBID= node126-1465253620-12853
PBS_JOBID= 19843265
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K143.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078902-1465286773/watcher-4078902-1465286773 -o /tmp/evaluation-result-4078902-1465286773/solver-4078902-1465286773 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078902-1465286773.opb

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

MD5SUM BENCH= 8f58618b79e9d2a9b56b6a791eca5768
RANDOM SEED=1465641886

node126.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.500
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
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.500
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.500
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.500
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.500
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.500
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.56
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.500
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.500
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:        30590828 kB
Buffers:           23616 kB
Cached:            83132 kB
SwapCached:         2100 kB
Active:          1152316 kB
Inactive:          47256 kB
Active(anon):    1090200 kB
Inactive(anon):     4724 kB
Active(file):      62116 kB
Inactive(file):    42532 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             17476 kB
Writeback:             0 kB
AnonPages:       1446340 kB
Mapped:            10644 kB
Shmem:                 0 kB
Slab:             595644 kB
SReclaimable:      39728 kB
SUnreclaim:       555916 kB
KernelStack:        1520 kB
PageTables:         6744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1588620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1427456 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= 71724 MiB
End job on node126 at 2016-06-07 10:36:13