Trace number 4097926

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_11.opb
MD5SUM39e669795c558ed695b104e86ec6e4fe
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5700
Total number of constraints27830
Number of constraints which are clauses27825
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 constraint75
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 11
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 86
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:16:48+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4097926-1466119008.opb"]
0.00/0.01	c use --random-gen="4140668557 2500911693 4064606267 2844531610 2965883028 920472353 2800223951 2175370797 754897221 2643800328 3992963777 3001561949 2048681105 287668047 407724701 1072595085 4028951521 1516567675 1447246252 4049908603 3092281096 993356719 3102159712 2896467471 2486702551 3357910177 452774077 1304178783 2721752141 1293313377 1414819042 2455887786 684810309 2816016266 474765022 152326273 1828818229 3373220402 3695926492 2874754909 2577713304 124464482 348058471 3705418886 1298545235 1614573988 4063792313 1450119102 2937319629 1380046572 432785702 4225410428 3066110265 2904988868 2887763016 66296844 3331781373 3266079609 1555446517 3836588571 613181102 3581362913 3977231243 3589362428 2123153836 838547128 4036361302 4014222490 2246676808 3078361485 809921856 2679886136 2039191871 1771193686 682365577 119282844 995597355 2208194263 2246888240 3581265649 3000415304 1276402682 3056190691 2707752939 2699837296 4022433890 3769565318 3098330399 482966651 756808477 3525020681 626255738 1890226121 4289319881 900419603 2911345095 3656447587 1952299547 2353717730 1587196431 1391838861 439109097 1346617252 4240794602 183272273 3147373682 4180809191 1495768558 1484005273 3772847367 3293663171 2720986966 1793266013 662776077 1151622025 518656362 3178097609 4086295590 3139015120 377254291 1208198814 1651350438 3003872162 2658045596 3764584519 362296150 2670811220 2990121619 2270937457 2838824574 218117358 1100018755 1601316013 2063747451 2256721186 716391550 3747150232 1437007972 3835099128 1090878182 383819550 3835679876 175064079 58683648 3293188234 1541307521 3110999057 3972860074 303833309 3649180814 1366240207 2565571508 1931208274 587596826 2519192221 3576110904 3338779231 3027318400 3333477079 1457155054 4022920062 4103371413 3241256131 3268586394 1394439271 2569830695 2007540873 3931796482 3188541254 2065587049 867223242 3157658805 2003323154 2001334502 747428666 4151649955 3545482293 1651934262 2229646533 3362635173 1966021186 796068185 2433208143 2519670863 990891408 2611259326 2362126951 1219913558 2749497928 4057144120 2764919076 227972876 709855999 1877679636 3270394819 99515287 1935811929 532793123 1782279864 2229696967 3250652432 2811370368 2944615178 3644937733 2139687091 3508576417 252993157 2804705229 4092941627 2891076771 4157008438 2024391281 2849079838 56618501 693217975 111480374 899955161 2523669089 3763236054 2473607662 678683950 645920267 1197174487 3538714389 3325370686 1267887176 4036233507 1404854283 4144016091 3880489189 2703435913 78491398 1901702106 2169447356 957628882 700017266 1664003951 1343492988 2284662806 1451595120 1969843302 2448933541 3622868325 1212692621 4164997394 2291236520 1598481262 855016738 4226284772 622072180 929249659 662858210 446409647 1043696302 3283994115 2641345903 255 362436" option to reproduce the execution
0.69/0.72	c #vars 5700
0.69/0.72	c #constraints 27830
1.88/1.98	c Solving starts ...
1.88/1.98	c ============================[ Search Statistics ]============================
1.88/1.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.88/1.98	c       |         |          |          |    Limit     GC | Var      | Constra 
1.88/1.98	c =============================================================================
1.88/1.98	c  0.0s |       0 |        0 |        0 |    11175      0 |        5 |        0
2.48/2.56	c  0.6s |       1 |     1530 |      100 |    11175      0 |        5 |      656
3.18/3.20	c  1.2s |       2 |     3128 |      250 |    12293      0 |        5 |      656
3.88/3.90	c  1.9s |       3 |     7609 |      475 |    13523      0 |        5 |      656
5.28/5.38	c  3.4s |       4 |    11080 |      813 |    14876      0 |        5 |      656
7.29/7.35	c  5.4s |       5 |    16625 |     1320 |    16364      0 |        5 |      656
9.29/9.37	c  7.4s |       5 |    21085 |     1920 |    18001      0 |        5 |      656
9.79/9.81	c  7.8s |       6 |    21728 |     2081 |    19802      0 |        5 |      656
11.89/11.92	c  9.9s |       6 |    25848 |     2681 |    19802      0 |        5 |      656
13.79/13.88	c 11.9s |       7 |    29190 |     3223 |    21783      0 |        5 |      656
15.89/15.99	c 14.0s |       7 |    34296 |     3823 |    21783      0 |        5 |      656
17.99/18.00	c 16.0s |       7 |    39577 |     4623 |    21783      0 |        5 |      656
19.19/19.29	c 17.3s |       8 |    42308 |     4936 |    23962      0 |        5 |      656
21.49/21.55	c 19.6s |       8 |    49231 |     5436 |    23962      0 |        5 |      656
23.49/23.59	c 21.6s |       8 |    54452 |     5936 |    23962      0 |        5 |      656
25.69/25.77	c 23.8s |       8 |    58945 |     6736 |    23962      0 |        5 |      656
27.79/27.88	c 25.9s |       8 |    66135 |     7436 |    23962      0 |        5 |      656
27.99/28.06	c 26.1s |       9 |    67618 |     7506 |    26359      0 |        5 |      656
30.19/30.22	c 28.2s |       9 |    77883 |     8006 |    26359      0 |        5 |      656
32.19/32.29	c 30.3s |       9 |    82042 |     8506 |    26359      0 |        5 |      656
34.48/34.51	c 32.5s |       9 |    86674 |     9006 |    26359      0 |        5 |      656
36.58/36.62	c 34.6s |       9 |    92567 |     9606 |    26359      0 |        5 |      656
38.78/38.86	c 36.9s |       9 |    97154 |    10406 |    26359      0 |        5 |      656
41.18/41.25	c 39.3s |       9 |   105929 |    11006 |    26359      0 |        5 |      656
42.78/42.87	c 40.9s |      10 |   110661 |    11361 |    28995      0 |        5 |      656
44.98/45.04	c 43.1s |      10 |   116988 |    11861 |    28995      0 |        5 |      656
46.98/47.06	c 45.1s |      10 |   121743 |    12561 |    28995      0 |        5 |      656
48.98/49.09	c 47.1s |      10 |   128057 |    13261 |    28995      0 |        5 |      656
51.38/51.40	c 49.4s |      10 |   136021 |    13861 |    28995      0 |        5 |      656
53.47/53.56	c 51.6s |      10 |   140902 |    14461 |    28995      0 |        5 |      656
55.57/55.68	c 53.7s |      10 |   144922 |    15261 |    28995      0 |        5 |      656
57.97/58.00	c 56.0s |      10 |   152756 |    15961 |    28995      0 |        5 |      656
60.07/60.15	c 58.2s |      10 |   158727 |    16461 |    28995      0 |        5 |      656
62.17/62.23	c 60.3s |      11 |   163748 |    17144 |    31895      0 |        5 |      656
64.16/64.29	c 62.3s |      11 |   168194 |    17744 |    31895      0 |        5 |      656
66.36/66.40	c 64.4s |      11 |   173902 |    18344 |    31895      0 |        5 |      656
68.46/68.58	c 66.6s |      11 |   179516 |    19044 |    31895      0 |        5 |      656
70.66/70.79	c 68.8s |      11 |   185290 |    19744 |    31895      0 |        5 |      656
73.16/73.24	c 71.3s |      11 |   191709 |    20344 |    31895      0 |        5 |      656
75.36/75.40	c 73.4s |      11 |   196836 |    20944 |    31895      0 |        5 |      656
77.66/77.71	c 75.7s |      11 |   202830 |    21744 |    31895      0 |        5 |      656
79.66/79.74	c 77.8s |      11 |   208529 |    22344 |    31895      0 |        5 |      656
82.06/82.13	c 80.2s |      11 |   215557 |    23144 |    31895      0 |        5 |      656
84.35/84.49	c 82.5s |      11 |   222169 |    23744 |    31895      0 |        5 |      656
86.75/86.83	c 84.9s |      11 |   226674 |    24544 |    31895      0 |        5 |      656
88.85/88.90	c 86.9s |      11 |   231621 |    25044 |    31895      0 |        5 |      656
90.95/91.05	c 89.1s |      12 |   238644 |    25819 |    35085      0 |        5 |      656
93.04/93.14	c 91.2s |      12 |   244384 |    26519 |    35085      0 |        5 |      656
95.24/95.36	c 93.4s |      12 |   251784 |    27019 |    35085      0 |        5 |      656
97.54/97.63	c 95.6s |      12 |   255676 |    27719 |    35085      0 |        5 |      656
99.74/99.89	c 97.9s |      12 |   263656 |    28319 |    35085      0 |        5 |      656
101.84/101.92	c 99.9s |      12 |   271375 |    28819 |    35085      0 |        5 |      656
103.94/104.05	c  102s |      12 |   276499 |    29519 |    35085      0 |        5 |      656
106.14/106.21	c  104s |      12 |   282275 |    30219 |    35085      0 |        5 |      656
108.14/108.26	c  106s |      12 |   288381 |    30719 |    35085      0 |        5 |      656
110.24/110.34	c  108s |      12 |   293002 |    31419 |    35085      0 |        5 |      656
112.54/112.62	c  110s |      12 |   300693 |    32019 |    35085      0 |        5 |      656
114.74/114.82	c  112s |      12 |   307039 |    32519 |    35085      0 |        5 |      656
116.94/117.03	c  115s |      12 |   314340 |    33419 |    35085      0 |        5 |      656
118.94/119.08	c  117s |      12 |   323212 |    34019 |    35085      0 |        5 |      656
121.14/121.23	c  119s |      12 |   329111 |    34619 |    35085      0 |        5 |      656
123.24/123.31	c  121s |      12 |   334200 |    35319 |    35085      0 |        5 |      656
125.64/125.76	c  123s |      12 |   341689 |    35919 |    35085      0 |        5 |      656
127.64/127.79	c  125s |      12 |   346272 |    36419 |    35085      0 |        5 |      656
130.24/130.30	c  128s |      12 |   350502 |    37119 |    35085      1 |        5 |      656
132.33/132.46	c  130s |      12 |   357495 |    37719 |    35085      1 |        5 |      656
134.53/134.64	c  132s |      12 |   364662 |    38619 |    38594      1 |        5 |      656
135.34/135.48	c  133s |      13 |   367621 |    38832 |    38594      1 |        5 |      656
137.93/138.04	c  136s |      13 |   370986 |    39032 |    38594      1 |        5 |      656
140.03/140.13	c  138s |      13 |   375897 |    39632 |    38594      1 |        5 |      656
142.13/142.21	c  140s |      13 |   382005 |    40332 |    38594      1 |        5 |      656
144.13/144.26	c  142s |      13 |   387681 |    40832 |    38594      1 |        5 |      656
146.23/146.38	c  144s |      13 |   395582 |    41332 |    38594      1 |        5 |      656
148.53/148.68	c  146s |      13 |   402954 |    42132 |    38594      1 |        5 |      656
150.63/150.73	c  148s |      13 |   409891 |    42732 |    38594      1 |        5 |      656
152.92/153.04	c  151s |      13 |   416531 |    43232 |    38594      1 |        5 |      656
155.02/155.17	c  153s |      13 |   423240 |    43932 |    38594      1 |        5 |      656
157.22/157.38	c  155s |      13 |   428939 |    44532 |    38594      1 |        5 |      656
159.52/159.65	c  157s |      13 |   437039 |    45132 |    38594      1 |        5 |      656
161.62/161.78	c  159s |      13 |   443346 |    45932 |    38594      1 |        5 |      656
163.71/163.85	c  161s |      13 |   453543 |    46532 |    38594      1 |        5 |      656
166.01/166.12	c  164s |      13 |   459518 |    47132 |    38594      1 |        5 |      656
168.10/168.25	c  166s |      13 |   468063 |    48032 |    38594      1 |        5 |      656
170.10/170.25	c  168s |      13 |   473932 |    48532 |    38594      1 |        5 |      656
172.10/172.27	c  170s |      13 |   480247 |    49332 |    38594      1 |        5 |      656
174.30/174.47	c  172s |      13 |   488493 |    49932 |    38594      1 |        5 |      656
176.40/176.57	c  174s |      13 |   494767 |    50732 |    38594      1 |        5 |      656
178.60/178.71	c  176s |      13 |   499603 |    51332 |    38594      1 |        5 |      656
180.80/180.96	c  178s |      13 |   505399 |    52032 |    38594      1 |        5 |      656
182.89/183.00	c  181s |      13 |   511269 |    52732 |    38594      1 |        5 |      656
184.99/185.16	c  183s |      13 |   516902 |    53432 |    38594      1 |        5 |      656
187.09/187.29	c  185s |      13 |   524203 |    54532 |    38594      1 |        5 |      656
189.20/189.32	c  187s |      13 |   528676 |    55232 |    38594      1 |        5 |      656
191.19/191.37	c  189s |      13 |   534257 |    56032 |    38594      1 |        5 |      656
193.49/193.67	c  191s |      13 |   539886 |    56932 |    38594      1 |        5 |      656
195.69/195.88	c  193s |      13 |   545316 |    57832 |    38594      1 |        5 |      656
197.28/197.40	c  195s |      14 |   547622 |    58352 |    42454      1 |        5 |      656
199.58/199.77	c  197s |      14 |   552162 |    58952 |    42454      1 |        5 |      656
201.88/202.10	c  200s |      14 |   557213 |    59652 |    42454      1 |        5 |      656
204.08/204.20	c  202s |      14 |   562603 |    60352 |    42454      1 |        5 |      656
206.07/206.22	c  204s |      14 |   569233 |    60952 |    42454      1 |        5 |      656
208.17/208.39	c  206s |      14 |   575104 |    61652 |    42454      1 |        5 |      656
210.47/210.67	c  208s |      14 |   581054 |    62552 |    42454      1 |        5 |      656
212.67/212.84	c  210s |      14 |   584298 |    63252 |    42454      1 |        5 |      656
214.67/214.88	c  212s |      14 |   587447 |    63852 |    42454      2 |        5 |      656
216.77/216.91	c  214s |      14 |   592272 |    64852 |    42454      2 |        5 |      656
218.77/218.93	c  216s |      14 |   594890 |    65952 |    42454      2 |        5 |      656
223.87/224.00	c  222s |      14 |   600940 |    66852 |    42454      2 |        5 |      656
226.07/226.25	c  224s |      14 |   610381 |    67752 |    42454      2 |        5 |      656
228.37/228.53	c  226s |      14 |   620480 |    68352 |    42454      2 |        5 |      656
230.47/230.62	c  228s |      14 |   625716 |    68752 |    42454      2 |        5 |      656
232.57/232.72	c  230s |      14 |   635212 |    69652 |    42454      2 |        5 |      656
234.77/234.99	c  233s |      14 |   645462 |    70352 |    42454      2 |        5 |      656
236.97/237.13	c  235s |      14 |   655292 |    71052 |    42454      2 |        5 |      656
239.17/239.35	c  237s |      14 |   664800 |    71952 |    42454      2 |        5 |      656
241.17/241.35	c  239s |      14 |   669982 |    72652 |    42454      2 |        5 |      656
243.57/243.73	c  241s |      14 |   676943 |    73352 |    42454      2 |        5 |      656
245.56/245.74	c  243s |      14 |   683445 |    73852 |    42454      2 |        5 |      656
247.66/247.80	c  245s |      14 |   689616 |    74652 |    42454      2 |        5 |      656
249.76/249.92	c  247s |      14 |   695781 |    75252 |    42454      2 |        5 |      656
252.06/252.28	c  250s |      14 |   702153 |    76152 |    42454      2 |        5 |      656
254.46/254.66	c  252s |      14 |   710344 |    76752 |    42454      2 |        5 |      656
256.66/256.89	c  254s |      14 |   719322 |    77752 |    42454      2 |        5 |      656
259.06/259.23	c  257s |      14 |   724619 |    78552 |    42454      2 |        5 |      656
261.16/261.32	c  259s |      14 |   729954 |    79152 |    42454      2 |        5 |      656
263.16/263.39	c  261s |      14 |   736153 |    79952 |    42454      2 |        5 |      656
265.46/265.64	c  263s |      14 |   743591 |    80552 |    42454      2 |        5 |      656
267.76/267.93	c  265s |      14 |   750972 |    81452 |    42454      2 |        5 |      656
269.96/270.13	c  268s |      14 |   757339 |    82252 |    42454      2 |        5 |      656
272.16/272.34	c  270s |      14 |   763753 |    83052 |    42454      2 |        5 |      656
274.26/274.46	c  272s |      14 |   767493 |    83752 |    42454      2 |        5 |      656
276.36/276.53	c  274s |      14 |   773532 |    84552 |    42454      2 |        5 |      656
278.66/278.86	c  276s |      14 |   780092 |    85452 |    42454      2 |        5 |      656
280.76/280.97	c  278s |      14 |   785944 |    86252 |    42454      2 |        5 |      656
282.86/283.05	c  281s |      14 |   791078 |    87052 |    46700      3 |        5 |      656
284.06/284.24	c  282s |      15 |   794381 |    87632 |    46700      3 |        5 |      656
286.15/286.33	c  284s |      15 |   799909 |    88532 |    46700      3 |        5 |      656
288.25/288.46	c  286s |      15 |   805560 |    89632 |    46700      3 |        5 |      656
290.45/290.65	c  288s |      15 |   811923 |    90932 |    46700      3 |        5 |      656
292.56/292.77	c  290s |      15 |   816137 |    92232 |    46700      3 |        5 |      656
294.95/295.19	c  293s |      15 |   822216 |    93132 |    46700      3 |        5 |      656
297.15/297.37	c  295s |      15 |   829834 |    94032 |    46700      3 |        5 |      656
299.35/299.55	c  297s |      15 |   837429 |    94532 |    46700      3 |        5 |      656
301.85/302.00	c  300s |      15 |   844144 |    95032 |    46700      3 |        5 |      656
303.84/304.02	c  302s |      15 |   850937 |    95732 |    46700      3 |        5 |      656
306.14/306.33	c  304s |      15 |   857663 |    96432 |    46700      3 |        5 |      656
308.24/308.46	c  306s |      15 |   865392 |    97032 |    46700      3 |        5 |      656
310.64/310.83	c  308s |      15 |   872353 |    97832 |    46700      3 |        5 |      656
312.74/312.91	c  310s |      15 |   877195 |    98532 |    46700      3 |        5 |      656
314.94/315.13	c  313s |      15 |   883321 |    99132 |    46700      3 |        5 |      656
317.14/317.32	c  315s |      15 |   890109 |    99632 |    46700      3 |        5 |      656
319.14/319.32	c  317s |      15 |   897996 |   100432 |    46700      3 |        5 |      656
321.24/321.42	c  319s |      15 |   904844 |   101132 |    46700      3 |        5 |      656
323.53/323.78	c  321s |      15 |   911624 |   101832 |    46700      3 |        5 |      656
325.73/325.98	c  323s |      15 |   918298 |   102532 |    46700      3 |        5 |      656
327.93/328.13	c  326s |      15 |   923098 |   103032 |    46700      3 |        5 |      656
329.94/330.19	c  328s |      15 |   929224 |   103732 |    46700      3 |        5 |      656
332.23/332.43	c  330s |      15 |   936078 |   104432 |    46700      3 |        5 |      656
334.33/334.55	c  332s |      15 |   943345 |   105332 |    46700      3 |        5 |      656
336.43/336.67	c  334s |      15 |   949637 |   105932 |    46700      3 |        5 |      656
338.53/338.73	c  336s |      15 |   954985 |   106632 |    46700      3 |        5 |      656
340.52/340.76	c  338s |      15 |   961087 |   107432 |    46700      3 |        5 |      656
342.82/343.00	c  341s |      15 |   965830 |   108232 |    46700      3 |        5 |      656
345.02/345.25	c  343s |      15 |   971221 |   109032 |    46700      3 |        5 |      656
347.22/347.49	c  345s |      15 |   977640 |   109732 |    46700      3 |        5 |      656
349.42/349.64	c  347s |      15 |   985394 |   110832 |    46700      3 |        5 |      656
351.52/351.77	c  349s |      15 |   989892 |   111732 |    46700      3 |        5 |      656
353.81/354.00	c  352s |      15 |   994505 |   112532 |    46700      3 |        5 |      656
355.81/356.09	c  354s |      15 |   998032 |   113332 |    46700      4 |        5 |      656
357.91/358.16	c  356s |      15 |  1003446 |   114532 |    46700      4 |        5 |      656
360.11/360.30	c  358s |      15 |  1006959 |   115732 |    46700      4 |        5 |      656
362.32/362.58	c  360s |      15 |  1011662 |   116232 |    46700      4 |        5 |      656
364.61/364.89	c  362s |      15 |  1016711 |   116932 |    46700      4 |        5 |      656
366.71/366.93	c  364s |      15 |  1022767 |   117432 |    46700      4 |        5 |      656
368.81/369.03	c  367s |      15 |  1029939 |   118232 |    46700      4 |        5 |      656
371.01/371.21	c  369s |      15 |  1037740 |   118832 |    46700      4 |        5 |      656
373.20/373.49	c  371s |      15 |  1044395 |   119632 |    46700      4 |        5 |      656
375.30/375.57	c  373s |      15 |  1050767 |   120332 |    46700      4 |        5 |      656
377.40/377.61	c  375s |      15 |  1057481 |   121032 |    46700      4 |        5 |      656
379.60/379.90	c  377s |      15 |  1064724 |   121832 |    46700      4 |        5 |      656
381.80/382.07	c  380s |      15 |  1070479 |   122432 |    46700      4 |        5 |      656
383.90/384.13	c  382s |      15 |  1077005 |   123332 |    46700      4 |        5 |      656
386.10/386.37	c  384s |      15 |  1082856 |   124032 |    46700      4 |        5 |      656
388.20/388.46	c  386s |      15 |  1088032 |   124732 |    46700      4 |        5 |      656
390.19/390.49	c  388s |      15 |  1095184 |   125532 |    46700      4 |        5 |      656
392.39/392.60	c  390s |      15 |  1101965 |   126332 |    46700      4 |        5 |      656
394.59/394.89	c  392s |      15 |  1107165 |   127132 |    46700      4 |        5 |      656
396.79/397.10	c  395s |      15 |  1112849 |   127932 |    46700      4 |        5 |      656
398.89/399.13	c  397s |      15 |  1118215 |   128732 |    46700      4 |        5 |      656
400.99/401.25	c  399s |      15 |  1123810 |   129632 |    46700      4 |        5 |      656
403.08/403.37	c  401s |      15 |  1128418 |   130532 |    46700      4 |        5 |      656
405.28/405.56	c  403s |      15 |  1132733 |   131432 |    51371      4 |        5 |      656
405.69/405.92	c  403s |      16 |  1133207 |   131552 |    51371      4 |        5 |      656
407.99/408.25	c  406s |      16 |  1140497 |   132152 |    51371      4 |        5 |      656
410.28/410.57	c  408s |      16 |  1143429 |   132952 |    51371      4 |        5 |      656
412.67/412.98	c  411s |      16 |  1145455 |   133752 |    51371      4 |        5 |      656
414.87/415.13	c  413s |      16 |  1151151 |   134252 |    51371      4 |        5 |      656
416.97/417.22	c  415s |      16 |  1157005 |   134952 |    51371      4 |        5 |      656
419.07/419.36	c  417s |      16 |  1164576 |   135452 |    51371      4 |        5 |      656
421.37/421.61	c  419s |      16 |  1170654 |   136252 |    51371      4 |        5 |      656
423.76/424.00	c  422s |      16 |  1178295 |   136852 |    51371      4 |        5 |      656
426.06/426.30	c  424s |      16 |  1185408 |   137352 |    51371      4 |        5 |      656
428.26/428.53	c  426s |      16 |  1190398 |   137952 |    51371      4 |        5 |      656
430.46/430.77	c  428s |      16 |  1197090 |   138652 |    51371      4 |        5 |      656
432.56/432.81	c  430s |      16 |  1202007 |   139152 |    51371      4 |        5 |      656
434.86/435.13	c  433s |      16 |  1207454 |   139952 |    51371      4 |        5 |      656
437.06/437.34	c  435s |      16 |  1214625 |   140552 |    51371      4 |        5 |      656
439.26/439.53	c  437s |      16 |  1218987 |   141252 |    51371      4 |        5 |      656
441.46/441.78	c  439s |      16 |  1224315 |   141752 |    51371      5 |        5 |      656
443.75/444.09	c  442s |      16 |  1231114 |   142652 |    51371      5 |        5 |      656
445.95/446.26	c  444s |      16 |  1236737 |   143252 |    51371      5 |        5 |      656
448.25/448.50	c  446s |      16 |  1244437 |   143952 |    51371      5 |        5 |      656
450.35/450.69	c  448s |      16 |  1252845 |   144552 |    51371      5 |        5 |      656
452.45/452.73	c  450s |      16 |  1260883 |   145552 |    51371      5 |        5 |      656
454.54/454.82	c  452s |      16 |  1266937 |   146252 |    51371      5 |        5 |      656
456.64/456.94	c  454s |      16 |  1271770 |   146952 |    51371      5 |        5 |      656
458.84/459.11	c  457s |      16 |  1277352 |   147552 |    51371      5 |        5 |      656
460.94/461.29	c  459s |      16 |  1282941 |   148352 |    51371      5 |        5 |      656
463.14/463.41	c  461s |      16 |  1287942 |   149152 |    51371      5 |        5 |      656
465.14/465.45	c  463s |      16 |  1292095 |   149852 |    51371      5 |        5 |      656
467.44/467.70	c  465s |      16 |  1297437 |   150652 |    51371      5 |        5 |      656
469.54/469.83	c  467s |      16 |  1302207 |   151552 |    51371      5 |        5 |      656
471.54/471.88	c  469s |      16 |  1306296 |   152352 |    51371      5 |        5 |      656
473.63/473.96	c  471s |      16 |  1311681 |   153352 |    51371      5 |        5 |      656
475.93/476.20	c  474s |      16 |  1316471 |   154352 |    51371      5 |        5 |      656
477.93/478.25	c  476s |      16 |  1320517 |   155352 |    51371      5 |        5 |      656
480.03/480.34	c  478s |      16 |  1323960 |   156552 |    51371      5 |        5 |      656
482.13/482.42	c  480s |      16 |  1330336 |   157052 |    51371      5 |        5 |      656
484.32/484.63	c  482s |      16 |  1334020 |   157552 |    51371      5 |        5 |      656
486.52/486.80	c  484s |      16 |  1337816 |   158252 |    51371      5 |        5 |      656
488.82/489.17	c  487s |      16 |  1346156 |   158852 |    51371      5 |        5 |      656
491.02/491.36	c  489s |      16 |  1352170 |   159452 |    51371      5 |        5 |      656
493.22/493.55	c  491s |      16 |  1359995 |   160152 |    51371      5 |        5 |      656
495.32/495.68	c  493s |      16 |  1366204 |   160852 |    51371      5 |        5 |      656
497.62/497.95	c  495s |      16 |  1372115 |   161452 |    51371      5 |        5 |      656
499.72/500.01	c  498s |      16 |  1378405 |   162252 |    51371      5 |        5 |      656
501.82/502.19	c  500s |      16 |  1383870 |   162752 |    51371      5 |        5 |      656
504.11/504.43	c  502s |      16 |  1387948 |   163452 |    51371      5 |        5 |      656
506.11/506.46	c  504s |      16 |  1392814 |   164052 |    51371      5 |        5 |      656
508.11/508.46	c  506s |      16 |  1398646 |   164752 |    51371      5 |        5 |      656
510.22/510.50	c  508s |      16 |  1405129 |   165552 |    51371      5 |        5 |      656
512.42/512.76	c  510s |      16 |  1410978 |   166352 |    51371      5 |        5 |      656
514.51/514.83	c  512s |      16 |  1415883 |   167052 |    51371      5 |        5 |      656
516.61/516.92	c  514s |      16 |  1421501 |   167852 |    51371      5 |        5 |      656
518.81/519.15	c  517s |      16 |  1425907 |   168652 |    51371      5 |        5 |      656
521.01/521.40	c  519s |      16 |  1431852 |   169452 |    51371      6 |        5 |      656
523.11/523.40	c  521s |      16 |  1435894 |   170252 |    51371      6 |        5 |      656
525.21/525.57	c  523s |      16 |  1441996 |   171352 |    51371      6 |        5 |      656
527.30/527.69	c  525s |      16 |  1447654 |   172452 |    51371      6 |        5 |      656
529.40/529.78	c  527s |      16 |  1450837 |   173652 |    51371      6 |        5 |      656
531.80/532.15	c  530s |      16 |  1456167 |   174552 |    51371      6 |        5 |      656
534.00/534.32	c  532s |      16 |  1463313 |   175352 |    51371      6 |        5 |      656
536.20/536.57	c  534s |      16 |  1468695 |   175852 |    51371      6 |        5 |      656
538.40/538.74	c  536s |      16 |  1474629 |   176452 |    51371      6 |        5 |      656
540.70/541.09	c  539s |      16 |  1480495 |   177252 |    51371      6 |        5 |      656
543.00/543.37	c  541s |      16 |  1486664 |   178052 |    51371      6 |        5 |      656
545.10/545.44	c  543s |      16 |  1491352 |   178552 |    51371      6 |        5 |      656
547.30/547.61	c  545s |      16 |  1496145 |   179252 |    51371      6 |        5 |      656
549.30/549.61	c  547s |      16 |  1501549 |   179752 |    51371      6 |        5 |      656
551.40/551.79	c  549s |      16 |  1506242 |   180452 |    51371      6 |        5 |      656
553.69/554.09	c  552s |      16 |  1511827 |   181052 |    51371      6 |        5 |      656
555.89/556.23	c  554s |      16 |  1518569 |   181952 |    51371      6 |        5 |      656
558.29/558.62	c  556s |      16 |  1524778 |   182652 |    51371      6 |        5 |      656
560.49/560.80	c  558s |      16 |  1531802 |   183552 |    51371      6 |        5 |      656
562.49/562.87	c  560s |      16 |  1538183 |   184352 |    51371      6 |        5 |      656
564.59/564.95	c  562s |      16 |  1545268 |   185352 |    51371      6 |        5 |      656
566.68/567.08	c  565s |      16 |  1551781 |   186352 |    51371      6 |        5 |      656
568.78/569.10	c  567s |      16 |  1557975 |   187252 |    51371      6 |        5 |      656
570.98/571.31	c  569s |      16 |  1563996 |   188152 |    51371      6 |        5 |      656
573.08/573.46	c  571s |      16 |  1569659 |   189252 |    51371      6 |        5 |      656
575.28/575.61	c  573s |      16 |  1572153 |   190252 |    51371      6 |        5 |      656
577.38/577.73	c  575s |      16 |  1579640 |   191152 |    51371      6 |        5 |      656
579.58/579.90	c  577s |      16 |  1585988 |   191852 |    51371      6 |        5 |      656
581.88/582.20	c  580s |      16 |  1592164 |   192652 |    51371      6 |        5 |      656
584.08/584.44	c  582s |      16 |  1599506 |   193252 |    51371      6 |        5 |      656
586.08/586.45	c  584s |      16 |  1605663 |   194052 |    51371      6 |        5 |      656
588.48/588.81	c  586s |      16 |  1612521 |   194852 |    51371      6 |        5 |      656
590.58/590.90	c  588s |      16 |  1617548 |   195352 |    51371      7 |        5 |      656
592.77/593.18	c  591s |      16 |  1623553 |   196152 |    56509      7 |        5 |      656
594.88/595.28	c  593s |      16 |  1631895 |   197152 |    56509      7 |        5 |      656
595.57/595.92	c  593s |      17 |  1633762 |   197432 |    56509      7 |        5 |      656
597.57/597.97	c  595s |      17 |  1639790 |   197932 |    56509      7 |        5 |      656
599.77/600.14	c  598s |      17 |  1645756 |   198732 |    56509      7 |        5 |      656
601.97/602.34	c  600s |      17 |  1651891 |   199632 |    56509      7 |        5 |      656
603.97/604.38	c  602s |      17 |  1656376 |   200332 |    56509      7 |        5 |      656
605.97/606.38	c  604s |      17 |  1660855 |   201032 |    56509      7 |        5 |      656
608.07/608.42	c  606s |      17 |  1666209 |   201932 |    56509      7 |        5 |      656
610.07/610.49	c  608s |      17 |  1670840 |   202932 |    56509      7 |        5 |      656
612.16/612.56	c  610s |      17 |  1674733 |   203832 |    56509      7 |        5 |      656
614.36/614.73	c  612s |      17 |  1677411 |   204832 |    56509      7 |        5 |      656
616.46/616.89	c  614s |      17 |  1682024 |   205532 |    56509      7 |        5 |      656
618.66/619.05	c  617s |      17 |  1686796 |   206232 |    56509      7 |        5 |      656
620.86/621.26	c  619s |      17 |  1691851 |   206932 |    56509      7 |        5 |      656
623.06/623.40	c  621s |      17 |  1695468 |   207532 |    56509      7 |        5 |      656
625.06/625.44	c  623s |      17 |  1701730 |   208232 |    56509      7 |        5 |      656
627.16/627.52	c  625s |      17 |  1706940 |   208932 |    56509      7 |        5 |      656
629.36/629.73	c  627s |      17 |  1712362 |   209732 |    56509      7 |        5 |      656
631.36/631.77	c  629s |      17 |  1717210 |   210432 |    56509      7 |        5 |      656
633.45/633.88	c  631s |      17 |  1722230 |   211232 |    56509      7 |        5 |      656
635.75/636.12	c  634s |      17 |  1727691 |   212132 |    56509      7 |        5 |      656
637.76/638.18	c  636s |      17 |  1731928 |   212932 |    56509      7 |        5 |      656
639.86/640.30	c  638s |      17 |  1736015 |   213832 |    56509      7 |        5 |      656
641.95/642.34	c  640s |      17 |  1739011 |   214532 |    56509      7 |        5 |      656
644.05/644.47	c  642s |      17 |  1741870 |   215432 |    56509      7 |        5 |      656
646.15/646.59	c  644s |      17 |  1743646 |   216232 |    56509      7 |        5 |      656
648.35/648.70	c  646s |      17 |  1747435 |   217032 |    56509      7 |        5 |      656
650.35/650.72	c  648s |      17 |  1751038 |   217832 |    56509      7 |        5 |      656
652.44/652.83	c  650s |      17 |  1754105 |   218632 |    56509      7 |        5 |      656
654.54/654.94	c  652s |      17 |  1755876 |   219332 |    56509      7 |        5 |      656
656.74/657.15	c  655s |      17 |  1759735 |   220032 |    56509      7 |        5 |      656
658.94/659.34	c  657s |      17 |  1763123 |   220832 |    56509      7 |        5 |      656
661.04/661.45	c  659s |      17 |  1767093 |   221532 |    56509      7 |        5 |      656
663.33/663.76	c  661s |      17 |  1771480 |   222132 |    56509      7 |        5 |      656
665.63/666.07	c  664s |      17 |  1776076 |   222932 |    56509      7 |        5 |      656
667.83/668.23	c  666s |      17 |  1781513 |   223532 |    56509      7 |        5 |      656
670.13/670.59	c  668s |      17 |  1785982 |   224232 |    56509      7 |        5 |      656
672.23/672.61	c  670s |      17 |  1791268 |   224832 |    56509      7 |        5 |      656
674.43/674.86	c  672s |      17 |  1796033 |   225432 |    56509      7 |        5 |      656
676.53/676.91	c  674s |      17 |  1800210 |   226032 |    56509      7 |        5 |      656
678.63/679.09	c  677s |      17 |  1805530 |   226532 |    56509      7 |        5 |      656
681.43/681.85	c  679s |      17 |  1810043 |   227232 |    56509      8 |        5 |      656
683.62/684.02	c  682s |      17 |  1815779 |   227932 |    56509      8 |        5 |      656
685.62/686.03	c  684s |      17 |  1820811 |   228532 |    56509      8 |        5 |      656
687.82/688.28	c  686s |      17 |  1828867 |   229532 |    56509      8 |        5 |      656
690.02/690.43	c  688s |      17 |  1833187 |   230232 |    56509      8 |        5 |      656
692.02/692.45	c  690s |      17 |  1837015 |   230932 |    56509      8 |        5 |      656
694.32/694.74	c  692s |      17 |  1843645 |   231832 |    56509      8 |        5 |      656
696.52/696.96	c  694s |      17 |  1849169 |   232732 |    56509      8 |        5 |      656
698.62/699.05	c  697s |      17 |  1853357 |   233432 |    56509      8 |        5 |      656
700.72/701.10	c  699s |      17 |  1856048 |   234132 |    56509      8 |        5 |      656
702.81/703.28	c  701s |      17 |  1861239 |   235032 |    56509      8 |        5 |      656
704.91/705.35	c  703s |      17 |  1864133 |   235832 |    56509      8 |        5 |      656
706.92/707.36	c  705s |      17 |  1867597 |   236732 |    56509      8 |        5 |      656
709.01/709.42	c  707s |      17 |  1870229 |   237632 |    56509      8 |        5 |      656
711.01/711.49	c  709s |      17 |  1873159 |   238432 |    56509      8 |        5 |      656
713.11/713.59	c  711s |      17 |  1876016 |   239232 |    56509      8 |        5 |      656
715.21/715.67	c  713s |      17 |  1879151 |   240132 |    56509      8 |        5 |      656
717.40/717.81	c  715s |      17 |  1880562 |   240932 |    56509      8 |        5 |      656
719.40/719.88	c  717s |      17 |  1884518 |   241632 |    56509      8 |        5 |      656
721.70/722.11	c  720s |      17 |  1887789 |   242432 |    56509      8 |        5 |      656
723.80/724.23	c  722s |      17 |  1891383 |   243232 |    56509      8 |        5 |      656
725.90/726.33	c  724s |      17 |  1893601 |   244032 |    56509      8 |        5 |      656
727.91/728.33	c  726s |      17 |  1895232 |   244832 |    56509      8 |        5 |      656
729.90/730.34	c  728s |      17 |  1897774 |   245632 |    56509      8 |        5 |      656
732.00/732.47	c  730s |      17 |  1901455 |   246532 |    56509      8 |        5 |      656
734.10/734.50	c  732s |      17 |  1904415 |   247232 |    56509      8 |        5 |      656
736.20/736.61	c  734s |      17 |  1907472 |   248032 |    56509      8 |        5 |      656
738.20/738.69	c  736s |      17 |  1909227 |   248832 |    56509      8 |        5 |      656
740.40/740.86	c  738s |      17 |  1911236 |   249732 |    56509      8 |        5 |      656
742.50/742.91	c  740s |      17 |  1914504 |   250532 |    56509      8 |        5 |      656
744.60/745.00	c  743s |      17 |  1916708 |   251232 |    56509      8 |        5 |      656
746.80/747.27	c  745s |      17 |  1919025 |   252232 |    56509      8 |        5 |      656
748.81/749.28	c  747s |      17 |  1921816 |   253132 |    56509      8 |        5 |      656
750.91/751.37	c  749s |      17 |  1923640 |   253932 |    56509      8 |        5 |      656
753.00/753.49	c  751s |      17 |  1925469 |   254732 |    56509      8 |        5 |      656
755.20/755.67	c  753s |      17 |  1927347 |   255532 |    56509      8 |        5 |      656
757.30/757.78	c  755s |      17 |  1929101 |   256432 |    56509      8 |        5 |      656
759.40/759.86	c  757s |      17 |  1931449 |   257332 |    56509      8 |        5 |      656
761.60/762.05	c  760s |      17 |  1932953 |   258232 |    56509      8 |        5 |      656
763.70/764.18	c  762s |      17 |  1934322 |   259032 |    56509      9 |        5 |      656
765.80/766.22	c  764s |      17 |  1935832 |   260032 |    56509      9 |        5 |      656
768.20/768.60	c  766s |      17 |  1937203 |   260532 |    56509      9 |        5 |      656
770.50/770.91	c  768s |      17 |  1940170 |   261132 |    56509      9 |        5 |      656
772.50/772.94	c  770s |      17 |  1943822 |   261832 |    56509      9 |        5 |      656
774.60/775.02	c  773s |      17 |  1946354 |   262532 |    56509      9 |        5 |      656
776.70/777.16	c  775s |      17 |  1948453 |   263332 |    56509      9 |        5 |      656
778.90/779.35	c  777s |      17 |  1951065 |   264132 |    56509      9 |        5 |      656
781.00/781.49	c  779s |      17 |  1954400 |   264832 |    56509      9 |        5 |      656
783.10/783.53	c  781s |      17 |  1957800 |   265432 |    56509      9 |        5 |      656
785.11/785.58	c  783s |      17 |  1960512 |   266132 |    56509      9 |        5 |      656
787.21/787.63	c  785s |      17 |  1963650 |   266932 |    56509      9 |        5 |      656
789.51/789.96	c  787s |      17 |  1966562 |   267732 |    56509      9 |        5 |      656
791.71/792.14	c  790s |      17 |  1970635 |   268432 |    56509      9 |        5 |      656
793.91/794.37	c  792s |      17 |  1974994 |   269132 |    56509      9 |        5 |      656
796.20/796.68	c  794s |      17 |  1978385 |   269832 |    56509      9 |        5 |      656
798.50/798.95	c  796s |      17 |  1982025 |   270632 |    56509      9 |        5 |      656
800.60/801.06	c  799s |      17 |  1983636 |   271232 |    56509      9 |        5 |      656
802.90/803.31	c  801s |      17 |  1985378 |   271932 |    56509      9 |        5 |      656
805.10/805.53	c  803s |      17 |  1988264 |   272632 |    56509      9 |        5 |      656
807.50/807.92	c  805s |      17 |  1991666 |   273232 |    56509      9 |        5 |      656
809.80/810.23	c  808s |      17 |  1995141 |   273932 |    56509      9 |        5 |      656
812.00/812.41	c  810s |      17 |  1998103 |   274532 |    56509      9 |        5 |      656
813.99/814.45	c  812s |      17 |  2001086 |   275132 |    56509      9 |        5 |      656
816.19/816.65	c  814s |      17 |  2005626 |   276032 |    56509      9 |        5 |      656
818.29/818.73	c  816s |      17 |  2007360 |   276632 |    56509      9 |        5 |      656
820.39/820.83	c  818s |      17 |  2009104 |   277232 |    56509      9 |        5 |      656
822.69/823.11	c  821s |      17 |  2011904 |   277832 |    56509      9 |        5 |      656
824.70/825.13	c  823s |      17 |  2014614 |   278332 |    56509      9 |        5 |      656
826.80/827.26	c  825s |      17 |  2018395 |   278932 |    56509      9 |        5 |      656
829.10/829.53	c  827s |      17 |  2020654 |   279532 |    56509      9 |        5 |      656
831.49/831.92	c  829s |      17 |  2023422 |   280132 |    56509      9 |        5 |      656
833.59/834.02	c  832s |      17 |  2025834 |   280732 |    56509      9 |        5 |      656
835.60/836.08	c  834s |      17 |  2028479 |   281332 |    56509      9 |        5 |      656
837.69/838.12	c  836s |      17 |  2030883 |   282032 |    56509      9 |        5 |      656
839.89/840.34	c  838s |      17 |  2032925 |   282632 |    56509      9 |        5 |      656
841.99/842.50	c  840s |      17 |  2036417 |   283232 |    56509      9 |        5 |      656
844.50/844.91	c  842s |      17 |  2040602 |   283832 |    56509      9 |        5 |      656
846.49/846.91	c  844s |      17 |  2043163 |   284332 |    56509      9 |        5 |      656
848.59/849.04	c  847s |      17 |  2047535 |   284932 |    56509      9 |        5 |      656
850.79/851.21	c  849s |      17 |  2051096 |   285532 |    56509      9 |        5 |      656
853.09/853.57	c  851s |      17 |  2053467 |   286132 |    56509      9 |        5 |      656
855.29/855.71	c  853s |      17 |  2055347 |   286732 |    56509      9 |        5 |      656
857.59/858.01	c  856s |      17 |  2058048 |   287332 |    56509      9 |        5 |      656
860.49/860.91	c  858s |      17 |  2060322 |   287932 |    56509     10 |        5 |      656
862.58/863.01	c  861s |      17 |  2062867 |   288532 |    56509     10 |        5 |      656
865.08/865.53	c  863s |      17 |  2064346 |   289132 |    56509     10 |        5 |      656
867.08/867.55	c  865s |      17 |  2066807 |   289632 |    56509     10 |        5 |      656
869.28/869.71	c  867s |      17 |  2070474 |   290232 |    56509     10 |        5 |      656
871.28/871.73	c  869s |      17 |  2076216 |   290832 |    56509     10 |        5 |      656
873.58/874.01	c  872s |      17 |  2079523 |   291532 |    56509     10 |        5 |      656
875.78/876.21	c  874s |      17 |  2083436 |   292232 |    56509     10 |        5 |      656
877.88/878.39	c  876s |      17 |  2087669 |   293032 |    56509     10 |        5 |      656
880.08/880.60	c  878s |      17 |  2091192 |   293732 |    56509     10 |        5 |      656
882.18/882.65	c  880s |      17 |  2094424 |   294432 |    62160     10 |        5 |      656
884.28/884.73	c  882s |      17 |  2096898 |   295232 |    62160     10 |        5 |      656
886.38/886.88	c  884s |      17 |  2098750 |   295832 |    62160     10 |        5 |      656
888.18/888.63	c  886s |      18 |  2101012 |   296252 |    62160     10 |        5 |      656
892.48/892.95	c  890s |      18 |  2102374 |   296352 |    62160     10 |        5 |      656
895.58/896.07	c  894s |      18 |  2105036 |   296852 |    62160     10 |        5 |      656
898.08/898.57	c  896s |      18 |  2110600 |   297352 |    62160     10 |        5 |      656
900.08/900.57	c  898s |      18 |  2114937 |   297952 |    62160     10 |        5 |      656
902.18/902.65	c  900s |      18 |  2118562 |   298552 |    62160     10 |        5 |      656
904.38/904.80	c  902s |      18 |  2124687 |   299152 |    62160     10 |        5 |      656
906.38/906.83	c  904s |      18 |  2129279 |   299752 |    62160     10 |        5 |      656
908.48/908.96	c  906s |      18 |  2134758 |   300352 |    62160     10 |        5 |      656
910.78/911.24	c  909s |      18 |  2138765 |   300852 |    62160     10 |        5 |      656
912.98/913.47	c  911s |      18 |  2142037 |   301452 |    62160     10 |        5 |      656
915.18/915.66	c  913s |      18 |  2145695 |   302052 |    62160     10 |        5 |      656
917.48/917.92	c  915s |      18 |  2148811 |   302552 |    62160     10 |        5 |      656
919.78/920.27	c  918s |      18 |  2153591 |   303252 |    62160     10 |        5 |      656
922.18/922.69	c  920s |      18 |  2157499 |   303952 |    62160     10 |        5 |      656
924.48/924.93	c  922s |      18 |  2162389 |   304652 |    62160     10 |        5 |      656
926.78/927.21	c  925s |      18 |  2166444 |   305352 |    62160     10 |        5 |      656
928.97/929.48	c  927s |      18 |  2170098 |   306052 |    62160     10 |        5 |      656
931.07/931.51	c  929s |      18 |  2173649 |   306652 |    62160     10 |        5 |      656
933.07/933.58	c  931s |      18 |  2176581 |   307352 |    62160     10 |        5 |      656
935.17/935.68	c  933s |      18 |  2180000 |   308152 |    62160     10 |        5 |      656
937.27/937.75	c  935s |      18 |  2183058 |   309052 |    62160     10 |        5 |      656
939.87/940.31	c  938s |      18 |  2186621 |   309652 |    62160     10 |        5 |      656
942.17/942.60	c  940s |      18 |  2190618 |   310152 |    62160     10 |        5 |      656
944.17/944.68	c  942s |      18 |  2193837 |   310752 |    62160     10 |        5 |      656
946.17/946.68	c  944s |      18 |  2197929 |   311352 |    62160     10 |        5 |      656
948.27/948.70	c  946s |      18 |  2200694 |   311752 |    62160     10 |        5 |      656
950.37/950.87	c  948s |      18 |  2204955 |   312352 |    62160     10 |        5 |      656
952.47/952.99	c  951s |      18 |  2207348 |   312852 |    62160     10 |        5 |      656
954.67/955.18	c  953s |      18 |  2211278 |   313352 |    62160     10 |        5 |      656
956.97/957.42	c  955s |      18 |  2215705 |   313952 |    62160     10 |        5 |      656
959.07/959.58	c  957s |      18 |  2219201 |   314552 |    62160     10 |        5 |      656
961.17/961.64	c  959s |      18 |  2221526 |   315052 |    62160     10 |        5 |      656
963.17/963.70	c  961s |      18 |  2225497 |   315652 |    62160     10 |        5 |      656
965.48/965.96	c  963s |      18 |  2228756 |   316352 |    62160     10 |        5 |      656
967.87/968.30	c  966s |      18 |  2233103 |   317152 |    62160     10 |        5 |      656
969.87/970.33	c  968s |      18 |  2236556 |   317852 |    62160     10 |        5 |      656
971.87/972.39	c  970s |      18 |  2238876 |   318552 |    62160     10 |        5 |      656
974.07/974.54	c  972s |      18 |  2241244 |   319352 |    62160     10 |        5 |      656
976.17/976.61	c  974s |      18 |  2243542 |   319852 |    62160     10 |        5 |      656
978.67/979.11	c  977s |      18 |  2249075 |   320352 |    62160     10 |        5 |      656
980.77/981.24	c  979s |      18 |  2253205 |   320952 |    62160     10 |        5 |      656
982.76/983.25	c  981s |      18 |  2257985 |   321452 |    62160     10 |        5 |      656
985.06/985.59	c  983s |      18 |  2262093 |   322052 |    62160     10 |        5 |      656
987.47/987.94	c  985s |      18 |  2263534 |   322352 |    62160     11 |        5 |      656
989.46/989.96	c  987s |      18 |  2266677 |   322852 |    62160     11 |        5 |      656
991.46/991.97	c  989s |      18 |  2270886 |   323552 |    62160     11 |        5 |      656
993.56/994.04	c  992s |      18 |  2276048 |   324352 |    62160     11 |        5 |      656
995.66/996.19	c  994s |      18 |  2280074 |   325252 |    62160     11 |        5 |      656
997.86/998.30	c  996s |      18 |  2285940 |   326452 |    62160     11 |        5 |      656
999.96/1000.41	c  998s |      18 |  2289401 |   327552 |    62160     11 |        5 |      656
1052.75/1053.21	c 1051s |      18 |  2292940 |   328452 |    62160     11 |        5 |      656
1065.15/1065.64	c 1063s |      18 |  2294039 |   328552 |    62160     11 |        5 |      656
1073.26/1073.74	c 1071s |      18 |  2295284 |   328652 |    62160     11 |        5 |      656
1075.46/1075.97	c 1073s |      18 |  2300974 |   329252 |    62160     11 |        5 |      656
1077.85/1078.32	c 1076s |      18 |  2307329 |   329952 |    62160     11 |        5 |      656
1079.95/1080.43	c 1078s |      18 |  2313135 |   330352 |    62160     11 |        5 |      656
1081.95/1082.48	c 1080s |      18 |  2317575 |   330752 |    62160     11 |        5 |      656
1084.26/1084.72	c 1082s |      18 |  2322682 |   331452 |    62160     11 |        5 |      656
1086.55/1087.08	c 1085s |      18 |  2327900 |   331952 |    62160     11 |        5 |      656
1088.55/1089.09	c 1087s |      18 |  2334422 |   332352 |    62160     11 |        5 |      656
1090.75/1091.21	c 1089s |      18 |  2339720 |   332752 |    62160     11 |        5 |      656
1092.75/1093.27	c 1091s |      18 |  2345382 |   333252 |    62160     11 |        5 |      656
1094.75/1095.27	c 1093s |      18 |  2351208 |   333952 |    62160     11 |        5 |      656
1096.95/1097.42	c 1095s |      18 |  2355360 |   334352 |    62160     11 |        5 |      656
1099.14/1099.60	c 1097s |      18 |  2362168 |   334752 |    62160     11 |        5 |      656
1101.34/1101.84	c 1099s |      18 |  2369261 |   335252 |    62160     11 |        5 |      656
1103.44/1103.95	c 1101s |      18 |  2376383 |   336052 |    62160     11 |        5 |      656
1105.84/1106.30	c 1104s |      18 |  2384785 |   336552 |    62160     11 |        5 |      656
1107.94/1108.42	c 1106s |      18 |  2390237 |   336952 |    62160     11 |        5 |      656
1110.24/1110.72	c 1108s |      18 |  2397209 |   337552 |    62160     11 |        5 |      656
1112.64/1113.19	c 1111s |      18 |  2402604 |   338252 |    62160     11 |        5 |      656
1114.95/1115.41	c 1113s |      18 |  2409707 |   338752 |    62160     11 |        5 |      656
1117.15/1117.64	c 1115s |      18 |  2413159 |   339252 |    62160     11 |        5 |      656
1119.14/1119.68	c 1117s |      18 |  2415645 |   339752 |    62160     11 |        5 |      656
1121.24/1121.78	c 1119s |      18 |  2421190 |   340152 |    62160     11 |        5 |      656
1123.64/1124.14	c 1122s |      18 |  2427457 |   340952 |    62160     11 |        5 |      656
1126.05/1126.55	c 1124s |      18 |  2433111 |   341452 |    62160     11 |        5 |      656
1128.15/1128.62	c 1126s |      18 |  2440111 |   341952 |    62160     11 |        5 |      656
1130.24/1130.75	c 1128s |      18 |  2447080 |   342752 |    62160     11 |        5 |      656
1132.55/1133.06	c 1131s |      18 |  2451906 |   343252 |    62160     11 |        5 |      656
1134.75/1135.27	c 1133s |      18 |  2457296 |   343952 |    62160     11 |        5 |      656
1137.05/1137.57	c 1135s |      18 |  2461278 |   344552 |    62160     11 |        5 |      656
1139.15/1139.65	c 1137s |      18 |  2465491 |   345052 |    62160     11 |        5 |      656
1141.35/1141.80	c 1139s |      18 |  2470246 |   345752 |    62160     11 |        5 |      656
1143.55/1144.09	c 1142s |      18 |  2477216 |   346352 |    62160     11 |        5 |      656
1145.84/1146.38	c 1144s |      18 |  2484492 |   347152 |    62160     11 |        5 |      656
1148.05/1148.52	c 1146s |      18 |  2488373 |   347652 |    62160     11 |        5 |      656
1150.34/1150.87	c 1148s |      18 |  2494526 |   348452 |    62160     11 |        5 |      656
1152.54/1153.05	c 1151s |      18 |  2499453 |   349152 |    62160     11 |        5 |      656
1154.84/1155.31	c 1153s |      18 |  2503798 |   349852 |    62160     11 |        5 |      656
1156.84/1157.31	c 1155s |      18 |  2509432 |   350452 |    62160     11 |        5 |      656
1158.84/1159.36	c 1157s |      18 |  2513683 |   351052 |    62160     11 |        5 |      656
1161.14/1161.67	c 1159s |      18 |  2518405 |   351752 |    62160     11 |        5 |      656
1163.34/1163.85	c 1161s |      18 |  2521938 |   352452 |    62160     11 |        5 |      656
1165.33/1165.89	c 1163s |      18 |  2526482 |   353152 |    62160     11 |        5 |      656
1167.53/1168.09	c 1166s |      18 |  2531859 |   354152 |    62160     11 |        5 |      656
1169.73/1170.23	c 1168s |      18 |  2534996 |   354852 |    62160     11 |        5 |      656
1171.93/1172.45	c 1170s |      18 |  2537865 |   355552 |    62160     12 |        5 |      656
1174.13/1174.62	c 1172s |      18 |  2541097 |   356452 |    62160     12 |        5 |      656
1176.13/1176.67	c 1174s |      18 |  2544225 |   357452 |    62160     12 |        5 |      656
1178.63/1179.10	c 1177s |      18 |  2546281 |   358052 |    62160     12 |        5 |      656
1180.73/1181.20	c 1179s |      18 |  2548927 |   358252 |    62160     12 |        5 |      656
1182.84/1183.38	c 1181s |      18 |  2552897 |   358852 |    62160     12 |        5 |      656
1185.14/1185.61	c 1183s |      18 |  2557921 |   359352 |    62160     12 |        5 |      656
1187.44/1187.98	c 1186s |      18 |  2563928 |   359852 |    62160     12 |        5 |      656
1189.64/1190.19	c 1188s |      18 |  2569435 |   360352 |    62160     12 |        5 |      656
1191.94/1192.46	c 1190s |      18 |  2576362 |   361152 |    62160     12 |        5 |      656
1194.14/1194.68	c 1192s |      18 |  2583136 |   361652 |    62160     12 |        5 |      656
1196.24/1196.77	c 1194s |      18 |  2590257 |   362452 |    62160     12 |        5 |      656
1198.44/1198.94	c 1196s |      18 |  2596785 |   362952 |    62160     12 |        5 |      656
1200.54/1201.08	c 1199s |      18 |  2603157 |   363552 |    62160     12 |        5 |      656
1202.94/1203.42	c 1201s |      18 |  2610295 |   364252 |    62160     12 |        5 |      656
1205.14/1205.64	c 1203s |      18 |  2615190 |   364752 |    62160     12 |        5 |      656
1207.34/1207.87	c 1205s |      18 |  2622422 |   365552 |    62160     12 |        5 |      656
1209.43/1209.97	c 1207s |      18 |  2628383 |   366052 |    62160     12 |        5 |      656
1211.53/1212.09	c 1210s |      18 |  2632683 |   366752 |    62160     12 |        5 |      656
1213.73/1214.24	c 1212s |      18 |  2636972 |   367452 |    62160     12 |        5 |      656
1216.03/1216.59	c 1214s |      18 |  2644013 |   368052 |    62160     12 |        5 |      656
1218.23/1218.73	c 1216s |      18 |  2650063 |   368852 |    62160     12 |        5 |      656
1220.43/1220.92	c 1218s |      18 |  2655223 |   369552 |    62160     12 |        5 |      656
1222.63/1223.15	c 1221s |      18 |  2660710 |   370152 |    62160     12 |        5 |      656
1224.83/1225.30	c 1223s |      18 |  2664547 |   370852 |    62160     12 |        5 |      656
1226.83/1227.35	c 1225s |      18 |  2668384 |   371352 |    62160     12 |        5 |      656
1228.83/1229.37	c 1227s |      18 |  2671996 |   371952 |    62160     12 |        5 |      656
1231.23/1231.75	c 1229s |      18 |  2676389 |   372752 |    62160     12 |        5 |      656
1233.63/1234.12	c 1232s |      18 |  2679661 |   373452 |    62160     12 |        5 |      656
1235.73/1236.22	c 1234s |      18 |  2684676 |   374152 |    62160     12 |        5 |      656
1237.73/1238.28	c 1236s |      18 |  2690115 |   374952 |    62160     12 |        5 |      656
1239.83/1240.30	c 1238s |      18 |  2693457 |   375652 |    62160     12 |        5 |      656
1241.93/1242.43	c 1240s |      18 |  2696894 |   376352 |    62160     12 |        5 |      656
1244.23/1244.71	c 1242s |      18 |  2700414 |   377152 |    62160     12 |        5 |      656
1246.23/1246.76	c 1244s |      18 |  2702974 |   377852 |    62160     12 |        5 |      656
1248.53/1249.05	c 1247s |      18 |  2704747 |   378552 |    62160     12 |        5 |      656
1250.53/1251.08	c 1249s |      18 |  2706088 |   379152 |    62160     12 |        5 |      656
1252.63/1253.13	c 1251s |      18 |  2712014 |   379552 |    62160     12 |        5 |      656
1254.63/1255.18	c 1253s |      18 |  2716813 |   379952 |    62160     12 |        5 |      656
1256.83/1257.40	c 1255s |      18 |  2722659 |   380752 |    62160     12 |        5 |      656
1259.32/1259.86	c 1257s |      18 |  2727599 |   381252 |    62160     12 |        5 |      656
1261.52/1262.03	c 1260s |      18 |  2734710 |   381652 |    62160     12 |        5 |      656
1263.72/1264.21	c 1262s |      18 |  2739672 |   382052 |    62160     12 |        5 |      656
1266.02/1266.54	c 1264s |      18 |  2743036 |   382652 |    62160     12 |        5 |      656
1268.52/1269.01	c 1267s |      18 |  2747499 |   383152 |    62160     12 |        5 |      656
1270.72/1271.26	c 1269s |      18 |  2752062 |   383852 |    62160     12 |        5 |      656
1272.82/1273.36	c 1271s |      18 |  2756844 |   384352 |    62160     12 |        5 |      656
1274.82/1275.37	c 1273s |      18 |  2762529 |   384752 |    62160     12 |        5 |      656
1276.92/1277.41	c 1275s |      18 |  2766800 |   385152 |    62160     12 |        5 |      656
1279.12/1279.69	c 1277s |      18 |  2770959 |   385652 |    62160     12 |        5 |      656
1282.02/1282.51	c 1280s |      18 |  2775354 |   386252 |    62160     13 |        5 |      656
1284.22/1284.74	c 1282s |      18 |  2779840 |   386652 |    62160     13 |        5 |      656
1286.22/1286.79	c 1284s |      18 |  2784153 |   387152 |    62160     13 |        5 |      656
1288.62/1289.20	c 1287s |      18 |  2789806 |   387852 |    62160     13 |        5 |      656
1291.03/1291.52	c 1289s |      18 |  2797751 |   388452 |    62160     13 |        5 |      656
1293.02/1293.57	c 1291s |      18 |  2802931 |   389152 |    62160     13 |        5 |      656
1295.43/1295.98	c 1294s |      18 |  2809202 |   389952 |    62160     13 |        5 |      656
1297.63/1298.16	c 1296s |      18 |  2816959 |   390552 |    62160     13 |        5 |      656
1299.72/1300.22	c 1298s |      18 |  2820818 |   391152 |    62160     13 |        5 |      656
1301.72/1302.25	c 1300s |      18 |  2825364 |   391852 |    62160     13 |        5 |      656
1303.82/1304.32	c 1302s |      18 |  2829619 |   392452 |    62160     13 |        5 |      656
1305.82/1306.39	c 1304s |      18 |  2835196 |   393052 |    62160     13 |        5 |      656
1308.02/1308.52	c 1306s |      18 |  2839912 |   393752 |    62160     13 |        5 |      656
1310.02/1310.58	c 1308s |      18 |  2844500 |   394352 |    62160     13 |        5 |      656
1312.12/1312.60	c 1310s |      18 |  2847673 |   394952 |    62160     13 |        5 |      656
1314.22/1314.78	c 1312s |      18 |  2851865 |   395652 |    62160     13 |        5 |      656
1316.22/1316.80	c 1314s |      18 |  2855659 |   396252 |    62160     13 |        5 |      656
1318.42/1318.91	c 1316s |      18 |  2859041 |   396952 |    62160     13 |        5 |      656
1320.62/1321.18	c 1319s |      18 |  2863995 |   397752 |    62160     13 |        5 |      656
1323.01/1323.50	c 1321s |      18 |  2867639 |   398552 |    62160     13 |        5 |      656
1324.91/1325.50	c 1323s |      18 |  2870522 |   399352 |    62160     13 |        5 |      656
1327.01/1327.51	c 1325s |      18 |  2872780 |   400152 |    62160     13 |        5 |      656
1329.01/1329.56	c 1327s |      18 |  2876538 |   400752 |    62160     13 |        5 |      656
1331.41/1331.94	c 1329s |      18 |  2880294 |   401452 |    62160     13 |        5 |      656
1333.41/1333.96	c 1331s |      18 |  2885313 |   401852 |    62160     13 |        5 |      656
1335.61/1336.19	c 1334s |      18 |  2890925 |   402252 |    62160     13 |        5 |      656
1337.81/1338.35	c 1336s |      18 |  2897078 |   402752 |    62160     13 |        5 |      656
1340.01/1340.59	c 1338s |      18 |  2900185 |   403352 |    62160     13 |        5 |      656
1342.31/1342.88	c 1340s |      18 |  2907073 |   403852 |    62160     13 |        5 |      656
1344.61/1345.17	c 1343s |      18 |  2914375 |   404452 |    62160     13 |        5 |      656
1347.12/1347.65	c 1345s |      18 |  2920604 |   405152 |    62160     13 |        5 |      656
1349.41/1349.91	c 1347s |      18 |  2926264 |   405652 |    62160     13 |        5 |      656
1351.61/1352.15	c 1350s |      18 |  2931044 |   406352 |    62160     13 |        5 |      656
1354.01/1354.52	c 1352s |      18 |  2937392 |   406852 |    62160     13 |        5 |      656
1356.21/1356.78	c 1354s |      18 |  2941832 |   407552 |    62160     13 |        5 |      656
1358.31/1358.83	c 1356s |      18 |  2945863 |   408052 |    62160     13 |        5 |      656
1360.41/1360.97	c 1358s |      18 |  2949974 |   408652 |    62160     13 |        5 |      656
1362.61/1363.12	c 1361s |      18 |  2956593 |   409152 |    62160     13 |        5 |      656
1364.81/1365.31	c 1363s |      18 |  2964225 |   409952 |    62160     13 |        5 |      656
1367.01/1367.55	c 1365s |      18 |  2969180 |   410452 |    62160     13 |        5 |      656
1369.01/1369.56	c 1367s |      18 |  2972760 |   411052 |    62160     13 |        5 |      656
1371.21/1371.78	c 1369s |      18 |  2978235 |   411652 |    62160     13 |        5 |      656
1373.31/1373.80	c 1371s |      18 |  2983134 |   412252 |    62160     13 |        5 |      656
1375.40/1375.97	c 1373s |      18 |  2990849 |   413052 |    62160     13 |        5 |      656
1377.70/1378.27	c 1376s |      18 |  2995567 |   413752 |    62160     13 |        5 |      656
1379.70/1380.29	c 1378s |      18 |  2999398 |   414352 |    62160     13 |        5 |      656
1381.90/1382.44	c 1380s |      18 |  3004106 |   415052 |    62160     13 |        5 |      656
1383.90/1384.44	c 1382s |      18 |  3009098 |   415752 |    62160     13 |        5 |      656
1385.90/1386.46	c 1384s |      18 |  3013288 |   416452 |    62160     13 |        5 |      656
1388.10/1388.69	c 1386s |      18 |  3017543 |   417152 |    62160     13 |        5 |      656
1390.30/1390.87	c 1388s |      18 |  3020825 |   417852 |    62160     13 |        5 |      656
1392.40/1392.90	c 1390s |      18 |  3024542 |   418552 |    62160     13 |        5 |      656
1394.41/1394.97	c 1392s |      18 |  3026816 |   419152 |    62160     13 |        5 |      656
1396.70/1397.28	c 1395s |      18 |  3029950 |   419952 |    62160     13 |        5 |      656
1399.00/1399.55	c 1397s |      18 |  3031595 |   420552 |    62160     14 |        5 |      656
1401.20/1401.71	c 1399s |      18 |  3033332 |   421352 |    62160     14 |        5 |      656
1403.30/1403.89	c 1401s |      18 |  3035250 |   422252 |    62160     14 |        5 |      656
1405.50/1406.08	c 1404s |      18 |  3038187 |   423152 |    62160     14 |        5 |      656
1407.70/1408.25	c 1406s |      18 |  3040096 |   423852 |    62160     14 |        5 |      656
1409.81/1410.34	c 1408s |      18 |  3043601 |   424552 |    62160     14 |        5 |      656
1412.10/1412.63	c 1410s |      18 |  3047262 |   425352 |    62160     14 |        5 |      656
1414.11/1414.64	c 1412s |      18 |  3050353 |   425952 |    62160     14 |        5 |      656
1416.10/1416.64	c 1414s |      18 |  3053522 |   426552 |    62160     14 |        5 |      656
1418.10/1418.68	c 1416s |      18 |  3057168 |   427152 |    62160     14 |        5 |      656
1420.30/1420.85	c 1418s |      18 |  3061537 |   427852 |    62160     14 |        5 |      656
1422.40/1422.90	c 1420s |      18 |  3065960 |   428552 |    62160     14 |        5 |      656
1424.50/1425.06	c 1423s |      18 |  3069683 |   429352 |    62160     14 |        5 |      656
1426.80/1427.31	c 1425s |      18 |  3073592 |   430052 |    62160     14 |        5 |      656
1428.99/1429.51	c 1427s |      18 |  3076608 |   430752 |    62160     14 |        5 |      656
1431.19/1431.75	c 1429s |      18 |  3078897 |   431352 |    62160     14 |        5 |      656
1433.39/1433.97	c 1431s |      18 |  3080243 |   431852 |    62160     14 |        5 |      656
1435.59/1436.13	c 1434s |      18 |  3081411 |   432352 |    62160     14 |        5 |      656
1437.79/1438.33	c 1436s |      18 |  3082363 |   432852 |    62160     14 |        5 |      656
1439.79/1440.34	c 1438s |      18 |  3084481 |   433452 |    62160     14 |        5 |      656
1441.99/1442.59	c 1440s |      18 |  3086552 |   434252 |    62160     14 |        5 |      656
1444.19/1444.73	c 1442s |      18 |  3088265 |   434952 |    62160     14 |        5 |      656
1446.39/1446.99	c 1445s |      18 |  3090758 |   435652 |    62160     14 |        5 |      656
1448.59/1449.16	c 1447s |      18 |  3093395 |   436352 |    62160     14 |        5 |      656
1450.69/1451.23	c 1449s |      18 |  3097364 |   437052 |    62160     14 |        5 |      656
1452.79/1453.33	c 1451s |      18 |  3100453 |   437752 |    62160     14 |        5 |      656
1454.90/1455.44	c 1453s |      18 |  3103973 |   438352 |    62160     14 |        5 |      656
1457.00/1457.52	c 1455s |      18 |  3106901 |   438952 |    62160     14 |        5 |      656
1459.20/1459.71	c 1457s |      18 |  3110630 |   439652 |    62160     14 |        5 |      656
1461.50/1462.08	c 1460s |      18 |  3112568 |   440352 |    62160     14 |        5 |      656
1463.60/1464.19	c 1462s |      18 |  3115286 |   441052 |    62160     14 |        5 |      656
1465.69/1466.23	c 1464s |      18 |  3117780 |   441752 |    68376     14 |        5 |      656
1467.79/1468.35	c 1466s |      18 |  3119845 |   442452 |    68376     14 |        5 |      656
1469.89/1470.43	c 1468s |      18 |  3121128 |   443052 |    68376     14 |        5 |      656
1471.99/1472.54	c 1470s |      18 |  3122622 |   443752 |    68376     14 |        5 |      656
1474.19/1474.73	c 1472s |      18 |  3124094 |   444452 |    68376     14 |        5 |      656
1474.29/1474.83	c 1472s |      19 |  3124167 |   444482 |    68376     14 |        5 |      656
1478.19/1478.74	c 1476s |      19 |  3128048 |   444682 |    68376     14 |        5 |      656
1480.39/1480.93	c 1478s |      19 |  3131040 |   445182 |    68376     14 |        5 |      656
1488.90/1489.46	c 1487s |      19 |  3132953 |   445382 |    68376     14 |        5 |      656
1491.39/1491.94	c 1489s |      19 |  3139929 |   445882 |    68376     14 |        5 |      656
1493.69/1494.25	c 1492s |      19 |  3144346 |   446282 |    68376     14 |        5 |      656
1495.69/1496.29	c 1494s |      19 |  3149421 |   446782 |    68376     14 |        5 |      656
1497.99/1498.59	c 1496s |      19 |  3152641 |   447282 |    68376     14 |        5 |      656
1500.29/1500.83	c 1498s |      19 |  3157289 |   447682 |    68376     14 |        5 |      656
1502.69/1503.24	c 1501s |      19 |  3161950 |   448082 |    68376     14 |        5 |      656
1504.99/1505.55	c 1503s |      19 |  3166594 |   448482 |    68376     14 |        5 |      656
1507.19/1507.78	c 1505s |      19 |  3170095 |   448982 |    68376     14 |        5 |      656
1509.29/1509.89	c 1507s |      19 |  3173770 |   449482 |    68376     14 |        5 |      656
1511.79/1512.35	c 1510s |      19 |  3178756 |   449882 |    68376     14 |        5 |      656
1513.99/1514.59	c 1512s |      19 |  3183413 |   450482 |    68376     14 |        5 |      656
1516.39/1517.00	c 1515s |      19 |  3187892 |   450982 |    68376     14 |        5 |      656
1518.59/1519.17	c 1517s |      19 |  3193742 |   451382 |    68376     14 |        5 |      656
1520.79/1521.40	c 1519s |      19 |  3198415 |   452082 |    68376     14 |        5 |      656
1522.99/1523.53	c 1521s |      19 |  3202489 |   452482 |    68376     14 |        5 |      656
1525.19/1525.71	c 1523s |      19 |  3206481 |   452882 |    68376     14 |        5 |      656
1527.49/1528.04	c 1526s |      19 |  3211069 |   453482 |    68376     14 |        5 |      656
1529.78/1530.38	c 1528s |      19 |  3215418 |   453982 |    68376     14 |        5 |      656
1532.08/1532.62	c 1530s |      19 |  3219110 |   454582 |    68376     14 |        5 |      656
1534.09/1534.65	c 1532s |      19 |  3221503 |   455082 |    68376     14 |        5 |      656
1536.48/1537.03	c 1535s |      19 |  3224304 |   455582 |    68376     14 |        5 |      656
1538.68/1539.21	c 1537s |      19 |  3226651 |   456082 |    68376     14 |        5 |      656
1540.88/1541.42	c 1539s |      19 |  3230293 |   456582 |    68376     14 |        5 |      656
1543.08/1543.67	c 1541s |      19 |  3233870 |   457082 |    68376     14 |        5 |      656
1545.18/1545.73	c 1543s |      19 |  3236453 |   457582 |    68376     14 |        5 |      656
1547.48/1548.02	c 1546s |      19 |  3239627 |   458182 |    68376     14 |        5 |      656
1549.78/1550.36	c 1548s |      19 |  3240988 |   458582 |    68376     15 |        5 |      656
1551.88/1552.47	c 1550s |      19 |  3243842 |   459182 |    68376     15 |        5 |      656
1554.18/1554.73	c 1552s |      19 |  3247426 |   459882 |    68376     15 |        5 |      656
1556.18/1556.79	c 1554s |      19 |  3249491 |   460582 |    68376     15 |        5 |      656
1558.29/1558.84	c 1556s |      19 |  3251662 |   461282 |    68376     15 |        5 |      656
1560.49/1561.05	c 1559s |      19 |  3253209 |   461982 |    68376     15 |        5 |      656
1562.78/1563.34	c 1561s |      19 |  3254804 |   462682 |    68376     15 |        5 |      656
1588.77/1589.39	c 1587s |      19 |  3256764 |   462982 |    68376     15 |        5 |      656
1592.07/1592.65	c 1590s |      19 |  3257555 |   463082 |    68376     15 |        5 |      656
1603.77/1604.38	c 1602s |      19 |  3260380 |   463282 |    68376     15 |        5 |      656
1606.17/1606.74	c 1604s |      19 |  3266515 |   463782 |    68376     15 |        5 |      656
1608.57/1609.14	c 1607s |      19 |  3271058 |   464482 |    68376     15 |        5 |      656
1610.87/1611.45	c 1609s |      19 |  3276537 |   464982 |    68376     15 |        5 |      656
1613.28/1613.82	c 1611s |      19 |  3280857 |   465382 |    68376     15 |        5 |      656
1615.48/1616.06	c 1614s |      19 |  3285712 |   465882 |    68376     15 |        5 |      656
1617.58/1618.11	c 1616s |      19 |  3290055 |   466482 |    68376     15 |        5 |      656
1620.07/1620.60	c 1618s |      19 |  3297298 |   466982 |    68376     15 |        5 |      656
1622.57/1623.12	c 1621s |      19 |  3300755 |   467382 |    68376     15 |        5 |      656
1624.77/1625.33	c 1623s |      19 |  3305798 |   467782 |    68376     15 |        5 |      656
1627.07/1627.67	c 1625s |      19 |  3310481 |   468282 |    68376     15 |        5 |      656
1629.07/1629.68	c 1627s |      19 |  3314002 |   468882 |    68376     15 |        5 |      656
1631.47/1632.09	c 1630s |      19 |  3322206 |   469382 |    68376     15 |        5 |      656
1633.57/1634.17	c 1632s |      19 |  3327129 |   469782 |    68376     15 |        5 |      656
1635.87/1636.42	c 1634s |      19 |  3330927 |   470382 |    68376     15 |        5 |      656
1638.17/1638.78	c 1636s |      19 |  3336903 |   470882 |    68376     15 |        5 |      656
1640.46/1641.05	c 1639s |      19 |  3342297 |   471282 |    68376     15 |        5 |      656
1642.66/1643.26	c 1641s |      19 |  3345284 |   471682 |    68376     15 |        5 |      656
1644.86/1645.43	c 1643s |      19 |  3349482 |   472382 |    68376     15 |        5 |      656
1647.27/1647.86	c 1645s |      19 |  3354539 |   472982 |    68376     15 |        5 |      656
1649.57/1650.11	c 1648s |      19 |  3359612 |   473382 |    68376     15 |        5 |      656
1651.56/1652.18	c 1650s |      19 |  3363375 |   473882 |    68376     15 |        5 |      656
1653.76/1654.36	c 1652s |      19 |  3367331 |   474482 |    68376     15 |        5 |      656
1655.76/1656.36	c 1654s |      19 |  3370724 |   474882 |    68376     15 |        5 |      656
1657.96/1658.59	c 1656s |      19 |  3374193 |   475382 |    68376     15 |        5 |      656
1660.16/1660.74	c 1658s |      19 |  3377125 |   475882 |    68376     15 |        5 |      656
1662.16/1662.79	c 1660s |      19 |  3380646 |   476282 |    68376     15 |        5 |      656
1664.26/1664.89	c 1662s |      19 |  3386027 |   476682 |    68376     15 |        5 |      656
1666.66/1667.20	c 1665s |      19 |  3389952 |   477182 |    68376     15 |        5 |      656
1668.86/1669.45	c 1667s |      19 |  3393313 |   477682 |    68376     15 |        5 |      656
1670.96/1671.57	c 1669s |      19 |  3398128 |   478082 |    68376     15 |        5 |      656
1673.16/1673.73	c 1671s |      19 |  3405107 |   478882 |    68376     15 |        5 |      656
1675.26/1675.84	c 1673s |      19 |  3409849 |   479382 |    68376     15 |        5 |      656
1677.46/1678.05	c 1676s |      19 |  3414872 |   480082 |    68376     15 |        5 |      656
1679.56/1680.12	c 1678s |      19 |  3418569 |   480482 |    68376     15 |        5 |      656
1681.96/1682.59	c 1680s |      19 |  3422939 |   481182 |    68376     15 |        5 |      656
1684.46/1685.09	c 1683s |      19 |  3427296 |   481682 |    68376     15 |        5 |      656
1686.66/1687.27	c 1685s |      19 |  3430359 |   482282 |    68376     15 |        5 |      656
1688.76/1689.34	c 1687s |      19 |  3434040 |   482682 |    68376     15 |        5 |      656
1691.26/1691.86	c 1689s |      19 |  3439037 |   483482 |    68376     15 |        5 |      656
1693.36/1693.98	c 1692s |      19 |  3443142 |   483982 |    68376     15 |        5 |      656
1695.86/1696.40	c 1694s |      19 |  3447691 |   484682 |    68376     15 |        5 |      656
1697.96/1698.59	c 1696s |      19 |  3451998 |   485282 |    68376     15 |        5 |      656
1700.36/1700.97	c 1698s |      19 |  3456485 |   485882 |    68376     15 |        5 |      656
1702.56/1703.19	c 1701s |      19 |  3460269 |   486582 |    68376     15 |        5 |      656
1704.56/1705.19	c 1703s |      19 |  3464014 |   487082 |    68376     15 |        5 |      656
1706.85/1707.41	c 1705s |      19 |  3467693 |   487782 |    68376     15 |        5 |      656
1709.15/1709.74	c 1707s |      19 |  3471310 |   488482 |    68376     15 |        5 |      656
1711.45/1712.01	c 1710s |      19 |  3474585 |   489182 |    68376     15 |        5 |      656
1713.45/1714.04	c 1712s |      19 |  3477159 |   489782 |    68376     15 |        5 |      656
1715.56/1716.17	c 1714s |      19 |  3480074 |   490482 |    68376     15 |        5 |      656
1717.55/1718.20	c 1716s |      19 |  3481993 |   491182 |    68376     15 |        5 |      656
1719.75/1720.37	c 1718s |      19 |  3484052 |   491982 |    68376     15 |        5 |      656
1725.86/1726.41	c 1724s |      19 |  3486223 |   492482 |    68376     16 |        5 |      656
1728.36/1728.92	c 1726s |      19 |  3490922 |   492882 |    68376     16 |        5 |      656
1730.46/1731.09	c 1729s |      19 |  3496499 |   493382 |    68376     16 |        5 |      656
1732.76/1733.34	c 1731s |      19 |  3500732 |   494082 |    68376     16 |        5 |      656
1735.16/1735.74	c 1733s |      19 |  3507952 |   494582 |    68376     16 |        5 |      656
1737.25/1737.89	c 1735s |      19 |  3513007 |   494982 |    68376     16 |        5 |      656
1739.35/1739.93	c 1737s |      19 |  3517705 |   495682 |    68376     16 |        5 |      656
1741.55/1742.16	c 1740s |      19 |  3521236 |   496282 |    68376     16 |        5 |      656
1743.85/1744.44	c 1742s |      19 |  3527202 |   496782 |    68376     16 |        5 |      656
1746.05/1746.64	c 1744s |      19 |  3532920 |   497282 |    68376     16 |        5 |      656
1748.15/1748.70	c 1746s |      19 |  3536502 |   497882 |    68376     16 |        5 |      656
1750.15/1750.71	c 1748s |      19 |  3542637 |   498382 |    68376     16 |        5 |      656
1752.35/1752.97	c 1750s |      19 |  3546133 |   498782 |    68376     16 |        5 |      656
1754.65/1755.29	c 1753s |      19 |  3550570 |   499182 |    68376     16 |        5 |      656
1756.95/1757.52	c 1755s |      19 |  3555532 |   499782 |    68376     16 |        5 |      656
1759.05/1759.67	c 1757s |      19 |  3560720 |   500382 |    68376     16 |        5 |      656
1761.25/1761.84	c 1759s |      19 |  3564622 |   500782 |    68376     16 |        5 |      656
1763.55/1764.19	c 1762s |      19 |  3567407 |   501482 |    68376     16 |        5 |      656
1765.65/1766.23	c 1764s |      19 |  3571824 |   501982 |    68376     16 |        5 |      656
1767.85/1768.46	c 1766s |      19 |  3578011 |   502482 |    68376     16 |        5 |      656
1769.95/1770.50	c 1768s |      19 |  3581663 |   503182 |    68376     16 |        5 |      656
1772.15/1772.80	c 1770s |      19 |  3587158 |   503682 |    68376     16 |        5 |      656
1774.25/1774.85	c 1772s |      19 |  3591817 |   504082 |    68376     16 |        5 |      656
1776.55/1777.15	c 1775s |      19 |  3596326 |   504582 |    68376     16 |        5 |      656
1778.75/1779.31	c 1777s |      19 |  3599618 |   505282 |    68376     16 |        5 |      656
1781.15/1781.70	c 1779s |      19 |  3604747 |   505782 |    68376     16 |        5 |      656
1783.35/1783.90	c 1781s |      19 |  3609589 |   506382 |    68376     16 |        5 |      656
1785.65/1786.20	c 1784s |      19 |  3613909 |   507082 |    68376     16 |        5 |      656
1788.05/1788.64	c 1786s |      19 |  3618256 |   507582 |    68376     16 |        5 |      656
1790.25/1790.88	c 1788s |      19 |  3623155 |   508282 |    68376     16 |        5 |      656
1792.25/1792.89	c 1790s |      19 |  3627661 |   508782 |    68376     16 |        5 |      656
1794.55/1795.10	c 1793s |      19 |  3632471 |   509482 |    68376     16 |        5 |      656
1796.85/1797.44	c 1795s |      19 |  3636386 |   509982 |    68376     16 |        5 |      656
1798.84/1799.48	c 1797s |      19 |  3639514 |   510582 |    68376     16 |        5 |      656

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

