Trace number 4100137

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb
MD5SUM908b859aa6cb5be1c335ba1e4149146b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 240
Optimality of the best value was proved NO
Number of variables17840
Total number of constraints656
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint11
Maximum length of a constraint150
Number of terms in the objective function 10640
Biggest coefficient in the objective function 3638
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 534104
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261895
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 534104
Number of bits of the biggest sum of numbers20
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-18T02:59:07+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-4100137-1466211547.opb"]
0.00/0.01	c use --random-gen="1055797194 3163112456 2387530643 2195483228 352899529 597832950 1103631845 4226368250 2077320819 33012595 3560485979 3559006863 876975608 2636174058 1565490978 4242521381 523671795 4159874723 2080551257 4236396154 2915284433 170581543 1517408080 2906322603 857129600 2407280800 2665854917 3516660354 1818562794 3876415670 3266725159 2251877097 2954476902 170603622 1202526656 3554761331 2806190217 1798968063 2429762720 349340600 2795665497 1264082287 1212815754 2646334550 3152824512 3997731086 1534091116 2946473407 2785876162 2292680466 3444588167 87005886 1414109410 2004262227 1745748446 2337212100 1895326635 2856795953 1859665989 3415416298 689368860 2747396105 2930896875 2308339896 1793204806 4177232654 3970770698 2814865688 3374502329 3277827478 2264449 4190447633 2675541005 4242528616 2947335722 333485359 693546673 4253566554 3744498903 740566513 3682211777 46114584 177103392 1687797727 1616833220 549568035 2873842876 2730906972 230992946 3437063787 475063918 3866382834 111946129 4217070302 1946924167 1007135225 3535064830 1142152540 622672961 3642665947 3132275708 971725227 2840322963 3969049736 1670437209 828130194 1530603885 4287453421 3886775325 2057777347 246624974 79997477 2034428950 3912211542 1050135477 3352235619 3322367036 1783648322 3919482873 2745257885 3124324811 4287703691 362808357 201530726 3276902090 3990064324 779316129 1923771459 3268865269 3187175408 3414348492 4178726276 3403301371 3404192794 1629854274 1241543855 427734419 2916358522 1475307769 4005451250 24182297 1293988834 493196716 2053572158 2123206924 3153182208 1489065627 3815862374 1255169553 2926584241 2844710815 491764757 3373693434 1692107311 2256178352 1431835775 1671761324 1917405913 996156680 3301346382 1891370057 1657163359 1868336639 1980978585 1903609064 2911055175 2531924149 2864769778 601763155 569205074 789131641 3630457061 3260452143 2474637108 1783438544 139363632 2629849136 4085213399 2742835609 742445564 393170920 1921015600 3951788895 3874976548 2498833800 2478350646 1051788781 2103548158 4252066297 4014694069 1263134572 367002379 2433589754 864850524 3276285273 3803324100 4144742005 2721309479 2425611419 2143949753 3084901269 1135019578 3044007235 1640618182 3376846310 474121446 2243881733 1546878000 153643918 3614533154 3803613586 3418781105 1971325713 3658416195 92331889 997411853 3002947377 3044219517 3944864873 2813638119 1200780798 549281195 3541546007 1739001677 3998774233 1814629379 160529221 2827788814 1018473703 3930614720 3009527115 1298829547 1933024536 1786428181 1393230620 773883652 1782021618 2857636339 535128564 600567594 2620064864 1084705614 2456074904 312638376 4016992883 3441943955 3949907796 3582874789 2172174879 3566083049 46013616 1596108098 752104551 2824160960 307983963 3285704453 255 362436" option to reproduce the execution
0.09/0.15	c #vars 17840
0.09/0.15	c #constraints 656
1.10/1.13	c BCD2: Hardening is enabled.
1.10/1.13	c BCD2: BiasedSearch is enabled.
1.10/1.13	c Solving starts ...
1.10/1.13	c ============================[ Search Statistics ]============================
1.10/1.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.10/1.13	c       |         |          |          |    Limit     GC | Var      | Constra 
1.10/1.13	c =============================================================================
1.10/1.13	c  0.0s |       0 |        0 |        0 |     6245      0 |     2704 |        0
1.10/1.20	c  0.1s |       1 |     1153 |      100 |     6245      0 |     2704 |        0
1.20/1.25	c  0.1s |       2 |     1421 |      250 |     6870      0 |     2704 |        0
1.20/1.29	c  0.2s |       3 |     1690 |      475 |     7558      0 |     2704 |        0
1.29/1.36	c  0.2s |       4 |     2048 |      813 |     8314      0 |     2704 |        0
1.39/1.46	c  0.3s |       5 |     2571 |     1320 |     9146      0 |     2704 |        0
1.69/1.70	c  0.6s |       6 |     3897 |     2081 |    11068      0 |     2704 |        0
1.99/2.02	c  0.9s |       7 |     5696 |     3223 |    12175      0 |     2704 |        0
2.49/2.53	c  1.4s |       8 |     7967 |     4936 |    13393      0 |     2704 |        0
3.39/3.42	c  2.3s |       9 |    11240 |     7506 |    14733      0 |     2704 |        0
4.89/4.94	c  3.8s |      10 |    16538 |    11361 |    16207      0 |     2704 |        0
6.89/6.95	c  5.8s |      10 |    22336 |    15561 |    16207      0 |     2704 |        0
7.69/7.72	c  6.6s |      11 |    24292 |    17144 |    17828      0 |     2704 |        0
9.68/9.72	c  8.6s |      11 |    28799 |    20544 |    17828      0 |     2704 |        0
11.68/11.73	c 10.6s |      11 |    33608 |    24444 |    17828      1 |     2704 |        0
12.38/12.42	c 11.3s |      12 |    35262 |    25819 |    19611      1 |     2704 |        0
14.39/14.48	c 13.3s |      12 |    38942 |    28319 |    19611      1 |     2704 |        0
16.49/16.51	c 15.4s |      12 |    42910 |    31119 |    19611      1 |     2704 |        0
18.48/18.54	c 17.4s |      12 |    46516 |    33719 |    19611      2 |     2704 |        0
20.48/20.60	c 19.5s |      12 |    51877 |    37819 |    19611      2 |     2704 |        0
21.08/21.18	c 20.0s |      13 |    53139 |    38832 |    21573      2 |     2704 |        0
23.09/23.18	c 22.0s |      13 |    57804 |    42432 |    21573      2 |     2704 |        0
25.18/25.22	c 24.1s |      13 |    61362 |    45232 |    21573      2 |     2704 |        0
27.38/27.42	c 26.3s |      13 |    64812 |    48032 |    21573      3 |     2704 |        0
29.38/29.46	c 28.3s |      13 |    69802 |    51932 |    21573      3 |     2704 |        0
31.48/31.51	c 30.4s |      13 |    74234 |    55532 |    21573      3 |     2704 |        0
33.58/33.60	c 32.5s |      13 |    77561 |    58032 |    23731      3 |     2704 |        0
33.78/33.88	c 32.7s |      14 |    78013 |    58352 |    23731      3 |     2704 |        0
35.87/35.93	c 34.8s |      14 |    80716 |    60552 |    23731      4 |     2704 |        0
37.87/37.97	c 36.8s |      14 |    85120 |    63852 |    23731      4 |     2704 |        0
39.97/40.04	c 38.9s |      14 |    89478 |    67252 |    23731      4 |     2704 |        0
41.97/42.05	c 40.9s |      14 |    93194 |    70252 |    23731      4 |     2704 |        0
48.48/48.51	c 47.4s |      14 |    94622 |    71452 |    23731      4 |     2704 |        0
53.07/53.13	c 52.0s |      14 |    97353 |    74052 |    23731      5 |     2704 |        0
55.08/55.18	c 54.0s |      14 |   102109 |    78552 |    23731      5 |     2704 |        0
57.17/57.22	c 56.1s |      14 |   105873 |    81752 |    23731      5 |     2704 |        0
59.17/59.23	c 58.1s |      14 |   109948 |    85352 |    23731      5 |     2704 |        0
61.17/61.25	c 60.1s |      14 |   112269 |    87452 |    26105      6 |     2704 |        0
61.27/61.32	c 60.2s |      15 |   112474 |    87632 |    26105      6 |     2704 |        0
63.27/63.34	c 62.2s |      15 |   114007 |    88732 |    26105      6 |     2704 |        0
65.36/65.43	c 64.3s |      15 |   116978 |    91232 |    26105      6 |     2704 |        0
67.36/67.46	c 66.3s |      15 |   119804 |    93832 |    26105      6 |     2704 |        0
69.37/69.47	c 68.3s |      15 |   122795 |    96532 |    26105      6 |     2704 |        0
71.47/71.53	c 70.4s |      15 |   125209 |    98532 |    26105      6 |     2704 |        0
73.46/73.57	c 72.4s |      15 |   127879 |   101032 |    26105      6 |     2704 |        0
75.46/75.59	c 74.5s |      15 |   129999 |   103032 |    26105      7 |     2704 |        0
81.46/81.57	c 80.4s |      15 |   130847 |   103832 |    26105      7 |     2704 |        0
83.56/83.62	c 82.5s |      15 |   132667 |   105432 |    26105      7 |     2704 |        0
85.65/85.70	c 84.6s |      15 |   137158 |   109132 |    26105      7 |     2704 |        0
87.65/87.73	c 86.6s |      15 |   142072 |   113032 |    26105      7 |     2704 |        0
89.65/89.74	c 88.6s |      15 |   145740 |   116132 |    26105      7 |     2704 |        0
91.65/91.75	c 90.6s |      15 |   147482 |   117532 |    26105      8 |     2704 |        0
93.65/93.76	c 92.6s |      15 |   152100 |   120932 |    26105      8 |     2704 |        0
95.66/95.79	c 94.7s |      15 |   156081 |   124032 |    26105      8 |     2704 |        0
97.75/97.80	c 96.7s |      15 |   159637 |   126932 |    26105      8 |     2704 |        0
99.75/99.83	c 98.7s |      15 |   163046 |   129932 |    26105      8 |     2704 |        0
102.75/102.89	c  101s |      15 |   163730 |   130432 |    26105      8 |     2710 |        0
103.85/103.98	c  102s |      16 |   165396 |   131552 |    28716      8 |     2710 |        0
105.95/106.05	c  104s |      16 |   168074 |   133652 |    28716      8 |     2710 |        0
107.95/108.09	c  106s |      16 |   169232 |   134452 |    28716      9 |     2710 |        0
110.06/110.14	c  109s |      16 |   173110 |   137552 |    28716      9 |     2710 |        0
112.05/112.19	c  111s |      16 |   176950 |   140652 |    28716      9 |     2710 |        0
114.05/114.19	c  113s |      16 |   180311 |   143352 |    28716      9 |     2710 |        0
116.15/116.26	c  115s |      16 |   183643 |   146052 |    28716      9 |     2710 |        0
118.25/118.31	c  117s |      16 |   186810 |   148352 |    28716      9 |     2710 |        0
120.25/120.31	c  119s |      16 |   188655 |   149852 |    28716     10 |     2710 |        0
122.74/122.89	c  121s |      16 |   189371 |   150452 |    28716     10 |     2710 |        0
124.74/124.89	c  123s |      16 |   193299 |   153652 |    28716     10 |     2710 |        0
126.84/126.92	c  125s |      16 |   197075 |   156852 |    28716     10 |     2710 |        0
128.84/128.96	c  127s |      16 |   200857 |   159652 |    28716     10 |     2710 |        0
130.85/130.99	c  129s |      16 |   204351 |   162352 |    28716     10 |     2710 |        0
132.94/133.02	c  131s |      16 |   207737 |   165152 |    28716     10 |     2710 |        0
134.94/135.05	c  133s |      16 |   211213 |   167852 |    28716     11 |     2710 |        0
137.05/137.11	c  135s |      16 |   213580 |   169452 |    28716     11 |     2710 |        0
139.05/139.18	c  138s |      16 |   217267 |   172052 |    28716     11 |     2710 |        0
141.15/141.20	c  140s |      16 |   220997 |   174852 |    28716     11 |     2710 |        0
143.15/143.21	c  142s |      16 |   223791 |   177152 |    28716     11 |     2710 |        0
145.15/145.30	c  144s |      16 |   227045 |   179652 |    28716     11 |     2716 |        0
147.45/147.53	c  146s |      16 |   229665 |   181852 |    28716     12 |     2716 |        0
149.44/149.56	c  148s |      16 |   235022 |   186052 |    28716     12 |     2716 |        0
152.04/152.10	c  150s |      16 |   253653 |   188652 |    28716     12 |     2773 |        0
156.25/156.32	c  155s |      16 |   254192 |   189052 |    28716     12 |     2773 |        0
162.34/162.47	c  161s |      16 |   256022 |   190252 |    28716     12 |     2773 |        0
169.23/169.34	c  168s |      16 |   261958 |   193652 |    28716     12 |     2773 |        0
170.93/171.03	c  169s |      17 |   266382 |   197432 |    31588     12 |     2773 |        0
173.13/173.23	c  172s |      17 |   269503 |   200032 |    31588     13 |     2773 |        0
175.13/175.26	c  174s |      17 |   271209 |   201432 |    31588     13 |     2773 |        0
177.14/177.26	c  176s |      17 |   275761 |   204832 |    31588     13 |     2773 |        0
179.13/179.27	c  178s |      17 |   285780 |   210032 |    31588     13 |     2773 |        0
181.13/181.29	c  180s |      17 |   295168 |   216532 |    31588     13 |     2773 |        0
183.13/183.29	c  182s |      17 |   301666 |   221132 |    31588     14 |     2773 |        0
185.23/185.31	c  184s |      17 |   306453 |   224732 |    31588     14 |     2773 |        0
187.23/187.32	c  186s |      17 |   309542 |   227632 |    31588     14 |     2773 |        0
189.24/189.32	c  188s |      17 |   312291 |   230232 |    31588     14 |     2773 |        0
191.23/191.33	c  190s |      17 |   315331 |   232732 |    31588     14 |     2773 |        0
193.23/193.35	c  192s |      17 |   318179 |   235132 |    31588     15 |     2773 |        0
195.33/195.44	c  194s |      17 |   321357 |   237832 |    31588     15 |     2773 |        0
197.33/197.47	c  196s |      17 |   326004 |   240432 |    31588     15 |     2773 |        0
199.43/199.51	c  198s |      17 |   330830 |   242932 |    31588     15 |     2773 |        0
201.43/201.53	c  200s |      17 |   334586 |   245132 |    31588     15 |     2773 |        0
203.43/203.59	c  202s |      17 |   338070 |   247232 |    31588     15 |     2773 |        0
205.53/205.65	c  204s |      17 |   341225 |   249132 |    31588     15 |     2773 |        0
207.53/207.68	c  206s |      17 |   343837 |   250832 |    31588     15 |     2773 |        0
209.94/210.03	c  208s |      17 |   346295 |   252032 |    31588     16 |     2773 |        0
211.93/212.04	c  210s |      17 |   349245 |   253932 |    31588     16 |     2773 |        0
214.03/214.12	c  212s |      17 |   352736 |   256132 |    31588     16 |     2773 |        0
216.03/216.19	c  215s |      17 |   355929 |   258132 |    31588     16 |     2773 |        0
218.13/218.29	c  217s |      17 |   358323 |   259932 |    31588     16 |     2773 |        0
221.63/221.70	c  220s |      17 |   360725 |   261432 |    31588     16 |     2773 |        0
223.63/223.74	c  222s |      17 |   364604 |   263332 |    31588     16 |     2773 |        0
225.63/225.80	c  224s |      17 |   368141 |   265232 |    31588     16 |     2773 |        0
227.73/227.85	c  226s |      17 |   372187 |   267132 |    31588     16 |     2773 |        0
229.73/229.90	c  228s |      17 |   375819 |   268732 |    31588     16 |     2773 |        0
232.42/232.58	c  231s |      17 |   377579 |   269432 |    31588     17 |     2773 |        0
234.52/234.61	c  233s |      17 |   383343 |   271632 |    31588     17 |     2773 |        0
237.02/237.11	c  235s |      17 |   387105 |   273632 |    31588     17 |     2773 |        0
239.02/239.12	c  237s |      17 |   391161 |   275332 |    31588     17 |     2773 |        0
241.02/241.19	c  240s |      17 |   395365 |   277232 |    31588     17 |     2773 |        0
243.13/243.22	c  242s |      17 |   398932 |   279132 |    31588     17 |     2773 |        0
245.12/245.24	c  244s |      17 |   405498 |   284432 |    31588     17 |     2773 |        0
247.72/247.84	c  246s |      17 |   409253 |   287032 |    31588     18 |     2773 |        0
249.73/249.87	c  248s |      17 |   414333 |   289732 |    31588     18 |     2773 |        0
251.82/251.92	c  250s |      17 |   419368 |   292232 |    31588     18 |     2773 |        0
253.82/253.97	c  252s |      17 |   423982 |   294432 |    34747     18 |     2773 |        0
255.42/255.52	c  254s |      18 |   427385 |   296252 |    34747     18 |     2773 |        0
257.43/257.56	c  256s |      18 |   431176 |   299052 |    34747     18 |     2773 |        0
259.42/259.57	c  258s |      18 |   436137 |   302852 |    34747     18 |     2773 |        0
261.52/261.60	c  260s |      18 |   440620 |   306352 |    34747     18 |     2773 |        0
263.52/263.66	c  262s |      18 |   444678 |   309852 |    34747     19 |     2773 |        0
265.52/265.66	c  264s |      18 |   449310 |   313252 |    34747     19 |     2773 |        0
267.52/267.67	c  266s |      18 |   452791 |   316252 |    34747     19 |     2773 |        0
269.62/269.70	c  268s |      18 |   455685 |   318952 |    34747     19 |     2773 |        0
271.52/271.70	c  270s |      18 |   458551 |   321552 |    34747     19 |     2773 |        0
273.62/273.70	c  272s |      18 |   461083 |   323852 |    34747     19 |     2773 |        0
275.62/275.72	c  274s |      18 |   463437 |   325952 |    34747     19 |     2773 |        0
277.62/277.76	c  276s |      18 |   465350 |   327752 |    34747     20 |     2773 |        0
279.62/279.79	c  278s |      18 |   468091 |   330252 |    34747     20 |     2773 |        0
281.72/281.83	c  280s |      18 |   470915 |   332752 |    34747     20 |     2773 |        0
283.82/283.90	c  282s |      18 |   473502 |   335052 |    34747     20 |     2773 |        0
285.81/286.00	c  284s |      18 |   475645 |   337052 |    34747     20 |     2773 |        0
287.91/288.02	c  286s |      18 |   477677 |   338952 |    34747     20 |     2773 |        0
289.91/290.05	c  288s |      18 |   480429 |   341152 |    34747     20 |     2773 |        0
292.11/292.20	c  291s |      18 |   482518 |   342552 |    34747     20 |     2773 |        0
294.11/294.26	c  293s |      18 |   484716 |   344252 |    34747     20 |     2773 |        0
296.21/296.32	c  295s |      18 |   486739 |   346252 |    34747     21 |     2773 |        0
298.21/298.37	c  297s |      18 |   489047 |   348552 |    34747     21 |     2773 |        0
300.31/300.45	c  299s |      18 |   491165 |   350652 |    34747     21 |     2773 |        0
303.10/303.21	c  302s |      18 |   492464 |   351852 |    34747     21 |     2773 |        0
306.81/306.92	c  305s |      18 |   492565 |   351952 |    34747     21 |     2773 |        0
308.81/308.97	c  307s |      18 |   494826 |   353952 |    34747     21 |     2773 |        0
310.91/311.00	c  309s |      18 |   497540 |   356252 |    34747     21 |     2773 |        0
312.91/313.00	c  311s |      18 |   501484 |   359552 |    34747     21 |     2773 |        0
314.91/315.05	c  313s |      18 |   505069 |   362452 |    34747     21 |     2773 |        0
316.90/317.08	c  315s |      18 |   507643 |   364652 |    34747     22 |     2773 |        0
318.91/319.08	c  317s |      18 |   510163 |   366952 |    34747     22 |     2773 |        0
321.00/321.15	c  320s |      18 |   514385 |   370452 |    34747     22 |     2773 |        0
323.00/323.15	c  322s |      18 |   517914 |   373252 |    34747     22 |     2773 |        0
325.00/325.17	c  324s |      18 |   521173 |   375952 |    34747     22 |     2773 |        0
327.00/327.18	c  326s |      18 |   524293 |   378552 |    34747     22 |     2773 |        0
329.10/329.25	c  328s |      18 |   527118 |   380952 |    34747     22 |     2773 |        0
331.20/331.37	c  330s |      18 |   529425 |   382952 |    34747     23 |     2773 |        0
333.31/333.46	c  332s |      18 |   532836 |   385652 |    34747     23 |     2773 |        0
335.30/335.46	c  334s |      18 |   535821 |   388052 |    34747     23 |     2773 |        0
337.30/337.47	c  336s |      18 |   539758 |   391152 |    34747     23 |     2773 |        0
339.40/339.50	c  338s |      18 |   543140 |   393852 |    34747     23 |     2773 |        0
341.40/341.53	c  340s |      18 |   546807 |   396952 |    34747     23 |     2773 |        0
343.40/343.58	c  342s |      18 |   550340 |   399952 |    34747     23 |     2773 |        0
345.50/345.61	c  344s |      18 |   553970 |   402952 |    34747     24 |     2773 |        0
347.50/347.66	c  346s |      18 |   557493 |   405852 |    34747     24 |     2773 |        0
349.60/349.70	c  348s |      18 |   560795 |   408552 |    34747     24 |     2773 |        0
351.60/351.72	c  350s |      18 |   564749 |   410952 |    34747     24 |     2773 |        0
353.60/353.74	c  352s |      18 |   570818 |   414252 |    34747     24 |     2773 |        0
355.60/355.77	c  354s |      18 |   576710 |   417452 |    34747     24 |     2773 |        0
357.59/357.79	c  356s |      18 |   579438 |   419652 |    34747     24 |     2773 |        0
359.70/359.83	c  358s |      18 |   581255 |   421152 |    34747     25 |     2773 |        0
361.69/361.86	c  360s |      18 |   584088 |   423852 |    34747     25 |     2773 |        0
363.69/363.87	c  362s |      18 |   587255 |   426852 |    34747     25 |     2773 |        0
365.69/365.89	c  364s |      18 |   590960 |   429452 |    34747     25 |     2773 |        0
367.79/367.96	c  366s |      18 |   593476 |   431652 |    34747     25 |     2773 |        0
369.79/369.97	c  368s |      18 |   596160 |   433852 |    34747     25 |     2773 |        0
371.89/372.01	c  370s |      18 |   598769 |   435852 |    34747     25 |     2773 |        0
373.89/374.09	c  372s |      18 |   601105 |   437752 |    34747     25 |     2773 |        0
375.99/376.12	c  374s |      18 |   603330 |   439652 |    34747     25 |     2773 |        0
378.08/378.21	c  377s |      18 |   605106 |   441252 |    34747     26 |     2773 |        0
380.48/380.68	c  379s |      18 |   605898 |   441852 |    38222     26 |     2773 |        0
382.47/382.69	c  381s |      18 |   607112 |   442952 |    38222     26 |     2773 |        0
384.37/384.50	c  383s |      19 |   609785 |   444482 |    38222     26 |     2773 |        0
386.37/386.52	c  385s |      19 |   615684 |   447282 |    38222     26 |     2775 |        0
388.37/388.54	c  387s |      19 |   619499 |   450982 |    38222     26 |     2775 |        0
390.48/390.64	c  389s |      19 |   622846 |   453982 |    38222     26 |     2775 |        0
392.58/392.72	c  391s |      19 |   625438 |   456182 |    38222     26 |     2775 |        0
394.57/394.72	c  393s |      19 |   627821 |   458082 |    38222     26 |     2775 |        0
396.67/396.81	c  395s |      19 |   630241 |   460182 |    38222     26 |     2775 |        0
398.77/398.90	c  397s |      19 |   632140 |   461882 |    38222     26 |     2775 |        0
400.77/400.91	c  399s |      19 |   633690 |   463282 |    38222     26 |     2775 |        0
402.76/402.96	c  401s |      19 |   635730 |   464882 |    38222     27 |     2775 |        0
404.77/404.99	c  403s |      19 |   638175 |   466982 |    38222     27 |     2775 |        0
406.87/407.03	c  405s |      19 |   640690 |   469082 |    38222     27 |     2775 |        0
408.86/409.04	c  407s |      19 |   643021 |   470882 |    38222     27 |     2775 |        0
410.86/411.07	c  409s |      19 |   645009 |   472582 |    38222     27 |     2775 |        0
412.96/413.14	c  412s |      19 |   646905 |   474182 |    38222     27 |     2775 |        0
414.96/415.16	c  414s |      19 |   648739 |   475782 |    38222     27 |     2775 |        0
417.06/417.22	c  416s |      19 |   650092 |   476982 |    38222     27 |     2775 |        0
419.06/419.22	c  418s |      19 |   651523 |   478182 |    38222     27 |     2775 |        0
421.06/421.27	c  420s |      19 |   653443 |   479682 |    38222     27 |     2775 |        0
423.16/423.34	c  422s |      19 |   655764 |   481682 |    38222     27 |     2775 |        0
425.16/425.39	c  424s |      19 |   657903 |   483382 |    38222     27 |     2775 |        0
427.36/427.51	c  426s |      19 |   660032 |   485082 |    38222     27 |     2775 |        0
429.35/429.55	c  428s |      19 |   661789 |   486482 |    38222     28 |     2775 |        0
431.35/431.58	c  430s |      19 |   664092 |   488382 |    38222     28 |     2775 |        0
433.45/433.65	c  432s |      19 |   666804 |   490582 |    38222     28 |     2775 |        0
435.46/435.67	c  434s |      19 |   669382 |   492682 |    38222     28 |     2775 |        0
437.55/437.73	c  436s |      19 |   671850 |   494682 |    38222     28 |     2775 |        0
439.65/439.84	c  438s |      19 |   673961 |   496382 |    38222     28 |     2775 |        0
441.75/441.95	c  440s |      19 |   675902 |   497982 |    38222     28 |     2775 |        0
443.85/444.06	c  442s |      19 |   677776 |   499482 |    38222     28 |     2775 |        0
445.85/446.07	c  444s |      19 |   679885 |   501182 |    38222     28 |     2775 |        0
447.94/448.17	c  447s |      19 |   681682 |   502782 |    38222     28 |     2775 |        0
450.05/450.29	c  449s |      19 |   683472 |   504382 |    38222     28 |     2775 |        0
452.25/452.46	c  451s |      19 |   685234 |   505882 |    38222     28 |     2775 |        0
454.35/454.53	c  453s |      19 |   686627 |   507082 |    38222     28 |     2775 |        0
456.36/456.59	c  455s |      19 |   688875 |   508782 |    38222     29 |     2775 |        0
458.85/459.09	c  457s |      19 |   689091 |   508982 |    38222     29 |     2775 |        0
460.95/461.13	c  459s |      19 |   691402 |   511282 |    38222     29 |     2775 |        0
462.96/463.17	c  462s |      19 |   694469 |   513982 |    38222     29 |     2775 |        0
465.05/465.24	c  464s |      19 |   697177 |   516482 |    38222     29 |     2775 |        0
467.05/467.24	c  466s |      19 |   699594 |   518682 |    38222     29 |     2775 |        0
469.15/469.32	c  468s |      19 |   701963 |   520882 |    38222     29 |     2775 |        0
471.25/471.43	c  470s |      19 |   704085 |   522882 |    38222     29 |     2775 |        0
473.35/473.52	c  472s |      19 |   706007 |   524682 |    38222     29 |     2775 |        0
475.35/475.58	c  474s |      19 |   707910 |   526482 |    38222     29 |     2775 |        0
477.35/477.58	c  476s |      19 |   709573 |   528082 |    38222     29 |     2775 |        0
479.45/479.65	c  478s |      19 |   711327 |   529582 |    38222     30 |     2775 |        0
482.54/482.71	c  481s |      19 |   712706 |   530782 |    38222     30 |     2775 |        0
484.54/484.78	c  483s |      19 |   713745 |   531282 |    38222     30 |     2775 |        0
486.64/486.81	c  485s |      19 |   716159 |   533282 |    38222     30 |     2775 |        0
488.64/488.84	c  487s |      19 |   718274 |   535282 |    38222     30 |     2775 |        0
490.64/490.87	c  489s |      19 |   720340 |   537182 |    38222     30 |     2775 |        0
492.74/492.95	c  491s |      19 |   722854 |   539282 |    38222     30 |     2775 |        0
494.74/494.98	c  493s |      19 |   725236 |   541282 |    38222     30 |     2775 |        0
496.84/497.01	c  495s |      19 |   727666 |   543182 |    38222     30 |     2775 |        0
498.94/499.10	c  497s |      19 |   729913 |   544982 |    38222     30 |     2775 |        0
500.93/501.12	c  499s |      19 |   732031 |   546682 |    38222     30 |     2775 |        0
502.93/503.17	c  502s |      19 |   734158 |   548382 |    38222     30 |     2775 |        0
505.03/505.26	c  504s |      19 |   736125 |   549982 |    38222     30 |     2775 |        0
507.13/507.34	c  506s |      19 |   737897 |   551382 |    38222     31 |     2775 |        0
509.24/509.44	c  508s |      19 |   740024 |   553082 |    38222     31 |     2775 |        0
524.32/524.56	c  523s |      19 |   741096 |   553982 |    38222     31 |     2775 |        0
526.42/526.67	c  525s |      19 |   743896 |   556282 |    38222     31 |     2775 |        0
528.42/528.69	c  527s |      19 |   745607 |   557582 |    38222     31 |     2775 |        0
530.62/530.81	c  529s |      19 |   747293 |   558882 |    38222     31 |     2775 |        0
532.62/532.86	c  531s |      19 |   748908 |   560282 |    38222     31 |     2775 |        0
534.72/534.92	c  533s |      19 |   750567 |   561682 |    38222     31 |     2775 |        0
536.72/536.94	c  535s |      19 |   752383 |   563182 |    38222     31 |     2775 |        0
538.72/538.99	c  537s |      19 |   754101 |   564582 |    38222     31 |     2775 |        0
540.81/541.03	c  539s |      19 |   755747 |   565782 |    38222     31 |     2775 |        0
542.91/543.10	c  541s |      19 |   757279 |   566982 |    38222     31 |     2775 |        0
545.01/545.20	c  544s |      19 |   759006 |   568282 |    38222     31 |     2775 |        0
547.01/547.20	c  546s |      19 |   760677 |   569582 |    38222     31 |     2775 |        0
549.11/549.36	c  548s |      19 |   762368 |   570782 |    38222     31 |     2775 |        0
551.21/551.45	c  550s |      19 |   763697 |   571782 |    38222     31 |     2775 |        0
554.01/554.27	c  553s |      19 |   764574 |   572482 |    38222     32 |     2775 |        0
557.81/558.05	c  556s |      19 |   765362 |   573082 |    38222     32 |     2775 |        0
559.82/560.07	c  558s |      19 |   766875 |   574282 |    38222     32 |     2775 |        0
561.81/562.08	c  560s |      19 |   769260 |   576082 |    38222     32 |     2775 |        0
563.91/564.11	c  562s |      19 |   771254 |   577682 |    38222     32 |     2775 |        0
565.91/566.19	c  565s |      19 |   773347 |   579282 |    38222     32 |     2775 |        0
568.01/568.23	c  567s |      19 |   775204 |   580782 |    38222     32 |     2775 |        0
570.11/570.35	c  569s |      19 |   777158 |   582382 |    38222     32 |     2775 |        0
572.21/572.42	c  571s |      19 |   779118 |   583882 |    38222     32 |     2775 |        0
574.21/574.47	c  573s |      19 |   781063 |   585382 |    38222     32 |     2775 |        0
576.21/576.50	c  575s |      19 |   782867 |   586782 |    38222     32 |     2775 |        0
578.31/578.56	c  577s |      19 |   784663 |   588182 |    38222     32 |     2775 |        0
580.30/580.58	c  579s |      19 |   786390 |   589882 |    38222     32 |     2775 |        0
582.40/582.68	c  581s |      19 |   788137 |   590882 |    38222     32 |     2775 |        0
584.50/584.72	c  583s |      19 |   791743 |   594482 |    38222     33 |     2775 |        0
587.60/587.85	c  586s |      19 |   794585 |   597182 |    38222     33 |     2775 |        0
591.91/592.17	c  591s |      19 |   795591 |   598082 |    38222     33 |     2775 |        0
594.00/594.24	c  593s |      19 |   798199 |   600682 |    38222     33 |     2775 |        0
596.01/596.28	c  595s |      19 |   800978 |   602982 |    38222     33 |     2775 |        0
598.10/598.36	c  597s |      19 |   803720 |   605082 |    38222     33 |     2775 |        0
600.10/600.36	c  599s |      19 |   805885 |   606882 |    38222     33 |     2775 |        0
602.20/602.44	c  601s |      19 |   808324 |   608882 |    38222     33 |     2775 |        0
604.20/604.46	c  603s |      19 |   810392 |   610882 |    38222     33 |     2775 |        0
606.20/606.48	c  605s |      19 |   812479 |   612582 |    38222     33 |     2775 |        0
608.40/608.60	c  607s |      19 |   814561 |   614582 |    38222     33 |     2775 |        0
610.50/610.71	c  609s |      19 |   815892 |   615882 |    38222     34 |     2775 |        0
612.50/612.73	c  611s |      19 |   817748 |   617382 |    38222     34 |     2775 |        0
614.50/614.77	c  613s |      19 |   820323 |   619882 |    38222     34 |     2775 |        0
616.60/616.81	c  615s |      19 |   822755 |   622282 |    38222     34 |     2775 |        0
618.70/618.93	c  617s |      19 |   824737 |   623882 |    38222     34 |     2775 |        0
620.79/621.02	c  619s |      19 |   826699 |   625782 |    38222     34 |     2775 |        0
622.79/623.08	c  621s |      19 |   828772 |   627782 |    38222     34 |     2775 |        0
624.89/625.12	c  623s |      19 |   830707 |   629682 |    38222     34 |     2775 |        0
626.99/627.20	c  626s |      19 |   832327 |   631082 |    38222     34 |     2775 |        0
629.00/629.23	c  628s |      19 |   833814 |   632382 |    38222     34 |     2775 |        0
630.99/631.29	c  630s |      19 |   835552 |   634082 |    38222     34 |     2775 |        0
633.09/633.31	c  632s |      19 |   837223 |   635682 |    38222     34 |     2775 |        0
635.09/635.32	c  634s |      19 |   838864 |   637282 |    38222     34 |     2775 |        0
637.90/638.17	c  637s |      19 |   839659 |   638082 |    38222     35 |     2775 |        0
639.89/640.20	c  639s |      19 |   840802 |   639182 |    38222     35 |     2775 |        0
662.19/662.41	c  661s |      19 |   842780 |   641082 |    38222     35 |     2775 |        0
664.20/664.49	c  663s |      19 |   844703 |   642682 |    38222     35 |     2775 |        0
666.29/666.55	c  665s |      19 |   847078 |   644982 |    38222     35 |     2775 |        0
668.39/668.60	c  667s |      19 |   849511 |   647382 |    38222     35 |     2775 |        0
670.39/670.65	c  669s |      19 |   851692 |   649482 |    38222     35 |     2775 |        0
672.39/672.67	c  671s |      19 |   853826 |   651582 |    38222     35 |     2775 |        0
674.69/674.93	c  673s |      19 |   856027 |   653682 |    38222     35 |     2775 |        0
676.89/677.13	c  675s |      19 |   856974 |   654382 |    38222     35 |     2775 |        0
678.99/679.21	c  678s |      19 |   858349 |   655682 |    38222     35 |     2775 |        0
680.99/681.22	c  680s |      19 |   859905 |   657182 |    38222     35 |     2775 |        0
683.09/683.31	c  682s |      19 |   861456 |   658682 |    38222     35 |     2775 |        0
686.38/686.62	c  685s |      19 |   862257 |   659482 |    38222     36 |     2775 |        0
689.49/689.77	c  688s |      19 |   862987 |   660182 |    38222     36 |     2775 |        0
691.48/691.79	c  690s |      19 |   865326 |   662482 |    42045     36 |     2775 |        0
693.58/693.82	c  692s |      19 |   867565 |   664682 |    42045     36 |     2775 |        0
695.58/695.83	c  694s |      19 |   869705 |   666782 |    42045     36 |     2775 |        0
695.58/695.87	c  694s |      20 |   869747 |   666827 |    42045     36 |     2775 |        0
697.68/697.90	c  696s |      20 |   872989 |   669627 |    42045     36 |     2776 |        0
699.67/699.90	c  698s |      20 |   876834 |   673227 |    42045     36 |     2776 |        0
701.68/701.92	c  700s |      20 |   880484 |   676727 |    42045     36 |     2776 |        0
703.67/703.93	c  702s |      20 |   883670 |   679827 |    42045     36 |     2776 |        0
705.67/705.95	c  704s |      20 |   886449 |   682527 |    42045     36 |     2776 |        0
707.67/707.96	c  706s |      20 |   888787 |   684827 |    42045     37 |     2776 |        0
709.77/710.00	c  708s |      20 |   891323 |   687327 |    42045     37 |     2776 |        0
711.77/712.02	c  710s |      20 |   894413 |   689827 |    42045     37 |     2776 |        0
713.78/714.04	c  712s |      20 |   897509 |   692127 |    42045     37 |     2776 |        0
715.77/716.06	c  714s |      20 |   901570 |   694727 |    42045     37 |     2776 |        0
717.87/718.15	c  717s |      20 |   905507 |   697327 |    42045     37 |     2776 |        0
719.87/720.17	c  719s |      20 |   908863 |   699527 |    42045     37 |     2776 |        0
722.27/722.50	c  721s |      20 |   913998 |   700127 |    42045     37 |     2783 |        0
724.27/724.51	c  723s |      20 |   924914 |   707927 |    42045     38 |     2783 |        0
726.27/726.53	c  725s |      20 |   935569 |   715427 |    42045     38 |     2783 |        0
728.27/728.54	c  727s |      20 |   943293 |   720927 |    42045     38 |     2783 |        0
730.28/730.57	c  729s |      20 |   949131 |   725127 |    42045     38 |     2783 |        0
732.38/732.61	c  731s |      20 |   954160 |   728927 |    42045     39 |     2783 |        0
734.37/734.69	c  733s |      20 |   957911 |   731827 |    42045     39 |     2783 |        0
736.47/736.76	c  735s |      20 |   962181 |   735027 |    42045     39 |     2783 |        0
738.57/738.82	c  737s |      20 |   966274 |   737927 |    42045     39 |     2783 |        0
740.57/740.84	c  739s |      20 |   969981 |   740727 |    42045     39 |     2783 |        0
742.57/742.86	c  741s |      20 |   973356 |   743427 |    42045     39 |     2783 |        0
744.57/744.89	c  743s |      20 |   976467 |   745927 |    42045     39 |     2783 |        0
746.67/746.91	c  745s |      20 |   979369 |   748227 |    42045     39 |     2783 |        0
748.66/748.94	c  747s |      20 |   981774 |   750127 |    42045     39 |     2783 |        0
750.86/751.15	c  750s |      20 |   983378 |   751427 |    42045     40 |     2783 |        0
752.86/753.17	c  752s |      20 |   986078 |   753627 |    42045     40 |     2783 |        0
754.96/755.26	c  754s |      20 |   989612 |   756327 |    42045     40 |     2783 |        0
756.96/757.27	c  756s |      20 |   992676 |   758727 |    42045     40 |     2783 |        0
759.06/759.33	c  758s |      20 |   995853 |   761127 |    42045     40 |     2783 |        0
761.07/761.35	c  760s |      20 |   998975 |   763727 |    42045     40 |     2783 |        0
763.17/763.41	c  762s |      20 |  1002032 |   766227 |    42045     40 |     2783 |        0
765.26/765.58	c  764s |      20 |  1004334 |   768027 |    42045     40 |     2783 |        0
767.36/767.63	c  766s |      20 |  1005941 |   769327 |    42045     40 |     2783 |        0
769.36/769.66	c  768s |      20 |  1007438 |   770427 |    42045     40 |     2783 |        0
771.35/771.69	c  770s |      20 |  1009756 |   772427 |    42045     40 |     2783 |        0
773.65/773.93	c  772s |      20 |  1012072 |   774227 |    42045     41 |     2783 |        0
779.55/779.82	c  778s |      20 |  1012516 |   774627 |    42045     41 |     2783 |        0
781.55/781.85	c  780s |      20 |  1016415 |   777627 |    42045     41 |     2783 |        0
783.55/783.89	c  782s |      20 |  1019598 |   779727 |    42045     41 |     2783 |        0
785.65/785.90	c  784s |      20 |  1023147 |   782127 |    42045     41 |     2783 |        0
787.65/787.95	c  786s |      20 |  1025168 |   783627 |    42045     41 |     2783 |        0
789.75/790.01	c  788s |      20 |  1028311 |   785827 |    42045     41 |     2783 |        0
791.75/792.04	c  790s |      20 |  1031705 |   788127 |    42045     41 |     2783 |        0
793.75/794.06	c  792s |      20 |  1035358 |   790427 |    42045     41 |     2783 |        0
795.75/796.08	c  794s |      20 |  1038841 |   792927 |    42045     41 |     2783 |        0
797.85/798.11	c  796s |      20 |  1041957 |   795127 |    42045     41 |     2783 |        0
799.95/800.20	c  799s |      20 |  1045016 |   796927 |    42045     42 |     2783 |        0
802.25/802.54	c  801s |      20 |  1045228 |   797027 |    42045     42 |     2783 |        0
807.04/807.36	c  806s |      20 |  1045778 |   797327 |    42045     42 |     2783 |        0
809.15/809.41	c  808s |      20 |  1049774 |   799927 |    42045     42 |     2783 |        0
811.15/811.43	c  810s |      20 |  1054621 |   803527 |    42045     42 |     2783 |        0
813.15/813.46	c  812s |      20 |  1059561 |   807227 |    42045     42 |     2783 |        0
815.25/815.50	c  814s |      20 |  1064208 |   810727 |    42045     42 |     2783 |        0
817.24/817.54	c  816s |      20 |  1068323 |   813727 |    42045     42 |     2783 |        0
819.25/819.57	c  818s |      20 |  1072320 |   816927 |    42045     42 |     2783 |        0
821.34/821.61	c  820s |      20 |  1075307 |   818727 |    42045     42 |     2783 |        0
824.04/824.31	c  823s |      20 |  1076988 |   819727 |    42045     43 |     2783 |        0
826.04/826.31	c  825s |      20 |  1079319 |   821327 |    42045     43 |     2783 |        0
828.05/828.34	c  827s |      20 |  1085057 |   825327 |    42045     43 |     2783 |        0
830.04/830.37	c  829s |      20 |  1090542 |   828927 |    42045     43 |     2783 |        0
832.04/832.38	c  831s |      20 |  1094965 |   832327 |    42045     43 |     2783 |        0
834.14/834.43	c  833s |      20 |  1099640 |   835827 |    42045     43 |     2783 |        0
836.14/836.47	c  835s |      20 |  1103532 |   838627 |    42045     43 |     2783 |        0
838.24/838.50	c  837s |      20 |  1107156 |   841127 |    42045     43 |     2783 |        0
840.34/840.60	c  839s |      20 |  1108869 |   842527 |    42045     44 |     2783 |        0
842.34/842.65	c  841s |      20 |  1110765 |   843927 |    42045     44 |     2783 |        0
845.74/846.07	c  844s |      20 |  1114879 |   846927 |    42045     44 |     2783 |        0
847.84/848.11	c  846s |      20 |  1118821 |   849827 |    42045     44 |     2783 |        0
849.83/850.16	c  849s |      20 |  1122990 |   853027 |    42045     44 |     2783 |        0
851.93/852.21	c  851s |      20 |  1126610 |   855827 |    42045     44 |     2783 |        0
853.93/854.23	c  853s |      20 |  1130048 |   858527 |    42045     44 |     2783 |        0
855.93/856.24	c  855s |      20 |  1133132 |   860827 |    42045     44 |     2783 |        0
857.93/858.29	c  857s |      20 |  1135837 |   862927 |    42045     44 |     2783 |        0
860.63/860.94	c  859s |      20 |  1138976 |   865327 |    42045     45 |     2783 |        0
862.63/862.98	c  861s |      20 |  1140671 |   866627 |    42045     45 |     2783 |        0
864.93/865.30	c  864s |      20 |  1143313 |   868627 |    42045     45 |     2783 |        0
867.03/867.31	c  866s |      20 |  1147525 |   871727 |    42045     45 |     2783 |        0
869.13/869.44	c  868s |      20 |  1151043 |   874127 |    42045     45 |     2783 |        0
871.13/871.48	c  870s |      20 |  1154211 |   876527 |    42045     45 |     2783 |        0
873.13/873.50	c  872s |      20 |  1156202 |   878027 |    42045     45 |     2783 |        0
875.22/875.51	c  874s |      20 |  1159153 |   880127 |    42045     45 |     2783 |        0
877.22/877.59	c  876s |      20 |  1161950 |   882227 |    42045     45 |     2783 |        0
879.32/879.61	c  878s |      20 |  1164713 |   884227 |    42045     45 |     2783 |        0
885.82/886.16	c  885s |      20 |  1165278 |   884727 |    42045     45 |     2783 |        0
892.94/893.24	c  892s |      20 |  1166529 |   885827 |    42045     45 |     2783 |        0
898.54/898.82	c  897s |      20 |  1169167 |   888127 |    42045     46 |     2783 |        0
900.53/900.85	c  899s |      20 |  1171409 |   890127 |    42045     46 |     2783 |        0
902.63/902.92	c  901s |      20 |  1175204 |   893427 |    42045     46 |     2783 |        0
904.63/904.96	c  903s |      20 |  1179308 |   896827 |    42045     46 |     2783 |        0
907.92/908.29	c  907s |      20 |  1179973 |   897427 |    42045     46 |     2783 |        0
909.92/910.29	c  909s |      20 |  1183790 |   900727 |    42045     46 |     2783 |        0
912.02/912.33	c  911s |      20 |  1187319 |   903927 |    42045     46 |     2783 |        0
914.02/914.35	c  913s |      20 |  1190499 |   906627 |    42045     46 |     2783 |        0
916.03/916.39	c  915s |      20 |  1193816 |   909627 |    42045     46 |     2783 |        0
918.12/918.43	c  917s |      20 |  1196567 |   912027 |    42045     47 |     2783 |        0
920.12/920.44	c  919s |      20 |  1200400 |   915327 |    42045     47 |     2783 |        0
922.12/922.44	c  921s |      20 |  1203799 |   918427 |    42045     47 |     2783 |        0
924.12/924.46	c  923s |      20 |  1206065 |   920427 |    42045     47 |     2783 |        0
926.12/926.46	c  925s |      20 |  1209007 |   922827 |    42045     47 |     2783 |        0
928.12/928.48	c  927s |      20 |  1211099 |   924727 |    42045     47 |     2783 |        0
930.12/930.48	c  929s |      20 |  1215059 |   928027 |    42045     47 |     2783 |        0
932.22/932.53	c  931s |      20 |  1217353 |   929927 |    42045     47 |     2783 |        0
934.22/934.56	c  933s |      20 |  1219458 |   931827 |    42045     47 |     2783 |        0
936.22/936.58	c  935s |      20 |  1221272 |   933427 |    42045     47 |     2783 |        0
938.92/939.24	c  938s |      20 |  1221604 |   933727 |    42045     48 |     2783 |        0
940.92/941.27	c  940s |      20 |  1223202 |   935227 |    42045     48 |     2783 |        0
945.32/945.62	c  944s |      20 |  1223604 |   935627 |    42045     48 |     2783 |        0
947.32/947.68	c  946s |      20 |  1226887 |   938627 |    42045     48 |     2783 |        0
949.42/949.71	c  948s |      20 |  1229874 |   941227 |    42045     48 |     2783 |        0
951.42/951.77	c  950s |      20 |  1232521 |   943627 |    42045     48 |     2783 |        0
953.53/953.85	c  952s |      20 |  1235153 |   945927 |    42045     48 |     2783 |        0
955.52/955.89	c  954s |      20 |  1238219 |   948627 |    42045     48 |     2783 |        0
957.93/958.28	c  957s |      20 |  1239550 |   949827 |    42045     48 |     2783 |        0
961.32/961.70	c  960s |      20 |  1241067 |   951227 |    42045     48 |     2783 |        0
963.42/963.73	c  962s |      20 |  1243758 |   953527 |    42045     48 |     2783 |        0
965.42/965.79	c  964s |      20 |  1246971 |   956127 |    42045     48 |     2783 |        0
967.72/968.08	c  966s |      20 |  1247316 |   956427 |    42045     49 |     2783 |        0
969.81/970.12	c  968s |      20 |  1249963 |   958727 |    42045     49 |     2783 |        0
971.81/972.15	c  971s |      20 |  1254001 |   962127 |    42045     49 |     2783 |        0
973.92/974.21	c  973s |      20 |  1256116 |   964127 |    42045     49 |     2783 |        0
975.92/976.21	c  975s |      20 |  1259309 |   967027 |    42045     49 |     2783 |        0
977.92/978.27	c  977s |      20 |  1263348 |   970427 |    42045     49 |     2783 |        0
979.92/980.28	c  979s |      20 |  1267213 |   973827 |    42045     49 |     2783 |        0
982.02/982.32	c  981s |      20 |  1270523 |   976627 |    42045     49 |     2783 |        0
984.02/984.34	c  983s |      20 |  1273610 |   979127 |    42045     50 |     2783 |        0
989.01/989.32	c  988s |      20 |  1275232 |   980527 |    42045     50 |     2783 |        0
991.51/991.81	c  990s |      20 |  1275879 |   981127 |    42045     50 |     2783 |        0
993.51/993.84	c  992s |      20 |  1281575 |   985227 |    42045     50 |     2783 |        0
995.51/995.86	c  994s |      20 |  1286529 |   989227 |    42045     50 |     2783 |        0
997.52/997.87	c  996s |      20 |  1290690 |   992527 |    42045     50 |     2783 |        0
999.61/999.91	c  998s |      20 |  1295055 |   995927 |    46250     50 |     2783 |        0
1001.61/1001.95	c 1000s |      20 |  1299268 |   999127 |    46250     50 |     2783 |        0
1003.31/1003.62	c 1002s |      21 |  1300836 |  1000345 |    46250     50 |     2783 |        0
1012.01/1012.36	c 1011s |      21 |  1301079 |  1000445 |    46250     50 |     2783 |        0
1014.11/1014.40	c 1013s |      21 |  1304529 |  1002545 |    46250     50 |     2783 |        0
1016.11/1016.46	c 1015s |      21 |  1307488 |  1004645 |    46250     50 |     2783 |        0
1018.41/1018.73	c 1017s |      21 |  1308979 |  1005545 |    46250     51 |     2783 |        0
1020.41/1020.75	c 1019s |      21 |  1311544 |  1007145 |    46250     51 |     2783 |        0
1022.41/1022.77	c 1021s |      21 |  1315480 |  1010145 |    46250     51 |     2783 |        0
1024.41/1024.79	c 1023s |      21 |  1319748 |  1013045 |    46250     51 |     2783 |        0
1026.41/1026.80	c 1025s |      21 |  1323643 |  1015545 |    46250     51 |     2783 |        0
1028.50/1028.82	c 1027s |      21 |  1327169 |  1017845 |    46250     51 |     2783 |        0
1030.51/1030.84	c 1029s |      21 |  1330671 |  1020245 |    46250     51 |     2783 |        0
1032.61/1032.94	c 1031s |      21 |  1333905 |  1022745 |    46250     51 |     2783 |        0
1034.70/1035.00	c 1033s |      21 |  1336746 |  1024645 |    46250     51 |     2783 |        0
1036.70/1037.05	c 1035s |      21 |  1340093 |  1027445 |    46250     51 |     2783 |        0
1039.90/1040.29	c 1039s |      21 |  1343420 |  1030045 |    46250     52 |     2783 |        0
1042.10/1042.48	c 1041s |      21 |  1347077 |  1033145 |    46250     52 |     2783 |        0
1044.20/1044.53	c 1043s |      21 |  1351314 |  1036845 |    46250     52 |     2783 |        0
1046.20/1046.57	c 1045s |      21 |  1354888 |  1039945 |    46250     52 |     2783 |        0
1048.20/1048.58	c 1047s |      21 |  1356768 |  1041345 |    46250     52 |     2783 |        0
1050.30/1050.64	c 1049s |      21 |  1360105 |  1044045 |    46250     52 |     2783 |        0
1052.30/1052.68	c 1051s |      21 |  1363381 |  1046345 |    46250     52 |     2783 |        0
1054.30/1054.69	c 1053s |      21 |  1367079 |  1049145 |    46250     52 |     2783 |        0
1056.40/1056.75	c 1055s |      21 |  1370358 |  1051745 |    46250     52 |     2783 |        0
1058.50/1058.80	c 1057s |      21 |  1373921 |  1054545 |    46250     52 |     2783 |        0
1063.20/1063.51	c 1062s |      21 |  1375085 |  1055545 |    46250     53 |     2783 |        0
1065.20/1065.52	c 1064s |      21 |  1377003 |  1056945 |    46250     53 |     2783 |        0
1067.20/1067.56	c 1066s |      21 |  1380370 |  1059745 |    46250     53 |     2783 |        0
1069.20/1069.59	c 1068s |      21 |  1383979 |  1062845 |    46250     53 |     2783 |        0
1071.30/1071.65	c 1070s |      21 |  1387321 |  1065645 |    46250     53 |     2783 |        0
1073.40/1073.71	c 1072s |      21 |  1390337 |  1068145 |    46250     53 |     2783 |        0
1075.40/1075.79	c 1074s |      21 |  1393265 |  1070545 |    46250     53 |     2783 |        0
1077.50/1077.82	c 1076s |      21 |  1395955 |  1072845 |    46250     53 |     2783 |        0
1079.50/1079.87	c 1078s |      21 |  1398915 |  1075145 |    46250     53 |     2785 |        0
1081.60/1081.90	c 1080s |      21 |  1401722 |  1077445 |    46250     53 |     2785 |        0
1084.00/1084.36	c 1083s |      21 |  1404069 |  1079245 |    46250     54 |     2785 |        0
1088.10/1088.40	c 1087s |      21 |  1405054 |  1080045 |    46250     54 |     2785 |        0
1090.10/1090.46	c 1089s |      21 |  1409350 |  1083745 |    46250     54 |     2785 |        0
1101.69/1102.02	c 1100s |      21 |  1410739 |  1084945 |    46250     54 |     2785 |        0
1111.49/1111.89	c 1110s |      21 |  1411419 |  1085545 |    46250     54 |     2785 |        0
1117.79/1118.12	c 1116s |      21 |  1413805 |  1087845 |    46250     54 |     2785 |        0
1119.79/1120.19	c 1119s |      21 |  1415752 |  1089445 |    46250     54 |     2785 |        0
1121.89/1122.22	c 1121s |      21 |  1419553 |  1092545 |    46250     54 |     2785 |        0
1123.90/1124.27	c 1123s |      21 |  1423437 |  1095945 |    46250     54 |     2785 |        0
1125.89/1126.29	c 1125s |      21 |  1427083 |  1099145 |    46250     54 |     2785 |        0
1127.99/1128.33	c 1127s |      21 |  1430223 |  1101845 |    46250     54 |     2785 |        0
1130.09/1130.44	c 1129s |      21 |  1432520 |  1103845 |    46250     55 |     2785 |        0
1132.19/1132.59	c 1131s |      21 |  1434885 |  1106045 |    46250     55 |     2785 |        0
1134.39/1134.73	c 1133s |      21 |  1437765 |  1108445 |    46250     55 |     2785 |        0
1136.49/1136.80	c 1135s |      21 |  1440539 |  1110845 |    46250     55 |     2785 |        0
1138.49/1138.81	c 1137s |      21 |  1441455 |  1111645 |    46250     55 |     2785 |        0
1140.49/1140.89	c 1139s |      21 |  1444538 |  1114345 |    46250     55 |     2785 |        0
1142.59/1142.91	c 1141s |      21 |  1447574 |  1116945 |    46250     55 |     2785 |        0
1144.59/1144.92	c 1143s |      21 |  1450958 |  1119845 |    46250     55 |     2785 |        0
1146.58/1146.98	c 1145s |      21 |  1454399 |  1122745 |    46250     55 |     2785 |        0
1148.68/1149.07	c 1147s |      21 |  1456944 |  1124945 |    46250     55 |     2785 |        0
1150.78/1151.10	c 1149s |      21 |  1459487 |  1127145 |    46250     55 |     2785 |        0
1152.78/1153.14	c 1152s |      21 |  1460917 |  1128445 |    46250     56 |     2785 |        0
1157.59/1157.92	c 1156s |      21 |  1462297 |  1129645 |    46250     56 |     2785 |        0
1159.59/1159.98	c 1158s |      21 |  1465011 |  1132145 |    46250     56 |     2785 |        0
1161.69/1162.00	c 1160s |      21 |  1468844 |  1135445 |    46250     56 |     2785 |        0
1163.69/1164.09	c 1162s |      21 |  1471739 |  1138045 |    46250     56 |     2785 |        0
1165.79/1166.14	c 1165s |      21 |  1474439 |  1140545 |    46250     56 |     2785 |        0
1167.89/1168.21	c 1167s |      21 |  1477028 |  1142945 |    46250     56 |     2785 |        0
1169.99/1170.32	c 1169s |      21 |  1478890 |  1144645 |    46250     56 |     2785 |        0
1171.99/1172.37	c 1171s |      21 |  1480630 |  1146245 |    46250     56 |     2785 |        0
1174.09/1174.42	c 1173s |      21 |  1482201 |  1147745 |    46250     56 |     2785 |        0
1185.68/1186.09	c 1184s |      21 |  1482705 |  1147945 |    46250     56 |     2785 |        0
1187.78/1188.10	c 1186s |      21 |  1490504 |  1153745 |    46250     57 |     2785 |        0
1189.78/1190.17	c 1189s |      21 |  1496547 |  1157345 |    46250     57 |     2785 |        0
1191.78/1192.19	c 1191s |      21 |  1502049 |  1160845 |    46250     57 |     2785 |        0
1193.88/1194.23	c 1193s |      21 |  1507475 |  1165345 |    46250     57 |     2785 |        0
1195.88/1196.26	c 1195s |      21 |  1511449 |  1168645 |    46250     57 |     2785 |        0
1197.88/1198.30	c 1197s |      21 |  1514715 |  1171245 |    46250     57 |     2785 |        0
1199.97/1200.33	c 1199s |      21 |  1518071 |  1174045 |    46250     57 |     2785 |        0
1201.98/1202.36	c 1201s |      21 |  1521583 |  1176045 |    46250     57 |     2785 |        0
1204.18/1204.51	c 1203s |      21 |  1524735 |  1178445 |    46250     58 |     2785 |        0
1206.17/1206.55	c 1205s |      21 |  1527956 |  1180245 |    46250     58 |     2785 |        0
1208.27/1208.62	c 1207s |      21 |  1531382 |  1181945 |    46250     58 |     2785 |        0
1210.27/1210.68	c 1209s |      21 |  1533567 |  1183445 |    46250     58 |     2785 |        0
1212.37/1212.74	c 1211s |      21 |  1536350 |  1185045 |    46250     58 |     2785 |        0
1214.47/1214.84	c 1213s |      21 |  1538594 |  1186545 |    46250     58 |     2785 |        0
1216.47/1216.86	c 1215s |      21 |  1546787 |  1193545 |    46250     58 |     2785 |        0
1218.48/1218.87	c 1217s |      21 |  1552727 |  1198745 |    46250     58 |     2785 |        0
1220.57/1220.90	c 1219s |      21 |  1557612 |  1202945 |    46250     58 |     2785 |        0
1222.57/1222.91	c 1221s |      21 |  1562174 |  1207045 |    46250     59 |     2785 |        0
1224.67/1225.02	c 1223s |      21 |  1566608 |  1210945 |    46250     59 |     2785 |        0
1226.67/1227.09	c 1225s |      21 |  1569080 |  1213145 |    46250     59 |     2785 |        0
1228.77/1229.10	c 1227s |      21 |  1572404 |  1216145 |    46250     59 |     2785 |        0
1230.77/1231.12	c 1229s |      21 |  1576664 |  1219845 |    46250     59 |     2785 |        0
1232.78/1233.17	c 1232s |      21 |  1580024 |  1222845 |    46250     59 |     2785 |        0
1234.77/1235.18	c 1234s |      21 |  1582952 |  1225445 |    46250     59 |     2785 |        0
1236.87/1237.23	c 1236s |      21 |  1585769 |  1227945 |    46250     59 |     2785 |        0
1244.07/1244.44	c 1243s |      21 |  1586447 |  1228545 |    46250     60 |     2785 |        0
1246.47/1246.80	c 1245s |      21 |  1588038 |  1229945 |    46250     60 |     2785 |        0
1248.47/1248.82	c 1247s |      21 |  1590387 |  1232145 |    46250     60 |     2785 |        0
1250.67/1251.05	c 1249s |      21 |  1592962 |  1234645 |    46250     60 |     2785 |        0
1252.77/1253.10	c 1251s |      21 |  1594993 |  1236645 |    46250     60 |     2785 |        0
1254.77/1255.15	c 1254s |      21 |  1596936 |  1238545 |    46250     60 |     2785 |        0
1256.87/1257.21	c 1256s |      21 |  1598461 |  1240045 |    46250     60 |     2785 |        0
1258.97/1259.30	c 1258s |      21 |  1600387 |  1241945 |    46250     60 |     2785 |        0
1261.07/1261.41	c 1260s |      21 |  1602117 |  1243645 |    46250     60 |     2785 |        0
1263.07/1263.46	c 1262s |      21 |  1603654 |  1245145 |    46250     60 |     2785 |        0
1265.16/1265.58	c 1264s |      21 |  1605276 |  1246745 |    46250     60 |     2785 |        0
1267.26/1267.69	c 1266s |      21 |  1606954 |  1248345 |    46250     60 |     2785 |        0
1269.36/1269.77	c 1268s |      21 |  1608867 |  1250145 |    46250     60 |     2785 |        0
1271.46/1271.89	c 1270s |      21 |  1610735 |  1251845 |    46250     60 |     2785 |        0
1274.36/1274.70	c 1273s |      21 |  1612104 |  1253145 |    46250     61 |     2785 |        0
1276.97/1277.33	c 1276s |      21 |  1612622 |  1253645 |    46250     61 |     2785 |        0
1278.97/1279.40	c 1278s |      21 |  1614603 |  1255445 |    46250     61 |     2785 |        0
1281.06/1281.44	c 1280s |      21 |  1618927 |  1259245 |    46250     61 |     2785 |        0
1283.16/1283.51	c 1282s |      21 |  1621861 |  1261945 |    46250     61 |     2785 |        0
1285.16/1285.52	c 1284s |      21 |  1624540 |  1264545 |    46250     61 |     2785 |        0
1287.26/1287.61	c 1286s |      21 |  1628080 |  1267845 |    46250     61 |     2785 |        0
1297.46/1297.88	c 1296s |      21 |  1630143 |  1269645 |    46250     61 |     2785 |        0
1299.66/1300.03	c 1298s |      21 |  1631226 |  1270645 |    46250     61 |     2785 |        0
1301.86/1302.21	c 1301s |      21 |  1632340 |  1271745 |    46250     61 |     2785 |        0
1303.86/1304.27	c 1303s |      21 |  1633557 |  1272945 |    46250     61 |     2785 |        0
1306.06/1306.46	c 1305s |      21 |  1634592 |  1273945 |    46250     61 |     2785 |        0
1308.06/1308.47	c 1307s |      21 |  1635595 |  1274945 |    46250     61 |     2785 |        0
1310.16/1310.55	c 1309s |      21 |  1636609 |  1275945 |    46250     61 |     2785 |        0
1312.26/1312.66	c 1311s |      21 |  1637847 |  1277145 |    46250     61 |     2785 |        0
1314.57/1314.93	c 1313s |      21 |  1638782 |  1278045 |    46250     62 |     2785 |        0
1316.57/1316.95	c 1315s |      21 |  1639295 |  1278545 |    46250     62 |     2785 |        0
1318.67/1319.06	c 1317s |      21 |  1641413 |  1280645 |    46250     62 |     2785 |        0
1322.76/1323.18	c 1322s |      21 |  1641527 |  1280745 |    46250     62 |     2785 |        0
1324.76/1325.19	c 1324s |      21 |  1643305 |  1282445 |    46250     62 |     2785 |        0
1326.86/1327.22	c 1326s |      21 |  1645025 |  1284145 |    46250     62 |     2785 |        0
1328.86/1329.28	c 1328s |      21 |  1646483 |  1285545 |    46250     62 |     2785 |        0
1330.96/1331.36	c 1330s |      21 |  1648395 |  1287445 |    46250     62 |     2785 |        0
1333.06/1333.40	c 1332s |      21 |  1650204 |  1289245 |    46250     62 |     2785 |        0
1335.06/1335.44	c 1334s |      21 |  1652072 |  1291045 |    46250     62 |     2785 |        0
1345.46/1345.82	c 1344s |      21 |  1652999 |  1291945 |    46250     62 |     2785 |        0
1347.56/1347.91	c 1346s |      21 |  1654819 |  1293745 |    46250     62 |     2785 |        0
1349.56/1349.92	c 1348s |      21 |  1656746 |  1295645 |    46250     62 |     2785 |        0
1351.76/1352.18	c 1351s |      21 |  1658158 |  1297045 |    46250     62 |     2785 |        0
1353.86/1354.22	c 1353s |      21 |  1659169 |  1298045 |    46250     62 |     2785 |        0
1355.96/1356.40	c 1355s |      21 |  1660383 |  1299245 |    46250     62 |     2785 |        0
1358.26/1358.62	c 1357s |      21 |  1661290 |  1300145 |    46250     62 |     2785 |        0
1360.36/1360.79	c 1359s |      21 |  1661903 |  1300745 |    46250     62 |     2785 |        0
1362.56/1362.90	c 1361s |      21 |  1662816 |  1301645 |    46250     62 |     2785 |        0
1364.55/1364.95	c 1363s |      21 |  1663723 |  1302545 |    46250     62 |     2785 |        0
1367.45/1367.80	c 1366s |      21 |  1664124 |  1302945 |    46250     63 |     2785 |        0
1369.75/1370.14	c 1369s |      21 |  1664743 |  1303545 |    46250     63 |     2785 |        0
1371.85/1372.23	c 1371s |      21 |  1667553 |  1306245 |    46250     63 |     2785 |        0
1373.85/1374.26	c 1373s |      21 |  1670003 |  1308645 |    46250     63 |     2785 |        0
1375.95/1376.30	c 1375s |      21 |  1672264 |  1310845 |    46250     63 |     2785 |        0
1395.25/1395.65	c 1394s |      21 |  1673097 |  1311645 |    46250     63 |     2785 |        0
1397.35/1397.71	c 1396s |      21 |  1673817 |  1312345 |    46250     63 |     2785 |        0
1399.45/1399.82	c 1398s |      21 |  1674942 |  1313445 |    46250     63 |     2785 |        0
1401.55/1401.91	c 1400s |      21 |  1676468 |  1314945 |    46250     63 |     2785 |        0
1403.65/1404.00	c 1402s |      21 |  1678554 |  1316945 |    46250     63 |     2785 |        0
1405.75/1406.11	c 1404s |      21 |  1679765 |  1318145 |    46250     63 |     2785 |        0
1407.85/1408.20	c 1407s |      21 |  1680770 |  1319145 |    46250     63 |     2785 |        0
1409.86/1410.23	c 1409s |      21 |  1681571 |  1319945 |    46250     63 |     2785 |        0
1412.06/1412.44	c 1411s |      21 |  1682692 |  1321045 |    46250     63 |     2785 |        0
1414.26/1414.61	c 1413s |      21 |  1683610 |  1321945 |    46250     63 |     2785 |        0
1416.25/1416.63	c 1415s |      21 |  1684513 |  1322845 |    46250     63 |     2785 |        0
1418.35/1418.73	c 1417s |      21 |  1685424 |  1323745 |    46250     63 |     2785 |        0
1420.55/1420.97	c 1419s |      21 |  1686449 |  1324745 |    46250     63 |     2785 |        0
1422.75/1423.17	c 1422s |      21 |  1687362 |  1325645 |    46250     63 |     2785 |        0
1424.95/1425.35	c 1424s |      21 |  1688477 |  1326745 |    46250     63 |     2785 |        0
1427.05/1427.44	c 1426s |      21 |  1689276 |  1327545 |    46250     63 |     2785 |        0
1429.55/1429.96	c 1428s |      21 |  1689574 |  1327845 |    46250     64 |     2785 |        0
1431.74/1432.11	c 1430s |      21 |  1689883 |  1328145 |    46250     64 |     2785 |        0
1433.74/1434.18	c 1433s |      21 |  1691091 |  1329345 |    46250     64 |     2785 |        0
1435.84/1436.23	c 1435s |      21 |  1692990 |  1331245 |    46250     64 |     2785 |        0
1461.24/1461.64	c 1460s |      21 |  1693754 |  1331945 |    46250     64 |     2785 |        0
1463.24/1463.64	c 1462s |      21 |  1696174 |  1334245 |    46250     64 |     2785 |        0
1465.24/1465.69	c 1464s |      21 |  1700631 |  1338345 |    46250     64 |     2785 |        0
1467.34/1467.72	c 1466s |      21 |  1702943 |  1340645 |    46250     64 |     2785 |        0
1469.44/1469.84	c 1468s |      21 |  1705380 |  1342945 |    46250     64 |     2785 |        0
1471.54/1471.96	c 1470s |      21 |  1707098 |  1344645 |    46250     64 |     2785 |        0
1473.54/1473.97	c 1472s |      21 |  1708706 |  1346245 |    46250     64 |     2785 |        0
1475.63/1476.09	c 1474s |      21 |  1710115 |  1347645 |    46250     64 |     2785 |        0
1477.73/1478.18	c 1477s |      21 |  1711432 |  1348945 |    46250     64 |     2785 |        0
1479.93/1480.37	c 1479s |      21 |  1712555 |  1350045 |    46250     64 |     2785 |        0
1481.93/1482.38	c 1481s |      21 |  1714834 |  1352145 |    46250     64 |     2785 |        0
1485.94/1486.30	c 1485s |      21 |  1715813 |  1353045 |    46250     65 |     2785 |        0
1488.34/1488.72	c 1487s |      21 |  1715923 |  1353145 |    46250     65 |     2785 |        0
1490.44/1490.82	c 1489s |      21 |  1718154 |  1355345 |    46250     65 |     2785 |        0
1492.45/1492.88	c 1491s |      21 |  1720181 |  1357345 |    46250     65 |     2785 |        0
1494.54/1494.98	c 1493s |      21 |  1721908 |  1359045 |    46250     65 |     2785 |        0
1511.43/1511.86	c 1510s |      21 |  1723239 |  1360345 |    46250     65 |     2785 |        0
1513.63/1514.09	c 1512s |      21 |  1724432 |  1361445 |    46250     65 |     2785 |        0
1515.83/1516.26	c 1515s |      21 |  1725723 |  1362545 |    46250     65 |     2785 |        0
1517.93/1518.31	c 1517s |      21 |  1727068 |  1363845 |    46250     65 |     2785 |        0
1519.94/1520.35	c 1519s |      21 |  1728870 |  1365545 |    46250     65 |     2785 |        0
1522.04/1522.44	c 1521s |      21 |  1730379 |  1367045 |    46250     65 |     2785 |        0
1524.13/1524.54	c 1523s |      21 |  1731669 |  1368245 |    46250     65 |     2785 |        0
1526.13/1526.55	c 1525s |      21 |  1733191 |  1369745 |    46250     65 |     2785 |        0
1528.23/1528.63	c 1527s |      21 |  1735101 |  1371545 |    46250     65 |     2785 |        0
1530.23/1530.64	c 1529s |      21 |  1736844 |  1373245 |    46250     65 |     2785 |        0
1532.23/1532.66	c 1531s |      21 |  1738659 |  1375045 |    46250     65 |     2785 |        0
1534.24/1534.69	c 1533s |      21 |  1740468 |  1376845 |    46250     65 |     2785 |        0
1536.83/1537.28	c 1536s |      21 |  1741380 |  1377745 |    46250     66 |     2785 |        0
1538.83/1539.28	c 1538s |      21 |  1743390 |  1379745 |    46250     66 |     2785 |        0
1546.42/1546.82	c 1545s |      21 |  1744036 |  1380345 |    46250     66 |     2785 |        0
1548.43/1548.89	c 1547s |      21 |  1746238 |  1382545 |    46250     66 |     2785 |        0
1550.52/1550.96	c 1549s |      21 |  1747990 |  1384245 |    46250     66 |     2785 |        0
1552.62/1553.05	c 1551s |      21 |  1750294 |  1386545 |    46250     66 |     2785 |        0
1554.62/1555.10	c 1553s |      21 |  1751907 |  1388145 |    46250     66 |     2785 |        0
1556.72/1557.14	c 1556s |      21 |  1753713 |  1389945 |    46250     66 |     2785 |        0
1558.82/1559.20	c 1558s |      21 |  1755107 |  1391345 |    46250     66 |     2785 |        0
1560.82/1561.22	c 1560s |      21 |  1756621 |  1392745 |    46250     66 |     2785 |        0
1562.92/1563.30	c 1562s |      21 |  1758327 |  1394445 |    46250     66 |     2785 |        0
1564.93/1565.34	c 1564s |      21 |  1759527 |  1395645 |    46250     66 |     2785 |        0
1567.13/1567.59	c 1566s |      21 |  1760688 |  1396745 |    46250     66 |     2785 |        0
1569.33/1569.73	c 1568s |      21 |  1762491 |  1398545 |    46250     66 |     2785 |        0
1571.42/1571.81	c 1570s |      21 |  1763700 |  1399745 |    46250     66 |     2785 |        0
1573.42/1573.84	c 1572s |      21 |  1765009 |  1401045 |    46250     66 |     2785 |        0
1589.82/1590.29	c 1589s |      21 |  1765462 |  1401445 |    46250     66 |     2785 |        0
1592.22/1592.63	c 1591s |      21 |  1766203 |  1402145 |    46250     66 |     2785 |        0
1597.32/1597.77	c 1596s |      21 |  1766610 |  1402545 |    46250     67 |     2785 |        0
1599.52/1599.92	c 1598s |      21 |  1767863 |  1403645 |    46250     67 |     2785 |        0
1601.52/1601.93	c 1600s |      21 |  1769674 |  1405445 |    46250     67 |     2785 |        0
1603.52/1603.95	c 1602s |      21 |  1770119 |  1405845 |    46250     67 |     2785 |        0
1605.62/1606.01	c 1604s |      21 |  1771846 |  1407445 |    46250     67 |     2785 |        0
1607.61/1608.03	c 1606s |      21 |  1773062 |  1408645 |    46250     67 |     2785 |        0
1609.61/1610.09	c 1608s |      21 |  1774781 |  1410345 |    46250     67 |     2785 |        0
1611.71/1612.14	c 1611s |      21 |  1776409 |  1411945 |    46250     67 |     2785 |        0
1615.52/1615.98	c 1614s |      21 |  1777810 |  1413345 |    46250     67 |     2785 |        0
1617.72/1618.16	c 1617s |      21 |  1778617 |  1414145 |    46250     67 |     2785 |        0
1619.82/1620.28	c 1619s |      21 |  1779931 |  1415345 |    46250     67 |     2785 |        0
1621.91/1622.34	c 1621s |      21 |  1781629 |  1416945 |    46250     67 |     2785 |        0
1623.91/1624.37	c 1623s |      21 |  1783287 |  1418545 |    46250     67 |     2785 |        0
1626.01/1626.49	c 1625s |      21 |  1784708 |  1419945 |    46250     67 |     2785 |        0
1628.11/1628.54	c 1627s |      21 |  1786076 |  1421245 |    46250     67 |     2785 |        0
1630.11/1630.54	c 1629s |      21 |  1787189 |  1422345 |    46250     67 |     2785 |        0
1632.31/1632.70	c 1631s |      21 |  1788640 |  1423745 |    46250     67 |     2785 |        0
1634.32/1634.78	c 1633s |      21 |  1790090 |  1425145 |    46250     67 |     2785 |        0
1636.52/1636.93	c 1635s |      21 |  1791804 |  1426745 |    46250     67 |     2785 |        0
1638.82/1639.24	c 1638s |      21 |  1792602 |  1427445 |    46250     68 |     2785 |        0
1640.82/1641.28	c 1640s |      21 |  1794676 |  1429245 |    46250     68 |     2785 |        0
1642.92/1643.32	c 1642s |      21 |  1795835 |  1430245 |    46250     68 |     2785 |        0
1645.02/1645.44	c 1644s |      21 |  1797523 |  1431845 |    46250     68 |     2785 |        0
1647.11/1647.52	c 1646s |      21 |  1799563 |  1433745 |    46250     68 |     2785 |        0
1649.31/1649.74	c 1648s |      21 |  1801756 |  1435645 |    46250     68 |     2785 |        0
1651.41/1651.85	c 1650s |      21 |  1803206 |  1437045 |    46250     68 |     2785 |        0
1653.41/1653.86	c 1652s |      21 |  1804786 |  1438545 |    46250     68 |     2785 |        0
1655.51/1655.91	c 1654s |      21 |  1806653 |  1440345 |    46250     68 |     2785 |        0
1657.61/1658.04	c 1656s |      21 |  1808680 |  1442245 |    46250     68 |     2785 |        0
1669.52/1669.91	c 1668s |      21 |  1809004 |  1442545 |    46250     68 |     2785 |        0
1671.51/1671.92	c 1670s |      21 |  1810885 |  1444245 |    46250     68 |     2785 |        0
1673.61/1674.01	c 1672s |      21 |  1812674 |  1445945 |    46250     68 |     2785 |        0
1675.71/1676.13	c 1674s |      21 |  1814235 |  1447445 |    46250     68 |     2785 |        0
1677.81/1678.23	c 1677s |      21 |  1815615 |  1448745 |    46250     68 |     2785 |        0
1679.81/1680.27	c 1679s |      21 |  1816938 |  1450045 |    46250     68 |     2785 |        0
1681.91/1682.39	c 1681s |      21 |  1818386 |  1451445 |    46250     68 |     2785 |        0
1684.51/1684.94	c 1683s |      21 |  1819195 |  1452245 |    46250     69 |     2785 |        0
1686.81/1687.20	c 1686s |      21 |  1820478 |  1453445 |    46250     69 |     2785 |        0
1688.91/1689.31	c 1688s |      21 |  1822275 |  1455045 |    46250     69 |     2785 |        0
1690.91/1691.33	c 1690s |      21 |  1824251 |  1456845 |    46250     69 |     2785 |        0
1692.90/1693.39	c 1692s |      21 |  1826278 |  1458645 |    46250     69 |     2785 |        0
1695.00/1695.45	c 1694s |      21 |  1827839 |  1460145 |    46250     69 |     2785 |        0
1704.11/1704.52	c 1703s |      21 |  1829142 |  1461345 |    46250     69 |     2785 |        0
1706.10/1706.53	c 1705s |      21 |  1833327 |  1464845 |    46250     69 |     2785 |        0
1708.10/1708.58	c 1707s |      21 |  1840533 |  1470645 |    46250     69 |     2785 |        0
1712.31/1712.76	c 1711s |      21 |  1841460 |  1471445 |    46250     69 |     2785 |        0
1714.30/1714.79	c 1713s |      21 |  1845718 |  1474645 |    46250     69 |     2785 |        0
1716.50/1716.92	c 1715s |      21 |  1849417 |  1477145 |    46250     70 |     2785 |        0
1718.50/1718.96	c 1717s |      21 |  1854808 |  1479845 |    46250     70 |     2785 |        0
1720.50/1720.97	c 1719s |      21 |  1859765 |  1482245 |    46250     70 |     2785 |        0
1722.50/1722.99	c 1721s |      21 |  1865483 |  1484645 |    46250     70 |     2785 |        0
1724.59/1725.05	c 1723s |      21 |  1871366 |  1486945 |    46250     70 |     2785 |        0
1726.60/1727.07	c 1725s |      21 |  1877126 |  1489245 |    46250     70 |     2785 |        0
1728.69/1729.13	c 1727s |      21 |  1881912 |  1491245 |    50876     70 |     2785 |        0
1730.69/1731.19	c 1730s |      21 |  1887513 |  1493345 |    50876     70 |     2785 |        0
1732.79/1733.25	c 1732s |      21 |  1893080 |  1495345 |    50876     70 |     2785 |        0
1734.89/1735.34	c 1734s |      21 |  1896558 |  1497445 |    50876     70 |     2785 |        0
1736.90/1737.37	c 1736s |      21 |  1899699 |  1499445 |    50876     70 |     2785 |        0
1738.20/1738.60	c 1737s |      22 |  1901775 |  1500622 |    50876     70 |     2785 |        0
1749.19/1749.66	c 1748s |      22 |  1902024 |  1500722 |    50876     70 |     2811 |        0
1752.09/1752.54	c 1751s |      22 |  1902292 |  1500922 |    50876     70 |     2811 |        0
1754.10/1754.55	c 1753s |      22 |  1904434 |  1502722 |    50876     70 |     2811 |        0
1756.10/1756.56	c 1755s |      22 |  1910319 |  1507622 |    50876     71 |     2811 |        0
1758.10/1758.56	c 1757s |      22 |  1914822 |  1511422 |    50876     71 |     2811 |        0
1760.10/1760.58	c 1759s |      22 |  1918459 |  1514522 |    50876     71 |     2811 |        0
1762.10/1762.59	c 1761s |      22 |  1922326 |  1517722 |    50876     71 |     2811 |        0
1764.19/1764.67	c 1763s |      22 |  1926170 |  1520922 |    50876     71 |     2811 |        0
1766.20/1766.69	c 1765s |      22 |  1929415 |  1523522 |    50876     71 |     2811 |        0
1768.29/1768.73	c 1767s |      22 |  1932825 |  1526122 |    50876     71 |     2811 |        0
1770.29/1770.74	c 1769s |      22 |  1936461 |  1529022 |    50876     71 |     2811 |        0
1772.69/1773.13	c 1771s |      22 |  1937549 |  1530022 |    50876     71 |     2811 |        0
1774.79/1775.24	c 1774s |      22 |  1941314 |  1533522 |    50876     72 |     2811 |        0
1776.79/1777.26	c 1776s |      22 |  1944212 |  1535822 |    50876     72 |     2811 |        0
1778.79/1779.28	c 1778s |      22 |  1947695 |  1538522 |    50876     72 |     2811 |        0
1780.89/1781.34	c 1780s |      22 |  1950305 |  1540722 |    50876     72 |     2811 |        0
1782.89/1783.35	c 1782s |      22 |  1952786 |  1542822 |    50876     72 |     2811 |        0
1785.00/1785.42	c 1784s |      22 |  1955325 |  1545022 |    50876     72 |     2811 |        0
1786.99/1787.44	c 1786s |      22 |  1957771 |  1547022 |    50876     72 |     2811 |        0
1789.09/1789.50	c 1788s |      22 |  1959958 |  1548922 |    50876     72 |     2811 |        0
1791.09/1791.53	c 1790s |      22 |  1962152 |  1550822 |    50876     72 |     2811 |        0
1793.19/1793.63	c 1792s |      22 |  1964578 |  1553022 |    50876     72 |     2811 |        0
1795.29/1795.74	c 1794s |      22 |  1966557 |  1554722 |    50876     72 |     2811 |        0
1797.39/1797.80	c 1796s |      22 |  1968431 |  1556222 |    50876     72 |     2811 |        0
1799.89/1800.39	c 1799s |      22 |  1969751 |  1557222 |    50876     72 |     2811 |        0

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

