Trace number 4097898

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_8.opb
MD5SUMfe151e39412ca279581ad7c1e85ba474
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark14.8047
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5256
Total number of constraints25637
Number of constraints which are clauses25632
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint72
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 80
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-17T01:12:24+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-4097898-1466118744.opb"]
0.00/0.01	c use --random-gen="2812751841 214374708 3226863648 2310764307 61656951 882251418 1468205033 3662357441 2843180145 2976337179 2339973988 1262311171 3380557908 3588989849 728545434 1296085923 1457172087 2921479886 1644708913 4023320267 2761215260 2593070352 1098189270 3685120135 2220144150 4081733566 2127269069 1523960387 2161439143 2270924901 594575719 694891290 4194005183 384205785 3263175338 3731838756 902022851 821302564 1796268995 1695612250 2733734732 679848825 802029924 1022962705 3321565537 3289998993 580837227 2730910806 119225145 557899632 3075181101 1686123869 1446091985 619942725 2383338886 2467504150 753865363 3965664096 2305856926 2846853349 653339801 2876162974 2646339316 1184633879 3261376146 1729526850 1376748057 1679501131 1793432687 1330705832 521609413 3564034457 1526366101 2723282222 219462952 1991349033 3108884937 2983006798 2549409246 1024309951 1759313179 3938862021 1185072396 1491410585 2974189866 2940547108 861654919 253027231 533890801 2427501571 3082900411 2735597369 1741745893 2244046622 313307027 216217422 1834749217 1927882830 1802747537 324521267 2639011506 960218012 3957112521 4034574729 3887829327 490978977 2083465415 1441249921 2831191973 3374253907 630244401 977435379 3372890832 1399707739 1140348139 1057761053 1112118770 3714836993 3763582490 3511764928 440912440 8190716 3602839262 2352510359 2495415402 3118145675 767744477 3821333503 3421182272 351899291 1332401541 243154530 1405375014 270495856 3431625850 617227676 3841514510 2375574273 2792696076 273938098 2270187406 2288352911 3799290520 1417144678 1478897216 3020743590 975705608 3836273284 2058946439 1280675812 3165472330 2880331137 1991276290 3877072332 263739637 1486734534 3511064387 1553332200 2649244062 1591111811 453479394 59462343 4159898627 610949102 2571798668 832310371 2489715601 797022467 929460934 2151145166 4194962088 2816501427 462453142 3181724059 1091305509 2318710278 2105153821 4189224495 4195660874 2739903787 1933267957 4229400521 3666805644 1141802421 1974477001 1168180853 2726305180 3153384229 2427588517 1699688377 3082974397 2884161815 3527035318 270619858 2934657752 919699264 2780336063 1245033827 91718081 4207448784 867321798 4194278357 2976970008 2130189708 1922381263 3333077928 514004875 4028167928 1019424508 1042278098 2873458920 1644900534 3555425527 2222992950 1529077160 3207875099 1233414834 2685529301 3844815406 243319014 2821221362 4011189652 1505277488 2210587787 2463622150 3142301141 3480337447 620509215 1095795230 1316614947 2084098931 3927149182 3297691120 92850414 1225776362 2966322309 1280707482 2213550788 1160991287 1802360714 1517609881 2430709855 1514427050 225749967 335677871 2678916563 1525491192 760831839 3329010005 4066613539 39570359 2335343573 4050820176 858749024 3743468768 3343192626 255 362436" option to reproduce the execution
0.59/0.68	c #vars 5256
0.59/0.68	c #constraints 25637
1.89/1.90	c Solving starts ...
1.89/1.90	c ============================[ Search Statistics ]============================
1.89/1.90	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.89/1.90	c       |         |          |          |    Limit     GC | Var      | Constra 
1.89/1.90	c =============================================================================
1.89/1.90	c  0.0s |       0 |        0 |        0 |    10296      0 |        5 |        0
2.29/2.37	c  0.5s |       1 |     1708 |      100 |    10296      0 |        5 |      632
2.99/3.08	c  1.2s |       2 |     5003 |      250 |    11326      0 |        5 |      632
3.69/3.74	c  1.8s |       3 |     6962 |      475 |    12459      0 |        5 |      632
4.79/4.89	c  3.0s |       4 |    11387 |      813 |    13705      0 |        5 |      632
6.49/6.57	c  4.7s |       5 |    16083 |     1320 |    15076      0 |        5 |      632
8.48/8.58	c  6.7s |       6 |    19809 |     2081 |    18243      0 |        5 |      632
10.68/10.72	c  8.8s |       6 |    25912 |     2781 |    18243      0 |        5 |      632
11.98/12.01	c 10.1s |       7 |    27284 |     3223 |    20068      0 |        5 |      632
14.18/14.25	c 12.3s |       7 |    32114 |     3823 |    20068      0 |        5 |      632
16.28/16.35	c 14.5s |       7 |    36484 |     4623 |    20068      0 |        5 |      632
17.38/17.43	c 15.5s |       8 |    37988 |     4936 |    22075      0 |        5 |      632
19.68/19.77	c 17.9s |       8 |    42643 |     5436 |    22075      0 |        5 |      632
21.99/22.03	c 20.1s |       8 |    49037 |     6036 |    22075      0 |        5 |      632
24.19/24.28	c 22.4s |       8 |    54314 |     6836 |    22075      0 |        5 |      632
26.28/26.32	c 24.4s |       9 |    60730 |     7506 |    24283      0 |        5 |      632
28.38/28.49	c 26.6s |       9 |    65095 |     8006 |    24283      0 |        5 |      632
30.48/30.57	c 28.7s |       9 |    70157 |     8506 |    24283      0 |        5 |      632
32.58/32.66	c 30.8s |       9 |    75895 |     9106 |    24283      0 |        5 |      632
34.78/34.89	c 33.0s |       9 |    80041 |     9806 |    24283      0 |        5 |      632
37.18/37.24	c 35.3s |       9 |    85508 |    10406 |    24283      0 |        5 |      632
39.28/39.37	c 37.5s |       9 |    92073 |    10906 |    24283      0 |        5 |      632
40.58/40.69	c 38.8s |      10 |    95600 |    11361 |    26712      0 |        5 |      632
42.78/42.86	c 41.0s |      10 |   104265 |    11861 |    26712      0 |        5 |      632
44.78/44.87	c 43.0s |      10 |   113206 |    12761 |    26712      0 |        5 |      632
46.88/46.93	c 45.0s |      10 |   123646 |    13461 |    26712      0 |        5 |      632
48.98/49.08	c 47.2s |      10 |   131748 |    14361 |    26712      0 |        5 |      632
51.08/51.16	c 49.3s |      10 |   141994 |    14961 |    26712      0 |        5 |      632
53.38/53.42	c 51.5s |      10 |   146638 |    15461 |    26712      0 |        5 |      632
55.58/55.69	c 53.8s |      10 |   156355 |    16061 |    26712      0 |        5 |      632
57.98/58.01	c 56.1s |      10 |   163411 |    16961 |    26712      0 |        5 |      632
58.59/58.64	c 56.7s |      11 |   165965 |    17144 |    29384      0 |        5 |      632
60.88/60.96	c 59.1s |      11 |   173152 |    17644 |    29384      0 |        5 |      632
63.08/63.11	c 61.2s |      11 |   178724 |    18244 |    29384      0 |        5 |      632
65.18/65.30	c 63.4s |      11 |   183693 |    18944 |    29384      0 |        5 |      632
67.48/67.55	c 65.6s |      11 |   191027 |    19544 |    29384      0 |        5 |      632
69.48/69.59	c 67.7s |      11 |   197281 |    20044 |    29384      0 |        5 |      632
71.68/71.73	c 69.8s |      11 |   200887 |    20644 |    29384      0 |        5 |      632
73.88/73.92	c 72.0s |      11 |   205834 |    21344 |    29384      0 |        5 |      632
75.89/75.93	c 74.0s |      11 |   212090 |    21844 |    29384      0 |        5 |      632
77.98/78.08	c 76.2s |      11 |   217560 |    22544 |    29384      0 |        5 |      632
79.98/80.10	c 78.2s |      11 |   223938 |    23144 |    29384      0 |        5 |      632
82.08/82.16	c 80.3s |      11 |   230771 |    23644 |    29384      0 |        5 |      632
84.28/84.32	c 82.4s |      11 |   234668 |    24344 |    29384      0 |        5 |      632
86.28/86.38	c 84.5s |      11 |   240165 |    24944 |    29384      0 |        5 |      632
88.48/88.59	c 86.7s |      11 |   246003 |    25444 |    29384      0 |        5 |      632
89.48/89.51	c 87.6s |      12 |   248830 |    25819 |    32323      0 |        5 |      632
91.68/91.73	c 89.8s |      12 |   252096 |    26419 |    32323      0 |        5 |      632
93.78/93.86	c 92.0s |      12 |   256671 |    27019 |    32323      0 |        5 |      632
95.88/95.92	c 94.0s |      12 |   260031 |    27419 |    32323      0 |        5 |      632
98.08/98.13	c 96.2s |      12 |   263852 |    27919 |    32323      0 |        5 |      632
100.08/100.16	c 98.3s |      12 |   267541 |    28619 |    32323      0 |        5 |      632
102.28/102.40	c  100s |      12 |   274865 |    29219 |    32323      0 |        5 |      632
104.58/104.67	c  102s |      12 |   279933 |    29719 |    32323      0 |        5 |      632
106.68/106.78	c  104s |      12 |   285136 |    30319 |    32323      0 |        5 |      632
108.88/108.98	c  107s |      12 |   289370 |    30919 |    32323      0 |        5 |      632
111.28/111.34	c  109s |      12 |   294302 |    31419 |    32323      0 |        5 |      632
113.28/113.37	c  111s |      12 |   299422 |    32019 |    32323      0 |        5 |      632
115.58/115.68	c  113s |      12 |   303551 |    32619 |    32323      0 |        5 |      632
117.68/117.77	c  115s |      12 |   310512 |    33119 |    32323      0 |        5 |      632
119.98/120.10	c  118s |      12 |   315141 |    33619 |    32323      0 |        5 |      632
122.18/122.22	c  120s |      12 |   319690 |    34219 |    32323      1 |        5 |      632
124.17/124.26	c  122s |      12 |   324726 |    34819 |    32323      1 |        5 |      632
126.37/126.43	c  124s |      12 |   330903 |    35619 |    32323      1 |        5 |      632
128.57/128.62	c  126s |      12 |   335090 |    36219 |    32323      1 |        5 |      632
130.77/130.85	c  128s |      12 |   338374 |    36819 |    32323      1 |        5 |      632
133.18/133.23	c  131s |      12 |   343426 |    37519 |    32323      1 |        5 |      632
135.28/135.30	c  133s |      12 |   349336 |    38219 |    32323      1 |        5 |      632
136.77/136.81	c  134s |      13 |   354281 |    38832 |    35556      1 |        5 |      632
138.87/138.98	c  137s |      13 |   360804 |    39632 |    35556      1 |        5 |      632
140.97/141.04	c  139s |      13 |   364380 |    40232 |    35556      1 |        5 |      632
143.17/143.23	c  141s |      13 |   370001 |    41032 |    35556      1 |        5 |      632
145.37/145.47	c  143s |      13 |   374588 |    41832 |    35556      1 |        5 |      632
147.57/147.60	c  145s |      13 |   376391 |    42432 |    35556      1 |        5 |      632
149.87/149.90	c  147s |      13 |   379366 |    43132 |    35556      1 |        5 |      632
151.87/151.95	c  150s |      13 |   382053 |    43732 |    35556      1 |        5 |      632
153.87/153.96	c  152s |      13 |   385706 |    44532 |    35556      1 |        5 |      632
156.37/156.46	c  154s |      13 |   388876 |    45332 |    35556      1 |        5 |      632
158.77/158.85	c  156s |      13 |   394458 |    45732 |    35556      1 |        5 |      632
160.97/161.01	c  159s |      13 |   401172 |    46232 |    35556      1 |        5 |      632
163.17/163.27	c  161s |      13 |   406703 |    46932 |    35556      1 |        5 |      632
165.46/165.50	c  163s |      13 |   415234 |    47632 |    35556      1 |        5 |      632
167.66/167.76	c  165s |      13 |   421232 |    48132 |    35556      1 |        5 |      632
169.86/169.92	c  168s |      13 |   426956 |    48632 |    35556      1 |        5 |      632
171.86/171.98	c  170s |      13 |   431261 |    49332 |    35556      1 |        5 |      632
173.96/174.04	c  172s |      13 |   437282 |    49832 |    35556      1 |        5 |      632
176.26/176.38	c  174s |      13 |   443178 |    50332 |    35556      1 |        5 |      632
178.46/178.54	c  176s |      13 |   448168 |    51132 |    35556      1 |        5 |      632
180.66/180.80	c  178s |      13 |   454477 |    51732 |    35556      1 |        5 |      632
182.86/182.95	c  181s |      13 |   459480 |    52232 |    35556      1 |        5 |      632
184.96/185.00	c  183s |      13 |   463839 |    53032 |    35556      1 |        5 |      632
186.97/187.08	c  185s |      13 |   470713 |    53532 |    35556      2 |        5 |      632
189.17/189.28	c  187s |      13 |   478455 |    54432 |    35556      2 |        5 |      632
191.47/191.55	c  189s |      13 |   486045 |    55132 |    35556      2 |        5 |      632
193.57/193.64	c  191s |      13 |   493377 |    55732 |    35556      2 |        5 |      632
195.66/195.70	c  193s |      13 |   499527 |    56532 |    35556      2 |        5 |      632
197.76/197.81	c  195s |      13 |   506105 |    57232 |    35556      2 |        5 |      632
200.06/200.12	c  198s |      13 |   513402 |    58032 |    39112      2 |        5 |      632
201.06/201.11	c  199s |      14 |   517194 |    58352 |    39112      2 |        5 |      632
203.16/203.24	c  201s |      14 |   522321 |    58952 |    39112      2 |        5 |      632
205.36/205.48	c  203s |      14 |   529903 |    59752 |    39112      2 |        5 |      632
207.36/207.48	c  205s |      14 |   536118 |    60452 |    39112      2 |        5 |      632
209.46/209.59	c  207s |      14 |   543783 |    61252 |    39112      2 |        5 |      632
211.66/211.73	c  209s |      14 |   550834 |    62152 |    39112      2 |        5 |      632
213.86/213.98	c  212s |      14 |   560597 |    62952 |    39112      2 |        5 |      632
216.06/216.18	c  214s |      14 |   567303 |    63852 |    39112      2 |        5 |      632
218.36/218.49	c  216s |      14 |   572344 |    64652 |    39112      2 |        5 |      632
220.66/220.74	c  218s |      14 |   579451 |    65552 |    39112      2 |        5 |      632
222.66/222.75	c  220s |      14 |   583675 |    66152 |    39112      2 |        5 |      632
224.96/225.04	c  223s |      14 |   588460 |    66952 |    39112      2 |        5 |      632
227.05/227.15	c  225s |      14 |   594790 |    67852 |    39112      2 |        5 |      632
229.15/229.27	c  227s |      14 |   599662 |    68752 |    39112      2 |        5 |      632
231.25/231.35	c  229s |      14 |   604761 |    69552 |    39112      2 |        5 |      632
233.35/233.47	c  231s |      14 |   612023 |    70552 |    39112      2 |        5 |      632
235.55/235.64	c  233s |      14 |   617482 |    71652 |    39112      2 |        5 |      632
237.66/237.79	c  235s |      14 |   622083 |    72752 |    39112      2 |        5 |      632
239.86/239.93	c  238s |      14 |   625787 |    74052 |    39112      2 |        5 |      632
241.85/241.95	c  240s |      14 |   632528 |    74652 |    39112      2 |        5 |      632
244.45/244.57	c  242s |      14 |   639672 |    75452 |    39112      3 |        5 |      632
246.75/246.82	c  244s |      14 |   647491 |    76052 |    39112      3 |        5 |      632
249.05/249.13	c  247s |      14 |   656992 |    77052 |    39112      3 |        5 |      632
251.25/251.31	c  249s |      14 |   663375 |    77752 |    39112      3 |        5 |      632
253.35/253.48	c  251s |      14 |   670464 |    78552 |    39112      3 |        5 |      632
255.45/255.51	c  253s |      14 |   677339 |    79252 |    39112      3 |        5 |      632
257.65/257.71	c  255s |      14 |   686748 |    80152 |    39112      3 |        5 |      632
259.85/259.93	c  258s |      14 |   696888 |    81152 |    39112      3 |        5 |      632
261.95/262.07	c  260s |      14 |   703573 |    81952 |    39112      3 |        5 |      632
264.15/264.27	c  262s |      14 |   709235 |    82752 |    39112      3 |        5 |      632
266.35/266.47	c  264s |      14 |   716321 |    83652 |    39112      3 |        5 |      632
268.45/268.54	c  266s |      14 |   722944 |    84452 |    39112      3 |        5 |      632
270.65/270.79	c  268s |      14 |   730309 |    85352 |    39112      3 |        5 |      632
272.75/272.82	c  270s |      14 |   736643 |    86152 |    39112      3 |        5 |      632
274.75/274.87	c  272s |      14 |   740200 |    86852 |    39112      3 |        5 |      632
276.75/276.89	c  274s |      14 |   743172 |    87352 |    43024      3 |        5 |      632
277.55/277.67	c  275s |      15 |   745161 |    87632 |    43024      3 |        5 |      632
279.65/279.73	c  277s |      15 |   751217 |    88132 |    43024      3 |        5 |      632
281.65/281.78	c  279s |      15 |   756655 |    88832 |    43024      3 |        5 |      632
283.75/283.89	c  281s |      15 |   762993 |    89332 |    43024      3 |        5 |      632
285.84/285.93	c  284s |      15 |   772738 |    90132 |    43024      3 |        5 |      632
287.94/288.03	c  286s |      15 |   778655 |    90732 |    43024      3 |        5 |      632
290.14/290.22	c  288s |      15 |   783742 |    91332 |    43024      3 |        5 |      632
292.24/292.37	c  290s |      15 |   790501 |    91932 |    43024      3 |        5 |      632
294.44/294.55	c  292s |      15 |   797729 |    92832 |    43024      3 |        5 |      632
296.44/296.57	c  294s |      15 |   801853 |    93432 |    43024      3 |        5 |      632
298.74/298.80	c  296s |      15 |   807524 |    94132 |    43024      3 |        5 |      632
300.94/301.02	c  299s |      15 |   809877 |    94532 |    43024      3 |        5 |      632
303.55/303.62	c  301s |      15 |   811959 |    94932 |    43024      3 |        5 |      632
305.54/305.69	c  303s |      15 |   813995 |    95332 |    43024      3 |        5 |      632
307.64/307.74	c  305s |      15 |   814926 |    95632 |    43024      3 |        5 |      632
309.64/309.78	c  307s |      15 |   815727 |    95932 |    43024      3 |        5 |      632
312.45/312.55	c  310s |      15 |   816277 |    96232 |    43024      3 |        5 |      632
314.65/314.72	c  312s |      15 |   822783 |    96832 |    43024      3 |        5 |      632
316.85/316.93	c  315s |      15 |   829239 |    97632 |    43024      3 |        5 |      632
318.84/318.99	c  317s |      15 |   834331 |    98332 |    43024      3 |        5 |      632
320.84/320.99	c  319s |      15 |   839636 |    99032 |    43024      3 |        5 |      632
323.04/323.15	c  321s |      15 |   844305 |    99732 |    43024      3 |        5 |      632
325.54/325.62	c  323s |      15 |   849611 |   100532 |    43024      4 |        5 |      632
327.64/327.77	c  325s |      15 |   855907 |   101432 |    43024      4 |        5 |      632
329.84/329.93	c  328s |      15 |   863386 |   102432 |    43024      4 |        5 |      632
331.94/332.09	c  330s |      15 |   867435 |   103132 |    43024      4 |        5 |      632
334.14/334.23	c  332s |      15 |   871951 |   103832 |    43024      4 |        5 |      632
336.43/336.59	c  334s |      15 |   874236 |   104532 |    43024      4 |        5 |      632
338.63/338.74	c  336s |      15 |   876002 |   105232 |    43024      4 |        5 |      632
340.63/340.76	c  338s |      15 |   877272 |   105732 |    43024      4 |        5 |      632
342.73/342.89	c  340s |      15 |   885897 |   106532 |    43024      4 |        5 |      632
344.93/345.02	c  343s |      15 |   891615 |   107232 |    43024      4 |        5 |      632
346.93/347.06	c  345s |      15 |   894302 |   107832 |    43024      4 |        5 |      632
348.93/349.09	c  347s |      15 |   899617 |   108432 |    43024      4 |        5 |      632
351.13/351.28	c  349s |      15 |   904797 |   109132 |    43024      4 |        5 |      632
353.23/353.37	c  351s |      15 |   908007 |   109732 |    43024      4 |        5 |      632
355.34/355.49	c  353s |      15 |   913226 |   110332 |    43024      4 |        5 |      632
357.44/357.54	c  355s |      15 |   919493 |   111132 |    43024      4 |        5 |      632
359.83/359.99	c  358s |      15 |   923608 |   111832 |    43024      4 |        5 |      632
362.03/362.18	c  360s |      15 |   928232 |   112432 |    43024      4 |        5 |      632
364.14/364.24	c  362s |      15 |   931615 |   113032 |    43024      4 |        5 |      632
366.25/366.40	c  364s |      15 |   936091 |   113732 |    43024      4 |        5 |      632
368.34/368.44	c  366s |      15 |   940764 |   114532 |    43024      4 |        5 |      632
370.64/370.73	c  368s |      15 |   945863 |   115332 |    43024      4 |        5 |      632
372.74/372.86	c  370s |      15 |   949420 |   116032 |    43024      4 |        5 |      632
374.84/374.96	c  373s |      15 |   952420 |   116732 |    43024      4 |        5 |      632
377.04/377.17	c  375s |      15 |   954253 |   117332 |    43024      4 |        5 |      632
379.14/379.23	c  377s |      15 |   955855 |   117832 |    43024      4 |        5 |      632
381.13/381.23	c  379s |      15 |   956485 |   118232 |    43024      4 |        5 |      632
383.33/383.41	c  381s |      15 |   958360 |   118732 |    43024      4 |        5 |      632
385.33/385.44	c  383s |      15 |   961028 |   119332 |    43024      4 |        5 |      632
387.63/387.79	c  385s |      15 |   967760 |   120132 |    43024      4 |        5 |      632
389.73/389.85	c  387s |      15 |   970894 |   120732 |    43024      4 |        5 |      632
391.93/392.09	c  390s |      15 |   976592 |   121532 |    43024      4 |        5 |      632
394.03/394.14	c  392s |      15 |   982163 |   122332 |    43024      4 |        5 |      632
396.33/396.42	c  394s |      15 |   987724 |   123132 |    43024      5 |        5 |      632
398.53/398.65	c  396s |      15 |   993541 |   123932 |    43024      5 |        5 |      632
400.73/400.87	c  398s |      15 |   996412 |   124632 |    43024      5 |        5 |      632
402.83/402.93	c  401s |      15 |  1001318 |   125432 |    43024      5 |        5 |      632
404.93/405.02	c  403s |      15 |  1005968 |   126232 |    43024      5 |        5 |      632
407.13/407.27	c  405s |      15 |  1008357 |   126932 |    43024      5 |        5 |      632
409.14/409.28	c  407s |      15 |  1010341 |   127432 |    43024      5 |        5 |      632
411.34/411.46	c  409s |      15 |  1012473 |   128132 |    43024      5 |        5 |      632
413.64/413.76	c  411s |      15 |  1012914 |   128432 |    43024      5 |        5 |      632
415.73/415.90	c  414s |      15 |  1016910 |   129432 |    43024      5 |        5 |      632
418.13/418.20	c  416s |      15 |  1019716 |   130432 |    43024      5 |        5 |      632
420.13/420.30	c  418s |      15 |  1023172 |   131232 |    47327      5 |        5 |      632
421.03/421.15	c  419s |      16 |  1024545 |   131552 |    47327      5 |        5 |      632
423.73/423.82	c  421s |      16 |  1026189 |   131852 |    47327      5 |        5 |      632
425.93/426.00	c  424s |      16 |  1032887 |   132452 |    47327      5 |        5 |      632
427.93/428.04	c  426s |      16 |  1046193 |   132952 |    47327      5 |        5 |      632
430.03/430.12	c  428s |      16 |  1052600 |   133452 |    47327      5 |        5 |      632
432.23/432.31	c  430s |      16 |  1058016 |   134052 |    47327      5 |        5 |      632
434.23/434.34	c  432s |      16 |  1065221 |   134552 |    47327      5 |        5 |      632
436.43/436.51	c  434s |      16 |  1072434 |   135352 |    47327      5 |        5 |      632
438.43/438.55	c  436s |      16 |  1079852 |   135952 |    47327      5 |        5 |      632
440.63/440.75	c  438s |      16 |  1087116 |   136752 |    47327      5 |        5 |      632
442.82/442.92	c  441s |      16 |  1090811 |   137452 |    47327      5 |        5 |      632
444.92/445.04	c  443s |      16 |  1096652 |   138052 |    47327      5 |        5 |      632
447.02/447.10	c  445s |      16 |  1102507 |   138852 |    47327      5 |        5 |      632
449.02/449.19	c  447s |      16 |  1107597 |   139352 |    47327      5 |        5 |      632
451.12/451.23	c  449s |      16 |  1113820 |   140052 |    47327      5 |        5 |      632
453.32/453.47	c  451s |      16 |  1120939 |   140852 |    47327      5 |        5 |      632
455.62/455.70	c  453s |      16 |  1129303 |   141752 |    47327      5 |        5 |      632
457.72/457.85	c  455s |      16 |  1136191 |   142652 |    47327      5 |        5 |      632
459.83/459.95	c  458s |      16 |  1141918 |   143452 |    47327      5 |        5 |      632
462.03/462.19	c  460s |      16 |  1148478 |   144352 |    47327      5 |        5 |      632
464.32/464.48	c  462s |      16 |  1154236 |   145152 |    47327      5 |        5 |      632
466.52/466.67	c  464s |      16 |  1158072 |   145852 |    47327      5 |        5 |      632
468.72/468.87	c  466s |      16 |  1162460 |   146752 |    47327      5 |        5 |      632
470.83/470.93	c  469s |      16 |  1166420 |   147652 |    47327      5 |        5 |      632
475.62/475.72	c  473s |      16 |  1170847 |   148752 |    47327      6 |        5 |      632
478.02/478.14	c  476s |      16 |  1174800 |   149152 |    47327      6 |        5 |      632
480.32/480.40	c  478s |      16 |  1182129 |   150052 |    47327      6 |        5 |      632
482.41/482.51	c  480s |      16 |  1191355 |   150652 |    47327      6 |        5 |      632
484.51/484.64	c  482s |      16 |  1198274 |   151552 |    47327      6 |        5 |      632
486.51/486.65	c  484s |      16 |  1204248 |   152152 |    47327      6 |        5 |      632
488.71/488.85	c  486s |      16 |  1209668 |   152952 |    47327      6 |        5 |      632
490.81/490.95	c  489s |      16 |  1218015 |   153752 |    47327      6 |        5 |      632
492.91/493.03	c  491s |      16 |  1227877 |   154752 |    47327      6 |        5 |      632
495.02/495.14	c  493s |      16 |  1236295 |   155552 |    47327      6 |        5 |      632
497.22/497.32	c  495s |      16 |  1245682 |   156452 |    47327      6 |        5 |      632
499.32/499.43	c  497s |      16 |  1253186 |   157352 |    47327      6 |        5 |      632
501.62/501.74	c  499s |      16 |  1261020 |   158252 |    47327      6 |        5 |      632
503.72/503.90	c  501s |      16 |  1268759 |   159152 |    47327      6 |        5 |      632
506.02/506.15	c  504s |      16 |  1274974 |   160152 |    47327      6 |        5 |      632
508.12/508.29	c  506s |      16 |  1281509 |   160952 |    47327      6 |        5 |      632
510.21/510.40	c  508s |      16 |  1288906 |   161752 |    47327      6 |        5 |      632
512.31/512.43	c  510s |      16 |  1295615 |   162752 |    47327      6 |        5 |      632
514.41/514.55	c  512s |      16 |  1300861 |   163552 |    47327      6 |        5 |      632
516.61/516.71	c  514s |      16 |  1307093 |   164652 |    47327      6 |        5 |      632
518.71/518.88	c  516s |      16 |  1312226 |   165752 |    47327      6 |        5 |      632
520.91/521.02	c  519s |      16 |  1315836 |   166852 |    47327      6 |        5 |      632
523.11/523.23	c  521s |      16 |  1322339 |   167652 |    47327      6 |        5 |      632
525.31/525.42	c  523s |      16 |  1327211 |   168252 |    47327      6 |        5 |      632
527.41/527.57	c  525s |      16 |  1334044 |   168952 |    47327      6 |        5 |      632
529.51/529.68	c  527s |      16 |  1342948 |   169652 |    47327      6 |        5 |      632
531.81/531.90	c  529s |      16 |  1350888 |   170252 |    47327      6 |        5 |      632
533.91/534.01	c  532s |      16 |  1358409 |   171152 |    47327      6 |        5 |      632
536.11/536.26	c  534s |      16 |  1364761 |   171952 |    47327      6 |        5 |      632
538.41/538.55	c  536s |      16 |  1370658 |   172752 |    47327      6 |        5 |      632
540.61/540.76	c  538s |      16 |  1376533 |   173352 |    47327      6 |        5 |      632
542.81/542.97	c  541s |      16 |  1382148 |   174052 |    47327      7 |        5 |      632
545.01/545.16	c  543s |      16 |  1389938 |   174952 |    47327      7 |        5 |      632
547.10/547.23	c  545s |      16 |  1397304 |   175752 |    47327      7 |        5 |      632
549.30/549.44	c  547s |      16 |  1404725 |   176752 |    47327      7 |        5 |      632
551.50/551.61	c  549s |      16 |  1413017 |   177752 |    47327      7 |        5 |      632
553.60/553.73	c  551s |      16 |  1421888 |   178752 |    47327      7 |        5 |      632
555.60/555.75	c  553s |      16 |  1428111 |   179752 |    47327      7 |        5 |      632
557.80/557.91	c  556s |      16 |  1433127 |   180652 |    47327      7 |        5 |      632
559.81/560.00	c  558s |      16 |  1439024 |   181752 |    47327      7 |        5 |      632
562.01/562.15	c  560s |      16 |  1441992 |   182952 |    47327      7 |        5 |      632
564.21/564.31	c  562s |      16 |  1450238 |   183752 |    47327      7 |        5 |      632
566.30/566.50	c  564s |      16 |  1458715 |   184452 |    47327      7 |        5 |      632
568.40/568.56	c  566s |      16 |  1464070 |   185252 |    47327      7 |        5 |      632
570.40/570.56	c  568s |      16 |  1469986 |   185852 |    47327      7 |        5 |      632
572.70/572.86	c  570s |      16 |  1477196 |   186652 |    47327      7 |        5 |      632
574.90/575.06	c  573s |      16 |  1485658 |   187552 |    47327      7 |        5 |      632
577.00/577.13	c  575s |      16 |  1495483 |   188652 |    47327      7 |        5 |      632
579.00/579.16	c  577s |      16 |  1500719 |   189452 |    47327      7 |        5 |      632
581.30/581.43	c  579s |      16 |  1507303 |   190352 |    47327      7 |        5 |      632
583.40/583.57	c  581s |      16 |  1514533 |   191352 |    47327      7 |        5 |      632
585.60/585.72	c  583s |      16 |  1520579 |   192452 |    47327      7 |        5 |      632
587.70/587.81	c  585s |      16 |  1525551 |   193552 |    47327      7 |        5 |      632
589.80/589.94	c  588s |      16 |  1528935 |   194652 |    47327      7 |        5 |      632
591.90/592.05	c  590s |      16 |  1535717 |   195452 |    47327      7 |        5 |      632
594.00/594.15	c  592s |      16 |  1542911 |   196152 |    52060      7 |        5 |      632
596.10/596.24	c  594s |      16 |  1547090 |   196852 |    52060      7 |        5 |      632
598.10/598.25	c  596s |      17 |  1555244 |   197432 |    52060      7 |        5 |      632
600.30/600.42	c  598s |      17 |  1562809 |   198232 |    52060      7 |        5 |      632
602.40/602.56	c  600s |      17 |  1567969 |   198832 |    52060      7 |        5 |      632
604.60/604.71	c  602s |      17 |  1574007 |   199532 |    52060      7 |        5 |      632
606.69/606.88	c  604s |      17 |  1581512 |   200432 |    52060      7 |        5 |      632
608.69/608.88	c  606s |      17 |  1590519 |   201332 |    52060      7 |        5 |      632
610.89/611.02	c  609s |      17 |  1597146 |   202132 |    52060      7 |        5 |      632
612.89/613.06	c  611s |      17 |  1602583 |   202832 |    52060      7 |        5 |      632
614.99/615.12	c  613s |      17 |  1607661 |   203432 |    52060      8 |        5 |      632
617.19/617.31	c  615s |      17 |  1613483 |   204332 |    52060      8 |        5 |      632
619.30/619.48	c  617s |      17 |  1618759 |   205232 |    52060      8 |        5 |      632
621.40/621.55	c  619s |      17 |  1623418 |   206132 |    52060      8 |        5 |      632
623.49/623.61	c  621s |      17 |  1628209 |   207132 |    52060      8 |        5 |      632
625.49/625.61	c  623s |      17 |  1630977 |   207932 |    52060      8 |        5 |      632
627.49/627.62	c  625s |      17 |  1633049 |   208732 |    52060      8 |        5 |      632
629.59/629.71	c  627s |      17 |  1635907 |   209332 |    52060      8 |        5 |      632
631.69/631.86	c  629s |      17 |  1642488 |   209932 |    52060      8 |        5 |      632
633.79/633.99	c  632s |      17 |  1648923 |   210532 |    52060      8 |        5 |      632
635.99/636.17	c  634s |      17 |  1655757 |   211232 |    52060      8 |        5 |      632
638.29/638.41	c  636s |      17 |  1663278 |   212032 |    52060      8 |        5 |      632
640.29/640.43	c  638s |      17 |  1669420 |   212832 |    52060      8 |        5 |      632
642.49/642.69	c  640s |      17 |  1676470 |   213632 |    52060      8 |        5 |      632
644.79/644.93	c  643s |      17 |  1682922 |   214532 |    52060      8 |        5 |      632
646.89/647.09	c  645s |      17 |  1687776 |   215332 |    52060      8 |        5 |      632
649.19/649.34	c  647s |      17 |  1692694 |   216132 |    52060      8 |        5 |      632
651.19/651.38	c  649s |      17 |  1698211 |   217032 |    52060      8 |        5 |      632
653.19/653.39	c  651s |      17 |  1706007 |   217832 |    52060      8 |        5 |      632
655.49/655.63	c  653s |      17 |  1713583 |   218632 |    52060      8 |        5 |      632
657.89/658.07	c  656s |      17 |  1719724 |   219432 |    52060      8 |        5 |      632
659.99/660.18	c  658s |      17 |  1727723 |   220332 |    52060      8 |        5 |      632
662.09/662.29	c  660s |      17 |  1736747 |   221132 |    52060      8 |        5 |      632
664.39/664.57	c  662s |      17 |  1745305 |   222232 |    52060      8 |        5 |      632
666.38/666.59	c  664s |      17 |  1752529 |   223132 |    52060      8 |        5 |      632
668.58/668.79	c  666s |      17 |  1758239 |   224032 |    52060      8 |        5 |      632
670.68/670.80	c  668s |      17 |  1762816 |   224832 |    52060      8 |        5 |      632
672.98/673.12	c  671s |      17 |  1769781 |   225732 |    52060      8 |        5 |      632
674.98/675.13	c  673s |      17 |  1776152 |   226732 |    52060      8 |        5 |      632
676.98/677.16	c  675s |      17 |  1781119 |   227632 |    52060      8 |        5 |      632
679.18/679.34	c  677s |      17 |  1785319 |   228532 |    52060      8 |        5 |      632
681.28/681.49	c  679s |      17 |  1788188 |   229532 |    52060      8 |        5 |      632
683.58/683.70	c  681s |      17 |  1791286 |   230532 |    52060      9 |        5 |      632
685.88/686.09	c  684s |      17 |  1797862 |   231232 |    52060      9 |        5 |      632
688.08/688.27	c  686s |      17 |  1805622 |   232132 |    52060      9 |        5 |      632
690.18/690.30	c  688s |      17 |  1811262 |   232932 |    52060      9 |        5 |      632
692.37/692.51	c  690s |      17 |  1819480 |   233832 |    52060      9 |        5 |      632
694.37/694.55	c  692s |      17 |  1827921 |   234932 |    52060      9 |        5 |      632
696.47/696.61	c  694s |      17 |  1832670 |   235932 |    52060      9 |        5 |      632
698.67/698.83	c  696s |      17 |  1837544 |   236932 |    52060      9 |        5 |      632
700.68/700.89	c  698s |      17 |  1842837 |   238032 |    52060      9 |        5 |      632
702.78/702.98	c  701s |      17 |  1847095 |   239332 |    52060      9 |        5 |      632
705.08/705.23	c  703s |      17 |  1853405 |   240332 |    52060      9 |        5 |      632
707.27/707.47	c  705s |      17 |  1861103 |   241232 |    52060      9 |        5 |      632
709.26/709.48	c  707s |      17 |  1866435 |   242032 |    52060      9 |        5 |      632
711.36/711.57	c  709s |      17 |  1872012 |   242832 |    52060      9 |        5 |      632
713.56/713.78	c  711s |      17 |  1877339 |   243732 |    52060      9 |        5 |      632
715.76/715.95	c  714s |      17 |  1882302 |   244632 |    52060      9 |        5 |      632
717.86/718.04	c  716s |      17 |  1885939 |   245532 |    52060      9 |        5 |      632
720.06/720.22	c  718s |      17 |  1888413 |   246432 |    52060      9 |        5 |      632
722.06/722.22	c  720s |      17 |  1894140 |   247232 |    52060      9 |        5 |      632
724.16/724.31	c  722s |      17 |  1900199 |   248032 |    52060      9 |        5 |      632
726.36/726.55	c  724s |      17 |  1906289 |   248732 |    52060      9 |        5 |      632
728.45/728.69	c  726s |      17 |  1911826 |   249632 |    52060      9 |        5 |      632
730.66/730.80	c  728s |      17 |  1918059 |   250432 |    52060      9 |        5 |      632
732.76/732.98	c  731s |      17 |  1923171 |   251332 |    52060      9 |        5 |      632
734.86/735.08	c  733s |      17 |  1927290 |   252132 |    52060      9 |        5 |      632
736.96/737.13	c  735s |      17 |  1931078 |   252932 |    52060      9 |        5 |      632
738.95/739.17	c  737s |      17 |  1933910 |   253732 |    52060      9 |        5 |      632
741.15/741.32	c  739s |      17 |  1936396 |   254632 |    52060      9 |        5 |      632
743.15/743.35	c  741s |      17 |  1939059 |   255432 |    52060      9 |        5 |      632
745.35/745.57	c  743s |      17 |  1945288 |   256232 |    52060      9 |        5 |      632
747.65/747.84	c  745s |      17 |  1950113 |   257032 |    52060      9 |        5 |      632
749.95/750.11	c  748s |      17 |  1954124 |   257732 |    52060     10 |        5 |      632
752.05/752.22	c  750s |      17 |  1959412 |   258532 |    52060     10 |        5 |      632
754.05/754.25	c  752s |      17 |  1964535 |   259432 |    52060     10 |        5 |      632
756.25/756.45	c  754s |      17 |  1970005 |   260432 |    52060     10 |        5 |      632
758.34/758.59	c  756s |      17 |  1975564 |   261632 |    52060     10 |        5 |      632
760.54/760.75	c  758s |      17 |  1978983 |   262732 |    52060     10 |        5 |      632
762.84/763.04	c  761s |      17 |  1982814 |   263732 |    52060     10 |        5 |      632
765.04/765.20	c  763s |      17 |  1987608 |   264532 |    52060     10 |        5 |      632
767.14/767.31	c  765s |      17 |  1992364 |   265332 |    52060     10 |        5 |      632
769.34/769.57	c  767s |      17 |  1998187 |   266332 |    52060     10 |        5 |      632
771.34/771.59	c  769s |      17 |  2002874 |   267232 |    52060     10 |        5 |      632
773.44/773.61	c  771s |      17 |  2006433 |   268132 |    52060     10 |        5 |      632
775.54/775.70	c  773s |      17 |  2009510 |   269132 |    52060     10 |        5 |      632
777.54/777.75	c  775s |      17 |  2013993 |   269932 |    52060     10 |        5 |      632
779.74/779.94	c  778s |      17 |  2018311 |   270732 |    52060     10 |        5 |      632
781.73/781.94	c  780s |      17 |  2022292 |   271532 |    52060     10 |        5 |      632
783.93/784.13	c  782s |      17 |  2026045 |   272432 |    52060     10 |        5 |      632
786.13/786.34	c  784s |      17 |  2029641 |   273332 |    52060     10 |        5 |      632
788.23/788.46	c  786s |      17 |  2031756 |   274132 |    52060     10 |        5 |      632
790.33/790.55	c  788s |      17 |  2036540 |   274932 |    52060     10 |        5 |      632
792.43/792.66	c  790s |      17 |  2041699 |   275732 |    52060     10 |        5 |      632
794.63/794.89	c  792s |      17 |  2046595 |   276632 |    52060     10 |        5 |      632
796.92/797.13	c  795s |      17 |  2051855 |   277632 |    52060     10 |        5 |      632
799.02/799.26	c  797s |      17 |  2055158 |   278732 |    52060     10 |        5 |      632
801.22/801.41	c  799s |      17 |  2061402 |   279732 |    52060     10 |        5 |      632
803.22/803.46	c  801s |      17 |  2066936 |   280632 |    52060     10 |        5 |      632
805.42/805.64	c  803s |      17 |  2072156 |   281632 |    52060     10 |        5 |      632
807.42/807.66	c  805s |      17 |  2075569 |   282432 |    52060     10 |        5 |      632
809.62/809.81	c  807s |      17 |  2078749 |   283432 |    52060     10 |        5 |      632
811.62/811.84	c  809s |      17 |  2081677 |   284232 |    52060     10 |        5 |      632
814.02/814.22	c  812s |      17 |  2087558 |   285332 |    52060     11 |        5 |      632
816.02/816.28	c  814s |      17 |  2092581 |   286332 |    52060     11 |        5 |      632
818.11/818.31	c  816s |      17 |  2096749 |   287432 |    52060     11 |        5 |      632
820.21/820.48	c  818s |      17 |  2099695 |   288432 |    52060     11 |        5 |      632
822.41/822.68	c  820s |      17 |  2104361 |   289532 |    52060     11 |        5 |      632
824.71/824.91	c  823s |      17 |  2106920 |   290532 |    52060     11 |        5 |      632
826.71/826.98	c  825s |      17 |  2111855 |   291532 |    52060     11 |        5 |      632
828.81/829.01	c  827s |      17 |  2115667 |   292432 |    52060     11 |        5 |      632
830.91/831.13	c  829s |      17 |  2118748 |   293332 |    52060     11 |        5 |      632
832.91/833.14	c  831s |      17 |  2121023 |   294232 |    57267     11 |        5 |      632
835.11/835.30	c  833s |      17 |  2124580 |   295132 |    57267     11 |        5 |      632
837.21/837.45	c  835s |      17 |  2128894 |   296232 |    57267     11 |        5 |      632
837.31/837.51	c  835s |      18 |  2128949 |   296252 |    57267     11 |        5 |      632
841.01/841.25	c  839s |      18 |  2129873 |   296352 |    57267     11 |        5 |      632
843.10/843.37	c  841s |      18 |  2130840 |   296652 |    57267     11 |        5 |      632
845.30/845.56	c  843s |      18 |  2136459 |   297452 |    57267     11 |        5 |      632
847.30/847.59	c  845s |      18 |  2139586 |   298152 |    57267     11 |        5 |      632
878.39/878.65	c  876s |      18 |  2141190 |   298552 |    57267     11 |        5 |      632
898.60/898.87	c  896s |      18 |  2142827 |   298652 |    57267     11 |        5 |      632
900.70/900.95	c  899s |      18 |  2147855 |   299352 |    57267     11 |        5 |      632
902.89/903.17	c  901s |      18 |  2156119 |   299952 |    57267     11 |        5 |      632
904.99/905.22	c  903s |      18 |  2164361 |   300652 |    57267     11 |        5 |      632
907.19/907.44	c  905s |      18 |  2173787 |   301452 |    57267     11 |        5 |      632
909.39/909.61	c  907s |      18 |  2181832 |   302052 |    57267     11 |        5 |      632
911.59/911.82	c  909s |      18 |  2189258 |   302952 |    57267     11 |        5 |      632
913.69/913.95	c  912s |      18 |  2193698 |   303552 |    57267     11 |        5 |      632
915.99/916.22	c  914s |      18 |  2199953 |   304252 |    57267     11 |        5 |      632
918.19/918.49	c  916s |      18 |  2206230 |   304852 |    57267     11 |        5 |      632
920.49/920.74	c  918s |      18 |  2212138 |   305652 |    57267     11 |        5 |      632
922.58/922.90	c  920s |      18 |  2217777 |   306252 |    57267     11 |        5 |      632
924.78/925.02	c  923s |      18 |  2222818 |   307152 |    57267     11 |        5 |      632
926.78/927.06	c  925s |      18 |  2229333 |   307852 |    57267     11 |        5 |      632
928.88/929.10	c  927s |      18 |  2234860 |   308352 |    57267     11 |        5 |      632
930.88/931.14	c  929s |      18 |  2240448 |   309052 |    57267     11 |        5 |      632
933.08/933.34	c  931s |      18 |  2246671 |   309852 |    57267     11 |        5 |      632
935.18/935.45	c  933s |      18 |  2253075 |   310552 |    57267     11 |        5 |      632
937.28/937.50	c  935s |      18 |  2258952 |   311352 |    57267     11 |        5 |      632
939.48/939.78	c  937s |      18 |  2264579 |   312152 |    57267     11 |        5 |      632
941.68/941.90	c  940s |      18 |  2269515 |   312852 |    57267     11 |        5 |      632
943.88/944.10	c  942s |      18 |  2275057 |   313652 |    57267     11 |        5 |      632
946.08/946.37	c  944s |      18 |  2278844 |   314452 |    57267     11 |        5 |      632
948.38/948.62	c  946s |      18 |  2283610 |   315252 |    57267     11 |        5 |      632
950.38/950.63	c  948s |      18 |  2286603 |   315952 |    57267     11 |        5 |      632
952.39/952.63	c  950s |      18 |  2289078 |   316552 |    57267     11 |        5 |      632
954.48/954.70	c  952s |      18 |  2292773 |   317352 |    57267     11 |        5 |      632
956.48/956.76	c  954s |      18 |  2295237 |   318052 |    57267     11 |        5 |      632
958.88/959.12	c  957s |      18 |  2297047 |   318652 |    57267     12 |        5 |      632
960.88/961.13	c  959s |      18 |  2300586 |   319152 |    57267     12 |        5 |      632
963.08/963.31	c  961s |      18 |  2305572 |   319752 |    57267     12 |        5 |      632
965.58/965.86	c  963s |      18 |  2309129 |   320152 |    57267     12 |        5 |      632
967.57/967.87	c  965s |      18 |  2314810 |   320552 |    57267     12 |        5 |      632
969.87/970.12	c  968s |      18 |  2321133 |   321152 |    57267     12 |        5 |      632
972.07/972.37	c  970s |      18 |  2326820 |   321852 |    57267     12 |        5 |      632
974.28/974.54	c  972s |      18 |  2333219 |   322252 |    57267     12 |        5 |      632
976.48/976.79	c  974s |      18 |  2343524 |   323252 |    57267     12 |        5 |      632
978.79/979.05	c  977s |      18 |  2352784 |   323852 |    57267     12 |        5 |      632
980.88/981.18	c  979s |      18 |  2361255 |   324352 |    57267     12 |        5 |      632
982.98/983.25	c  981s |      18 |  2367125 |   325052 |    57267     12 |        5 |      632
984.98/985.27	c  983s |      18 |  2373046 |   325652 |    57267     12 |        5 |      632
987.18/987.43	c  985s |      18 |  2379429 |   326152 |    57267     12 |        5 |      632
989.28/989.53	c  987s |      18 |  2387374 |   326752 |    57267     12 |        5 |      632
991.58/991.83	c  989s |      18 |  2396942 |   327652 |    57267     12 |        5 |      632
993.68/993.90	c  992s |      18 |  2401503 |   328152 |    57267     12 |        5 |      632
995.88/996.14	c  994s |      18 |  2405405 |   328852 |    57267     12 |        5 |      632
998.08/998.35	c  996s |      18 |  2412748 |   329452 |    57267     12 |        5 |      632
1000.38/1000.68	c  998s |      18 |  2419250 |   329952 |    57267     12 |        5 |      632
1002.58/1002.82	c 1000s |      18 |  2427177 |   330552 |    57267     12 |        5 |      632
1004.68/1004.90	c 1003s |      18 |  2435545 |   331452 |    57267     12 |        5 |      632
1006.87/1007.13	c 1005s |      18 |  2444078 |   332052 |    57267     12 |        5 |      632
1008.97/1009.25	c 1007s |      18 |  2450614 |   332752 |    57267     12 |        5 |      632
1010.97/1011.27	c 1009s |      18 |  2457789 |   333452 |    57267     12 |        5 |      632
1013.07/1013.34	c 1011s |      18 |  2464704 |   334052 |    57267     12 |        5 |      632
1015.18/1015.43	c 1013s |      18 |  2472325 |   334852 |    57267     12 |        5 |      632
1017.28/1017.51	c 1015s |      18 |  2480193 |   335552 |    57267     12 |        5 |      632
1019.27/1019.56	c 1017s |      18 |  2487705 |   336252 |    57267     12 |        5 |      632
1021.37/1021.63	c 1019s |      18 |  2494201 |   336952 |    57267     12 |        5 |      632
1023.47/1023.79	c 1021s |      18 |  2501765 |   337652 |    57267     12 |        5 |      632
1025.57/1025.83	c 1023s |      18 |  2508386 |   338452 |    57267     12 |        5 |      632
1027.77/1028.08	c 1026s |      18 |  2515262 |   339052 |    57267     12 |        5 |      632
1030.07/1030.30	c 1028s |      18 |  2520528 |   339852 |    57267     12 |        5 |      632
1032.17/1032.42	c 1030s |      18 |  2526295 |   340552 |    57267     12 |        5 |      632
1034.17/1034.46	c 1032s |      18 |  2532726 |   341352 |    57267     12 |        5 |      632
1036.17/1036.47	c 1034s |      18 |  2538576 |   342052 |    57267     12 |        5 |      632
1038.17/1038.48	c 1036s |      18 |  2543386 |   342752 |    57267     12 |        5 |      632
1040.27/1040.57	c 1038s |      18 |  2550703 |   343652 |    57267     12 |        5 |      632
1042.47/1042.77	c 1040s |      18 |  2555706 |   344452 |    57267     12 |        5 |      632
1044.67/1044.95	c 1043s |      18 |  2561406 |   345252 |    57267     12 |        5 |      632
1046.67/1046.96	c 1045s |      18 |  2567347 |   346052 |    57267     12 |        5 |      632
1048.76/1049.03	c 1047s |      18 |  2571805 |   346852 |    57267     12 |        5 |      632
1050.96/1051.23	c 1049s |      18 |  2576891 |   347652 |    57267     12 |        5 |      632
1053.06/1053.33	c 1051s |      18 |  2580718 |   348352 |    57267     13 |        5 |      632
1055.16/1055.44	c 1053s |      18 |  2585431 |   349252 |    57267     13 |        5 |      632
1057.16/1057.49	c 1055s |      18 |  2589739 |   350452 |    57267     13 |        5 |      632
1059.36/1059.62	c 1057s |      18 |  2591759 |   351052 |    57267     13 |        5 |      632
1061.46/1061.73	c 1059s |      18 |  2597356 |   351652 |    57267     13 |        5 |      632
1063.56/1063.90	c 1061s |      18 |  2602287 |   352252 |    57267     13 |        5 |      632
1065.86/1066.20	c 1064s |      18 |  2608883 |   353152 |    57267     13 |        5 |      632
1068.16/1068.42	c 1066s |      18 |  2616134 |   353752 |    57267     13 |        5 |      632
1070.26/1070.55	c 1068s |      18 |  2622861 |   354452 |    57267     13 |        5 |      632
1072.46/1072.77	c 1070s |      18 |  2628307 |   355452 |    57267     13 |        5 |      632
1074.75/1075.05	c 1073s |      18 |  2635648 |   356152 |    57267     13 |        5 |      632
1076.85/1077.14	c 1075s |      18 |  2641067 |   356952 |    57267     13 |        5 |      632
1078.96/1079.25	c 1077s |      18 |  2647276 |   357552 |    57267     13 |        5 |      632
1080.95/1081.27	c 1079s |      18 |  2653062 |   358352 |    57267     13 |        5 |      632
1083.05/1083.36	c 1081s |      18 |  2658762 |   358952 |    57267     13 |        5 |      632
1085.05/1085.38	c 1083s |      18 |  2665136 |   359752 |    57267     13 |        5 |      632
1087.35/1087.65	c 1085s |      18 |  2670781 |   360552 |    57267     13 |        5 |      632
1089.35/1089.66	c 1087s |      18 |  2675393 |   361152 |    57267     13 |        5 |      632
1091.55/1091.89	c 1089s |      18 |  2680000 |   361952 |    57267     13 |        5 |      632
1093.65/1093.90	c 1092s |      18 |  2684122 |   362652 |    57267     13 |        5 |      632
1095.65/1095.98	c 1094s |      18 |  2690402 |   363452 |    57267     13 |        5 |      632
1097.95/1098.24	c 1096s |      18 |  2696666 |   364252 |    57267     13 |        5 |      632
1099.95/1100.28	c 1098s |      18 |  2702840 |   365052 |    57267     13 |        5 |      632
1102.05/1102.39	c 1100s |      18 |  2708899 |   365952 |    57267     13 |        5 |      632
1104.25/1104.55	c 1102s |      18 |  2713005 |   366752 |    57267     13 |        5 |      632
1106.54/1106.83	c 1104s |      18 |  2716923 |   367552 |    57267     13 |        5 |      632
1108.74/1109.01	c 1107s |      18 |  2719904 |   368352 |    57267     13 |        5 |      632
1110.75/1111.10	c 1109s |      18 |  2722600 |   369152 |    57267     13 |        5 |      632
1112.95/1113.29	c 1111s |      18 |  2726133 |   369952 |    57267     13 |        5 |      632
1115.04/1115.36	c 1113s |      18 |  2732006 |   370552 |    57267     13 |        5 |      632
1117.45/1117.72	c 1115s |      18 |  2737743 |   371352 |    57267     13 |        5 |      632
1119.55/1119.90	c 1118s |      18 |  2743941 |   372052 |    57267     13 |        5 |      632
1121.94/1122.24	c 1120s |      18 |  2749977 |   372852 |    57267     13 |        5 |      632
1124.14/1124.48	c 1122s |      18 |  2759444 |   373752 |    57267     13 |        5 |      632
1126.44/1126.79	c 1124s |      18 |  2765724 |   374352 |    57267     13 |        5 |      632
1128.64/1128.94	c 1127s |      18 |  2770261 |   375052 |    57267     13 |        5 |      632
1130.74/1131.02	c 1129s |      18 |  2775336 |   375652 |    57267     13 |        5 |      632
1132.75/1133.03	c 1131s |      18 |  2780206 |   376152 |    57267     13 |        5 |      632
1134.74/1135.03	c 1133s |      18 |  2786959 |   376952 |    57267     13 |        5 |      632
1136.74/1137.07	c 1135s |      18 |  2792415 |   377452 |    57267     14 |        5 |      632
1138.83/1139.12	c 1137s |      18 |  2796498 |   378152 |    57267     14 |        5 |      632
1141.03/1141.34	c 1139s |      18 |  2806698 |   379152 |    57267     14 |        5 |      632
1143.23/1143.55	c 1141s |      18 |  2812609 |   379952 |    57267     14 |        5 |      632
1145.23/1145.57	c 1143s |      18 |  2818116 |   380652 |    57267     14 |        5 |      632
1147.33/1147.64	c 1145s |      18 |  2823236 |   381252 |    57267     14 |        5 |      632
1149.63/1149.91	c 1148s |      18 |  2829494 |   382252 |    57267     14 |        5 |      632
1151.73/1152.04	c 1150s |      18 |  2836210 |   383152 |    57267     14 |        5 |      632
1153.93/1154.21	c 1152s |      18 |  2842283 |   384052 |    57267     14 |        5 |      632
1156.03/1156.30	c 1154s |      18 |  2848615 |   385052 |    57267     14 |        5 |      632
1158.04/1158.35	c 1156s |      18 |  2852549 |   385952 |    57267     14 |        5 |      632
1160.13/1160.47	c 1158s |      18 |  2856545 |   387052 |    57267     14 |        5 |      632
1162.33/1162.64	c 1160s |      18 |  2859747 |   388052 |    57267     14 |        5 |      632
1164.53/1164.81	c 1162s |      18 |  2865662 |   388852 |    57267     14 |        5 |      632
1166.53/1166.82	c 1164s |      18 |  2869268 |   389552 |    57267     14 |        5 |      632
1168.73/1169.00	c 1167s |      18 |  2876360 |   390452 |    57267     14 |        5 |      632
1170.93/1171.25	c 1169s |      18 |  2882461 |   391252 |    57267     14 |        5 |      632
1173.02/1173.37	c 1171s |      18 |  2888319 |   392152 |    57267     14 |        5 |      632
1175.02/1175.39	c 1173s |      18 |  2892845 |   392852 |    57267     14 |        5 |      632
1177.22/1177.52	c 1175s |      18 |  2897610 |   393652 |    57267     14 |        5 |      632
1179.32/1179.67	c 1177s |      18 |  2903678 |   394552 |    57267     14 |        5 |      632
1181.42/1181.72	c 1179s |      18 |  2906746 |   395252 |    57267     14 |        5 |      632
1183.43/1183.72	c 1181s |      18 |  2909253 |   395952 |    57267     14 |        5 |      632
1185.72/1186.04	c 1184s |      18 |  2911870 |   396752 |    57267     14 |        5 |      632
1187.92/1188.26	c 1186s |      18 |  2913085 |   397452 |    57267     14 |        5 |      632
1190.22/1190.54	c 1188s |      18 |  2920558 |   398152 |    57267     14 |        5 |      632
1192.32/1192.60	c 1190s |      18 |  2925167 |   398852 |    57267     14 |        5 |      632
1194.62/1194.91	c 1193s |      18 |  2930519 |   399652 |    57267     14 |        5 |      632
1196.63/1196.92	c 1195s |      18 |  2935759 |   400252 |    57267     14 |        5 |      632
1198.82/1199.10	c 1197s |      18 |  2941639 |   401052 |    57267     14 |        5 |      632
1200.92/1201.28	c 1199s |      18 |  2950107 |   401752 |    57267     14 |        5 |      632
1203.01/1203.38	c 1201s |      18 |  2955202 |   402452 |    57267     14 |        5 |      632
1205.11/1205.46	c 1203s |      18 |  2961737 |   403252 |    57267     14 |        5 |      632
1207.31/1207.61	c 1205s |      18 |  2968496 |   403852 |    57267     14 |        5 |      632
1209.41/1209.71	c 1207s |      18 |  2974907 |   404452 |    57267     14 |        5 |      632
1211.41/1211.76	c 1209s |      18 |  2978567 |   405052 |    57267     14 |        5 |      632
1213.81/1214.12	c 1212s |      18 |  2988327 |   405652 |    57267     14 |        5 |      632
1215.91/1216.27	c 1214s |      18 |  2993719 |   406352 |    57267     14 |        5 |      632
1218.62/1218.93	c 1217s |      18 |  3000132 |   406952 |    57267     15 |        5 |      632
1220.91/1221.21	c 1219s |      18 |  3007204 |   407752 |    57267     15 |        5 |      632
1223.02/1223.33	c 1221s |      18 |  3013092 |   408452 |    57267     15 |        5 |      632
1225.01/1225.38	c 1223s |      18 |  3018170 |   409252 |    57267     15 |        5 |      632
1227.11/1227.43	c 1225s |      18 |  3024221 |   409952 |    57267     15 |        5 |      632
1229.31/1229.60	c 1227s |      18 |  3031196 |   410752 |    57267     15 |        5 |      632
1231.51/1231.84	c 1229s |      18 |  3038163 |   411652 |    57267     15 |        5 |      632
1233.61/1233.91	c 1232s |      18 |  3045761 |   412552 |    57267     15 |        5 |      632
1235.71/1236.01	c 1234s |      18 |  3051966 |   413352 |    57267     15 |        5 |      632
1237.81/1238.13	c 1236s |      18 |  3061249 |   414452 |    57267     15 |        5 |      632
1239.91/1240.30	c 1238s |      18 |  3068558 |   415452 |    57267     15 |        5 |      632
1242.11/1242.48	c 1240s |      18 |  3074766 |   416452 |    57267     15 |        5 |      632
1244.20/1244.53	c 1242s |      18 |  3080561 |   417352 |    57267     15 |        5 |      632
1246.20/1246.58	c 1244s |      18 |  3084796 |   418252 |    57267     15 |        5 |      632
1248.21/1248.60	c 1246s |      18 |  3087786 |   419152 |    57267     15 |        5 |      632
1250.41/1250.77	c 1248s |      18 |  3090660 |   420152 |    57267     15 |        5 |      632
1252.61/1252.92	c 1251s |      18 |  3094435 |   421052 |    57267     15 |        5 |      632
1254.60/1254.96	c 1253s |      18 |  3101244 |   421852 |    57267     15 |        5 |      632
1256.80/1257.14	c 1255s |      18 |  3108259 |   422852 |    57267     15 |        5 |      632
1259.00/1259.35	c 1257s |      18 |  3115097 |   423852 |    57267     15 |        5 |      632
1261.00/1261.37	c 1259s |      18 |  3121174 |   424652 |    57267     15 |        5 |      632
1263.10/1263.41	c 1261s |      18 |  3125774 |   425552 |    57267     15 |        5 |      632
1265.30/1265.65	c 1263s |      18 |  3131997 |   426652 |    57267     15 |        5 |      632
1267.50/1267.81	c 1265s |      18 |  3134860 |   427452 |    57267     15 |        5 |      632
1269.70/1270.07	c 1268s |      18 |  3137639 |   428252 |    57267     15 |        5 |      632
1271.80/1272.17	c 1270s |      18 |  3140770 |   428952 |    57267     15 |        5 |      632
1273.89/1274.27	c 1272s |      18 |  3146691 |   429752 |    57267     15 |        5 |      632
1276.29/1276.61	c 1274s |      18 |  3153847 |   430652 |    57267     15 |        5 |      632
1278.39/1278.76	c 1276s |      18 |  3160170 |   431452 |    57267     15 |        5 |      632
1280.49/1280.88	c 1278s |      18 |  3167666 |   432052 |    57267     15 |        5 |      632
1282.49/1282.89	c 1280s |      18 |  3173704 |   432852 |    57267     15 |        5 |      632
1284.69/1285.09	c 1283s |      18 |  3182244 |   433552 |    57267     15 |        5 |      632
1286.89/1287.21	c 1285s |      18 |  3188783 |   434352 |    57267     15 |        5 |      632
1289.00/1289.39	c 1287s |      18 |  3194835 |   435052 |    57267     15 |        5 |      632
1291.20/1291.58	c 1289s |      18 |  3201669 |   435952 |    57267     15 |        5 |      632
1293.40/1293.77	c 1291s |      18 |  3206468 |   436652 |    57267     16 |        5 |      632
1295.60/1295.96	c 1294s |      18 |  3212203 |   437452 |    57267     16 |        5 |      632
1297.58/1297.97	c 1296s |      18 |  3219194 |   438352 |    57267     16 |        5 |      632
1299.58/1300.00	c 1298s |      18 |  3226622 |   439352 |    57267     16 |        5 |      632
1301.78/1302.14	c 1300s |      18 |  3232306 |   440452 |    57267     16 |        5 |      632
1303.98/1304.38	c 1302s |      18 |  3237759 |   441452 |    62994     16 |        5 |      632
1306.08/1306.40	c 1304s |      18 |  3242795 |   442552 |    62994     16 |        5 |      632
1308.08/1308.42	c 1306s |      18 |  3246743 |   443552 |    62994     16 |        5 |      632
1309.88/1310.21	c 1308s |      19 |  3248878 |   444482 |    62994     16 |        5 |      632
1320.47/1320.84	c 1318s |      19 |  3250740 |   444582 |    62994     16 |        5 |      632
1324.08/1324.48	c 1322s |      19 |  3251586 |   444682 |    62994     16 |        5 |      632
1326.48/1326.81	c 1324s |      19 |  3259564 |   445482 |    62994     16 |        5 |      632
1328.77/1329.10	c 1327s |      19 |  3271312 |   446182 |    62994     16 |        5 |      632
1330.78/1331.19	c 1329s |      19 |  3278782 |   446882 |    62994     16 |        5 |      632
1332.88/1333.25	c 1331s |      19 |  3285949 |   447682 |    62994     16 |        5 |      632
1335.08/1335.43	c 1333s |      19 |  3293716 |   448382 |    62994     16 |        5 |      632
1337.07/1337.43	c 1335s |      19 |  3300441 |   449182 |    62994     16 |        5 |      632
1339.17/1339.52	c 1337s |      19 |  3307470 |   449982 |    62994     16 |        5 |      632
1341.47/1341.87	c 1339s |      19 |  3313279 |   450682 |    62994     16 |        5 |      632
1343.67/1344.05	c 1342s |      19 |  3319512 |   451482 |    62994     16 |        5 |      632
1345.77/1346.16	c 1344s |      19 |  3326382 |   452282 |    62994     16 |        5 |      632
1347.96/1348.30	c 1346s |      19 |  3335235 |   453082 |    62994     16 |        5 |      632
1350.06/1350.45	c 1348s |      19 |  3340114 |   453982 |    62994     16 |        5 |      632
1352.36/1352.72	c 1350s |      19 |  3347598 |   454882 |    62994     16 |        5 |      632
1354.36/1354.77	c 1352s |      19 |  3354057 |   455682 |    62994     16 |        5 |      632
1356.46/1356.87	c 1354s |      19 |  3360867 |   456682 |    62994     16 |        5 |      632
1358.66/1359.01	c 1357s |      19 |  3365073 |   457582 |    62994     16 |        5 |      632
1360.86/1361.21	c 1359s |      19 |  3369411 |   458682 |    62994     16 |        5 |      632
1362.86/1363.24	c 1361s |      19 |  3371869 |   459682 |    62994     16 |        5 |      632
1365.06/1365.44	c 1363s |      19 |  3377219 |   460482 |    62994     16 |        5 |      632
1367.46/1367.80	c 1365s |      19 |  3382597 |   461082 |    62994     16 |        5 |      632
1369.46/1369.85	c 1367s |      19 |  3389623 |   461582 |    62994     16 |        5 |      632
1371.47/1371.88	c 1369s |      19 |  3395880 |   462382 |    62994     16 |        5 |      632
1373.76/1374.11	c 1372s |      19 |  3401047 |   463082 |    62994     16 |        5 |      632
1375.87/1376.22	c 1374s |      19 |  3406469 |   463982 |    62994     16 |        5 |      632
1378.07/1378.42	c 1376s |      19 |  3410970 |   464882 |    62994     16 |        5 |      632
1380.27/1380.63	c 1378s |      19 |  3413975 |   465682 |    62994     16 |        5 |      632
1382.26/1382.69	c 1380s |      19 |  3416366 |   466582 |    62994     16 |        5 |      632
1384.36/1384.74	c 1382s |      19 |  3420978 |   467282 |    62994     16 |        5 |      632
1386.46/1386.84	c 1384s |      19 |  3424649 |   468082 |    62994     16 |        5 |      632
1388.66/1389.04	c 1387s |      19 |  3430528 |   468782 |    62994     16 |        5 |      632
1390.76/1391.17	c 1389s |      19 |  3436406 |   469482 |    62994     16 |        5 |      632
1392.86/1393.20	c 1391s |      19 |  3440979 |   470082 |    62994     16 |        5 |      632
1395.05/1395.48	c 1393s |      19 |  3446867 |   470782 |    62994     16 |        5 |      632
1397.25/1397.69	c 1395s |      19 |  3452966 |   471482 |    62994     17 |        5 |      632
1400.85/1401.20	c 1399s |      19 |  3454907 |   471682 |    62994     17 |        5 |      632
1403.06/1403.48	c 1401s |      19 |  3457230 |   471882 |    62994     17 |        5 |      632
1405.16/1405.52	c 1403s |      19 |  3464480 |   472782 |    62994     17 |        5 |      632
1407.36/1407.73	c 1405s |      19 |  3473249 |   473682 |    62994     17 |        5 |      632
1409.56/1409.96	c 1408s |      19 |  3477940 |   474082 |    62994     17 |        5 |      632
1411.56/1411.99	c 1410s |      19 |  3484626 |   474982 |    62994     17 |        5 |      632
1413.66/1414.04	c 1412s |      19 |  3491079 |   475682 |    62994     17 |        5 |      632
1415.86/1416.21	c 1414s |      19 |  3497408 |   476482 |    62994     17 |        5 |      632
1417.86/1418.22	c 1416s |      19 |  3508098 |   477382 |    62994     17 |        5 |      632
1419.86/1420.26	c 1418s |      19 |  3514837 |   478182 |    62994     17 |        5 |      632
1421.96/1422.34	c 1420s |      19 |  3519316 |   478982 |    62994     17 |        5 |      632
1424.05/1424.41	c 1422s |      19 |  3528598 |   479882 |    62994     17 |        5 |      632
1426.25/1426.64	c 1424s |      19 |  3537038 |   480782 |    62994     17 |        5 |      632
1428.45/1428.88	c 1426s |      19 |  3544004 |   481682 |    62994     17 |        5 |      632
1430.65/1431.05	c 1429s |      19 |  3551078 |   482682 |    62994     17 |        5 |      632
1432.85/1433.21	c 1431s |      19 |  3556733 |   483682 |    62994     17 |        5 |      632
1434.85/1435.28	c 1433s |      19 |  3560779 |   484682 |    62994     17 |        5 |      632
1437.05/1437.49	c 1435s |      19 |  3566274 |   485582 |    62994     17 |        5 |      632
1439.15/1439.52	c 1437s |      19 |  3572173 |   486382 |    62994     17 |        5 |      632
1441.15/1441.54	c 1439s |      19 |  3578727 |   487082 |    62994     17 |        5 |      632
1443.35/1443.70	c 1441s |      19 |  3587439 |   487882 |    62994     17 |        5 |      632
1445.55/1445.96	c 1444s |      19 |  3593867 |   488782 |    62994     17 |        5 |      632
1447.65/1448.01	c 1446s |      19 |  3601526 |   489482 |    62994     17 |        5 |      632
1449.75/1450.11	c 1448s |      19 |  3608967 |   490382 |    62994     17 |        5 |      632
1451.76/1452.15	c 1450s |      19 |  3613048 |   491182 |    62994     17 |        5 |      632
1453.75/1454.19	c 1452s |      19 |  3620354 |   491982 |    62994     17 |        5 |      632
1455.95/1456.32	c 1454s |      19 |  3625362 |   492682 |    62994     17 |        5 |      632
1458.05/1458.47	c 1456s |      19 |  3632031 |   493482 |    62994     17 |        5 |      632
1460.25/1460.61	c 1458s |      19 |  3636599 |   494282 |    62994     17 |        5 |      632
1462.25/1462.66	c 1460s |      19 |  3640745 |   495082 |    62994     17 |        5 |      632
1464.35/1464.77	c 1462s |      19 |  3646998 |   496182 |    62994     17 |        5 |      632
1466.45/1466.82	c 1464s |      19 |  3651210 |   497282 |    62994     17 |        5 |      632
1468.65/1469.07	c 1467s |      19 |  3654926 |   498382 |    62994     17 |        5 |      632
1470.85/1471.24	c 1469s |      19 |  3660863 |   499182 |    62994     17 |        5 |      632
1472.95/1473.34	c 1471s |      19 |  3667573 |   499982 |    62994     17 |        5 |      632
1475.05/1475.46	c 1473s |      19 |  3671442 |   500682 |    62994     17 |        5 |      632
1477.25/1477.64	c 1475s |      19 |  3675036 |   501782 |    62994     17 |        5 |      632
1479.35/1479.77	c 1477s |      19 |  3678613 |   502782 |    62994     17 |        5 |      632
1481.45/1481.88	c 1479s |      19 |  3684211 |   503582 |    62994     17 |        5 |      632
1483.74/1484.15	c 1482s |      19 |  3688473 |   504382 |    62994     18 |        5 |      632
1485.94/1486.33	c 1484s |      19 |  3692880 |   505082 |    62994     18 |        5 |      632
1488.05/1488.49	c 1486s |      19 |  3697802 |   505882 |    62994     18 |        5 |      632
1490.34/1490.72	c 1488s |      19 |  3703927 |   506882 |    62994     18 |        5 |      632
1492.64/1493.03	c 1491s |      19 |  3711706 |   507782 |    62994     18 |        5 |      632
1494.84/1495.22	c 1493s |      19 |  3720075 |   508782 |    62994     18 |        5 |      632
1496.85/1497.26	c 1495s |      19 |  3726134 |   509582 |    62994     18 |        5 |      632
1498.95/1499.38	c 1497s |      19 |  3732469 |   510182 |    62994     18 |        5 |      632
1501.04/1501.40	c 1499s |      19 |  3736855 |   510982 |    62994     18 |        5 |      632
1503.24/1503.65	c 1501s |      19 |  3744036 |   511682 |    62994     18 |        5 |      632
1505.24/1505.69	c 1503s |      19 |  3749770 |   512482 |    62994     18 |        5 |      632
1507.34/1507.75	c 1505s |      19 |  3757147 |   513382 |    62994     18 |        5 |      632
1509.44/1509.86	c 1507s |      19 |  3765344 |   514282 |    62994     18 |        5 |      632
1511.64/1512.05	c 1510s |      19 |  3773273 |   515282 |    62994     18 |        5 |      632
1513.94/1514.33	c 1512s |      19 |  3781651 |   516282 |    62994     18 |        5 |      632
1516.14/1516.58	c 1514s |      19 |  3788955 |   517182 |    62994     18 |        5 |      632
1518.24/1518.60	c 1516s |      19 |  3795474 |   518182 |    62994     18 |        5 |      632
1520.24/1520.61	c 1518s |      19 |  3801448 |   519082 |    62994     18 |        5 |      632
1522.24/1522.68	c 1520s |      19 |  3807290 |   520082 |    62994     18 |        5 |      632
1524.34/1524.79	c 1522s |      19 |  3812231 |   521282 |    62994     18 |        5 |      632
1526.44/1526.89	c 1524s |      19 |  3815654 |   522582 |    62994     18 |        5 |      632
1528.64/1529.07	c 1527s |      19 |  3821878 |   523482 |    62994     18 |        5 |      632
1530.84/1531.25	c 1529s |      19 |  3828226 |   524282 |    62994     18 |        5 |      632
1532.84/1533.28	c 1531s |      19 |  3836890 |   525182 |    62994     18 |        5 |      632
1535.03/1535.43	c 1533s |      19 |  3844155 |   526082 |    62994     18 |        5 |      632
1537.13/1537.50	c 1535s |      19 |  3848305 |   526982 |    62994     18 |        5 |      632
1539.33/1539.70	c 1537s |      19 |  3854052 |   527982 |    62994     18 |        5 |      632
1541.33/1541.75	c 1539s |      19 |  3860343 |   529082 |    62994     18 |        5 |      632
1543.43/1543.89	c 1541s |      19 |  3864860 |   530182 |    62994     18 |        5 |      632
1545.53/1545.98	c 1544s |      19 |  3868749 |   531482 |    62994     18 |        5 |      632
1547.63/1548.03	c 1546s |      19 |  3874809 |   532282 |    62994     18 |        5 |      632
1549.64/1550.08	c 1548s |      19 |  3880205 |   533082 |    62994     18 |        5 |      632
1551.84/1552.25	c 1550s |      19 |  3885348 |   533782 |    62994     18 |        5 |      632
1553.83/1554.26	c 1552s |      19 |  3890361 |   534582 |    62994     18 |        5 |      632
1555.83/1556.29	c 1554s |      19 |  3893126 |   535282 |    62994     18 |        5 |      632
1558.03/1558.44	c 1556s |      19 |  3898674 |   536082 |    62994     18 |        5 |      632
1560.13/1560.58	c 1558s |      19 |  3904488 |   536982 |    62994     18 |        5 |      632
1562.33/1562.72	c 1560s |      19 |  3907549 |   537682 |    62994     19 |        5 |      632
1564.33/1564.73	c 1562s |      19 |  3912536 |   538782 |    62994     19 |        5 |      632
1566.53/1566.91	c 1565s |      19 |  3916404 |   539982 |    62994     19 |        5 |      632
1568.73/1569.12	c 1567s |      19 |  3922442 |   540882 |    62994     19 |        5 |      632
1570.93/1571.35	c 1569s |      19 |  3929806 |   541782 |    62994     19 |        5 |      632
1573.13/1573.53	c 1571s |      19 |  3933999 |   542682 |    62994     19 |        5 |      632
1575.13/1575.55	c 1573s |      19 |  3938004 |   543582 |    62994     19 |        5 |      632
1577.33/1577.70	c 1575s |      19 |  3940738 |   544582 |    62994     19 |        5 |      632
1579.53/1579.91	c 1578s |      19 |  3946516 |   545482 |    62994     19 |        5 |      632
1581.63/1582.02	c 1580s |      19 |  3952730 |   546382 |    62994     19 |        5 |      632
1583.63/1584.04	c 1582s |      19 |  3959761 |   547182 |    62994     19 |        5 |      632
1585.93/1586.34	c 1584s |      19 |  3965555 |   548082 |    62994     19 |        5 |      632
1588.03/1588.47	c 1586s |      19 |  3973239 |   549082 |    62994     19 |        5 |      632
1590.13/1590.60	c 1588s |      19 |  3979716 |   550082 |    62994     19 |        5 |      632
1592.23/1592.65	c 1590s |      19 |  3985396 |   550982 |    62994     19 |        5 |      632
1594.22/1594.69	c 1592s |      19 |  3991080 |   552282 |    62994     19 |        5 |      632
1596.42/1596.85	c 1594s |      19 |  3995847 |   553482 |    62994     19 |        5 |      632
1598.42/1598.86	c 1596s |      19 |  4002024 |   554482 |    62994     19 |        5 |      632
1600.52/1600.91	c 1599s |      19 |  4009160 |   555382 |    62994     19 |        5 |      632
1602.62/1603.05	c 1601s |      19 |  4015464 |   556282 |    62994     19 |        5 |      632
1604.72/1605.19	c 1603s |      19 |  4021608 |   557282 |    62994     19 |        5 |      632
1606.83/1607.24	c 1605s |      19 |  4026748 |   558382 |    62994     19 |        5 |      632
1608.93/1609.33	c 1607s |      19 |  4031124 |   559582 |    62994     19 |        5 |      632
1611.02/1611.49	c 1609s |      19 |  4034759 |   560682 |    62994     19 |        5 |      632
1613.12/1613.55	c 1611s |      19 |  4039395 |   561682 |    62994     19 |        5 |      632
1615.12/1615.56	c 1613s |      19 |  4041941 |   562682 |    62994     19 |        5 |      632
1617.22/1617.63	c 1615s |      19 |  4045515 |   563482 |    62994     19 |        5 |      632
1619.22/1619.64	c 1617s |      19 |  4049310 |   564182 |    62994     19 |        5 |      632
1621.42/1621.85	c 1619s |      19 |  4054808 |   565082 |    62994     19 |        5 |      632
1623.72/1624.11	c 1622s |      19 |  4059453 |   565982 |    62994     19 |        5 |      632
1625.92/1626.30	c 1624s |      19 |  4065290 |   566782 |    62994     19 |        5 |      632
1628.12/1628.52	c 1626s |      19 |  4068763 |   567682 |    62994     19 |        5 |      632
1630.32/1630.78	c 1628s |      19 |  4073828 |   568582 |    62994     19 |        5 |      632
1632.52/1632.96	c 1631s |      19 |  4077239 |   569482 |    62994     19 |        5 |      632
1635.02/1635.47	c 1633s |      19 |  4079481 |   570382 |    62994     20 |        5 |      632
1637.22/1637.67	c 1635s |      19 |  4082846 |   571082 |    62994     20 |        5 |      632
1639.22/1639.68	c 1637s |      19 |  4088305 |   572082 |    62994     20 |        5 |      632
1641.32/1641.76	c 1639s |      19 |  4092569 |   572982 |    62994     20 |        5 |      632
1643.32/1643.77	c 1641s |      19 |  4096858 |   573982 |    62994     20 |        5 |      632
1645.52/1645.90	c 1644s |      19 |  4099938 |   575082 |    62994     20 |        5 |      632
1647.53/1647.91	c 1646s |      19 |  4103353 |   576082 |    62994     20 |        5 |      632
1649.52/1649.94	c 1648s |      19 |  4107298 |   576982 |    62994     20 |        5 |      632
1651.62/1652.05	c 1650s |      19 |  4111729 |   578082 |    62994     20 |        5 |      632
1653.72/1654.20	c 1652s |      19 |  4117251 |   579282 |    62994     20 |        5 |      632
1655.92/1656.34	c 1654s |      19 |  4124086 |   580382 |    62994     20 |        5 |      632
1657.92/1658.35	c 1656s |      19 |  4127379 |   581282 |    62994     20 |        5 |      632
1659.92/1660.38	c 1658s |      19 |  4130802 |   582482 |    62994     20 |        5 |      632
1662.02/1662.49	c 1660s |      19 |  4136328 |   583482 |    62994     20 |        5 |      632
1664.12/1664.57	c 1662s |      19 |  4139984 |   584482 |    62994     20 |        5 |      632
1666.32/1666.74	c 1664s |      19 |  4143777 |   585582 |    62994     20 |        5 |      632
1668.32/1668.78	c 1666s |      19 |  4147028 |   586682 |    62994     20 |        5 |      632
1670.42/1670.82	c 1668s |      19 |  4150965 |   587582 |    62994     20 |        5 |      632
1672.42/1672.82	c 1670s |      19 |  4155279 |   588482 |    62994     20 |        5 |      632
1674.52/1674.95	c 1673s |      19 |  4158515 |   589582 |    62994     20 |        5 |      632
1676.52/1676.95	c 1675s |      19 |  4162304 |   590582 |    62994     20 |        5 |      632
1678.62/1679.00	c 1677s |      19 |  4165398 |   591682 |    62994     20 |        5 |      632
1680.82/1681.25	c 1679s |      19 |  4170092 |   592682 |    62994     20 |        5 |      632
1682.82/1683.29	c 1681s |      19 |  4173207 |   593782 |    62994     20 |        5 |      632
1684.92/1685.34	c 1683s |      19 |  4176382 |   594682 |    62994     20 |        5 |      632
1686.91/1687.36	c 1685s |      19 |  4179144 |   595782 |    62994     20 |        5 |      632
1688.91/1689.39	c 1687s |      19 |  4181573 |   596782 |    62994     20 |        5 |      632
1691.01/1691.40	c 1689s |      19 |  4185637 |   597782 |    62994     20 |        5 |      632
1693.11/1693.53	c 1691s |      19 |  4189265 |   598982 |    62994     20 |        5 |      632
1695.11/1695.58	c 1693s |      19 |  4191252 |   600082 |    62994     20 |        5 |      632
1702.61/1703.00	c 1701s |      19 |  4192694 |   601082 |    62994     21 |        5 |      632
1728.21/1728.62	c 1726s |      19 |  4192864 |   601182 |    62994     21 |        5 |      632
1736.71/1737.15	c 1735s |      19 |  4193408 |   601282 |    62994     21 |        5 |      632
1739.70/1740.15	c 1738s |      19 |  4193978 |   601382 |    62994     21 |        5 |      632
1742.40/1742.80	c 1740s |      19 |  4196335 |   601682 |    62994     21 |        5 |      632
1746.90/1747.38	c 1745s |      19 |  4197537 |   601782 |    62994     21 |        5 |      632
1749.01/1749.41	c 1747s |      19 |  4202119 |   602182 |    62994     21 |        5 |      632
1754.70/1755.10	c 1753s |      19 |  4203343 |   602282 |    62994     21 |        5 |      632
1756.70/1757.18	c 1755s |      19 |  4212293 |   603182 |    62994     21 |        5 |      632
1759.00/1759.46	c 1757s |      19 |  4220615 |   603982 |    62994     21 |        5 |      632
1761.10/1761.56	c 1759s |      19 |  4229769 |   604982 |    62994     21 |        5 |      632
1763.20/1763.69	c 1761s |      19 |  4238079 |   605882 |    62994     21 |        5 |      632
1765.30/1765.79	c 1763s |      19 |  4244667 |   606582 |    62994     21 |        5 |      632
1767.50/1767.97	c 1766s |      19 |  4251840 |   607482 |    62994     21 |        5 |      632
1769.51/1769.99	c 1768s |      19 |  4257774 |   608282 |    62994     21 |        5 |      632
1771.71/1772.19	c 1770s |      19 |  4266077 |   609282 |    62994     21 |        5 |      632
1773.91/1774.32	c 1772s |      19 |  4273722 |   610382 |    62994     21 |        5 |      632
1775.90/1776.34	c 1774s |      19 |  4279846 |   611282 |    62994     21 |        5 |      632
1778.10/1778.51	c 1776s |      19 |  4285473 |   612182 |    62994     21 |        5 |      632
1780.10/1780.54	c 1778s |      19 |  4292212 |   613082 |    62994     21 |        5 |      632
1782.20/1782.64	c 1780s |      19 |  4296968 |   613982 |    62994     21 |        5 |      632
1784.40/1784.82	c 1782s |      19 |  4300967 |   614982 |    62994     21 |        5 |      632
1786.40/1786.86	c 1784s |      19 |  4304064 |   615782 |    62994     21 |        5 |      632
1788.50/1788.97	c 1787s |      19 |  4312081 |   616582 |    62994     21 |        5 |      632
1790.80/1791.25	c 1789s |      19 |  4320063 |   617282 |    62994     21 |        5 |      632
1792.80/1793.27	c 1791s |      19 |  4326954 |   617982 |    62994     21 |        5 |      632
1794.90/1795.36	c 1793s |      19 |  4334739 |   618682 |    62994     21 |        5 |      632
1796.89/1797.39	c 1795s |      19 |  4341222 |   619182 |    62994     21 |        5 |      632
1798.99/1799.45	c 1797s |      19 |  4348360 |   619982 |    62994     21 |        5 |      632

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

