Trace number 4098052

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_7.opb
MD5SUM92da582f4b822563e9d3be08421e1a61
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 benchmark3.13352
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5112
Total number of constraints24926
Number of constraints which are clauses24921
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 constraint71
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 7
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 78
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:21:46+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-4098052-1466119306.opb"]
0.00/0.01	c use --random-gen="2336484672 2837741726 437238082 1568976345 2761782038 1847757270 3951683014 4098567812 2946471211 4092152910 1270758851 634921178 2862340449 1879890118 3603332827 1438580183 3832475474 3439585916 516682280 1047463754 3611051823 434735525 1749012269 3610060954 4001598728 2812204775 559660428 1851008439 3954482940 1792438490 3432786036 2781251573 3285888421 162146144 387544460 1913376060 3602437875 1111394718 605467752 2593369642 1912067391 4206567452 3712252394 1266801208 1485431082 1848746291 482296154 1771970260 3817960831 559867798 362254787 61925399 851642269 2130834561 1490669261 3997025709 512143290 1033319114 2762442197 1258197463 306628864 1365502372 865211197 164465305 4281506663 3080186200 1420159006 4090273072 4134030754 300662020 3144561060 4062065436 4225817478 1342916187 802334726 2975486805 1100113312 4048397687 181074609 4238075779 4100543150 4217279099 2606999690 308669193 1871669766 4094653604 2055435100 705648294 2098541582 2009976682 823605551 4033201951 307468765 2154627570 1594630430 4164315388 1845393318 3121606935 342121523 3821405825 894401472 588121477 1494012688 3976950415 391998227 2804832025 2098544425 887468389 2512988603 3379047875 3711247355 4123850107 3616638774 2517395503 1108350580 756002320 1819772861 3958598233 2960829416 1697403666 4259641256 3642893650 1344951249 1941725112 1886068587 1172814718 2594361640 3231222463 283769117 878060749 986266908 3690570599 3420321097 1738474343 2379117349 1996179246 2059934249 3250190817 2752989079 678021129 1197491079 2430426959 2611161650 2941910203 3360737068 3745495571 2078379885 1227108261 3662061744 3201750671 630169313 3078547053 2235045686 2798707197 2883018990 211969415 2335864720 3886304803 26152862 1323468443 3476280875 639781529 2133979066 729211197 102426678 3420620752 4133022702 2845719371 2726247187 3885742141 719402861 196995412 3876627034 1483640555 1482553312 1611135382 3843641039 2777322406 2760265662 4245032090 3456987747 1580867110 1542336167 2588681482 4012466898 1207395676 435164702 1384549134 2035914966 195774627 382415101 3452849200 1123683974 3620579594 4192782412 1381160380 3213281354 370103573 3109698914 710685210 3083300944 1506270994 3527019443 4244179064 1225445983 311867439 457833001 1441693241 2953750772 2797591387 181234805 1172665513 98979301 4148453667 2907075638 1084122708 1151308763 2376912844 771417633 1184479425 3270267692 3435755790 1721955515 824187935 2140794842 2383630911 2532310382 2428787673 1117635470 22309697 2283781496 1864221025 726870662 3726674017 240335298 430140234 3814274198 436112936 3373087967 664660121 847485145 503991186 3425367991 1012953115 1084433570 1048756208 1856324390 3550845088 1920996221 901783471 842330931 3872710495 2545435811 4143506473 2497031093 450582493 255 362436" option to reproduce the execution
0.59/0.66	c #vars 5112
0.59/0.66	c #constraints 24926
1.79/1.81	c Solving starts ...
1.79/1.81	c ============================[ Search Statistics ]============================
1.79/1.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.79/1.81	c       |         |          |          |    Limit     GC | Var      | Constra 
1.79/1.81	c =============================================================================
1.79/1.82	c  0.0s |       0 |        0 |        0 |    10011      0 |        5 |        0
2.20/2.25	c  0.4s |       1 |     1437 |      100 |    10011      0 |        5 |      624
2.79/2.88	c  1.1s |       2 |     3869 |      250 |    11013      0 |        5 |      624
3.30/3.38	c  1.6s |       3 |     9251 |      475 |    12115      0 |        5 |      624
4.40/4.44	c  2.6s |       4 |    14187 |      813 |    13327      0 |        5 |      624
6.09/6.15	c  4.3s |       5 |    20860 |     1320 |    14660      0 |        5 |      624
7.99/8.04	c  6.2s |       6 |    26309 |     2081 |    17740      0 |        5 |      624
10.29/10.36	c  8.5s |       6 |    30710 |     2881 |    17740      0 |        5 |      624
11.49/11.54	c  9.7s |       7 |    35597 |     3223 |    19514      0 |        5 |      624
13.79/13.86	c 12.0s |       7 |    41941 |     3823 |    19514      0 |        5 |      624
15.99/16.05	c 14.2s |       7 |    49670 |     4723 |    19514      0 |        5 |      624
16.69/16.77	c 15.0s |       8 |    51781 |     4936 |    21466      0 |        5 |      624
18.80/18.83	c 17.0s |       8 |    57710 |     5536 |    21466      0 |        5 |      624
21.09/21.18	c 19.4s |       8 |    62235 |     6336 |    21466      0 |        5 |      624
23.19/23.25	c 21.4s |       8 |    69910 |     6936 |    21466      0 |        5 |      624
25.49/25.55	c 23.7s |       9 |    76853 |     7506 |    23613      0 |        5 |      624
27.88/27.90	c 26.1s |       9 |    83925 |     8106 |    23613      0 |        5 |      624
29.98/30.00	c 28.2s |       9 |    91026 |     8706 |    23613      0 |        5 |      624
32.18/32.28	c 30.5s |       9 |    95536 |     9606 |    23613      0 |        5 |      624
34.48/34.52	c 32.7s |       9 |   100985 |    10206 |    23613      0 |        5 |      624
36.78/36.81	c 35.0s |       9 |   105105 |    11006 |    23613      0 |        5 |      624
37.78/37.81	c 36.0s |      10 |   108731 |    11361 |    25975      0 |        5 |      624
39.78/39.81	c 38.0s |      10 |   114472 |    11861 |    25975      0 |        5 |      624
41.88/41.98	c 40.2s |      10 |   121955 |    12461 |    25975      0 |        5 |      624
44.18/44.26	c 42.5s |      10 |   128277 |    13061 |    25975      0 |        5 |      624
46.38/46.42	c 44.6s |      10 |   132692 |    13861 |    25975      0 |        5 |      624
48.38/48.42	c 46.6s |      10 |   137143 |    14461 |    25975      0 |        5 |      624
50.68/50.77	c 49.0s |      10 |   144518 |    15061 |    25975      0 |        5 |      624
52.97/53.02	c 51.2s |      10 |   151021 |    15661 |    25975      0 |        5 |      624
54.98/55.02	c 53.2s |      10 |   156314 |    16461 |    25975      0 |        5 |      624
57.18/57.23	c 55.4s |      11 |   161931 |    17144 |    28573      0 |        5 |      624
59.17/59.29	c 57.5s |      11 |   167675 |    17644 |    28573      0 |        5 |      624
61.37/61.43	c 59.6s |      11 |   174522 |    18344 |    28573      0 |        5 |      624
63.57/63.69	c 61.9s |      11 |   179091 |    19144 |    28573      0 |        5 |      624
65.87/65.93	c 64.1s |      11 |   185622 |    19844 |    28573      0 |        5 |      624
68.06/68.19	c 66.4s |      11 |   191392 |    20644 |    28573      0 |        5 |      624
70.37/70.46	c 68.6s |      11 |   198870 |    21244 |    28573      0 |        5 |      624
72.57/72.64	c 70.8s |      11 |   202741 |    21944 |    28573      0 |        5 |      624
74.87/74.95	c 73.1s |      11 |   209732 |    22644 |    28573      0 |        5 |      624
77.16/77.27	c 75.5s |      11 |   215385 |    23244 |    28573      0 |        5 |      624
79.36/79.42	c 77.6s |      11 |   219956 |    24044 |    28573      0 |        5 |      624
81.66/81.79	c 80.0s |      11 |   228339 |    24744 |    28573      0 |        5 |      624
83.96/84.04	c 82.2s |      11 |   234544 |    25444 |    28573      0 |        5 |      624
84.96/85.01	c 83.2s |      12 |   236143 |    25819 |    31431      0 |        5 |      624
87.26/87.35	c 85.5s |      12 |   241576 |    26419 |    31431      0 |        5 |      624
89.36/89.50	c 87.7s |      12 |   247819 |    26919 |    31431      0 |        5 |      624
91.46/91.56	c 89.7s |      12 |   251093 |    27619 |    31431      0 |        5 |      624
93.76/93.84	c 92.0s |      12 |   257413 |    28319 |    31431      0 |        5 |      624
95.96/96.01	c 94.2s |      12 |   262914 |    28819 |    31431      0 |        5 |      624
98.16/98.24	c 96.4s |      12 |   268934 |    29319 |    31431      0 |        5 |      624
100.45/100.57	c 98.8s |      12 |   277006 |    29919 |    31431      0 |        5 |      624
102.75/102.83	c  101s |      12 |   283092 |    30719 |    31431      0 |        5 |      624
104.95/105.06	c  103s |      12 |   289885 |    31319 |    31431      0 |        5 |      624
107.05/107.15	c  105s |      12 |   296692 |    31919 |    31431      0 |        5 |      624
109.35/109.40	c  107s |      12 |   301184 |    32719 |    31431      0 |        5 |      624
111.35/111.49	c  109s |      12 |   307259 |    33219 |    31431      1 |        5 |      624
113.45/113.59	c  111s |      12 |   313112 |    33919 |    31431      1 |        5 |      624
115.65/115.78	c  113s |      12 |   321082 |    34619 |    31431      1 |        5 |      624
117.76/117.81	c  115s |      12 |   330790 |    35219 |    31431      1 |        5 |      624
119.86/119.93	c  118s |      12 |   338186 |    35919 |    31431      1 |        5 |      624
121.85/121.99	c  120s |      12 |   343537 |    36619 |    31431      1 |        5 |      624
123.95/124.02	c  122s |      12 |   351151 |    37219 |    31431      1 |        5 |      624
126.05/126.16	c  124s |      12 |   359686 |    38119 |    31431      1 |        5 |      624
128.45/128.50	c  126s |      12 |   366756 |    38719 |    34575      1 |        5 |      624
128.85/128.98	c  127s |      13 |   367711 |    38832 |    34575      1 |        5 |      624
130.95/131.09	c  129s |      13 |   373446 |    39432 |    34575      1 |        5 |      624
133.34/133.41	c  131s |      13 |   379220 |    40232 |    34575      1 |        5 |      624
135.54/135.61	c  133s |      13 |   384420 |    41032 |    34575      1 |        5 |      624
137.64/137.70	c  135s |      13 |   391545 |    41732 |    34575      1 |        5 |      624
139.94/140.00	c  138s |      13 |   399690 |    42632 |    34575      1 |        5 |      624
142.14/142.25	c  140s |      13 |   404537 |    43432 |    34575      1 |        5 |      624
144.34/144.44	c  142s |      13 |   410066 |    44132 |    34575      1 |        5 |      624
146.34/146.48	c  144s |      13 |   414886 |    44832 |    34575      1 |        5 |      624
148.54/148.68	c  146s |      13 |   420871 |    45632 |    34575      1 |        5 |      624
150.83/150.93	c  149s |      13 |   426469 |    46432 |    34575      1 |        5 |      624
153.03/153.15	c  151s |      13 |   430855 |    47232 |    34575      1 |        5 |      624
155.14/155.22	c  153s |      13 |   435746 |    47932 |    34575      1 |        5 |      624
157.24/157.39	c  155s |      13 |   439536 |    48632 |    34575      1 |        5 |      624
159.33/159.45	c  157s |      13 |   444202 |    49332 |    34575      1 |        5 |      624
161.52/161.64	c  159s |      13 |   447548 |    50032 |    34575      1 |        5 |      624
163.62/163.77	c  161s |      13 |   450829 |    50732 |    34575      1 |        5 |      624
165.92/166.02	c  164s |      13 |   454617 |    51432 |    34575      1 |        5 |      624
167.92/168.03	c  166s |      13 |   458911 |    52132 |    34575      1 |        5 |      624
170.02/170.13	c  168s |      13 |   460345 |    52632 |    34575      1 |        5 |      624
172.32/172.47	c  170s |      13 |   461790 |    53232 |    34575      1 |        5 |      624
174.42/174.59	c  172s |      13 |   465094 |    53932 |    34575      2 |        5 |      624
177.03/177.18	c  175s |      13 |   473049 |    54632 |    34575      2 |        5 |      624
179.82/179.95	c  178s |      13 |   474430 |    54732 |    34575      2 |        5 |      624
182.12/182.25	c  180s |      13 |   483460 |    55332 |    34575      2 |        5 |      624
184.12/184.26	c  182s |      13 |   488874 |    56032 |    34575      2 |        5 |      624
186.22/186.33	c  184s |      13 |   496855 |    56732 |    34575      2 |        5 |      624
188.42/188.56	c  186s |      13 |   502940 |    57432 |    34575      2 |        5 |      624
190.62/190.76	c  188s |      13 |   507336 |    58132 |    38033      2 |        5 |      624
191.51/191.62	c  189s |      14 |   509505 |    58352 |    38033      2 |        5 |      624
193.71/193.83	c  192s |      14 |   513482 |    58952 |    38033      2 |        5 |      624
195.91/196.01	c  194s |      14 |   518621 |    59452 |    38033      2 |        5 |      624
197.92/198.01	c  196s |      14 |   525032 |    59952 |    38033      2 |        5 |      624
200.01/200.15	c  198s |      14 |   530895 |    60852 |    38033      2 |        5 |      624
202.21/202.39	c  200s |      14 |   537882 |    61452 |    38033      2 |        5 |      624
204.51/204.70	c  202s |      14 |   544624 |    61952 |    38033      2 |        5 |      624
206.71/206.87	c  205s |      14 |   550843 |    62552 |    38033      2 |        5 |      624
208.81/208.98	c  207s |      14 |   555814 |    63352 |    38033      2 |        5 |      624
211.11/211.21	c  209s |      14 |   563837 |    63952 |    38033      2 |        5 |      624
213.20/213.36	c  211s |      14 |   571627 |    64452 |    38033      2 |        5 |      624
215.51/215.66	c  213s |      14 |   577038 |    65152 |    38033      2 |        5 |      624
217.60/217.72	c  215s |      14 |   581568 |    65852 |    38033      2 |        5 |      624
219.80/219.96	c  218s |      14 |   589421 |    66452 |    38033      2 |        5 |      624
222.00/222.11	c  220s |      14 |   595814 |    66952 |    38033      2 |        5 |      624
224.10/224.24	c  222s |      14 |   600672 |    67652 |    38033      2 |        5 |      624
226.20/226.35	c  224s |      14 |   605313 |    68352 |    38033      2 |        5 |      624
228.60/228.74	c  226s |      14 |   613012 |    68952 |    38033      2 |        5 |      624
230.69/230.87	c  229s |      14 |   617894 |    69652 |    38033      2 |        5 |      624
233.10/233.30	c  231s |      14 |   624535 |    70452 |    38033      2 |        5 |      624
235.30/235.47	c  233s |      14 |   633525 |    71152 |    38033      2 |        5 |      624
237.69/237.84	c  236s |      14 |   641403 |    72052 |    38033      2 |        5 |      624
239.99/240.18	c  238s |      14 |   649222 |    72952 |    38033      2 |        5 |      624
242.39/242.51	c  240s |      14 |   659781 |    73652 |    38033      2 |        5 |      624
244.39/244.53	c  242s |      14 |   665551 |    74452 |    38033      2 |        5 |      624
246.40/246.57	c  244s |      14 |   670125 |    74952 |    38033      3 |        5 |      624
248.59/248.73	c  246s |      14 |   673893 |    75652 |    38033      3 |        5 |      624
250.88/251.01	c  249s |      14 |   683876 |    76452 |    38033      3 |        5 |      624
252.89/253.04	c  251s |      14 |   691324 |    77352 |    38033      3 |        5 |      624
254.88/255.09	c  253s |      14 |   698838 |    78252 |    38033      3 |        5 |      624
257.18/257.32	c  255s |      14 |   707495 |    79152 |    38033      3 |        5 |      624
259.38/259.50	c  257s |      14 |   715302 |    80052 |    38033      3 |        5 |      624
261.38/261.54	c  259s |      14 |   723704 |    81152 |    38033      3 |        5 |      624
263.58/263.75	c  261s |      14 |   732185 |    82352 |    38033      3 |        5 |      624
265.58/265.78	c  263s |      14 |   737717 |    83252 |    38033      3 |        5 |      624
267.78/267.92	c  266s |      14 |   743466 |    84352 |    38033      3 |        5 |      624
269.88/270.04	c  268s |      14 |   747975 |    85452 |    38033      3 |        5 |      624
272.57/272.77	c  270s |      14 |   752741 |    86452 |    38033      3 |        5 |      624
274.77/274.92	c  273s |      14 |   760869 |    86952 |    38033      3 |        5 |      624
276.77/276.96	c  275s |      14 |   766938 |    87452 |    41837      3 |        5 |      624
277.37/277.50	c  275s |      15 |   768858 |    87632 |    41837      3 |        5 |      624
279.37/279.57	c  277s |      15 |   774721 |    88432 |    41837      3 |        5 |      624
281.47/281.64	c  279s |      15 |   782066 |    88932 |    41837      3 |        5 |      624
283.86/284.07	c  282s |      15 |   788967 |    89532 |    41837      3 |        5 |      624
285.97/286.15	c  284s |      15 |   795203 |    90132 |    41837      3 |        5 |      624
288.26/288.49	c  286s |      15 |   800885 |    90932 |    41837      3 |        5 |      624
290.56/290.71	c  288s |      15 |   807753 |    91432 |    41837      3 |        5 |      624
292.66/292.80	c  290s |      15 |   812551 |    92132 |    41837      3 |        5 |      624
294.86/295.06	c  293s |      15 |   819144 |    92832 |    41837      3 |        5 |      624
296.96/297.18	c  295s |      15 |   825805 |    93332 |    41837      3 |        5 |      624
298.96/299.20	c  297s |      15 |   832041 |    94032 |    41837      3 |        5 |      624
301.36/301.54	c  299s |      15 |   841162 |    94732 |    41837      3 |        5 |      624
303.65/303.81	c  301s |      15 |   850484 |    95332 |    41837      3 |        5 |      624
305.76/305.93	c  304s |      15 |   856505 |    95932 |    41837      3 |        5 |      624
307.75/307.95	c  306s |      15 |   862892 |    96632 |    41837      3 |        5 |      624
309.85/310.08	c  308s |      15 |   867406 |    97232 |    41837      3 |        5 |      624
313.25/313.42	c  311s |      15 |   876225 |    98032 |    41837      4 |        5 |      624
315.45/315.67	c  313s |      15 |   883276 |    98632 |    41837      4 |        5 |      624
317.76/317.97	c  316s |      15 |   892187 |    99632 |    41837      4 |        5 |      624
319.85/320.00	c  318s |      15 |   900483 |   100332 |    41837      4 |        5 |      624
322.05/322.21	c  320s |      15 |   908832 |   101232 |    41837      4 |        5 |      624
324.25/324.43	c  322s |      15 |   916389 |   102232 |    41837      4 |        5 |      624
326.25/326.46	c  324s |      15 |   924587 |   103032 |    41837      4 |        5 |      624
328.35/328.58	c  326s |      15 |   931676 |   103932 |    41837      4 |        5 |      624
330.55/330.73	c  328s |      15 |   943197 |   105132 |    41837      4 |        5 |      624
332.54/332.74	c  330s |      15 |   950800 |   106032 |    41837      4 |        5 |      624
334.54/334.79	c  332s |      15 |   957370 |   106832 |    41837      4 |        5 |      624
336.64/336.80	c  334s |      15 |   965796 |   107932 |    41837      4 |        5 |      624
338.75/338.91	c  337s |      15 |   971578 |   108832 |    41837      4 |        5 |      624
340.74/340.97	c  339s |      15 |   979733 |   110032 |    41837      4 |        5 |      624
342.94/343.19	c  341s |      15 |   986514 |   111132 |    41837      4 |        5 |      624
345.04/345.24	c  343s |      15 |   993817 |   112432 |    41837      4 |        5 |      624
347.04/347.28	c  345s |      15 |   998810 |   113632 |    41837      4 |        5 |      624
349.54/349.75	c  347s |      15 |  1002594 |   114632 |    41837      4 |        5 |      624
351.73/351.92	c  350s |      15 |  1009321 |   115132 |    41837      4 |        5 |      624
353.83/354.07	c  352s |      15 |  1016424 |   115732 |    41837      4 |        5 |      624
356.24/356.46	c  354s |      15 |  1021633 |   116532 |    41837      4 |        5 |      624
358.63/358.85	c  357s |      15 |  1030440 |   117032 |    41837      4 |        6 |      628
360.93/361.14	c  359s |      15 |  1038297 |   117632 |    41837      4 |        6 |      628
362.94/363.14	c  361s |      15 |  1045288 |   118432 |    41837      4 |        6 |      628
365.04/365.28	c  363s |      15 |  1051233 |   118732 |    41837      5 |        6 |      628
367.23/367.49	c  365s |      15 |  1060241 |   119432 |    41837      5 |        6 |      628
369.43/369.70	c  367s |      15 |  1067871 |   120332 |    41837      5 |        6 |      628
371.73/371.96	c  370s |      15 |  1078324 |   121032 |    41837      5 |        6 |      628
374.02/374.27	c  372s |      15 |  1089539 |   122032 |    41837      5 |        6 |      628
376.22/376.43	c  374s |      15 |  1097691 |   122932 |    41837      5 |        6 |      628
378.42/378.66	c  376s |      15 |  1105974 |   123632 |    41837      5 |        6 |      628
380.43/380.67	c  378s |      15 |  1111675 |   124132 |    41837      5 |        6 |      628
382.52/382.77	c  380s |      15 |  1115993 |   124932 |    41837      5 |        6 |      628
384.72/384.91	c  383s |      15 |  1125521 |   125632 |    41837      5 |        6 |      628
386.72/387.00	c  385s |      15 |  1133007 |   126232 |    41837      5 |        6 |      628
388.92/389.10	c  387s |      15 |  1139995 |   127132 |    41837      5 |        6 |      628
390.91/391.12	c  389s |      15 |  1146919 |   127832 |    41837      5 |        6 |      628
393.01/393.23	c  391s |      15 |  1152836 |   128532 |    41837      5 |        6 |      628
395.11/395.31	c  393s |      15 |  1161871 |   129332 |    41837      5 |        6 |      628
397.31/397.50	c  395s |      15 |  1171068 |   130132 |    41837      5 |        6 |      628
399.31/399.57	c  397s |      15 |  1178157 |   131032 |    46021      5 |        6 |      628
401.11/401.36	c  399s |      16 |  1184299 |   131552 |    46021      5 |        6 |      628
403.21/403.42	c  401s |      16 |  1188444 |   132352 |    46021      5 |        6 |      628
405.51/405.77	c  403s |      16 |  1195896 |   133252 |    46021      5 |        6 |      628
407.51/407.79	c  405s |      16 |  1203405 |   134152 |    46021      5 |        6 |      628
409.71/409.98	c  408s |      16 |  1210886 |   135052 |    46021      5 |        6 |      628
411.70/411.98	c  410s |      16 |  1217056 |   135752 |    46021      5 |        6 |      628
413.80/414.05	c  412s |      16 |  1222411 |   136652 |    46021      5 |        6 |      628
416.00/416.29	c  414s |      16 |  1229981 |   137652 |    46021      5 |        6 |      628
418.30/418.57	c  416s |      16 |  1237560 |   138752 |    46021      5 |        6 |      628
420.50/420.78	c  418s |      16 |  1245828 |   140052 |    46021      5 |        6 |      628
422.70/422.96	c  421s |      16 |  1251250 |   141152 |    46021      5 |        6 |      628
424.70/424.97	c  423s |      16 |  1255622 |   142252 |    46021      5 |        6 |      628
427.00/427.24	c  425s |      16 |  1259636 |   143252 |    46021      5 |        6 |      628
429.10/429.34	c  427s |      16 |  1263473 |   143952 |    46021      5 |        6 |      628
431.29/431.51	c  429s |      16 |  1271546 |   144652 |    46021      5 |        6 |      628
433.79/434.00	c  432s |      16 |  1274300 |   144852 |    46021      6 |        6 |      628
435.79/436.05	c  434s |      16 |  1282543 |   145352 |    46021      6 |        6 |      628
437.89/438.18	c  436s |      16 |  1289481 |   145852 |    46021      6 |        7 |      632
440.09/440.31	c  438s |      16 |  1297863 |   146452 |    46021      6 |        7 |      632
442.09/442.31	c  440s |      16 |  1305036 |   147152 |    46021      6 |        7 |      632
444.08/444.37	c  442s |      16 |  1309647 |   147852 |    46021      6 |        7 |      632
446.18/446.41	c  444s |      16 |  1317331 |   148452 |    46021      6 |        7 |      632
448.38/448.66	c  446s |      16 |  1322081 |   149352 |    46021      6 |        7 |      632
450.48/450.72	c  448s |      16 |  1328753 |   149952 |    46021      6 |        7 |      632
452.68/452.94	c  451s |      16 |  1337078 |   150552 |    46021      6 |        7 |      632
454.77/455.03	c  453s |      16 |  1343364 |   151252 |    46021      6 |        7 |      632
456.87/457.18	c  455s |      16 |  1348716 |   152052 |    46021      6 |        7 |      632
459.17/459.48	c  457s |      16 |  1356183 |   152652 |    46021      6 |        7 |      632
461.37/461.60	c  459s |      16 |  1364969 |   153652 |    46021      6 |        7 |      632
463.37/463.62	c  461s |      16 |  1370589 |   154252 |    46021      6 |        7 |      632
465.57/465.89	c  464s |      16 |  1377513 |   155252 |    46021      6 |        7 |      632
467.97/468.25	c  466s |      16 |  1385810 |   155952 |    46021      6 |        7 |      632
470.37/470.60	c  468s |      16 |  1393269 |   156652 |    46021      6 |        7 |      632
472.37/472.69	c  470s |      16 |  1398375 |   157452 |    46021      6 |        7 |      632
474.47/474.76	c  472s |      16 |  1403238 |   158052 |    46021      6 |        7 |      632
476.47/476.78	c  474s |      16 |  1408969 |   158852 |    46021      6 |        7 |      632
478.57/478.89	c  477s |      16 |  1415115 |   159552 |    46021      6 |        7 |      632
480.76/481.07	c  479s |      16 |  1422275 |   160352 |    46021      6 |        7 |      632
482.86/483.10	c  481s |      16 |  1428532 |   161152 |    46021      6 |        7 |      632
484.87/485.17	c  483s |      16 |  1434451 |   161852 |    46021      6 |        7 |      632
487.17/487.46	c  485s |      16 |  1439911 |   162752 |    46021      6 |        7 |      632
489.27/489.51	c  487s |      16 |  1445174 |   163552 |    46021      6 |        7 |      632
491.26/491.59	c  489s |      16 |  1452293 |   164352 |    46021      6 |        7 |      632
493.46/493.75	c  491s |      16 |  1458104 |   165152 |    46021      6 |        7 |      632
495.66/495.99	c  494s |      16 |  1463098 |   165952 |    46021      6 |        7 |      632
497.86/498.16	c  496s |      16 |  1469260 |   166852 |    46021      6 |        7 |      632
500.16/500.44	c  498s |      16 |  1474098 |   167652 |    46021      6 |        7 |      632
502.15/502.47	c  500s |      16 |  1479649 |   168452 |    46021      6 |        7 |      632
504.45/504.72	c  502s |      16 |  1482878 |   169352 |    46021      6 |        7 |      632
506.55/506.82	c  505s |      16 |  1486906 |   170252 |    46021      7 |        7 |      632
508.65/508.98	c  507s |      16 |  1491376 |   171452 |    46021      7 |        7 |      632
510.65/510.99	c  509s |      16 |  1494307 |   172652 |    46021      7 |        7 |      632
518.34/518.69	c  516s |      16 |  1495767 |   172852 |    46021      7 |        7 |      632
520.73/521.01	c  519s |      16 |  1503359 |   173352 |    46021      7 |        8 |      636
523.03/523.33	c  521s |      16 |  1509712 |   173952 |    46021      7 |        8 |      636
525.13/525.44	c  523s |      16 |  1512778 |   174652 |    46021      7 |        8 |      636
527.13/527.45	c  525s |      16 |  1518258 |   175152 |    46021      7 |        8 |      636
529.33/529.62	c  527s |      16 |  1528306 |   175752 |    46021      7 |        8 |      636
531.63/531.91	c  530s |      16 |  1537880 |   176352 |    46021      7 |        8 |      636
533.73/534.00	c  532s |      16 |  1544435 |   176952 |    46021      7 |        9 |      640
535.93/536.20	c  534s |      16 |  1549455 |   177652 |    46021      7 |        9 |      640
538.13/538.42	c  536s |      16 |  1558065 |   178152 |    46021      7 |        9 |      640
540.13/540.46	c  538s |      16 |  1564083 |   178652 |    46021      7 |        9 |      640
542.43/542.76	c  540s |      16 |  1568640 |   179452 |    46021      7 |        9 |      640
544.53/544.82	c  543s |      16 |  1574499 |   180052 |    46021      7 |        9 |      640
546.73/547.09	c  545s |      16 |  1578175 |   180752 |    46021      7 |        9 |      640
548.83/549.15	c  547s |      16 |  1584015 |   181352 |    46021      7 |        9 |      640
550.93/551.26	c  549s |      16 |  1590445 |   181852 |    46021      7 |        9 |      640
552.92/553.28	c  551s |      16 |  1598254 |   182352 |    46021      7 |        9 |      640
555.12/555.43	c  553s |      16 |  1605079 |   183052 |    46021      7 |        9 |      640
557.32/557.62	c  555s |      16 |  1611349 |   183752 |    46021      7 |        9 |      640
559.52/559.85	c  558s |      16 |  1620527 |   184352 |    46021      7 |        9 |      640
561.62/561.92	c  560s |      16 |  1625414 |   185152 |    46021      7 |        9 |      640
563.62/563.94	c  562s |      16 |  1631508 |   185752 |    46021      7 |        9 |      640
565.72/566.05	c  564s |      16 |  1635734 |   186452 |    46021      7 |        9 |      640
567.92/568.29	c  566s |      16 |  1641373 |   187152 |    46021      7 |        9 |      640
570.32/570.69	c  568s |      16 |  1648168 |   187752 |    46021      7 |        9 |      640
572.51/572.85	c  571s |      16 |  1652483 |   188552 |    46021      7 |        9 |      640
574.71/575.01	c  573s |      16 |  1657670 |   189152 |    46021      7 |        9 |      640
576.71/577.07	c  575s |      16 |  1664696 |   189752 |    46021      7 |        9 |      640
579.01/579.39	c  577s |      16 |  1669704 |   190552 |    46021      7 |        9 |      640
581.30/581.66	c  579s |      16 |  1677424 |   191152 |    46021      7 |        9 |      640
583.50/583.85	c  582s |      16 |  1682096 |   191952 |    46021      7 |        9 |      640
585.50/585.87	c  584s |      16 |  1687658 |   192552 |    46021      7 |        9 |      640
587.70/588.00	c  586s |      16 |  1692802 |   193252 |    46021      7 |        9 |      640
590.10/590.40	c  588s |      16 |  1695876 |   193652 |    46021      8 |        9 |      640
592.11/592.48	c  590s |      16 |  1701420 |   194152 |    46021      8 |        9 |      640
594.20/594.51	c  592s |      16 |  1707962 |   195052 |    46021      8 |        9 |      640
596.30/596.63	c  594s |      16 |  1712369 |   195852 |    46021      8 |        9 |      640
598.30/598.63	c  596s |      16 |  1719755 |   196752 |    50624      8 |        9 |      640
599.70/600.09	c  598s |      17 |  1725346 |   197432 |    50624      8 |        9 |      640
601.90/602.23	c  600s |      17 |  1731576 |   198232 |    50624      8 |        9 |      640
604.20/604.51	c  602s |      17 |  1737402 |   199132 |    50624      8 |        9 |      640
606.30/606.68	c  604s |      17 |  1742645 |   200032 |    50624      8 |        9 |      640
608.40/608.72	c  606s |      17 |  1747939 |   200932 |    50624      8 |        9 |      640
610.40/610.76	c  608s |      17 |  1752331 |   201732 |    50624      8 |        9 |      640
612.51/612.86	c  611s |      17 |  1758044 |   202732 |    50624      8 |        9 |      640
614.71/615.01	c  613s |      17 |  1762603 |   203732 |    50624      8 |        9 |      640
616.81/617.11	c  615s |      17 |  1767710 |   204732 |    50624      8 |        9 |      640
618.80/619.13	c  617s |      17 |  1771896 |   205832 |    50624      8 |        9 |      640
621.00/621.37	c  619s |      17 |  1775910 |   207032 |    50624      8 |        9 |      640
623.40/623.73	c  621s |      17 |  1781037 |   207432 |    50624      8 |        9 |      640
625.50/625.85	c  624s |      17 |  1785961 |   208132 |    50624      8 |        9 |      640
627.50/627.89	c  626s |      17 |  1791142 |   208732 |    50624      8 |        9 |      640
629.80/630.10	c  628s |      17 |  1801187 |   209332 |    50624      8 |        9 |      640
631.79/632.11	c  630s |      17 |  1807331 |   210132 |    50624      8 |        9 |      640
634.09/634.45	c  632s |      17 |  1816156 |   210832 |    50624      8 |        9 |      640
636.09/636.46	c  634s |      17 |  1823056 |   211332 |    50624      8 |        9 |      640
638.29/638.62	c  636s |      17 |  1828055 |   212032 |    50624      8 |        9 |      640
640.29/640.68	c  638s |      17 |  1833717 |   212632 |    50624      8 |        9 |      640
642.59/642.94	c  641s |      17 |  1839534 |   213132 |    50624      8 |        9 |      640
644.69/645.09	c  643s |      17 |  1846719 |   213732 |    50624      8 |        9 |      640
646.99/647.34	c  645s |      17 |  1854028 |   214632 |    50624      8 |        9 |      640
649.29/649.60	c  647s |      17 |  1861772 |   215232 |    50624      8 |        9 |      640
651.38/651.79	c  649s |      17 |  1867156 |   216032 |    50624      8 |        9 |      640
653.48/653.80	c  651s |      17 |  1875821 |   216732 |    50624      8 |        9 |      640
655.68/656.04	c  654s |      17 |  1881566 |   217532 |    50624      8 |        9 |      640
657.98/658.38	c  656s |      17 |  1888480 |   218132 |    50624      8 |        9 |      640
660.08/660.47	c  658s |      17 |  1892706 |   218832 |    50624      8 |        9 |      640
662.28/662.67	c  660s |      17 |  1898688 |   219532 |    50624      8 |        9 |      640
664.48/664.81	c  662s |      17 |  1904010 |   220132 |    50624      8 |        9 |      640
666.57/666.99	c  665s |      17 |  1911891 |   221032 |    50624      8 |        9 |      640
668.67/669.04	c  667s |      17 |  1917312 |   221832 |    50624      8 |        9 |      640
670.87/671.23	c  669s |      17 |  1922430 |   222332 |    50624      9 |        9 |      640
672.98/673.33	c  671s |      17 |  1927859 |   223032 |    50624      9 |        9 |      640
675.08/675.49	c  673s |      17 |  1934000 |   223932 |    50624      9 |        9 |      640
677.38/677.72	c  675s |      17 |  1942866 |   224932 |    50624      9 |        9 |      640
679.67/680.01	c  678s |      17 |  1950344 |   225932 |    50624      9 |        9 |      640
681.78/682.14	c  680s |      17 |  1956949 |   226832 |    50624      9 |        9 |      640
683.88/684.23	c  682s |      17 |  1963568 |   227832 |    50624      9 |        9 |      640
685.87/686.26	c  684s |      17 |  1969851 |   228732 |    50624      9 |        9 |      640
687.97/688.39	c  686s |      17 |  1975884 |   229732 |    50624      9 |        9 |      640
690.07/690.46	c  688s |      17 |  1980129 |   230732 |    50624      9 |        9 |      640
692.16/692.54	c  690s |      17 |  1987662 |   232032 |    50624      9 |        9 |      640
694.16/694.58	c  692s |      17 |  1992845 |   233232 |    50624      9 |        9 |      640
696.26/696.60	c  694s |      17 |  1997768 |   234532 |    50624      9 |        9 |      640
698.46/698.87	c  697s |      17 |  2004842 |   235332 |    50624      9 |        9 |      640
700.56/700.91	c  699s |      17 |  2010975 |   236132 |    50624      9 |        9 |      640
702.76/703.12	c  701s |      17 |  2017386 |   236732 |    50624      9 |        9 |      640
704.77/705.13	c  703s |      17 |  2024523 |   237232 |    50624      9 |        9 |      640
706.76/707.15	c  705s |      17 |  2029023 |   237932 |    50624      9 |        9 |      640
708.76/709.19	c  707s |      17 |  2038503 |   238632 |    50624      9 |        9 |      640
710.96/711.32	c  709s |      17 |  2044263 |   239432 |    50624      9 |        9 |      640
713.26/713.63	c  711s |      17 |  2051846 |   240132 |    50624      9 |        9 |      640
715.26/715.66	c  713s |      17 |  2055819 |   240832 |    50624      9 |        9 |      640
717.46/717.82	c  716s |      17 |  2062649 |   241432 |    50624      9 |        9 |      640
719.66/720.03	c  718s |      17 |  2068108 |   242132 |    50624      9 |        9 |      640
721.65/722.09	c  720s |      17 |  2073314 |   242732 |    50624      9 |        9 |      640
723.95/724.38	c  722s |      17 |  2077542 |   243532 |    50624      9 |        9 |      640
726.15/726.51	c  724s |      17 |  2084131 |   244132 |    50624      9 |        9 |      640
728.15/728.59	c  726s |      17 |  2089579 |   244932 |    50624      9 |        9 |      640
730.25/730.65	c  728s |      17 |  2095240 |   245532 |    50624      9 |        9 |      640
732.36/732.76	c  730s |      17 |  2099137 |   246232 |    50624      9 |        9 |      640
734.56/734.92	c  733s |      17 |  2106262 |   247132 |    50624      9 |        9 |      640
736.66/737.10	c  735s |      17 |  2111121 |   247932 |    50624      9 |        9 |      640
738.75/739.18	c  737s |      17 |  2117106 |   248532 |    50624     10 |        9 |      640
740.95/741.30	c  739s |      17 |  2122697 |   249332 |    50624     10 |        9 |      640
743.05/743.40	c  741s |      17 |  2127643 |   250232 |    50624     10 |        9 |      640
745.05/745.45	c  743s |      17 |  2134484 |   251232 |    50624     10 |        9 |      640
747.35/747.70	c  745s |      17 |  2141310 |   252332 |    50624     10 |        9 |      640
749.65/750.06	c  748s |      17 |  2147341 |   253332 |    50624     10 |        9 |      640
751.75/752.17	c  750s |      17 |  2151190 |   254132 |    50624     10 |        9 |      640
753.95/754.38	c  752s |      17 |  2156942 |   255232 |    50624     10 |        9 |      640
756.05/756.45	c  754s |      17 |  2161476 |   256232 |    50624     10 |        9 |      640
758.25/758.66	c  756s |      17 |  2163335 |   256932 |    50624     10 |        9 |      640
760.75/761.10	c  759s |      17 |  2163872 |   257232 |    50624     10 |        9 |      640
762.85/763.21	c  761s |      17 |  2167635 |   258232 |    50624     10 |        9 |      640
765.05/765.42	c  763s |      17 |  2170220 |   259332 |    50624     10 |        9 |      640
767.25/767.64	c  765s |      17 |  2174037 |   260332 |    50624     10 |        9 |      640
769.35/769.70	c  767s |      17 |  2178562 |   261332 |    50624     10 |        9 |      640
771.55/771.94	c  770s |      17 |  2182323 |   262132 |    50624     10 |        9 |      640
773.65/774.07	c  772s |      17 |  2188361 |   263132 |    50624     10 |        9 |      640
775.95/776.35	c  774s |      17 |  2193001 |   264132 |    50624     10 |        9 |      640
778.14/778.59	c  776s |      17 |  2196012 |   264932 |    50624     10 |        9 |      640
780.24/780.63	c  778s |      17 |  2199499 |   265732 |    50624     10 |        9 |      640
782.44/782.85	c  781s |      17 |  2201634 |   266532 |    50624     10 |        9 |      640
784.54/784.98	c  783s |      17 |  2204936 |   267332 |    50624     10 |        9 |      640
786.64/787.05	c  785s |      17 |  2207594 |   268132 |    50624     10 |        9 |      640
788.74/789.14	c  787s |      17 |  2209711 |   268832 |    50624     10 |        9 |      640
790.94/791.37	c  789s |      17 |  2211189 |   269532 |    50624     10 |        9 |      640
793.24/793.68	c  791s |      17 |  2213901 |   270332 |    50624     10 |        9 |      640
795.44/795.87	c  794s |      17 |  2217897 |   271232 |    50624     10 |        9 |      640
797.44/797.88	c  796s |      17 |  2220550 |   271932 |    50624     10 |        9 |      640
799.84/800.28	c  798s |      17 |  2222386 |   272632 |    50624     10 |        9 |      640
802.05/802.48	c  800s |      17 |  2224039 |   273432 |    50624     10 |        9 |      640
804.25/804.69	c  802s |      17 |  2226111 |   274232 |    50624     10 |        9 |      640
806.55/806.92	c  805s |      17 |  2229516 |   275032 |    50624     10 |        9 |      640
808.65/809.00	c  807s |      17 |  2231215 |   275632 |    50624     10 |        9 |      640
810.75/811.15	c  809s |      17 |  2232423 |   276232 |    50624     11 |        9 |      640
812.85/813.24	c  811s |      17 |  2235211 |   277132 |    50624     11 |        9 |      640
815.05/815.42	c  813s |      17 |  2238520 |   277932 |    50624     11 |        9 |      640
817.05/817.47	c  815s |      17 |  2240686 |   278632 |    50624     11 |        9 |      640
819.25/819.66	c  817s |      17 |  2241882 |   279232 |    50624     11 |        9 |      640
821.74/822.11	c  820s |      17 |  2243085 |   279832 |    50624     11 |        9 |      640
823.84/824.20	c  822s |      17 |  2244708 |   280532 |    50624     11 |        9 |      640
825.94/826.34	c  824s |      17 |  2246344 |   281232 |    50624     11 |        9 |      640
828.05/828.46	c  826s |      17 |  2247399 |   281832 |    50624     11 |        9 |      640
830.25/830.67	c  828s |      17 |  2248554 |   282532 |    50624     11 |        9 |      640
832.54/832.90	c  831s |      17 |  2251574 |   283332 |    50624     11 |        9 |      640
834.55/834.90	c  833s |      17 |  2253415 |   284032 |    50624     11 |        9 |      640
836.75/837.20	c  835s |      17 |  2255845 |   284732 |    50624     11 |        9 |      640
839.34/839.75	c  837s |      17 |  2257426 |   285332 |    50624     11 |        9 |      640
841.74/842.12	c  840s |      17 |  2258969 |   285932 |    50624     11 |        9 |      640
843.74/844.16	c  842s |      17 |  2261531 |   286532 |    50624     11 |        9 |      640
845.94/846.39	c  844s |      17 |  2265993 |   287332 |    50624     11 |        9 |      640
848.24/848.69	c  846s |      17 |  2270228 |   288132 |    50624     11 |        9 |      640
850.44/850.88	c  849s |      17 |  2273748 |   288832 |    50624     11 |        9 |      640
852.74/853.14	c  851s |      17 |  2279034 |   289632 |    50624     11 |        9 |      640
854.84/855.27	c  853s |      17 |  2282100 |   290332 |    50624     11 |        9 |      640
857.04/857.40	c  855s |      17 |  2284362 |   290932 |    50624     11 |        9 |      640
859.14/859.54	c  857s |      17 |  2286712 |   291532 |    50624     11 |        9 |      640
861.83/862.20	c  860s |      17 |  2289489 |   291932 |    50624     11 |       10 |      644
863.93/864.33	c  862s |      17 |  2293742 |   292332 |    50624     11 |       10 |      644
866.03/866.43	c  864s |      17 |  2298203 |   293032 |    50624     11 |       10 |      644
868.03/868.48	c  866s |      17 |  2304056 |   293632 |    50624     11 |       10 |      644
870.23/870.66	c  868s |      17 |  2309889 |   294232 |    55687     11 |       10 |      644
872.23/872.66	c  870s |      17 |  2313398 |   294732 |    55687     11 |       10 |      644
874.53/874.94	c  873s |      17 |  2323499 |   295332 |    55687     11 |       10 |      644
876.63/877.08	c  875s |      17 |  2329722 |   295832 |    55687     11 |       10 |      644
878.13/878.51	c  876s |      18 |  2334525 |   296252 |    55687     11 |       10 |      644
880.33/880.74	c  878s |      18 |  2338251 |   296852 |    55687     11 |       10 |      644
882.43/882.81	c  881s |      18 |  2343679 |   297452 |    55687     11 |       10 |      644
884.53/884.90	c  883s |      18 |  2349495 |   298152 |    55687     11 |       10 |      644
886.83/887.28	c  885s |      18 |  2357008 |   298752 |    55687     11 |       10 |      644
889.13/889.51	c  887s |      18 |  2363364 |   299452 |    55687     11 |       10 |      644
891.13/891.53	c  889s |      18 |  2369343 |   300052 |    55687     11 |       10 |      644
893.23/893.67	c  891s |      18 |  2373160 |   300752 |    55687     11 |       10 |      644
895.63/896.00	c  894s |      18 |  2378574 |   301352 |    55687     11 |       10 |      644
897.73/898.10	c  896s |      18 |  2382400 |   302052 |    55687     11 |       10 |      644
899.73/900.17	c  898s |      18 |  2389138 |   302652 |    55687     11 |       10 |      644
901.83/902.21	c  900s |      18 |  2394214 |   303152 |    55687     11 |       10 |      644
903.93/904.35	c  902s |      18 |  2398244 |   303852 |    55687     11 |       10 |      644
906.13/906.51	c  904s |      18 |  2403143 |   304552 |    55687     11 |       10 |      644
908.13/908.58	c  906s |      18 |  2408606 |   305152 |    55687     11 |       10 |      644
910.33/910.77	c  908s |      18 |  2414239 |   305952 |    55687     11 |       10 |      644
912.43/912.86	c  911s |      18 |  2418342 |   306552 |    55687     11 |       10 |      644
914.73/915.12	c  913s |      18 |  2420633 |   306952 |    55687     12 |       10 |      644
916.72/917.18	c  915s |      18 |  2424123 |   307452 |    55687     12 |       10 |      644
918.92/919.39	c  917s |      18 |  2428845 |   308152 |    55687     12 |       10 |      644
921.02/921.47	c  919s |      18 |  2434110 |   309052 |    55687     12 |       10 |      644
923.12/923.59	c  921s |      18 |  2440251 |   309952 |    55687     12 |       10 |      644
925.22/925.68	c  923s |      18 |  2445360 |   310952 |    55687     12 |       10 |      644
927.32/927.78	c  925s |      18 |  2449837 |   312052 |    55687     12 |       10 |      644
929.52/929.91	c  928s |      18 |  2453455 |   313152 |    55687     12 |       10 |      644
931.52/931.95	c  930s |      18 |  2457678 |   313952 |    55687     12 |       10 |      644
933.92/934.38	c  932s |      18 |  2461776 |   314752 |    55687     12 |       10 |      644
936.02/936.45	c  934s |      18 |  2466765 |   315052 |    55687     12 |       10 |      644
938.12/938.50	c  936s |      18 |  2472295 |   315652 |    55687     12 |       10 |      644
940.42/940.81	c  938s |      18 |  2478110 |   316252 |    55687     12 |       10 |      644
942.62/943.06	c  941s |      18 |  2483526 |   316952 |    55687     12 |       10 |      644
945.02/945.42	c  943s |      18 |  2489085 |   317552 |    55687     12 |       10 |      644
947.32/947.73	c  945s |      18 |  2494701 |   318252 |    55687     12 |       10 |      644
949.52/949.94	c  948s |      18 |  2502348 |   318852 |    55687     12 |       10 |      644
951.82/952.20	c  950s |      18 |  2509020 |   319752 |    55687     12 |       10 |      644
953.82/954.30	c  952s |      18 |  2513587 |   320352 |    55687     12 |       10 |      644
956.02/956.41	c  954s |      18 |  2517573 |   320952 |    55687     12 |       10 |      644
958.12/958.59	c  956s |      18 |  2523925 |   321852 |    55687     12 |       10 |      644
960.12/960.59	c  958s |      18 |  2529275 |   322552 |    55687     12 |       10 |      644
962.32/962.71	c  960s |      18 |  2534343 |   323452 |    55687     12 |       10 |      644
964.52/964.90	c  963s |      18 |  2541178 |   324552 |    55687     12 |       10 |      644
966.52/966.91	c  965s |      18 |  2545128 |   325552 |    55687     12 |       10 |      644
968.62/969.00	c  967s |      18 |  2549541 |   326452 |    55687     12 |       10 |      644
970.82/971.24	c  969s |      18 |  2555842 |   327452 |    55687     12 |       10 |      644
972.92/973.30	c  971s |      18 |  2559572 |   328252 |    55687     12 |       10 |      644
975.01/975.41	c  973s |      18 |  2565505 |   329052 |    55687     12 |       10 |      644
977.21/977.60	c  975s |      18 |  2572447 |   329852 |    55687     12 |       10 |      644
979.41/979.89	c  978s |      18 |  2578970 |   330552 |    55687     12 |       10 |      644
981.51/981.92	c  980s |      18 |  2586031 |   331052 |    55687     12 |       10 |      644
983.61/984.02	c  982s |      18 |  2592147 |   331652 |    55687     12 |       10 |      644
985.61/986.06	c  984s |      18 |  2595420 |   332352 |    55687     12 |       10 |      644
987.61/988.09	c  986s |      18 |  2602661 |   332852 |    55687     12 |       10 |      644
989.91/990.36	c  988s |      18 |  2606828 |   333552 |    55687     12 |       10 |      644
992.31/992.74	c  990s |      18 |  2612802 |   334152 |    55687     12 |       10 |      644
994.51/994.98	c  993s |      18 |  2619691 |   334752 |    55687     12 |       10 |      644
997.12/997.50	c  995s |      18 |  2623696 |   335252 |    55687     13 |       10 |      644
999.12/999.57	c  997s |      18 |  2628925 |   335952 |    55687     13 |       10 |      644
1001.22/1001.69	c  999s |      18 |  2634496 |   336752 |    55687     13 |       10 |      644
1003.42/1003.84	c 1002s |      18 |  2640729 |   337552 |    55687     13 |       10 |      644
1005.52/1005.90	c 1004s |      18 |  2647160 |   338452 |    55687     13 |       10 |      644
1007.62/1008.04	c 1006s |      18 |  2652185 |   339352 |    55687     13 |       10 |      644
1009.72/1010.14	c 1008s |      18 |  2660939 |   340452 |    55687     13 |       10 |      644
1011.82/1012.26	c 1010s |      18 |  2667317 |   341552 |    55687     13 |       10 |      644
1013.92/1014.38	c 1012s |      18 |  2673938 |   342652 |    55687     13 |       10 |      644
1016.02/1016.46	c 1014s |      18 |  2678600 |   343952 |    55687     13 |       10 |      644
1018.01/1018.49	c 1016s |      18 |  2684380 |   344852 |    55687     13 |       10 |      644
1020.31/1020.77	c 1018s |      18 |  2688758 |   345552 |    55687     13 |       10 |      644
1022.51/1022.90	c 1021s |      18 |  2695615 |   346152 |    55687     13 |       10 |      644
1024.71/1025.12	c 1023s |      18 |  2702172 |   346952 |    55687     13 |       10 |      644
1026.71/1027.13	c 1025s |      18 |  2708897 |   347552 |    55687     13 |       10 |      644
1028.71/1029.16	c 1027s |      18 |  2714747 |   348352 |    55687     13 |       10 |      644
1030.81/1031.26	c 1029s |      18 |  2720687 |   349152 |    55687     13 |       10 |      644
1033.01/1033.44	c 1031s |      18 |  2724515 |   349852 |    55687     13 |       10 |      644
1035.11/1035.57	c 1033s |      18 |  2729106 |   350552 |    55687     13 |       10 |      644
1037.31/1037.75	c 1035s |      18 |  2735132 |   351252 |    55687     13 |       10 |      644
1039.41/1039.88	c 1038s |      18 |  2741140 |   352152 |    55687     13 |       10 |      644
1041.61/1042.05	c 1040s |      18 |  2745881 |   352952 |    55687     13 |       10 |      644
1043.91/1044.36	c 1042s |      18 |  2751868 |   353752 |    55687     13 |       10 |      644
1046.11/1046.55	c 1044s |      18 |  2756375 |   354552 |    55687     13 |       10 |      644
1048.21/1048.70	c 1046s |      18 |  2761321 |   355452 |    55687     13 |       10 |      644
1050.41/1050.83	c 1049s |      18 |  2766329 |   356452 |    55687     13 |       10 |      644
1052.42/1052.86	c 1051s |      18 |  2771067 |   357452 |    55687     13 |       10 |      644
1054.91/1055.33	c 1053s |      18 |  2775468 |   358552 |    55687     13 |       10 |      644
1057.11/1057.56	c 1055s |      18 |  2782118 |   359252 |    55687     13 |       10 |      644
1059.41/1059.80	c 1057s |      18 |  2789527 |   360052 |    55687     13 |       10 |      644
1061.71/1062.11	c 1060s |      18 |  2795602 |   360952 |    55687     13 |       10 |      644
1063.71/1064.14	c 1062s |      18 |  2804205 |   361552 |    55687     13 |       10 |      644
1065.81/1066.22	c 1064s |      18 |  2809055 |   362252 |    55687     13 |       10 |      644
1068.00/1068.41	c 1066s |      18 |  2815620 |   362852 |    55687     13 |       10 |      644
1070.10/1070.58	c 1068s |      18 |  2821618 |   363452 |    55687     13 |       10 |      644
1072.40/1072.83	c 1071s |      18 |  2825663 |   364152 |    55687     14 |       10 |      644
1074.41/1074.89	c 1073s |      18 |  2830805 |   364952 |    55687     14 |       10 |      644
1076.51/1076.94	c 1075s |      18 |  2838760 |   365852 |    55687     14 |       10 |      644
1078.71/1079.19	c 1077s |      18 |  2844414 |   366852 |    55687     14 |       10 |      644
1081.01/1081.43	c 1079s |      18 |  2850569 |   367752 |    55687     14 |       10 |      644
1083.11/1083.58	c 1081s |      18 |  2857278 |   368752 |    55687     14 |       10 |      644
1085.20/1085.62	c 1083s |      18 |  2864325 |   369852 |    55687     14 |       10 |      644
1087.20/1087.64	c 1085s |      18 |  2871354 |   370952 |    55687     14 |       10 |      644
1089.30/1089.72	c 1087s |      18 |  2877626 |   372052 |    55687     14 |       10 |      644
1091.30/1091.76	c 1089s |      18 |  2881644 |   373052 |    55687     14 |       10 |      644
1093.50/1093.91	c 1092s |      18 |  2885836 |   374252 |    55687     14 |       10 |      644
1095.60/1096.09	c 1094s |      18 |  2891889 |   375352 |    55687     14 |       10 |      644
1097.90/1098.35	c 1096s |      18 |  2898586 |   376252 |    55687     14 |       10 |      644
1099.90/1100.39	c 1098s |      18 |  2904034 |   376952 |    55687     14 |       10 |      644
1102.00/1102.47	c 1100s |      18 |  2908090 |   377652 |    55687     14 |       10 |      644
1104.11/1104.59	c 1102s |      18 |  2915109 |   378652 |    55687     14 |       10 |      644
1106.31/1106.77	c 1104s |      18 |  2920412 |   379452 |    55687     14 |       10 |      644
1108.51/1108.91	c 1107s |      18 |  2926725 |   380252 |    55687     14 |       10 |      644
1110.60/1111.09	c 1109s |      18 |  2934980 |   381152 |    55687     14 |       10 |      644
1112.70/1113.17	c 1111s |      18 |  2940201 |   382052 |    55687     14 |       10 |      644
1114.80/1115.20	c 1113s |      18 |  2947721 |   383152 |    55687     14 |       10 |      644
1116.90/1117.38	c 1115s |      18 |  2953574 |   384352 |    55687     14 |       10 |      644
1119.10/1119.51	c 1117s |      18 |  2958391 |   385552 |    55687     14 |       10 |      644
1121.20/1121.67	c 1119s |      18 |  2964720 |   386352 |    55687     14 |       10 |      644
1123.20/1123.69	c 1121s |      18 |  2970800 |   386952 |    55687     14 |       10 |      644
1125.39/1125.86	c 1124s |      18 |  2977253 |   387552 |    55687     14 |       10 |      644
1127.39/1127.88	c 1126s |      18 |  2984044 |   388452 |    55687     14 |       10 |      644
1129.59/1130.06	c 1128s |      18 |  2991046 |   389252 |    55687     14 |       10 |      644
1131.69/1132.10	c 1130s |      18 |  2996938 |   390052 |    55687     14 |       10 |      644
1133.80/1134.27	c 1132s |      18 |  3001847 |   390852 |    55687     14 |       10 |      644
1135.90/1136.33	c 1134s |      18 |  3006996 |   391552 |    55687     14 |       10 |      644
1137.99/1138.43	c 1136s |      18 |  3011440 |   392452 |    55687     14 |       10 |      644
1140.19/1140.62	c 1138s |      18 |  3016234 |   393552 |    55687     14 |       10 |      644
1142.29/1142.73	c 1140s |      18 |  3019138 |   394452 |    55687     15 |       10 |      644
1144.39/1144.85	c 1143s |      18 |  3022826 |   395452 |    55687     15 |       10 |      644
1146.39/1146.86	c 1145s |      18 |  3029500 |   396452 |    55687     15 |       10 |      644
1148.49/1148.92	c 1147s |      18 |  3036426 |   397352 |    55687     15 |       10 |      644
1150.59/1151.08	c 1149s |      18 |  3043429 |   398352 |    55687     15 |       10 |      644
1152.69/1153.15	c 1151s |      18 |  3049842 |   399152 |    55687     15 |       10 |      644
1154.89/1155.34	c 1153s |      18 |  3054405 |   399952 |    55687     15 |       10 |      644
1156.99/1157.43	c 1155s |      18 |  3061956 |   400752 |    55687     15 |       10 |      644
1159.09/1159.54	c 1157s |      18 |  3066800 |   401652 |    55687     15 |       10 |      644
1161.19/1161.69	c 1159s |      18 |  3071896 |   402452 |    55687     15 |       10 |      644
1163.39/1163.84	c 1162s |      18 |  3077821 |   403252 |    55687     15 |       10 |      644
1165.39/1165.87	c 1164s |      18 |  3084463 |   404352 |    55687     15 |       10 |      644
1167.49/1167.90	c 1166s |      18 |  3089577 |   405252 |    55687     15 |       10 |      644
1169.59/1170.07	c 1168s |      18 |  3095161 |   406352 |    55687     15 |       10 |      644
1171.69/1172.13	c 1170s |      18 |  3099225 |   407352 |    55687     15 |       10 |      644
1173.69/1174.17	c 1172s |      18 |  3103985 |   408552 |    55687     15 |       10 |      644
1175.89/1176.40	c 1174s |      18 |  3109090 |   409652 |    55687     15 |       10 |      644
1177.99/1178.42	c 1176s |      18 |  3115254 |   410352 |    55687     15 |       10 |      644
1180.19/1180.63	c 1178s |      18 |  3121431 |   411152 |    55687     15 |       10 |      644
1182.39/1182.87	c 1181s |      18 |  3128551 |   412152 |    55687     15 |       10 |      644
1184.40/1184.89	c 1183s |      18 |  3133333 |   412852 |    55687     15 |       10 |      644
1186.60/1187.03	c 1185s |      18 |  3140269 |   413652 |    55687     15 |       10 |      644
1188.80/1189.25	c 1187s |      18 |  3145961 |   414552 |    55687     15 |       10 |      644
1190.90/1191.34	c 1189s |      18 |  3150127 |   415352 |    55687     15 |       10 |      644
1193.10/1193.53	c 1191s |      18 |  3154453 |   416152 |    55687     15 |       10 |      644
1195.30/1195.71	c 1193s |      18 |  3160373 |   417052 |    55687     15 |       10 |      644
1197.50/1197.99	c 1196s |      18 |  3164990 |   417952 |    55687     15 |       10 |      644
1199.59/1200.04	c 1198s |      18 |  3169585 |   418852 |    55687     15 |       10 |      644
1201.79/1202.20	c 1200s |      18 |  3174474 |   419852 |    55687     15 |       10 |      644
1203.89/1204.33	c 1202s |      18 |  3179254 |   421052 |    55687     15 |       10 |      644
1206.09/1206.59	c 1204s |      18 |  3184877 |   422152 |    55687     15 |       10 |      644
1208.39/1208.87	c 1207s |      18 |  3190708 |   422852 |    55687     16 |       10 |      644
1210.49/1210.97	c 1209s |      18 |  3197066 |   423752 |    55687     16 |       10 |      644
1212.59/1213.05	c 1211s |      18 |  3203677 |   424652 |    55687     16 |       10 |      644
1214.59/1215.07	c 1213s |      18 |  3210157 |   425552 |    55687     16 |       10 |      644
1216.69/1217.12	c 1215s |      18 |  3215231 |   426552 |    55687     16 |       10 |      644
1218.79/1219.24	c 1217s |      18 |  3221817 |   427652 |    55687     16 |       10 |      644
1220.79/1221.28	c 1219s |      18 |  3227530 |   428852 |    55687     16 |       10 |      644
1222.99/1223.44	c 1221s |      18 |  3231545 |   430152 |    55687     16 |       10 |      644
1225.18/1225.61	c 1223s |      18 |  3238770 |   431252 |    55687     16 |       10 |      644
1227.19/1227.66	c 1225s |      18 |  3243977 |   432052 |    55687     16 |       10 |      644
1229.28/1229.80	c 1227s |      18 |  3249881 |   432852 |    55687     16 |       10 |      644
1231.48/1231.92	c 1230s |      18 |  3254603 |   433652 |    55687     16 |       10 |      644
1233.58/1234.09	c 1232s |      18 |  3261265 |   434652 |    55687     16 |       10 |      644
1235.68/1236.13	c 1234s |      18 |  3266638 |   435652 |    55687     16 |       10 |      644
1237.78/1238.28	c 1236s |      18 |  3272133 |   436752 |    55687     16 |       10 |      644
1239.88/1240.34	c 1238s |      18 |  3275929 |   437752 |    55687     16 |       10 |      644
1241.98/1242.46	c 1240s |      18 |  3279693 |   438952 |    55687     16 |       10 |      644
1244.08/1244.53	c 1242s |      18 |  3285906 |   439852 |    55687     16 |       10 |      644
1246.08/1246.59	c 1244s |      18 |  3290574 |   440552 |    55687     16 |       10 |      644
1248.28/1248.72	c 1246s |      18 |  3296032 |   441452 |    61256     16 |       10 |      644
1250.39/1250.83	c 1249s |      18 |  3301391 |   442252 |    61256     16 |       10 |      644
1252.59/1253.07	c 1251s |      18 |  3306743 |   443152 |    61256     16 |       10 |      644
1254.79/1255.27	c 1253s |      18 |  3312809 |   444252 |    61256     16 |       10 |      644
1255.28/1255.77	c 1253s |      19 |  3314089 |   444482 |    61256     16 |       10 |      644
1257.38/1257.86	c 1256s |      19 |  3317933 |   445482 |    61256     16 |       10 |      644
1259.38/1259.89	c 1258s |      19 |  3323082 |   446382 |    61256     16 |       10 |      644
1261.48/1261.97	c 1260s |      19 |  3328445 |   447182 |    61256     16 |       10 |      644
1263.58/1264.02	c 1262s |      19 |  3334023 |   447982 |    61256     16 |       10 |      644
1265.78/1266.21	c 1264s |      19 |  3338837 |   448882 |    61256     16 |       10 |      644
1267.78/1268.22	c 1266s |      19 |  3344172 |   449682 |    61256     16 |       10 |      644
1269.88/1270.37	c 1268s |      19 |  3347836 |   450582 |    61256     16 |       10 |      644
1271.98/1272.40	c 1270s |      19 |  3352347 |   451482 |    61256     16 |       10 |      644
1274.08/1274.55	c 1272s |      19 |  3356006 |   452382 |    61256     16 |       10 |      644
1276.18/1276.60	c 1274s |      19 |  3359236 |   453382 |    61256     16 |       10 |      644
1278.28/1278.70	c 1276s |      19 |  3361818 |   454482 |    61256     16 |       10 |      644
1280.38/1280.87	c 1279s |      19 |  3367406 |   455282 |    61256     16 |       10 |      644
1282.37/1282.89	c 1281s |      19 |  3372701 |   456182 |    61256     16 |       10 |      644
1284.57/1285.01	c 1283s |      19 |  3377916 |   456982 |    61256     16 |       10 |      644
1286.97/1287.41	c 1285s |      19 |  3382318 |   457782 |    61256     17 |       10 |      644
1288.97/1289.46	c 1287s |      19 |  3388043 |   458882 |    61256     17 |       10 |      644
1291.08/1291.52	c 1289s |      19 |  3393333 |   460082 |    61256     17 |       10 |      644
1293.07/1293.57	c 1291s |      19 |  3398027 |   461282 |    61256     17 |       10 |      644
1295.17/1295.60	c 1293s |      19 |  3401332 |   462182 |    61256     17 |       10 |      644
1297.27/1297.72	c 1295s |      19 |  3407403 |   463282 |    61256     17 |       10 |      644
1299.37/1299.83	c 1298s |      19 |  3411921 |   464382 |    61256     17 |       10 |      644
1301.57/1302.08	c 1300s |      19 |  3416739 |   465682 |    61256     17 |       10 |      644
1303.77/1304.21	c 1302s |      19 |  3423183 |   466882 |    61256     17 |       10 |      644
1305.77/1306.25	c 1304s |      19 |  3427954 |   467882 |    61256     17 |       10 |      644
1307.87/1308.32	c 1306s |      19 |  3432640 |   469182 |    61256     17 |       10 |      644
1309.97/1310.46	c 1308s |      19 |  3437675 |   470282 |    61256     17 |       10 |      644
1312.07/1312.56	c 1310s |      19 |  3443325 |   471382 |    61256     17 |       10 |      644
1314.08/1314.59	c 1312s |      19 |  3447746 |   472382 |    61256     17 |       10 |      644
1316.17/1316.69	c 1314s |      19 |  3450732 |   473482 |    61256     17 |       10 |      644
1318.37/1318.82	c 1317s |      19 |  3454359 |   474682 |    61256     17 |       10 |      644
1320.47/1320.91	c 1319s |      19 |  3459425 |   475782 |    61256     17 |       10 |      644
1322.67/1323.14	c 1321s |      19 |  3463576 |   476982 |    61256     17 |       10 |      644
1324.67/1325.19	c 1323s |      19 |  3467466 |   477882 |    61256     17 |       10 |      644
1326.87/1327.37	c 1325s |      19 |  3471242 |   479082 |    61256     17 |       10 |      644
1328.97/1329.41	c 1327s |      19 |  3474796 |   480082 |    61256     17 |       10 |      644
1330.97/1331.43	c 1329s |      19 |  3478887 |   481182 |    61256     17 |       10 |      644
1333.07/1333.56	c 1331s |      19 |  3482832 |   482282 |    61256     17 |       10 |      644
1335.27/1335.72	c 1333s |      19 |  3486639 |   483382 |    61256     17 |       10 |      644
1337.47/1337.94	c 1336s |      19 |  3490823 |   484582 |    61256     17 |       10 |      644
1339.57/1340.04	c 1338s |      19 |  3494322 |   485582 |    61256     17 |       10 |      644
1341.67/1342.16	c 1340s |      19 |  3497324 |   486682 |    61256     17 |       10 |      644
1343.77/1344.30	c 1342s |      19 |  3500088 |   487782 |    61256     17 |       10 |      644
1345.97/1346.42	c 1344s |      19 |  3502298 |   488882 |    61256     17 |       10 |      644
1348.06/1348.54	c 1346s |      19 |  3504422 |   490082 |    61256     17 |       10 |      644
1350.16/1350.68	c 1348s |      19 |  3506601 |   490982 |    61256     18 |       10 |      644
1353.56/1354.05	c 1352s |      19 |  3508798 |   491782 |    61256     18 |      152 |     1197
1406.85/1407.33	c 1405s |      19 |  3510113 |   491882 |    61256     18 |      152 |     1197
1413.75/1414.22	c 1412s |      19 |  3512753 |   492082 |    61256     18 |      152 |     1197
1417.85/1418.32	c 1416s |      19 |  3516096 |   492382 |    61256     18 |      152 |     1197
1419.85/1420.37	c 1418s |      19 |  3524179 |   493182 |    61256     18 |      152 |     1197
1422.05/1422.51	c 1420s |      19 |  3535185 |   494282 |    61256     18 |      152 |     1197
1424.16/1424.69	c 1422s |      19 |  3542493 |   495382 |    61256     18 |      152 |     1197
1426.26/1426.76	c 1424s |      19 |  3551157 |   496082 |    61256     18 |      152 |     1197
1428.35/1428.81	c 1426s |      19 |  3559581 |   496782 |    61256     18 |      152 |     1197
1430.45/1430.96	c 1429s |      19 |  3568542 |   497982 |    61256     18 |      152 |     1197
1432.65/1433.15	c 1431s |      19 |  3577295 |   498982 |    61256     18 |      152 |     1197
1434.85/1435.31	c 1433s |      19 |  3587908 |   499782 |    61256     18 |      152 |     1197
1436.95/1437.46	c 1435s |      19 |  3594956 |   500582 |    61256     18 |      153 |     1201
1439.05/1439.57	c 1437s |      19 |  3602156 |   501582 |    61256     18 |      153 |     1201
1441.35/1441.86	c 1440s |      19 |  3610002 |   502582 |    61256     18 |      153 |     1201
1443.65/1444.10	c 1442s |      19 |  3618823 |   503282 |    61256     18 |      153 |     1201
1445.85/1446.31	c 1444s |      19 |  3626220 |   504282 |    61256     18 |      153 |     1201
1447.94/1448.42	c 1446s |      19 |  3634987 |   504982 |    61256     18 |      153 |     1201
1449.94/1450.46	c 1448s |      19 |  3643474 |   505982 |    61256     18 |      153 |     1201
1452.04/1452.59	c 1450s |      19 |  3653579 |   506782 |    61256     18 |      153 |     1201
1454.24/1454.77	c 1452s |      19 |  3663849 |   507882 |    61256     18 |      153 |     1201
1456.54/1457.05	c 1455s |      19 |  3674526 |   508982 |    61256     18 |      153 |     1201
1458.64/1459.18	c 1457s |      19 |  3684790 |   510082 |    61256     18 |      153 |     1201
1460.84/1461.32	c 1459s |      19 |  3694305 |   511082 |    61256     18 |      153 |     1201
1462.84/1463.36	c 1461s |      19 |  3701482 |   511882 |    61256     18 |      153 |     1201
1465.04/1465.53	c 1463s |      19 |  3708366 |   512882 |    61256     18 |      153 |     1201
1467.05/1467.56	c 1465s |      19 |  3715510 |   513782 |    61256     18 |      153 |     1201
1469.04/1469.56	c 1467s |      19 |  3722743 |   514682 |    61256     18 |      153 |     1201
1471.14/1471.69	c 1469s |      19 |  3731526 |   515782 |    61256     18 |      153 |     1201
1473.24/1473.77	c 1471s |      19 |  3738431 |   516882 |    61256     18 |      153 |     1201
1475.24/1475.77	c 1473s |      19 |  3744806 |   517882 |    61256     18 |      153 |     1201
1477.34/1477.89	c 1476s |      19 |  3750961 |   519082 |    61256     18 |      153 |     1201
1479.54/1480.04	c 1478s |      19 |  3759016 |   520482 |    61256     18 |      153 |     1201
1481.64/1482.11	c 1480s |      19 |  3762596 |   521682 |    61256     18 |      153 |     1201
1483.84/1484.39	c 1482s |      19 |  3769184 |   522782 |    61256     18 |      153 |     1201
1485.94/1486.46	c 1484s |      19 |  3774487 |   523582 |    61256     18 |      153 |     1201
1488.14/1488.60	c 1486s |      19 |  3782187 |   524182 |    61256     18 |      153 |     1201
1490.34/1490.81	c 1488s |      19 |  3790065 |   524782 |    61256     18 |      153 |     1201
1492.44/1492.98	c 1491s |      19 |  3797243 |   525682 |    61256     18 |      153 |     1201
1494.64/1495.14	c 1493s |      19 |  3804551 |   526382 |    61256     18 |      153 |     1201
1496.74/1497.24	c 1495s |      19 |  3809169 |   527182 |    61256     18 |      153 |     1201
1498.84/1499.36	c 1497s |      19 |  3817543 |   527882 |    61256     18 |      153 |     1201
1501.04/1501.55	c 1499s |      19 |  3825575 |   528782 |    61256     18 |      153 |     1201
1503.34/1503.81	c 1501s |      19 |  3833554 |   529682 |    61256     18 |      153 |     1201
1505.44/1505.97	c 1504s |      19 |  3840073 |   530582 |    61256     18 |      153 |     1201
1507.53/1508.08	c 1506s |      19 |  3847258 |   531282 |    61256     18 |      153 |     1201
1509.63/1510.12	c 1508s |      19 |  3853335 |   532082 |    61256     18 |      153 |     1201
1511.73/1512.21	c 1510s |      19 |  3858936 |   532782 |    61256     18 |      153 |     1201
1513.83/1514.39	c 1512s |      19 |  3865895 |   533782 |    61256     18 |      153 |     1201
1516.03/1516.50	c 1514s |      19 |  3873428 |   534782 |    61256     18 |      153 |     1201
1518.13/1518.62	c 1516s |      19 |  3881388 |   535782 |    61256     18 |      153 |     1201
1520.13/1520.68	c 1518s |      19 |  3887261 |   536782 |    61256     18 |      153 |     1201
1522.23/1522.75	c 1520s |      19 |  3894817 |   537782 |    61256     18 |      153 |     1201
1524.24/1524.76	c 1522s |      19 |  3901079 |   538682 |    61256     18 |      153 |     1201
1526.34/1526.84	c 1525s |      19 |  3908159 |   539682 |    61256     18 |      153 |     1201
1528.54/1529.03	c 1527s |      19 |  3913226 |   540682 |    61256     18 |      154 |     1205
1530.63/1531.16	c 1529s |      19 |  3918603 |   541982 |    61256     18 |      154 |     1205
1532.74/1533.20	c 1531s |      19 |  3922541 |   543082 |    61256     18 |      154 |     1205
1534.94/1535.42	c 1533s |      19 |  3929272 |   543682 |    61256     18 |      154 |     1205
1537.14/1537.67	c 1535s |      19 |  3934939 |   544482 |    61256     18 |      154 |     1205
1539.24/1539.73	c 1537s |      19 |  3941910 |   544982 |    61256     18 |      154 |     1205
1541.44/1541.98	c 1540s |      19 |  3951257 |   545982 |    61256     18 |      154 |     1205
1543.54/1544.06	c 1542s |      19 |  3959516 |   546582 |    61256     18 |      154 |     1205
1545.64/1546.17	c 1544s |      19 |  3967212 |   547382 |    61256     18 |      154 |     1205
1547.94/1548.40	c 1546s |      19 |  3973963 |   548182 |    61256     18 |      154 |     1205
1550.14/1550.65	c 1548s |      19 |  3981660 |   548782 |    61256     18 |      154 |     1205
1552.34/1552.81	c 1550s |      19 |  3987736 |   549582 |    61256     18 |      154 |     1205
1554.33/1554.87	c 1553s |      19 |  3994743 |   550182 |    61256     18 |      154 |     1205
1556.63/1557.16	c 1555s |      19 |  4002355 |   551082 |    61256     18 |      154 |     1205
1558.73/1559.23	c 1557s |      19 |  4010473 |   551782 |    61256     18 |      154 |     1205
1560.83/1561.34	c 1559s |      19 |  4019236 |   552582 |    61256     18 |      154 |     1205
1563.03/1563.58	c 1561s |      19 |  4026779 |   553382 |    61256     18 |      154 |     1205
1566.33/1566.84	c 1565s |      19 |  4030509 |   553882 |    61256     19 |      154 |     1205
1568.53/1569.01	c 1567s |      19 |  4038431 |   554682 |    61256     19 |      154 |     1205
1570.63/1571.18	c 1569s |      19 |  4044262 |   555582 |    61256     19 |      154 |     1205
1572.73/1573.27	c 1571s |      19 |  4051761 |   556582 |    61256     19 |      154 |     1205
1574.84/1575.31	c 1573s |      19 |  4059164 |   557582 |    61256     19 |      154 |     1205
1576.83/1577.32	c 1575s |      19 |  4068002 |   558782 |    61256     19 |      154 |     1205
1578.93/1579.43	c 1577s |      19 |  4075484 |   559982 |    61256     19 |      154 |     1205
1580.93/1581.48	c 1579s |      19 |  4083934 |   561382 |    61256     19 |      154 |     1205
1583.03/1583.59	c 1581s |      19 |  4088429 |   562682 |    61256     19 |      154 |     1205
1585.13/1585.61	c 1583s |      19 |  4092546 |   563582 |    61256     19 |      154 |     1205
1587.23/1587.78	c 1585s |      19 |  4100289 |   564482 |    61256     19 |      154 |     1205
1589.23/1589.79	c 1587s |      19 |  4105626 |   564882 |    61256     19 |      154 |     1205
1591.43/1591.96	c 1590s |      19 |  4112820 |   565582 |    61256     19 |      154 |     1205
1593.73/1594.26	c 1592s |      19 |  4120631 |   566382 |    61256     19 |      154 |     1205
1596.03/1596.53	c 1594s |      19 |  4129245 |   567282 |    61256     19 |      154 |     1205
1598.03/1598.53	c 1596s |      19 |  4137086 |   567882 |    61256     19 |      154 |     1205
1600.03/1600.60	c 1598s |      19 |  4145644 |   568782 |    61256     19 |      154 |     1205
1602.23/1602.71	c 1600s |      19 |  4152964 |   569382 |    61256     19 |      154 |     1205
1604.43/1604.96	c 1603s |      19 |  4160860 |   570082 |    61256     19 |      154 |     1205
1606.63/1607.12	c 1605s |      19 |  4167335 |   570882 |    61256     19 |      154 |     1205
1608.72/1609.20	c 1607s |      19 |  4173810 |   571582 |    61256     19 |      154 |     1205
1610.82/1611.35	c 1609s |      19 |  4181151 |   572282 |    61256     19 |      154 |     1205
1613.02/1613.51	c 1611s |      19 |  4190810 |   573182 |    61256     19 |      154 |     1205
1615.02/1615.57	c 1613s |      19 |  4197470 |   573882 |    61256     19 |      154 |     1205
1617.22/1617.76	c 1615s |      19 |  4203811 |   574582 |    61256     19 |      154 |     1205
1619.42/1619.90	c 1618s |      19 |  4209953 |   575382 |    61256     19 |      154 |     1205
1621.62/1622.19	c 1620s |      19 |  4216024 |   576282 |    61256     19 |      154 |     1205
1623.72/1624.23	c 1622s |      19 |  4221437 |   576882 |    61256     19 |      154 |     1205
1625.82/1626.35	c 1624s |      19 |  4227028 |   577782 |    61256     19 |      154 |     1205
1627.82/1628.36	c 1626s |      19 |  4234786 |   578582 |    61256     19 |      154 |     1205
1630.02/1630.54	c 1628s |      19 |  4241056 |   579582 |    61256     19 |      154 |     1205
1632.32/1632.82	c 1631s |      19 |  4247817 |   580582 |    61256     19 |      154 |     1205
1634.42/1634.90	c 1633s |      19 |  4251909 |   581482 |    61256     19 |      154 |     1205
1636.43/1636.95	c 1635s |      19 |  4258013 |   582482 |    61256     19 |      154 |     1205
1638.62/1639.12	c 1637s |      19 |  4262770 |   583482 |    61256     19 |      154 |     1205
1640.72/1641.24	c 1639s |      19 |  4267067 |   584582 |    61256     19 |      154 |     1205
1643.12/1643.65	c 1641s |      19 |  4271685 |   585682 |    61256     20 |      154 |     1205
1645.22/1645.74	c 1643s |      19 |  4278460 |   586482 |    61256     20 |      154 |     1205
1647.52/1648.03	c 1646s |      19 |  4288369 |   587182 |    61256     20 |      154 |     1205
1649.72/1650.29	c 1648s |      19 |  4297619 |   587882 |    61256     20 |      154 |     1205
1651.92/1652.49	c 1650s |      19 |  4304373 |   588882 |    61256     20 |      154 |     1205
1654.22/1654.72	c 1652s |      19 |  4310213 |   589682 |    61256     20 |      154 |     1205
1656.22/1656.78	c 1654s |      19 |  4316810 |   590282 |    61256     20 |      154 |     1205
1658.42/1658.97	c 1657s |      19 |  4324044 |   591182 |    61256     20 |      154 |     1205
1660.52/1661.04	c 1659s |      19 |  4333619 |   591882 |    61256     20 |      154 |     1205
1662.72/1663.30	c 1661s |      19 |  4339646 |   592782 |    61256     20 |      154 |     1205
1665.02/1665.58	c 1663s |      19 |  4349433 |   593882 |    61256     20 |      154 |     1205
1667.22/1667.71	c 1665s |      19 |  4354991 |   594682 |    61256     20 |      154 |     1205
1669.21/1669.80	c 1667s |      19 |  4362514 |   595582 |    61256     20 |      154 |     1205
1671.41/1671.92	c 1670s |      19 |  4369055 |   596382 |    61256     20 |      154 |     1205
1673.51/1674.09	c 1672s |      19 |  4375437 |   597182 |    61256     20 |      154 |     1205
1675.71/1676.26	c 1674s |      19 |  4382989 |   598182 |    61256     20 |      154 |     1205
1677.71/1678.29	c 1676s |      19 |  4388432 |   599082 |    61256     20 |      154 |     1205
1679.81/1680.32	c 1678s |      19 |  4393978 |   599882 |    61256     20 |      154 |     1205
1681.91/1682.41	c 1680s |      19 |  4401164 |   600982 |    61256     20 |      154 |     1205
1683.91/1684.42	c 1682s |      19 |  4406574 |   602082 |    61256     20 |      154 |     1205
1685.92/1686.45	c 1684s |      19 |  4412711 |   603282 |    61256     20 |      154 |     1205
1688.02/1688.59	c 1686s |      19 |  4416313 |   604582 |    61256     20 |      154 |     1205
1690.11/1690.67	c 1688s |      19 |  4421772 |   605282 |    61256     20 |      154 |     1205
1692.21/1692.70	c 1690s |      19 |  4427564 |   606082 |    61256     20 |      154 |     1205
1694.21/1694.73	c 1692s |      19 |  4433112 |   606582 |    61256     20 |      154 |     1205
1696.31/1696.89	c 1695s |      19 |  4438247 |   607382 |    61256     20 |      154 |     1205
1698.71/1699.21	c 1697s |      19 |  4447555 |   608382 |    61256     20 |      154 |     1205
1700.81/1701.37	c 1699s |      19 |  4454047 |   608982 |    61256     20 |      154 |     1205
1702.91/1703.43	c 1701s |      19 |  4461004 |   609782 |    61256     20 |      154 |     1205
1705.01/1705.58	c 1703s |      19 |  4466304 |   610582 |    61256     20 |      154 |     1205
1707.21/1707.77	c 1705s |      19 |  4471652 |   611382 |    61256     20 |      154 |     1205
1709.31/1709.89	c 1708s |      19 |  4478097 |   612082 |    61256     20 |      154 |     1205
1711.41/1711.98	c 1710s |      19 |  4482935 |   612882 |    61256     20 |      154 |     1205
1713.51/1714.06	c 1712s |      19 |  4490901 |   613782 |    61256     20 |      154 |     1205
1715.51/1716.07	c 1714s |      19 |  4496224 |   614482 |    61256     20 |      154 |     1205
1717.71/1718.24	c 1716s |      19 |  4500884 |   615382 |    61256     20 |      154 |     1205
1719.91/1720.47	c 1718s |      19 |  4508793 |   616382 |    61256     20 |      154 |     1205
1722.00/1722.57	c 1720s |      19 |  4514321 |   617282 |    61256     20 |      154 |     1205
1724.20/1724.73	c 1722s |      19 |  4518776 |   618082 |    61256     21 |      154 |     1205
1726.30/1726.87	c 1725s |      19 |  4523728 |   619182 |    61256     21 |      154 |     1205
1728.50/1729.00	c 1727s |      19 |  4530665 |   620482 |    61256     21 |      154 |     1205
1730.50/1731.09	c 1729s |      19 |  4535080 |   621682 |    61256     21 |      154 |     1205
1732.70/1733.25	c 1731s |      19 |  4539291 |   622782 |    61256     21 |      154 |     1205
1734.70/1735.28	c 1733s |      19 |  4543419 |   623382 |    61256     21 |      154 |     1205
1736.70/1737.29	c 1735s |      19 |  4549304 |   624082 |    61256     21 |      154 |     1205
1738.80/1739.36	c 1737s |      19 |  4556232 |   624782 |    61256     21 |      154 |     1205
1741.10/1741.67	c 1739s |      19 |  4564151 |   625582 |    61256     21 |      154 |     1205
1743.20/1743.75	c 1741s |      19 |  4571860 |   626482 |    61256     21 |      154 |     1205
1745.30/1745.84	c 1744s |      19 |  4582304 |   627282 |    61256     21 |      154 |     1205
1747.51/1748.06	c 1746s |      19 |  4589783 |   628282 |    61256     21 |      154 |     1205
1749.70/1750.23	c 1748s |      19 |  4598148 |   629282 |    61256     21 |      154 |     1205
1751.90/1752.49	c 1750s |      19 |  4606889 |   630182 |    61256     21 |      154 |     1205
1754.00/1754.57	c 1752s |      19 |  4612297 |   630982 |    61256     21 |      154 |     1205
1756.10/1756.69	c 1754s |      19 |  4620619 |   632082 |    61256     21 |      154 |     1205
1758.19/1758.79	c 1756s |      19 |  4628308 |   633282 |    61256     21 |      154 |     1205
1760.29/1760.85	c 1759s |      19 |  4634905 |   634482 |    61256     21 |      154 |     1205
1762.49/1763.05	c 1761s |      19 |  4639325 |   635582 |    61256     21 |      154 |     1205
1764.89/1765.40	c 1763s |      19 |  4643623 |   636682 |    61256     21 |      154 |     1205
1766.89/1767.47	c 1765s |      19 |  4650410 |   637482 |    61256     21 |      154 |     1205
1769.19/1769.78	c 1767s |      19 |  4657095 |   638082 |    61256     21 |      154 |     1205
1771.19/1771.78	c 1769s |      19 |  4662905 |   638882 |    61256     21 |      154 |     1205
1773.59/1774.10	c 1772s |      19 |  4670463 |   639582 |    61256     21 |      154 |     1205
1775.59/1776.14	c 1774s |      19 |  4675408 |   640182 |    61256     21 |      154 |     1205
1777.69/1778.26	c 1776s |      19 |  4682315 |   640982 |    61256     21 |      154 |     1205
1779.99/1780.58	c 1778s |      19 |  4689012 |   641882 |    61256     21 |      154 |     1205
1782.09/1782.65	c 1780s |      19 |  4695426 |   642482 |    61256     21 |      154 |     1205
1784.19/1784.77	c 1782s |      19 |  4700703 |   643282 |    61256     21 |      154 |     1205
1786.39/1786.94	c 1785s |      19 |  4707186 |   643882 |    61256     21 |      155 |     1209
1788.49/1789.09	c 1787s |      19 |  4713012 |   644782 |    61256     21 |      155 |     1209
1790.69/1791.27	c 1789s |      19 |  4718514 |   645582 |    61256     21 |      155 |     1209
1792.90/1793.40	c 1791s |      19 |  4724665 |   646382 |    61256     21 |      155 |     1209
1795.00/1795.53	c 1793s |      19 |  4729168 |   647182 |    61256     21 |      155 |     1209
1797.10/1797.66	c 1795s |      19 |  4735301 |   648082 |    61256     21 |      155 |     1209
1799.10/1799.70	c 1797s |      19 |  4740678 |   648982 |    61256     21 |      155 |     1209

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

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

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


