Trace number 4107873

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.09 1800.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12033_3-sat.opb
MD5SUM5c357873a81db98d0c84cf88eebfbda4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables26136
Total number of constraints86824
Number of constraints which are clauses86396
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints428
Minimum length of a constraint1
Maximum length of a constraint95
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 582
Number of bits of the biggest sum of numbers10
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-19T00:37:09+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-4107873-1466289428.opb"]
0.00/0.01	c use --random-gen="3766847589 3863471911 2323479585 22366017 2920646741 2026970429 747178790 2963520369 388842514 1268097631 1697086196 234648612 2181864752 3152307497 1665754763 288522170 2434758278 3738164329 243121700 853570411 2906033911 3566036392 1269195612 2142735469 532851787 697380584 609739610 3022252203 1084841183 3012930292 221685770 269417776 2156008279 3009556437 589876269 2595615303 4265016829 3698895257 3697641980 785574887 2032994799 571923241 3738768296 112955540 752294087 3061391357 2141760578 34732268 1799116664 2939528505 1133261939 939954181 4067645459 4130772538 3427790253 3456558797 4140819099 501451672 1460063019 1303840044 3697995436 763725326 3576531897 1505591661 1112845988 254323780 2547259470 2259128743 4218395768 2967629136 1763825585 1197895192 2604600229 441525418 520994434 3843440365 2533089621 800429884 2708490974 3168898479 3163930304 3706183316 551759838 1723096846 3547681874 476456102 1323062120 3429720540 2825413868 1257815117 3229776433 2623627526 2203946369 2718377835 1478065977 1127197316 3566095932 4174481466 1469337387 2436683686 3507050000 150203111 924783441 543208457 1956869132 187163782 3681207597 2275144666 2298937638 2272481033 3733620745 1942781513 1638627515 4112110080 3156720987 1987465958 3934926323 4035053669 2278601277 718624176 2041918643 1546050036 576653013 1183802180 1586311038 2113562947 700609446 868499236 3779023784 2703493517 3433371240 1423301067 1612078776 1854125684 1727528167 1892274030 1587886681 1196099453 3903378285 1398557902 599955697 2381274583 1922923686 4194552128 62544822 3147870168 3989484461 1058502421 1727633298 295176305 2780847478 1196614380 1120733104 3342851023 2004849315 583860820 3073665645 379367877 1959013434 2927520770 1860497559 3693769235 3529427922 3498652746 30293770 3058108264 78195384 4194355842 2296027048 3623660793 2868736531 157456142 3867207879 1290730274 2826813472 230718580 2210549723 3391693077 2404628125 2012627506 1255326685 1784802328 145312824 3993984220 3714787188 3810981823 2879065847 201655138 3286212953 1977314666 2557686770 2816169611 1882011509 3840880030 537333521 4171217754 2606800978 1014492283 260449281 3070452951 1708158013 1028496658 2290455388 2436065926 3115015208 39244300 323093153 1190672810 802895104 1513399570 2045857698 3992024428 3289148852 463507278 3728681757 3915949915 3450147110 1905412867 1013463317 2214001704 2953815923 4004474566 815244185 981277064 1075343422 216994375 1975024470 4175008698 3959198119 3722483 1611663736 69587408 1236655306 664164832 2763087224 2526499766 1500391000 198988142 1944682701 449182051 4039609240 3120935477 1778277323 1493516780 3272306210 4214401670 3386098899 1634309634 2261280694 865208081 2756066262 2682604799 3962592110 3651546320 2233780694 72166273 255 362436" option to reproduce the execution
0.48/0.52	c #vars 26136
0.48/0.52	c #constraints 86824
1.38/1.41	c Solving starts ...
1.38/1.41	c ============================[ Search Statistics ]============================
1.38/1.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.38/1.41	c       |         |          |          |    Limit     GC | Var      | Constra 
1.38/1.41	c =============================================================================
1.38/1.41	c  0.0s |       0 |        0 |        0 |    24740      0 |    15202 |        0
1.58/1.61	c  0.2s |       1 |      173 |      100 |    24740      0 |    15202 |    18841
1.88/1.91	c  0.5s |       2 |      414 |      250 |    27215      0 |    15202 |    18841
2.29/2.36	c  0.9s |       3 |      794 |      475 |    29937      0 |    15202 |    18841
3.18/3.30	c  1.9s |       4 |     1268 |      813 |    32931      0 |    15202 |    18841
3.98/4.03	c  2.6s |       5 |     2114 |     1320 |    36225      0 |    15202 |    18841
5.38/5.48	c  4.1s |       6 |     3331 |     2081 |    43833      0 |    15202 |    18841
7.38/7.49	c  6.1s |       6 |     4913 |     3081 |    43833      0 |    15202 |    18841
7.69/7.79	c  6.4s |       7 |     5100 |     3223 |    48217      0 |    15202 |    18841
9.78/9.89	c  8.5s |       7 |     6440 |     4223 |    48217      0 |    15202 |    18841
11.58/11.64	c 10.2s |       8 |     7476 |     4936 |    53039      0 |    15202 |    18841
13.68/13.74	c 12.3s |       8 |     8846 |     5836 |    53039      0 |    15202 |    18841
15.78/15.81	c 14.4s |       8 |    10081 |     6736 |    53039      0 |    15202 |    18841
17.59/17.63	c 16.2s |       9 |    11043 |     7506 |    58343      0 |    15202 |    18841
19.58/19.67	c 18.3s |       9 |    12304 |     8306 |    58343      0 |    15202 |    18841
21.68/21.72	c 20.3s |       9 |    13526 |     9106 |    58343      0 |    15202 |    18841
23.68/23.80	c 22.4s |       9 |    14705 |     9906 |    58343      0 |    15202 |    18841
25.78/25.81	c 24.4s |       9 |    15650 |    10606 |    58343      0 |    15202 |    18841
27.78/27.88	c 26.5s |      10 |    16752 |    11361 |    64178      0 |    15202 |    18841
29.79/29.89	c 28.5s |      10 |    17777 |    12061 |    64178      0 |    15202 |    18841
31.99/32.03	c 30.6s |      10 |    18842 |    12861 |    64178      0 |    15202 |    18841
34.19/34.23	c 32.8s |      10 |    20192 |    13761 |    64178      0 |    15202 |    18841
36.29/36.32	c 34.9s |      10 |    21419 |    14561 |    64178      0 |    15202 |    18841
38.49/38.57	c 37.2s |      10 |    22451 |    15361 |    64178      0 |    15202 |    18841
40.58/40.66	c 39.2s |      10 |    23461 |    16061 |    64178      0 |    15202 |    18841
42.68/42.78	c 41.4s |      10 |    24488 |    16761 |    64178      0 |    15202 |    18841
43.88/43.92	c 42.5s |      11 |    25076 |    17144 |    70596      0 |    15202 |    18841
46.08/46.13	c 44.7s |      11 |    26314 |    18044 |    70596      0 |    15202 |    18841
48.38/48.41	c 47.0s |      11 |    27190 |    18744 |    70596      0 |    15202 |    18841
50.38/50.50	c 49.1s |      11 |    28167 |    19444 |    70596      0 |    15202 |    18841
52.58/52.65	c 51.2s |      11 |    29139 |    20144 |    70596      0 |    15202 |    18841
54.78/54.81	c 53.4s |      11 |    30054 |    20844 |    70596      0 |    15202 |    18841
56.98/57.05	c 55.6s |      11 |    31130 |    21644 |    70596      0 |    15202 |    18841
59.28/59.32	c 57.9s |      11 |    32099 |    22444 |    70596      0 |    15202 |    18841
61.28/61.32	c 59.9s |      11 |    33000 |    23144 |    70596      0 |    15202 |    18841
63.48/63.55	c 62.1s |      11 |    34079 |    23944 |    70596      0 |    15202 |    18841
65.58/65.62	c 64.2s |      11 |    35012 |    24644 |    70596      0 |    15202 |    18841
67.77/67.83	c 66.4s |      11 |    35979 |    25344 |    70596      0 |    15202 |    18841
69.28/69.39	c 68.0s |      12 |    36553 |    25819 |    77656      0 |    15202 |    18841
71.37/71.45	c 70.0s |      12 |    38096 |    26719 |    77656      0 |    15202 |    18841
73.47/73.56	c 72.2s |      12 |    39041 |    27519 |    77656      0 |    15202 |    18841
75.57/75.69	c 74.3s |      12 |    39915 |    28219 |    77656      0 |    15202 |    18841
77.67/77.70	c 76.3s |      12 |    40910 |    29019 |    77656      0 |    15202 |    18841
79.87/79.91	c 78.5s |      12 |    41993 |    29819 |    77656      0 |    15202 |    18841
82.07/82.10	c 80.7s |      12 |    43133 |    30719 |    77656      0 |    15202 |    18841
84.07/84.13	c 82.7s |      12 |    44109 |    31519 |    77656      0 |    15202 |    18841
86.07/86.16	c 84.8s |      12 |    44961 |    32219 |    77656      0 |    15202 |    18841
88.27/88.34	c 86.9s |      12 |    45912 |    33019 |    77656      0 |    15202 |    18841
90.28/90.36	c 88.9s |      12 |    47121 |    33819 |    77656      0 |    15202 |    18841
92.48/92.56	c 91.2s |      12 |    48752 |    34819 |    77656      0 |    15202 |    18841
94.58/94.69	c 93.3s |      12 |    50105 |    35819 |    77656      0 |    15202 |    18841
96.78/96.85	c 95.4s |      12 |    51371 |    36719 |    77656      0 |    15202 |    18841
98.87/98.95	c 97.5s |      12 |    52493 |    37619 |    77656      0 |    15202 |    18841
101.07/101.14	c 99.7s |      12 |    53652 |    38519 |    77656      0 |    15202 |    18841
101.87/101.99	c  100s |      13 |    54016 |    38832 |    85422      0 |    15202 |    18841
104.17/104.23	c  102s |      13 |    55183 |    39532 |    85422      0 |    15202 |    18841
106.27/106.32	c  104s |      13 |    56102 |    40132 |    85422      0 |    15202 |    18841
108.57/108.69	c  107s |      13 |    57154 |    40832 |    85422      0 |    15202 |    18841
110.77/110.86	c  109s |      13 |    57990 |    41432 |    85422      0 |    15202 |    18841
112.77/112.88	c  111s |      13 |    58657 |    41932 |    85422      0 |    15202 |    18841
115.17/115.28	c  113s |      13 |    59418 |    42532 |    85422      0 |    15202 |    18841
117.47/117.55	c  116s |      13 |    60299 |    43132 |    85422      0 |    15202 |    18841
119.77/119.82	c  118s |      13 |    61089 |    43732 |    85422      0 |    15202 |    18841
121.87/121.92	c  120s |      13 |    61816 |    44332 |    85422      0 |    15202 |    18841
123.97/124.04	c  122s |      13 |    62523 |    44932 |    85422      0 |    15202 |    18841
126.27/126.30	c  124s |      13 |    63287 |    45532 |    85422      0 |    15202 |    18841
128.47/128.53	c  127s |      13 |    64065 |    46132 |    85422      0 |    15202 |    18841
130.77/130.81	c  129s |      13 |    64826 |    46732 |    85422      0 |    15202 |    18841
132.86/132.91	c  131s |      13 |    65575 |    47332 |    85422      0 |    15202 |    18841
134.86/134.93	c  133s |      13 |    66179 |    47832 |    85422      0 |    15202 |    18841
137.26/137.34	c  135s |      13 |    66902 |    48432 |    85422      0 |    15202 |    18841
139.36/139.48	c  138s |      13 |    67494 |    48932 |    85422      0 |    15202 |    18841
141.56/141.60	c  140s |      13 |    68082 |    49432 |    85422      0 |    15202 |    18841
143.66/143.70	c  142s |      13 |    68705 |    49932 |    85422      0 |    15202 |    18841
145.76/145.85	c  144s |      13 |    69317 |    50432 |    85422      0 |    15202 |    18841
147.86/147.95	c  146s |      13 |    69887 |    50932 |    85422      0 |    15202 |    18841
150.16/150.27	c  148s |      13 |    70622 |    51532 |    85422      0 |    15202 |    18841
152.26/152.31	c  150s |      13 |    71232 |    52032 |    85422      0 |    15202 |    18841
154.36/154.43	c  153s |      13 |    71805 |    52532 |    85422      0 |    15202 |    18841
156.46/156.57	c  155s |      13 |    72388 |    53032 |    85422      0 |    15202 |    18841
158.76/158.89	c  157s |      13 |    72983 |    53532 |    85422      0 |    15202 |    18841
160.96/161.04	c  159s |      13 |    73601 |    54032 |    85422      0 |    15202 |    18841
162.96/163.10	c  161s |      13 |    74363 |    54632 |    85422      0 |    15202 |    18841
165.26/165.37	c  163s |      13 |    75113 |    55232 |    85422      0 |    15202 |    18841
167.66/167.70	c  166s |      13 |    75970 |    55832 |    85422      0 |    15202 |    18841
169.96/170.04	c  168s |      13 |    76800 |    56432 |    85422      0 |    15202 |    18841
172.26/172.30	c  170s |      13 |    77539 |    57032 |    85422      0 |    15202 |    18841
174.26/174.32	c  172s |      13 |    78231 |    57532 |    85422      0 |    15202 |    18841
176.56/176.61	c  175s |      13 |    78982 |    58132 |    93965      0 |    15202 |    18841
177.26/177.35	c  175s |      14 |    79242 |    58352 |    93965      0 |    15202 |    18841
179.36/179.48	c  178s |      14 |    80200 |    59052 |    93965      0 |    15202 |    18841
181.46/181.58	c  180s |      14 |    81047 |    59752 |    93965      0 |    15202 |    18841
183.76/183.86	c  182s |      14 |    81889 |    60452 |    93965      0 |    15202 |    18841
185.86/185.98	c  184s |      14 |    82813 |    61152 |    93965      0 |    15202 |    18841
188.25/188.31	c  186s |      14 |    83621 |    61852 |    93965      0 |    15202 |    18841
190.45/190.55	c  189s |      14 |    84464 |    62552 |    93965      0 |    15202 |    18841
192.65/192.74	c  191s |      14 |    85315 |    63252 |    93965      0 |    15202 |    18841
194.85/194.91	c  193s |      14 |    86055 |    63852 |    93965      0 |    15202 |    18841
196.96/197.07	c  195s |      14 |    86805 |    64452 |    93965      0 |    15202 |    18841
199.16/199.21	c  197s |      14 |    87540 |    65052 |    93965      0 |    15202 |    18841
201.36/201.45	c  200s |      14 |    88273 |    65652 |    93965      0 |    15202 |    18841
203.46/203.53	c  202s |      14 |    88853 |    66152 |    93965      0 |    15202 |    18841
205.66/205.72	c  204s |      14 |    89560 |    66752 |    93965      0 |    15202 |    18841
207.65/207.75	c  206s |      14 |    90196 |    67252 |    93965      0 |    15202 |    18841
209.95/210.07	c  208s |      14 |    91105 |    67952 |    93965      0 |    15202 |    18841
212.05/212.16	c  210s |      14 |    91762 |    68452 |    93965      0 |    15202 |    18841
214.35/214.43	c  213s |      14 |    92452 |    69052 |    93965      0 |    15202 |    18841
216.35/216.49	c  215s |      14 |    93018 |    69552 |    93965      0 |    15202 |    18841
218.55/218.70	c  217s |      14 |    93727 |    70152 |    93965      0 |    15202 |    18841
220.95/221.05	c  219s |      14 |    94432 |    70752 |    93965      0 |    15202 |    18841
222.95/223.07	c  221s |      14 |    95009 |    71252 |    93965      0 |    15202 |    18841
225.25/225.37	c  223s |      14 |    95677 |    71852 |    93965      0 |    15202 |    18841
227.25/227.38	c  225s |      14 |    96246 |    72352 |    93965      0 |    15202 |    18841
229.35/229.41	c  228s |      14 |    96859 |    72852 |    93965      0 |    15202 |    18841
231.45/231.60	c  230s |      14 |    97547 |    73452 |    93965      0 |    15202 |    18841
233.85/233.90	c  232s |      14 |    98254 |    74052 |    93965      0 |    15202 |    18841
236.05/236.10	c  234s |      14 |    98946 |    74652 |    93965      0 |    15202 |    18841
238.35/238.41	c  237s |      14 |    99602 |    75252 |    93965      0 |    15202 |    18841
240.35/240.42	c  239s |      14 |   100177 |    75752 |    93965      0 |    15202 |    18841
242.35/242.49	c  241s |      14 |   100742 |    76252 |    93965      0 |    15202 |    18841
244.75/244.89	c  243s |      14 |   101426 |    76852 |    93965      0 |    15202 |    18841
246.85/246.93	c  245s |      14 |   101998 |    77352 |    93965      0 |    15202 |    18841
248.95/249.02	c  247s |      14 |   102543 |    77852 |    93965      0 |    15202 |    18841
251.04/251.15	c  249s |      14 |   103127 |    78352 |    93965      0 |    15202 |    18841
253.24/253.38	c  251s |      14 |   103725 |    78852 |    93965      0 |    15202 |    18841
255.44/255.50	c  254s |      14 |   104289 |    79352 |    93965      0 |    15202 |    18841
257.74/257.81	c  256s |      14 |   104878 |    79852 |    93965      0 |    15202 |    18841
259.94/260.01	c  258s |      14 |   105438 |    80352 |    93965      0 |    15202 |    18841
262.14/262.22	c  260s |      14 |   106032 |    80852 |    93965      0 |    15202 |    18841
264.44/264.54	c  263s |      14 |   106604 |    81352 |    93965      0 |    15202 |    18841
266.54/266.60	c  265s |      14 |   107110 |    81752 |    93965      0 |    15202 |    18841
268.64/268.75	c  267s |      14 |   107714 |    82252 |    93965      0 |    15202 |    18841
270.84/270.98	c  269s |      14 |   108296 |    82752 |    93965      0 |    15202 |    18841
272.94/273.08	c  271s |      14 |   108920 |    83252 |    93965      0 |    15202 |    18841
275.24/275.33	c  273s |      14 |   109480 |    83752 |    93965      0 |    15202 |    18841
277.54/277.61	c  276s |      14 |   110059 |    84252 |    93965      0 |    15202 |    18841
279.84/279.98	c  278s |      14 |   110662 |    84752 |    93965      0 |    15202 |    18841
282.34/282.47	c  281s |      14 |   111281 |    85252 |    93965      0 |    15202 |    18841
284.64/284.73	c  283s |      14 |   111751 |    85652 |    93965      0 |    15202 |    18841
286.94/287.07	c  285s |      14 |   112183 |    86052 |    93965      0 |    15202 |    18841
289.14/289.24	c  287s |      14 |   112729 |    86452 |    93965      0 |    15202 |    18841
291.34/291.48	c  290s |      14 |   113364 |    86952 |    93965      0 |    15202 |    18841
293.84/293.96	c  292s |      14 |   114007 |    87452 |   103362      0 |    15202 |    18841
294.54/294.67	c  293s |      15 |   114239 |    87632 |   103362      0 |    15202 |    18841
296.94/297.01	c  295s |      15 |   114861 |    88032 |   103362      0 |    15202 |    18841
298.94/299.06	c  297s |      15 |   115584 |    88532 |   103362      0 |    15202 |    18841
301.14/301.21	c  299s |      15 |   116243 |    89032 |   103362      0 |    15202 |    18841
303.24/303.34	c  301s |      15 |   117059 |    89632 |   103362      0 |    15202 |    18841
305.64/305.71	c  304s |      15 |   117839 |    90132 |   103362      0 |    15202 |    18841
307.64/307.75	c  306s |      15 |   118426 |    90532 |   103362      0 |    15202 |    18841
309.84/309.92	c  308s |      15 |   118986 |    90932 |   103362      0 |    15202 |    18841
312.24/312.31	c  310s |      15 |   119492 |    91332 |   103362      0 |    15202 |    18841
314.34/314.49	c  313s |      15 |   120014 |    91732 |   103362      0 |    15202 |    18841
316.53/316.64	c  315s |      15 |   120569 |    92132 |   103362      0 |    15202 |    18841
318.83/318.92	c  317s |      15 |   121110 |    92532 |   103362      0 |    15202 |    18841
321.24/321.32	c  319s |      15 |   121651 |    92932 |   103362      0 |    15202 |    18841
323.44/323.53	c  322s |      15 |   122176 |    93332 |   103362      0 |    15202 |    18841
325.43/325.55	c  324s |      15 |   122718 |    93732 |   103362      0 |    15202 |    18841
327.43/327.59	c  326s |      15 |   123250 |    94132 |   103362      0 |    15202 |    18841
329.63/329.74	c  328s |      15 |   123924 |    94632 |   103362      0 |    15202 |    18841
331.93/332.01	c  330s |      15 |   124424 |    95032 |   103362      0 |    15202 |    18841
333.93/334.03	c  332s |      15 |   124824 |    95332 |   103362      0 |    15202 |    18841
336.13/336.28	c  334s |      15 |   125334 |    95732 |   103362      0 |    15202 |    18841
338.53/338.65	c  337s |      15 |   125838 |    96132 |   103362      0 |    15202 |    18841
340.63/340.73	c  339s |      15 |   126349 |    96532 |   103362      0 |    15202 |    18841
342.83/342.94	c  341s |      15 |   126843 |    96932 |   103362      0 |    15202 |    18841
345.34/345.47	c  344s |      15 |   127421 |    97432 |   103362      0 |    15202 |    18841
347.54/347.62	c  346s |      15 |   128024 |    97932 |   103362      0 |    15202 |    18841
349.84/349.91	c  348s |      15 |   128753 |    98532 |   103362      0 |    15202 |    18841
351.83/351.95	c  350s |      15 |   129407 |    99032 |   103362      0 |    15202 |    18841
354.03/354.17	c  352s |      15 |   130015 |    99532 |   103362      0 |    15202 |    18841
356.33/356.44	c  355s |      15 |   130770 |   100132 |   103362      0 |    15202 |    18841
358.43/358.51	c  357s |      15 |   131392 |   100632 |   103362      0 |    15202 |    18841
360.63/360.71	c  359s |      15 |   131985 |   101132 |   103362      0 |    15202 |    18841
362.63/362.75	c  361s |      15 |   132456 |   101532 |   103362      0 |    15202 |    18841
365.03/365.10	c  363s |      15 |   133048 |   102032 |   103362      0 |    15202 |    18841
367.33/367.43	c  366s |      15 |   133809 |   102632 |   103362      0 |    15202 |    18841
369.63/369.75	c  368s |      15 |   134432 |   103132 |   103362      0 |    15202 |    18841
371.73/371.90	c  370s |      15 |   134894 |   103532 |   103362      0 |    15202 |    18841
373.93/374.03	c  372s |      15 |   135379 |   103932 |   103362      0 |    15202 |    18841
375.92/376.06	c  374s |      15 |   135845 |   104332 |   103362      0 |    15202 |    18841
378.22/378.33	c  376s |      15 |   136324 |   104732 |   103362      0 |    15202 |    18841
380.72/380.81	c  379s |      15 |   136897 |   105232 |   103362      0 |    15202 |    18841
382.83/382.98	c  381s |      15 |   137355 |   105632 |   103362      0 |    15202 |    18841
385.03/385.11	c  383s |      15 |   137825 |   106032 |   103362      0 |    15202 |    18841
387.42/387.54	c  386s |      15 |   138388 |   106532 |   103362      0 |    15202 |    18841
389.43/389.56	c  388s |      15 |   138870 |   106932 |   103362      0 |    15202 |    18841
391.72/391.87	c  390s |      15 |   139468 |   107432 |   103362      0 |    15202 |    18841
393.92/394.06	c  392s |      15 |   140076 |   107932 |   103362      0 |    15202 |    18841
396.04/396.11	c  394s |      15 |   140569 |   108332 |   103362      0 |    15202 |    18841
398.14/398.29	c  396s |      15 |   141174 |   108832 |   103362      0 |    15202 |    18841
400.44/400.54	c  399s |      15 |   141770 |   109332 |   103362      0 |    15202 |    18841
402.43/402.58	c  401s |      15 |   142239 |   109732 |   103362      0 |    15202 |    18841
404.84/404.97	c  403s |      15 |   142791 |   110232 |   103362      0 |    15202 |    18841
407.23/407.33	c  405s |      15 |   143394 |   110732 |   103362      0 |    15202 |    18841
409.24/409.37	c  407s |      15 |   143873 |   111132 |   103362      0 |    15202 |    18841
411.83/411.90	c  410s |      15 |   144449 |   111632 |   103362      0 |    15202 |    18841
414.13/414.22	c  412s |      15 |   144921 |   112032 |   103362      0 |    15202 |    18841
416.33/416.41	c  414s |      15 |   145409 |   112432 |   103362      0 |    15202 |    18841
418.53/418.62	c  417s |      15 |   145907 |   112832 |   103362      0 |    15202 |    18841
420.83/420.91	c  419s |      15 |   146411 |   113232 |   103362      0 |    15202 |    18841
423.13/423.29	c  421s |      15 |   147023 |   113732 |   103362      0 |    15202 |    18841
425.43/425.59	c  424s |      15 |   147543 |   114132 |   103362      0 |    15202 |    18841
427.73/427.83	c  426s |      15 |   148014 |   114532 |   103362      0 |    15202 |    18841
430.32/430.40	c  428s |      15 |   148497 |   114932 |   103362      0 |    15202 |    18841
432.62/432.79	c  431s |      15 |   148992 |   115332 |   103362      0 |    15202 |    18841
434.92/435.02	c  433s |      15 |   149502 |   115732 |   103362      0 |    15202 |    18841
437.22/437.33	c  435s |      15 |   149965 |   116132 |   103362      0 |    15202 |    18841
439.72/439.84	c  438s |      15 |   150437 |   116532 |   103362      0 |    15202 |    18841
442.02/442.11	c  440s |      15 |   150906 |   116932 |   103362      0 |    15202 |    18841
444.33/444.50	c  443s |      15 |   151380 |   117332 |   103362      0 |    15202 |    18841
447.02/447.12	c  445s |      15 |   151895 |   117732 |   103362      0 |    15202 |    18841
449.42/449.57	c  448s |      15 |   152418 |   118132 |   103362      0 |    15202 |    18841
452.03/452.13	c  450s |      15 |   152908 |   118532 |   103362      0 |    15202 |    18841
454.33/454.41	c  452s |      15 |   153364 |   118932 |   103362      0 |    15202 |    18841
456.92/457.08	c  455s |      15 |   153845 |   119332 |   103362      0 |    15202 |    18841
459.52/459.65	c  458s |      15 |   154329 |   119732 |   103362      0 |    15202 |    18841
461.82/462.00	c  460s |      15 |   154792 |   120132 |   103362      0 |    15202 |    18841
464.32/464.45	c  463s |      15 |   155240 |   120532 |   103362      0 |    15202 |    18841
466.62/466.72	c  465s |      15 |   155706 |   120932 |   103362      0 |    15202 |    18841
469.12/469.25	c  467s |      15 |   156149 |   121332 |   103362      0 |    15202 |    18841
471.72/471.87	c  470s |      15 |   156598 |   121732 |   103362      0 |    15202 |    18841
473.92/474.05	c  472s |      15 |   156957 |   122032 |   103362      0 |    15202 |    18841
476.22/476.30	c  474s |      15 |   157300 |   122332 |   103362      0 |    15202 |    18841
478.82/478.90	c  477s |      15 |   157762 |   122732 |   103362      0 |    15202 |    18841
481.22/481.39	c  479s |      15 |   158232 |   123132 |   103362      0 |    15202 |    18841
483.31/483.45	c  482s |      15 |   158574 |   123432 |   103362      0 |    15202 |    18841
485.51/485.60	c  484s |      15 |   158917 |   123732 |   103362      0 |    15202 |    18841
488.91/489.08	c  487s |      15 |   159395 |   124132 |   103362      1 |    15202 |    18841
491.41/491.56	c  490s |      15 |   160033 |   124632 |   103362      1 |    15202 |    18841
493.81/493.98	c  492s |      15 |   160552 |   125032 |   103362      1 |    15202 |    18841
496.01/496.18	c  494s |      15 |   161087 |   125432 |   103362      1 |    15202 |    18841
498.21/498.38	c  496s |      15 |   161559 |   125832 |   103362      1 |    15202 |    18841
500.51/500.63	c  499s |      15 |   162051 |   126232 |   103362      1 |    15202 |    18841
502.71/502.87	c  501s |      15 |   162570 |   126632 |   103362      1 |    15202 |    18841
504.81/504.99	c  503s |      15 |   163085 |   127032 |   103362      1 |    15202 |    18841
507.30/507.42	c  506s |      15 |   163751 |   127532 |   103362      1 |    15202 |    18841
509.70/509.89	c  508s |      15 |   164441 |   128032 |   103362      1 |    15202 |    18841
511.80/511.90	c  510s |      15 |   164960 |   128432 |   103362      1 |    15202 |    18841
513.90/514.08	c  512s |      15 |   165665 |   128932 |   103362      1 |    15202 |    18841
516.20/516.36	c  514s |      15 |   166341 |   129432 |   103362      1 |    15202 |    18841
518.70/518.86	c  517s |      15 |   166938 |   129932 |   103362      1 |    15202 |    18841
520.70/520.88	c  519s |      15 |   167460 |   130332 |   103362      1 |    15202 |    18841
522.89/523.09	c  521s |      15 |   168086 |   130832 |   113699      1 |    15202 |    18841
524.70/524.86	c  523s |      16 |   169135 |   131552 |   113699      1 |    15202 |    18841
526.90/527.07	c  525s |      16 |   169785 |   131952 |   113699      1 |    15202 |    18841
529.29/529.47	c  528s |      16 |   170490 |   132552 |   113699      1 |    15202 |    18841
531.49/531.65	c  530s |      16 |   171107 |   133052 |   113699      1 |    15202 |    18841
533.79/533.92	c  532s |      16 |   171727 |   133552 |   113699      1 |    15202 |    18841
535.99/536.13	c  534s |      16 |   172316 |   134052 |   113699      1 |    15202 |    18841
538.29/538.43	c  537s |      16 |   172904 |   134552 |   113699      1 |    15202 |    18841
540.59/540.70	c  539s |      16 |   173513 |   135052 |   113699      1 |    15202 |    18841
542.69/542.83	c  541s |      16 |   174117 |   135552 |   113699      1 |    15202 |    18841
544.89/545.02	c  543s |      16 |   174736 |   136052 |   113699      1 |    15202 |    18841
547.09/547.27	c  545s |      16 |   175200 |   136452 |   113699      1 |    15202 |    18841
549.39/549.52	c  548s |      16 |   175828 |   136952 |   113699      1 |    15202 |    18841
551.49/551.60	c  550s |      16 |   176423 |   137452 |   113699      1 |    15202 |    18841
553.58/553.74	c  552s |      16 |   177015 |   137952 |   113699      1 |    15202 |    18841
555.88/556.09	c  554s |      16 |   177589 |   138452 |   113699      1 |    15202 |    18841
557.98/558.17	c  556s |      16 |   178048 |   138852 |   113699      1 |    15202 |    18841
560.38/560.54	c  559s |      16 |   178659 |   139352 |   113699      1 |    15202 |    18841
562.78/562.92	c  561s |      16 |   179280 |   139852 |   113699      1 |    15202 |    18841
564.88/565.01	c  563s |      16 |   179736 |   140252 |   113699      1 |    15202 |    18841
567.08/567.24	c  565s |      16 |   180228 |   140652 |   113699      1 |    15202 |    18841
569.38/569.55	c  568s |      16 |   180797 |   141152 |   113699      1 |    15202 |    18841
571.68/571.86	c  570s |      16 |   181371 |   141652 |   113699      1 |    15202 |    18841
574.18/574.35	c  572s |      16 |   181987 |   142152 |   113699      1 |    15202 |    18841
576.38/576.51	c  575s |      16 |   182475 |   142552 |   113699      1 |    15202 |    18841
578.38/578.58	c  577s |      16 |   182938 |   142952 |   113699      1 |    15202 |    18841
580.78/580.97	c  579s |      16 |   183622 |   143452 |   113699      1 |    15202 |    18841
583.07/583.25	c  581s |      16 |   184283 |   143952 |   113699      1 |    15202 |    18841
585.27/585.41	c  583s |      16 |   184973 |   144452 |   113699      1 |    15202 |    18841
587.47/587.64	c  586s |      16 |   185567 |   144952 |   113699      1 |    15202 |    18841
589.67/589.86	c  588s |      16 |   186168 |   145452 |   113699      1 |    15202 |    18841
591.77/591.97	c  590s |      16 |   186803 |   145952 |   113699      1 |    15202 |    18841
593.77/593.97	c  592s |      16 |   187394 |   146452 |   113699      1 |    15202 |    18841
596.27/596.44	c  595s |      16 |   188023 |   146952 |   113699      1 |    15202 |    18841
598.27/598.44	c  597s |      16 |   188495 |   147352 |   113699      1 |    15202 |    18841
600.66/600.80	c  599s |      16 |   189106 |   147852 |   113699      1 |    15202 |    18841
603.06/603.20	c  601s |      16 |   189686 |   148352 |   113699      1 |    15202 |    18841
605.46/605.60	c  604s |      16 |   190290 |   148852 |   113699      1 |    15202 |    18841
607.76/607.90	c  606s |      16 |   190873 |   149352 |   113699      1 |    15202 |    18841
609.86/610.02	c  608s |      16 |   191341 |   149752 |   113699      1 |    15202 |    18841
612.25/612.46	c  611s |      16 |   191923 |   150252 |   113699      1 |    15202 |    18841
614.35/614.55	c  613s |      16 |   192601 |   150752 |   113699      1 |    15202 |    18841
616.45/616.69	c  615s |      16 |   193191 |   151252 |   113699      1 |    15202 |    18841
618.75/618.93	c  617s |      16 |   193770 |   151752 |   113699      1 |    15202 |    18841
621.15/621.32	c  619s |      16 |   194356 |   152252 |   113699      1 |    15202 |    18841
623.56/623.76	c  622s |      16 |   194971 |   152752 |   113699      1 |    15202 |    18841
626.05/626.28	c  624s |      16 |   195582 |   153252 |   113699      1 |    15202 |    18841
628.06/628.29	c  626s |      16 |   196046 |   153652 |   113699      1 |    15202 |    18841
630.45/630.67	c  629s |      16 |   196666 |   154152 |   113699      1 |    15202 |    18841
633.04/633.23	c  631s |      16 |   197308 |   154652 |   113699      1 |    15202 |    18841
635.44/635.68	c  634s |      16 |   197801 |   155052 |   113699      1 |    15202 |    18841
637.64/637.81	c  636s |      16 |   198286 |   155452 |   113699      1 |    15202 |    18841
639.84/640.02	c  638s |      16 |   198781 |   155852 |   113699      1 |    15202 |    18841
642.25/642.50	c  641s |      16 |   199300 |   156252 |   113699      1 |    15202 |    18841
644.74/644.93	c  643s |      16 |   199785 |   156652 |   113699      1 |    15202 |    18841
647.14/647.32	c  645s |      16 |   200273 |   157052 |   113699      1 |    15202 |    18841
649.54/649.70	c  648s |      16 |   200790 |   157452 |   113699      1 |    15202 |    18841
651.83/652.04	c  650s |      16 |   201305 |   157852 |   113699      1 |    15202 |    18841
654.03/654.20	c  652s |      16 |   201807 |   158252 |   113699      1 |    15202 |    18841
656.13/656.33	c  654s |      16 |   202336 |   158652 |   113699      1 |    15202 |    18841
658.53/658.79	c  657s |      16 |   202853 |   159052 |   113699      1 |    15202 |    18841
660.83/661.09	c  659s |      16 |   203355 |   159452 |   113699      1 |    15202 |    18841
663.53/663.72	c  662s |      16 |   203844 |   159852 |   113699      1 |    15202 |    18841
665.93/666.18	c  664s |      16 |   204304 |   160252 |   113699      1 |    15202 |    18841
668.53/668.77	c  667s |      16 |   204777 |   160652 |   113699      1 |    15202 |    18841
670.93/671.13	c  669s |      16 |   205250 |   161052 |   113699      1 |    15202 |    18841
673.03/673.23	c  671s |      16 |   205710 |   161452 |   113699      1 |    15202 |    18841
675.42/675.65	c  674s |      16 |   206206 |   161852 |   113699      1 |    15202 |    18841
677.62/677.84	c  676s |      16 |   206668 |   162252 |   113699      1 |    15202 |    18841
679.92/680.17	c  678s |      16 |   207140 |   162652 |   113699      1 |    15202 |    18841
682.22/682.48	c  681s |      16 |   207627 |   163052 |   113699      1 |    15202 |    18841
684.82/685.07	c  683s |      16 |   208146 |   163452 |   113699      1 |    15202 |    18841
687.22/687.49	c  686s |      16 |   208611 |   163852 |   113699      1 |    15202 |    18841
689.92/690.11	c  688s |      16 |   209088 |   164252 |   113699      1 |    15202 |    18841
692.01/692.23	c  690s |      16 |   209443 |   164552 |   113699      1 |    15202 |    18841
694.21/694.42	c  693s |      16 |   209815 |   164852 |   113699      1 |    15202 |    18841
696.31/696.53	c  695s |      16 |   210153 |   165152 |   113699      1 |    15202 |    18841
698.32/698.57	c  697s |      16 |   210505 |   165452 |   113699      1 |    15202 |    18841
700.41/700.68	c  699s |      16 |   210857 |   165752 |   113699      1 |    15202 |    18841
702.82/703.02	c  701s |      16 |   211336 |   166152 |   113699      1 |    15202 |    18841
705.31/705.53	c  704s |      16 |   211803 |   166552 |   113699      1 |    15202 |    18841
707.81/708.02	c  706s |      16 |   212253 |   166952 |   113699      1 |    15202 |    18841
710.01/710.29	c  708s |      16 |   212727 |   167352 |   113699      1 |    15202 |    18841
712.31/712.51	c  711s |      16 |   213219 |   167752 |   113699      1 |    15202 |    18841
714.81/715.04	c  713s |      16 |   213681 |   168152 |   113699      1 |    15202 |    18841
717.30/717.53	c  716s |      16 |   214142 |   168552 |   113699      1 |    15202 |    18841
719.80/720.05	c  718s |      16 |   214609 |   168952 |   113699      1 |    15202 |    18841
722.10/722.31	c  720s |      16 |   215087 |   169352 |   113699      1 |    15202 |    18841
724.50/724.77	c  723s |      16 |   215595 |   169752 |   113699      1 |    15202 |    18841
727.10/727.32	c  725s |      16 |   216134 |   170152 |   113699      1 |    15202 |    18841
729.50/729.74	c  728s |      16 |   216641 |   170552 |   113699      1 |    15202 |    18841
731.90/732.14	c  730s |      16 |   217122 |   170952 |   113699      1 |    15202 |    18841
734.30/734.58	c  733s |      16 |   217672 |   171352 |   113699      1 |    15202 |    18841
736.50/736.76	c  735s |      16 |   218155 |   171752 |   113699      1 |    15202 |    18841
738.90/739.14	c  737s |      16 |   218672 |   172152 |   113699      1 |    15202 |    18841
741.20/741.45	c  740s |      16 |   219188 |   172552 |   113699      1 |    15202 |    18841
743.29/743.60	c  742s |      16 |   219559 |   172852 |   113699      1 |    15202 |    18841
745.89/746.16	c  744s |      16 |   220018 |   173252 |   113699      1 |    15202 |    18841
748.49/748.74	c  747s |      16 |   220494 |   173652 |   113699      1 |    15202 |    18841
750.99/751.24	c  749s |      16 |   220974 |   174052 |   113699      1 |    15202 |    18841
752.99/753.28	c  751s |      16 |   221319 |   174352 |   113699      1 |    15202 |    18841
755.49/755.79	c  754s |      16 |   221770 |   174752 |   113699      1 |    15202 |    18841
757.58/757.83	c  756s |      16 |   222132 |   175052 |   113699      1 |    15202 |    18841
760.08/760.34	c  758s |      16 |   222627 |   175452 |   113699      1 |    15202 |    18841
762.58/762.81	c  761s |      16 |   223107 |   175852 |   113699      1 |    15202 |    18841
764.58/764.83	c  763s |      16 |   223442 |   176152 |   113699      1 |    15202 |    18841
766.59/766.84	c  765s |      16 |   223795 |   176452 |   113699      1 |    15202 |    18841
769.08/769.36	c  767s |      16 |   224281 |   176852 |   113699      1 |    15202 |    18841
771.68/771.98	c  770s |      16 |   224732 |   177252 |   113699      1 |    15202 |    18841
773.98/774.29	c  772s |      16 |   225121 |   177552 |   113699      1 |    15202 |    18841
776.38/776.64	c  775s |      16 |   225452 |   177852 |   113699      1 |    15202 |    18841
778.48/778.77	c  777s |      16 |   225799 |   178152 |   113699      1 |    15202 |    18841
780.48/780.78	c  779s |      16 |   226157 |   178452 |   113699      1 |    15202 |    18841
782.98/783.26	c  781s |      16 |   226629 |   178852 |   113699      1 |    15202 |    18841
785.47/785.79	c  784s |      16 |   227109 |   179252 |   113699      1 |    15202 |    18841
788.07/788.36	c  786s |      16 |   227572 |   179652 |   113699      1 |    15202 |    18841
790.27/790.59	c  789s |      16 |   228065 |   180052 |   113699      1 |    15202 |    18841
792.37/792.60	c  791s |      16 |   228401 |   180352 |   113699      1 |    15202 |    18841
794.37/794.64	c  793s |      16 |   228735 |   180652 |   113699      1 |    15202 |    18841
796.67/796.91	c  795s |      16 |   229176 |   181052 |   113699      1 |    15202 |    18841
799.27/799.53	c  798s |      16 |   229618 |   181452 |   113699      1 |    15202 |    18841
801.77/802.06	c  800s |      16 |   230080 |   181852 |   113699      1 |    15202 |    18841
804.26/804.53	c  803s |      16 |   230536 |   182252 |   113699      1 |    15202 |    18841
806.36/806.63	c  805s |      16 |   230886 |   182552 |   113699      1 |    15202 |    18841
808.96/809.24	c  807s |      16 |   231377 |   182952 |   113699      1 |    15202 |    18841
811.57/811.88	c  810s |      16 |   231856 |   183352 |   113699      1 |    15202 |    18841
814.06/814.39	c  812s |      16 |   232357 |   183752 |   113699      1 |    15202 |    18841
816.56/816.82	c  815s |      16 |   232826 |   184152 |   113699      1 |    15202 |    18841
819.06/819.38	c  817s |      16 |   233329 |   184552 |   113699      1 |    15202 |    18841
821.65/821.95	c  820s |      16 |   233785 |   184952 |   113699      1 |    15202 |    18841
824.15/824.46	c  823s |      16 |   234240 |   185352 |   113699      1 |    15202 |    18841
826.25/826.52	c  825s |      16 |   234578 |   185652 |   113699      1 |    15202 |    18841
828.25/828.57	c  827s |      16 |   234939 |   185952 |   113699      1 |    15202 |    18841
830.45/830.76	c  829s |      16 |   235295 |   186252 |   113699      1 |    15202 |    18841
832.75/833.05	c  831s |      16 |   235648 |   186552 |   113699      1 |    15202 |    18841
834.85/835.17	c  833s |      16 |   236034 |   186852 |   113699      1 |    15202 |    18841
837.04/837.39	c  835s |      16 |   236377 |   187152 |   113699      1 |    15202 |    18841
839.24/839.52	c  838s |      16 |   236748 |   187452 |   113699      1 |    15202 |    18841
841.35/841.66	c  840s |      16 |   237109 |   187752 |   113699      1 |    15202 |    18841
843.34/843.70	c  842s |      16 |   237450 |   188052 |   113699      1 |    15202 |    18841
845.65/845.94	c  844s |      16 |   237942 |   188452 |   113699      1 |    15202 |    18841
847.85/848.16	c  846s |      16 |   238473 |   188852 |   113699      1 |    15202 |    18841
850.34/850.64	c  849s |      16 |   238958 |   189252 |   113699      1 |    15202 |    18841
852.84/853.11	c  851s |      16 |   239440 |   189652 |   113699      1 |    15202 |    18841
854.84/855.19	c  853s |      16 |   239838 |   189952 |   113699      1 |    15202 |    18841
856.93/857.28	c  855s |      16 |   240217 |   190252 |   113699      1 |    15202 |    18841
859.73/860.00	c  858s |      16 |   240695 |   190652 |   113699      1 |    15202 |    18841
861.73/862.02	c  860s |      16 |   241039 |   190952 |   113699      1 |    15202 |    18841
864.13/864.41	c  862s |      16 |   241506 |   191352 |   113699      1 |    15202 |    18841
866.64/866.91	c  865s |      16 |   241982 |   191752 |   113699      1 |    15202 |    18841
869.03/869.34	c  867s |      16 |   242468 |   192152 |   113699      1 |    15202 |    18841
871.63/871.92	c  870s |      16 |   242952 |   192552 |   113699      1 |    15202 |    18841
873.62/873.97	c  872s |      16 |   243286 |   192852 |   113699      1 |    15202 |    18841
876.32/876.60	c  875s |      16 |   243775 |   193252 |   113699      1 |    15202 |    18841
878.32/878.63	c  877s |      16 |   244113 |   193552 |   113699      1 |    15202 |    18841
880.42/880.75	c  879s |      16 |   244457 |   193852 |   113699      1 |    15202 |    18841
882.52/882.89	c  881s |      16 |   244835 |   194152 |   113699      1 |    15202 |    18841
885.02/885.37	c  883s |      16 |   245329 |   194552 |   113699      1 |    15202 |    18841
887.02/887.39	c  885s |      16 |   245706 |   194852 |   113699      1 |    15202 |    18841
889.12/889.45	c  888s |      16 |   246065 |   195152 |   113699      1 |    15202 |    18841
891.71/892.02	c  890s |      16 |   246526 |   195552 |   113699      1 |    15202 |    18841
894.02/894.33	c  892s |      16 |   247018 |   195952 |   113699      1 |    15202 |    18841
896.11/896.40	c  894s |      16 |   247480 |   196352 |   125069      1 |    15202 |    18841
898.52/898.83	c  897s |      16 |   247964 |   196752 |   125069      1 |    15202 |    18841
900.72/901.05	c  899s |      16 |   248430 |   197152 |   125069      1 |    15202 |    18841
902.30/902.60	c  901s |      17 |   248787 |   197432 |   125069      1 |    15202 |    18841
904.30/904.61	c  903s |      17 |   249147 |   197632 |   125069      1 |    15202 |    18841
906.70/907.00	c  905s |      17 |   249661 |   198032 |   125069      1 |    15202 |    18841
909.00/909.38	c  907s |      17 |   250155 |   198432 |   125069      1 |    15202 |    18841
911.10/911.46	c  910s |      17 |   250707 |   198832 |   125069      1 |    15202 |    18841
913.60/913.97	c  912s |      17 |   251274 |   199232 |   125069      1 |    15202 |    18841
915.70/916.03	c  914s |      17 |   251686 |   199532 |   125069      1 |    15202 |    18841
918.30/918.63	c  917s |      17 |   252192 |   199932 |   125069      1 |    15202 |    18841
920.30/920.67	c  919s |      17 |   252629 |   200232 |   125069      1 |    15202 |    18841
922.70/923.05	c  921s |      17 |   253379 |   200732 |   125069      1 |    15202 |    18841
925.19/925.54	c  924s |      17 |   253948 |   201132 |   125069      1 |    15202 |    18841
927.79/928.16	c  926s |      17 |   254458 |   201532 |   125069      1 |    15202 |    18841
930.19/930.50	c  929s |      17 |   254964 |   201932 |   125069      1 |    15202 |    18841
932.39/932.75	c  931s |      17 |   255323 |   202232 |   125069      1 |    15202 |    18841
934.69/935.00	c  933s |      17 |   255713 |   202532 |   125069      1 |    15202 |    18841
936.99/937.33	c  935s |      17 |   256070 |   202832 |   125069      1 |    15202 |    18841
939.38/939.70	c  938s |      17 |   256438 |   203132 |   125069      1 |    15202 |    18841
941.58/941.98	c  940s |      17 |   256827 |   203432 |   125069      1 |    15202 |    18841
944.28/944.63	c  943s |      17 |   257295 |   203832 |   125069      1 |    15202 |    18841
946.98/947.33	c  945s |      17 |   257844 |   204232 |   125069      1 |    15202 |    18841
949.28/949.66	c  948s |      17 |   258220 |   204532 |   125069      1 |    15202 |    18841
951.38/951.77	c  950s |      17 |   258586 |   204832 |   125069      1 |    15202 |    18841
953.57/953.97	c  952s |      17 |   258967 |   205132 |   125069      1 |    15202 |    18841
955.87/956.23	c  954s |      17 |   259491 |   205532 |   125069      1 |    15202 |    18841
958.27/958.67	c  957s |      17 |   259976 |   205932 |   125069      1 |    15202 |    18841
960.77/961.14	c  959s |      17 |   260497 |   206332 |   125069      1 |    15202 |    18841
963.17/963.53	c  962s |      17 |   260997 |   206732 |   125069      1 |    15202 |    18841
965.17/965.58	c  964s |      17 |   261355 |   207032 |   125069      1 |    15202 |    18841
967.27/967.60	c  966s |      17 |   261706 |   207332 |   125069      1 |    15202 |    18841
969.27/969.66	c  968s |      17 |   262114 |   207632 |   125069      1 |    15202 |    18841
971.47/971.80	c  970s |      17 |   262488 |   207932 |   125069      1 |    15202 |    18841
973.56/973.98	c  972s |      17 |   262839 |   208232 |   125069      1 |    15202 |    18841
977.96/978.39	c  976s |      17 |   263317 |   208632 |   125069      2 |    15202 |    18841
980.16/980.50	c  979s |      17 |   263779 |   209032 |   125069      2 |    15202 |    18841
982.15/982.50	c  981s |      17 |   264272 |   209432 |   125069      2 |    15202 |    18841
984.27/984.66	c  983s |      17 |   264772 |   209832 |   125069      2 |    15202 |    18841
986.66/987.05	c  985s |      17 |   265220 |   210232 |   125069      2 |    15202 |    18841
988.96/989.32	c  987s |      17 |   265694 |   210632 |   125069      2 |    15202 |    18841
991.46/991.84	c  990s |      17 |   266266 |   211132 |   125069      2 |    15202 |    18841
993.85/994.25	c  992s |      17 |   266840 |   211632 |   125069      2 |    15202 |    18841
996.36/996.77	c  995s |      17 |   267463 |   212132 |   125069      2 |    15202 |    18841
998.65/999.03	c  997s |      17 |   267931 |   212532 |   125069      2 |    15202 |    18841
1000.85/1001.20	c  999s |      17 |   268404 |   212932 |   125069      2 |    15202 |    18841
1002.86/1003.23	c 1001s |      17 |   268858 |   213332 |   125069      2 |    15202 |    18841
1004.95/1005.40	c 1003s |      17 |   269486 |   213832 |   125069      2 |    15202 |    18841
1007.05/1007.44	c 1006s |      17 |   269956 |   214232 |   125069      2 |    15202 |    18841
1009.45/1009.88	c 1008s |      17 |   270515 |   214732 |   125069      2 |    15202 |    18841
1011.55/1012.00	c 1010s |      17 |   270993 |   215132 |   125069      2 |    15202 |    18841
1013.95/1014.35	c 1012s |      17 |   271629 |   215632 |   125069      2 |    15202 |    18841
1015.94/1016.38	c 1014s |      17 |   272088 |   216032 |   125069      2 |    15202 |    18841
1018.44/1018.86	c 1017s |      17 |   272711 |   216532 |   125069      2 |    15202 |    18841
1020.74/1021.15	c 1019s |      17 |   273177 |   216932 |   125069      2 |    15202 |    18841
1022.84/1023.22	c 1021s |      17 |   273636 |   217332 |   125069      2 |    15202 |    18841
1024.85/1025.27	c 1023s |      17 |   274110 |   217732 |   125069      2 |    15202 |    18841
1027.04/1027.45	c 1026s |      17 |   274730 |   218232 |   125069      2 |    15202 |    18841
1029.24/1029.68	c 1028s |      17 |   275312 |   218732 |   125069      2 |    15202 |    18841
1031.54/1031.94	c 1030s |      17 |   275790 |   219132 |   125069      2 |    15202 |    18841
1033.64/1034.08	c 1032s |      17 |   276244 |   219532 |   125069      2 |    15202 |    18841
1035.94/1036.34	c 1034s |      17 |   276732 |   219932 |   125069      2 |    15202 |    18841
1038.33/1038.75	c 1037s |      17 |   277230 |   220332 |   125069      2 |    15202 |    18841
1040.83/1041.21	c 1039s |      17 |   277694 |   220732 |   125069      2 |    15202 |    18841
1043.23/1043.69	c 1042s |      17 |   278184 |   221132 |   125069      2 |    15202 |    18841
1045.83/1046.21	c 1044s |      17 |   278617 |   221532 |   125069      2 |    15202 |    18841
1047.83/1048.26	c 1046s |      17 |   278985 |   221832 |   125069      2 |    15202 |    18841
1050.23/1050.62	c 1049s |      17 |   279346 |   222132 |   125069      2 |    15202 |    18841
1052.22/1052.65	c 1051s |      17 |   279913 |   222532 |   125069      2 |    15202 |    18841
1054.63/1055.02	c 1053s |      17 |   280765 |   223132 |   125069      2 |    15202 |    18841
1056.62/1057.07	c 1055s |      17 |   281402 |   223632 |   125069      2 |    15202 |    18841
1059.03/1059.44	c 1058s |      17 |   282035 |   224132 |   125069      2 |    15202 |    18841
1061.32/1061.77	c 1060s |      17 |   282720 |   224632 |   125069      2 |    15202 |    18841
1063.81/1064.20	c 1062s |      17 |   283319 |   225132 |   125069      2 |    15202 |    18841
1065.81/1066.27	c 1064s |      17 |   283807 |   225532 |   125069      2 |    15202 |    18841
1067.82/1068.29	c 1066s |      17 |   284337 |   225932 |   125069      2 |    15202 |    18841
1070.21/1070.61	c 1069s |      17 |   285036 |   226432 |   125069      2 |    15202 |    18841
1072.61/1073.03	c 1071s |      17 |   285723 |   226932 |   125069      2 |    15202 |    18841
1074.91/1075.30	c 1073s |      17 |   286421 |   227432 |   125069      2 |    15202 |    18841
1076.91/1077.32	c 1075s |      17 |   286902 |   227832 |   125069      2 |    15202 |    18841
1079.11/1079.59	c 1078s |      17 |   287513 |   228332 |   125069      2 |    15202 |    18841
1081.51/1081.90	c 1080s |      17 |   288145 |   228832 |   125069      2 |    15202 |    18841
1083.90/1084.32	c 1082s |      17 |   288777 |   229332 |   125069      2 |    15202 |    18841
1086.10/1086.51	c 1085s |      17 |   289292 |   229732 |   125069      2 |    15202 |    18841
1088.10/1088.59	c 1087s |      17 |   289806 |   230132 |   125069      2 |    15202 |    18841
1090.30/1090.71	c 1089s |      17 |   290282 |   230532 |   125069      2 |    15202 |    18841
1092.50/1092.97	c 1091s |      17 |   290961 |   231032 |   125069      2 |    15202 |    18841
1094.60/1095.07	c 1093s |      17 |   291640 |   231532 |   125069      2 |    15202 |    18841
1096.90/1097.37	c 1095s |      17 |   292298 |   232032 |   125069      2 |    15202 |    18841
1099.30/1099.77	c 1098s |      17 |   292952 |   232532 |   125069      2 |    15202 |    18841
1101.40/1101.82	c 1100s |      17 |   293468 |   232932 |   125069      2 |    15202 |    18841
1103.49/1103.96	c 1102s |      17 |   293958 |   233332 |   125069      2 |    15202 |    18841
1105.99/1106.45	c 1105s |      17 |   294613 |   233832 |   125069      2 |    15202 |    18841
1108.40/1108.87	c 1107s |      17 |   295246 |   234332 |   125069      2 |    15202 |    18841
1110.60/1111.03	c 1109s |      17 |   295854 |   234832 |   125069      2 |    15202 |    18841
1112.89/1113.38	c 1111s |      17 |   296467 |   235332 |   125069      2 |    15202 |    18841
1114.99/1115.47	c 1114s |      17 |   296951 |   235732 |   125069      2 |    15202 |    18841
1117.19/1117.70	c 1116s |      17 |   297622 |   236232 |   125069      2 |    15202 |    18841
1119.39/1119.87	c 1118s |      17 |   298066 |   236632 |   125069      2 |    15202 |    18841
1121.69/1122.12	c 1120s |      17 |   298521 |   237032 |   125069      2 |    15202 |    18841
1124.18/1124.60	c 1123s |      17 |   299167 |   237532 |   125069      2 |    15202 |    18841
1126.28/1126.77	c 1125s |      17 |   299673 |   237932 |   125069      2 |    15202 |    18841
1128.58/1129.09	c 1127s |      17 |   300156 |   238332 |   125069      2 |    15202 |    18841
1131.18/1131.62	c 1130s |      17 |   300617 |   238732 |   125069      2 |    15202 |    18841
1133.58/1134.03	c 1132s |      17 |   301082 |   239132 |   125069      2 |    15202 |    18841
1135.78/1136.26	c 1134s |      17 |   301586 |   239532 |   125069      2 |    15202 |    18841
1137.98/1138.40	c 1136s |      17 |   302100 |   239932 |   125069      2 |    15202 |    18841
1140.39/1140.87	c 1139s |      17 |   302570 |   240332 |   125069      2 |    15202 |    18841
1142.68/1143.20	c 1141s |      17 |   303067 |   240732 |   125069      2 |    15202 |    18841
1144.88/1145.33	c 1143s |      17 |   303565 |   241132 |   125069      2 |    15202 |    18841
1147.17/1147.66	c 1146s |      17 |   304052 |   241532 |   125069      2 |    15202 |    18841
1149.47/1149.96	c 1148s |      17 |   304536 |   241932 |   125069      2 |    15202 |    18841
1151.57/1152.02	c 1150s |      17 |   305100 |   242332 |   125069      2 |    15202 |    18841
1153.67/1154.16	c 1152s |      17 |   305605 |   242732 |   125069      2 |    15202 |    18841
1155.97/1156.40	c 1154s |      17 |   305984 |   243032 |   125069      2 |    15202 |    18841
1158.37/1158.89	c 1157s |      17 |   306465 |   243432 |   125069      2 |    15202 |    18841
1161.07/1161.50	c 1160s |      17 |   306818 |   243732 |   125069      2 |    15202 |    18841
1163.07/1163.57	c 1162s |      17 |   307150 |   244032 |   125069      2 |    15202 |    18841
1165.17/1165.68	c 1164s |      17 |   307875 |   244532 |   125069      2 |    15202 |    18841
1167.37/1167.84	c 1166s |      17 |   308427 |   244932 |   125069      2 |    15202 |    18841
1169.57/1170.09	c 1168s |      17 |   308903 |   245332 |   125069      2 |    15202 |    18841
1171.87/1172.35	c 1170s |      17 |   309425 |   245732 |   125069      2 |    15202 |    18841
1174.27/1174.71	c 1173s |      17 |   309873 |   246132 |   125069      2 |    15202 |    18841
1176.47/1176.95	c 1175s |      17 |   310386 |   246532 |   125069      2 |    15202 |    18841
1178.47/1178.96	c 1177s |      17 |   310895 |   246932 |   125069      2 |    15202 |    18841
1180.77/1181.23	c 1179s |      17 |   311519 |   247432 |   125069      2 |    15202 |    18841
1182.87/1183.30	c 1181s |      17 |   312042 |   247832 |   125069      2 |    15202 |    18841
1184.97/1185.44	c 1184s |      17 |   312528 |   248232 |   125069      2 |    15202 |    18841
1187.27/1187.73	c 1186s |      17 |   313153 |   248732 |   125069      2 |    15202 |    18841
1189.47/1189.98	c 1188s |      17 |   313636 |   249132 |   125069      2 |    15202 |    18841
1191.87/1192.40	c 1190s |      17 |   314318 |   249632 |   125069      2 |    15202 |    18841
1194.17/1194.65	c 1193s |      17 |   314948 |   250132 |   125069      2 |    15202 |    18841
1196.17/1196.65	c 1195s |      17 |   315468 |   250532 |   125069      2 |    15202 |    18841
1198.26/1198.75	c 1197s |      17 |   316124 |   251032 |   125069      2 |    15202 |    18841
1200.46/1200.99	c 1199s |      17 |   316748 |   251532 |   125069      2 |    15202 |    18841
1202.56/1203.03	c 1201s |      17 |   317241 |   251932 |   125069      2 |    15202 |    18841
1204.76/1205.21	c 1203s |      17 |   317812 |   252332 |   125069      2 |    15202 |    18841
1207.26/1207.74	c 1206s |      17 |   318366 |   252732 |   125069      2 |    15202 |    18841
1209.76/1210.25	c 1208s |      17 |   319055 |   253232 |   125069      2 |    15202 |    18841
1212.36/1212.88	c 1211s |      17 |   319669 |   253732 |   125069      2 |    15202 |    18841
1214.56/1215.01	c 1213s |      17 |   320275 |   254132 |   125069      2 |    15202 |    18841
1216.76/1217.23	c 1215s |      17 |   320862 |   254532 |   125069      2 |    15202 |    18841
1219.26/1219.76	c 1218s |      17 |   321404 |   254932 |   125069      2 |    15202 |    18841
1221.67/1222.19	c 1220s |      17 |   321895 |   255332 |   125069      2 |    15202 |    18841
1223.76/1224.27	c 1222s |      17 |   322237 |   255632 |   125069      2 |    15202 |    18841
1226.26/1226.74	c 1225s |      17 |   322739 |   256032 |   125069      2 |    15202 |    18841
1228.27/1228.78	c 1227s |      17 |   323213 |   256432 |   125069      2 |    15202 |    18841
1230.66/1231.10	c 1229s |      17 |   323706 |   256832 |   125069      2 |    15202 |    18841
1232.96/1233.46	c 1232s |      17 |   324209 |   257232 |   125069      2 |    15202 |    18841
1234.97/1235.47	c 1234s |      17 |   324580 |   257532 |   125069      2 |    15202 |    18841
1237.17/1237.66	c 1236s |      17 |   325055 |   257932 |   125069      2 |    15202 |    18841
1239.66/1240.11	c 1238s |      17 |   325676 |   258432 |   125069      2 |    15202 |    18841
1241.76/1242.23	c 1240s |      17 |   326156 |   258832 |   125069      2 |    15202 |    18841
1243.86/1244.34	c 1242s |      17 |   326636 |   259232 |   125069      2 |    15202 |    18841
1246.36/1246.87	c 1245s |      17 |   327098 |   259632 |   125069      2 |    15202 |    18841
1248.76/1249.25	c 1247s |      17 |   327583 |   260032 |   125069      2 |    15202 |    18841
1250.76/1251.27	c 1249s |      17 |   327939 |   260332 |   125069      2 |    15202 |    18841
1252.96/1253.49	c 1252s |      17 |   328442 |   260732 |   125069      2 |    15202 |    18841
1255.16/1255.63	c 1254s |      17 |   328904 |   261132 |   125069      2 |    15202 |    18841
1257.45/1257.94	c 1256s |      17 |   329506 |   261632 |   125069      2 |    15202 |    18841
1260.05/1260.50	c 1259s |      17 |   330142 |   262132 |   125069      2 |    15202 |    18841
1262.25/1262.75	c 1261s |      17 |   330673 |   262532 |   125069      2 |    15202 |    18841
1264.35/1264.85	c 1263s |      17 |   331174 |   262932 |   125069      2 |    15202 |    18841
1266.55/1267.04	c 1265s |      17 |   331668 |   263332 |   125069      2 |    15202 |    18841
1269.06/1269.56	c 1268s |      17 |   332159 |   263732 |   125069      2 |    15202 |    18841
1271.26/1271.77	c 1270s |      17 |   332661 |   264132 |   125069      2 |    15202 |    18841
1273.75/1274.29	c 1272s |      17 |   333303 |   264632 |   125069      2 |    15202 |    18841
1276.05/1276.53	c 1275s |      17 |   333776 |   265032 |   125069      2 |    15202 |    18841
1278.15/1278.63	c 1277s |      17 |   334132 |   265332 |   125069      2 |    15202 |    18841
1280.55/1281.05	c 1279s |      17 |   334617 |   265732 |   125069      2 |    15202 |    18841
1282.95/1283.47	c 1282s |      17 |   335317 |   266232 |   125069      2 |    15202 |    18841
1285.35/1285.85	c 1284s |      17 |   335861 |   266632 |   125069      2 |    15202 |    18841
1287.95/1288.40	c 1286s |      17 |   336362 |   267032 |   125069      2 |    15202 |    18841
1290.25/1290.76	c 1289s |      17 |   336863 |   267432 |   125069      2 |    15202 |    18841
1292.75/1293.23	c 1291s |      17 |   337342 |   267832 |   125069      2 |    15202 |    18841
1295.25/1295.79	c 1294s |      17 |   337886 |   268232 |   125069      2 |    15202 |    18841
1297.25/1297.79	c 1296s |      17 |   338295 |   268532 |   125069      2 |    15202 |    18841
1299.86/1300.30	c 1298s |      17 |   338800 |   268932 |   125069      2 |    15202 |    18841
1302.35/1302.84	c 1301s |      17 |   339339 |   269332 |   125069      2 |    15202 |    18841
1304.55/1305.05	c 1303s |      17 |   339701 |   269632 |   125069      2 |    15202 |    18841
1307.05/1307.54	c 1306s |      17 |   340230 |   270032 |   125069      2 |    15202 |    18841
1309.15/1309.61	c 1308s |      17 |   340581 |   270332 |   125069      2 |    15202 |    18841
1311.55/1312.08	c 1310s |      17 |   341064 |   270732 |   125069      2 |    15202 |    18841
1313.75/1314.29	c 1312s |      17 |   341413 |   271032 |   125069      2 |    15202 |    18841
1315.85/1316.34	c 1314s |      17 |   341982 |   271432 |   125069      2 |    15202 |    18841
1318.35/1318.82	c 1317s |      17 |   342490 |   271832 |   125069      2 |    15202 |    18841
1320.95/1321.43	c 1320s |      17 |   343004 |   272232 |   125069      2 |    15202 |    18841
1322.95/1323.46	c 1322s |      17 |   343365 |   272532 |   125069      2 |    15202 |    18841
1325.15/1325.60	c 1324s |      17 |   343736 |   272832 |   125069      2 |    15202 |    18841
1327.64/1328.14	c 1326s |      17 |   344292 |   273232 |   125069      2 |    15202 |    18841
1330.24/1330.73	c 1329s |      17 |   344781 |   273632 |   125069      2 |    15202 |    18841
1332.94/1333.48	c 1332s |      17 |   345237 |   274032 |   125069      2 |    15202 |    18841
1335.34/1335.89	c 1334s |      17 |   345608 |   274332 |   125069      2 |    15202 |    18841
1337.44/1337.97	c 1336s |      17 |   345977 |   274632 |   125069      2 |    15202 |    18841
1339.64/1340.14	c 1338s |      17 |   346345 |   274932 |   125069      2 |    15202 |    18841
1342.34/1342.90	c 1341s |      17 |   346795 |   275332 |   125069      2 |    15202 |    18841
1344.55/1345.08	c 1343s |      17 |   347150 |   275632 |   125069      2 |    15202 |    18841
1346.95/1347.49	c 1346s |      17 |   347651 |   276032 |   125069      2 |    15202 |    18841
1349.65/1350.13	c 1348s |      17 |   348129 |   276432 |   125069      2 |    15202 |    18841
1351.95/1352.47	c 1351s |      17 |   348655 |   276832 |   125069      2 |    15202 |    18841
1354.45/1354.94	c 1353s |      17 |   349128 |   277232 |   125069      2 |    15202 |    18841
1356.75/1357.28	c 1355s |      17 |   349632 |   277632 |   125069      2 |    15202 |    18841
1359.05/1359.57	c 1358s |      17 |   350147 |   278032 |   125069      2 |    15202 |    18841
1361.55/1362.01	c 1360s |      17 |   350695 |   278432 |   125069      2 |    15202 |    18841
1363.75/1364.20	c 1362s |      17 |   351067 |   278732 |   125069      2 |    15202 |    18841
1366.05/1366.54	c 1365s |      17 |   351561 |   279132 |   125069      2 |    15202 |    18841
1368.65/1369.11	c 1367s |      17 |   352059 |   279532 |   125069      2 |    15202 |    18841
1370.65/1371.17	c 1369s |      17 |   352418 |   279832 |   125069      2 |    15202 |    18841
1372.95/1373.45	c 1372s |      17 |   352826 |   280132 |   125069      2 |    15202 |    18841
1375.05/1375.53	c 1374s |      17 |   353199 |   280432 |   125069      2 |    15202 |    18841
1377.14/1377.68	c 1376s |      17 |   353556 |   280732 |   125069      2 |    15202 |    18841
1380.44/1380.93	c 1379s |      17 |   353905 |   281032 |   125069      3 |    15202 |    18841
1383.64/1384.14	c 1382s |      17 |   354236 |   281332 |   125069      3 |    15202 |    18841
1385.74/1386.22	c 1384s |      17 |   354590 |   281632 |   125069      3 |    15202 |    18841
1388.04/1388.51	c 1387s |      17 |   355070 |   282032 |   125069      3 |    15202 |    18841
1390.14/1390.65	c 1389s |      17 |   355568 |   282432 |   125069      3 |    15202 |    18841
1392.44/1392.93	c 1391s |      17 |   356048 |   282832 |   125069      3 |    15202 |    18841
1394.84/1395.37	c 1393s |      17 |   356682 |   283332 |   125069      3 |    15202 |    18841
1397.24/1397.74	c 1396s |      17 |   357309 |   283832 |   125069      3 |    15202 |    18841
1399.64/1400.10	c 1398s |      17 |   357962 |   284332 |   125069      3 |    15202 |    18841
1401.94/1402.49	c 1401s |      17 |   358570 |   284832 |   125069      3 |    15202 |    18841
1404.04/1404.59	c 1403s |      17 |   359036 |   285232 |   125069      3 |    15202 |    18841
1406.44/1406.96	c 1405s |      17 |   359653 |   285732 |   125069      3 |    15202 |    18841
1408.93/1409.42	c 1408s |      17 |   360263 |   286232 |   125069      3 |    15202 |    18841
1411.03/1411.59	c 1410s |      17 |   360704 |   286632 |   125069      3 |    15202 |    18841
1413.43/1413.94	c 1412s |      17 |   361302 |   287132 |   125069      3 |    15202 |    18841
1415.63/1416.10	c 1414s |      17 |   361767 |   287532 |   125069      3 |    15202 |    18841
1417.83/1418.35	c 1416s |      17 |   362233 |   287932 |   125069      3 |    15202 |    18841
1420.03/1420.57	c 1419s |      17 |   362697 |   288332 |   125069      3 |    15202 |    18841
1422.43/1422.96	c 1421s |      17 |   363284 |   288832 |   125069      3 |    15202 |    18841
1424.83/1425.35	c 1423s |      17 |   363875 |   289332 |   125069      3 |    15202 |    18841
1427.34/1427.87	c 1426s |      17 |   364475 |   289832 |   125069      3 |    15202 |    18841
1429.73/1430.23	c 1428s |      17 |   364972 |   290232 |   125069      3 |    15202 |    18841
1432.23/1432.76	c 1431s |      17 |   365428 |   290632 |   125069      3 |    15202 |    18841
1434.83/1435.34	c 1433s |      17 |   365891 |   291032 |   125069      3 |    15202 |    18841
1437.24/1437.72	c 1436s |      17 |   366348 |   291432 |   125069      3 |    15202 |    18841
1439.44/1439.93	c 1438s |      17 |   366839 |   291832 |   125069      3 |    15202 |    18841
1441.83/1442.37	c 1440s |      17 |   367323 |   292232 |   125069      3 |    15202 |    18841
1444.43/1444.90	c 1443s |      17 |   367799 |   292632 |   125069      3 |    15202 |    18841
1446.53/1447.00	c 1445s |      17 |   368273 |   293032 |   125069      3 |    15202 |    18841
1448.53/1449.07	c 1447s |      17 |   368784 |   293432 |   125069      3 |    15202 |    18841
1450.53/1451.08	c 1449s |      17 |   369294 |   293832 |   125069      3 |    15202 |    18841
1452.63/1453.11	c 1451s |      17 |   369817 |   294232 |   137576      3 |    15202 |    18841
1454.72/1455.21	c 1453s |      17 |   370283 |   294632 |   137576      3 |    15202 |    18841
1456.72/1457.23	c 1455s |      17 |   370807 |   295032 |   137576      3 |    15202 |    18841
1459.12/1459.61	c 1458s |      17 |   371424 |   295532 |   137576      3 |    15202 |    18841
1461.12/1461.69	c 1460s |      17 |   371941 |   295932 |   137576      3 |    15202 |    18841
1462.72/1463.26	c 1461s |      18 |   372315 |   296252 |   137576      3 |    15202 |    18841
1464.92/1465.43	c 1464s |      18 |   372825 |   296552 |   137576      3 |    15202 |    18841
1467.22/1467.79	c 1466s |      18 |   373545 |   297152 |   137576      3 |    15202 |    18841
1469.32/1469.82	c 1468s |      18 |   374155 |   297652 |   137576      3 |    15202 |    18841
1471.43/1471.96	c 1470s |      18 |   374824 |   298152 |   137576      3 |    15202 |    18841
1473.53/1474.03	c 1472s |      18 |   375449 |   298652 |   137576      3 |    15202 |    18841
1475.83/1476.31	c 1474s |      18 |   376114 |   299152 |   137576      3 |    15202 |    18841
1477.93/1478.48	c 1477s |      18 |   376746 |   299652 |   137576      3 |    15202 |    18841
1480.32/1480.86	c 1479s |      18 |   377276 |   300052 |   137576      3 |    15202 |    18841
1482.52/1483.03	c 1481s |      18 |   377864 |   300452 |   137576      3 |    15202 |    18841
1484.72/1485.23	c 1483s |      18 |   378370 |   300852 |   137576      3 |    15202 |    18841
1486.92/1487.43	c 1486s |      18 |   379013 |   301352 |   137576      3 |    15202 |    18841
1489.03/1489.55	c 1488s |      18 |   379582 |   301752 |   137576      3 |    15202 |    18841
1491.13/1491.63	c 1490s |      18 |   380246 |   302252 |   137576      3 |    15202 |    18841
1493.52/1494.05	c 1492s |      18 |   381052 |   302852 |   137576      3 |    15202 |    18841
1495.92/1496.41	c 1494s |      18 |   381830 |   303452 |   137576      3 |    15202 |    18841
1498.02/1498.53	c 1497s |      18 |   382507 |   303952 |   137576      3 |    15202 |    18841
1500.12/1500.61	c 1499s |      18 |   383141 |   304452 |   137576      3 |    15202 |    18841
1502.33/1502.86	c 1501s |      18 |   383769 |   304952 |   137576      3 |    15202 |    18841
1504.63/1505.16	c 1503s |      18 |   384423 |   305452 |   137576      3 |    15202 |    18841
1506.82/1507.30	c 1505s |      18 |   385198 |   306052 |   137576      3 |    15202 |    18841
1508.92/1509.44	c 1508s |      18 |   386055 |   306652 |   137576      3 |    15202 |    18841
1511.12/1511.66	c 1510s |      18 |   386638 |   307152 |   137576      3 |    15202 |    18841
1513.52/1514.00	c 1512s |      18 |   387450 |   307752 |   137576      3 |    15202 |    18841
1515.72/1516.22	c 1514s |      18 |   388095 |   308252 |   137576      3 |    15202 |    18841
1518.02/1518.57	c 1517s |      18 |   388729 |   308752 |   137576      3 |    15202 |    18841
1520.22/1520.77	c 1519s |      18 |   389349 |   309252 |   137576      3 |    15202 |    18841
1522.42/1522.98	c 1521s |      18 |   389794 |   309652 |   137576      3 |    15202 |    18841
1524.92/1525.43	c 1524s |      18 |   390402 |   310152 |   137576      3 |    15202 |    18841
1526.92/1527.43	c 1526s |      18 |   390856 |   310552 |   137576      3 |    15202 |    18841
1529.22/1529.79	c 1528s |      18 |   391471 |   311052 |   137576      3 |    15202 |    18841
1531.32/1531.80	c 1530s |      18 |   391947 |   311452 |   137576      3 |    15202 |    18841
1533.42/1533.96	c 1532s |      18 |   392417 |   311852 |   137576      3 |    15202 |    18841
1535.72/1536.29	c 1534s |      18 |   393021 |   312352 |   137576      3 |    15202 |    18841
1537.92/1538.46	c 1537s |      18 |   393518 |   312752 |   137576      3 |    15202 |    18841
1539.92/1540.48	c 1539s |      18 |   394043 |   313152 |   137576      3 |    15202 |    18841
1542.42/1542.95	c 1541s |      18 |   394685 |   313652 |   137576      3 |    15202 |    18841
1544.52/1545.03	c 1543s |      18 |   395177 |   314052 |   137576      3 |    15202 |    18841
1546.92/1547.40	c 1545s |      18 |   395827 |   314552 |   137576      3 |    15202 |    18841
1548.92/1549.45	c 1548s |      18 |   396334 |   314952 |   137576      3 |    15202 |    18841
1551.32/1551.89	c 1550s |      18 |   396823 |   315352 |   137576      3 |    15202 |    18841
1553.82/1554.36	c 1552s |      18 |   397335 |   315752 |   137576      3 |    15202 |    18841
1556.12/1556.64	c 1555s |      18 |   397783 |   316152 |   137576      3 |    15202 |    18841
1558.32/1558.88	c 1557s |      18 |   398268 |   316552 |   137576      3 |    15202 |    18841
1560.52/1561.08	c 1559s |      18 |   398749 |   316952 |   137576      3 |    15202 |    18841
1562.62/1563.10	c 1561s |      18 |   399241 |   317352 |   137576      3 |    15202 |    18841
1564.72/1565.22	c 1563s |      18 |   399720 |   317752 |   137576      3 |    15202 |    18841
1567.42/1567.90	c 1566s |      18 |   400175 |   318152 |   137576      3 |    15202 |    18841
1569.62/1570.17	c 1568s |      18 |   400649 |   318552 |   137576      3 |    15202 |    18841
1571.82/1572.30	c 1570s |      18 |   401143 |   318952 |   137576      3 |    15202 |    18841
1574.21/1574.71	c 1573s |      18 |   401780 |   319452 |   137576      3 |    15202 |    18841
1576.61/1577.14	c 1575s |      18 |   402405 |   319952 |   137576      3 |    15202 |    18841
1578.61/1579.18	c 1577s |      18 |   402902 |   320352 |   137576      3 |    15202 |    18841
1581.01/1581.55	c 1580s |      18 |   403393 |   320752 |   137576      3 |    15202 |    18841
1583.21/1583.77	c 1582s |      18 |   403845 |   321152 |   137576      3 |    15202 |    18841
1585.51/1586.06	c 1584s |      18 |   404339 |   321552 |   137576      3 |    15202 |    18841
1587.81/1588.33	c 1586s |      18 |   404824 |   321952 |   137576      3 |    15202 |    18841
1590.01/1590.53	c 1589s |      18 |   405335 |   322352 |   137576      3 |    15202 |    18841
1592.32/1592.83	c 1591s |      18 |   405845 |   322752 |   137576      3 |    15202 |    18841
1594.41/1594.92	c 1593s |      18 |   406318 |   323152 |   137576      3 |    15202 |    18841
1596.72/1597.22	c 1595s |      18 |   406808 |   323552 |   137576      3 |    15202 |    18841
1598.81/1599.38	c 1597s |      18 |   407283 |   323952 |   137576      3 |    15202 |    18841
1601.01/1601.57	c 1600s |      18 |   407774 |   324352 |   137576      3 |    15202 |    18841
1603.21/1603.74	c 1602s |      18 |   408402 |   324852 |   137576      3 |    15202 |    18841
1605.52/1606.05	c 1604s |      18 |   408987 |   325352 |   137576      3 |    15202 |    18841
1607.72/1608.25	c 1606s |      18 |   409606 |   325852 |   137576      3 |    15202 |    18841
1610.21/1610.71	c 1609s |      18 |   410206 |   326352 |   137576      3 |    15202 |    18841
1612.21/1612.72	c 1611s |      18 |   410677 |   326752 |   137576      3 |    15202 |    18841
1614.41/1614.99	c 1613s |      18 |   411153 |   327152 |   137576      3 |    15202 |    18841
1616.91/1617.42	c 1616s |      18 |   411655 |   327552 |   137576      3 |    15202 |    18841
1619.41/1619.91	c 1618s |      18 |   412137 |   327952 |   137576      3 |    15202 |    18841
1621.51/1622.08	c 1620s |      18 |   412650 |   328352 |   137576      3 |    15202 |    18841
1623.61/1624.13	c 1622s |      18 |   413148 |   328752 |   137576      3 |    15202 |    18841
1626.10/1626.68	c 1625s |      18 |   413652 |   329152 |   137576      3 |    15202 |    18841
1628.40/1628.95	c 1627s |      18 |   414135 |   329552 |   137576      3 |    15202 |    18841
1630.50/1631.03	c 1629s |      18 |   414487 |   329852 |   137576      3 |    15202 |    18841
1633.01/1633.58	c 1632s |      18 |   414960 |   330252 |   137576      3 |    15202 |    18841
1635.40/1635.90	c 1634s |      18 |   415434 |   330652 |   137576      3 |    15202 |    18841
1637.80/1638.33	c 1636s |      18 |   415937 |   331052 |   137576      3 |    15202 |    18841
1640.00/1640.51	c 1639s |      18 |   416417 |   331452 |   137576      3 |    15202 |    18841
1642.50/1643.03	c 1641s |      18 |   416926 |   331852 |   137576      3 |    15202 |    18841
1644.70/1645.24	c 1643s |      18 |   417461 |   332252 |   137576      3 |    15202 |    18841
1647.10/1647.61	c 1646s |      18 |   417938 |   332652 |   137576      3 |    15202 |    18841
1649.30/1649.84	c 1648s |      18 |   418436 |   333052 |   137576      3 |    15202 |    18841
1651.50/1652.00	c 1650s |      18 |   418940 |   333452 |   137576      3 |    15202 |    18841
1654.01/1654.57	c 1653s |      18 |   419445 |   333852 |   137576      3 |    15202 |    18841
1656.60/1657.13	c 1655s |      18 |   419922 |   334252 |   137576      3 |    15202 |    18841
1659.20/1659.73	c 1658s |      18 |   420399 |   334652 |   137576      3 |    15202 |    18841
1661.20/1661.79	c 1660s |      18 |   420764 |   334952 |   137576      3 |    15202 |    18841
1663.30/1663.87	c 1662s |      18 |   421119 |   335252 |   137576      3 |    15202 |    18841
1665.40/1665.96	c 1664s |      18 |   421599 |   335652 |   137576      3 |    15202 |    18841
1668.00/1668.57	c 1667s |      18 |   422082 |   336052 |   137576      3 |    15202 |    18841
1670.51/1671.07	c 1669s |      18 |   422581 |   336452 |   137576      3 |    15202 |    18841
1672.60/1673.17	c 1671s |      18 |   422919 |   336752 |   137576      3 |    15202 |    18841
1675.10/1675.64	c 1674s |      18 |   423422 |   337152 |   137576      3 |    15202 |    18841
1677.40/1677.93	c 1676s |      18 |   423800 |   337452 |   137576      3 |    15202 |    18841
1679.50/1680.03	c 1678s |      18 |   424162 |   337752 |   137576      3 |    15202 |    18841
1681.80/1682.31	c 1680s |      18 |   424518 |   338052 |   137576      3 |    15202 |    18841
1684.50/1685.01	c 1683s |      18 |   425001 |   338452 |   137576      3 |    15202 |    18841
1686.60/1687.12	c 1685s |      18 |   425380 |   338752 |   137576      3 |    15202 |    18841
1688.80/1689.31	c 1687s |      18 |   425705 |   339052 |   137576      3 |    15202 |    18841
1691.30/1691.82	c 1690s |      18 |   426248 |   339452 |   137576      3 |    15202 |    18841
1693.69/1694.24	c 1692s |      18 |   426884 |   339952 |   137576      3 |    15202 |    18841
1695.70/1696.25	c 1694s |      18 |   427384 |   340352 |   137576      3 |    15202 |    18841
1698.00/1698.54	c 1697s |      18 |   427858 |   340752 |   137576      3 |    15202 |    18841
1700.39/1700.92	c 1699s |      18 |   428476 |   341252 |   137576      3 |    15202 |    18841
1702.69/1703.24	c 1701s |      18 |   428990 |   341652 |   137576      3 |    15202 |    18841
1704.89/1705.43	c 1704s |      18 |   429551 |   342052 |   137576      3 |    15202 |    18841
1706.99/1707.54	c 1706s |      18 |   430056 |   342452 |   137576      3 |    15202 |    18841
1709.49/1710.04	c 1708s |      18 |   430568 |   342852 |   137576      3 |    15202 |    18841
1711.79/1712.34	c 1710s |      18 |   431040 |   343252 |   137576      3 |    15202 |    18841
1713.89/1714.43	c 1713s |      18 |   431532 |   343652 |   137576      3 |    15202 |    18841
1716.49/1717.03	c 1715s |      18 |   432128 |   344152 |   137576      3 |    15202 |    18841
1718.59/1719.10	c 1717s |      18 |   432500 |   344452 |   137576      3 |    15202 |    18841
1720.79/1721.38	c 1719s |      18 |   432974 |   344852 |   137576      3 |    15202 |    18841
1723.09/1723.62	c 1722s |      18 |   433479 |   345252 |   137576      3 |    15202 |    18841
1725.50/1726.05	c 1724s |      18 |   433963 |   345652 |   137576      3 |    15202 |    18841
1727.89/1728.41	c 1727s |      18 |   434434 |   346052 |   137576      3 |    15202 |    18841
1730.39/1730.90	c 1729s |      18 |   434964 |   346452 |   137576      3 |    15202 |    18841
1732.39/1732.91	c 1731s |      18 |   435382 |   346752 |   137576      3 |    15202 |    18841
1734.49/1735.04	c 1733s |      18 |   435726 |   347052 |   137576      3 |    15202 |    18841
1737.19/1737.74	c 1736s |      18 |   436284 |   347452 |   137576      3 |    15202 |    18841
1739.29/1739.87	c 1738s |      18 |   436647 |   347752 |   137576      3 |    15202 |    18841
1741.39/1741.91	c 1740s |      18 |   437028 |   348052 |   137576      3 |    15202 |    18841
1743.49/1744.01	c 1742s |      18 |   437428 |   348352 |   137576      3 |    15202 |    18841
1745.48/1746.05	c 1744s |      18 |   437818 |   348652 |   137576      3 |    15202 |    18841
1747.98/1748.59	c 1747s |      18 |   438310 |   349052 |   137576      3 |    15202 |    18841
1750.18/1750.79	c 1749s |      18 |   438664 |   349352 |   137576      3 |    15202 |    18841
1752.28/1752.88	c 1751s |      18 |   439031 |   349652 |   137576      3 |    15202 |    18841
1754.58/1755.11	c 1753s |      18 |   439366 |   349952 |   137576      3 |    15202 |    18841
1756.58/1757.14	c 1755s |      18 |   439723 |   350252 |   137576      3 |    15202 |    18841
1758.78/1759.31	c 1757s |      18 |   440090 |   350552 |   137576      3 |    15202 |    18841
1761.08/1761.67	c 1760s |      18 |   440462 |   350852 |   137576      3 |    15202 |    18841
1763.28/1763.82	c 1762s |      18 |   440806 |   351152 |   137576      3 |    15202 |    18841
1765.38/1765.93	c 1764s |      18 |   441177 |   351452 |   137576      3 |    15202 |    18841
1767.48/1768.01	c 1766s |      18 |   441542 |   351752 |   137576      3 |    15202 |    18841
1769.58/1770.13	c 1768s |      18 |   441904 |   352052 |   137576      3 |    15202 |    18841
1771.69/1772.22	c 1770s |      18 |   442274 |   352352 |   137576      3 |    15202 |    18841
1774.18/1774.71	c 1773s |      18 |   442767 |   352752 |   137576      3 |    15202 |    18841
1776.38/1776.99	c 1775s |      18 |   443119 |   353052 |   137576      3 |    15202 |    18841
1778.88/1779.46	c 1778s |      18 |   443481 |   353352 |   137576      3 |    15202 |    18841
1781.08/1781.69	c 1780s |      18 |   443848 |   353652 |   137576      3 |    15202 |    18841
1783.18/1783.75	c 1782s |      18 |   444247 |   353952 |   137576      3 |    15202 |    18841
1785.78/1786.34	c 1784s |      18 |   444748 |   354352 |   137576      3 |    15202 |    18841
1787.88/1788.50	c 1787s |      18 |   445096 |   354652 |   137576      3 |    15202 |    18841
1790.38/1790.93	c 1789s |      18 |   445450 |   354952 |   137576      3 |    15202 |    18841
1792.58/1793.12	c 1791s |      18 |   445835 |   355252 |   137576      3 |    15202 |    18841
1795.18/1795.71	c 1794s |      18 |   446361 |   355652 |   137576      3 |    15202 |    18841
1797.18/1797.76	c 1796s |      18 |   446720 |   355952 |   137576      3 |    15202 |    18841
1799.28/1799.84	c 1798s |      18 |   447073 |   356252 |   137576      3 |    15202 |    18841

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

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.23 2.21 3/179 29496
/proc/meminfo: memFree=29094856/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=466364 CPUtime=0 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 1696 0 0 0 0 0 0 0 20 0 4 0 30988594 477556736 2057 33554432000 4194304 16246674 140735510934256 140735510933680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 117359 2065 441 2943 0 114253 0
[pid=29496/tid=29497] ppid=29493 vsize=482748 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 494333952 2121 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=487868 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 499576832 2138 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=490940 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 502722560 2153 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100215 s]
/proc/loadavg: 2.22 2.23 2.21 3/179 29496
/proc/meminfo: memFree=29094856/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 26392 0 0 0 4 4 0 0 20 0 4 0 30988594 1333334016 26692 33554432000 4194304 16246674 140735510934256 140735510933568 7369730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 325521 26708 801 2943 0 322415 0
[pid=29496/tid=29497] ppid=29493 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1333334016 26718 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1333334016 26729 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1333334016 26740 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200534 s]
/proc/loadavg: 2.22 2.23 2.21 3/179 29496
/proc/meminfo: memFree=29094856/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 46739 0 0 0 12 7 0 0 20 0 4 0 30988594 1344868352 47549 33554432000 4194304 16246674 140735510934256 140735510933568 8058568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 328337 47549 801 2943 0 325231 0
[pid=29496/tid=29497] ppid=29493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1344868352 47549 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1344868352 47549 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1344868352 47549 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300522 s]
/proc/loadavg: 2.22 2.23 2.21 3/179 29496
/proc/meminfo: memFree=29094856/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 57243 0 0 0 20 9 0 0 20 0 4 0 30988594 1344868352 58053 33554432000 4194304 16246674 140735510934256 140735510933568 13928652 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 328337 58053 801 2943 0 325231 0
[pid=29496/tid=29497] ppid=29493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1344868352 58053 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1344868352 58053 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1344868352 58053 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70042 s]
/proc/loadavg: 2.22 2.23 2.21 3/179 29496
/proc/meminfo: memFree=29094856/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 67611 0 0 0 58 11 0 0 20 0 4 0 30988594 1344868352 68421 33554432000 4194304 16246674 140735510934256 140735510933568 13930238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 328337 68430 839 2943 0 325231 0
[pid=29496/tid=29497] ppid=29493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1344868352 68434 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1344868352 68439 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1344868352 68444 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.20 2.23 2.21 3/183 29500
/proc/meminfo: memFree=28553344/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1321540 CPUtime=1.48 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 144713 0 0 0 123 25 0 0 20 0 4 0 30988594 1353256960 145523 33554432000 4194304 16246674 140735510934256 140735510933568 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 330385 145523 884 2943 0 327279 0
[pid=29496/tid=29497] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 145523 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 145523 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 145523 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1321540