pid=27467
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: 1.93 1.76 1.99 3/179 27470
/proc/meminfo: memFree=29116364/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 2700 0 0 0 0 0 0 0 20 0 4 0 13920149 740749312 3060 33554432000 4194304 16246674 140736574357424 140736574356848 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 181615 3069 441 2943 0 178509 0
[pid=27470/tid=27471] ppid=27467 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 760672256 3134 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=746940 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 764866560 3152 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13920150 769060864 3168 33554432000 4194304 16246674 140736574357424 140397347065008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 1.93 1.76 1.99 3/179 27470
/proc/meminfo: memFree=29116364/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 27259 0 0 0 6 3 0 0 20 0 4 0 13920149 1333334016 27558 33554432000 4194304 16246674 140736574357424 140736574356736 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 325521 27574 801 2943 0 322415 0
[pid=27470/tid=27471] ppid=27467 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1333334016 27584 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1333334016 27596 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1333334016 27607 33554432000 4194304 16246674 140736574357424 140397347065008 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.200514 s]
/proc/loadavg: 1.93 1.76 1.99 3/179 27470
/proc/meminfo: memFree=29116364/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 45652 0 0 0 13 6 0 0 20 0 4 0 13920149 1344868352 46461 33554432000 4194304 16246674 140736574357424 140736574340416 13750800 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 328337 46461 802 2943 0 325231 0
[pid=27470/tid=27471] ppid=27467 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1344868352 46461 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1344868352 46461 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1344868352 46461 33554432000 4194304 16246674 140736574357424 140397347065008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300481 s]
/proc/loadavg: 1.93 1.76 1.99 3/179 27470
/proc/meminfo: memFree=29116364/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 60332 0 0 0 22 7 0 0 20 0 4 0 13920149 1344868352 61141 33554432000 4194304 16246674 140736574357424 140736574340416 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 328337 61141 802 2943 0 325231 0
[pid=27470/tid=27471] ppid=27467 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1344868352 61141 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1344868352 61141 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1344868352 61141 33554432000 4194304 16246674 140736574357424 140397347065008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700403 s]
/proc/loadavg: 1.93 1.76 1.99 3/179 27470
/proc/meminfo: memFree=29116364/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 69923 0 0 0 60 9 0 0 20 0 4 0 13920149 1344868352 70732 33554432000 4194304 16246674 140736574357424 140736574340416 7203602 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 328337 70732 830 2943 0 325231 0
[pid=27470/tid=27471] ppid=27467 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1344868352 70735 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1344868352 70736 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1344868352 70736 33554432000 4194304 16246674 140736574357424 140397347065008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 1.93 1.76 1.99 3/183 27474
/proc/meminfo: memFree=28549648/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 242858 0 0 0 119 30 0 0 20 0 4 0 13920149 1344868352 243667 33554432000 4194304 16246674 140736574357424 140736574339328 6757465 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 328337 243681 837 2943 0 325231 0
[pid=27470/tid=27471] ppid=27467 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1344868352 243690 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1344868352 243700 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1344868352 243705 33554432000 4194304 16246674 140736574357424 140397347065008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 1.94 1.77 1.99 3/183 27474
/proc/meminfo: memFree=28019796/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1331780 CPUtime=3.09 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 273604 0 0 0 276 33 0 0 20 0 4 0 13920149 1363742720 274413 33554432000 4194304 16246674 140736574357424 140736574339328 5531896 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 332945 274413 884 2943 0 329839 0
[pid=27470/tid=27471] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274413 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274413 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274413 33554432000 4194304 16246674 140736574357424 140397347065008 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) 1331780

