Trace number 4079892

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.62

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx97.opb
MD5SUM22116bd56344f7c7bb7157cc5841f631
Bench CategoryOPT-SMALLINT-LIN (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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8424
Total number of constraints9089
Number of constraints which are clauses8415
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1199
Number of bits of the biggest sum of numbers11
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-07T04:23:48+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-4079892-1465266227.opb"]
0.00/0.01	c use --random-gen="2512572933 397166354 469525523 2240196619 527070118 2137366262 3539743390 1303500108 3400479120 2471615910 422421719 77049656 3374973851 2976437324 3019907584 618273219 255881853 794498573 1515489009 2078612879 814643631 3240155183 15714916 3383480399 3271026699 2259604987 805722177 3253539530 4086586054 2159044792 2964684665 2647903693 2208594089 842645370 2848963862 845383550 3700023702 4173757914 942127877 1730865732 2991398185 2160452343 1487930126 1117665821 250025767 2880828752 815986222 1033633303 1209110876 203082048 243651714 847403886 1467565670 2152403070 115227309 1798995618 3326546446 2859640084 3271749187 2135555437 3851238711 3026518427 80259372 524237583 1352713417 1932385243 4290614919 3891588401 2684992455 3279875078 325416107 2373745851 200143223 858345324 3320899122 1402154992 3899032502 3922038045 1422775126 1570294479 1700069669 3196440122 3622931438 2144660108 3594492654 1685933992 1918498400 3607626804 1613050993 4099488409 2580884484 856804835 2967713083 1938600570 3054503356 814815432 1839663765 624598353 2213689269 2254614299 3148497393 2483516947 329515601 1327893877 1255736982 477670053 3529715288 3754434146 3871524540 1530732076 2983511 3632054755 2918050605 594719691 285962559 1153162061 3418885230 289431459 4115472239 1733251882 1167764903 1579854080 2913751035 2698920641 2729013010 1086987777 1273126767 4245479263 4226778521 3570704462 3889725680 4231502527 2770945929 1756755714 2553133178 4285445632 1849889455 3584419860 487510530 3672325298 972667812 688831096 2732244045 2817796023 1882666093 4105493029 3690886442 1546471806 837083594 2012104307 3784072505 2297712890 675913887 1707051221 3616856873 1513072398 2169314908 719284213 1549632824 1431132387 2063374575 737591000 2897130398 1190378099 3986192587 1904223121 1694314718 1043866073 3638572160 1525723716 2453061136 3704233280 1783439326 4250357463 815493447 303344169 784168508 2581180169 3561226329 2186550036 602283115 4194442177 322285066 3868260694 1982140284 2346934427 22059464 3535210817 1958089284 735516427 2752859854 2456206288 1616600390 1560706447 1454226947 110814976 277187292 1646491274 2738179191 2372211222 3909702825 2526196701 913646457 1529937379 2502389778 587224520 2193601292 1116966699 4090319083 1591455612 2479575172 2872382963 899434808 550179349 3980379644 2774521710 261580996 3260264381 3200826114 3759122820 247401579 1470534821 3565710247 1371511619 4157957609 737931918 678943393 3704645707 3765636706 1154293923 233760667 470188809 53394733 2307110198 2495014209 2326352089 3405978307 3212279840 1188055221 692469132 2922975587 1864728403 3189875064 866991863 1312425771 1383774377 1953871273 1588042422 18810601 3307007917 3989395698 1689278568 3002793841 3369620098 1653708681 4253807168 255 362436" option to reproduce the execution
0.19/0.21	c #vars 8424
0.19/0.21	c #constraints 9089
0.39/0.49	c BCD2: Hardening is enabled.
0.39/0.49	c BCD2: BiasedSearch is enabled.
0.39/0.49	c Solving starts ...
0.39/0.49	c ============================[ Search Statistics ]============================
0.39/0.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.49	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.49	c =============================================================================
0.39/0.49	c  0.0s |       0 |        0 |        0 |     5869      0 |        9 |        0
0.59/0.68	c  0.2s |       1 |      160 |      100 |     5869      0 |        9 |     8415
0.89/0.99	c  0.5s |       2 |      540 |      250 |     6456      0 |        9 |     8415
1.48/1.58	c  1.1s |       3 |     1549 |      475 |     7102      0 |        9 |     8415
2.49/2.55	c  2.1s |       4 |     2581 |      813 |     7813      0 |        9 |     8415
4.89/4.96	c  4.5s |       4 |     4505 |     1313 |     8595      0 |        9 |     8415
4.89/4.99	c  4.5s |       5 |     4513 |     1320 |     8595      0 |        9 |     8415
6.48/6.60	c  6.1s |       6 |     6987 |     2081 |    10401      0 |        9 |     8415
8.58/8.61	c  8.1s |       6 |     9976 |     3181 |    10401      0 |        9 |     8415
8.58/8.69	c  8.2s |       7 |    10026 |     3223 |    11442      0 |        9 |     8415
10.78/10.81	c 10.3s |       7 |    12352 |     4423 |    11442      0 |        9 |     8415
11.78/11.87	c 11.4s |       8 |    12876 |     4936 |    12587      0 |        9 |     8415
13.98/14.03	c 13.5s |       8 |    15862 |     6136 |    12587      0 |        9 |     8415
16.08/16.13	c 15.6s |       8 |    17580 |     7236 |    12587      0 |        9 |     8415
16.58/16.67	c 16.2s |       9 |    17924 |     7506 |    13846      0 |        9 |     8415
18.68/18.77	c 18.3s |       9 |    20232 |     8706 |    13846      0 |        9 |     8415
20.68/20.77	c 20.3s |       9 |    21476 |     9806 |    13846      0 |        9 |     8415
22.67/22.79	c 22.3s |       9 |    22775 |    10906 |    13846      0 |        9 |     8415
23.58/23.64	c 23.2s |      10 |    23354 |    11361 |    15231      0 |        9 |     8415
25.88/25.90	c 25.4s |      10 |    25301 |    11961 |    15231      0 |        9 |     8415
27.88/27.97	c 27.5s |      10 |    26254 |    12361 |    15231      0 |        9 |     8415
30.58/30.67	c 30.2s |      10 |    27155 |    12761 |    15231      0 |        9 |     8415
32.88/32.92	c 32.4s |      10 |    27835 |    13061 |    15231      0 |        9 |     8415
35.07/35.15	c 34.7s |      10 |    28315 |    13361 |    15231      0 |        9 |     8415
37.67/37.71	c 37.2s |      10 |    29541 |    13761 |    15231      0 |        9 |     8415
39.97/40.05	c 39.6s |      10 |    30033 |    14061 |    15231      0 |        9 |     8415
42.17/42.26	c 41.8s |      10 |    30490 |    14361 |    15231      0 |        9 |     8415
44.18/44.29	c 43.8s |      10 |    30981 |    14661 |    15231      0 |        9 |     8415
46.67/46.77	c 46.3s |      10 |    31439 |    14961 |    15231      0 |        9 |     8415
48.77/48.89	c 48.4s |      10 |    31720 |    15161 |    15231      0 |        9 |     8415
51.68/51.79	c 51.3s |      10 |    32178 |    15461 |    15231      0 |        9 |     8415
54.57/54.68	c 54.2s |      10 |    32644 |    15761 |    15231      0 |        9 |     8415
57.87/57.90	c 57.4s |      10 |    33148 |    16061 |    15231      0 |        9 |     8415
60.17/60.21	c 59.7s |      10 |    33834 |    16361 |    15231      0 |        9 |     8415
62.57/62.67	c 62.2s |      10 |    34328 |    16661 |    15231      0 |        9 |     8415
65.27/65.35	c 64.9s |      10 |    34847 |    16961 |    15231      0 |        9 |     8415
66.87/66.92	c 66.4s |      11 |    35072 |    17144 |    16755      0 |        9 |     8415
68.87/68.98	c 68.5s |      11 |    37968 |    18044 |    16755      1 |        9 |     8415
70.97/71.10	c 70.6s |      11 |    39160 |    19144 |    16755      1 |        9 |     8415
73.16/73.29	c 72.8s |      11 |    40371 |    20244 |    16755      1 |        9 |     8415
75.26/75.37	c 74.9s |      11 |    41429 |    21144 |    16755      1 |        9 |     8415
77.36/77.44	c 77.0s |      11 |    42468 |    22044 |    16755      1 |        9 |     8415
79.36/79.46	c 79.0s |      11 |    43483 |    22944 |    16755      1 |        9 |     8415
81.47/81.55	c 81.1s |      11 |    44436 |    23844 |    16755      1 |        9 |     8415
83.57/83.61	c 83.1s |      11 |    45519 |    24744 |    16755      1 |        9 |     8415
85.56/85.66	c 85.2s |      11 |    46743 |    25644 |    16755      1 |        9 |     8415
86.06/86.15	c 85.7s |      12 |    46946 |    25819 |    18431      1 |        9 |     8415
88.25/88.36	c 87.9s |      12 |    48342 |    26319 |    18431      1 |        9 |     8415
90.26/90.39	c 89.9s |      12 |    49142 |    26919 |    18431      1 |        9 |     8415
92.36/92.48	c 92.0s |      12 |    49745 |    27419 |    18431      1 |        9 |     8415
94.36/94.49	c 94.0s |      12 |    50452 |    27919 |    18431      1 |        9 |     8415
96.75/96.82	c 96.3s |      12 |    51049 |    28419 |    18431      1 |        9 |     8415
98.76/98.82	c 98.3s |      12 |    51436 |    28719 |    18431      1 |        9 |     8415
101.05/101.14	c  100s |      12 |    51771 |    29019 |    18431      1 |        9 |     8415
103.35/103.45	c  102s |      12 |    52196 |    29319 |    18431      1 |        9 |     8415
105.65/105.71	c  105s |      12 |    52516 |    29619 |    18431      1 |        9 |     8415
108.14/108.21	c  107s |      12 |    52840 |    29919 |    18431      1 |        9 |     8415
110.64/110.79	c  110s |      12 |    53150 |    30219 |    18431      1 |        9 |     8415
112.75/112.82	c  112s |      12 |    53361 |    30419 |    18431      1 |        9 |     8415
115.45/115.59	c  115s |      12 |    53680 |    30719 |    18431      1 |        9 |     8415
117.94/118.04	c  117s |      12 |    54271 |    31019 |    18431      1 |        9 |     8415
120.15/120.26	c  119s |      12 |    54608 |    31319 |    18431      1 |        9 |     8415
122.54/122.61	c  122s |      12 |    55032 |    31619 |    18431      1 |        9 |     8415
125.14/125.28	c  124s |      12 |    55483 |    32019 |    18431      1 |        9 |     8415
127.34/127.45	c  126s |      12 |    55790 |    32319 |    18431      1 |        9 |     8415
129.94/130.06	c  129s |      12 |    56117 |    32619 |    18431      1 |        9 |     8415
132.94/133.00	c  132s |      12 |    56473 |    32919 |    18431      1 |        9 |     8415
135.34/135.48	c  134s |      12 |    56766 |    33119 |    18431      2 |        9 |     8415
137.74/137.81	c  137s |      12 |    57088 |    33419 |    18431      2 |        9 |     8415
139.74/139.85	c  139s |      12 |    57420 |    33719 |    18431      2 |        9 |     8415
142.03/142.17	c  141s |      12 |    57881 |    34019 |    18431      2 |        9 |     8415
144.53/144.63	c  144s |      12 |    58294 |    34319 |    18431      2 |        9 |     8415
146.53/146.65	c  146s |      12 |    58538 |    34519 |    18431      2 |        9 |     8415
148.54/148.69	c  148s |      12 |    58764 |    34719 |    18431      2 |        9 |     8415
150.84/150.92	c  150s |      12 |    58969 |    34919 |    18431      2 |        9 |     8415
153.63/153.71	c  153s |      12 |    59308 |    35219 |    18431      2 |        9 |     8415
156.63/156.71	c  156s |      12 |    59631 |    35519 |    18431      2 |        9 |     8415
158.73/158.80	c  158s |      12 |    59838 |    35719 |    18431      2 |        9 |     8415
161.52/161.62	c  161s |      12 |    60151 |    36019 |    18431      2 |        9 |     8415
163.62/163.74	c  163s |      12 |    60563 |    36319 |    18431      2 |        9 |     8415
166.12/166.26	c  165s |      12 |    60912 |    36619 |    18431      2 |        9 |     8415
168.42/168.51	c  168s |      12 |    61251 |    36919 |    18431      2 |        9 |     8415
170.92/171.08	c  170s |      12 |    61569 |    37219 |    18431      2 |        9 |     8415
173.73/173.81	c  173s |      12 |    61886 |    37519 |    18431      2 |        9 |     8415
176.11/176.23	c  175s |      12 |    62200 |    37819 |    18431      2 |        9 |     8415
178.31/178.48	c  177s |      12 |    62519 |    38119 |    18431      2 |        9 |     8415
180.52/180.66	c  180s |      12 |    62855 |    38419 |    18431      2 |        9 |     8415
182.82/182.92	c  182s |      12 |    63170 |    38719 |    20275      2 |        9 |     8415
183.72/183.85	c  183s |      13 |    63296 |    38832 |    20275      2 |        9 |     8415
185.82/185.99	c  185s |      13 |    66253 |    39332 |    20275      2 |        9 |     8415
187.91/188.01	c  187s |      13 |    67366 |    40132 |    20275      2 |        9 |     8415
189.91/190.07	c  189s |      13 |    68238 |    40832 |    20275      2 |        9 |     8415
192.21/192.30	c  191s |      13 |    69114 |    41632 |    20275      2 |        9 |     8415
194.21/194.39	c  193s |      13 |    69791 |    42232 |    20275      2 |        9 |     8415
196.71/196.87	c  196s |      13 |    70476 |    42832 |    20275      2 |        9 |     8415
199.01/199.13	c  198s |      13 |    71474 |    43632 |    20275      2 |        9 |     8415
201.21/201.37	c  200s |      13 |    72137 |    44232 |    20275      2 |        9 |     8415
203.51/203.65	c  203s |      13 |    72753 |    44832 |    20275      2 |        9 |     8415
205.91/206.01	c  205s |      13 |    73386 |    45432 |    20275      2 |        9 |     8415
207.91/208.05	c  207s |      13 |    73918 |    45932 |    20275      2 |        9 |     8415
210.60/210.77	c  210s |      13 |    74334 |    46332 |    20275      3 |        9 |     8415
212.90/213.04	c  212s |      13 |    74974 |    46932 |    20275      3 |        9 |     8415
214.99/215.14	c  214s |      13 |    75617 |    47532 |    20275      3 |        9 |     8415
217.20/217.33	c  216s |      13 |    76276 |    48132 |    20275      3 |        9 |     8415
219.19/219.38	c  218s |      13 |    76947 |    48732 |    20275      3 |        9 |     8415
221.30/221.43	c  220s |      13 |    77581 |    49332 |    20275      3 |        9 |     8415
223.40/223.52	c  223s |      13 |    78210 |    49932 |    20275      3 |        9 |     8415
225.69/225.80	c  225s |      13 |    79154 |    50632 |    20275      3 |        9 |     8415
227.99/228.12	c  227s |      13 |    79929 |    51332 |    20275      3 |        9 |     8415
230.08/230.24	c  229s |      13 |    80851 |    52132 |    20275      3 |        9 |     8415
232.28/232.43	c  231s |      13 |    81619 |    52832 |    20275      3 |        9 |     8415
234.49/234.69	c  234s |      13 |    82257 |    53432 |    20275      3 |        9 |     8415
236.69/236.84	c  236s |      13 |    82903 |    54032 |    20275      3 |        9 |     8415
238.78/238.91	c  238s |      13 |    83551 |    54632 |    20275      3 |        9 |     8415
240.79/240.95	c  240s |      13 |    84361 |    55232 |    20275      3 |        9 |     8415
242.78/242.98	c  242s |      13 |    85062 |    55832 |    20275      3 |        9 |     8415
245.08/245.30	c  244s |      13 |    85996 |    56532 |    20275      3 |        9 |     8415
247.28/247.49	c  247s |      13 |    86723 |    57132 |    20275      3 |        9 |     8415
249.48/249.66	c  249s |      13 |    87413 |    57732 |    20275      3 |        9 |     8415
251.78/251.97	c  251s |      13 |    88072 |    58332 |    22303      3 |        9 |     8415
251.88/252.05	c  251s |      14 |    88099 |    58352 |    22303      3 |        9 |     8415
254.17/254.32	c  253s |      14 |    89720 |    58452 |    22303      4 |        9 |     8415
256.28/256.43	c  255s |      14 |    91217 |    59852 |    22303      4 |        9 |     8415
258.27/258.45	c  257s |      14 |    92601 |    61152 |    22303      4 |        9 |     8415
260.37/260.57	c  260s |      14 |    93967 |    62452 |    22303      4 |        9 |     8415
262.47/262.63	c  262s |      14 |    95818 |    63952 |    22303      4 |        9 |     8415
264.47/264.68	c  264s |      14 |    97527 |    65352 |    22303      4 |        9 |     8415
266.56/266.79	c  266s |      14 |    99225 |    66752 |    22303      4 |        9 |     8415
268.66/268.86	c  268s |      14 |   100744 |    68052 |    22303      4 |        9 |     8415
270.87/271.05	c  270s |      14 |   103388 |    69152 |    22303      4 |        9 |     8415
272.97/273.17	c  272s |      14 |   104339 |    70052 |    22303      4 |        9 |     8415
275.07/275.28	c  274s |      14 |   105299 |    70952 |    22303      4 |        9 |     8415
277.37/277.52	c  277s |      14 |   106241 |    71852 |    22303      4 |        9 |     8415
279.47/279.61	c  279s |      14 |   106976 |    72552 |    22303      4 |        9 |     8415
281.66/281.81	c  281s |      14 |   107918 |    73452 |    22303      4 |        9 |     8415
283.67/283.82	c  283s |      14 |   108760 |    74252 |    22303      4 |        9 |     8415
285.87/286.10	c  285s |      14 |   109710 |    75152 |    22303      4 |        9 |     8415
288.06/288.24	c  287s |      14 |   110343 |    75752 |    22303      5 |        9 |     8415
290.16/290.30	c  289s |      14 |   111072 |    76452 |    22303      5 |        9 |     8415
292.36/292.53	c  292s |      14 |   111900 |    77252 |    22303      5 |        9 |     8415
294.46/294.66	c  294s |      14 |   112728 |    78052 |    22303      5 |        9 |     8415
296.75/296.93	c  296s |      14 |   113557 |    78852 |    22303      5 |        9 |     8415
298.85/299.06	c  298s |      14 |   114285 |    79552 |    22303      5 |        9 |     8415
301.05/301.28	c  300s |      14 |   115101 |    80352 |    22303      5 |        9 |     8415
303.15/303.37	c  302s |      14 |   115740 |    80952 |    22303      5 |        9 |     8415
305.25/305.49	c  304s |      14 |   116350 |    81552 |    22303      5 |        9 |     8415
307.44/307.63	c  307s |      14 |   116959 |    82152 |    22303      5 |        9 |     8415
309.44/309.69	c  309s |      14 |   117807 |    82752 |    22303      5 |        9 |     8415
311.64/311.85	c  311s |      14 |   118552 |    83452 |    22303      5 |        9 |     8415
313.94/314.19	c  313s |      14 |   119192 |    84052 |    22303      5 |        9 |     8415
316.13/316.33	c  315s |      14 |   119809 |    84652 |    22303      5 |        9 |     8415
318.33/318.51	c  318s |      14 |   120347 |    85152 |    22303      5 |        9 |     8415
320.53/320.75	c  320s |      14 |   121049 |    85752 |    22303      5 |        9 |     8415
322.63/322.80	c  322s |      14 |   121705 |    86252 |    22303      5 |        9 |     8415
324.83/325.08	c  324s |      14 |   122434 |    86752 |    22303      5 |        9 |     8415
326.92/327.10	c  326s |      14 |   122961 |    87252 |    24534      5 |        9 |     8415
328.52/328.71	c  328s |      15 |   123413 |    87632 |    24534      5 |        9 |     8415
330.63/330.84	c  330s |      15 |   126591 |    88332 |    24534      6 |        9 |     8415
332.63/332.89	c  332s |      15 |   128065 |    89732 |    24534      6 |        9 |     8415
334.83/335.04	c  334s |      15 |   129545 |    91132 |    24534      6 |        9 |     8415
336.82/337.07	c  336s |      15 |   130900 |    92432 |    24534      6 |        9 |     8415
338.92/339.16	c  338s |      15 |   132268 |    93732 |    24534      6 |        9 |     8415
341.02/341.26	c  340s |      15 |   133561 |    94932 |    24534      6 |        9 |     8415
343.13/343.35	c  342s |      15 |   134862 |    96132 |    24534      6 |        9 |     8415
345.33/345.51	c  345s |      15 |   136376 |    97432 |    24534      6 |        9 |     8415
347.42/347.66	c  347s |      15 |   137755 |    98632 |    24534      6 |        9 |     8415
349.52/349.78	c  349s |      15 |   138956 |    99732 |    24534      6 |        9 |     8415
351.62/351.84	c  351s |      15 |   140189 |   100832 |    24534      6 |        9 |     8415
353.62/353.88	c  353s |      15 |   141460 |   101932 |    24534      6 |        9 |     8415
355.72/355.96	c  355s |      15 |   142296 |   102732 |    24534      7 |        9 |     8415
357.81/358.00	c  357s |      15 |   143407 |   103732 |    24534      7 |        9 |     8415
359.81/360.02	c  359s |      15 |   144384 |   104632 |    24534      7 |        9 |     8415
361.82/362.06	c  361s |      15 |   145479 |   105632 |    24534      7 |        9 |     8415
364.02/364.22	c  363s |      15 |   146711 |   106632 |    24534      7 |        9 |     8415
366.11/366.34	c  365s |      15 |   147810 |   107632 |    24534      7 |        9 |     8415
368.31/368.53	c  368s |      15 |   148923 |   108632 |    24534      7 |        9 |     8415
370.51/370.74	c  370s |      15 |   149990 |   109632 |    24534      7 |        9 |     8415
372.60/372.80	c  372s |      15 |   151049 |   110632 |    24534      7 |        9 |     8415
374.60/374.84	c  374s |      15 |   152020 |   111532 |    24534      7 |        9 |     8415
376.80/377.03	c  376s |      15 |   152969 |   112432 |    24534      7 |        9 |     8415
378.90/379.13	c  378s |      15 |   153948 |   113332 |    24534      7 |        9 |     8415
381.10/381.30	c  380s |      15 |   154902 |   114232 |    24534      7 |        9 |     8415
383.30/383.50	c  383s |      15 |   155843 |   115132 |    24534      7 |        9 |     8415
385.40/385.67	c  385s |      15 |   156802 |   116032 |    24534      7 |        9 |     8415
387.59/387.87	c  387s |      15 |   157650 |   116832 |    24534      8 |        9 |     8415
389.69/389.94	c  389s |      15 |   158175 |   117332 |    24534      8 |        9 |     8415
391.79/392.01	c  391s |      15 |   159222 |   118332 |    24534      8 |        9 |     8415
393.79/394.06	c  393s |      15 |   160287 |   119332 |    24534      8 |        9 |     8415
395.99/396.24	c  395s |      15 |   161117 |   120132 |    24534      8 |        9 |     8415
398.59/398.85	c  398s |      15 |   162077 |   121032 |    24534      8 |        9 |     8415
400.78/401.04	c  400s |      15 |   163150 |   122032 |    24534      8 |        9 |     8415
402.78/403.05	c  402s |      15 |   164084 |   122932 |    24534      8 |        9 |     8415
404.78/405.08	c  404s |      15 |   164949 |   123732 |    24534      8 |        9 |     8415
406.98/407.25	c  406s |      15 |   165897 |   124632 |    24534      8 |        9 |     8415
409.18/409.49	c  409s |      15 |   166849 |   125532 |    24534      8 |        9 |     8415
411.28/411.51	c  411s |      15 |   167957 |   126432 |    24534      8 |        9 |     8415
413.48/413.73	c  413s |      15 |   169025 |   127332 |    24534      8 |        9 |     8415
415.48/415.80	c  415s |      15 |   169968 |   128132 |    24534      8 |        9 |     8415
417.57/417.81	c  417s |      15 |   170920 |   128932 |    24534      8 |        9 |     8415
419.67/419.95	c  419s |      15 |   171805 |   129732 |    24534      8 |        9 |     8415
421.77/422.03	c  421s |      15 |   172726 |   130532 |    24534      8 |        9 |     8415
423.78/424.08	c  423s |      15 |   175573 |   131332 |    26988      8 |        9 |     8415
424.18/424.45	c  423s |      16 |   175813 |   131552 |    26988      8 |        9 |     8415
426.28/426.57	c  426s |      16 |   177737 |   131752 |    26988      9 |        9 |     8415
428.48/428.71	c  428s |      16 |   179091 |   132752 |    26988      9 |        9 |     8415
430.57/430.80	c  430s |      16 |   180233 |   133652 |    26988      9 |        9 |     8415
432.67/432.94	c  432s |      16 |   181419 |   134652 |    26988      9 |        9 |     8415
434.77/435.00	c  434s |      16 |   183125 |   135752 |    26988      9 |        9 |     8415
436.77/437.01	c  436s |      16 |   184449 |   136752 |    26988      9 |        9 |     8415
438.87/439.18	c  438s |      16 |   185521 |   137752 |    26988      9 |        9 |     8415
440.97/441.29	c  440s |      16 |   186734 |   138752 |    26988      9 |        9 |     8415
443.17/443.41	c  442s |      16 |   187953 |   139752 |    26988      9 |        9 |     8415
445.27/445.54	c  445s |      16 |   189413 |   140852 |    26988      9 |        9 |     8415
447.26/447.54	c  447s |      16 |   190443 |   141752 |    26988      9 |        9 |     8415
449.36/449.68	c  449s |      16 |   191395 |   142652 |    26988      9 |        9 |     8415
451.47/451.73	c  451s |      16 |   192473 |   143552 |    26988      9 |        9 |     8415
453.47/453.75	c  453s |      16 |   193472 |   144452 |    26988      9 |        9 |     8415
455.57/455.82	c  455s |      16 |   194447 |   145352 |    26988      9 |        9 |     8415
457.76/458.02	c  457s |      16 |   195803 |   146252 |    26988     10 |        9 |     8415
459.76/460.07	c  459s |      16 |   197015 |   147152 |    26988     10 |        9 |     8415
461.76/462.09	c  461s |      16 |   198042 |   148052 |    26988     10 |        9 |     8415
463.96/464.28	c  463s |      16 |   199163 |   149052 |    26988     10 |        9 |     8415
466.17/466.47	c  465s |      16 |   200172 |   149952 |    26988     10 |        9 |     8415
468.37/468.60	c  468s |      16 |   201251 |   150952 |    26988     10 |        9 |     8415
470.57/470.83	c  470s |      16 |   202304 |   151952 |    26988     10 |        9 |     8415
472.66/472.98	c  472s |      16 |   203241 |   152852 |    26988     10 |        9 |     8415
474.76/475.02	c  474s |      16 |   204060 |   153652 |    26988     10 |        9 |     8415
476.76/477.03	c  476s |      16 |   204872 |   154452 |    26988     10 |        9 |     8415
478.76/479.07	c  478s |      16 |   205738 |   155252 |    26988     10 |        9 |     8415
480.86/481.12	c  480s |      16 |   206572 |   156052 |    26988     10 |        9 |     8415
482.86/483.18	c  482s |      16 |   207339 |   156752 |    26988     10 |        9 |     8415
484.96/485.22	c  484s |      16 |   208068 |   157452 |    26988     10 |        9 |     8415
487.16/487.45	c  486s |      16 |   208928 |   158252 |    26988     10 |        9 |     8415
489.36/489.67	c  489s |      16 |   209763 |   159052 |    26988     10 |        9 |     8415
491.46/491.71	c  491s |      16 |   210726 |   159852 |    26988     10 |        9 |     8415
493.55/493.82	c  493s |      16 |   211686 |   160652 |    26988     11 |        9 |     8415
495.65/495.99	c  495s |      16 |   212781 |   161652 |    26988     11 |        9 |     8415
497.74/498.05	c  497s |      16 |   213774 |   162552 |    26988     11 |        9 |     8415
499.74/500.09	c  499s |      16 |   214724 |   163452 |    26988     11 |        9 |     8415
501.94/502.29	c  501s |      16 |   216013 |   164452 |    26988     11 |        9 |     8415
504.14/504.40	c  503s |      16 |   217055 |   165352 |    26988     11 |        9 |     8415
506.24/506.56	c  506s |      16 |   217952 |   166152 |    26988     11 |        9 |     8415
508.54/508.83	c  508s |      16 |   218747 |   166852 |    26988     11 |        9 |     8415
510.64/510.92	c  510s |      16 |   219862 |   167752 |    26988     11 |        9 |     8415
512.84/513.14	c  512s |      16 |   220955 |   168652 |    26988     11 |        9 |     8415
514.84/515.17	c  514s |      16 |   221971 |   169452 |    26988     11 |        9 |     8415
517.03/517.36	c  516s |      16 |   223039 |   170352 |    26988     11 |        9 |     8415
519.23/519.58	c  519s |      16 |   224004 |   171252 |    26988     11 |        9 |     8415
521.43/521.78	c  521s |      16 |   224991 |   172152 |    26988     11 |        9 |     8415
523.53/523.86	c  523s |      16 |   225832 |   172952 |    26988     11 |        9 |     8415
525.53/525.88	c  525s |      16 |   226578 |   173652 |    26988     11 |        9 |     8415
527.62/527.94	c  527s |      16 |   227363 |   174352 |    26988     11 |        9 |     8415
529.62/529.97	c  529s |      16 |   228070 |   174952 |    26988     12 |        9 |     8415
531.62/531.98	c  531s |      16 |   228961 |   175752 |    26988     12 |        9 |     8415
533.82/534.13	c  533s |      16 |   229942 |   176652 |    26988     12 |        9 |     8415
536.01/536.31	c  535s |      16 |   230956 |   177552 |    26988     12 |        9 |     8415
538.01/538.37	c  537s |      16 |   231780 |   178252 |    26988     12 |        9 |     8415
540.21/540.58	c  540s |      16 |   233009 |   179252 |    26988     12 |        9 |     8415
542.41/542.70	c  542s |      16 |   234169 |   180252 |    26988     12 |        9 |     8415
544.51/544.86	c  544s |      16 |   235323 |   181252 |    26988     12 |        9 |     8415
546.71/547.01	c  546s |      16 |   236411 |   182152 |    26988     12 |        9 |     8415
548.71/549.08	c  548s |      16 |   237490 |   183052 |    26988     12 |        9 |     8415
550.91/551.27	c  550s |      16 |   238525 |   183952 |    26988     12 |        9 |     8415
553.01/553.36	c  552s |      16 |   239397 |   184752 |    26988     12 |        9 |     8415
555.21/555.59	c  555s |      16 |   240269 |   185552 |    26988     12 |        9 |     8415
557.30/557.69	c  557s |      16 |   241157 |   186352 |    26988     12 |        9 |     8415
559.40/559.73	c  559s |      16 |   242086 |   187152 |    26988     12 |        9 |     8415
561.50/561.88	c  561s |      16 |   242975 |   187952 |    26988     12 |        9 |     8415
563.60/563.91	c  563s |      16 |   243933 |   188752 |    26988     12 |        9 |     8415
565.70/566.07	c  565s |      16 |   244873 |   189552 |    26988     13 |        9 |     8415
568.10/568.43	c  567s |      16 |   246056 |   190552 |    26988     13 |        9 |     8415
570.10/570.48	c  569s |      16 |   247015 |   191452 |    26988     13 |        9 |     8415
572.30/572.64	c  572s |      16 |   248151 |   192452 |    26988     13 |        9 |     8415
574.30/574.69	c  574s |      16 |   249154 |   193352 |    26988     13 |        9 |     8415
576.49/576.84	c  576s |      16 |   250430 |   194352 |    26988     13 |        9 |     8415
578.49/578.89	c  578s |      16 |   251486 |   195252 |    26988     13 |        9 |     8415
580.50/580.89	c  580s |      16 |   252607 |   196152 |    29687     13 |        9 |     8415
582.59/582.93	c  582s |      16 |   253465 |   196952 |    29687     13 |        9 |     8415
583.69/584.05	c  583s |      17 |   254032 |   197432 |    29687     13 |        9 |     8415
585.79/586.15	c  585s |      17 |   256524 |   198332 |    29687     13 |        9 |     8415
587.98/588.38	c  587s |      17 |   257679 |   199232 |    29687     13 |        9 |     8415
590.08/590.42	c  589s |      17 |   258782 |   200032 |    29687     13 |        9 |     8415
592.18/592.54	c  592s |      17 |   259572 |   200732 |    29687     13 |        9 |     8415
594.28/594.67	c  594s |      17 |   260608 |   201632 |    29687     13 |        9 |     8415
596.38/596.79	c  596s |      17 |   261552 |   202432 |    29687     13 |        9 |     8415
598.48/598.83	c  598s |      17 |   262255 |   203032 |    29687     13 |        9 |     8415
600.68/601.05	c  600s |      17 |   262965 |   203632 |    29687     13 |        9 |     8415
602.78/603.12	c  602s |      17 |   263538 |   204132 |    29687     13 |        9 |     8415
605.18/605.50	c  605s |      17 |   264256 |   204732 |    29687     13 |        9 |     8415
607.47/607.86	c  607s |      17 |   264982 |   205332 |    29687     13 |        9 |     8415
609.77/610.17	c  609s |      17 |   265614 |   205832 |    29687     13 |        9 |     8415
612.27/612.65	c  612s |      17 |   266270 |   206332 |    29687     13 |        9 |     8415
614.77/615.15	c  614s |      17 |   266865 |   206832 |    29687     13 |        9 |     8415
616.87/617.23	c  616s |      17 |   267325 |   207232 |    29687     13 |        9 |     8415
618.98/619.36	c  618s |      17 |   267748 |   207632 |    29687     13 |        9 |     8415
620.97/621.38	c  620s |      17 |   268450 |   208232 |    29687     13 |        9 |     8415
623.07/623.48	c  622s |      17 |   269170 |   208832 |    29687     13 |        9 |     8415
625.27/625.60	c  625s |      17 |   269905 |   209432 |    29687     13 |        9 |     8415
627.66/628.00	c  627s |      17 |   270555 |   210032 |    29687     13 |        9 |     8415
629.76/630.18	c  629s |      17 |   271398 |   210632 |    29687     13 |        9 |     8415
631.86/632.28	c  631s |      17 |   272032 |   211132 |    29687     14 |        9 |     8415
634.26/634.62	c  634s |      17 |   272766 |   211732 |    29687     14 |        9 |     8415
636.56/637.00	c  636s |      17 |   273482 |   212332 |    29687     14 |        9 |     8415
638.86/639.25	c  638s |      17 |   274236 |   212932 |    29687     14 |        9 |     8415
641.26/641.65	c  641s |      17 |   274969 |   213532 |    29687     14 |        9 |     8415
643.36/643.72	c  643s |      17 |   275631 |   214132 |    29687     14 |        9 |     8415
645.66/646.09	c  645s |      17 |   276185 |   214632 |    29687     14 |        9 |     8415
647.85/648.24	c  647s |      17 |   276602 |   215032 |    29687     14 |        9 |     8415
650.35/650.78	c  650s |      17 |   277143 |   215532 |    29687     14 |        9 |     8415
652.75/653.18	c  652s |      17 |   277684 |   216032 |    29687     14 |        9 |     8415
655.15/655.59	c  655s |      17 |   278362 |   216532 |    29687     14 |        9 |     8415
657.55/657.93	c  657s |      17 |   278904 |   216932 |    29687     14 |        9 |     8415
659.54/659.94	c  659s |      17 |   279289 |   217232 |    29687     14 |        9 |     8415
661.64/662.01	c  661s |      17 |   279777 |   217632 |    29687     14 |        9 |     8415
664.15/664.53	c  664s |      17 |   280296 |   218032 |    29687     14 |        9 |     8415
666.84/667.21	c  666s |      17 |   280779 |   218432 |    29687     14 |        9 |     8415
668.94/669.39	c  668s |      17 |   281100 |   218732 |    29687     14 |        9 |     8415
671.34/671.78	c  671s |      17 |   281663 |   219132 |    29687     14 |        9 |     8415
673.84/674.23	c  673s |      17 |   282134 |   219532 |    29687     14 |        9 |     8415
676.24/676.64	c  676s |      17 |   282598 |   219932 |    29687     14 |        9 |     8415
678.74/679.19	c  678s |      17 |   283014 |   220332 |    29687     14 |        9 |     8415
680.83/681.22	c  680s |      17 |   283328 |   220632 |    29687     14 |        9 |     8415
683.23/683.67	c  683s |      17 |   283815 |   221032 |    29687     14 |        9 |     8415
685.83/686.25	c  685s |      17 |   284253 |   221432 |    29687     14 |        9 |     8415
688.13/688.59	c  688s |      17 |   284596 |   221732 |    29687     14 |        9 |     8415
690.23/690.69	c  690s |      17 |   284913 |   222032 |    29687     14 |        9 |     8415
692.64/693.06	c  692s |      17 |   285547 |   222532 |    29687     14 |        9 |     8415
694.94/695.38	c  694s |      17 |   286168 |   223032 |    29687     14 |        9 |     8415
697.03/697.41	c  696s |      17 |   286667 |   223432 |    29687     14 |        9 |     8415
699.13/699.53	c  699s |      17 |   287124 |   223832 |    29687     14 |        9 |     8415
701.23/701.63	c  701s |      17 |   287612 |   224232 |    29687     14 |        9 |     8415
703.53/703.92	c  703s |      17 |   288081 |   224632 |    29687     14 |        9 |     8415
706.03/706.41	c  705s |      17 |   288511 |   225032 |    29687     14 |        9 |     8415
708.13/708.53	c  708s |      17 |   289070 |   225432 |    29687     14 |        9 |     8415
710.23/710.62	c  710s |      17 |   289526 |   225832 |    29687     14 |        9 |     8415
712.82/713.28	c  712s |      17 |   289949 |   226232 |    29687     14 |        9 |     8415
715.03/715.49	c  715s |      17 |   290485 |   226632 |    29687     14 |        9 |     8415
717.62/718.08	c  717s |      17 |   291017 |   227132 |    29687     14 |        9 |     8415
720.33/720.73	c  720s |      17 |   291481 |   227532 |    29687     14 |        9 |     8415
722.43/722.81	c  722s |      17 |   292053 |   228032 |    29687     14 |        9 |     8415
724.72/725.17	c  724s |      17 |   292592 |   228532 |    29687     14 |        9 |     8415
727.32/727.76	c  727s |      17 |   293158 |   229032 |    29687     14 |        9 |     8415
730.53/730.93	c  730s |      17 |   293485 |   229332 |    29687     15 |        9 |     8415
732.52/732.98	c  732s |      17 |   293908 |   229732 |    29687     15 |        9 |     8415
734.62/735.07	c  734s |      17 |   294321 |   230132 |    29687     15 |        9 |     8415
738.83/739.26	c  738s |      17 |   294535 |   230332 |    29687     15 |        9 |     8415
741.32/741.74	c  741s |      17 |   295126 |   230832 |    29687     15 |        9 |     8415
743.63/744.09	c  743s |      17 |   295682 |   231332 |    29687     15 |        9 |     8415
746.12/746.52	c  746s |      17 |   296293 |   231832 |    29687     15 |        9 |     8415
748.32/748.74	c  748s |      17 |   296800 |   232232 |    29687     15 |        9 |     8415
750.72/751.15	c  750s |      17 |   297341 |   232632 |    29687     15 |        9 |     8415
752.71/753.17	c  752s |      17 |   297971 |   233032 |    29687     15 |        9 |     8415
755.22/755.61	c  755s |      17 |   298340 |   233332 |    29687     15 |        9 |     8415
757.62/758.04	c  757s |      17 |   298664 |   233632 |    29687     15 |        9 |     8415
759.62/760.09	c  759s |      17 |   298925 |   233832 |    29687     15 |        9 |     8415
761.82/762.24	c  761s |      17 |   299395 |   234232 |    29687     15 |        9 |     8415
764.02/764.47	c  763s |      17 |   299965 |   234732 |    29687     15 |        9 |     8415
766.51/766.93	c  766s |      17 |   300563 |   235232 |    29687     15 |        9 |     8415
768.72/769.10	c  768s |      17 |   300978 |   235632 |    29687     15 |        9 |     8415
771.12/771.53	c  771s |      17 |   301528 |   236132 |    29687     15 |        9 |     8415
773.42/773.82	c  773s |      17 |   302135 |   236632 |    29687     15 |        9 |     8415
776.02/776.40	c  775s |      17 |   302598 |   237032 |    29687     15 |        9 |     8415
778.72/779.18	c  778s |      17 |   302950 |   237332 |    29687     15 |        9 |     8415
781.22/781.62	c  781s |      17 |   303300 |   237632 |    29687     15 |        9 |     8415
783.51/783.91	c  783s |      17 |   303877 |   238132 |    29687     15 |        9 |     8415
786.01/786.47	c  785s |      17 |   304457 |   238632 |    29687     15 |        9 |     8415
788.51/788.99	c  788s |      17 |   304898 |   239032 |    29687     15 |        9 |     8415
791.11/791.51	c  791s |      17 |   305451 |   239532 |    29687     15 |        9 |     8415
793.41/793.83	c  793s |      17 |   305914 |   239932 |    29687     15 |        9 |     8415
795.81/796.23	c  795s |      17 |   306331 |   240332 |    29687     15 |        9 |     8415
797.81/798.29	c  797s |      17 |   306652 |   240632 |    29687     15 |        9 |     8415
800.22/800.65	c  800s |      17 |   306961 |   240932 |    29687     15 |        9 |     8415
802.31/802.71	c  802s |      17 |   307276 |   241232 |    29687     15 |        9 |     8415
804.31/804.76	c  804s |      17 |   307588 |   241532 |    29687     15 |        9 |     8415
806.82/807.24	c  806s |      17 |   308022 |   241932 |    29687     15 |        9 |     8415
809.41/809.82	c  809s |      17 |   308459 |   242332 |    29687     15 |        9 |     8415
811.61/812.05	c  811s |      17 |   308891 |   242732 |    29687     15 |        9 |     8415
814.01/814.49	c  814s |      17 |   309340 |   243132 |    29687     15 |        9 |     8415
816.41/816.88	c  816s |      17 |   309776 |   243532 |    29687     15 |        9 |     8415
818.91/819.35	c  818s |      17 |   310215 |   243932 |    29687     15 |        9 |     8415
821.21/821.63	c  821s |      17 |   310534 |   244232 |    29687     15 |        9 |     8415
823.71/824.14	c  823s |      17 |   310846 |   244532 |    29687     15 |        9 |     8415
825.90/826.32	c  825s |      17 |   311162 |   244832 |    29687     15 |        9 |     8415
828.21/828.68	c  828s |      17 |   311597 |   245232 |    29687     15 |        9 |     8415
830.51/830.97	c  830s |      17 |   312090 |   245632 |    29687     15 |        9 |     8415
833.01/833.45	c  832s |      17 |   312889 |   246232 |    29687     15 |        9 |     8415
835.51/835.91	c  835s |      17 |   313476 |   246732 |    29687     15 |        9 |     8415
837.82/838.24	c  837s |      17 |   314072 |   247232 |    29687     15 |        9 |     8415
840.31/840.71	c  840s |      17 |   314357 |   247432 |    29687     16 |        9 |     8415
842.50/842.93	c  842s |      17 |   314904 |   247932 |    29687     16 |        9 |     8415
844.70/845.14	c  844s |      17 |   315448 |   248332 |    29687     16 |        9 |     8415
847.20/847.62	c  847s |      17 |   316040 |   248832 |    29687     16 |        9 |     8415
849.71/850.13	c  849s |      17 |   316657 |   249332 |    29687     16 |        9 |     8415
851.71/852.15	c  851s |      17 |   317200 |   249732 |    29687     16 |        9 |     8415
854.00/854.46	c  853s |      17 |   317788 |   250232 |    29687     16 |        9 |     8415
856.51/856.90	c  856s |      17 |   318232 |   250632 |    29687     16 |        9 |     8415
858.60/859.10	c  858s |      17 |   318715 |   251032 |    29687     16 |        9 |     8415
860.81/861.29	c  860s |      17 |   318983 |   251232 |    29687     16 |        9 |     8415
862.91/863.35	c  862s |      17 |   319800 |   251832 |    29687     16 |        9 |     8415
864.91/865.36	c  864s |      17 |   320454 |   252332 |    29687     16 |        9 |     8415
867.21/867.66	c  867s |      17 |   321320 |   252932 |    29687     16 |        9 |     8415
869.71/870.15	c  869s |      17 |   322250 |   253532 |    29687     16 |        9 |     8415
871.80/872.27	c  871s |      17 |   322786 |   253932 |    29687     16 |        9 |     8415
874.21/874.62	c  874s |      17 |   323449 |   254432 |    29687     16 |        9 |     8415
876.31/876.79	c  876s |      17 |   324096 |   254932 |    29687     16 |        9 |     8415
878.70/879.16	c  878s |      17 |   324700 |   255432 |    29687     16 |        9 |     8415
881.10/881.52	c  881s |      17 |   325297 |   255932 |    29687     16 |        9 |     8415
883.10/883.55	c  883s |      17 |   325765 |   256332 |    29687     16 |        9 |     8415
885.50/885.95	c  885s |      17 |   326395 |   256832 |    29687     16 |        9 |     8415
887.90/888.32	c  887s |      17 |   326987 |   257332 |    29687     16 |        9 |     8415
890.00/890.46	c  889s |      17 |   327438 |   257732 |    29687     16 |        9 |     8415
892.20/892.64	c  892s |      17 |   327921 |   258132 |    29687     16 |        9 |     8415
894.40/894.87	c  894s |      17 |   328368 |   258532 |    29687     16 |        9 |     8415
896.50/896.93	c  896s |      17 |   328821 |   258932 |    29687     16 |        9 |     8415
898.89/899.32	c  898s |      17 |   329248 |   259332 |    29687     16 |        9 |     8415
901.29/901.79	c  901s |      17 |   329718 |   259732 |    29687     16 |        9 |     8415
903.49/903.97	c  903s |      17 |   330266 |   260132 |    29687     16 |        9 |     8415
906.11/906.57	c  906s |      17 |   330767 |   260532 |    29687     16 |        9 |     8415
908.70/909.10	c  908s |      17 |   331279 |   260932 |    29687     16 |        9 |     8415
911.40/911.83	c  911s |      17 |   331769 |   261332 |    29687     16 |        9 |     8415
913.50/913.95	c  913s |      17 |   332195 |   261632 |    29687     16 |        9 |     8415
915.70/916.13	c  915s |      17 |   332551 |   261932 |    29687     16 |        9 |     8415
918.29/918.73	c  918s |      17 |   333062 |   262332 |    29687     16 |        9 |     8415
920.60/921.00	c  920s |      17 |   333401 |   262632 |    29687     16 |        9 |     8415
922.79/923.25	c  922s |      17 |   333808 |   262932 |    29687     16 |        9 |     8415
925.09/925.53	c  925s |      17 |   334158 |   263232 |    29687     16 |        9 |     8415
927.69/928.14	c  927s |      17 |   334638 |   263632 |    29687     16 |        9 |     8415
930.10/930.60	c  930s |      17 |   335125 |   264032 |    29687     16 |        9 |     8415
932.40/932.83	c  932s |      17 |   335575 |   264432 |    29687     16 |        9 |     8415
934.60/935.04	c  934s |      17 |   336025 |   264832 |    29687     16 |        9 |     8415
936.69/937.15	c  936s |      17 |   336534 |   265232 |    29687     16 |        9 |     8415
940.29/940.72	c  940s |      17 |   337023 |   265632 |    29687     17 |        9 |     8415
942.79/943.23	c  942s |      17 |   337671 |   266132 |    29687     17 |        9 |     8415
945.29/945.77	c  945s |      17 |   338260 |   266632 |    29687     17 |        9 |     8415
947.50/947.92	c  947s |      17 |   338752 |   267032 |    29687     17 |        9 |     8415
949.79/950.29	c  949s |      17 |   339221 |   267432 |    29687     17 |        9 |     8415
951.89/952.38	c  951s |      17 |   339694 |   267832 |    29687     17 |        9 |     8415
953.99/954.43	c  953s |      17 |   340202 |   268232 |    29687     17 |        9 |     8415
956.09/956.50	c  956s |      17 |   340658 |   268632 |    29687     17 |        9 |     8415
958.19/958.65	c  958s |      17 |   341145 |   269032 |    29687     17 |        9 |     8415
960.29/960.78	c  960s |      17 |   341600 |   269432 |    29687     17 |        9 |     8415
962.39/962.86	c  962s |      17 |   342125 |   269832 |    29687     17 |        9 |     8415
964.79/965.22	c  964s |      17 |   342634 |   270232 |    29687     17 |        9 |     8415
967.09/967.57	c  967s |      17 |   343132 |   270632 |    29687     17 |        9 |     8415
969.29/969.74	c  969s |      17 |   343663 |   271132 |    29687     17 |        9 |     8415
971.59/972.00	c  971s |      17 |   344315 |   271632 |    29687     17 |        9 |     8415
973.59/974.06	c  973s |      17 |   344815 |   272032 |    29687     17 |        9 |     8415
975.69/976.12	c  975s |      17 |   345317 |   272432 |    29687     17 |        9 |     8415
977.78/978.20	c  977s |      17 |   345817 |   272832 |    29687     17 |        9 |     8415
980.19/980.68	c  980s |      17 |   346427 |   273332 |    29687     17 |        9 |     8415
982.69/983.13	c  982s |      17 |   346988 |   273832 |    29687     17 |        9 |     8415
984.99/985.43	c  984s |      17 |   347478 |   274232 |    29687     17 |        9 |     8415
987.39/987.84	c  987s |      17 |   347897 |   274632 |    29687     17 |        9 |     8415
989.88/990.32	c  989s |      17 |   348313 |   275032 |    29687     17 |        9 |     8415
991.89/992.34	c  991s |      17 |   348651 |   275332 |    29687     17 |        9 |     8415
993.99/994.50	c  994s |      17 |   349176 |   275832 |    29687     17 |        9 |     8415
996.49/996.99	c  996s |      17 |   349667 |   276232 |    29687     17 |        9 |     8415
999.28/999.74	c  999s |      17 |   350097 |   276632 |    29687     17 |        9 |     8415
1001.29/1001.75	c 1001s |      17 |   350430 |   276932 |    29687     17 |        9 |     8415
1003.78/1004.26	c 1003s |      17 |   350886 |   277332 |    29687     17 |        9 |     8415
1006.28/1006.76	c 1006s |      17 |   351368 |   277732 |    29687     17 |        9 |     8415
1008.98/1009.46	c 1008s |      17 |   351805 |   278132 |    29687     17 |        9 |     8415
1011.59/1012.09	c 1011s |      17 |   352326 |   278532 |    29687     17 |        9 |     8415
1013.98/1014.46	c 1013s |      17 |   352667 |   278832 |    29687     17 |        9 |     8415
1016.28/1016.75	c 1016s |      17 |   353006 |   279132 |    29687     17 |        9 |     8415
1018.58/1019.04	c 1018s |      17 |   353360 |   279432 |    29687     17 |        9 |     8415
1020.88/1021.36	c 1020s |      17 |   353747 |   279732 |    29687     17 |        9 |     8415
1023.18/1023.66	c 1023s |      17 |   354136 |   280032 |    29687     17 |        9 |     8415
1025.58/1026.00	c 1025s |      17 |   354484 |   280332 |    29687     17 |        9 |     8415
1027.78/1028.29	c 1027s |      17 |   354848 |   280632 |    29687     17 |        9 |     8415
1030.08/1030.52	c 1030s |      17 |   355181 |   280932 |    29687     17 |        9 |     8415
1032.07/1032.58	c 1032s |      17 |   355623 |   281332 |    29687     17 |        9 |     8415
1034.28/1034.73	c 1034s |      17 |   356188 |   281832 |    29687     17 |        9 |     8415
1036.28/1036.74	c 1036s |      17 |   356630 |   282232 |    29687     17 |        9 |     8415
1038.78/1039.20	c 1038s |      17 |   357178 |   282732 |    29687     17 |        9 |     8415
1040.87/1041.32	c 1040s |      17 |   357739 |   283232 |    29687     17 |        9 |     8415
1044.38/1044.87	c 1044s |      17 |   358170 |   283632 |    29687     18 |        9 |     8415
1046.58/1047.04	c 1046s |      17 |   358717 |   284132 |    29687     18 |        9 |     8415
1048.87/1049.33	c 1048s |      17 |   359144 |   284532 |    29687     18 |        9 |     8415
1051.97/1052.40	c 1051s |      17 |   359590 |   284932 |    29687     18 |        9 |     8415
1054.08/1054.57	c 1054s |      17 |   360384 |   285432 |    29687     18 |        9 |     8415
1056.47/1056.95	c 1056s |      17 |   360963 |   285932 |    29687     18 |        9 |     8415
1058.58/1059.05	c 1058s |      17 |   361433 |   286332 |    29687     18 |        9 |     8415
1060.57/1061.07	c 1060s |      17 |   361876 |   286732 |    29687     18 |        9 |     8415
1062.87/1063.34	c 1062s |      17 |   362456 |   287232 |    29687     18 |        9 |     8415
1064.97/1065.41	c 1064s |      17 |   362923 |   287632 |    29687     18 |        9 |     8415
1067.28/1067.72	c 1067s |      17 |   363539 |   288132 |    29687     18 |        9 |     8415
1069.48/1069.92	c 1069s |      17 |   363969 |   288532 |    29687     18 |        9 |     8415
1071.67/1072.13	c 1071s |      17 |   364418 |   288932 |    29687     18 |        9 |     8415
1074.08/1074.57	c 1074s |      17 |   364984 |   289432 |    29687     18 |        9 |     8415
1076.67/1077.12	c 1076s |      17 |   365411 |   289832 |    29687     18 |        9 |     8415
1078.68/1079.12	c 1078s |      17 |   365744 |   290132 |    29687     18 |        9 |     8415
1081.17/1081.61	c 1081s |      17 |   366197 |   290532 |    29687     18 |        9 |     8415
1083.27/1083.72	c 1083s |      17 |   366524 |   290832 |    29687     18 |        9 |     8415
1085.57/1086.05	c 1085s |      17 |   366857 |   291132 |    29687     18 |        9 |     8415
1087.67/1088.10	c 1087s |      17 |   367182 |   291432 |    29687     18 |        9 |     8415
1089.77/1090.24	c 1089s |      17 |   367500 |   291732 |    29687     18 |        9 |     8415
1091.98/1092.49	c 1091s |      17 |   367814 |   292032 |    29687     18 |        9 |     8415
1094.18/1094.67	c 1094s |      17 |   368145 |   292332 |    29687     18 |        9 |     8415
1096.87/1097.33	c 1096s |      17 |   368486 |   292632 |    29687     18 |        9 |     8415
1099.67/1100.15	c 1099s |      17 |   368823 |   292932 |    29687     18 |        9 |     8415
1102.57/1103.01	c 1102s |      17 |   369165 |   293232 |    29687     18 |        9 |     8415
1105.47/1105.90	c 1105s |      17 |   369496 |   293532 |    29687     18 |        9 |     8415
1107.57/1108.00	c 1107s |      17 |   369722 |   293732 |    29687     18 |        9 |     8415
1109.86/1110.32	c 1109s |      17 |   369931 |   293932 |    29687     18 |        9 |     8415
1111.86/1112.37	c 1111s |      17 |   370284 |   294232 |    32656     18 |        9 |     8415
1114.06/1114.54	c 1114s |      17 |   370895 |   294732 |    32656     18 |        9 |     8415
1116.36/1116.82	c 1116s |      17 |   371480 |   295232 |    32656     18 |        9 |     8415
1118.38/1118.86	c 1118s |      17 |   372054 |   295732 |    32656     18 |        9 |     8415
1120.47/1120.93	c 1120s |      17 |   372610 |   296232 |    32656     18 |        9 |     8415
1120.57/1121.05	c 1120s |      18 |   372647 |   296252 |    32656     18 |        9 |     8415
1123.46/1123.96	c 1123s |      18 |   378148 |   296352 |    32656     18 |        9 |     8415
1125.56/1126.07	c 1125s |      18 |   379750 |   297852 |    32656     18 |        9 |     8415
1127.66/1128.11	c 1127s |      18 |   381257 |   299252 |    32656     18 |        9 |     8415
1129.66/1130.13	c 1129s |      18 |   382737 |   300652 |    32656     18 |        9 |     8415
1131.76/1132.23	c 1131s |      18 |   384240 |   302052 |    32656     18 |        9 |     8415
1133.86/1134.38	c 1133s |      18 |   385737 |   303452 |    32656     18 |        9 |     8415
1136.46/1136.94	c 1136s |      18 |   386608 |   304252 |    32656     19 |        9 |     8415
1138.56/1139.07	c 1138s |      18 |   387788 |   305352 |    32656     19 |        9 |     8415
1140.76/1141.23	c 1140s |      18 |   388952 |   306452 |    32656     19 |        9 |     8415
1142.96/1143.42	c 1142s |      18 |   390106 |   307552 |    32656     19 |        9 |     8415
1144.96/1145.47	c 1144s |      18 |   391159 |   308552 |    32656     19 |        9 |     8415
1147.06/1147.50	c 1147s |      18 |   392216 |   309552 |    32656     19 |        9 |     8415
1149.26/1149.70	c 1149s |      18 |   393366 |   310652 |    32656     19 |        9 |     8415
1151.36/1151.85	c 1151s |      18 |   394419 |   311652 |    32656     19 |        9 |     8415
1153.46/1154.00	c 1153s |      18 |   395286 |   312452 |    32656     19 |        9 |     8415
1155.66/1156.19	c 1155s |      18 |   396126 |   313252 |    32656     19 |        9 |     8415
1157.76/1158.23	c 1157s |      18 |   397000 |   314052 |    32656     19 |        9 |     8415
1159.96/1160.46	c 1159s |      18 |   397956 |   314952 |    32656     19 |        9 |     8415
1162.05/1162.59	c 1162s |      18 |   398793 |   315752 |    32656     19 |        9 |     8415
1164.15/1164.61	c 1164s |      18 |   399628 |   316552 |    32656     19 |        9 |     8415
1166.35/1166.82	c 1166s |      18 |   400462 |   317352 |    32656     19 |        9 |     8415
1168.35/1168.85	c 1168s |      18 |   401205 |   318052 |    32656     19 |        9 |     8415
1170.35/1170.90	c 1170s |      18 |   401954 |   318752 |    32656     19 |        9 |     8415
1172.55/1173.09	c 1172s |      18 |   402715 |   319452 |    32656     19 |        9 |     8415
1174.85/1175.32	c 1174s |      18 |   403448 |   320152 |    32656     19 |        9 |     8415
1177.86/1178.39	c 1177s |      18 |   404071 |   320752 |    32656     20 |        9 |     8415
1179.97/1180.49	c 1179s |      18 |   404932 |   321552 |    32656     20 |        9 |     8415
1182.17/1182.69	c 1182s |      18 |   405772 |   322352 |    32656     20 |        9 |     8415
1184.27/1184.76	c 1184s |      18 |   406681 |   323152 |    32656     20 |        9 |     8415
1186.36/1186.84	c 1186s |      18 |   407546 |   323952 |    32656     20 |        9 |     8415
1188.56/1189.01	c 1188s |      18 |   408427 |   324752 |    32656     20 |        9 |     8415
1190.56/1191.05	c 1190s |      18 |   409176 |   325452 |    32656     20 |        9 |     8415
1192.56/1193.07	c 1192s |      18 |   409935 |   326152 |    32656     20 |        9 |     8415
1194.76/1195.27	c 1194s |      18 |   410771 |   326952 |    32656     20 |        9 |     8415
1197.06/1197.57	c 1197s |      18 |   411649 |   327752 |    32656     20 |        9 |     8415
1199.16/1199.67	c 1199s |      18 |   412408 |   328452 |    32656     20 |        9 |     8415
1201.35/1201.83	c 1201s |      18 |   413141 |   329152 |    32656     20 |        9 |     8415
1203.55/1204.09	c 1203s |      18 |   413904 |   329852 |    32656     20 |        9 |     8415
1205.85/1206.32	c 1205s |      18 |   414648 |   330552 |    32656     20 |        9 |     8415
1208.05/1208.55	c 1208s |      18 |   415404 |   331252 |    32656     20 |        9 |     8415
1210.25/1210.76	c 1210s |      18 |   416135 |   331952 |    32656     20 |        9 |     8415
1212.65/1213.13	c 1212s |      18 |   416889 |   332652 |    32656     20 |        9 |     8415
1214.65/1215.17	c 1214s |      18 |   417507 |   333252 |    32656     20 |        9 |     8415
1216.75/1217.24	c 1216s |      18 |   418150 |   333852 |    32656     20 |        9 |     8415
1218.95/1219.48	c 1218s |      18 |   418921 |   334552 |    32656     20 |        9 |     8415
1221.05/1221.52	c 1221s |      18 |   419564 |   335152 |    32656     20 |        9 |     8415
1223.15/1223.66	c 1223s |      18 |   420205 |   335752 |    32656     20 |        9 |     8415
1225.35/1225.82	c 1225s |      18 |   420858 |   336352 |    32656     20 |        9 |     8415
1227.55/1228.06	c 1227s |      18 |   421491 |   336952 |    32656     20 |        9 |     8415
1229.55/1230.08	c 1229s |      18 |   422140 |   337552 |    32656     20 |        9 |     8415
1231.85/1232.37	c 1231s |      18 |   422772 |   338152 |    32656     20 |        9 |     8415
1234.35/1234.89	c 1234s |      18 |   423304 |   338652 |    32656     21 |        9 |     8415
1236.55/1237.05	c 1236s |      18 |   423943 |   339252 |    32656     21 |        9 |     8415
1238.65/1239.10	c 1238s |      18 |   424713 |   339952 |    32656     21 |        9 |     8415
1240.75/1241.28	c 1240s |      18 |   425573 |   340752 |    32656     21 |        9 |     8415
1243.05/1243.53	c 1243s |      18 |   426470 |   341552 |    32656     21 |        9 |     8415
1245.05/1245.58	c 1245s |      18 |   428786 |   342652 |    32656     21 |        9 |     8415
1247.15/1247.60	c 1247s |      18 |   430058 |   343752 |    32656     21 |        9 |     8415
1249.15/1249.61	c 1249s |      18 |   431129 |   344652 |    32656     21 |        9 |     8415
1251.15/1251.61	c 1251s |      18 |   432130 |   345552 |    32656     21 |        9 |     8415
1253.25/1253.75	c 1253s |      18 |   433157 |   346452 |    32656     21 |        9 |     8415
1255.35/1255.82	c 1255s |      18 |   434045 |   347252 |    32656     21 |        9 |     8415
1257.45/1257.93	c 1257s |      18 |   435290 |   348152 |    32656     21 |        9 |     8415
1259.64/1260.15	c 1259s |      18 |   436266 |   349052 |    32656     21 |        9 |     8415
1261.84/1262.35	c 1261s |      18 |   437131 |   349852 |    32656     21 |        9 |     8415
1263.94/1264.48	c 1263s |      18 |   437967 |   350552 |    32656     21 |        9 |     8415
1266.04/1266.53	c 1266s |      18 |   438644 |   351152 |    32656     21 |        9 |     8415
1268.04/1268.56	c 1268s |      18 |   439317 |   351752 |    32656     21 |        9 |     8415
1270.15/1270.61	c 1270s |      18 |   440155 |   352452 |    32656     21 |        9 |     8415
1272.14/1272.65	c 1272s |      18 |   441255 |   353152 |    32656     21 |        9 |     8415
1274.24/1274.74	c 1274s |      18 |   441952 |   353752 |    32656     21 |        9 |     8415
1276.44/1276.91	c 1276s |      18 |   442615 |   354352 |    32656     21 |        9 |     8415
1278.64/1279.18	c 1278s |      18 |   443291 |   354952 |    32656     21 |        9 |     8415
1280.94/1281.45	c 1280s |      18 |   444001 |   355552 |    32656     21 |        9 |     8415
1283.44/1283.94	c 1283s |      18 |   444684 |   356152 |    32656     21 |        9 |     8415
1285.54/1286.01	c 1285s |      18 |   445698 |   356752 |    32656     21 |        9 |     8415
1287.74/1288.23	c 1287s |      18 |   446357 |   357352 |    32656     21 |        9 |     8415
1289.94/1290.45	c 1289s |      18 |   447099 |   357952 |    32656     21 |        9 |     8415
1292.34/1292.82	c 1292s |      18 |   447827 |   358552 |    32656     21 |        9 |     8415
1294.54/1295.07	c 1294s |      18 |   448526 |   359152 |    32656     22 |        9 |     8415
1296.74/1297.25	c 1296s |      18 |   449229 |   359752 |    32656     22 |        9 |     8415
1299.13/1299.65	c 1299s |      18 |   449993 |   360352 |    32656     22 |        9 |     8415
1301.23/1301.77	c 1301s |      18 |   450669 |   360852 |    32656     22 |        9 |     8415
1303.63/1304.11	c 1303s |      18 |   451346 |   361452 |    32656     22 |        9 |     8415
1305.83/1306.33	c 1305s |      18 |   451914 |   361952 |    32656     22 |        9 |     8415
1307.93/1308.40	c 1307s |      18 |   452375 |   362352 |    32656     22 |        9 |     8415
1309.93/1310.44	c 1309s |      18 |   452902 |   362852 |    32656     22 |        9 |     8415
1312.03/1312.57	c 1312s |      18 |   453309 |   363252 |    32656     22 |        9 |     8415
1314.23/1314.76	c 1314s |      18 |   454252 |   363952 |    32656     22 |        9 |     8415
1316.53/1317.03	c 1316s |      18 |   455156 |   364652 |    32656     22 |        9 |     8415
1318.54/1319.07	c 1318s |      18 |   455855 |   365252 |    32656     22 |        9 |     8415
1320.74/1321.24	c 1320s |      18 |   456518 |   365852 |    32656     22 |        9 |     8415
1322.84/1323.39	c 1322s |      18 |   457277 |   366452 |    32656     22 |        9 |     8415
1324.93/1325.46	c 1324s |      18 |   457920 |   367052 |    32656     22 |        9 |     8415
1327.03/1327.50	c 1327s |      18 |   458686 |   367652 |    32656     22 |        9 |     8415
1329.23/1329.74	c 1329s |      18 |   459423 |   368252 |    32656     22 |        9 |     8415
1331.23/1331.77	c 1331s |      18 |   460116 |   368852 |    32656     22 |        9 |     8415
1333.43/1333.97	c 1333s |      18 |   460720 |   369352 |    32656     22 |        9 |     8415
1335.73/1336.24	c 1335s |      18 |   461392 |   369952 |    32656     22 |        9 |     8415
1337.73/1338.26	c 1337s |      18 |   462203 |   370552 |    32656     22 |        9 |     8415
1340.03/1340.55	c 1340s |      18 |   462989 |   371152 |    32656     22 |        9 |     8415
1342.33/1342.85	c 1342s |      18 |   463698 |   371752 |    32656     22 |        9 |     8415
1344.63/1345.18	c 1344s |      18 |   464461 |   372352 |    32656     22 |        9 |     8415
1346.73/1347.22	c 1346s |      18 |   465143 |   372852 |    32656     22 |        9 |     8415
1348.73/1349.28	c 1348s |      18 |   465694 |   373352 |    32656     22 |        9 |     8415
1350.93/1351.49	c 1351s |      18 |   466479 |   374052 |    32656     22 |        9 |     8415
1353.23/1353.78	c 1353s |      18 |   467304 |   374652 |    32656     22 |        9 |     8415
1355.43/1355.91	c 1355s |      18 |   467774 |   375052 |    32656     22 |        9 |     8415
1357.53/1358.00	c 1357s |      18 |   468216 |   375452 |    32656     22 |        9 |     8415
1359.53/1360.03	c 1359s |      18 |   468649 |   375852 |    32656     22 |        9 |     8415
1361.73/1362.21	c 1361s |      18 |   469261 |   376352 |    32656     22 |        9 |     8415
1363.83/1364.37	c 1363s |      18 |   469885 |   376852 |    32656     22 |        9 |     8415
1366.03/1366.54	c 1366s |      18 |   470498 |   377352 |    32656     22 |        9 |     8415
1368.23/1368.78	c 1368s |      18 |   471079 |   377852 |    32656     22 |        9 |     8415
1370.33/1370.87	c 1370s |      18 |   471498 |   378152 |    32656     23 |        9 |     8415
1372.63/1373.10	c 1372s |      18 |   472065 |   378652 |    32656     23 |        9 |     8415
1374.64/1375.15	c 1374s |      18 |   472749 |   379252 |    32656     23 |        9 |     8415
1376.63/1377.19	c 1376s |      18 |   473443 |   379852 |    32656     23 |        9 |     8415
1378.73/1379.24	c 1378s |      18 |   473969 |   380352 |    32656     23 |        9 |     8415
1381.03/1381.60	c 1381s |      18 |   474646 |   380952 |    32656     23 |        9 |     8415
1383.33/1383.84	c 1383s |      18 |   475335 |   381552 |    32656     23 |        9 |     8415
1385.53/1386.03	c 1385s |      18 |   475946 |   382052 |    32656     23 |        9 |     8415
1387.83/1388.38	c 1387s |      18 |   476647 |   382652 |    32656     23 |        9 |     8415
1389.93/1390.43	c 1389s |      18 |   477191 |   383152 |    32656     23 |        9 |     8415
1392.13/1392.70	c 1392s |      18 |   477895 |   383752 |    32656     23 |        9 |     8415
1394.43/1394.92	c 1394s |      18 |   478611 |   384352 |    32656     23 |        9 |     8415
1396.42/1396.92	c 1396s |      18 |   479148 |   384852 |    32656     23 |        9 |     8415
1398.52/1399.06	c 1398s |      18 |   479704 |   385352 |    32656     23 |        9 |     8415
1400.93/1401.45	c 1400s |      18 |   480369 |   385952 |    32656     23 |        9 |     8415
1403.13/1403.66	c 1403s |      18 |   480914 |   386452 |    32656     23 |        9 |     8415
1405.43/1405.94	c 1405s |      18 |   481608 |   386952 |    32656     23 |        9 |     8415
1407.63/1408.16	c 1407s |      18 |   482166 |   387452 |    32656     23 |        9 |     8415
1409.62/1410.20	c 1409s |      18 |   482787 |   387952 |    32656     23 |        9 |     8415
1411.93/1412.44	c 1411s |      18 |   483670 |   388652 |    32656     23 |        9 |     8415
1413.92/1414.48	c 1413s |      18 |   484241 |   389152 |    32656     23 |        9 |     8415
1416.12/1416.60	c 1416s |      18 |   484794 |   389652 |    32656     23 |        9 |     8415
1418.12/1418.63	c 1418s |      18 |   485400 |   390152 |    32656     23 |        9 |     8415
1420.12/1420.68	c 1420s |      18 |   485972 |   390652 |    32656     23 |        9 |     8415
1422.42/1422.96	c 1422s |      18 |   486545 |   391152 |    32656     23 |        9 |     8415
1424.52/1425.02	c 1424s |      18 |   487140 |   391652 |    32656     23 |        9 |     8415
1426.72/1427.21	c 1426s |      18 |   487771 |   392152 |    32656     23 |        9 |     8415
1429.12/1429.63	c 1429s |      18 |   488347 |   392652 |    32656     23 |        9 |     8415
1431.41/1431.95	c 1431s |      18 |   488896 |   393152 |    32656     23 |        9 |     8415
1433.71/1434.26	c 1433s |      18 |   489462 |   393652 |    32656     23 |        9 |     8415
1436.12/1436.62	c 1436s |      18 |   490107 |   394152 |    32656     23 |        9 |     8415
1438.51/1439.07	c 1438s |      18 |   490689 |   394652 |    32656     23 |        9 |     8415
1440.62/1441.18	c 1440s |      18 |   491167 |   395052 |    32656     23 |        9 |     8415
1443.01/1443.59	c 1443s |      18 |   491795 |   395552 |    32656     23 |        9 |     8415
1445.51/1446.01	c 1445s |      18 |   492394 |   396052 |    32656     23 |        9 |     8415
1447.61/1448.14	c 1447s |      18 |   492849 |   396452 |    32656     23 |        9 |     8415
1449.91/1450.47	c 1449s |      18 |   493480 |   396952 |    32656     23 |        9 |     8415
1452.81/1453.31	c 1452s |      18 |   494003 |   397352 |    32656     24 |        9 |     8415
1454.93/1455.44	c 1454s |      18 |   494579 |   397752 |    32656     24 |        9 |     8415
1456.92/1457.48	c 1456s |      18 |   495193 |   398252 |    32656     24 |        9 |     8415
1459.32/1459.86	c 1459s |      18 |   495973 |   398852 |    32656     24 |        9 |     8415
1461.62/1462.19	c 1461s |      18 |   496660 |   399452 |    32656     24 |        9 |     8415
1464.02/1464.59	c 1464s |      18 |   497476 |   400052 |    32656     24 |        9 |     8415
1466.41/1466.92	c 1466s |      18 |   497965 |   400452 |    32656     24 |        9 |     8415
1468.51/1469.07	c 1468s |      18 |   498505 |   400952 |    32656     24 |        9 |     8415
1470.81/1471.33	c 1470s |      18 |   499106 |   401452 |    32656     24 |        9 |     8415
1473.01/1473.58	c 1473s |      18 |   499712 |   401952 |    32656     24 |        9 |     8415
1475.41/1475.93	c 1475s |      18 |   500246 |   402452 |    32656     24 |        9 |     8415
1478.21/1478.70	c 1478s |      18 |   500499 |   402652 |    32656     24 |        9 |     8415
1480.41/1480.93	c 1480s |      18 |   501127 |   403152 |    32656     24 |        9 |     8415
1482.42/1482.98	c 1482s |      18 |   501725 |   403652 |    32656     24 |        9 |     8415
1484.81/1485.38	c 1484s |      18 |   502283 |   404152 |    32656     24 |        9 |     8415
1487.21/1487.72	c 1487s |      18 |   502814 |   404652 |    32656     24 |        9 |     8415
1489.21/1489.78	c 1489s |      18 |   503361 |   405152 |    32656     24 |        9 |     8415
1491.31/1491.89	c 1491s |      18 |   503932 |   405652 |    32656     24 |        9 |     8415
1493.61/1494.15	c 1493s |      18 |   504456 |   406152 |    32656     24 |        9 |     8415
1495.61/1496.19	c 1495s |      18 |   505002 |   406652 |    32656     24 |        9 |     8415
1497.91/1498.48	c 1497s |      18 |   505698 |   407252 |    32656     24 |        9 |     8415
1500.30/1500.80	c 1500s |      18 |   506420 |   407852 |    32656     24 |        9 |     8415
1502.60/1503.19	c 1502s |      18 |   507123 |   408452 |    32656     24 |        9 |     8415
1505.00/1505.56	c 1505s |      18 |   507652 |   408952 |    32656     24 |        9 |     8415
1507.40/1507.91	c 1507s |      18 |   508172 |   409452 |    32656     24 |        9 |     8415
1509.40/1509.93	c 1509s |      18 |   508588 |   409852 |    32656     24 |        9 |     8415
1511.50/1512.01	c 1511s |      18 |   509012 |   410252 |    32656     24 |        9 |     8415
1513.60/1514.18	c 1513s |      18 |   509442 |   410652 |    32656     24 |        9 |     8415
1516.00/1516.54	c 1516s |      18 |   509854 |   411052 |    32656     24 |        9 |     8415
1518.30/1518.81	c 1518s |      18 |   510279 |   411452 |    32656     24 |        9 |     8415
1520.60/1521.10	c 1520s |      18 |   510854 |   411952 |    32656     24 |        9 |     8415
1522.80/1523.32	c 1522s |      18 |   511420 |   412452 |    32656     24 |        9 |     8415
1524.80/1525.34	c 1524s |      18 |   511997 |   412952 |    32656     24 |        9 |     8415
1526.90/1527.42	c 1526s |      18 |   512551 |   413452 |    32656     24 |        9 |     8415
1529.20/1529.70	c 1529s |      18 |   513203 |   414052 |    32656     24 |        9 |     8415
1531.40/1531.90	c 1531s |      18 |   513841 |   414552 |    32656     24 |        9 |     8415
1533.40/1533.99	c 1533s |      18 |   514403 |   415052 |    32656     24 |        9 |     8415
1535.50/1536.06	c 1535s |      18 |   515011 |   415552 |    32656     24 |        9 |     8415
1537.70/1538.29	c 1537s |      18 |   515580 |   416052 |    32656     24 |        9 |     8415
1539.90/1540.49	c 1540s |      18 |   515912 |   416352 |    32656     25 |        9 |     8415
1542.10/1542.63	c 1542s |      18 |   516393 |   416752 |    32656     25 |        9 |     8415
1544.40/1544.93	c 1544s |      18 |   517124 |   417352 |    32656     25 |        9 |     8415
1546.50/1547.09	c 1546s |      18 |   517727 |   417852 |    32656     25 |        9 |     8415
1548.80/1549.37	c 1548s |      18 |   518353 |   418352 |    32656     25 |        9 |     8415
1551.10/1551.61	c 1551s |      18 |   518907 |   418852 |    32656     25 |        9 |     8415
1553.20/1553.77	c 1553s |      18 |   519528 |   419352 |    32656     25 |        9 |     8415
1555.50/1556.07	c 1555s |      18 |   520139 |   419852 |    32656     25 |        9 |     8415
1557.80/1558.36	c 1557s |      18 |   520875 |   420452 |    32656     25 |        9 |     8415
1559.90/1560.48	c 1559s |      18 |   521467 |   420952 |    32656     25 |        9 |     8415
1561.90/1562.48	c 1561s |      18 |   522058 |   421452 |    32656     25 |        9 |     8415
1564.10/1564.62	c 1564s |      18 |   522850 |   422052 |    32656     25 |        9 |     8415
1566.10/1566.66	c 1566s |      18 |   523542 |   422552 |    32656     25 |        9 |     8415
1568.30/1568.83	c 1568s |      18 |   524190 |   423052 |    32656     25 |        9 |     8415
1570.40/1570.91	c 1570s |      18 |   524917 |   423652 |    32656     25 |        9 |     8415
1572.40/1572.99	c 1572s |      18 |   525555 |   424152 |    32656     25 |        9 |     8415
1574.90/1575.46	c 1574s |      18 |   526264 |   424652 |    32656     25 |        9 |     8415
1577.20/1577.79	c 1577s |      18 |   527101 |   425252 |    32656     25 |        9 |     8415
1579.40/1579.93	c 1579s |      18 |   527662 |   425752 |    32656     25 |        9 |     8415
1581.49/1582.02	c 1581s |      18 |   528222 |   426252 |    32656     25 |        9 |     8415
1583.69/1584.28	c 1583s |      18 |   528959 |   426852 |    32656     25 |        9 |     8415
1586.10/1586.63	c 1586s |      18 |   529515 |   427352 |    32656     25 |        9 |     8415
1588.29/1588.84	c 1588s |      18 |   530051 |   427852 |    32656     25 |        9 |     8415
1590.29/1590.86	c 1590s |      18 |   530712 |   428452 |    32656     25 |        9 |     8415
1592.40/1592.99	c 1592s |      18 |   531251 |   428952 |    32656     25 |        9 |     8415
1594.50/1595.10	c 1594s |      18 |   531759 |   429452 |    32656     25 |        9 |     8415
1596.89/1597.46	c 1596s |      18 |   532408 |   430052 |    32656     25 |        9 |     8415
1599.19/1599.74	c 1599s |      18 |   533042 |   430652 |    32656     25 |        9 |     8415
1601.39/1601.99	c 1601s |      18 |   533485 |   431052 |    32656     25 |        9 |     8415
1603.59/1604.12	c 1603s |      18 |   533922 |   431452 |    32656     25 |        9 |     8415
1605.60/1606.16	c 1605s |      18 |   534406 |   431852 |    32656     25 |        9 |     8415
1607.80/1608.36	c 1607s |      18 |   534864 |   432252 |    32656     25 |        9 |     8415
1610.29/1610.86	c 1610s |      18 |   535427 |   432752 |    32656     25 |        9 |     8415
1612.79/1613.39	c 1612s |      18 |   535956 |   433252 |    32656     25 |        9 |     8415
1615.29/1615.90	c 1615s |      18 |   536392 |   433652 |    32656     25 |        9 |     8415
1617.39/1617.97	c 1617s |      18 |   536875 |   434052 |    32656     25 |        9 |     8415
1619.39/1619.98	c 1619s |      18 |   537306 |   434452 |    32656     25 |        9 |     8415
1621.78/1622.39	c 1621s |      18 |   537855 |   434952 |    32656     25 |        9 |     8415
1624.19/1624.72	c 1624s |      18 |   538289 |   435352 |    32656     25 |        9 |     8415
1627.09/1627.61	c 1627s |      18 |   538623 |   435652 |    32656     26 |        9 |     8415
1629.49/1630.07	c 1629s |      18 |   539171 |   436152 |    32656     26 |        9 |     8415
1631.90/1632.46	c 1631s |      18 |   539710 |   436652 |    32656     26 |        9 |     8415
1633.99/1634.51	c 1634s |      18 |   540145 |   437052 |    32656     26 |        9 |     8415
1636.18/1636.75	c 1636s |      18 |   540696 |   437552 |    32656     26 |        9 |     8415
1638.49/1639.04	c 1638s |      18 |   541332 |   438152 |    32656     26 |        9 |     8415
1640.79/1641.33	c 1640s |      18 |   541961 |   438752 |    32656     26 |        9 |     8415
1642.78/1643.36	c 1642s |      18 |   542549 |   439252 |    32656     26 |        9 |     8415
1644.88/1645.43	c 1644s |      18 |   543192 |   439752 |    32656     26 |        9 |     8415
1646.98/1647.54	c 1647s |      18 |   543869 |   440252 |    32656     26 |        9 |     8415
1649.08/1649.61	c 1649s |      18 |   544530 |   440752 |    32656     26 |        9 |     8415
1651.29/1651.81	c 1651s |      18 |   545283 |   441352 |    35922     26 |        9 |     8415
1653.49/1654.05	c 1653s |      18 |   545980 |   441952 |    35922     26 |        9 |     8415
1655.69/1656.24	c 1655s |      18 |   546648 |   442552 |    35922     26 |        9 |     8415
1657.78/1658.33	c 1657s |      18 |   547181 |   443052 |    35922     26 |        9 |     8415
1659.78/1660.38	c 1659s |      18 |   547726 |   443552 |    35922     26 |        9 |     8415
1661.88/1662.44	c 1661s |      18 |   548263 |   444052 |    35922     26 |        9 |     8415
1663.68/1664.28	c 1663s |      19 |   548777 |   444482 |    35922     26 |        9 |     8415
1666.88/1667.49	c 1667s |      19 |   550295 |   444582 |    35922     26 |        9 |     8415
1669.08/1669.64	c 1669s |      19 |   551871 |   445982 |    35922     26 |        9 |     8415
1671.08/1671.68	c 1671s |      19 |   553463 |   447282 |    35922     26 |        9 |     8415
1673.28/1673.83	c 1673s |      19 |   554957 |   448582 |    35922     26 |        9 |     8415
1675.28/1675.89	c 1675s |      19 |   556281 |   449782 |    35922     26 |        9 |     8415
1677.68/1678.24	c 1677s |      19 |   557105 |   450482 |    35922     26 |        9 |     8415
1679.78/1680.33	c 1679s |      19 |   558496 |   451682 |    35922     26 |        9 |     8415
1681.88/1682.45	c 1681s |      19 |   559752 |   452782 |    35922     26 |        9 |     8415
1683.98/1684.52	c 1684s |      19 |   560978 |   453882 |    35922     26 |        9 |     8415
1686.18/1686.71	c 1686s |      19 |   562192 |   454982 |    35922     26 |        9 |     8415
1688.18/1688.74	c 1688s |      19 |   563330 |   455982 |    35922     26 |        9 |     8415
1690.18/1690.79	c 1690s |      19 |   564489 |   456982 |    35922     26 |        9 |     8415
1692.48/1693.03	c 1692s |      19 |   565365 |   457682 |    35922     27 |        9 |     8415
1694.58/1695.18	c 1694s |      19 |   566502 |   458682 |    35922     27 |        9 |     8415
1696.78/1697.32	c 1696s |      19 |   567691 |   459682 |    35922     27 |        9 |     8415
1698.88/1699.45	c 1698s |      19 |   568876 |   460682 |    35922     27 |        9 |     8415
1700.98/1701.59	c 1701s |      19 |   569880 |   461582 |    35922     27 |        9 |     8415
1703.18/1703.78	c 1703s |      19 |   570653 |   462282 |    35922     27 |        9 |     8415
1705.28/1705.84	c 1705s |      19 |   571399 |   462982 |    35922     27 |        9 |     8415
1707.28/1707.89	c 1707s |      19 |   572149 |   463682 |    35922     27 |        9 |     8415
1709.58/1710.11	c 1709s |      19 |   572933 |   464382 |    35922     27 |        9 |     8415
1711.78/1712.30	c 1711s |      19 |   573766 |   465182 |    35922     27 |        9 |     8415
1713.88/1714.43	c 1713s |      19 |   574601 |   465982 |    35922     27 |        9 |     8415
1715.88/1716.48	c 1715s |      19 |   575452 |   466782 |    35922     27 |        9 |     8415
1718.08/1718.66	c 1718s |      19 |   576316 |   467582 |    35922     27 |        9 |     8415
1720.08/1720.66	c 1720s |      19 |   577069 |   468282 |    35922     27 |        9 |     8415
1722.18/1722.73	c 1722s |      19 |   577812 |   468982 |    35922     27 |        9 |     8415
1724.38/1724.91	c 1724s |      19 |   578552 |   469682 |    35922     27 |        9 |     8415
1726.37/1726.91	c 1726s |      19 |   579301 |   470382 |    35922     27 |        9 |     8415
1728.57/1729.17	c 1728s |      19 |   580155 |   471182 |    35922     27 |        9 |     8415
1730.77/1731.38	c 1730s |      19 |   581012 |   471982 |    35922     27 |        9 |     8415
1733.08/1733.68	c 1733s |      19 |   581878 |   472782 |    35922     27 |        9 |     8415
1735.17/1735.76	c 1735s |      19 |   582642 |   473482 |    35922     27 |        9 |     8415
1737.27/1737.87	c 1737s |      19 |   583394 |   474182 |    35922     27 |        9 |     8415
1739.57/1740.13	c 1739s |      19 |   584149 |   474882 |    35922     27 |        9 |     8415
1741.77/1742.38	c 1741s |      19 |   584894 |   475582 |    35922     27 |        9 |     8415
1744.18/1744.72	c 1744s |      19 |   585640 |   476282 |    35922     27 |        9 |     8415
1746.17/1746.80	c 1746s |      19 |   586265 |   476882 |    35922     27 |        9 |     8415
1748.48/1749.06	c 1748s |      19 |   587015 |   477582 |    35922     27 |        9 |     8415
1750.68/1751.29	c 1750s |      19 |   587762 |   478282 |    35922     27 |        9 |     8415
1752.88/1753.50	c 1753s |      19 |   588398 |   478882 |    35922     28 |        9 |     8415
1754.97/1755.52	c 1755s |      19 |   589123 |   479582 |    35922     28 |        9 |     8415
1757.07/1757.64	c 1757s |      19 |   589969 |   480382 |    35922     28 |        9 |     8415
1759.27/1759.85	c 1759s |      19 |   590842 |   481182 |    35922     28 |        9 |     8415
1761.37/1761.96	c 1761s |      19 |   591707 |   481982 |    35922     28 |        9 |     8415
1763.57/1764.15	c 1763s |      19 |   592575 |   482782 |    35922     28 |        9 |     8415
1765.77/1766.32	c 1765s |      19 |   593412 |   483582 |    35922     28 |        9 |     8415
1767.97/1768.58	c 1768s |      19 |   594267 |   484382 |    35922     28 |        9 |     8415
1770.27/1770.81	c 1770s |      19 |   595118 |   485182 |    35922     28 |        9 |     8415
1772.27/1772.87	c 1772s |      19 |   595869 |   485882 |    35922     28 |        9 |     8415
1774.47/1775.09	c 1774s |      19 |   596713 |   486682 |    35922     28 |        9 |     8415
1776.77/1777.31	c 1776s |      19 |   597571 |   487482 |    35922     28 |        9 |     8415
1778.76/1779.33	c 1778s |      19 |   598229 |   488082 |    35922     28 |        9 |     8415
1780.76/1781.40	c 1780s |      19 |   599003 |   488782 |    35922     28 |        9 |     8415
1782.96/1783.55	c 1783s |      19 |   599769 |   489482 |    35922     28 |        9 |     8415
1785.16/1785.73	c 1785s |      19 |   600515 |   490182 |    35922     28 |        9 |     8415
1787.26/1787.84	c 1787s |      19 |   601317 |   490882 |    35922     28 |        9 |     8415
1789.56/1790.18	c 1789s |      19 |   602077 |   491582 |    35922     28 |        9 |     8415
1791.66/1792.20	c 1791s |      19 |   602720 |   492182 |    35922     28 |        9 |     8415
1793.76/1794.34	c 1793s |      19 |   603351 |   492782 |    35922     28 |        9 |     8415
1795.96/1796.53	c 1796s |      19 |   603998 |   493382 |    35922     28 |        9 |     8415
1798.07/1798.66	c 1798s |      19 |   604646 |   493982 |    35922     28 |        9 |     8415

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.11 2.09 3/179 14238
/proc/meminfo: memFree=30337376/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=459196 CPUtime=0 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 1663 0 0 0 0 0 0 0 20 0 4 0 108556203 470216704 2023 33554432000 4194304 16246674 140737230699872 140737230699296 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14238/statm: 115311 2033 441 2943 0 112205 0
[pid=14238/tid=14239] ppid=14235 vsize=475580 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 486993920 2088 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=479676 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 491188224 2105 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=483772 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108556204 495382528 2120 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100135 s]
/proc/loadavg: 2.20 2.11 2.09 3/179 14238
/proc/meminfo: memFree=30337376/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 25591 0 0 0 5 4 0 0 20 0 4 0 108556203 1250496512 25889 33554432000 4194304 16246674 140737230699872 140737230699184 4221016 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14238/statm: 305297 25890 800 2943 0 302191 0
[pid=14238/tid=14239] ppid=14235 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1250496512 25890 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1250496512 25890 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1250496512 25890 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200481 s]
/proc/loadavg: 2.20 2.11 2.09 3/179 14238
/proc/meminfo: memFree=30337376/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 48113 0 0 0 12 7 0 0 20 0 4 0 108556203 1344868352 48922 33554432000 4194304 16246674 140737230699872 140737230699184 4221105 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14238/statm: 328337 48925 801 2943 0 325231 0
[pid=14238/tid=14239] ppid=14235 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1344868352 48928 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1344868352 48930 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1344868352 48932 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.30044 s]
/proc/loadavg: 2.20 2.11 2.09 3/179 14238
/proc/meminfo: memFree=30337376/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 48507 0 0 0 22 7 0 0 20 0 4 0 108556203 1345916928 49316 33554432000 4194304 16246674 140737230699872 140737230699184 5740223 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14238/statm: 328593 49316 835 2943 0 325487 0
[pid=14238/tid=14239] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 49316 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 49316 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 49316 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700359 s]
/proc/loadavg: 2.20 2.11 2.09 3/179 14238
/proc/meminfo: memFree=30337376/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 87575 0 0 0 55 13 0 0 20 0 4 0 108556203 1345916928 88384 33554432000 4194304 16246674 140737230699872 140737230681792 5582293 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14238/statm: 328593 88385 894 2943 0 325487 0
[pid=14238/tid=14239] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 88386 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 88386 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 88386 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50036 s]
/proc/loadavg: 2.18 2.11 2.09 3/183 14242
/proc/meminfo: memFree=29883508/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1314372 CPUtime=1.48 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 154073 0 0 0 124 24 0 0 20 0 4 0 108556203 1345916928 154882 33554432000 4194304 16246674 140737230699872 140737230681792 5661652 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14238/statm: 328593 154888 894 2943 0 325487 0
[pid=14238/tid=14239] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 154893 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 154894 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 154894 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.1004 s]
/proc/loadavg: 2.18 2.11 2.09 3/183 14242
/proc/meminfo: memFree=29585032/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 213827 0 0 0 274 35 0 0 20 0 4 0 108556203 1345916928 214636 33554432000 4194304 16246674 140737230699872 140737230699184 5711688 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14238/statm: 328593 214636 902 2943 0 325487 0
[pid=14238/tid=14239] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 214636 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 214636 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 214636 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30037 s]
/proc/loadavg: 2.25 2.13 2.09 3/183 14242
/proc/meminfo: memFree=29478800/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1314372 CPUtime=6.28 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 269281 0 0 0 586 42 0 0 20 0 4 0 108556203 1345916928 270090 33554432000 4194304 16246674 140737230699872 140737230681792 5522909 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14238/statm: 328593 270090 902 2943 0 325487 0
[pid=14238/tid=14239] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 270090 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 270090 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 270090 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.22 2.12 2.09 3/183 14291
/proc/meminfo: memFree=30200128/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1314372 CPUtime=12.68 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 269281 0 0 0 1226 42 0 0 20 0 4 0 108556203 1345916928 270090 33554432000 4194304 16246674 140737230699872 140737230681792 5711326 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14238/statm: 328593 270090 902 2943 0 325487 0
[pid=14238/tid=14239] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 270090 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 270090 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 270090 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 14291
/proc/meminfo: memFree=29302824/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1314372 CPUtime=25.48 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 269284 0 0 0 2506 42 0 0 20 0 4 0 108556203 1345916928 270093 33554432000 4194304 16246674 140737230699872 140737230681792 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14238/statm: 328593 270093 904 2943 0 325487 0
[pid=14238/tid=14239] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 270093 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 270093 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1345916928 270093 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1006 s]
/proc/loadavg: 2.18 2.12 2.09 3/183 14291
/proc/meminfo: memFree=29294076/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1315396 CPUtime=51.07 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 269354 0 0 0 5054 53 0 0 20 0 4 0 108556203 1346965504 270416 33554432000 4194304 16246674 140737230699872 140737230699048 4208632 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14238/statm: 328849 270416 904 2943 0 325743 0
[pid=14238/tid=14239] ppid=14235 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1346965504 270416 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1346965504 270416 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1346965504 270416 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 14292
/proc/meminfo: memFree=29293464/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1315396 CPUtime=102.26 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 269568 0 0 0 10162 64 0 0 20 0 4 0 108556203 1346965504 270605 33554432000 4194304 16246674 140737230699872 140737230699048 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14238/statm: 328849 270605 904 2943 0 325743 0
[pid=14238/tid=14239] ppid=14235 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1346965504 270605 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1346965504 270605 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1346965504 270605 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1315396


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