pid=2458
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.11 2.09 2.04 4/179 2461
/proc/meminfo: memFree=30184756/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 2686 0 0 0 0 0 0 0 20 0 4 0 23203938 736555008 3046 33554432000 4194304 16246674 140736412386016 140736412385440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2461/statm: 180591 3056 441 2943 0 177485 0
[pid=2461/tid=2462] ppid=2458 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 755429376 3117 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 759623680 3133 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 763817984 3150 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.11 2.09 2.04 4/179 2461
/proc/meminfo: memFree=30184756/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 26600 0 0 0 5 4 0 0 20 0 4 0 23203938 1333334016 26899 33554432000 4194304 16246674 140736412386016 140736412385328 12752373 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2461/statm: 325521 26915 801 2943 0 322415 0
[pid=2461/tid=2462] ppid=2458 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1333334016 26926 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1333334016 26937 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1333334016 26948 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200562 s]
/proc/loadavg: 2.11 2.09 2.04 4/179 2461
/proc/meminfo: memFree=30184756/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 45015 0 0 0 11 8 0 0 20 0 4 0 23203938 1341722624 45313 33554432000 4194304 16246674 140736412386016 140736412385328 12449269 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2461/statm: 327569 45313 834 2943 0 324463 0
[pid=2461/tid=2462] ppid=2458 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1341722624 45313 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1341722624 45313 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1341722624 45313 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300446 s]
/proc/loadavg: 2.11 2.09 2.04 4/179 2461
/proc/meminfo: memFree=30184756/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1310276 CPUtime=0.29 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 65771 0 0 0 18 11 0 0 20 0 4 0 23203938 1341722624 66070 33554432000 4194304 16246674 140736412386016 140736412385328 13007928 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2461/statm: 327569 66088 834 2943 0 324463 0
[pid=2461/tid=2462] ppid=2458 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1341722624 66098 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1341722624 66109 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1341722624 66119 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1310276