[startup+6.30036 s]
/proc/loadavg: 1.94 1.77 1.99 3/183 27474
/proc/meminfo: memFree=28019736/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1331780 CPUtime=6.29 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 273618 0 0 0 596 33 0 0 20 0 4 0 13920149 1363742720 274427 33554432000 4194304 16246674 140736574357424 140736574339328 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 332945 274427 887 2943 0 329839 0
[pid=27470/tid=27471] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274427 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274427 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274427 33554432000 4194304 16246674 140736574357424 140397347065008 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) 1331780

[startup+12.7004 s]
/proc/loadavg: 2.02 1.79 1.99 3/183 27474
/proc/meminfo: memFree=28018920/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1331780 CPUtime=12.68 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 273620 0 0 0 1235 33 0 0 20 0 4 0 13920149 1363742720 274429 33554432000 4194304 16246674 140736574357424 140736574339328 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 332945 274429 887 2943 0 329839 0
[pid=27470/tid=27471] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274429 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274429 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274429 33554432000 4194304 16246674 140736574357424 140397347065008 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) 1331780

[startup+25.5005 s]
/proc/loadavg: 2.09 1.81 2.00 3/183 27474
/proc/meminfo: memFree=28013812/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1331780 CPUtime=25.48 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 273620 0 0 0 2515 33 0 0 20 0 4 0 13920149 1363742720 274429 33554432000 4194304 16246674 140736574357424 140736574339328 4220498 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 332945 274429 887 2943 0 329839 0
[pid=27470/tid=27471] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274429 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274429 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274429 33554432000 4194304 16246674 140736574357424 140397347065008 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) 1331780