pid=24893
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.09 1.56 1.82 2/172 24898
/proc/meminfo: memFree=31323280/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 2851 0 0 0 0 0 0 0 20 0 4 0 13950939 781643776 3723 33554432000 4194304 16246674 140733791877824 140733791877248 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 191343 3733 441 2943 0 188237 0
[pid=24898/tid=24899] ppid=24893 vsize=780732 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 799469568 3792 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 804712448 3810 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=789948 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 808906752 3827 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 1.09 1.56 1.82 2/172 24898
/proc/meminfo: memFree=31323280/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1256004 CPUtime=0.08 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 28519 0 0 0 5 3 0 0 20 0 4 0 13950939 1286148096 29330 33554432000 4194304 16246674 140733791877824 140733791877136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 315281 29350 801 2943 0 312175 0
[pid=24898/tid=24899] ppid=24893 vsize=1265220 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1295585280 29366 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1269316 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1299779584 29380 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1272388 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1302925312 29395 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1256004

[startup+0.200527 s]
/proc/loadavg: 1.09 1.56 1.82 2/172 24898
/proc/meminfo: memFree=31323280/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 50595 0 0 0 12 7 0 0 20 0 4 0 13950939 1344868352 51916 33554432000 4194304 16246674 140733791877824 140733791877136 14795924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 328337 51916 801 2943 0 325231 0
[pid=24898/tid=24899] ppid=24893 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 51916 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 51916 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 51916 33554432000 4194304 16246674 140733791877824 140411137944752 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.300504 s]
/proc/loadavg: 1.09 1.56 1.82 2/172 24898
/proc/meminfo: memFree=31323280/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 60111 0 0 0 21 8 0 0 20 0 4 0 13950939 1344868352 61432 33554432000 4194304 16246674 140733791877824 140733791877136 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 328337 61432 801 2943 0 325231 0
[pid=24898/tid=24899] ppid=24893 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 61432 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 61432 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 61432 33554432000 4194304 16246674 140733791877824 140411137944752 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.700404 s]
/proc/loadavg: 1.09 1.56 1.82 2/172 24898
/proc/meminfo: memFree=31323280/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 71829 0 0 0 59 10 0 0 20 0 4 0 13950939 1344868352 73150 33554432000 4194304 16246674 140733791877824 140733791859712 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 328337 73150 802 2943 0 325231 0
[pid=24898/tid=24899] ppid=24893 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 73150 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 73150 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 73150 33554432000 4194304 16246674 140733791877824 140411137944752 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.5004 s]
/proc/loadavg: 1.09 1.56 1.82 3/183 24909
/proc/meminfo: memFree=30198776/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 251864 0 0 0 118 31 0 0 20 0 4 0 13950939 1344868352 253185 33554432000 4194304 16246674 140733791877824 140733791859712 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 328337 253196 836 2943 0 325231 0
[pid=24898/tid=24899] ppid=24893 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 253204 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 253214 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1344868352 253224 33554432000 4194304 16246674 140733791877824 140411137944752 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.10038 s]
/proc/loadavg: 1.09 1.56 1.82 3/183 24909
/proc/meminfo: memFree=29132988/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1334852 CPUtime=3.08 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 274199 0 0 0 275 33 0 0 20 0 4 0 13950939 1366888448 275520 33554432000 4194304 16246674 140733791877824 140733791859712 12483532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 333713 275520 881 2943 0 330607 0
[pid=24898/tid=24899] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275520 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275520 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275520 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1334852

