Trace number 4098087

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.02 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_24.opb
MD5SUM9c8b7baf8a030da6f1b828624be5b765
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.16906
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7832
Total number of constraints38373
Number of constraints which are clauses38368
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint88
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 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 112
Number of bits of the biggest sum of numbers7
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-17T01:26:12+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-4098087-1466119571.opb"]
0.00/0.01	c use --random-gen="3513834621 2057317864 1682788366 2008270784 290529312 2916205611 704561053 4009462161 3262199487 4009508385 504482147 994313222 2499954610 380077803 3167842540 495765810 3869530413 461908456 1722110488 4080043033 2232825204 1798229624 76431314 3679916162 1706135979 292975732 3490782229 615411175 83669491 3558759918 674569253 1210839473 373163913 214876442 127616671 843030708 1577182556 3813344792 1322431672 4257522471 2356490839 2718397111 792426621 2836855412 1171520713 3656380210 1770986881 3327140285 4003195880 36879556 2166340871 3413069898 479253301 3480498299 4077921291 372869311 2079253788 957539970 56935818 2519160158 3531322130 2382039173 2457525390 3250742613 215758369 1827343746 2669484376 820346421 2948526677 3330715492 4197115059 751559161 3219653227 2814448950 1670582337 695769046 3542875308 3503171985 2814627795 3333715449 2675114546 3763048419 1870814287 3487010912 1925361379 839244985 1684188895 1003504990 3768438052 1998696342 3604411871 2504749978 850994937 3834053345 2481438266 343499533 1771317779 2706914828 1272601251 220270878 4019268762 3141875816 3674277607 913291963 1439205107 4096068334 1790334968 2324150583 2794089275 3495811524 1440280344 4178945202 684826845 4157511663 3182407996 2409724502 3066833671 3675997328 2866709817 239203842 1738155888 4272520293 2250740786 2030202830 3753614111 2807207537 786652556 3242673967 3135592906 1672747145 1947319829 161447930 1584036332 3116298133 1010780179 2270531538 371234679 1081583264 2857644577 4257074659 3801024420 3244951392 1911668643 2716074337 133261456 2565694980 1213455394 3408195001 1326390354 2705620737 402066126 54221446 4246315729 1709185342 47740 325419855 2399182430 1831216306 4089584887 345544333 3628962705 2170060180 865674081 3905070450 1620336419 79866634 973127236 547001557 3638443314 3615111598 1466629917 660477927 2923150235 1378556907 4223917660 1844736781 3152784079 3852926036 3523386899 3684050413 1268360362 3812079445 2919057477 3711130478 1837495046 484245902 3323720003 1868718843 4252713891 1610566595 2073147586 3953723191 4102951525 1477059134 512488013 2818923783 1791135016 3431356693 378406789 2423279695 829722170 226425609 579557612 3096778021 2228280123 3003473943 2128090047 3502538958 3024050385 2183063508 3662762728 2567842403 4007357275 2884139398 2619202280 568319778 2513349624 2059476165 3498740016 3005951830 3563093663 1334001661 1114083547 660445028 3597533408 137814563 2842476985 1144545232 3406502849 3762506141 1366965368 2676762923 2280262406 2255945556 2778507765 4241812904 3798192782 230862463 785198820 161630833 2135216341 3105325053 3650231868 2968175784 2306461625 509584490 2457701223 605863402 691969502 2800156912 2686203463 1171888902 1951851767 1292809316 1660502663 1038958565 255 362436" option to reproduce the execution
0.89/0.97	c #vars 7832
0.89/0.97	c #constraints 38373
2.69/2.74	c Solving starts ...
2.69/2.74	c ============================[ Search Statistics ]============================
2.69/2.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.69/2.74	c       |         |          |          |    Limit     GC | Var      | Constra 
2.69/2.74	c =============================================================================
2.69/2.74	c  0.0s |       0 |        0 |        0 |    15400      0 |        5 |        0
3.19/3.30	c  0.6s |       1 |      920 |      100 |    15400      0 |        5 |      760
3.99/4.09	c  1.4s |       2 |     2368 |      250 |    16940      0 |        5 |      760
5.39/5.40	c  2.7s |       3 |     5182 |      475 |    18634      0 |        5 |      760
7.09/7.18	c  4.4s |       4 |     9048 |      813 |    20498      0 |        5 |      760
8.99/9.05	c  6.3s |       5 |    12894 |     1320 |    22548      0 |        5 |      760
11.10/11.17	c  8.4s |       5 |    19198 |     1820 |    24803      0 |        5 |      760
11.99/12.06	c  9.3s |       6 |    21876 |     2081 |    27284      0 |        5 |      760
14.40/14.45	c 11.7s |       6 |    23954 |     2681 |    27284      0 |        5 |      760
16.50/16.55	c 13.8s |       6 |    26400 |     3081 |    27284      0 |        5 |      760
17.29/17.30	c 14.6s |       7 |    27246 |     3223 |    30013      0 |        5 |      760
19.59/19.69	c 17.0s |       7 |    33331 |     3623 |    30013      0 |        5 |      760
21.79/21.85	c 19.1s |       7 |    37635 |     4023 |    30013      0 |        5 |      760
23.89/23.98	c 21.2s |       7 |    44123 |     4623 |    30013      0 |        5 |      760
24.89/24.93	c 22.2s |       8 |    46673 |     4936 |    33015      0 |        5 |      760
26.99/27.09	c 24.3s |       8 |    53360 |     5436 |    33015      0 |        5 |      760
29.19/29.27	c 26.5s |       8 |    55811 |     5936 |    33015      0 |        5 |      760
31.39/31.40	c 28.7s |       8 |    60084 |     6336 |    33015      0 |        5 |      760
33.49/33.58	c 30.8s |       8 |    66948 |     7136 |    33015      0 |        5 |      760
35.29/35.37	c 32.6s |       9 |    70838 |     7506 |    36317      0 |        5 |      760
38.09/38.10	c 35.4s |       9 |    77070 |     8106 |    36317      0 |        5 |      760
40.39/40.46	c 37.7s |       9 |    80394 |     8606 |    36317      0 |        5 |      760
42.39/42.47	c 39.7s |       9 |    83786 |     9206 |    36317      0 |        5 |      760
44.79/44.85	c 42.1s |       9 |    90164 |     9806 |    36317      0 |        5 |      760
47.08/47.19	c 44.4s |       9 |    98343 |    10306 |    36317      0 |        5 |      760
49.28/49.31	c 46.6s |       9 |   102993 |    10706 |    36317      0 |        5 |      760
51.28/51.34	c 48.6s |       9 |   108735 |    11106 |    36317      0 |        5 |      760
52.38/52.47	c 49.7s |      10 |   110823 |    11361 |    39949      0 |        5 |      760
54.48/54.53	c 51.8s |      10 |   114886 |    11761 |    39949      0 |        5 |      760
56.68/56.71	c 54.0s |      10 |   120387 |    12461 |    39949      0 |        5 |      760
59.08/59.13	c 56.4s |      10 |   124687 |    12861 |    39949      0 |        5 |      760
61.18/61.24	c 58.5s |      10 |   128643 |    13261 |    39949      0 |        5 |      760
63.38/63.41	c 60.7s |      10 |   133000 |    13961 |    39949      0 |        5 |      760
65.48/65.55	c 62.8s |      10 |   138923 |    14461 |    39949      0 |        5 |      760
67.68/67.74	c 65.0s |      10 |   144333 |    14861 |    39949      0 |        5 |      760
69.68/69.77	c 67.0s |      10 |   150089 |    15261 |    39949      0 |        5 |      760
71.98/72.04	c 69.3s |      10 |   153603 |    15761 |    39949      0 |        5 |      760
74.08/74.17	c 71.4s |      10 |   156694 |    16361 |    39949      0 |        5 |      760
76.58/76.66	c 73.9s |      10 |   162989 |    16861 |    39949      0 |        5 |      760
78.09/78.18	c 75.4s |      11 |   165886 |    17144 |    43944      0 |        5 |      760
80.58/80.69	c 78.0s |      11 |   170660 |    17544 |    43944      0 |        5 |      760
82.68/82.73	c 80.0s |      11 |   175606 |    18044 |    43944      0 |        5 |      760
85.18/85.21	c 82.5s |      11 |   181487 |    18744 |    43944      0 |        5 |      760
87.38/87.46	c 84.7s |      11 |   185984 |    19144 |    43944      0 |        5 |      760
89.48/89.59	c 86.8s |      11 |   190622 |    19644 |    43944      0 |        5 |      760
91.48/91.59	c 88.8s |      11 |   193972 |    20244 |    43944      0 |        5 |      760
93.88/93.98	c 91.2s |      11 |   199740 |    20744 |    43944      0 |        5 |      760
96.18/96.27	c 93.5s |      11 |   204090 |    21144 |    43944      0 |        5 |      760
98.48/98.51	c 95.8s |      11 |   208118 |    21744 |    43944      0 |        5 |      760
100.77/100.81	c 98.1s |      11 |   214214 |    22344 |    43944      0 |        5 |      760
102.87/102.90	c  100s |      11 |   218945 |    22744 |    43944      0 |        5 |      760
104.87/104.98	c  102s |      11 |   222198 |    23344 |    43944      0 |        5 |      760
107.27/107.35	c  104s |      11 |   227837 |    23944 |    43944      0 |        5 |      760
109.37/109.40	c  106s |      11 |   233372 |    24344 |    43944      0 |        5 |      760
111.57/111.64	c  108s |      11 |   237369 |    24744 |    43944      0 |        5 |      760
113.67/113.78	c  111s |      11 |   240414 |    25244 |    43944      0 |        5 |      760
115.87/115.95	c  113s |      11 |   242628 |    25644 |    43944      0 |        5 |      760
116.68/116.78	c  114s |      12 |   244291 |    25819 |    48339      0 |        5 |      760
118.97/119.02	c  116s |      12 |   250738 |    26219 |    48339      0 |        5 |      760
120.97/121.09	c  118s |      12 |   254904 |    26719 |    48339      0 |        5 |      760
123.28/123.33	c  120s |      12 |   259325 |    27319 |    48339      0 |        5 |      760
125.37/125.43	c  122s |      12 |   265508 |    27719 |    48339      0 |        5 |      760
127.37/127.45	c  124s |      12 |   268506 |    28219 |    48339      0 |        5 |      760
129.88/129.91	c  127s |      12 |   271172 |    28719 |    48339      0 |        5 |      760
131.87/131.95	c  129s |      12 |   278226 |    29119 |    48339      0 |        5 |      760
134.07/134.13	c  131s |      12 |   284718 |    29619 |    48339      0 |        5 |      760
136.17/136.24	c  133s |      12 |   288547 |    30219 |    48339      0 |        5 |      760
138.37/138.46	c  135s |      12 |   291827 |    30719 |    48339      0 |        5 |      760
140.67/140.77	c  138s |      12 |   296012 |    31319 |    48339      0 |        5 |      760
143.07/143.12	c  140s |      12 |   299388 |    31819 |    48339      0 |        5 |      760
145.07/145.16	c  142s |      12 |   304402 |    32319 |    48339      0 |        5 |      760
147.07/147.20	c  144s |      12 |   309692 |    32919 |    48339      0 |        5 |      760
149.17/149.24	c  146s |      12 |   313326 |    33519 |    48339      0 |        5 |      760
151.57/151.64	c  148s |      12 |   317902 |    34019 |    48339      0 |        5 |      760
153.56/153.66	c  150s |      12 |   322015 |    34719 |    48339      0 |        5 |      760
155.86/155.92	c  153s |      12 |   327831 |    35319 |    48339      0 |        5 |      760
158.16/158.21	c  155s |      12 |   329267 |    35819 |    48339      0 |        5 |      760
160.16/160.25	c  157s |      12 |   333331 |    36419 |    48339      0 |        5 |      760
162.56/162.62	c  159s |      12 |   336567 |    37019 |    48339      0 |        5 |      760
164.56/164.63	c  161s |      12 |   341183 |    37619 |    48339      0 |        5 |      760
166.76/166.88	c  164s |      12 |   344252 |    38219 |    48339      0 |        5 |      760
168.76/168.89	c  166s |      12 |   349717 |    38719 |    53173      0 |        5 |      760
169.16/169.24	c  166s |      13 |   350149 |    38832 |    53173      0 |        5 |      760
171.36/171.41	c  168s |      13 |   352229 |    39332 |    53173      0 |        5 |      760
173.56/173.61	c  170s |      13 |   354772 |    39932 |    53173      0 |        5 |      760
175.76/175.83	c  173s |      13 |   358647 |    40532 |    53173      0 |        5 |      760
177.86/177.98	c  175s |      13 |   362740 |    41232 |    53173      0 |        5 |      760
180.16/180.23	c  177s |      13 |   366087 |    42032 |    53173      0 |        5 |      760
182.26/182.32	c  179s |      13 |   369130 |    42832 |    53173      0 |        5 |      760
184.36/184.41	c  181s |      13 |   371394 |    43632 |    53173      0 |        5 |      760
186.56/186.68	c  183s |      13 |   375169 |    44332 |    53173      0 |        5 |      760
188.66/188.73	c  185s |      13 |   378848 |    44832 |    53173      0 |        5 |      760
190.66/190.77	c  188s |      13 |   382444 |    45232 |    53173      0 |        5 |      760
192.86/192.90	c  190s |      13 |   386537 |    45632 |    53173      0 |        5 |      760
195.06/195.19	c  192s |      13 |   392644 |    46032 |    53173      0 |        5 |      760
197.26/197.32	c  194s |      13 |   396653 |    46432 |    53173      0 |        5 |      760
199.26/199.39	c  196s |      13 |   400726 |    47032 |    53173      0 |        5 |      760
201.46/201.58	c  198s |      13 |   405201 |    47432 |    53173      0 |        5 |      760
203.86/203.93	c  201s |      13 |   411759 |    47832 |    53173      0 |        5 |      760
206.46/206.53	c  203s |      13 |   416533 |    48232 |    53173      0 |        5 |      760
208.66/208.74	c  206s |      13 |   419074 |    48632 |    53173      0 |        5 |      760
210.96/211.07	c  208s |      13 |   421968 |    49232 |    53173      0 |        5 |      760
213.16/213.27	c  210s |      13 |   424822 |    49632 |    53173      0 |        5 |      760
215.56/215.65	c  212s |      13 |   429156 |    50032 |    53173      0 |        5 |      760
218.05/218.11	c  215s |      13 |   433394 |    50432 |    53173      0 |        5 |      760
220.45/220.59	c  217s |      13 |   436940 |    50832 |    53173      0 |        5 |      760
222.85/222.94	c  220s |      13 |   438734 |    51332 |    53173      0 |        5 |      760
224.85/224.99	c  222s |      13 |   442379 |    51732 |    53173      0 |        5 |      760
227.35/227.41	c  224s |      13 |   446167 |    52132 |    53173      0 |        5 |      760
229.55/229.67	c  226s |      13 |   450576 |    52532 |    53173      0 |        5 |      760
231.95/232.00	c  229s |      13 |   452912 |    53032 |    53173      0 |        5 |      760
234.15/234.21	c  231s |      13 |   456894 |    53432 |    53173      0 |        5 |      760
236.65/236.70	c  233s |      13 |   460482 |    53832 |    53173      0 |        5 |      760
238.76/238.84	c  236s |      13 |   463662 |    54232 |    53173      0 |        5 |      760
241.25/241.30	c  238s |      13 |   466452 |    54832 |    53173      0 |        5 |      760
243.75/243.81	c  241s |      13 |   468791 |    55132 |    53173      1 |        5 |      760
246.15/246.20	c  243s |      13 |   471962 |    55432 |    53173      1 |        5 |      760
248.15/248.24	c  245s |      13 |   474558 |    55932 |    53173      1 |        5 |      760
250.55/250.62	c  247s |      13 |   478993 |    56532 |    53173      1 |        5 |      760
252.65/252.74	c  250s |      13 |   482860 |    56932 |    53173      1 |        5 |      760
254.95/255.09	c  252s |      13 |   486788 |    57432 |    53173      1 |        5 |      760
257.05/257.15	c  254s |      13 |   489404 |    57932 |    53173      1 |        5 |      760
259.15/259.20	c  256s |      14 |   492531 |    58352 |    58491      1 |        5 |      760
261.15/261.26	c  258s |      14 |   495209 |    58652 |    58491      1 |        5 |      760
263.25/263.35	c  260s |      14 |   499832 |    59252 |    58491      1 |        5 |      760
265.65/265.76	c  263s |      14 |   505133 |    59652 |    58491      1 |        5 |      760
267.75/267.86	c  265s |      14 |   509935 |    60052 |    58491      1 |        5 |      760
269.95/270.07	c  267s |      14 |   516178 |    60752 |    58491      1 |        5 |      760
272.05/272.19	c  269s |      14 |   520645 |    61252 |    58491      1 |        5 |      760
274.85/274.91	c  272s |      14 |   527582 |    61752 |    58491      1 |        5 |      760
277.26/277.37	c  274s |      14 |   531572 |    62152 |    58491      1 |        5 |      760
279.46/279.51	c  276s |      14 |   534722 |    62552 |    58491      1 |        5 |      760
281.85/281.91	c  279s |      14 |   538651 |    63152 |    58491      1 |        5 |      760
284.25/284.30	c  281s |      14 |   542507 |    63552 |    58491      1 |        5 |      760
286.25/286.35	c  283s |      14 |   545657 |    63952 |    58491      1 |        5 |      760
288.45/288.55	c  285s |      14 |   549123 |    64452 |    58491      1 |        5 |      760
290.75/290.80	c  288s |      14 |   553016 |    64852 |    58491      1 |        5 |      760
293.05/293.16	c  290s |      14 |   555393 |    65352 |    58491      1 |        5 |      760
295.45/295.50	c  292s |      14 |   558750 |    65752 |    58491      1 |        5 |      760
297.75/297.83	c  295s |      14 |   561599 |    66252 |    58491      1 |        5 |      760
299.85/299.94	c  297s |      14 |   565341 |    66652 |    58491      1 |        5 |      760
302.15/302.22	c  299s |      14 |   568235 |    67152 |    58491      1 |        5 |      760
304.44/304.58	c  301s |      14 |   572845 |    67652 |    58491      1 |        5 |      760
306.54/306.69	c  303s |      14 |   576702 |    68152 |    58491      1 |        5 |      760
308.94/309.03	c  306s |      14 |   579937 |    68652 |    58491      1 |        5 |      760
311.25/311.30	c  308s |      14 |   582721 |    69152 |    58491      1 |        5 |      760
313.45/313.51	c  310s |      14 |   585293 |    69552 |    58491      1 |        5 |      760
315.75/315.88	c  313s |      14 |   588124 |    70052 |    58491      1 |        5 |      760
317.95/318.04	c  315s |      14 |   590415 |    70452 |    58491      1 |        5 |      760
320.05/320.14	c  317s |      14 |   591926 |    70852 |    58491      1 |        5 |      760
322.54/322.64	c  319s |      14 |   593772 |    71352 |    58491      1 |        5 |      760
324.94/325.06	c  322s |      14 |   596320 |    71852 |    58491      1 |        5 |      760
326.94/327.06	c  324s |      14 |   597673 |    72252 |    58491      1 |        5 |      760
329.14/329.24	c  326s |      14 |   598767 |    72652 |    58491      1 |        5 |      760
331.24/331.32	c  328s |      14 |   600681 |    73152 |    58491      1 |        5 |      760
333.44/333.55	c  330s |      14 |   601936 |    73652 |    58491      1 |        5 |      760
335.64/335.71	c  332s |      14 |   602887 |    74152 |    58491      1 |        5 |      760
337.94/338.04	c  335s |      14 |   605257 |    74752 |    58491      1 |        5 |      760
340.34/340.41	c  337s |      14 |   608877 |    75252 |    58491      1 |        5 |      760
342.34/342.48	c  339s |      14 |   611881 |    75652 |    58491      1 |        5 |      760
344.74/344.88	c  342s |      14 |   616511 |    76352 |    58491      1 |        5 |      760
355.34/355.49	c  352s |      14 |   622200 |    76852 |    58491      1 |        5 |      760
357.73/357.89	c  355s |      14 |   627758 |    77252 |    58491      1 |        5 |      760
360.33/360.45	c  357s |      14 |   633062 |    77652 |    58491      1 |        5 |      760
362.73/362.80	c  360s |      14 |   636032 |    78152 |    58491      1 |        5 |      760
365.14/365.20	c  362s |      14 |   640157 |    78652 |    58491      1 |        5 |      760
367.44/367.57	c  364s |      14 |   644723 |    79052 |    58491      1 |        5 |      760
369.93/370.04	c  367s |      14 |   652940 |    79552 |    58491      1 |        5 |      760
372.23/372.35	c  369s |      14 |   657643 |    80052 |    58491      1 |        5 |      760
374.83/374.95	c  372s |      14 |   663408 |    80652 |    58491      1 |        5 |      760
377.13/377.24	c  374s |      14 |   667973 |    81052 |    58491      1 |        5 |      760
379.33/379.40	c  376s |      14 |   671269 |    81552 |    58491      1 |        5 |      760
381.43/381.58	c  378s |      14 |   677779 |    82052 |    58491      1 |        5 |      760
383.73/383.84	c  381s |      14 |   681850 |    82452 |    58491      1 |        5 |      760
385.73/385.87	c  383s |      14 |   684967 |    82952 |    58491      1 |        5 |      760
388.13/388.24	c  385s |      14 |   688522 |    83452 |    58491      1 |        5 |      760
390.63/390.73	c  387s |      14 |   692888 |    83852 |    58491      1 |        5 |      760
392.93/393.01	c  390s |      14 |   696915 |    84252 |    58491      1 |        5 |      760
395.33/395.45	c  392s |      14 |   702144 |    84952 |    58491      1 |        5 |      760
397.73/397.85	c  395s |      14 |   706386 |    85352 |    58491      1 |        5 |      760
400.13/400.28	c  397s |      14 |   708745 |    85852 |    58491      1 |        5 |      760
402.42/402.56	c  399s |      14 |   712428 |    86252 |    58491      1 |        5 |      760
404.73/404.88	c  402s |      14 |   716567 |    86752 |    58491      1 |        5 |      760
406.93/407.07	c  404s |      14 |   719256 |    87252 |    64341      1 |        5 |      760
408.92/409.09	c  406s |      14 |   721718 |    87552 |    64341      1 |        5 |      760
409.42/409.54	c  406s |      15 |   722844 |    87632 |    64341      1 |        5 |      760
412.02/412.10	c  409s |      15 |   725575 |    87932 |    64341      1 |        5 |      760
414.02/414.17	c  411s |      15 |   727881 |    88232 |    64341      1 |        5 |      760
416.52/416.67	c  413s |      15 |   731669 |    88832 |    64341      1 |        5 |      760
419.03/419.15	c  416s |      15 |   736622 |    89232 |    64341      1 |        5 |      760
421.62/421.75	c  419s |      15 |   740141 |    89632 |    64341      1 |        5 |      760
423.82/423.96	c  421s |      15 |   743162 |    90032 |    64341      1 |        5 |      760
426.02/426.17	c  423s |      15 |   747456 |    90632 |    64341      1 |        5 |      760
428.52/428.61	c  425s |      15 |   750410 |    91032 |    64341      1 |        5 |      760
430.62/430.75	c  428s |      15 |   754206 |    91332 |    64341      1 |        5 |      760
433.12/433.21	c  430s |      15 |   760124 |    91732 |    64341      1 |        5 |      760
435.31/435.48	c  432s |      15 |   764136 |    92132 |    64341      1 |        5 |      760
437.41/437.50	c  434s |      15 |   767533 |    92632 |    64341      1 |        5 |      760
440.02/440.16	c  437s |      15 |   770634 |    92932 |    64341      2 |        5 |      760
442.12/442.30	c  439s |      15 |   774854 |    93332 |    64341      2 |        5 |      760
444.21/444.34	c  441s |      15 |   778758 |    93932 |    64341      2 |        5 |      760
446.62/446.77	c  444s |      15 |   784194 |    94432 |    64341      2 |        5 |      760
448.61/448.80	c  446s |      15 |   788000 |    94832 |    64341      2 |        5 |      760
451.01/451.15	c  448s |      15 |   789837 |    95332 |    64341      2 |        5 |      760
453.21/453.34	c  450s |      15 |   794583 |    95832 |    64341      2 |        5 |      760
458.30/458.40	c  455s |      15 |   795097 |    96032 |    64341      2 |        5 |      760
460.40/460.60	c  457s |      15 |   797513 |    96532 |    64341      2 |        5 |      760
462.79/462.97	c  460s |      15 |   801391 |    97232 |    64341      2 |        5 |      760
464.99/465.13	c  462s |      15 |   803039 |    97732 |    64341      2 |        5 |      760
467.09/467.20	c  464s |      15 |   804475 |    98232 |    64341      2 |        5 |      760
469.39/469.59	c  466s |      15 |   806376 |    98832 |    64341      2 |        5 |      760
471.59/471.73	c  468s |      15 |   808038 |    99432 |    64341      2 |        5 |      760
473.99/474.14	c  471s |      15 |   809210 |    99932 |    64341      2 |        5 |      760
476.08/476.25	c  473s |      15 |   810014 |   100332 |    64341      2 |        5 |      760
478.39/478.55	c  475s |      15 |   812013 |   100732 |    64341      2 |        5 |      760
480.58/480.80	c  478s |      15 |   814723 |   101232 |    64341      2 |        5 |      760
482.98/483.10	c  480s |      15 |   819182 |   101732 |    64341      2 |        5 |      760
485.18/485.39	c  482s |      15 |   823123 |   102332 |    64341      2 |        5 |      760
487.28/487.45	c  484s |      15 |   826436 |   102732 |    64341      2 |        5 |      760
489.97/490.11	c  487s |      15 |   828370 |   103232 |    64341      2 |        5 |      760
501.37/501.57	c  498s |      15 |   830583 |   103432 |    64341      2 |        5 |      760
503.47/503.65	c  500s |      15 |   835097 |   103732 |    64341      2 |        5 |      760
505.88/506.10	c  503s |      15 |   838675 |   104132 |    64341      2 |        5 |      760
507.97/508.13	c  505s |      15 |   842954 |   104732 |    64341      2 |        5 |      760
510.38/510.54	c  507s |      15 |   849450 |   105332 |    64341      2 |        5 |      760
512.87/513.09	c  510s |      15 |   853415 |   105732 |    64341      2 |        5 |      760
515.07/515.23	c  512s |      15 |   857520 |   106132 |    64341      2 |        5 |      760
517.37/517.58	c  514s |      15 |   861217 |   106732 |    64341      2 |        5 |      760
519.66/519.81	c  517s |      15 |   866352 |   107132 |    64341      2 |        5 |      760
521.96/522.18	c  519s |      15 |   871537 |   107832 |    64341      2 |        5 |      760
524.36/524.52	c  521s |      15 |   876925 |   108332 |    64341      2 |        5 |      760
526.56/526.75	c  524s |      15 |   883131 |   108732 |    64341      2 |        5 |      760
528.56/528.76	c  526s |      15 |   886694 |   109132 |    64341      2 |        5 |      760
530.66/530.82	c  528s |      15 |   891550 |   109832 |    64341      2 |        5 |      760
533.16/533.36	c  530s |      15 |   897403 |   110332 |    64341      2 |        5 |      760
535.36/535.53	c  532s |      15 |   901537 |   110932 |    64341      2 |        5 |      760
537.66/537.82	c  535s |      15 |   907557 |   111432 |    64341      2 |        5 |      760
539.66/539.83	c  537s |      15 |   911424 |   111832 |    64341      2 |        5 |      760
541.95/542.13	c  539s |      15 |   914811 |   112432 |    64341      2 |        5 |      760
544.25/544.43	c  541s |      15 |   920118 |   112932 |    64341      2 |        5 |      760
546.25/546.47	c  543s |      15 |   923388 |   113432 |    64341      2 |        5 |      760
548.55/548.76	c  546s |      15 |   928922 |   113932 |    64341      2 |        5 |      760
550.85/551.01	c  548s |      15 |   933845 |   114632 |    64341      2 |        5 |      760
553.15/553.36	c  550s |      15 |   937214 |   115032 |    64341      2 |        5 |      760
555.15/555.38	c  552s |      15 |   940141 |   115432 |    64341      2 |        5 |      760
557.25/557.47	c  554s |      15 |   943334 |   115932 |    64341      2 |        5 |      760
559.54/559.76	c  557s |      15 |   947105 |   116532 |    64341      2 |        5 |      760
561.64/561.80	c  559s |      15 |   950549 |   116932 |    64341      2 |        5 |      760
563.74/563.97	c  561s |      15 |   953295 |   117432 |    64341      2 |        5 |      760
565.84/566.09	c  563s |      15 |   958610 |   117932 |    64341      2 |        5 |      760
567.94/568.18	c  565s |      15 |   961126 |   118432 |    64341      2 |        5 |      760
570.14/570.36	c  567s |      15 |   964572 |   119032 |    64341      2 |        5 |      760
572.44/572.64	c  569s |      15 |   968402 |   119632 |    64341      2 |        5 |      760
574.73/574.99	c  572s |      15 |   972911 |   120332 |    64341      2 |        5 |      760
576.93/577.13	c  574s |      15 |   976516 |   120932 |    64341      2 |        5 |      760
579.23/579.45	c  576s |      15 |   979988 |   121532 |    64341      2 |        5 |      760
581.53/581.70	c  578s |      15 |   982279 |   122132 |    64341      2 |        5 |      760
583.53/583.72	c  580s |      15 |   984485 |   122632 |    64341      2 |        5 |      760
585.73/585.95	c  583s |      15 |   986174 |   123132 |    64341      2 |        5 |      760
588.03/588.26	c  585s |      15 |   988334 |   123732 |    64341      2 |        5 |      760
590.12/590.39	c  587s |      15 |   989621 |   124232 |    64341      2 |        5 |      760
592.32/592.58	c  589s |      15 |   991305 |   124632 |    64341      2 |        5 |      760
594.82/595.06	c  592s |      15 |   995799 |   125032 |    64341      2 |        5 |      760
596.92/597.15	c  594s |      15 |  1000181 |   125432 |    64341      2 |        5 |      760
599.02/599.27	c  596s |      15 |  1003403 |   125932 |    64341      2 |        5 |      760
601.71/601.96	c  599s |      15 |  1006798 |   126232 |    64341      3 |        5 |      760
604.41/604.62	c  601s |      15 |  1011591 |   126632 |    64341      3 |        5 |      760
606.61/606.81	c  604s |      15 |  1016314 |   127132 |    64341      3 |        5 |      760
608.81/609.00	c  606s |      15 |  1019449 |   127632 |    64341      3 |        5 |      760
610.91/611.16	c  608s |      15 |  1025530 |   128032 |    64341      3 |        5 |      760
613.31/613.50	c  610s |      15 |  1030642 |   128432 |    64341      3 |        5 |      760
615.61/615.84	c  613s |      15 |  1035945 |   129132 |    64341      3 |        5 |      760
617.91/618.20	c  615s |      15 |  1041781 |   129632 |    64341      3 |        5 |      760
620.20/620.46	c  617s |      15 |  1046491 |   130032 |    64341      3 |        5 |      760
622.20/622.46	c  619s |      15 |  1049394 |   130332 |    64341      3 |        5 |      760
624.50/624.74	c  621s |      15 |  1053807 |   130932 |    70776      3 |        5 |      760
626.80/627.06	c  624s |      15 |  1057380 |   131432 |    70776      3 |        5 |      760
627.40/627.66	c  624s |      16 |  1058785 |   131552 |    70776      3 |        5 |      760
629.49/629.70	c  626s |      16 |  1062756 |   131852 |    70776      3 |        5 |      760
639.50/639.70	c  636s |      16 |  1066729 |   132252 |    70776      3 |        5 |      760
641.60/641.84	c  639s |      16 |  1070281 |   132652 |    70776      3 |        5 |      760
644.10/644.35	c  641s |      16 |  1073678 |   133252 |    70776      3 |        5 |      760
646.50/646.78	c  644s |      16 |  1078301 |   133652 |    70776      3 |        5 |      760
648.70/648.98	c  646s |      16 |  1081568 |   134052 |    70776      3 |        5 |      760
651.20/651.41	c  648s |      16 |  1087751 |   134452 |    70776      3 |        5 |      760
653.50/653.73	c  650s |      16 |  1090911 |   134852 |    70776      3 |        5 |      760
655.90/656.10	c  653s |      16 |  1094257 |   135452 |    70776      3 |        5 |      760
657.90/658.19	c  655s |      16 |  1098210 |   135852 |    70776      3 |        5 |      760
660.19/660.45	c  657s |      16 |  1103414 |   136252 |    70776      3 |        5 |      760
662.69/662.94	c  660s |      16 |  1108283 |   136652 |    70776      3 |        5 |      760
664.79/665.06	c  662s |      16 |  1111472 |   137052 |    70776      3 |        5 |      760
666.99/667.23	c  664s |      16 |  1115552 |   137652 |    70776      3 |        5 |      760
669.09/669.30	c  666s |      16 |  1119655 |   138052 |    70776      3 |        5 |      760
671.49/671.78	c  669s |      16 |  1125450 |   138452 |    70776      3 |        5 |      760
673.89/674.18	c  671s |      16 |  1132680 |   138952 |    70776      3 |        5 |      760
675.89/676.19	c  673s |      16 |  1136317 |   139452 |    70776      3 |        5 |      760
678.39/678.61	c  675s |      16 |  1143179 |   140052 |    70776      3 |        5 |      760
680.39/680.65	c  677s |      16 |  1145692 |   140352 |    70776      3 |        5 |      760
682.79/683.01	c  680s |      16 |  1149515 |   140752 |    70776      3 |        5 |      760
684.99/685.22	c  682s |      16 |  1154452 |   141252 |    70776      3 |        5 |      760
687.40/687.68	c  684s |      16 |  1158185 |   141852 |    70776      3 |        5 |      760
689.99/690.26	c  687s |      16 |  1162159 |   142252 |    70776      3 |        5 |      760
692.19/692.46	c  689s |      16 |  1165951 |   142752 |    70776      3 |        5 |      760
694.39/694.63	c  691s |      16 |  1170160 |   143252 |    70776      3 |        5 |      760
696.49/696.77	c  694s |      16 |  1175685 |   143652 |    70776      3 |        5 |      760
698.59/698.84	c  696s |      16 |  1178961 |   143952 |    70776      3 |        5 |      760
700.78/701.04	c  698s |      16 |  1183191 |   144352 |    70776      3 |        5 |      760
702.79/703.09	c  700s |      16 |  1185917 |   144852 |    70776      3 |        5 |      760
704.99/705.29	c  702s |      16 |  1190172 |   145252 |    70776      3 |        5 |      760
707.58/707.81	c  705s |      16 |  1195273 |   145652 |    70776      3 |        5 |      760
709.68/709.97	c  707s |      16 |  1200643 |   146052 |    70776      3 |        5 |      760
711.88/712.19	c  709s |      16 |  1207215 |   146552 |    70776      3 |        5 |      760
714.08/714.34	c  711s |      16 |  1213724 |   147252 |    70776      3 |        5 |      760
716.28/716.54	c  713s |      16 |  1219498 |   147652 |    70776      3 |        5 |      760
718.38/718.69	c  715s |      16 |  1224728 |   148152 |    70776      3 |        5 |      760
720.88/721.14	c  718s |      16 |  1229965 |   148852 |    70776      3 |        5 |      760
723.18/723.45	c  720s |      16 |  1234217 |   149252 |    70776      3 |        5 |      760
725.37/725.65	c  722s |      16 |  1240640 |   149652 |    70776      3 |        5 |      760
727.67/727.92	c  725s |      16 |  1246286 |   150052 |    70776      3 |        5 |      760
729.77/730.09	c  727s |      16 |  1252061 |   150652 |    70776      3 |        5 |      760
732.38/732.67	c  729s |      16 |  1257816 |   151252 |    70776      3 |        5 |      760
734.37/734.68	c  731s |      16 |  1262880 |   151852 |    70776      3 |        5 |      760
736.57/736.88	c  734s |      16 |  1267721 |   152352 |    70776      3 |        5 |      760
738.87/739.16	c  736s |      16 |  1271250 |   152852 |    70776      3 |        5 |      760
741.28/741.59	c  738s |      16 |  1273996 |   153452 |    70776      3 |        5 |      760
743.48/743.76	c  741s |      16 |  1277656 |   153852 |    70776      3 |        5 |      760
745.68/745.94	c  743s |      16 |  1283312 |   154252 |    70776      3 |        5 |      760
747.78/748.07	c  745s |      16 |  1287113 |   154652 |    70776      3 |        5 |      760
750.08/750.32	c  747s |      16 |  1291062 |   155352 |    70776      3 |        5 |      760
752.17/752.46	c  749s |      16 |  1296448 |   155852 |    70776      3 |        5 |      760
754.17/754.47	c  751s |      16 |  1302006 |   156452 |    70776      3 |        5 |      760
756.77/757.05	c  754s |      16 |  1306443 |   156952 |    70776      3 |        5 |      760
758.87/759.14	c  756s |      16 |  1310782 |   157352 |    70776      3 |        5 |      760
761.07/761.32	c  758s |      16 |  1314702 |   157952 |    70776      3 |        5 |      760
763.27/763.52	c  760s |      16 |  1318501 |   158452 |    70776      3 |        5 |      760
765.37/765.68	c  762s |      16 |  1321456 |   158952 |    70776      3 |        5 |      760
767.47/767.76	c  765s |      16 |  1325134 |   159452 |    70776      3 |        5 |      760
769.77/770.02	c  767s |      16 |  1329346 |   159952 |    70776      3 |        5 |      760
772.16/772.49	c  769s |      16 |  1333059 |   160552 |    70776      3 |        5 |      760
774.27/774.55	c  771s |      16 |  1336739 |   160952 |    70776      3 |        5 |      760
776.26/776.60	c  773s |      16 |  1339082 |   161452 |    70776      3 |        5 |      760
778.57/778.88	c  776s |      16 |  1343902 |   162052 |    70776      3 |        5 |      760
780.86/781.10	c  778s |      16 |  1347877 |   162752 |    70776      3 |        5 |      760
783.15/783.49	c  780s |      16 |  1352465 |   163452 |    70776      3 |        5 |      760
785.55/785.81	c  783s |      16 |  1356129 |   164052 |    70776      3 |        5 |      760
787.55/787.83	c  785s |      16 |  1359846 |   164652 |    70776      3 |        5 |      760
789.66/789.92	c  787s |      16 |  1363262 |   165252 |    70776      3 |        5 |      760
791.85/792.11	c  789s |      16 |  1366198 |   165752 |    70776      3 |        5 |      760
794.15/794.44	c  791s |      16 |  1369399 |   166452 |    70776      3 |        5 |      760
796.15/796.48	c  793s |      16 |  1372025 |   167052 |    70776      3 |        5 |      760
798.25/798.52	c  795s |      16 |  1375170 |   167652 |    70776      3 |        5 |      760
800.44/800.73	c  797s |      16 |  1377100 |   168152 |    70776      4 |        5 |      760
802.54/802.88	c  800s |      16 |  1378870 |   168752 |    70776      4 |        5 |      760
804.74/805.01	c  802s |      16 |  1381172 |   169352 |    70776      4 |        5 |      760
807.25/807.53	c  804s |      16 |  1384247 |   169652 |    70776      4 |        5 |      760
809.45/809.71	c  806s |      16 |  1388144 |   170252 |    70776      4 |        5 |      760
812.75/813.01	c  810s |      16 |  1392808 |   170752 |    70776      4 |        5 |      760
819.94/820.25	c  817s |      16 |  1394127 |   170852 |    70776      4 |        5 |      760
822.04/822.36	c  819s |      16 |  1398037 |   171352 |    70776      4 |        5 |      760
824.34/824.65	c  821s |      16 |  1401819 |   171952 |    70776      4 |        5 |      760
826.54/826.89	c  824s |      16 |  1405674 |   172352 |    70776      4 |        5 |      760
829.04/829.34	c  826s |      16 |  1410090 |   172752 |    70776      4 |        5 |      760
831.35/831.68	c  828s |      16 |  1414437 |   173152 |    70776      4 |        5 |      760
833.55/833.86	c  831s |      16 |  1420302 |   173852 |    70776      4 |        5 |      760
836.14/836.49	c  833s |      16 |  1425359 |   174352 |    70776      4 |        5 |      760
838.44/838.74	c  836s |      16 |  1430326 |   174752 |    70776      4 |        5 |      760
840.54/840.83	c  838s |      16 |  1435187 |   175252 |    70776      4 |        5 |      760
842.64/842.93	c  840s |      16 |  1438822 |   175752 |    70776      4 |        5 |      760
844.74/845.06	c  842s |      16 |  1443173 |   176152 |    70776      4 |        5 |      760
847.24/847.51	c  844s |      16 |  1448509 |   176552 |    70776      4 |        5 |      760
849.43/849.73	c  846s |      16 |  1452379 |   177052 |    70776      4 |        5 |      760
851.53/851.83	c  849s |      16 |  1457916 |   177652 |    70776      4 |        5 |      760
853.63/853.94	c  851s |      16 |  1462442 |   178052 |    70776      4 |        5 |      760
855.73/856.01	c  853s |      16 |  1465372 |   178452 |    70776      4 |        5 |      760
857.84/858.14	c  855s |      16 |  1468759 |   179052 |    70776      4 |        5 |      760
860.43/860.76	c  858s |      16 |  1474767 |   179552 |    70776      4 |        5 |      760
862.83/863.13	c  860s |      16 |  1479170 |   180052 |    70776      4 |        5 |      760
865.03/865.38	c  862s |      16 |  1482244 |   180652 |    70776      4 |        5 |      760
867.03/867.39	c  864s |      16 |  1486200 |   181052 |    70776      4 |        5 |      760
869.12/869.46	c  866s |      16 |  1490046 |   181452 |    70776      4 |        5 |      760
871.42/871.70	c  868s |      16 |  1493795 |   182052 |    70776      4 |        5 |      760
873.82/874.16	c  871s |      16 |  1498492 |   182552 |    70776      4 |        5 |      760
875.82/876.18	c  873s |      16 |  1502050 |   182952 |    70776      4 |        5 |      760
877.92/878.21	c  875s |      16 |  1504834 |   183452 |    70776      4 |        5 |      760
879.92/880.27	c  877s |      16 |  1509309 |   183852 |    70776      4 |        5 |      760
882.32/882.66	c  879s |      16 |  1514244 |   184552 |    70776      4 |        5 |      760
884.62/884.96	c  882s |      16 |  1518691 |   185052 |    70776      4 |        5 |      760
886.72/887.01	c  884s |      16 |  1522300 |   185652 |    70776      4 |        5 |      760
888.82/889.12	c  886s |      16 |  1525126 |   186152 |    70776      4 |        5 |      760
891.22/891.50	c  888s |      16 |  1529553 |   186652 |    70776      4 |        5 |      760
893.32/893.63	c  890s |      16 |  1533108 |   187252 |    70776      4 |        5 |      760
895.51/895.85	c  893s |      16 |  1536961 |   187852 |    70776      4 |        5 |      760
897.61/897.99	c  895s |      16 |  1541238 |   188352 |    70776      4 |        5 |      760
899.81/900.16	c  897s |      16 |  1545278 |   188952 |    70776      4 |        5 |      760
901.91/902.26	c  899s |      16 |  1548647 |   189452 |    70776      4 |        5 |      760
904.21/904.56	c  901s |      16 |  1552337 |   190052 |    70776      4 |        5 |      760
906.61/906.91	c  904s |      16 |  1556426 |   190752 |    70776      4 |        5 |      760
908.71/909.07	c  906s |      16 |  1561515 |   191452 |    70776      4 |        5 |      760
910.80/911.16	c  908s |      16 |  1565144 |   192052 |    70776      4 |        5 |      760
913.10/913.44	c  910s |      16 |  1569173 |   192752 |    70776      4 |        5 |      760
915.10/915.49	c  912s |      16 |  1571768 |   193352 |    70776      4 |        5 |      760
917.40/917.70	c  914s |      16 |  1573957 |   193952 |    70776      4 |        5 |      760
919.50/919.84	c  917s |      16 |  1576408 |   194552 |    70776      4 |        5 |      760
921.70/922.09	c  919s |      16 |  1578159 |   195252 |    70776      4 |        5 |      760
923.90/924.22	c  921s |      16 |  1579134 |   195852 |    70776      4 |        5 |      760
926.30/926.68	c  923s |      16 |  1581456 |   196452 |    77854      4 |        5 |      760
928.39/928.73	c  925s |      16 |  1584802 |   196852 |    77854      4 |        5 |      760
930.69/931.03	c  928s |      16 |  1586920 |   197352 |    77854      4 |        5 |      760
931.19/931.50	c  928s |      17 |  1587719 |   197432 |    77854      4 |        5 |      760
933.49/933.83	c  931s |      17 |  1592251 |   197732 |    77854      4 |        5 |      760
936.09/936.42	c  933s |      17 |  1598042 |   198132 |    77854      4 |        5 |      760
938.19/938.55	c  935s |      17 |  1601731 |   198732 |    77854      4 |        5 |      760
940.49/940.88	c  938s |      17 |  1606392 |   199132 |    77854      4 |        5 |      760
942.59/942.99	c  940s |      17 |  1610320 |   199432 |    77854      4 |        5 |      760
944.89/945.21	c  942s |      17 |  1613511 |   199732 |    77854      4 |        5 |      760
946.89/947.26	c  944s |      17 |  1616727 |   200032 |    77854      4 |        5 |      760
948.88/949.28	c  946s |      17 |  1619086 |   200532 |    77854      4 |        5 |      760
950.98/951.31	c  948s |      17 |  1622539 |   200932 |    77854      4 |        5 |      760
953.38/953.78	c  951s |      17 |  1628029 |   201332 |    77854      4 |        5 |      760
955.98/956.35	c  953s |      17 |  1632989 |   201732 |    77854      4 |        5 |      760
958.28/958.63	c  955s |      17 |  1635732 |   202232 |    77854      4 |        5 |      760
960.57/960.96	c  958s |      17 |  1639843 |   202632 |    77854      4 |        5 |      760
963.17/963.57	c  960s |      17 |  1645496 |   203032 |    77854      4 |        5 |      760
965.67/966.00	c  963s |      17 |  1649480 |   203432 |    77854      4 |        5 |      760
968.17/968.50	c  965s |      17 |  1652807 |   203832 |    77854      4 |        5 |      760
970.67/971.04	c  968s |      17 |  1655788 |   204332 |    77854      4 |        5 |      760
972.77/973.16	c  970s |      17 |  1658880 |   204632 |    77854      4 |        5 |      760
974.97/975.31	c  972s |      17 |  1660940 |   205132 |    77854      4 |        5 |      760
977.07/977.44	c  974s |      17 |  1663810 |   205532 |    77854      4 |        5 |      760
979.77/980.12	c  977s |      17 |  1667788 |   205932 |    77854      4 |        5 |      760
982.16/982.51	c  979s |      17 |  1671524 |   206332 |    77854      4 |        5 |      760
984.56/984.99	c  982s |      17 |  1675570 |   206932 |    77854      4 |        5 |      760
986.96/987.33	c  984s |      17 |  1679633 |   207332 |    77854      4 |        5 |      760
988.96/989.36	c  986s |      17 |  1682284 |   207632 |    77854      4 |        5 |      760
991.06/991.43	c  988s |      17 |  1685313 |   208032 |    77854      4 |        5 |      760
993.46/993.80	c  991s |      17 |  1688257 |   208532 |    77854      4 |        5 |      760
995.56/995.93	c  993s |      17 |  1691179 |   208832 |    77854      4 |        5 |      760
998.36/998.73	c  995s |      17 |  1693202 |   209032 |    77854      5 |        5 |      760
1000.36/1000.74	c  998s |      17 |  1696232 |   209332 |    77854      5 |        5 |      760
1002.76/1003.17	c 1000s |      17 |  1700581 |   209932 |    77854      5 |        5 |      760
1005.26/1005.69	c 1002s |      17 |  1704158 |   210432 |    77854      5 |        5 |      760
1007.46/1007.86	c 1005s |      17 |  1708464 |   211132 |    77854      5 |        5 |      760
1009.65/1010.09	c 1007s |      17 |  1712269 |   211532 |    77854      5 |        5 |      760
1011.85/1012.27	c 1009s |      17 |  1716313 |   212032 |    77854      5 |        5 |      760
1014.15/1014.52	c 1011s |      17 |  1719223 |   212632 |    77854      5 |        5 |      760
1016.16/1016.56	c 1013s |      17 |  1722667 |   213032 |    77854      5 |        5 |      760
1018.55/1018.95	c 1016s |      17 |  1725586 |   213632 |    77854      5 |        5 |      760
1020.85/1021.29	c 1018s |      17 |  1729667 |   214332 |    77854      5 |        5 |      760
1022.95/1023.31	c 1020s |      17 |  1733279 |   214732 |    77854      5 |        5 |      760
1024.96/1025.31	c 1022s |      17 |  1735704 |   215232 |    77854      5 |        5 |      760
1027.25/1027.70	c 1024s |      17 |  1740238 |   215732 |    77854      5 |        5 |      760
1029.44/1029.85	c 1027s |      17 |  1742893 |   216332 |    77854      5 |        5 |      760
1031.45/1031.88	c 1029s |      17 |  1745624 |   216832 |    77854      5 |        5 |      760
1033.65/1034.08	c 1031s |      17 |  1748576 |   217432 |    77854      5 |        5 |      760
1035.95/1036.38	c 1033s |      17 |  1751751 |   218032 |    77854      5 |        5 |      760
1038.24/1038.61	c 1035s |      17 |  1755241 |   218732 |    77854      5 |        5 |      760
1040.44/1040.89	c 1038s |      17 |  1758409 |   219332 |    77854      5 |        5 |      760
1042.54/1042.94	c 1040s |      17 |  1760780 |   219932 |    77854      5 |        5 |      760
1044.54/1044.96	c 1042s |      17 |  1763650 |   220532 |    77854      5 |        5 |      760
1046.73/1047.15	c 1044s |      17 |  1766174 |   221232 |    77854      5 |        5 |      760
1049.04/1049.46	c 1046s |      17 |  1768213 |   221932 |    77854      5 |        5 |      760
1051.34/1051.74	c 1048s |      17 |  1770513 |   222732 |    77854      5 |        5 |      760
1053.93/1054.31	c 1051s |      17 |  1772887 |   223432 |    77854      5 |        5 |      760
1056.23/1056.60	c 1053s |      17 |  1775712 |   223732 |    77854      5 |        5 |      760
1058.53/1058.91	c 1056s |      17 |  1778694 |   224132 |    77854      5 |        5 |      760
1060.93/1061.30	c 1058s |      17 |  1782450 |   224732 |    77854      5 |        5 |      760
1063.03/1063.50	c 1060s |      17 |  1785635 |   225032 |    77854      5 |        5 |      760
1065.13/1065.57	c 1062s |      17 |  1789207 |   225632 |    77854      5 |        5 |      760
1067.43/1067.80	c 1065s |      17 |  1792869 |   226032 |    77854      5 |        5 |      760
1069.93/1070.39	c 1067s |      17 |  1797842 |   226432 |    77854      5 |        5 |      760
1072.24/1072.64	c 1069s |      17 |  1802476 |   226732 |    77854      5 |        5 |      760
1074.73/1075.18	c 1072s |      17 |  1805789 |   227132 |    77854      5 |        5 |      760
1076.83/1077.22	c 1074s |      17 |  1809835 |   227732 |    77854      5 |        5 |      760
1078.83/1079.23	c 1076s |      17 |  1814469 |   228132 |    77854      5 |        5 |      760
1080.93/1081.39	c 1078s |      17 |  1818078 |   228432 |    77854      5 |        5 |      760
1083.43/1083.81	c 1081s |      17 |  1822373 |   228832 |    77854      5 |        5 |      760
1085.73/1086.11	c 1083s |      17 |  1825857 |   229432 |    77854      5 |        5 |      760
1088.33/1088.72	c 1085s |      17 |  1830373 |   229832 |    77854      5 |        5 |      760
1090.52/1090.90	c 1088s |      17 |  1833132 |   230132 |    77854      5 |        5 |      760
1093.03/1093.43	c 1090s |      17 |  1835768 |   230532 |    77854      5 |        5 |      760
1095.42/1095.85	c 1093s |      17 |  1839073 |   231132 |    77854      5 |        5 |      760
1097.62/1098.00	c 1095s |      17 |  1841200 |   231532 |    77854      5 |        5 |      760
1099.92/1100.34	c 1097s |      17 |  1845157 |   232032 |    77854      5 |        5 |      760
1102.22/1102.65	c 1099s |      17 |  1850077 |   232432 |    77854      5 |        5 |      760
1104.32/1104.75	c 1102s |      17 |  1853417 |   232832 |    77854      5 |        5 |      760
1106.42/1106.81	c 1104s |      17 |  1856231 |   233232 |    77854      5 |        5 |      760
1108.82/1109.23	c 1106s |      17 |  1860311 |   233632 |    77854      5 |        5 |      760
1110.92/1111.31	c 1108s |      17 |  1864640 |   234032 |    77854      5 |        5 |      760
1113.42/1113.83	c 1111s |      17 |  1868281 |   234632 |    77854      5 |        5 |      760
1115.82/1116.28	c 1113s |      17 |  1872407 |   235032 |    77854      5 |        5 |      760
1118.12/1118.58	c 1115s |      17 |  1876390 |   235432 |    77854      5 |        5 |      760
1120.21/1120.65	c 1117s |      17 |  1878559 |   235932 |    77854      5 |        5 |      760
1122.61/1123.06	c 1120s |      17 |  1882659 |   236332 |    77854      5 |        5 |      760
1124.71/1125.14	c 1122s |      17 |  1885363 |   236732 |    77854      5 |        5 |      760
1126.91/1127.32	c 1124s |      17 |  1888772 |   237232 |    77854      5 |        5 |      760
1129.32/1129.75	c 1127s |      17 |  1892394 |   237832 |    77854      5 |        5 |      760
1131.31/1131.79	c 1129s |      17 |  1895942 |   238232 |    77854      5 |        5 |      760
1133.71/1134.12	c 1131s |      17 |  1899739 |   238832 |    77854      5 |        5 |      760
1136.01/1136.43	c 1133s |      17 |  1902187 |   239332 |    77854      5 |        5 |      760
1138.51/1138.90	c 1136s |      17 |  1906057 |   239832 |    77854      5 |        5 |      760
1140.81/1141.25	c 1138s |      17 |  1909103 |   240432 |    77854      5 |        5 |      760
1143.11/1143.57	c 1140s |      17 |  1911978 |   240932 |    77854      5 |        5 |      760
1145.31/1145.72	c 1142s |      17 |  1915159 |   241432 |    77854      5 |        5 |      760
1147.31/1147.76	c 1145s |      17 |  1917366 |   241932 |    77854      5 |        5 |      760
1149.71/1150.19	c 1147s |      17 |  1920133 |   242532 |    77854      5 |        5 |      760
1151.90/1152.38	c 1149s |      17 |  1923126 |   243032 |    77854      5 |        5 |      760
1154.30/1154.76	c 1152s |      17 |  1925527 |   243632 |    77854      5 |        5 |      760
1156.60/1157.09	c 1154s |      17 |  1928732 |   244332 |    77854      5 |        5 |      760
1159.01/1159.41	c 1156s |      17 |  1930955 |   245032 |    77854      5 |        5 |      760
1161.10/1161.54	c 1158s |      17 |  1932640 |   245732 |    77854      5 |        5 |      760
1163.51/1163.98	c 1161s |      17 |  1935652 |   246432 |    77854      5 |        5 |      760
1165.61/1166.07	c 1163s |      17 |  1937532 |   246732 |    77854      5 |        5 |      760
1168.00/1168.49	c 1165s |      17 |  1939678 |   247232 |    77854      5 |        5 |      760
1170.70/1171.13	c 1168s |      17 |  1943266 |   247632 |    77854      5 |        5 |      760
1173.10/1173.57	c 1170s |      17 |  1946545 |   248032 |    77854      5 |        5 |      760
1175.40/1175.81	c 1173s |      17 |  1948941 |   248532 |    77854      5 |        5 |      760
1178.81/1179.26	c 1176s |      17 |  1953260 |   248932 |    77854      6 |        5 |      760
1180.80/1181.30	c 1178s |      17 |  1955599 |   249232 |    77854      6 |        5 |      760
1183.00/1183.43	c 1180s |      17 |  1958015 |   249732 |    77854      6 |        5 |      760
1185.30/1185.70	c 1182s |      17 |  1961969 |   250132 |    77854      6 |        5 |      760
1187.40/1187.84	c 1185s |      17 |  1964909 |   250532 |    77854      6 |        5 |      760
1189.60/1190.02	c 1187s |      17 |  1968874 |   251132 |    77854      6 |        5 |      760
1191.70/1192.17	c 1189s |      17 |  1972991 |   251532 |    77854      6 |        5 |      760
1193.80/1194.28	c 1191s |      17 |  1977850 |   252132 |    77854      6 |        5 |      760
1196.10/1196.58	c 1193s |      17 |  1980585 |   252532 |    77854      6 |        5 |      760
1198.40/1198.89	c 1196s |      17 |  1985829 |   252932 |    77854      6 |        5 |      760
1200.70/1201.17	c 1198s |      17 |  1988376 |   253432 |    77854      6 |        5 |      760
1202.80/1203.22	c 1200s |      17 |  1991075 |   253932 |    77854      6 |        5 |      760
1205.00/1205.43	c 1202s |      17 |  1994503 |   254332 |    77854      6 |        5 |      760
1207.00/1207.46	c 1204s |      17 |  1997021 |   254832 |    77854      6 |        5 |      760
1209.10/1209.56	c 1206s |      17 |  2001154 |   255332 |    77854      6 |        5 |      760
1211.40/1211.85	c 1209s |      17 |  2005558 |   255932 |    77854      6 |        5 |      760
1213.50/1213.96	c 1211s |      17 |  2009303 |   256532 |    77854      6 |        5 |      760
1215.50/1216.00	c 1213s |      17 |  2012081 |   256932 |    77854      6 |        5 |      760
1217.69/1218.19	c 1215s |      17 |  2014818 |   257432 |    77854      6 |        5 |      760
1219.99/1220.49	c 1217s |      17 |  2017723 |   257932 |    77854      6 |        5 |      760
1222.09/1222.55	c 1219s |      17 |  2020492 |   258432 |    77854      6 |        5 |      760
1224.29/1224.78	c 1222s |      17 |  2023698 |   259032 |    77854      6 |        5 |      760
1226.59/1227.06	c 1224s |      17 |  2027075 |   259632 |    77854      6 |        5 |      760
1228.79/1229.30	c 1226s |      17 |  2030470 |   260332 |    77854      6 |        5 |      760
1230.89/1231.34	c 1228s |      17 |  2032546 |   260832 |    77854      6 |        5 |      760
1232.99/1233.43	c 1230s |      17 |  2034697 |   261332 |    77854      6 |        5 |      760
1235.09/1235.57	c 1232s |      17 |  2037853 |   261932 |    77854      6 |        5 |      760
1237.39/1237.86	c 1235s |      17 |  2040042 |   262532 |    77854      6 |        5 |      760
1239.59/1240.08	c 1237s |      17 |  2042546 |   263232 |    77854      6 |        5 |      760
1241.89/1242.32	c 1239s |      17 |  2044643 |   264032 |    77854      6 |        5 |      760
1244.19/1244.65	c 1241s |      17 |  2047021 |   264632 |    77854      6 |        5 |      760
1246.59/1247.04	c 1244s |      17 |  2050370 |   265032 |    77854      6 |        5 |      760
1249.09/1249.51	c 1246s |      17 |  2054381 |   265432 |    77854      6 |        5 |      760
1251.29/1251.71	c 1248s |      17 |  2057689 |   265732 |    77854      6 |        5 |      760
1253.59/1254.02	c 1251s |      17 |  2064027 |   266132 |    77854      6 |        5 |      760
1255.99/1256.42	c 1253s |      17 |  2068381 |   266732 |    77854      6 |        5 |      760
1258.39/1258.81	c 1256s |      17 |  2071408 |   267132 |    77854      6 |        5 |      760
1260.89/1261.34	c 1258s |      17 |  2076082 |   267532 |    77854      6 |        5 |      760
1263.19/1263.68	c 1260s |      17 |  2079209 |   268132 |    77854      6 |        5 |      760
1265.69/1266.17	c 1263s |      17 |  2082000 |   268532 |    77854      6 |        5 |      760
1268.19/1268.64	c 1265s |      17 |  2085004 |   268932 |    77854      6 |        5 |      760
1270.69/1271.10	c 1268s |      17 |  2088647 |   269532 |    77854      6 |        5 |      760
1273.19/1273.66	c 1270s |      17 |  2091615 |   269932 |    77854      6 |        5 |      760
1275.49/1275.99	c 1273s |      17 |  2095059 |   270432 |    77854      6 |        5 |      760
1277.99/1278.40	c 1275s |      17 |  2099731 |   270932 |    77854      6 |        5 |      760
1280.29/1280.76	c 1278s |      17 |  2101565 |   271432 |    77854      6 |        5 |      760
1282.39/1282.88	c 1280s |      17 |  2104031 |   271832 |    77854      6 |        5 |      760
1284.88/1285.30	c 1282s |      17 |  2107534 |   272232 |    77854      6 |        5 |      760
1286.88/1287.36	c 1284s |      17 |  2110286 |   272732 |    77854      6 |        5 |      760
1289.48/1289.90	c 1287s |      17 |  2112711 |   273132 |    77854      6 |        5 |      760
1291.58/1292.01	c 1289s |      17 |  2115738 |   273632 |    77854      6 |        5 |      760
1293.98/1294.49	c 1291s |      17 |  2119333 |   274132 |    77854      6 |        5 |      760
1296.18/1296.64	c 1293s |      17 |  2122253 |   274632 |    77854      6 |        5 |      760
1298.28/1298.79	c 1296s |      17 |  2125392 |   275032 |    77854      6 |        5 |      760
1300.38/1300.84	c 1298s |      17 |  2127617 |   275432 |    77854      6 |        5 |      760
1302.68/1303.16	c 1300s |      17 |  2131305 |   275932 |    77854      6 |        5 |      760
1305.18/1305.62	c 1302s |      17 |  2133077 |   276432 |    77854      6 |        5 |      760
1307.49/1307.95	c 1305s |      17 |  2135502 |   277032 |    77854      6 |        5 |      760
1309.48/1309.97	c 1307s |      17 |  2137693 |   277532 |    77854      6 |        5 |      760
1311.78/1312.28	c 1309s |      17 |  2139886 |   278032 |    77854      6 |        5 |      760
1313.88/1314.34	c 1311s |      17 |  2141969 |   278532 |    77854      6 |        5 |      760
1316.18/1316.68	c 1313s |      17 |  2144507 |   279132 |    77854      6 |        5 |      760
1318.48/1318.94	c 1316s |      17 |  2146048 |   279732 |    77854      6 |        5 |      760
1320.68/1321.11	c 1318s |      17 |  2147747 |   280332 |    77854      6 |        5 |      760
1322.78/1323.29	c 1320s |      17 |  2149176 |   281032 |    77854      6 |        5 |      760
1325.28/1325.71	c 1322s |      17 |  2152211 |   281632 |    77854      6 |        5 |      760
1327.68/1328.16	c 1325s |      17 |  2154734 |   282132 |    77854      6 |        5 |      760
1329.68/1330.19	c 1327s |      17 |  2156558 |   282532 |    77854      6 |        5 |      760
1331.78/1332.29	c 1329s |      17 |  2160669 |   282832 |    77854      6 |        5 |      760
1333.88/1334.40	c 1331s |      17 |  2163157 |   283132 |    77854      6 |        5 |      760
1336.18/1336.69	c 1333s |      17 |  2165656 |   283532 |    77854      6 |        5 |      760
1338.38/1338.86	c 1336s |      17 |  2167717 |   283932 |    77854      6 |        5 |      760
1340.78/1341.30	c 1338s |      17 |  2170795 |   284332 |    77854      6 |        5 |      760
1343.07/1343.55	c 1340s |      17 |  2173457 |   284832 |    77854      6 |        5 |      760
1345.47/1345.90	c 1343s |      17 |  2178907 |   285232 |    77854      6 |        5 |      760
1347.47/1347.98	c 1345s |      17 |  2182156 |   285732 |    77854      6 |        5 |      760
1350.17/1350.63	c 1347s |      17 |  2185912 |   286132 |    77854      6 |        5 |      760
1352.47/1352.94	c 1350s |      17 |  2187573 |   286532 |    77854      6 |        5 |      760
1354.97/1355.47	c 1352s |      17 |  2190293 |   286932 |    77854      6 |        5 |      760
1356.98/1357.47	c 1354s |      17 |  2192603 |   287232 |    77854      6 |        5 |      760
1359.57/1360.09	c 1357s |      17 |  2196644 |   287632 |    77854      6 |        5 |      760
1361.67/1362.10	c 1359s |      17 |  2199870 |   288032 |    77854      6 |        5 |      760
1363.97/1364.48	c 1361s |      17 |  2202114 |   288532 |    77854      6 |        5 |      760
1366.07/1366.52	c 1363s |      17 |  2204275 |   288832 |    77854      6 |        5 |      760
1368.17/1368.64	c 1365s |      17 |  2206979 |   289332 |    77854      6 |        5 |      760
1370.57/1371.09	c 1368s |      17 |  2209415 |   289632 |    77854      7 |        5 |      760
1372.97/1373.48	c 1370s |      17 |  2213049 |   290232 |    77854      7 |        5 |      760
1375.27/1375.79	c 1373s |      17 |  2215864 |   290632 |    77854      7 |        5 |      760
1377.57/1378.00	c 1375s |      17 |  2217861 |   291132 |    77854      7 |        5 |      760
1379.57/1380.06	c 1377s |      17 |  2221274 |   291532 |    77854      7 |        5 |      760
1382.07/1382.51	c 1379s |      17 |  2224436 |   292132 |    77854      7 |        5 |      760
1384.37/1384.83	c 1382s |      17 |  2227237 |   292632 |    77854      7 |        5 |      760
1386.37/1386.85	c 1384s |      17 |  2229910 |   293132 |    77854      7 |        5 |      760
1388.57/1389.03	c 1386s |      17 |  2232914 |   293632 |    77854      7 |        5 |      760
1390.57/1391.04	c 1388s |      17 |  2234985 |   294132 |    77854      7 |        5 |      760
1392.97/1393.42	c 1390s |      17 |  2237885 |   294732 |    85640      7 |        5 |      760
1394.97/1395.47	c 1392s |      17 |  2240701 |   295232 |    85640      7 |        5 |      760
1397.07/1397.52	c 1394s |      17 |  2242889 |   295732 |    85640      7 |        5 |      760
1399.37/1399.87	c 1397s |      17 |  2245198 |   296232 |    85640      7 |        5 |      760
1399.47/1399.95	c 1397s |      18 |  2245227 |   296252 |    85640      7 |        5 |      760
1403.67/1404.18	c 1401s |      18 |  2247817 |   296552 |    85640      7 |        5 |      760
1405.77/1406.22	c 1403s |      18 |  2250036 |   296852 |    85640      7 |        5 |      760
1407.87/1408.37	c 1405s |      18 |  2251825 |   297352 |    85640      7 |        5 |      760
1409.97/1410.42	c 1407s |      18 |  2254361 |   297752 |    85640      7 |        5 |      760
1412.37/1412.82	c 1410s |      18 |  2259073 |   298152 |    85640      7 |        5 |      760
1414.47/1414.90	c 1412s |      18 |  2262699 |   298652 |    85640      7 |        5 |      760
1416.67/1417.18	c 1414s |      18 |  2266430 |   299052 |    85640      7 |        5 |      760
1418.87/1419.30	c 1416s |      18 |  2267793 |   299552 |    85640      7 |        5 |      760
1421.07/1421.55	c 1418s |      18 |  2269061 |   300052 |    85640      7 |        5 |      760
1423.37/1423.80	c 1421s |      18 |  2270664 |   300652 |    85640      7 |        5 |      760
1425.47/1425.97	c 1423s |      18 |  2271950 |   301252 |    85640      7 |        5 |      760
1427.67/1428.13	c 1425s |      18 |  2275583 |   301552 |    85640      7 |        5 |      760
1430.07/1430.54	c 1427s |      18 |  2280772 |   301952 |    85640      7 |        5 |      760
1432.07/1432.56	c 1429s |      18 |  2283101 |   302452 |    85640      7 |        5 |      760
1434.37/1434.81	c 1432s |      18 |  2287409 |   302852 |    85640      7 |        5 |      760
1436.47/1436.94	c 1434s |      18 |  2290988 |   303252 |    85640      7 |        5 |      760
1438.67/1439.18	c 1436s |      18 |  2294077 |   303652 |    85640      7 |        5 |      760
1440.97/1441.49	c 1438s |      18 |  2297070 |   304152 |    85640      7 |        5 |      760
1443.07/1443.56	c 1440s |      18 |  2299557 |   304452 |    85640      7 |        5 |      760
1445.17/1445.67	c 1442s |      18 |  2302005 |   304752 |    85640      7 |        5 |      760
1447.27/1447.71	c 1444s |      18 |  2304870 |   305152 |    85640      7 |        5 |      760
1449.56/1450.05	c 1447s |      18 |  2307549 |   305652 |    85640      7 |        5 |      760
1452.06/1452.50	c 1449s |      18 |  2311424 |   306052 |    85640      7 |        5 |      760
1454.36/1454.85	c 1452s |      18 |  2314519 |   306452 |    85640      7 |        5 |      760
1456.56/1457.06	c 1454s |      18 |  2316776 |   306952 |    85640      7 |        5 |      760
1459.06/1459.55	c 1456s |      18 |  2319890 |   307352 |    85640      7 |        5 |      760
1461.26/1461.72	c 1458s |      18 |  2323455 |   307952 |    85640      7 |        5 |      760
1463.46/1463.96	c 1461s |      18 |  2326963 |   308352 |    85640      7 |        5 |      760
1465.76/1466.28	c 1463s |      18 |  2329955 |   308752 |    85640      7 |        5 |      760
1467.86/1468.33	c 1465s |      18 |  2332880 |   309252 |    85640      7 |        5 |      760
1470.06/1470.58	c 1467s |      18 |  2336852 |   309652 |    85640      7 |        5 |      760
1472.26/1472.73	c 1469s |      18 |  2340145 |   310152 |    85640      7 |        5 |      760
1474.56/1475.00	c 1472s |      18 |  2342835 |   310552 |    85640      7 |        5 |      760
1476.56/1477.05	c 1474s |      18 |  2345733 |   310952 |    85640      7 |        5 |      760
1478.96/1479.40	c 1476s |      18 |  2347752 |   311452 |    85640      7 |        5 |      760
1481.16/1481.61	c 1478s |      18 |  2350931 |   311952 |    85640      7 |        5 |      760
1483.16/1483.61	c 1480s |      18 |  2354154 |   312352 |    85640      7 |        5 |      760
1485.16/1485.66	c 1482s |      18 |  2356865 |   312852 |    85640      7 |        5 |      760
1487.36/1487.81	c 1485s |      18 |  2359096 |   313252 |    85640      7 |        5 |      760
1489.76/1490.22	c 1487s |      18 |  2362064 |   313752 |    85640      7 |        5 |      760
1491.86/1492.32	c 1489s |      18 |  2363865 |   314252 |    85640      7 |        5 |      760
1494.06/1494.56	c 1491s |      18 |  2367190 |   314752 |    85640      7 |        5 |      760
1496.26/1496.77	c 1494s |      18 |  2368727 |   315252 |    85640      7 |        5 |      760
1498.46/1498.95	c 1496s |      18 |  2370435 |   315752 |    85640      7 |        5 |      760
1500.76/1501.25	c 1498s |      18 |  2372682 |   316252 |    85640      7 |        5 |      760
1502.76/1503.27	c 1500s |      18 |  2373987 |   316752 |    85640      7 |        5 |      760
1505.06/1505.52	c 1502s |      18 |  2375408 |   317352 |    85640      7 |        5 |      760
1507.05/1507.54	c 1504s |      18 |  2377019 |   317852 |    85640      7 |        5 |      760
1509.35/1509.86	c 1507s |      18 |  2379961 |   318352 |    85640      7 |        5 |      760
1512.06/1512.54	c 1509s |      18 |  2384282 |   318752 |    85640      7 |        5 |      760
1514.26/1514.73	c 1511s |      18 |  2387357 |   319052 |    85640      7 |        5 |      760
1516.25/1516.78	c 1514s |      18 |  2389525 |   319452 |    85640      7 |        5 |      760
1518.45/1518.91	c 1516s |      18 |  2392318 |   319852 |    85640      7 |        5 |      760
1521.05/1521.50	c 1518s |      18 |  2395371 |   320152 |    85640      7 |        5 |      760
1523.16/1523.69	c 1520s |      18 |  2398098 |   320552 |    85640      7 |        5 |      760
1525.95/1526.47	c 1523s |      18 |  2400253 |   321052 |    85640      7 |        5 |      760
1528.25/1528.72	c 1525s |      18 |  2402104 |   321352 |    85640      7 |        5 |      760
1530.55/1531.05	c 1528s |      18 |  2404678 |   321652 |    85640      7 |        5 |      760
1532.75/1533.24	c 1530s |      18 |  2406788 |   322052 |    85640      7 |        5 |      760
1534.95/1535.49	c 1532s |      18 |  2409496 |   322452 |    85640      7 |        5 |      760
1537.46/1537.91	c 1535s |      18 |  2413810 |   322852 |    85640      7 |        5 |      760
1539.45/1539.93	c 1537s |      18 |  2417044 |   323152 |    85640      7 |        5 |      760
1541.55/1542.03	c 1539s |      18 |  2418791 |   323552 |    85640      7 |        5 |      760
1544.15/1544.66	c 1541s |      18 |  2422671 |   323952 |    85640      7 |        5 |      760
1546.55/1547.02	c 1544s |      18 |  2425232 |   324452 |    85640      7 |        5 |      760
1548.95/1549.42	c 1546s |      18 |  2429330 |   324852 |    85640      7 |        5 |      760
1551.35/1551.85	c 1549s |      18 |  2433006 |   325252 |    85640      7 |        5 |      760
1553.75/1554.28	c 1551s |      18 |  2435610 |   325752 |    85640      7 |        5 |      760
1555.85/1556.36	c 1553s |      18 |  2438492 |   326152 |    85640      7 |        5 |      760
1558.05/1558.59	c 1555s |      18 |  2441577 |   326652 |    85640      7 |        5 |      760
1560.15/1560.63	c 1557s |      18 |  2443735 |   326952 |    85640      7 |        5 |      760
1562.35/1562.82	c 1560s |      18 |  2445690 |   327352 |    85640      7 |        5 |      760
1564.55/1565.02	c 1562s |      18 |  2448017 |   327752 |    85640      7 |        5 |      760
1566.84/1567.33	c 1564s |      18 |  2449829 |   328152 |    85640      7 |        5 |      760
1569.35/1569.82	c 1567s |      18 |  2453074 |   328552 |    85640      7 |        5 |      760
1571.34/1571.87	c 1569s |      18 |  2455584 |   329052 |    85640      7 |        5 |      760
1573.44/1574.00	c 1571s |      18 |  2457567 |   329552 |    85640      7 |        5 |      760
1575.64/1576.17	c 1573s |      18 |  2460608 |   330052 |    85640      7 |        5 |      760
1577.64/1578.19	c 1575s |      18 |  2462805 |   330452 |    85640      7 |        5 |      760
1579.94/1580.41	c 1577s |      18 |  2464171 |   330952 |    85640      7 |        5 |      760
1582.14/1582.60	c 1579s |      18 |  2465766 |   331452 |    85640      7 |        5 |      760
1584.24/1584.74	c 1581s |      18 |  2467999 |   332052 |    85640      7 |        5 |      760
1586.34/1586.87	c 1584s |      18 |  2469308 |   332552 |    85640      7 |        5 |      760
1588.64/1589.13	c 1586s |      18 |  2471155 |   333252 |    85640      7 |        5 |      760
1590.94/1591.40	c 1588s |      18 |  2473423 |   333752 |    85640      7 |        5 |      760
1593.04/1593.59	c 1590s |      18 |  2475957 |   334052 |    85640      7 |        5 |      760
1595.75/1596.24	c 1593s |      18 |  2478745 |   334552 |    85640      7 |        5 |      760
1598.44/1598.90	c 1596s |      18 |  2483194 |   334952 |    85640      7 |        5 |      760
1600.74/1601.23	c 1598s |      18 |  2486439 |   335252 |    85640      7 |        5 |      760
1602.84/1603.30	c 1600s |      18 |  2488492 |   335552 |    85640      7 |        5 |      760
1604.84/1605.34	c 1602s |      18 |  2490074 |   335952 |    85640      7 |        5 |      760
1607.64/1608.13	c 1605s |      18 |  2493274 |   336352 |    85640      7 |        5 |      760
1610.14/1610.64	c 1607s |      18 |  2496635 |   336752 |    85640      7 |        5 |      760
1613.84/1614.34	c 1611s |      18 |  2499177 |   337252 |    85640      8 |        5 |      760
1618.03/1618.56	c 1615s |      18 |  2500269 |   337552 |    85640      8 |        5 |      760
1620.04/1620.57	c 1617s |      18 |  2501550 |   337752 |    85640      8 |        5 |      760
1623.04/1623.58	c 1620s |      18 |  2502077 |   337852 |    85640      8 |        5 |      760
1625.64/1626.10	c 1623s |      18 |  2505583 |   338452 |    85640      8 |        5 |      760
1629.24/1629.73	c 1626s |      18 |  2509482 |   338952 |    85640      8 |        5 |      760
1631.24/1631.79	c 1629s |      18 |  2511562 |   339452 |    85640      8 |        5 |      760
1633.43/1633.93	c 1631s |      18 |  2515073 |   339952 |    85640      8 |        5 |      760
1635.43/1635.95	c 1633s |      18 |  2517738 |   340352 |    85640      8 |        5 |      760
1637.93/1638.43	c 1635s |      18 |  2521796 |   340952 |    85640      8 |        5 |      760
1640.03/1640.59	c 1637s |      18 |  2524190 |   341452 |    85640      8 |        5 |      760
1642.23/1642.71	c 1639s |      18 |  2527740 |   342052 |    85640      8 |        5 |      760
1644.43/1644.94	c 1642s |      18 |  2530915 |   342552 |    85640      8 |        5 |      760
1646.63/1647.19	c 1644s |      18 |  2534306 |   343152 |    85640      8 |        5 |      760
1648.73/1649.26	c 1646s |      18 |  2536857 |   343652 |    85640      8 |        5 |      760
1651.13/1651.62	c 1648s |      18 |  2540175 |   344252 |    85640      8 |        5 |      760
1653.13/1653.64	c 1650s |      18 |  2542546 |   344852 |    85640      8 |        5 |      760
1655.23/1655.70	c 1652s |      18 |  2544562 |   345352 |    85640      8 |        5 |      760
1657.43/1657.92	c 1655s |      18 |  2546177 |   345952 |    85640      8 |        5 |      760
1659.73/1660.28	c 1657s |      18 |  2548649 |   346752 |    85640      8 |        5 |      760
1661.83/1662.33	c 1659s |      18 |  2551435 |   347552 |    85640      8 |        5 |      760
1664.13/1664.61	c 1661s |      18 |  2554569 |   348152 |    85640      8 |        5 |      760
1666.33/1666.88	c 1664s |      18 |  2557290 |   348652 |    85640      8 |        5 |      760
1668.43/1668.95	c 1666s |      18 |  2561796 |   349052 |    85640      8 |        5 |      760
1670.93/1671.44	c 1668s |      18 |  2566266 |   349452 |    85640      8 |        5 |      760
1673.33/1673.80	c 1671s |      18 |  2570135 |   349952 |    85640      8 |        5 |      760
1675.63/1676.18	c 1673s |      18 |  2572652 |   350452 |    85640      8 |        5 |      760
1678.13/1678.63	c 1675s |      18 |  2576197 |   351052 |    85640      8 |        5 |      760
1680.83/1681.30	c 1678s |      18 |  2579309 |   351452 |    85640      8 |        5 |      760
1683.13/1683.61	c 1680s |      18 |  2581598 |   351852 |    85640      8 |        5 |      760
1685.62/1686.15	c 1683s |      18 |  2584878 |   352352 |    85640      8 |        5 |      760
1687.92/1688.43	c 1685s |      18 |  2586327 |   352752 |    85640      8 |        5 |      760
1690.33/1690.81	c 1688s |      18 |  2588427 |   353252 |    85640      8 |        5 |      760
1692.62/1693.16	c 1690s |      18 |  2591682 |   353652 |    85640      8 |        5 |      760
1694.92/1695.47	c 1692s |      18 |  2594858 |   354252 |    85640      8 |        5 |      760
1697.22/1697.70	c 1694s |      18 |  2596979 |   354752 |    85640      8 |        5 |      760
1699.62/1700.16	c 1697s |      18 |  2599747 |   355252 |    85640      8 |        5 |      760
1701.92/1702.43	c 1699s |      18 |  2601438 |   355752 |    85640      8 |        5 |      760
1704.12/1704.64	c 1701s |      18 |  2603603 |   356252 |    85640      8 |        5 |      760
1706.32/1706.84	c 1704s |      18 |  2605640 |   356752 |    85640      8 |        5 |      760
1708.32/1708.89	c 1706s |      18 |  2607383 |   357252 |    85640      8 |        5 |      760
1710.42/1710.99	c 1708s |      18 |  2609271 |   357752 |    85640      8 |        5 |      760
1712.72/1713.22	c 1710s |      18 |  2610269 |   358252 |    85640      8 |        5 |      760
1715.12/1715.65	c 1712s |      18 |  2612593 |   358852 |    85640      8 |        5 |      760
1717.52/1718.05	c 1715s |      18 |  2616296 |   359252 |    85640      8 |        5 |      760
1719.52/1720.08	c 1717s |      18 |  2619177 |   359652 |    85640      8 |        5 |      760
1721.92/1722.45	c 1719s |      18 |  2623316 |   360052 |    85640      8 |        5 |      760
1723.92/1724.47	c 1721s |      18 |  2625883 |   360352 |    85640      8 |        5 |      760
1726.42/1726.91	c 1724s |      18 |  2628795 |   360852 |    85640      8 |        5 |      760
1728.62/1729.17	c 1726s |      18 |  2633485 |   361352 |    85640      8 |        5 |      760
1731.02/1731.57	c 1728s |      18 |  2637006 |   361852 |    85640      8 |        5 |      760
1733.32/1733.87	c 1731s |      18 |  2639550 |   362252 |    85640      8 |        5 |      760
1735.42/1735.96	c 1733s |      18 |  2642715 |   362652 |    85640      8 |        5 |      760
1737.71/1738.22	c 1735s |      18 |  2645599 |   363152 |    85640      8 |        5 |      760
1740.11/1740.67	c 1737s |      18 |  2649243 |   363652 |    85640      8 |        5 |      760
1742.21/1742.79	c 1740s |      18 |  2652367 |   364152 |    85640      8 |        5 |      760
1744.51/1745.05	c 1742s |      18 |  2655019 |   364652 |    85640      8 |        5 |      760
1746.71/1747.22	c 1744s |      18 |  2657628 |   365052 |    85640      8 |        5 |      760
1748.81/1749.39	c 1746s |      18 |  2660139 |   365552 |    85640      8 |        5 |      760
1750.82/1751.40	c 1748s |      18 |  2662068 |   365952 |    85640      8 |        5 |      760
1753.11/1753.67	c 1750s |      18 |  2664461 |   366452 |    85640      8 |        5 |      760
1755.41/1755.96	c 1753s |      18 |  2666819 |   366952 |    85640      8 |        5 |      760
1757.51/1758.03	c 1755s |      18 |  2668874 |   367452 |    85640      8 |        5 |      760
1759.71/1760.23	c 1757s |      18 |  2670851 |   367952 |    85640      8 |        5 |      760
1761.72/1762.24	c 1759s |      18 |  2672372 |   368452 |    85640      8 |        5 |      760
1763.71/1764.26	c 1761s |      18 |  2674145 |   368952 |    85640      8 |        5 |      760
1765.81/1766.35	c 1763s |      18 |  2676703 |   369552 |    85640      8 |        5 |      760
1768.01/1768.52	c 1765s |      18 |  2678514 |   370152 |    85640      8 |        5 |      760
1770.01/1770.56	c 1767s |      18 |  2680627 |   370752 |    85640      8 |        5 |      760
1772.31/1772.84	c 1770s |      18 |  2684087 |   371152 |    85640      8 |        5 |      760
1774.51/1775.02	c 1772s |      18 |  2685451 |   371552 |    85640      8 |        5 |      760
1777.01/1777.58	c 1774s |      18 |  2688333 |   371952 |    85640      8 |        5 |      760
1779.31/1779.81	c 1777s |      18 |  2691321 |   372452 |    85640      8 |        5 |      760
1781.51/1782.09	c 1779s |      18 |  2694119 |   372952 |    85640      8 |        5 |      760
1783.91/1784.45	c 1781s |      18 |  2696661 |   373352 |    85640      8 |        5 |      760
1786.42/1786.93	c 1784s |      18 |  2699998 |   373752 |    85640      8 |        5 |      760
1788.52/1789.05	c 1786s |      18 |  2701362 |   374152 |    85640      8 |        5 |      760
1791.21/1791.71	c 1788s |      18 |  2704882 |   374552 |    85640      8 |        5 |      760
1793.72/1794.26	c 1791s |      18 |  2707326 |   375052 |    85640      8 |        5 |      760
1796.11/1796.64	c 1793s |      18 |  2709137 |   375552 |    85640      8 |        5 |      760
1798.12/1798.65	c 1795s |      18 |  2712210 |   375952 |    85640      8 |        5 |      760

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