[startup+51.1005 s]
/proc/loadavg: 2.20 1.86 2.01 3/183 27474
/proc/meminfo: memFree=28014264/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1331780 CPUtime=51.08 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 273620 0 0 0 5075 33 0 0 20 0 4 0 13920149 1363742720 274429 33554432000 4194304 16246674 140736574357424 140736574339328 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 332945 274429 887 2943 0 329839 0
[pid=27470/tid=27471] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274429 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274429 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274429 33554432000 4194304 16246674 140736574357424 140397347065008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1331780

[startup+102.3 s]
/proc/loadavg: 2.27 1.94 2.02 3/183 27475
/proc/meminfo: memFree=27997876/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1331780 CPUtime=102.28 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 273623 0 0 0 10194 34 0 0 20 0 4 0 13920149 1363742720 274432 33554432000 4194304 16246674 140736574357424 140736574339328 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 332945 274432 889 2943 0 329839 0
[pid=27470/tid=27471] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274432 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274432 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1363742720 274432 33554432000 4194304 16246674 140736574357424 140397347065008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1331780


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

/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397347065008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1398340

[startup+1362.3 s]
/proc/loadavg: 2.25 2.22 2.17 3/183 27506
/proc/meminfo: memFree=27894404/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1398340 CPUtime=1361.96 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 290491 0 0 0 136152 44 0 0 20 0 4 0 13920149 1431900160 291075 33554432000 4194304 16246674 140736574357424 140736574339328 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 349585 291075 889 2943 0 346479 0
[pid=27470/tid=27471] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397347065008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1398340