[startup+3.10042 s]
/proc/loadavg: 2.20 2.23 2.21 3/183 29500
/proc/meminfo: memFree=28373900/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1321540 CPUtime=3.08 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 271056 0 0 0 265 43 0 0 20 0 4 0 30988594 1353256960 271866 33554432000 4194304 16246674 140735510934256 140735510916160 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 330385 271866 887 2943 0 327279 0
[pid=29496/tid=29497] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271866 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271866 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271866 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1321540

[startup+6.30043 s]
/proc/loadavg: 2.20 2.23 2.21 4/183 29500
/proc/meminfo: memFree=28008720/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1321540 CPUtime=6.28 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 271061 0 0 0 585 43 0 0 20 0 4 0 30988594 1353256960 271871 33554432000 4194304 16246674 140735510934256 140735510916160 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 330385 271871 892 2943 0 327279 0
[pid=29496/tid=29497] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271871 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271871 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271871 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1321540

[startup+12.7004 s]
/proc/loadavg: 2.17 2.22 2.21 3/183 29500
/proc/meminfo: memFree=28008952/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1321540 CPUtime=12.68 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 271062 0 0 0 1225 43 0 0 20 0 4 0 30988594 1353256960 271872 33554432000 4194304 16246674 140735510934256 140735510916160 5825553 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 330385 271872 892 2943 0 327279 0
[pid=29496/tid=29497] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271872 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271872 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271872 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1321540