[startup+0 s]
/proc/loadavg: 1.19 1.10 1.22 4/175 26389
/proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 2694 0 0 0 0 0 0 0 20 0 4 0 13976268 739700736 3566 33554432000 4194304 16246674 140735982935872 140735982934808 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 181359 3576 441 2943 0 178253 0
[pid=26388/tid=26390] ppid=26382 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 764866560 3660 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 769060864 3677 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 774303744 3693 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100228 s]
/proc/loadavg: 1.19 1.10 1.22 4/175 26389
/proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 28417 0 0 0 5 4 0 0 20 0 4 0 13976268 1333334016 29227 33554432000 4194304 16246674 140735982935872 140735982935184 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 325521 29240 801 2943 0 322415 0
[pid=26388/tid=26390] ppid=26382 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1333334016 29252 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1333334016 29263 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1333334016 29274 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200543 s]
/proc/loadavg: 1.19 1.10 1.22 4/175 26389
/proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 48880 0 0 0 12 7 0 0 20 0 4 0 13976268 1344868352 50200 33554432000 4194304 16246674 140735982935872 140735982935184 8055512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 328337 50200 801 2943 0 325231 0
[pid=26388/tid=26390] ppid=26382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1344868352 50200 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 50200 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 50200 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300475 s]
/proc/loadavg: 1.19 1.10 1.22 4/175 26389
/proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 57287 0 0 0 21 8 0 0 20 0 4 0 13976268 1344868352 58607 33554432000 4194304 16246674 140735982935872 140735982935184 8056974 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 328337 58607 801 2943 0 325231 0
[pid=26388/tid=26390] ppid=26382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1344868352 58607 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 58607 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 58607 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700436 s]
/proc/loadavg: 1.19 1.10 1.22 4/175 26389
/proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 68535 0 0 0 59 10 0 0 20 0 4 0 13976268 1344868352 69855 33554432000 4194304 16246674 140735982935872 140735982935184 5876420 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 328337 69855 835 2943 0 325231 0
[pid=26388/tid=26390] ppid=26382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1344868352 69855 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 69855 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 69855 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50044 s]
/proc/loadavg: 1.26 1.12 1.23 4/183 26397
/proc/meminfo: memFree=30289604/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 268951 0 0 0 114 35 0 0 20 0 4 0 13976268 1344868352 270271 33554432000 4194304 16246674 140735982935872 140735982917760 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 328337 270271 837 2943 0 325231 0
[pid=26388/tid=26390] ppid=26382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1344868352 270271 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 270271 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 270271 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 1.26 1.12 1.23 4/183 26397
/proc/meminfo: memFree=29151036/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1325636 CPUtime=3.09 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 271840 0 0 0 273 36 0 0 20 0 4 0 13976268 1357451264 273160 33554432000 4194304 16246674 140735982935872 140735982917760 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 331409 273160 885 2943 0 328303 0
[pid=26388/tid=26390] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1357451264 273160 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1357451264 273160 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1357451264 273160 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30044 s]
/proc/loadavg: 1.32 1.13 1.23 4/183 26397
/proc/meminfo: memFree=29150456/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1325636 CPUtime=6.29 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 272082 0 0 0 593 36 0 0 20 0 4 0 13976268 1357451264 273402 33554432000 4194304 16246674 140735982935872 140735982917760 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 331409 273402 889 2943 0 328303 0
[pid=26388/tid=26390] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1357451264 273402 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1357451264 273402 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1357451264 273402 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 1.37 1.15 1.24 4/183 26397
/proc/meminfo: memFree=29150324/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1325636 CPUtime=12.69 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 272082 0 0 0 1233 36 0 0 20 0 4 0 13976268 1357451264 273402 33554432000 4194304 16246674 140735982935872 140735982917760 12483632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 331409 273402 889 2943 0 328303 0
[pid=26388/tid=26390] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1357451264 273402 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1357451264 273402 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1357451264 273402 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 1.58 1.20 1.25 4/183 26397
/proc/meminfo: memFree=29151124/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1325636 CPUtime=25.49 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 272082 0 0 0 2513 36 0 0 20 0 4 0 13976268 1357451264 273402 33554432000 4194304 16246674 140735982935872 140735982917760 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 331409 273402 889 2943 0 328303 0
[pid=26388/tid=26390] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1357451264 273402 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1357451264 273402 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1357451264 273402 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1325636