[startup+1422.3 s]
/proc/loadavg: 2.36 2.26 2.18 3/183 27507
/proc/meminfo: memFree=27894480/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1398340 CPUtime=1421.96 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 290492 0 0 0 142151 45 0 0 20 0 4 0 13920149 1431900160 291075 33554432000 4194304 16246674 140736574357424 140736574339328 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 349585 291075 889 2943 0 346479 0
[pid=27470/tid=27471] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397347065008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1398340

[startup+1482.3 s]
/proc/loadavg: 2.31 2.25 2.18 4/183 27509
/proc/meminfo: memFree=27894592/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1398340 CPUtime=1481.94 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 290492 0 0 0 148149 45 0 0 20 0 4 0 13920149 1431900160 291075 33554432000 4194304 16246674 140736574357424 140736574356520 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 349585 291075 889 2943 0 346479 0
[pid=27470/tid=27471] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397347065008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1398340

[startup+1542.31 s]
/proc/loadavg: 2.15 2.22 2.18 3/183 27510
/proc/meminfo: memFree=27894588/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1398340 CPUtime=1541.94 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 290492 0 0 0 154149 45 0 0 20 0 4 0 13920149 1431900160 291075 33554432000 4194304 16246674 140736574357424 140736574339328 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 349585 291075 889 2943 0 346479 0
[pid=27470/tid=27471] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397347065008 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) 1398340