[startup+25.5005 s]
/proc/loadavg: 2.23 2.23 2.21 4/183 29500
/proc/meminfo: memFree=28009704/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1321540 CPUtime=25.48 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 271063 0 0 0 2505 43 0 0 20 0 4 0 30988594 1353256960 271873 33554432000 4194304 16246674 140735510934256 140735510916160 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 330385 271873 892 2943 0 327279 0
[pid=29496/tid=29497] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271873 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271873 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271873 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1321540

[startup+51.1005 s]
/proc/loadavg: 2.20 2.22 2.21 3/183 29500
/proc/meminfo: memFree=28009676/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1321540 CPUtime=51.08 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 271063 0 0 0 5065 43 0 0 20 0 4 0 30988594 1353256960 271873 33554432000 4194304 16246674 140735510934256 140735510916160 5717608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 330385 271873 892 2943 0 327279 0
[pid=29496/tid=29497] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271873 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271873 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271873 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1321540

[startup+102.301 s]
/proc/loadavg: 2.17 2.21 2.20 3/183 29501
/proc/meminfo: memFree=28008764/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1321540 CPUtime=102.28 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 271063 0 0 0 10185 43 0 0 20 0 4 0 30988594 1353256960 271873 33554432000 4194304 16246674 140735510934256 140735510916160 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 330385 271873 892 2943 0 327279 0
[pid=29496/tid=29497] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271873 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271873 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1353256960 271873 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1392054272 281346 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1359428