[startup+51.1005 s]
/proc/loadavg: 1.72 1.27 1.27 4/183 26397
/proc/meminfo: memFree=29151048/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1325636 CPUtime=51.07 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 272098 0 0 0 5071 36 0 0 20 0 4 0 13976268 1357451264 273402 33554432000 4194304 16246674 140735982935872 140735982917760 12483624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 331409 273402 889 2943 0 328303 0
[pid=26388/tid=26390] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1357451264 273402 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1357451264 273402 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1357451264 273402 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1325636

[startup+102.301 s]
/proc/loadavg: 1.88 1.38 1.31 4/183 26398
/proc/meminfo: memFree=29150216/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1325636 CPUtime=102.26 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 272115 0 0 0 10190 36 0 0 20 0 4 0 13976268 1357451264 273403 33554432000 4194304 16246674 140735982935872 140735982917760 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 331409 273403 889 2943 0 328303 0
[pid=26388/tid=26390] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1357451264 273403 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1357451264 273403 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1357451264 273403 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1325636


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

/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1410928640 286460 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1377860

[startup+1362.3 s]
/proc/loadavg: 2.08 2.05 1.84 4/183 26431
/proc/meminfo: memFree=28988004/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1400388 CPUtime=1361.86 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 290917 0 0 0 136139 47 0 0 20 0 4 0 13976268 1433997312 291867 33554432000 4194304 16246674 140735982935872 140735982934968 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 350097 291867 890 2943 0 346991 0
[pid=26388/tid=26390] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1433997312 291867 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 291867 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 291867 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1400388