[startup+6.30042 s]
/proc/loadavg: 1.24 1.59 1.82 3/183 24909
/proc/meminfo: memFree=29131564/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1334852 CPUtime=6.28 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 274378 0 0 0 595 33 0 0 20 0 4 0 13950939 1366888448 275699 33554432000 4194304 16246674 140733791877824 140733791859712 5822488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 333713 275699 884 2943 0 330607 0
[pid=24898/tid=24899] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275699 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275699 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275699 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1334852

[startup+12.7004 s]
/proc/loadavg: 1.30 1.59 1.82 3/183 24909
/proc/meminfo: memFree=29131288/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1334852 CPUtime=12.69 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 274380 0 0 0 1235 34 0 0 20 0 4 0 13950939 1366888448 275701 33554432000 4194304 16246674 140733791877824 140733791859712 13820945 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 333713 275701 884 2943 0 330607 0
[pid=24898/tid=24899] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275701 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275701 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275701 33554432000 4194304 16246674 140733791877824 140411137944752 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) 1334852

[startup+25.5005 s]
/proc/loadavg: 1.54 1.63 1.83 3/183 24909
/proc/meminfo: memFree=29132432/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1334852 CPUtime=25.49 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 274380 0 0 0 2515 34 0 0 20 0 4 0 13950939 1366888448 275701 33554432000 4194304 16246674 140733791877824 140733791859712 6011952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 333713 275701 884 2943 0 330607 0
[pid=24898/tid=24899] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275701 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275701 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275701 33554432000 4194304 16246674 140733791877824 140411137944752 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) 1334852