/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1442385920 293901 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1408580

[startup+1302.3 s]
/proc/loadavg: 2.19 2.17 2.10 3/183 14370
/proc/meminfo: memFree=26015012/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1408580 CPUtime=1301.83 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 293259 0 0 0 129951 232 0 0 20 0 4 0 108556203 1442385920 293901 33554432000 4194304 16246674 140737230699872 140737230699048 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14238/statm: 352145 293901 904 2943 0 349039 0
[pid=14238/tid=14239] ppid=14235 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1442385920 293901 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1442385920 293901 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1442385920 293901 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1408580

[startup+1362.3 s]
/proc/loadavg: 2.18 2.17 2.10 3/183 14371
/proc/meminfo: memFree=25890188/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1408580 CPUtime=1361.83 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 293259 0 0 0 135950 233 0 0 20 0 4 0 108556203 1442385920 293901 33554432000 4194304 16246674 140737230699872 140737230681792 13950232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14238/statm: 352145 293901 904 2943 0 349039 0
[pid=14238/tid=14239] ppid=14235 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1442385920 293901 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1442385920 293901 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1442385920 293901 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1408580

[startup+1422.3 s]
/proc/loadavg: 2.12 2.15 2.10 3/183 14372
/proc/meminfo: memFree=25772740/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1408580 CPUtime=1421.82 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 293259 0 0 0 141949 233 0 0 20 0 4 0 108556203 1442385920 293901 33554432000 4194304 16246674 140737230699872 140737230681792 5823961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14238/statm: 352145 293901 904 2943 0 349039 0
[pid=14238/tid=14239] ppid=14235 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1442385920 293901 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1442385920 293901 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1442385920 293901 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1408580