[startup+1302.3 s]
/proc/loadavg: 2.42 2.31 2.27 3/183 29628
/proc/meminfo: memFree=27985712/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1359428 CPUtime=1301.85 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 280982 0 0 0 130139 46 0 0 20 0 4 0 30988594 1392054272 281346 33554432000 4194304 16246674 140735510934256 140735510916160 12470896 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 339857 281346 892 2943 0 336751 0
[pid=29496/tid=29497] ppid=29493 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1392054272 281346 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1392054272 281346 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1392054272 281346 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1359428

[startup+1362.3 s]
/proc/loadavg: 2.32 2.30 2.27 3/183 29630
/proc/meminfo: memFree=27986124/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1359428 CPUtime=1361.85 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 280982 0 0 0 136138 47 0 0 20 0 4 0 30988594 1392054272 281346 33554432000 4194304 16246674 140735510934256 140735510916160 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 339857 281346 892 2943 0 336751 0
[pid=29496/tid=29497] ppid=29493 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1392054272 281346 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1392054272 281346 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1392054272 281346 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1359428

[startup+1422.3 s]
/proc/loadavg: 2.35 2.30 2.27 3/184 29634
/proc/meminfo: memFree=27973060/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1372740 CPUtime=1421.84 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 284310 0 0 0 142137 47 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140735510916160 12415676 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 343185 284674 892 2943 0 340079 0
[pid=29496/tid=29497] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1372740