[startup+1602.3 s]
/proc/loadavg: 2.27 2.24 2.18 3/183 27511
/proc/meminfo: memFree=27894784/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1398340 CPUtime=1601.92 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 290492 0 0 0 160147 45 0 0 20 0 4 0 13920149 1431900160 291075 33554432000 4194304 16246674 140736574357424 140736574339328 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 349585 291075 889 2943 0 346479 0
[pid=27470/tid=27471] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1431900160 291075 33554432000 4194304 16246674 140736574357424 140397347065008 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) 1398340

[startup+1662.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/184 27515
/proc/meminfo: memFree=27884944/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1408580 CPUtime=1661.92 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 292805 0 0 0 166146 46 0 0 20 0 4 0 13920149 1442385920 293388 33554432000 4194304 16246674 140736574357424 140736574339328 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 352145 293388 889 2943 0 349039 0
[pid=27470/tid=27471] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293388 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293388 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293388 33554432000 4194304 16246674 140736574357424 140397347065008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1408580

[startup+1722.3 s]
/proc/loadavg: 2.43 2.30 2.20 3/183 27516
/proc/meminfo: memFree=27884532/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1408580 CPUtime=1721.9 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 293052 0 0 0 172141 49 0 0 20 0 4 0 13920149 1442385920 293635 33554432000 4194304 16246674 140736574357424 140736574356520 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 352145 293635 889 2943 0 349039 0
[pid=27470/tid=27471] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293635 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293635 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293635 33554432000 4194304 16246674 140736574357424 140397347065008 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) 1408580