[startup+1482.3 s]
/proc/loadavg: 2.20 2.17 2.10 3/183 14374
/proc/meminfo: memFree=25532716/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1557060 CPUtime=1481.81 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 330380 0 0 0 147942 239 0 0 20 0 4 0 108556203 1594429440 331022 33554432000 4194304 16246674 140737230699872 140737230681792 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14238/statm: 389265 331022 905 2943 0 386159 0
[pid=14238/tid=14239] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1557060

[startup+1542.31 s]
/proc/loadavg: 2.20 2.17 2.10 3/183 14375
/proc/meminfo: memFree=25414336/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1557060 CPUtime=1541.81 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 330380 0 0 0 153941 240 0 0 20 0 4 0 108556203 1594429440 331022 33554432000 4194304 16246674 140737230699872 140737230698968 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14238/statm: 389265 331022 905 2943 0 386159 0
[pid=14238/tid=14239] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1557060

[startup+1602.3 s]
/proc/loadavg: 2.11 2.15 2.09 3/184 14379
/proc/meminfo: memFree=25324424/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1557060 CPUtime=1601.79 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 330380 0 0 0 159939 240 0 0 20 0 4 0 108556203 1594429440 331022 33554432000 4194304 16246674 140737230699872 140737230681792 5712140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14238/statm: 389265 331022 905 2943 0 386159 0
[pid=14238/tid=14239] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1557060