[startup+51.1005 s]
/proc/loadavg: 1.77 1.68 1.84 3/183 24909
/proc/meminfo: memFree=29132152/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1334852 CPUtime=51.08 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 274391 0 0 0 5074 34 0 0 20 0 4 0 13950939 1366888448 275701 33554432000 4194304 16246674 140733791877824 140733791859712 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 333713 275701 884 2943 0 330607 0
[pid=24898/tid=24899] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275701 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275701 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275701 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1334852

[startup+102.301 s]
/proc/loadavg: 2.02 1.75 1.85 3/183 24911
/proc/meminfo: memFree=29131536/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1334852 CPUtime=102.25 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 274433 0 0 0 10191 34 0 0 20 0 4 0 13950939 1366888448 275703 33554432000 4194304 16246674 140733791877824 140733791859712 12483667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 333713 275703 885 2943 0 330607 0
[pid=24898/tid=24899] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275703 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275703 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1366888448 275703 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1334852


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

/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306647 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1458756

[startup+1302.3 s]
/proc/loadavg: 2.09 2.10 2.01 3/183 24941
/proc/meminfo: memFree=28928960/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1458756 CPUtime=1301.82 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 305737 0 0 0 130133 49 0 0 20 0 4 0 13950939 1493766144 306647 33554432000 4194304 16246674 140733791877824 140733791859712 5829939 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 364689 306647 888 2943 0 361583 0
[pid=24898/tid=24899] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306647 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306647 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306647 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1458756