[startup+0.700362 s]
/proc/loadavg: 2.11 2.09 2.04 4/179 2461
/proc/meminfo: memFree=30184756/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1310276 CPUtime=0.69 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 187960 0 0 0 42 27 0 0 20 0 4 0 23203938 1341722624 188258 33554432000 4194304 16246674 140736412386016 140736412367936 6958465 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2461/statm: 327569 188262 834 2943 0 324463 0
[pid=2461/tid=2462] ppid=2458 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1341722624 188272 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1341722624 188284 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1341722624 188299 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1310276

[startup+1.50036 s]
/proc/loadavg: 2.11 2.09 2.04 4/183 2465
/proc/meminfo: memFree=29091064/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1329732 CPUtime=1.49 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 273468 0 0 0 112 37 0 0 20 0 4 0 23203938 1361645568 273766 33554432000 4194304 16246674 140736412386016 140736412367936 5712555 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2461/statm: 332433 273766 886 2943 0 329327 0
[pid=2461/tid=2462] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273766 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273766 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273766 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1329732

[startup+3.10037 s]
/proc/loadavg: 2.10 2.09 2.04 3/183 2465
/proc/meminfo: memFree=29090368/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1329732 CPUtime=3.09 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 273619 0 0 0 272 37 0 0 20 0 4 0 23203938 1361645568 273917 33554432000 4194304 16246674 140736412386016 140736412367936 13774516 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2461/statm: 332433 273917 889 2943 0 329327 0
[pid=2461/tid=2462] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273917 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273917 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273917 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1329732