[startup+1662.3 s]
/proc/loadavg: 2.16 2.15 2.09 3/183 14380
/proc/meminfo: memFree=25241220/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1557060 CPUtime=1661.78 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 330380 0 0 0 165936 242 0 0 20 0 4 0 108556203 1594429440 331022 33554432000 4194304 16246674 140737230699872 140737230681792 12483362 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14238/statm: 389265 331022 905 2943 0 386159 0
[pid=14238/tid=14239] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1557060

[startup+1722.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/183 14381
/proc/meminfo: memFree=25123584/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1557060 CPUtime=1721.78 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 330380 0 0 0 171931 247 0 0 20 0 4 0 108556203 1594429440 331022 33554432000 4194304 16246674 140737230699872 140737230681792 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14238/statm: 389265 331022 905 2943 0 386159 0
[pid=14238/tid=14239] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1557060

[startup+1782.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/183 14383
/proc/meminfo: memFree=25031260/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1557060 CPUtime=1781.76 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 330380 0 0 0 177929 247 0 0 20 0 4 0 108556203 1594429440 331022 33554432000 4194304 16246674 140737230699872 140737230681792 13820964 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14238/statm: 389265 331022 905 2943 0 386159 0
[pid=14238/tid=14239] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1557060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.07 2.12 2.09 3/183 14383
/proc/meminfo: memFree=24997380/32872528 swapFree=11196/354588
[pid=14238] ppid=14235 vsize=1557060 CPUtime=1800.06 cores=0,2,4,6
/proc/14238/stat : 14238 (toysat) R 14235 14238 12837 0 -1 4202496 330380 0 0 0 179759 247 0 0 20 0 4 0 108556203 1594429440 331022 33554432000 4194304 16246674 140737230699872 140737230681792 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14238/statm: 389265 331022 905 2943 0 386159 0
[pid=14238/tid=14239] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14239/stat : 14239 (toysat) S 14235 14238 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396727348464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14238/tid=14240] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14240/stat : 14240 (toysat) S 14235 14238 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396642413808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14238/tid=14241] ppid=14235 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/14238/task/14241/stat : 14241 (toysat) S 14235 14238 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108556204 1594429440 331022 33554432000 4194304 16246674 140737230699872 140396631940272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1557060

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 14238 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.62
CPU time (s): 1800.08
CPU user time (s): 1797.6
CPU system time (s): 2.48462
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1557060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.6
system time used= 2.48462
maximum resident set size= 1324088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330380
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= 438
involuntary context switches= 1977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.454 second user time and 15.6836 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 04:23:47
IDJOB=4079892
IDBENCH=71849
IDSOLVER=2542
FILE ID=node126/4079892-1465266227
RUNJOBID= node126-1465253620-12853
PBS_JOBID= 19843265
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 22116bd56344f7c7bb7157cc5841f631
RANDOM SEED=680153600

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30337664 kB
Buffers:          124376 kB
Cached:           150728 kB
SwapCached:         2220 kB
Active:          1275496 kB
Inactive:         173916 kB
Active(anon):    1173872 kB
Inactive(anon):     2444 kB
Active(file):     101624 kB
Inactive(file):   171472 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             17128 kB
Writeback:             0 kB
AnonPages:       1527304 kB
Mapped:            10600 kB
Shmem:                 0 kB
Slab:             599024 kB
SReclaimable:      43068 kB
SUnreclaim:       555956 kB
KernelStack:        1480 kB
PageTables:         6972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1670276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1468416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node126 at 2016-06-07 04:53:48