[startup+1482.3 s]
/proc/loadavg: 2.25 2.28 2.26 3/184 29658
/proc/meminfo: memFree=27972556/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1372740 CPUtime=1481.82 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 284310 0 0 0 148135 47 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140735510916160 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 343185 284674 892 2943 0 340079 0
[pid=29496/tid=29497] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1372740

[startup+1542.31 s]
/proc/loadavg: 2.24 2.27 2.26 3/183 29659
/proc/meminfo: memFree=27972664/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1372740 CPUtime=1541.83 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 284310 0 0 0 154135 48 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140735510916160 5822989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 343185 284674 892 2943 0 340079 0
[pid=29496/tid=29497] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1372740

[startup+1602.3 s]
/proc/loadavg: 2.36 2.29 2.27 4/183 29660
/proc/meminfo: memFree=27972524/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1372740 CPUtime=1601.81 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 284310 0 0 0 160133 48 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140735510916160 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 343185 284674 892 2943 0 340079 0
[pid=29496/tid=29497] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1372740

[startup+1662.3 s]
/proc/loadavg: 2.41 2.31 2.28 3/183 29662
/proc/meminfo: memFree=27972776/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1372740 CPUtime=1661.8 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 284310 0 0 0 166132 48 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140735510916160 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 343185 284674 892 2943 0 340079 0
[pid=29496/tid=29497] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1372740