[startup+1362.3 s]
/proc/loadavg: 2.17 2.12 2.02 3/183 24942
/proc/meminfo: memFree=28916588/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1458756 CPUtime=1361.81 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 305737 0 0 0 136132 49 0 0 20 0 4 0 13950939 1493766144 306647 33554432000 4194304 16246674 140733791877824 140733791859712 12483664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 364689 306647 888 2943 0 361583 0
[pid=24898/tid=24899] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306647 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306647 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306647 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1458756

[startup+1422.3 s]
/proc/loadavg: 2.12 2.11 2.02 3/184 24946
/proc/meminfo: memFree=28916372/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1458756 CPUtime=1421.8 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 305737 0 0 0 142131 49 0 0 20 0 4 0 13950939 1493766144 306647 33554432000 4194304 16246674 140733791877824 140733791859712 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 364689 306647 888 2943 0 361583 0
[pid=24898/tid=24899] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306647 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306647 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306647 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1458756

[startup+1482.3 s]
/proc/loadavg: 2.10 2.10 2.02 3/183 24947
/proc/meminfo: memFree=28888588/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1458756 CPUtime=1481.79 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 305772 0 0 0 148129 50 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140733791859712 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 364689 306682 888 2943 0 361583 0
[pid=24898/tid=24899] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1458756