[startup+6.30037 s]
/proc/loadavg: 2.10 2.09 2.04 3/183 2465
/proc/meminfo: memFree=29089636/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1329732 CPUtime=6.29 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 273624 0 0 0 592 37 0 0 20 0 4 0 23203938 1361645568 273922 33554432000 4194304 16246674 140736412386016 140736412367936 5822604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2461/statm: 332433 273922 893 2943 0 329327 0
[pid=2461/tid=2462] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273922 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273922 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273922 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1329732

[startup+12.7004 s]
/proc/loadavg: 2.08 2.09 2.04 3/183 2465
/proc/meminfo: memFree=29089284/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1329732 CPUtime=12.68 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 273633 0 0 0 1231 37 0 0 20 0 4 0 23203938 1361645568 273931 33554432000 4194304 16246674 140736412386016 140736412367936 6022439 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2461/statm: 332433 273931 899 2943 0 329327 0
[pid=2461/tid=2462] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273931 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273931 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273931 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1329732

[startup+25.5004 s]
/proc/loadavg: 2.07 2.08 2.04 3/183 2465
/proc/meminfo: memFree=29090252/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1329732 CPUtime=25.48 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 273634 0 0 0 2511 37 0 0 20 0 4 0 23203938 1361645568 273932 33554432000 4194304 16246674 140736412386016 140736412367936 5823238 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2461/statm: 332433 273932 900 2943 0 329327 0
[pid=2461/tid=2462] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273932 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273932 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1361645568 273932 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1329732