[startup+1782.3 s]
/proc/loadavg: 1.68 2.11 2.14 2/173 27548
/proc/meminfo: memFree=29049108/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1408580 CPUtime=1781.9 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 293052 0 0 0 178138 52 0 0 20 0 4 0 13920149 1442385920 293635 33554432000 4194304 16246674 140736574357424 140736574339328 5754752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 352145 293635 889 2943 0 349039 0
[pid=27470/tid=27471] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293635 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293635 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293635 33554432000 4194304 16246674 140736574357424 140397347065008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1408580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.53 2.06 2.13 2/173 27549
/proc/meminfo: memFree=29048968/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1408580 CPUtime=1800.09 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 293052 0 0 0 179957 52 0 0 20 0 4 0 13920149 1442385920 293635 33554432000 4194304 16246674 140736574357424 140736574339328 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 352145 293635 889 2943 0 349039 0
[pid=27470/tid=27471] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293635 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293635 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293635 33554432000 4194304 16246674 140736574357424 140397347065008 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) 1408580

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

[startup+1800.5 s]
/proc/loadavg: 1.53 2.06 2.13 2/173 27549
/proc/meminfo: memFree=29048968/32872528 swapFree=1499116/1695340
[pid=27470] ppid=27467 vsize=1408580 CPUtime=1800.09 cores=0,2,4,6
/proc/27470/stat : 27470 (toysat) R 27467 27470 24593 0 -1 4202496 293052 0 0 0 179957 52 0 0 20 0 4 0 13920149 1442385920 293635 33554432000 4194304 16246674 140736574357424 140736574339328 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27470/statm: 352145 293635 889 2943 0 349039 0
[pid=27470/tid=27471] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27471/stat : 27471 (toysat) S 27467 27470 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293635 33554432000 4194304 16246674 140736574357424 140397368028400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27470/tid=27472] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27472/stat : 27472 (toysat) S 27467 27470 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293635 33554432000 4194304 16246674 140736574357424 140397357538544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27470/tid=27473] ppid=27467 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/27470/task/27473/stat : 27473 (toysat) S 27467 27470 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13920150 1442385920 293635 33554432000 4194304 16246674 140736574357424 140397347065008 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) 1408580

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1799.59
CPU system time (s): 0.52392
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 1408580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.52392
maximum resident set size= 1174540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293052
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= 244
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6013 second user time and 6.90895 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-17 01:12:24
IDJOB=4097898
IDBENCH=107823
IDSOLVER=2542
FILE ID=node137/4097898-1466118744
RUNJOBID= node137-1466118679-27241
PBS_JOBID= 19904058
Free space on /tmp= 71684 MiB

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

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

MD5SUM BENCH= fe151e39412ca279581ad7c1e85ba474
RANDOM SEED=1767479760

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29117008 kB
Buffers:           70516 kB
Cached:           189664 kB
SwapCached:         2428 kB
Active:          1244312 kB
Inactive:         107732 kB
Active(anon):    1092048 kB
Inactive(anon):     1904 kB
Active(file):     152264 kB
Inactive(file):   105828 kB
Unevictable:     1695340 kB
Mlocked:         1499116 kB
SwapTotal:      67108856 kB
SwapFree:       67099536 kB
Dirty:             19796 kB
Writeback:             0 kB
AnonPages:       2785664 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             572976 kB
SReclaimable:      16508 kB
SUnreclaim:       556468 kB
KernelStack:        1520 kB
PageTables:         9876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2929960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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= 71684 MiB
End job on node137 at 2016-06-17 01:42:25