[startup+1722.3 s]
/proc/loadavg: 2.23 2.28 2.27 3/183 29663
/proc/meminfo: memFree=27972764/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1372740 CPUtime=1721.79 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 284310 0 0 0 172131 48 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140735510916160 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 343185 284674 892 2943 0 340079 0
[pid=29496/tid=29497] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1372740

[startup+1782.3 s]
/proc/loadavg: 2.28 2.29 2.27 4/183 29664
/proc/meminfo: memFree=27972256/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1372740 CPUtime=1781.78 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 284310 0 0 0 178130 48 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140735510916160 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 343185 284674 892 2943 0 340079 0
[pid=29496/tid=29497] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1372740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.27 2.27 3/183 29665
/proc/meminfo: memFree=27971756/32872528 swapFree=1499884/1696108
[pid=29496] ppid=29493 vsize=1372740 CPUtime=1800.08 cores=1,3,5,7
/proc/29496/stat : 29496 (toysat) R 29493 29496 24910 0 -1 4202496 284310 0 0 0 179960 48 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140735510916160 5823600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29496/statm: 343185 284674 892 2943 0 340079 0
[pid=29496/tid=29497] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29497/stat : 29497 (toysat) S 29493 29496 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485757742320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29496/tid=29498] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29498/stat : 29498 (toysat) S 29493 29496 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485747252464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29496/tid=29499] ppid=29493 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29499/stat : 29499 (toysat) S 29493 29496 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30988594 1405685760 284674 33554432000 4194304 16246674 140735510934256 140485628783792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1372740

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.61
CPU system time (s): 0.485926
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1372740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.485926
maximum resident set size= 1138696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284310
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= 461
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41633 second user time and 7.09492 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-19 00:37:09
IDJOB=4107873
IDBENCH=73786
IDSOLVER=2542
FILE ID=node137/4107873-1466289428
RUNJOBID= node137-1466264772-24927
PBS_JOBID= 19918225
Free space on /tmp= 71680 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12033_3-sat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107873-1466289428/watcher-4107873-1466289428 -o /tmp/evaluation-result-4107873-1466289428/solver-4107873-1466289428 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107873-1466289428.opb

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

MD5SUM BENCH= 5c357873a81db98d0c84cf88eebfbda4
RANDOM SEED=1194579045

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.486
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.38
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.486
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.486
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:        29096152 kB
Buffers:           45452 kB
Cached:           174036 kB
SwapCached:         1216 kB
Active:          1226000 kB
Inactive:         114960 kB
Active(anon):    1120464 kB
Inactive(anon):     3248 kB
Active(file):     105536 kB
Inactive(file):   111712 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100060 kB
Dirty:             19188 kB
Writeback:             0 kB
AnonPages:       2816772 kB
Mapped:            10736 kB
Shmem:                 0 kB
Slab:             605156 kB
SReclaimable:      48364 kB
SUnreclaim:       556792 kB
KernelStack:        1464 kB
PageTables:         9548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2957128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    567296 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= 71664 MiB
End job on node137 at 2016-06-19 01:07:09