[startup+51.1004 s]
/proc/loadavg: 2.05 2.08 2.03 3/183 2466
/proc/meminfo: memFree=29057100/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1362500 CPUtime=51.07 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 281826 0 0 0 5068 39 0 0 20 0 4 0 23203938 1395200000 282124 33554432000 4194304 16246674 140736412386016 140736412385112 13198582 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2461/statm: 340625 282124 900 2943 0 337519 0
[pid=2461/tid=2462] ppid=2458 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1395200000 282124 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1395200000 282124 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1395200000 282124 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1362500

[startup+102.301 s]
/proc/loadavg: 2.08 2.08 2.03 3/184 2470
/proc/meminfo: memFree=29052016/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1367620 CPUtime=102.26 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 283106 0 0 0 10185 41 0 0 20 0 4 0 23203938 1400442880 283404 33554432000 4194304 16246674 140736412386016 140736412383808 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2461/statm: 341905 283404 900 2943 0 338799 0
[pid=2461/tid=2462] ppid=2458 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1400442880 283404 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1400442880 283404 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1400442880 283404 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1367620


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

/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1411652

[startup+1362.3 s]
/proc/loadavg: 2.03 2.12 2.09 3/184 2574
/proc/meminfo: memFree=28900308/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1411652 CPUtime=1361.95 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 294333 0 0 0 136119 76 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 140736412367936 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2461/statm: 352913 294668 900 2943 0 349807 0
[pid=2461/tid=2462] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1411652