[startup+1542.31 s]
/proc/loadavg: 2.13 2.11 2.03 3/183 24948
/proc/meminfo: memFree=28887912/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1458756 CPUtime=1541.79 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 305772 0 0 0 154128 51 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140733791859712 5661104 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 364689 306682 888 2943 0 361583 0
[pid=24898/tid=24899] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1458756

[startup+1602.3 s]
/proc/loadavg: 2.10 2.11 2.03 3/183 24950
/proc/meminfo: memFree=28887912/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1458756 CPUtime=1601.77 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 305772 0 0 0 160123 54 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140733791877000 4206868 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 364689 306682 888 2943 0 361583 0
[pid=24898/tid=24899] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1458756

[startup+1662.3 s]
/proc/loadavg: 2.10 2.10 2.03 3/183 24951
/proc/meminfo: memFree=28887908/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1458756 CPUtime=1661.76 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 305772 0 0 0 166122 54 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140733791859712 5676117 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 364689 306682 888 2943 0 361583 0
[pid=24898/tid=24899] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1458756

[startup+1722.3 s]
/proc/loadavg: 2.20 2.13 2.04 3/183 24952
/proc/meminfo: memFree=28888044/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1458756 CPUtime=1721.75 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 305772 0 0 0 172121 54 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140733791859712 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 364689 306682 888 2943 0 361583 0
[pid=24898/tid=24899] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1458756