[startup+1422.3 s]
/proc/loadavg: 2.03 2.04 1.85 4/183 26432
/proc/meminfo: memFree=28986848/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1400388 CPUtime=1421.86 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 291142 0 0 0 142134 52 0 0 20 0 4 0 13976268 1433997312 292092 33554432000 4194304 16246674 140735982935872 140735982917760 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 350097 292092 890 2943 0 346991 0
[pid=26388/tid=26390] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1400388

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 1.85 4/183 26433
/proc/meminfo: memFree=28987628/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1400388 CPUtime=1481.84 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 291142 0 0 0 148132 52 0 0 20 0 4 0 13976268 1433997312 292092 33554432000 4194304 16246674 140735982935872 140735982917760 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 350097 292092 890 2943 0 346991 0
[pid=26388/tid=26390] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1400388

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 1.86 4/183 26434
/proc/meminfo: memFree=28987648/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1400388 CPUtime=1541.84 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 291142 0 0 0 154131 53 0 0 20 0 4 0 13976268 1433997312 292092 33554432000 4194304 16246674 140735982935872 140735982917760 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 350097 292092 890 2943 0 346991 0
[pid=26388/tid=26390] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1400388

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.87 4/183 26435
/proc/meminfo: memFree=28987644/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1400388 CPUtime=1601.82 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 291142 0 0 0 160129 53 0 0 20 0 4 0 13976268 1433997312 292092 33554432000 4194304 16246674 140735982935872 140735982917760 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 350097 292092 890 2943 0 346991 0
[pid=26388/tid=26390] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1400388