[startup+1422.3 s]
/proc/loadavg: 2.18 2.14 2.09 3/184 2575
/proc/meminfo: memFree=28901116/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1411652 CPUtime=1421.95 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 294333 0 0 0 142117 78 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 140736412367936 5823600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2461/statm: 352913 294668 900 2943 0 349807 0
[pid=2461/tid=2462] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1411652

[startup+1482.3 s]
/proc/loadavg: 2.36 2.20 2.12 3/184 2576
/proc/meminfo: memFree=28900780/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1411652 CPUtime=1481.93 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 294333 0 0 0 148112 81 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 140736412367936 5824031 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2461/statm: 352913 294668 900 2943 0 349807 0
[pid=2461/tid=2462] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1411652

[startup+1542.31 s]
/proc/loadavg: 2.32 2.21 2.12 3/184 2577
/proc/meminfo: memFree=28900700/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1411652 CPUtime=1541.94 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 294333 0 0 0 154110 84 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 140736412383872 13898688 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2461/statm: 352913 294668 900 2943 0 349807 0
[pid=2461/tid=2462] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1411652

[startup+1602.3 s]
/proc/loadavg: 2.27 2.21 2.12 3/184 2579
/proc/meminfo: memFree=28891312/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1411652 CPUtime=1601.92 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 294333 0 0 0 160106 86 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 140736412369016 4206864 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2461/statm: 352913 294668 900 2943 0 349807 0
[pid=2461/tid=2462] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1411652