[startup+1782.3 s]
/proc/loadavg: 2.13 2.12 2.04 3/183 24953
/proc/meminfo: memFree=28887552/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1458756 CPUtime=1781.75 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 305772 0 0 0 178120 55 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140733791859712 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 364689 306682 888 2943 0 361583 0
[pid=24898/tid=24899] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1458756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.09 2.11 2.04 3/183 24953
/proc/meminfo: memFree=28887432/32872528 swapFree=525044/557748
[pid=24898] ppid=24893 vsize=1458756 CPUtime=1800.04 cores=1,3,5,7
/proc/24898/stat : 24898 (toysat) R 24893 24898 18612 0 -1 4202496 305772 0 0 0 179949 55 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140733791859712 5661863 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24898/statm: 364689 306682 888 2943 0 361583 0
[pid=24898/tid=24899] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24899/stat : 24899 (toysat) S 24893 24898 18612 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411232300272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24898/tid=24900] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24900/stat : 24900 (toysat) S 24893 24898 18612 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411221810416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24898/tid=24901] ppid=24893 vsize=1458756 CPUtime=0 cores=1,3,5,7
/proc/24898/task/24901/stat : 24901 (toysat) S 24893 24898 18612 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950939 1493766144 306682 33554432000 4194304 16246674 140733791877824 140411137944752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1458756

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.5
CPU system time (s): 0.551916
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1458756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.551916
maximum resident set size= 1226728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305772
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= 429
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30404 second user time and 9.2056 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-17 01:16:48
IDJOB=4097926
IDBENCH=107827
IDSOLVER=2542
FILE ID=node106/4097926-1466119008
RUNJOBID= node106-1466119008-24873
PBS_JOBID= 19904130
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= 39e669795c558ed695b104e86ec6e4fe
RANDOM SEED=1470936870

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31324188 kB
Buffers:           72436 kB
Cached:           210164 kB
SwapCached:         1872 kB
Active:           166192 kB
Inactive:         119672 kB
Active(anon):       4200 kB
Inactive(anon):     1280 kB
Active(file):     161992 kB
Inactive(file):   118392 kB
Unevictable:      557748 kB
Mlocked:          525044 kB
SwapTotal:      67108856 kB
SwapFree:       67099104 kB
Dirty:             40384 kB
Writeback:             0 kB
AnonPages:        560096 kB
Mapped:             7088 kB
Shmem:                 0 kB
Slab:             573056 kB
SReclaimable:      17536 kB
SUnreclaim:       555520 kB
KernelStack:        1416 kB
PageTables:         5672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     653848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71660 MiB
End job on node106 at 2016-06-17 01:46:49