[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 1.89 3/183 26437
/proc/meminfo: memFree=28987772/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1400388 CPUtime=1661.81 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 291142 0 0 0 166128 53 0 0 20 0 4 0 13976268 1433997312 292092 33554432000 4194304 16246674 140735982935872 140735982917760 5674932 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 350097 292092 890 2943 0 346991 0
[pid=26388/tid=26390] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1400388

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 1.89 4/184 26441
/proc/meminfo: memFree=28986968/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1400388 CPUtime=1721.8 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 291142 0 0 0 172127 53 0 0 20 0 4 0 13976268 1433997312 292092 33554432000 4194304 16246674 140735982935872 140735982917760 13906983 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 350097 292092 890 2943 0 346991 0
[pid=26388/tid=26390] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1433997312 292092 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1400388

[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 1.91 4/183 26442
/proc/meminfo: memFree=28979408/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1408580 CPUtime=1781.79 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 292996 0 0 0 178126 53 0 0 20 0 4 0 13976268 1442385920 293946 33554432000 4194304 16246674 140735982935872 140735982917760 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 352145 293946 890 2943 0 349039 0
[pid=26388/tid=26390] ppid=26382 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1442385920 293946 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1442385920 293946 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1442385920 293946 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1408580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.09 2.06 1.91 4/183 26442
/proc/meminfo: memFree=28979408/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1408580 CPUtime=1800 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 292996 0 0 0 179946 54 0 0 20 0 4 0 13976268 1442385920 293946 33554432000 4194304 16246674 140735982935872 140735982917760 5823933 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 352145 293946 890 2943 0 349039 0
[pid=26388/tid=26390] ppid=26382 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1442385920 293946 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1442385920 293946 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1442385920 293946 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 26388 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.09 2.06 1.91 4/183 26442
/proc/meminfo: memFree=28979408/32872528 swapFree=532956/565660
[pid=26388] ppid=26382 vsize=1408580 CPUtime=1800 cores=1,3,5,7
/proc/26388/stat : 26388 (toysat) R 26382 26388 17565 0 -1 4202496 292996 0 0 0 179946 54 0 0 20 0 4 0 13976268 1442385920 293946 33554432000 4194304 16246674 140735982935872 140735982917760 5823933 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26388/statm: 352145 293946 890 2943 0 349039 0
[pid=26388/tid=26390] ppid=26382 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26390/stat : 26390 (toysat) S 26382 26388 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1442385920 293946 33554432000 4194304 16246674 140735982935872 139657838832880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26388/tid=26392] ppid=26382 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26392/stat : 26392 (toysat) S 26382 26388 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1442385920 293946 33554432000 4194304 16246674 140735982935872 139657828343024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26388/tid=26394] ppid=26382 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/26388/task/26394/stat : 26394 (toysat) S 26382 26388 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1442385920 293946 33554432000 4194304 16246674 140735982935872 139657706728624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1408580

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.47
CPU system time (s): 0.540917
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1408580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.540917
maximum resident set size= 1175784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292996
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= 384
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.10607 second user time and 8.5257 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-17 01:21:46
IDJOB=4098052
IDBENCH=107845
IDSOLVER=2542
FILE ID=node138/4098052-1466119306
RUNJOBID= node138-1466119306-26361
PBS_JOBID= 19904048
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 92da582f4b822563e9d3be08421e1a61
RANDOM SEED=1030823423

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31335552 kB
Buffers:           73912 kB
Cached:           189064 kB
SwapCached:         1380 kB
Active:           141760 kB
Inactive:         124064 kB
Active(anon):       4072 kB
Inactive(anon):     1664 kB
Active(file):     137688 kB
Inactive(file):   122400 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             40752 kB
Writeback:             0 kB
AnonPages:        684332 kB
Mapped:             7044 kB
Shmem:                 0 kB
Slab:             572864 kB
SReclaimable:      16852 kB
SUnreclaim:       556012 kB
KernelStack:        1416 kB
PageTables:         5000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     662132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71692 MiB
End job on node138 at 2016-06-17 01:51:47