[startup+1662.3 s]
/proc/loadavg: 2.26 2.22 2.13 3/184 2580
/proc/meminfo: memFree=28891804/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1411652 CPUtime=1661.91 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 294333 0 0 0 166103 88 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 140736412385192 13897190 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2461/statm: 352913 294668 900 2943 0 349807 0
[pid=2461/tid=2462] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1411652

[startup+1722.3 s]
/proc/loadavg: 2.29 2.23 2.14 3/184 2581
/proc/meminfo: memFree=28891964/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1411652 CPUtime=1721.9 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 294333 0 0 0 172100 90 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 140736412367936 5712771 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2461/statm: 352913 294668 900 2943 0 349807 0
[pid=2461/tid=2462] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1411652

[startup+1782.3 s]
/proc/loadavg: 2.14 2.20 2.13 3/184 2582
/proc/meminfo: memFree=28891824/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1411652 CPUtime=1781.89 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 294333 0 0 0 178097 92 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 140736412367936 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2461/statm: 352913 294668 900 2943 0 349807 0
[pid=2461/tid=2462] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1411652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.18 2.21 2.13 3/189 2723
/proc/meminfo: memFree=28861084/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1411652 CPUtime=1800.09 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 294333 0 0 0 179917 92 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 140736412385112 12483300 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2461/statm: 352913 294668 900 2943 0 349807 0
[pid=2461/tid=2462] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1411652

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