pid=448
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.28 2.21 2.18 3/179 451
/proc/meminfo: memFree=29458156/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=378300 CPUtime=0 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 1348 0 0 0 0 0 0 0 20 0 4 0 14003770 387379200 2220 33554432000 4194304 16246674 140735968397248 140735968396672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 95087 2231 441 2943 0 91981 0
[pid=451/tid=452] ppid=448 vsize=690756 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 707334144 3445 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=695876 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 712577024 3465 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=699972 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 716771328 3479 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.28 2.21 2.18 3/179 451
/proc/meminfo: memFree=29458156/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 28310 0 0 0 5 4 0 0 20 0 4 0 14003770 1250496512 29119 33554432000 4194304 16246674 140735968397248 140735968396560 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 305553 29122 802 2943 0 302447 0
[pid=451/tid=452] ppid=448 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1251545088 29128 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1251545088 29131 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1251545088 29133 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200519 s]
/proc/loadavg: 2.28 2.21 2.18 3/179 451
/proc/meminfo: memFree=29458156/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 50559 0 0 0 12 7 0 0 20 0 4 0 14003770 1344868352 51879 33554432000 4194304 16246674 140735968397248 140735968396560 8057265 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 328337 51879 802 2943 0 325231 0
[pid=451/tid=452] ppid=448 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1344868352 51879 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1344868352 51879 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1344868352 51879 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300503 s]
/proc/loadavg: 2.28 2.21 2.18 3/179 451
/proc/meminfo: memFree=29458156/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 56364 0 0 0 21 8 0 0 20 0 4 0 14003770 1344868352 57684 33554432000 4194304 16246674 140735968397248 140735968396560 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 328337 57684 802 2943 0 325231 0
[pid=451/tid=452] ppid=448 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1344868352 57684 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1344868352 57684 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1344868352 57684 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700405 s]
/proc/loadavg: 2.28 2.21 2.18 3/179 451
/proc/meminfo: memFree=29458156/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 69844 0 0 0 59 10 0 0 20 0 4 0 14003770 1344868352 71164 33554432000 4194304 16246674 140735968397248 140735968396560 4220940 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 328337 71164 803 2943 0 325231 0
[pid=451/tid=452] ppid=448 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1344868352 71164 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1344868352 71164 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1344868352 71164 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.26 2.20 2.18 3/183 455
/proc/meminfo: memFree=29113188/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 189972 0 0 0 123 26 0 0 20 0 4 0 14003770 1344868352 191292 33554432000 4194304 16246674 140735968397248 140735968379136 9616021 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 328337 191307 837 2943 0 325231 0
[pid=451/tid=452] ppid=448 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1344868352 191316 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1344868352 191321 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1344868352 191327 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 2.26 2.20 2.18 3/183 455
/proc/meminfo: memFree=28365964/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1325636 CPUtime=3.09 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 271908 0 0 0 272 37 0 0 20 0 4 0 14003770 1357451264 273228 33554432000 4194304 16246674 140735968397248 140735968379136 6023108 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 331409 273228 880 2943 0 328303 0
[pid=451/tid=452] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273228 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273228 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273228 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.3004 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 455
/proc/meminfo: memFree=28365024/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1325636 CPUtime=6.29 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 272080 0 0 0 592 37 0 0 20 0 4 0 14003770 1357451264 273400 33554432000 4194304 16246674 140735968397248 140735968379136 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 331409 273400 886 2943 0 328303 0
[pid=451/tid=452] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273400 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273400 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273400 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 455
/proc/meminfo: memFree=28365380/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1325636 CPUtime=12.69 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 272082 0 0 0 1232 37 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140735968379136 5675745 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 331409 273402 886 2943 0 328303 0
[pid=451/tid=452] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.26 2.20 2.18 4/182 455
/proc/meminfo: memFree=28366136/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1325636 CPUtime=25.49 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 272082 0 0 0 2512 37 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140735968379136 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 331409 273402 886 2943 0 328303 0
[pid=451/tid=452] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1325636