[startup+1800.5 s]
/proc/loadavg: 2.18 2.21 2.13 3/189 2723
/proc/meminfo: memFree=28861084/32872528 swapFree=681964/737152
[pid=2461] ppid=2458 vsize=1411652 CPUtime=1800.09 cores=0,2,4,6
/proc/2461/stat : 2461 (toysat) R 2458 2461 1377 0 -1 4202496 294333 0 0 0 179917 92 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 140736412385112 12483300 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2461/statm: 352913 294668 900 2943 0 349807 0
[pid=2461/tid=2462] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2462/stat : 2462 (toysat) S 2458 2461 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898855075056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2461/tid=2463] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2463/stat : 2463 (toysat) S 2458 2461 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898844585200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2461/tid=2464] ppid=2458 vsize=1411652 CPUtime=0 cores=0,2,4,6
/proc/2461/task/2464/stat : 2464 (toysat) S 2458 2461 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203938 1445531648 294668 33554432000 4194304 16246674 140736412386016 139898761768112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1411652

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.18
CPU system time (s): 0.926859
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 1411652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 0.926859
maximum resident set size= 1178672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294333
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= 237
involuntary context switches= 1892

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0397 second user time and 14.2838 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 02:59:07
IDJOB=4100137
IDBENCH=1578
IDSOLVER=2542
FILE ID=node112/4100137-1466211547
RUNJOBID= node112-1466206100-1394
PBS_JOBID= 19918164
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100137-1466211547/watcher-4100137-1466211547 -o /tmp/evaluation-result-4100137-1466211547/solver-4100137-1466211547 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100137-1466211547.opb

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

MD5SUM BENCH= 908b859aa6cb5be1c335ba1e4149146b
RANDOM SEED=575870851

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30185020 kB
Buffers:           43608 kB
Cached:           105520 kB
SwapCached:         1940 kB
Active:          1176764 kB
Inactive:          68484 kB
Active(anon):    1097408 kB
Inactive(anon):     1528 kB
Active(file):      79356 kB
Inactive(file):    66956 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096920 kB
Dirty:             16724 kB
Writeback:             0 kB
AnonPages:       1789496 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             570504 kB
SReclaimable:      14640 kB
SUnreclaim:       555864 kB
KernelStack:        1520 kB
PageTables:         7424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1975588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 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= 71676 MiB
End job on node112 at 2016-06-18 03:29:08