[startup+51.1005 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 456
/proc/meminfo: memFree=28364892/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1325636 CPUtime=51.08 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 272082 0 0 0 5071 37 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140735968379136 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 331409 273402 886 2943 0 328303 0
[pid=451/tid=452] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 457
/proc/meminfo: memFree=28364664/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1325636 CPUtime=102.28 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 272082 0 0 0 10191 37 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140735968379136 5674567 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 331409 273402 886 2943 0 328303 0
[pid=451/tid=452] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1357451264 273402 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636


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

/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1393220

[startup+1362.3 s]
/proc/loadavg: 2.22 2.28 2.20 3/183 490
/proc/meminfo: memFree=28212600/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1393220 CPUtime=1361.87 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 289316 0 0 0 136142 45 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140735968379136 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 348305 290306 890 2943 0 345199 0
[pid=451/tid=452] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1393220

[startup+1422.3 s]
/proc/loadavg: 2.25 2.27 2.20 4/183 491
/proc/meminfo: memFree=28212320/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1393220 CPUtime=1421.87 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 289316 0 0 0 142141 46 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140735968379136 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 348305 290306 890 2943 0 345199 0
[pid=451/tid=452] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1393220

[startup+1482.3 s]
/proc/loadavg: 2.38 2.29 2.21 3/184 495
/proc/meminfo: memFree=28212364/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1393220 CPUtime=1481.86 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 289316 0 0 0 148140 46 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140735968379136 5824003 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 348305 290306 890 2943 0 345199 0
[pid=451/tid=452] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1393220

[startup+1542.31 s]
/proc/loadavg: 1.70 2.12 2.15 2/173 527
/proc/meminfo: memFree=29436076/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1393220 CPUtime=1541.86 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 289316 0 0 0 154140 46 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140735968379136 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 348305 290306 890 2943 0 345199 0
[pid=451/tid=452] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1393220

[startup+1602.3 s]
/proc/loadavg: 1.37 1.94 2.09 3/173 529
/proc/meminfo: memFree=29435972/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1393220 CPUtime=1601.84 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 289316 0 0 0 160138 46 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140735968380248 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 348305 290306 890 2943 0 345199 0
[pid=451/tid=452] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1393220

[startup+1662.3 s]
/proc/loadavg: 1.33 1.83 2.04 3/173 530
/proc/meminfo: memFree=29435980/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1393220 CPUtime=1661.83 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 289316 0 0 0 166136 47 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140735968379136 5827656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 348305 290306 890 2943 0 345199 0
[pid=451/tid=452] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1393220

[startup+1722.3 s]
/proc/loadavg: 1.21 1.70 1.98 2/173 531
/proc/meminfo: memFree=29435996/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1393220 CPUtime=1721.82 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 289316 0 0 0 172135 47 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140735968379136 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 348305 290306 890 2943 0 345199 0
[pid=451/tid=452] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1393220

[startup+1782.3 s]
/proc/loadavg: 1.35 1.65 1.94 3/173 532
/proc/meminfo: memFree=29435764/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1393220 CPUtime=1781.81 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 289316 0 0 0 178134 47 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140735968379136 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 348305 290306 890 2943 0 345199 0
[pid=451/tid=452] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1393220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.35 1.63 1.93 2/173 533
/proc/meminfo: memFree=29435760/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1393220 CPUtime=1800.01 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 289316 0 0 0 179953 48 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140735968379136 5677776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 348305 290306 890 2943 0 345199 0
[pid=451/tid=452] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1393220

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

[startup+1800.5 s]
/proc/loadavg: 1.35 1.63 1.93 2/173 533
/proc/meminfo: memFree=29435760/32872528 swapFree=1190796/1305260
[pid=451] ppid=448 vsize=1393220 CPUtime=1800.01 cores=0,2,4,6
/proc/451/stat : 451 (toysat) R 448 451 29204 0 -1 4202496 289316 0 0 0 179953 48 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140735968379136 5677776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/451/statm: 348305 290306 890 2943 0 345199 0
[pid=451/tid=452] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/452/stat : 452 (toysat) S 448 451 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732885085424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=451/tid=453] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/453/stat : 453 (toysat) S 448 451 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732874595568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=451/tid=454] ppid=448 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/451/task/454/stat : 454 (toysat) S 448 451 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14003770 1426657280 290306 33554432000 4194304 16246674 140735968397248 140732790729904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1393220

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.54
CPU system time (s): 0.480926
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1393220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.480926
maximum resident set size= 1161224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289316
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= 348
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.20921 second user time and 8.28574 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-17 01:26:11
IDJOB=4098087
IDBENCH=107850
IDSOLVER=2542
FILE ID=node127/4098087-1466119571
RUNJOBID= node127-1466112960-31001
PBS_JOBID= 19904036
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_24.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098087-1466119571/watcher-4098087-1466119571 -o /tmp/evaluation-result-4098087-1466119571/solver-4098087-1466119571 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466112960-31001 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098087-1466119571.opb

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

MD5SUM BENCH= 9c8b7baf8a030da6f1b828624be5b765
RANDOM SEED=960853865

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.56
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.769
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:        29458164 kB
Buffers:           67988 kB
Cached:           177512 kB
SwapCached:        34656 kB
Active:          1245840 kB
Inactive:         156696 kB
Active(anon):    1123640 kB
Inactive(anon):    35592 kB
Active(file):     122200 kB
Inactive(file):   121104 kB
Unevictable:     1305260 kB
Mlocked:         1190796 kB
SwapTotal:      67108856 kB
SwapFree:       67066092 kB
Dirty:             21376 kB
Writeback:             0 kB
AnonPages:       2362824 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             571644 kB
SReclaimable:      15948 kB
SUnreclaim:       555696 kB
KernelStack:        1520 kB
PageTables:         8964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2574276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    532480 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= 71720 MiB
End job on node127 at 2016-06-17 01:56:12