Trace number 4101217

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb
MD5SUMba437a46cdfe6ecad707b12b94061ac9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -20
Optimality of the best value was proved NO
Number of variables11514
Total number of constraints1050
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1050
Minimum length of a constraint11
Maximum length of a constraint11514
Number of terms in the objective function 11514
Biggest coefficient in the objective function 3344
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 531132
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 15548
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 531582
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T05:59:13+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-4101217-1466222352.opb"]
0.00/0.01	c use --random-gen="1871512130 4067558908 3197797873 2172057909 339905794 1164630634 427169822 1484418478 1062652523 575429729 3742691095 3575471452 2095304973 3458396119 1146820157 3776369389 3373908917 1925426882 1218022784 1364165426 1122745281 2529096866 887453819 2208573759 4216815619 3723853314 1359052352 2188008482 321913958 3701372965 1149627035 433665206 1657751568 2128882481 1397897222 1860297163 1781130099 4276928689 4158758937 413717492 1075240071 167424123 2737104337 1398118882 3572800291 1148398924 994741255 1302494314 465598829 2725842665 3026705384 3403985584 369799600 3958135833 500549737 1940049504 1756722170 361560592 1113135777 1539108500 3885095696 4114494418 1987202660 2755036845 3567043283 408120331 3975764834 2841017643 505199919 1313711426 255596301 216547673 2294520898 1870548462 4290039031 3441355965 636584434 3945674328 4183887679 921483005 1384242845 1247456742 1535962042 3961079318 4095539416 4120675464 4155199018 4241112424 67177199 1901109702 1609248450 3919091470 4268922471 3578712932 1982057404 4184547700 2744568897 3694750470 1338689911 4150093009 63094729 3645341802 2447007255 1841172381 2359023767 1838335426 1665508871 846393334 1022799044 2636937120 3226468093 3814369986 3452665576 704134771 4057628176 3217513477 72142312 2161508474 1483943597 3314943494 3970342832 619173835 1473285951 1615278031 43413446 2241375601 31068558 1846688180 2526655480 3011039483 2388529170 2187418379 894554873 1772360111 3143040032 2195223570 609507633 1199675403 4144167575 2789623645 2264759104 3121255961 3180079010 1613165866 1186343226 3212487465 2160139761 674230259 1418747135 2827993438 544449651 2238221397 378515315 895174025 186175218 3978532597 423761472 1320974367 260530413 523008684 3448280795 3159573248 3566304328 3546540068 3507038526 3670699307 148297777 779997397 2488090133 1357957107 2752582284 573738959 542363214 4209166476 1672481752 2768515244 543181098 1445458930 3865974610 1693978834 3858635097 4075619448 1268308963 4228423100 1022432387 2164258884 2403960753 149827772 657430543 721227871 563212929 2030240535 3674491492 3045300175 2824030580 3051266679 2698680375 2869256365 2735007608 876580048 2037081783 1630868787 550125646 2088456401 327046636 3401745049 1175913183 4182166340 2808505433 678079744 314965428 1505945170 2552242022 1060250376 2595628943 3284921702 1158352237 1148151996 588141764 2201879811 1917038826 2870794441 3738489993 1474132616 1560645334 579979025 1717741839 1442889407 4035579769 2453020506 3697134585 727062699 4240766771 3809085079 380873450 4219240792 2535675391 3760874614 1238721795 3455236546 95155220 3057726344 2161706740 1955012475 1688795851 4013553089 3883516951 3408766796 2329150955 2613674352 1922729435 214429424 2895065486 3154878582 407093806 4039397114 255 362436" option to reproduce the execution
0.29/0.35	c #vars 11514
0.29/0.35	c #constraints 1050
1.19/1.22	c BCD2: Hardening is enabled.
1.19/1.22	c BCD2: BiasedSearch is enabled.
1.19/1.22	c Solving starts ...
1.19/1.22	c ============================[ Search Statistics ]============================
1.19/1.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.22	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.22	c =============================================================================
1.19/1.22	c  0.0s |       0 |        0 |        0 |     4188      0 |        1 |        0
1.29/1.38	c  0.2s |       1 |     1986 |      100 |     4188      0 |        1 |        1
1.59/1.67	c  0.4s |       2 |     2697 |      250 |     4607      0 |        1 |        1
2.09/2.17	c  1.0s |       3 |     3208 |      475 |     5068      0 |        1 |        1
2.89/2.90	c  1.7s |       4 |     3845 |      813 |     5575      0 |        1 |        1
4.09/4.19	c  3.0s |       5 |     4633 |     1320 |     6133      0 |        1 |        1
6.09/6.14	c  4.9s |       6 |     5802 |     2081 |     7422      0 |        1 |        1
8.09/8.15	c  6.9s |       6 |     7205 |     2981 |     7422      0 |        1 |        1
8.59/8.66	c  7.4s |       7 |     7507 |     3223 |     8165      0 |        1 |        1
10.79/10.81	c  9.6s |       7 |     8906 |     4123 |     8165      0 |        1 |        1
12.69/12.72	c 11.5s |       8 |    10065 |     4936 |     8982      0 |        1 |        1
14.89/14.99	c 13.8s |       8 |    11425 |     5836 |     8982      0 |        1 |        1
16.99/17.04	c 15.8s |       8 |    12573 |     6636 |     8982      0 |        1 |        1
19.09/19.13	c 17.9s |       9 |    13801 |     7506 |     9881      0 |        1 |        1
21.09/21.18	c 20.0s |       9 |    15084 |     8306 |     9881      0 |        1 |        1
23.19/23.26	c 22.0s |       9 |    16257 |     9206 |     9881      0 |        1 |        1
25.29/25.31	c 24.1s |       9 |    17534 |    10106 |     9881      0 |        1 |        1
27.38/27.48	c 26.3s |       9 |    18705 |    11006 |     9881      0 |        1 |        1
28.48/28.50	c 27.3s |      10 |    19188 |    11361 |    10870      1 |        1 |        1
30.48/30.54	c 29.3s |      10 |    20329 |    12161 |    10870      1 |        1 |        1
32.58/32.65	c 31.4s |      10 |    21506 |    13061 |    10870      1 |        1 |        1
34.68/34.77	c 33.6s |      10 |    22705 |    13861 |    10870      1 |        1 |        1
36.88/36.93	c 35.7s |      10 |    23971 |    14661 |    10870      1 |        1 |        1
39.08/39.15	c 37.9s |      10 |    25183 |    15561 |    10870      1 |        1 |        1
41.18/41.22	c 40.0s |      10 |    26247 |    16361 |    10870      1 |        1 |        1
43.38/43.40	c 42.2s |      11 |    27281 |    17144 |    11958      1 |        1 |        1
45.38/45.41	c 44.2s |      11 |    28283 |    17844 |    11958      1 |        1 |        1
47.58/47.63	c 46.4s |      11 |    29438 |    18744 |    11958      1 |        1 |        1
49.78/49.80	c 48.6s |      11 |    30532 |    19544 |    11958      2 |        1 |        1
51.98/52.01	c 50.8s |      11 |    31574 |    20344 |    11958      2 |        1 |        1
53.99/54.07	c 52.8s |      11 |    32591 |    21144 |    11958      2 |        1 |        1
56.19/56.29	c 55.1s |      11 |    33661 |    22044 |    11958      2 |        1 |        1
58.48/58.52	c 57.3s |      11 |    34840 |    22844 |    11958      2 |        1 |        1
60.59/60.64	c 59.4s |      11 |    35916 |    23644 |    11958      2 |        1 |        1
62.69/62.76	c 61.5s |      11 |    36953 |    24444 |    11958      2 |        1 |        1
64.89/64.96	c 63.7s |      11 |    38081 |    25344 |    11958      2 |        1 |        1
66.28/66.30	c 65.1s |      12 |    38749 |    25819 |    13154      3 |        1 |        1
68.29/68.39	c 67.2s |      12 |    39337 |    26119 |    13154      3 |        1 |        1
70.39/70.44	c 69.2s |      12 |    40485 |    26919 |    13154      3 |        1 |        1
72.38/72.49	c 71.3s |      12 |    41588 |    27719 |    13154      3 |        1 |        1
74.58/74.61	c 73.4s |      12 |    42695 |    28519 |    13154      3 |        1 |        1
76.78/76.83	c 75.6s |      12 |    43794 |    29319 |    13154      3 |        1 |        1
78.88/78.95	c 77.7s |      12 |    44885 |    30019 |    13154      3 |        1 |        1
81.18/81.28	c 80.1s |      12 |    45931 |    30719 |    13154      3 |        1 |        1
83.48/83.51	c 82.3s |      12 |    47042 |    31419 |    13154      3 |        1 |        1
85.48/85.59	c 84.4s |      12 |    48140 |    32119 |    13154      3 |        1 |        1
87.78/87.87	c 86.7s |      12 |    49287 |    32819 |    13154      3 |        1 |        1
90.18/90.28	c 89.1s |      12 |    50324 |    33519 |    13154      4 |        1 |        1
92.28/92.30	c 91.1s |      12 |    51179 |    34219 |    13154      4 |        1 |        1
94.47/94.52	c 93.3s |      12 |    52229 |    34919 |    13154      4 |        1 |        1
96.57/96.64	c 95.4s |      12 |    53189 |    35619 |    13154      4 |        1 |        1
98.77/98.81	c 97.6s |      12 |    54215 |    36319 |    13154      4 |        1 |        1
100.87/100.92	c 99.7s |      12 |    55171 |    37019 |    13154      4 |        1 |        1
103.17/103.20	c  101s |      12 |    55873 |    37419 |    13154      4 |        1 |        1
105.27/105.32	c  104s |      12 |    57024 |    38219 |    13154      4 |        1 |        1
106.78/106.87	c  105s |      13 |    58105 |    38832 |    14470      4 |        1 |        1
108.98/109.06	c  107s |      13 |    59420 |    39632 |    14470      4 |        1 |        1
111.08/111.16	c  109s |      13 |    60514 |    40432 |    14470      4 |        1 |        1
113.17/113.25	c  112s |      13 |    61657 |    41232 |    14470      4 |        1 |        1
115.37/115.46	c  114s |      13 |    62710 |    42032 |    14470      5 |        1 |        1
117.37/117.47	c  116s |      13 |    63792 |    42732 |    14470      5 |        1 |        1
119.47/119.54	c  118s |      13 |    64845 |    43432 |    14470      5 |        1 |        1
121.47/121.56	c  120s |      13 |    65854 |    44132 |    14470      5 |        1 |        1
123.57/123.69	c  122s |      13 |    66867 |    44832 |    14470      5 |        1 |        1
125.67/125.78	c  124s |      13 |    67957 |    45532 |    14470      5 |        1 |        1
127.97/128.02	c  126s |      13 |    69006 |    46332 |    14470      5 |        1 |        1
130.27/130.31	c  129s |      13 |    70036 |    47132 |    14470      5 |        1 |        1
132.56/132.67	c  131s |      13 |    71068 |    47832 |    14470      5 |        1 |        1
134.66/134.70	c  133s |      13 |    71899 |    48432 |    14470      5 |        1 |        1
136.66/136.73	c  135s |      13 |    72923 |    49132 |    14470      5 |        1 |        1
138.67/138.74	c  137s |      13 |    73862 |    49832 |    14470      5 |        1 |        1
141.07/141.16	c  139s |      13 |    74898 |    50532 |    14470      6 |        1 |        1
143.17/143.27	c  142s |      13 |    75999 |    51332 |    14470      6 |        1 |        1
145.37/145.48	c  144s |      13 |    77086 |    52132 |    14470      6 |        1 |        1
147.48/147.55	c  146s |      13 |    78083 |    52932 |    14470      6 |        1 |        1
149.68/149.77	c  148s |      13 |    79070 |    53632 |    14470      6 |        1 |        1
151.97/152.00	c  150s |      13 |    80000 |    54332 |    14470      6 |        1 |        1
153.98/154.08	c  152s |      13 |    80933 |    55032 |    14470      6 |        1 |        1
156.18/156.23	c  155s |      13 |    81932 |    55732 |    14470      6 |        1 |        1
158.17/158.26	c  157s |      13 |    82969 |    56432 |    14470      6 |        1 |        1
160.47/160.52	c  159s |      13 |    84178 |    57232 |    14470      6 |        1 |        1
162.57/162.62	c  161s |      13 |    85087 |    57932 |    14470      7 |        1 |        1
163.67/163.75	c  162s |      14 |    85616 |    58352 |    15918      7 |        1 |        1
165.67/165.78	c  164s |      14 |    86593 |    59052 |    15918      7 |        1 |        1
167.77/167.86	c  166s |      14 |    87451 |    59752 |    15918      7 |        1 |        1
169.97/170.07	c  168s |      14 |    88433 |    60552 |    15918      7 |        1 |        1
171.97/172.09	c  170s |      14 |    89443 |    61252 |    15918      7 |        1 |        1
174.07/174.13	c  172s |      14 |    90410 |    61952 |    15918      7 |        1 |        1
176.27/176.32	c  175s |      14 |    91414 |    62752 |    15918      7 |        1 |        1
178.27/178.33	c  177s |      14 |    92241 |    63452 |    15918      7 |        1 |        1
180.37/180.47	c  179s |      14 |    93354 |    64252 |    15918      7 |        1 |        1
182.57/182.67	c  181s |      14 |    94415 |    65052 |    15918      7 |        1 |        1
184.87/184.95	c  183s |      14 |    95545 |    65852 |    15918      7 |        1 |        1
186.97/187.07	c  185s |      14 |    96551 |    66552 |    15918      7 |        1 |        1
189.27/189.30	c  188s |      14 |    97485 |    67252 |    15918      8 |        1 |        1
191.47/191.54	c  190s |      14 |    98443 |    67952 |    15918      8 |        1 |        1
193.46/193.60	c  192s |      14 |    99378 |    68552 |    15918      8 |        1 |        1
195.66/195.73	c  194s |      14 |   100378 |    69252 |    15918      8 |        1 |        1
197.76/197.81	c  196s |      14 |   101303 |    69952 |    15918      8 |        1 |        1
199.86/199.93	c  198s |      14 |   102475 |    70752 |    15918      8 |        1 |        1
201.96/202.01	c  200s |      14 |   103484 |    71552 |    15918      8 |        1 |        1
204.16/204.26	c  203s |      14 |   104676 |    72452 |    15918      8 |        1 |        1
206.46/206.52	c  205s |      14 |   105775 |    73252 |    15918      8 |        1 |        1
208.76/208.80	c  207s |      14 |   106839 |    74052 |    15918      8 |        1 |        1
210.76/210.88	c  209s |      14 |   107587 |    74552 |    15918      8 |        1 |        1
213.06/213.14	c  211s |      14 |   108660 |    75352 |    15918      8 |        1 |        1
215.26/215.30	c  214s |      14 |   109525 |    75952 |    15918      9 |        1 |        1
217.36/217.48	c  216s |      14 |   110495 |    76652 |    15918      9 |        1 |        1
219.46/219.57	c  218s |      14 |   111372 |    77352 |    15918      9 |        1 |        1
221.56/221.62	c  220s |      14 |   112346 |    78052 |    15918      9 |        1 |        1
223.66/223.74	c  222s |      14 |   113270 |    78752 |    15918      9 |        1 |        1
225.75/225.85	c  224s |      14 |   114260 |    79452 |    15918      9 |        1 |        1
227.85/227.93	c  226s |      14 |   115162 |    80152 |    15918      9 |        1 |        1
229.96/230.08	c  228s |      14 |   116107 |    80852 |    15918      9 |        1 |        1
232.16/232.26	c  231s |      14 |   116975 |    81552 |    15918      9 |        1 |        1
234.45/234.51	c  233s |      14 |   117931 |    82352 |    15918      9 |        1 |        1
236.46/236.60	c  235s |      14 |   118879 |    83052 |    15918      9 |        1 |        1
238.55/238.70	c  237s |      14 |   119982 |    83752 |    15918      9 |        1 |        1
240.75/240.86	c  239s |      14 |   120959 |    84452 |    15918     10 |        1 |        1
242.85/242.98	c  241s |      14 |   121861 |    85152 |    15918     10 |        1 |        1
245.05/245.17	c  243s |      14 |   122757 |    85852 |    15918     10 |        1 |        1
247.25/247.39	c  246s |      14 |   123826 |    86652 |    15918     10 |        1 |        1
249.45/249.52	c  248s |      14 |   125001 |    87352 |    17510     10 |        1 |        1
250.25/250.36	c  249s |      15 |   125435 |    87632 |    17510     10 |        1 |        1
252.45/252.50	c  251s |      15 |   126405 |    88232 |    17510     10 |        1 |        1
255.26/255.37	c  254s |      15 |   127382 |    88932 |    17510     10 |        1 |        1
257.55/257.60	c  256s |      15 |   128357 |    89732 |    17510     10 |        1 |        1
259.55/259.63	c  258s |      15 |   129345 |    90432 |    17510     10 |        1 |        1
261.55/261.64	c  260s |      15 |   130404 |    91132 |    17510     10 |        1 |        1
263.55/263.65	c  262s |      15 |   131315 |    91832 |    17510     10 |        1 |        1
265.55/265.67	c  264s |      15 |   132223 |    92532 |    17510     10 |        1 |        1
267.65/267.79	c  266s |      15 |   133216 |    93232 |    17510     10 |        1 |        1
269.75/269.84	c  268s |      15 |   134180 |    93932 |    17510     10 |        1 |        1
271.95/272.04	c  270s |      15 |   135023 |    94632 |    17510     11 |        1 |        1
274.05/274.12	c  272s |      15 |   135813 |    95332 |    17510     11 |        1 |        1
276.25/276.36	c  275s |      15 |   136704 |    96032 |    17510     11 |        1 |        1
278.25/278.38	c  277s |      15 |   137689 |    96732 |    17510     11 |        1 |        1
280.34/280.49	c  279s |      15 |   138651 |    97432 |    17510     11 |        1 |        1
282.54/282.62	c  281s |      15 |   139466 |    98132 |    17510     11 |        1 |        1
284.64/284.78	c  283s |      15 |   140489 |    98932 |    17510     11 |        1 |        1
287.74/287.87	c  286s |      15 |   141284 |    99532 |    17510     11 |        1 |        1
289.74/289.90	c  288s |      15 |   142205 |   100232 |    17510     11 |        1 |        1
291.94/292.01	c  290s |      15 |   143105 |   100932 |    17510     11 |        1 |        1
294.04/294.18	c  292s |      15 |   144151 |   101632 |    17510     11 |        1 |        1
296.14/296.24	c  295s |      15 |   145101 |   102332 |    17510     11 |        1 |        1
298.24/298.39	c  297s |      15 |   146125 |   103032 |    17510     11 |        1 |        1
300.25/300.39	c  299s |      15 |   146917 |   103632 |    17510     11 |        1 |        1
302.45/302.59	c  301s |      15 |   147889 |   104232 |    17510     12 |        1 |        1
304.64/304.75	c  303s |      15 |   148652 |   104932 |    17510     12 |        1 |        1
306.95/307.01	c  305s |      15 |   149434 |   105532 |    17510     12 |        1 |        1
309.15/309.26	c  308s |      15 |   150505 |   106332 |    17510     12 |        1 |        1
311.35/311.47	c  310s |      15 |   151477 |   107132 |    17510     12 |        1 |        1
313.55/313.62	c  312s |      15 |   152501 |   107932 |    17510     12 |        1 |        1
315.55/315.70	c  314s |      15 |   153368 |   108632 |    17510     12 |        1 |        1
317.65/317.78	c  316s |      15 |   154267 |   109332 |    17510     12 |        1 |        1
319.85/319.96	c  318s |      15 |   155147 |   110032 |    17510     12 |        1 |        1
323.64/323.71	c  322s |      15 |   155801 |   110532 |    17510     12 |        1 |        1
325.84/325.93	c  324s |      15 |   156866 |   111232 |    17510     12 |        1 |        1
328.14/328.20	c  326s |      15 |   157938 |   112032 |    17510     12 |        1 |        1
330.24/330.34	c  329s |      15 |   158833 |   112732 |    17510     12 |        1 |        1
332.44/332.51	c  331s |      15 |   159723 |   113432 |    17510     12 |        1 |        1
334.54/334.62	c  333s |      15 |   160607 |   114032 |    17510     13 |        1 |        1
336.54/336.67	c  335s |      15 |   161749 |   114732 |    17510     13 |        1 |        1
338.64/338.71	c  337s |      15 |   162616 |   115432 |    17510     13 |        1 |        1
340.74/340.81	c  339s |      15 |   163666 |   116232 |    17510     13 |        1 |        1
342.74/342.85	c  341s |      15 |   164737 |   116932 |    17510     13 |        1 |        1
344.94/345.09	c  343s |      15 |   165839 |   117732 |    17510     13 |        1 |        1
347.04/347.17	c  345s |      15 |   167078 |   118532 |    17510     13 |        1 |        1
349.14/349.20	c  347s |      15 |   168017 |   119232 |    17510     13 |        1 |        1
351.34/351.41	c  350s |      15 |   169108 |   120032 |    17510     13 |        1 |        1
353.54/353.63	c  352s |      15 |   169971 |   120732 |    17510     13 |        1 |        1
355.74/355.82	c  354s |      15 |   171055 |   121432 |    17510     13 |        1 |        1
357.74/357.83	c  356s |      15 |   171920 |   122132 |    17510     13 |        1 |        1
360.13/360.28	c  359s |      15 |   172874 |   122732 |    17510     13 |        1 |        1
362.33/362.40	c  361s |      15 |   173515 |   123232 |    17510     14 |        1 |        1
364.63/364.76	c  363s |      15 |   174645 |   124032 |    17510     14 |        1 |        1
366.63/366.76	c  365s |      15 |   175505 |   124732 |    17510     14 |        1 |        1
368.93/369.02	c  367s |      15 |   176645 |   125532 |    17510     14 |        1 |        1
371.13/371.20	c  369s |      15 |   177570 |   126232 |    17510     14 |        1 |        1
373.13/373.30	c  372s |      15 |   178464 |   126932 |    17510     14 |        1 |        1
375.23/375.38	c  374s |      15 |   179402 |   127632 |    17510     14 |        1 |        1
377.43/377.59	c  376s |      15 |   180403 |   128432 |    17510     14 |        1 |        1
379.54/379.68	c  378s |      15 |   181235 |   129132 |    17510     14 |        1 |        1
381.53/381.70	c  380s |      15 |   182208 |   129832 |    17510     14 |        1 |        1
383.73/383.85	c  382s |      15 |   183060 |   130532 |    17510     14 |        1 |        1
385.83/385.90	c  384s |      15 |   183845 |   131132 |    19261     14 |        1 |        1
387.23/387.39	c  386s |      16 |   184436 |   131552 |    19261     14 |        1 |        1
389.33/389.44	c  388s |      16 |   185221 |   132052 |    19261     14 |        1 |        1
391.43/391.56	c  390s |      16 |   185996 |   132652 |    19261     14 |        1 |        1
393.63/393.80	c  392s |      16 |   186331 |   132852 |    19261     14 |        1 |        1
395.73/395.89	c  394s |      16 |   187438 |   133452 |    19261     14 |        1 |        1
398.33/398.48	c  397s |      16 |   188542 |   134152 |    19261     15 |        1 |        1
400.62/400.75	c  399s |      16 |   189411 |   134752 |    19261     15 |        1 |        1
402.72/402.82	c  401s |      16 |   190443 |   135452 |    19261     15 |        1 |        1
404.92/405.01	c  403s |      16 |   191388 |   136152 |    19261     15 |        1 |        1
407.03/407.15	c  405s |      16 |   192399 |   136852 |    19261     15 |        1 |        1
409.02/409.15	c  407s |      16 |   193339 |   137552 |    19261     15 |        1 |        1
411.22/411.32	c  410s |      16 |   194379 |   138252 |    19261     15 |        1 |        1
413.42/413.52	c  412s |      16 |   195323 |   138952 |    19261     15 |        1 |        1
415.42/415.59	c  414s |      16 |   196166 |   139552 |    19261     15 |        1 |        1
417.62/417.76	c  416s |      16 |   197189 |   140252 |    19261     15 |        1 |        1
419.72/419.89	c  418s |      16 |   198206 |   140952 |    19261     15 |        1 |        1
421.92/422.08	c  420s |      16 |   199175 |   141652 |    19261     15 |        1 |        1
424.02/424.15	c  422s |      16 |   200095 |   142352 |    19261     15 |        1 |        1
426.22/426.36	c  425s |      16 |   201071 |   143052 |    19261     15 |        1 |        1
428.52/428.67	c  427s |      16 |   202046 |   143752 |    19261     15 |        1 |        1
431.02/431.11	c  429s |      16 |   202919 |   144352 |    19261     16 |        1 |        1
433.22/433.36	c  432s |      16 |   203954 |   145152 |    19261     16 |        1 |        1
435.53/435.63	c  434s |      16 |   205001 |   145852 |    19261     16 |        1 |        1
437.62/437.78	c  436s |      16 |   205918 |   146552 |    19261     16 |        1 |        1
439.72/439.88	c  438s |      16 |   206878 |   147252 |    19261     16 |        1 |        1
441.92/442.03	c  440s |      16 |   207942 |   148052 |    19261     16 |        1 |        1
444.02/444.18	c  442s |      16 |   208948 |   148852 |    19261     16 |        1 |        1
446.12/446.23	c  445s |      16 |   209896 |   149552 |    19261     16 |        1 |        1
448.32/448.46	c  447s |      16 |   210965 |   150352 |    19261     16 |        1 |        1
450.52/450.67	c  449s |      16 |   211952 |   151152 |    19261     16 |        1 |        1
452.82/452.96	c  451s |      16 |   212950 |   151952 |    19261     16 |        1 |        1
455.12/455.23	c  454s |      16 |   213898 |   152652 |    19261     16 |        1 |        1
457.42/457.52	c  456s |      16 |   215005 |   153352 |    19261     16 |        1 |        1
459.52/459.65	c  458s |      16 |   215958 |   154052 |    19261     16 |        1 |        1
462.03/462.18	c  460s |      16 |   216875 |   154752 |    19261     17 |        1 |        1
464.42/464.52	c  463s |      16 |   217823 |   155452 |    19261     17 |        1 |        1
466.62/466.73	c  465s |      16 |   218528 |   155852 |    19261     17 |        1 |        1
468.82/468.98	c  467s |      16 |   219662 |   156652 |    19261     17 |        1 |        1
471.02/471.19	c  469s |      16 |   220786 |   157452 |    19261     17 |        1 |        1
473.22/473.31	c  472s |      16 |   221726 |   158152 |    19261     17 |        1 |        1
475.42/475.59	c  474s |      16 |   222644 |   158852 |    19261     17 |        1 |        1
477.52/477.69	c  476s |      16 |   223618 |   159552 |    19261     17 |        1 |        1
479.82/479.91	c  478s |      16 |   224719 |   160352 |    19261     17 |        1 |        1
481.92/482.00	c  480s |      16 |   225741 |   161052 |    19261     17 |        1 |        1
484.41/484.50	c  483s |      16 |   226267 |   161452 |    19261     17 |        1 |        1
486.51/486.69	c  485s |      16 |   227286 |   162152 |    19261     17 |        1 |        1
488.61/488.73	c  487s |      16 |   228205 |   162752 |    19261     17 |        1 |        1
490.71/490.85	c  489s |      16 |   229085 |   163352 |    19261     17 |        1 |        1
492.91/493.01	c  491s |      16 |   230086 |   164052 |    19261     17 |        1 |        1
495.02/495.11	c  493s |      16 |   231048 |   164752 |    19261     17 |        1 |        1
497.01/497.20	c  495s |      16 |   231884 |   165352 |    19261     18 |        1 |        1
499.10/499.23	c  498s |      16 |   232497 |   165752 |    19261     18 |        1 |        1
501.21/501.31	c  500s |      16 |   233431 |   166452 |    19261     18 |        1 |        1
503.31/503.40	c  502s |      16 |   234507 |   167152 |    19261     18 |        1 |        1
505.31/505.46	c  504s |      16 |   235247 |   167752 |    19261     18 |        1 |        1
507.41/507.60	c  506s |      16 |   236175 |   168352 |    19261     18 |        1 |        1
509.51/509.65	c  508s |      16 |   237159 |   168952 |    19261     18 |        1 |        1
511.51/511.70	c  510s |      16 |   238014 |   169552 |    19261     18 |        1 |        1
513.80/513.93	c  512s |      16 |   239052 |   170252 |    19261     18 |        1 |        1
515.81/515.93	c  514s |      16 |   239953 |   170852 |    19261     18 |        1 |        1
518.11/518.25	c  517s |      16 |   240694 |   171452 |    19261     18 |        1 |        1
520.21/520.32	c  519s |      16 |   241484 |   172052 |    19261     18 |        1 |        1
522.20/522.32	c  521s |      16 |   242304 |   172652 |    19261     18 |        1 |        1
524.30/524.43	c  523s |      16 |   243138 |   173252 |    19261     18 |        1 |        1
526.40/526.53	c  525s |      16 |   243925 |   173852 |    19261     18 |        1 |        1
528.59/528.76	c  527s |      16 |   244873 |   174552 |    19261     18 |        1 |        1
530.89/531.08	c  529s |      16 |   245880 |   175252 |    19261     19 |        1 |        1
533.40/533.56	c  532s |      16 |   246843 |   175952 |    19261     19 |        1 |        1
535.60/535.79	c  534s |      16 |   247918 |   176652 |    19261     19 |        1 |        1
537.69/537.90	c  536s |      16 |   248799 |   177352 |    19261     19 |        1 |        1
539.89/540.03	c  538s |      16 |   249859 |   178052 |    19261     19 |        1 |        1
541.99/542.16	c  540s |      16 |   250770 |   178752 |    19261     19 |        1 |        1
544.09/544.24	c  543s |      16 |   251497 |   179252 |    19261     19 |        1 |        1
546.29/546.48	c  545s |      16 |   252515 |   179952 |    19261     19 |        1 |        1
548.38/548.58	c  547s |      16 |   253466 |   180552 |    19261     19 |        1 |        1
550.48/550.60	c  549s |      16 |   254459 |   181152 |    19261     19 |        1 |        1
552.58/552.70	c  551s |      16 |   255465 |   181752 |    19261     19 |        1 |        1
554.58/554.74	c  553s |      16 |   256361 |   182352 |    19261     19 |        1 |        1
556.68/556.83	c  555s |      16 |   257179 |   182952 |    19261     19 |        1 |        1
558.69/558.84	c  557s |      16 |   258219 |   183652 |    19261     19 |        1 |        1
560.68/560.85	c  559s |      16 |   259278 |   184352 |    19261     19 |        1 |        1
562.88/563.02	c  561s |      16 |   260205 |   185052 |    19261     19 |        1 |        1
564.98/565.13	c  563s |      16 |   261032 |   185652 |    19261     20 |        1 |        1
567.28/567.49	c  566s |      16 |   262002 |   186452 |    19261     20 |        1 |        1
569.38/569.58	c  568s |      16 |   263039 |   187152 |    19261     20 |        1 |        1
571.67/571.84	c  570s |      16 |   264029 |   187852 |    19261     20 |        1 |        1
573.87/574.05	c  572s |      16 |   264948 |   188552 |    19261     20 |        1 |        1
577.27/577.44	c  576s |      16 |   265430 |   188952 |    19261     20 |        1 |        1
579.47/579.65	c  578s |      16 |   266460 |   189652 |    19261     20 |        1 |        1
581.57/581.72	c  580s |      16 |   267360 |   190352 |    19261     20 |        1 |        1
583.67/583.85	c  582s |      16 |   268338 |   191052 |    19261     20 |        1 |        1
585.97/586.18	c  584s |      16 |   269254 |   191752 |    19261     20 |        1 |        1
588.37/588.53	c  587s |      16 |   270152 |   192452 |    19261     20 |        1 |        1
590.46/590.60	c  589s |      16 |   271109 |   193052 |    19261     20 |        1 |        1
592.46/592.63	c  591s |      16 |   272069 |   193652 |    19261     20 |        1 |        1
594.66/594.83	c  593s |      16 |   273044 |   194352 |    19261     20 |        1 |        1
596.96/597.17	c  595s |      16 |   273862 |   194952 |    19261     20 |        1 |        1
599.16/599.37	c  598s |      16 |   274669 |   195552 |    19261     20 |        1 |        1
601.26/601.40	c  600s |      16 |   275312 |   196052 |    19261     21 |        1 |        1
603.36/603.55	c  602s |      16 |   276437 |   196752 |    21188     21 |        1 |        1
605.36/605.55	c  604s |      16 |   277284 |   197352 |    21188     21 |        1 |        1
605.76/605.90	c  604s |      17 |   277399 |   197432 |    21188     21 |        1 |        1
607.95/608.15	c  606s |      17 |   278547 |   198032 |    21188     21 |        1 |        1
610.05/610.28	c  609s |      17 |   279496 |   198732 |    21188     21 |        1 |        1
612.15/612.34	c  611s |      17 |   280449 |   199432 |    21188     21 |        1 |        1
614.15/614.35	c  613s |      17 |   281458 |   200132 |    21188     21 |        1 |        1
616.25/616.45	c  615s |      17 |   282470 |   200832 |    21188     21 |        1 |        1
618.44/618.65	c  617s |      17 |   283532 |   201532 |    21188     21 |        1 |        1
620.74/620.96	c  619s |      17 |   284500 |   202232 |    21188     21 |        1 |        1
622.94/623.15	c  621s |      17 |   285482 |   202932 |    21188     21 |        1 |        1
625.14/625.34	c  624s |      17 |   286390 |   203632 |    21188     21 |        1 |        1
627.34/627.50	c  626s |      17 |   287279 |   204232 |    21188     21 |        1 |        1
629.54/629.77	c  628s |      17 |   288165 |   204932 |    21188     21 |        1 |        1
631.64/631.86	c  630s |      17 |   288898 |   205532 |    21188     21 |        1 |        1
633.83/634.06	c  632s |      17 |   289804 |   206232 |    21188     21 |        1 |        1
636.13/636.34	c  635s |      17 |   290730 |   206932 |    21188     21 |        1 |        1
638.43/638.63	c  637s |      17 |   291709 |   207632 |    21188     21 |        1 |        1
641.13/641.31	c  640s |      17 |   292096 |   207932 |    21188     21 |        1 |        1
643.52/643.80	c  642s |      17 |   292507 |   208232 |    21188     22 |        1 |        1
645.63/645.83	c  644s |      17 |   293635 |   208932 |    21188     22 |        1 |        1
647.62/647.88	c  646s |      17 |   294684 |   209632 |    21188     22 |        1 |        1
649.82/650.08	c  648s |      17 |   296099 |   210432 |    21188     22 |        1 |        1
652.02/652.20	c  650s |      17 |   297336 |   211232 |    21188     22 |        1 |        1
654.12/654.35	c  653s |      17 |   298480 |   212032 |    21188     22 |        1 |        1
656.32/656.59	c  655s |      17 |   299596 |   212832 |    21188     22 |        1 |        1
658.51/658.78	c  657s |      17 |   300726 |   213632 |    21188     22 |        1 |        1
660.71/660.91	c  659s |      17 |   301663 |   214332 |    21188     22 |        1 |        1
662.81/663.06	c  661s |      17 |   302823 |   215132 |    21188     22 |        1 |        1
665.11/665.34	c  664s |      17 |   303834 |   215932 |    21188     22 |        1 |        1
667.21/667.41	c  666s |      17 |   304792 |   216632 |    21188     22 |        1 |        1
669.41/669.67	c  668s |      17 |   305937 |   217432 |    21188     22 |        1 |        1
671.70/671.97	c  670s |      17 |   307032 |   218232 |    21188     22 |        1 |        1
673.80/674.04	c  672s |      17 |   307972 |   218932 |    21188     22 |        1 |        1
676.00/676.29	c  675s |      17 |   308943 |   219632 |    21188     23 |        1 |        1
678.40/678.60	c  677s |      17 |   310057 |   220432 |    21188     23 |        1 |        1
680.50/680.70	c  679s |      17 |   311111 |   221232 |    21188     23 |        1 |        1
682.70/682.92	c  681s |      17 |   312316 |   222032 |    21188     23 |        1 |        1
684.69/684.98	c  683s |      17 |   313068 |   222532 |    21188     23 |        1 |        1
686.69/686.99	c  685s |      17 |   314006 |   223232 |    21188     23 |        1 |        1
688.89/689.19	c  687s |      17 |   315208 |   224032 |    21188     23 |        1 |        1
691.19/691.48	c  690s |      17 |   316316 |   224832 |    21188     23 |        1 |        1
693.30/693.59	c  692s |      17 |   317340 |   225532 |    21188     23 |        1 |        1
695.70/695.93	c  694s |      17 |   318386 |   226232 |    21188     23 |        1 |        1
697.79/698.06	c  696s |      17 |   319485 |   226932 |    21188     23 |        1 |        1
700.09/700.30	c  699s |      17 |   320462 |   227632 |    21188     23 |        1 |        1
702.29/702.60	c  701s |      17 |   321482 |   228332 |    21188     23 |        1 |        1
704.69/704.93	c  703s |      17 |   322537 |   229032 |    21188     23 |        1 |        1
706.89/707.18	c  705s |      17 |   323515 |   229732 |    21188     23 |        1 |        1
709.19/709.42	c  708s |      17 |   324448 |   230432 |    21188     23 |        1 |        1
711.49/711.73	c  710s |      17 |   325376 |   231032 |    21188     24 |        1 |        1
713.69/713.91	c  712s |      17 |   326458 |   231732 |    21188     24 |        1 |        1
716.38/716.66	c  715s |      17 |   326737 |   231932 |    21188     24 |        1 |        1
718.48/718.74	c  717s |      17 |   327765 |   232732 |    21188     24 |        1 |        1
720.48/720.75	c  719s |      17 |   328697 |   233432 |    21188     24 |        1 |        1
722.48/722.77	c  721s |      17 |   329632 |   234232 |    21188     24 |        1 |        1
724.57/724.80	c  723s |      17 |   330782 |   235032 |    21188     24 |        1 |        1
726.67/726.93	c  725s |      17 |   331774 |   235832 |    21188     24 |        1 |        1
728.87/729.10	c  727s |      17 |   332781 |   236632 |    21188     24 |        1 |        1
731.07/731.38	c  730s |      17 |   333704 |   237332 |    21188     24 |        1 |        1
733.17/733.40	c  732s |      17 |   334711 |   238032 |    21188     24 |        1 |        1
735.27/735.54	c  734s |      17 |   335740 |   238732 |    21188     24 |        1 |        1
737.56/737.83	c  736s |      17 |   336647 |   239432 |    21188     24 |        1 |        1
739.56/739.87	c  738s |      17 |   337632 |   240132 |    21188     24 |        1 |        1
741.56/741.89	c  740s |      17 |   338599 |   240832 |    21188     24 |        1 |        1
743.76/744.06	c  742s |      17 |   339561 |   241532 |    21188     24 |        1 |        1
745.76/746.06	c  744s |      17 |   340280 |   242132 |    21188     25 |        1 |        1
747.86/748.14	c  746s |      17 |   341083 |   242832 |    21188     25 |        1 |        1
749.96/750.28	c  749s |      17 |   341970 |   243532 |    21188     25 |        1 |        1
752.35/752.68	c  751s |      17 |   342818 |   244132 |    21188     25 |        1 |        1
754.65/754.97	c  753s |      17 |   343918 |   244932 |    21188     25 |        1 |        1
756.75/757.00	c  755s |      17 |   344986 |   245632 |    21188     25 |        1 |        1
758.75/759.03	c  757s |      17 |   346058 |   246332 |    21188     25 |        1 |        1
760.84/761.11	c  759s |      17 |   347083 |   247032 |    21188     25 |        1 |        1
762.84/763.13	c  761s |      17 |   348012 |   247732 |    21188     25 |        1 |        1
765.04/765.33	c  764s |      17 |   349010 |   248532 |    21188     25 |        1 |        1
767.24/767.51	c  766s |      17 |   350164 |   249332 |    21188     25 |        1 |        1
769.24/769.57	c  768s |      17 |   351065 |   250032 |    21188     25 |        1 |        1
771.34/771.68	c  770s |      17 |   352165 |   250732 |    21188     25 |        1 |        1
773.54/773.80	c  772s |      17 |   353190 |   251432 |    21188     25 |        1 |        1
775.54/775.81	c  774s |      17 |   354169 |   252132 |    21188     25 |        1 |        1
777.63/777.93	c  776s |      17 |   355191 |   252832 |    21188     25 |        1 |        1
779.64/780.00	c  778s |      17 |   356029 |   253432 |    21188     26 |        1 |        1
781.84/782.17	c  780s |      17 |   357126 |   254232 |    21188     26 |        1 |        1
783.93/784.30	c  783s |      17 |   358064 |   255032 |    21188     26 |        1 |        1
786.24/786.53	c  785s |      17 |   359159 |   255832 |    21188     26 |        1 |        1
788.53/788.83	c  787s |      17 |   360032 |   256532 |    21188     26 |        1 |        1
790.73/791.08	c  789s |      17 |   361158 |   257332 |    21188     26 |        1 |        1
792.93/793.23	c  792s |      17 |   362089 |   258132 |    21188     26 |        1 |        1
794.92/795.26	c  794s |      17 |   362915 |   258832 |    21188     26 |        1 |        1
797.12/797.42	c  796s |      17 |   363868 |   259532 |    21188     26 |        1 |        1
799.32/799.62	c  798s |      17 |   364886 |   260232 |    21188     26 |        1 |        1
801.32/801.67	c  800s |      17 |   365762 |   260932 |    21188     26 |        1 |        1
803.42/803.74	c  802s |      17 |   366731 |   261632 |    21188     26 |        1 |        1
805.42/805.77	c  804s |      17 |   367751 |   262332 |    21188     26 |        1 |        1
807.51/807.83	c  806s |      17 |   368657 |   263032 |    21188     26 |        1 |        1
809.61/809.99	c  808s |      17 |   369577 |   263732 |    21188     26 |        1 |        1
811.81/812.15	c  810s |      17 |   370398 |   264332 |    21188     27 |        1 |        1
813.91/814.23	c  813s |      17 |   371355 |   265032 |    21188     27 |        1 |        1
815.91/816.30	c  815s |      17 |   372226 |   265732 |    21188     27 |        1 |        1
818.21/818.55	c  817s |      17 |   373226 |   266532 |    21188     27 |        1 |        1
820.31/820.69	c  819s |      17 |   374282 |   267232 |    21188     27 |        1 |        1
822.40/822.71	c  821s |      17 |   375199 |   267932 |    21188     27 |        1 |        1
824.40/824.73	c  823s |      17 |   376191 |   268632 |    21188     27 |        1 |        1
826.40/826.74	c  825s |      17 |   376924 |   269232 |    21188     27 |        1 |        1
828.60/828.90	c  827s |      17 |   377715 |   269932 |    21188     27 |        1 |        1
830.79/831.14	c  829s |      17 |   378595 |   270632 |    21188     27 |        1 |        1
832.99/833.32	c  832s |      17 |   379493 |   271332 |    21188     27 |        1 |        1
835.09/835.47	c  834s |      17 |   380435 |   272032 |    21188     27 |        1 |        1
837.19/837.54	c  836s |      17 |   381365 |   272732 |    21188     27 |        1 |        1
839.29/839.63	c  838s |      17 |   382326 |   273432 |    21188     27 |        1 |        1
841.39/841.76	c  840s |      17 |   383146 |   274132 |    21188     27 |        1 |        1
843.39/843.78	c  842s |      17 |   384067 |   274832 |    21188     27 |        1 |        1
845.49/845.85	c  844s |      17 |   385008 |   275532 |    21188     27 |        1 |        1
847.68/848.09	c  846s |      17 |   385951 |   276232 |    21188     28 |        1 |        1
849.79/850.15	c  848s |      17 |   386904 |   276932 |    21188     28 |        1 |        1
851.89/852.21	c  850s |      17 |   387945 |   277732 |    21188     28 |        1 |        1
853.89/854.26	c  853s |      17 |   388900 |   278532 |    21188     28 |        1 |        1
856.09/856.48	c  855s |      17 |   389951 |   279332 |    21188     28 |        1 |        1
858.29/858.66	c  857s |      17 |   391072 |   280132 |    21188     28 |        1 |        1
860.49/860.84	c  859s |      17 |   392112 |   280932 |    21188     28 |        1 |        1
862.69/863.05	c  861s |      17 |   393245 |   281732 |    21188     28 |        1 |        1
864.78/865.12	c  863s |      17 |   394013 |   282232 |    21188     28 |        1 |        1
866.78/867.19	c  865s |      17 |   395020 |   282932 |    21188     28 |        1 |        1
869.18/869.50	c  868s |      17 |   396070 |   283732 |    21188     28 |        1 |        1
872.68/873.08	c  871s |      17 |   397018 |   284432 |    21188     28 |        1 |        1
874.78/875.17	c  873s |      17 |   398133 |   285132 |    21188     28 |        1 |        1
876.98/877.39	c  876s |      17 |   399122 |   285832 |    21188     28 |        1 |        1
879.27/879.63	c  878s |      17 |   400165 |   286632 |    21188     28 |        1 |        1
881.37/881.78	c  880s |      17 |   401050 |   287332 |    21188     29 |        1 |        1
883.47/883.83	c  882s |      17 |   401994 |   288032 |    21188     29 |        1 |        1
885.47/885.88	c  884s |      17 |   403030 |   288732 |    21188     29 |        1 |        1
887.57/887.91	c  886s |      17 |   403946 |   289432 |    21188     29 |        1 |        1
889.57/889.94	c  888s |      17 |   404840 |   290132 |    21188     29 |        1 |        1
891.66/892.07	c  890s |      17 |   405836 |   290832 |    21188     29 |        1 |        1
893.86/894.21	c  892s |      17 |   406802 |   291532 |    21188     29 |        1 |        1
895.86/896.25	c  895s |      17 |   407662 |   292232 |    21188     29 |        1 |        1
897.96/898.37	c  897s |      17 |   408587 |   292932 |    21188     29 |        1 |        1
900.06/900.47	c  899s |      17 |   409502 |   293632 |    21188     29 |        1 |        1
902.26/902.67	c  901s |      17 |   410478 |   294332 |    23307     29 |        1 |        1
905.16/905.51	c  904s |      17 |   411171 |   294832 |    23307     29 |        1 |        1
907.35/907.76	c  906s |      17 |   412245 |   295632 |    23307     29 |        1 |        1
909.05/909.49	c  908s |      18 |   413098 |   296252 |    23307     29 |        1 |        1
911.25/911.63	c  910s |      18 |   414015 |   296852 |    23307     29 |        1 |        1
913.35/913.73	c  912s |      18 |   415007 |   297652 |    23307     29 |        1 |        1
915.45/915.81	c  914s |      18 |   415909 |   298452 |    23307     29 |        1 |        1
917.55/917.94	c  916s |      18 |   417006 |   299252 |    23307     29 |        1 |        1
919.75/920.14	c  918s |      18 |   418294 |   300052 |    23307     29 |        1 |        1
921.75/922.15	c  920s |      18 |   419271 |   300652 |    23307     30 |        1 |        1
923.85/924.25	c  923s |      18 |   420422 |   301452 |    23307     30 |        1 |        1
926.05/926.44	c  925s |      18 |   421542 |   302252 |    23307     30 |        1 |        1
928.24/928.65	c  927s |      18 |   422677 |   303052 |    23307     30 |        1 |        1
930.35/930.72	c  929s |      18 |   423854 |   303852 |    23307     30 |        1 |        1
932.45/932.82	c  931s |      18 |   424920 |   304652 |    23307     30 |        1 |        1
934.64/935.06	c  933s |      18 |   426062 |   305452 |    23307     30 |        1 |        1
936.95/937.34	c  936s |      18 |   427259 |   306252 |    23307     30 |        1 |        1
938.94/939.39	c  938s |      18 |   428214 |   306952 |    23307     30 |        1 |        1
941.04/941.48	c  940s |      18 |   429250 |   307752 |    23307     30 |        1 |        1
943.24/943.62	c  942s |      18 |   430303 |   308552 |    23307     30 |        1 |        1
945.44/945.84	c  944s |      18 |   431329 |   309352 |    23307     30 |        1 |        1
947.53/947.93	c  946s |      18 |   432478 |   310152 |    23307     30 |        1 |        1
949.73/950.14	c  948s |      18 |   433630 |   310952 |    23307     30 |        1 |        1
951.83/952.25	c  951s |      18 |   434626 |   311752 |    23307     30 |        1 |        1
954.03/954.43	c  953s |      18 |   435545 |   312452 |    23307     30 |        1 |        1
956.13/956.54	c  955s |      18 |   436309 |   313052 |    23307     31 |        1 |        1
958.13/958.56	c  957s |      18 |   437210 |   313752 |    23307     31 |        1 |        1
960.23/960.64	c  959s |      18 |   438132 |   314452 |    23307     31 |        1 |        1
962.53/962.92	c  961s |      18 |   439322 |   315252 |    23307     31 |        1 |        1
964.73/965.11	c  963s |      18 |   440321 |   316052 |    23307     31 |        1 |        1
966.73/967.13	c  965s |      18 |   441344 |   316852 |    23307     31 |        1 |        1
968.83/969.20	c  967s |      18 |   442261 |   317652 |    23307     31 |        1 |        1
970.83/971.22	c  970s |      18 |   443174 |   318352 |    23307     31 |        1 |        1
973.03/973.41	c  972s |      18 |   444179 |   319052 |    23307     31 |        1 |        1
975.23/975.62	c  974s |      18 |   445211 |   319752 |    23307     31 |        1 |        1
977.32/977.78	c  976s |      18 |   446287 |   320552 |    23307     31 |        1 |        1
979.42/979.82	c  978s |      18 |   447256 |   321252 |    23307     31 |        1 |        1
981.42/981.83	c  980s |      18 |   448232 |   321952 |    23307     31 |        1 |        1
983.62/984.03	c  982s |      18 |   449226 |   322652 |    23307     31 |        1 |        1
985.82/986.24	c  985s |      18 |   450065 |   323352 |    23307     31 |        1 |        1
988.01/988.46	c  987s |      18 |   451058 |   324152 |    23307     31 |        1 |        1
990.31/990.73	c  989s |      18 |   451898 |   324852 |    23307     32 |        1 |        1
992.31/992.79	c  991s |      18 |   453052 |   325652 |    23307     32 |        1 |        1
994.61/995.00	c  993s |      18 |   453780 |   326252 |    23307     32 |        1 |        1
996.81/997.20	c  995s |      18 |   454647 |   326852 |    23307     32 |        1 |        1
998.81/999.23	c  998s |      18 |   455662 |   327552 |    23307     32 |        1 |        1
1001.11/1001.52	c 1000s |      18 |   456698 |   328252 |    23307     32 |        1 |        1
1003.11/1003.56	c 1002s |      18 |   457709 |   328952 |    23307     32 |        1 |        1
1005.21/1005.60	c 1004s |      18 |   458739 |   329652 |    23307     32 |        1 |        1
1007.22/1007.70	c 1006s |      18 |   459793 |   330352 |    23307     32 |        1 |        1
1009.31/1009.72	c 1008s |      18 |   460676 |   331052 |    23307     32 |        1 |        1
1011.61/1012.01	c 1010s |      18 |   461758 |   331852 |    23307     32 |        1 |        1
1013.81/1014.22	c 1012s |      18 |   462896 |   332552 |    23307     32 |        1 |        1
1016.01/1016.43	c 1015s |      18 |   463871 |   333252 |    23307     32 |        1 |        1
1018.00/1018.48	c 1017s |      18 |   464828 |   333952 |    23307     32 |        1 |        1
1020.30/1020.76	c 1019s |      18 |   465977 |   334652 |    23307     32 |        1 |        1
1022.40/1022.85	c 1021s |      18 |   467160 |   335352 |    23307     32 |        1 |        1
1024.60/1025.01	c 1023s |      18 |   468194 |   336052 |    23307     32 |        1 |        1
1026.80/1027.22	c 1026s |      18 |   469185 |   336752 |    23307     32 |        1 |        1
1029.40/1029.81	c 1028s |      18 |   470035 |   337352 |    23307     33 |        1 |        1
1031.41/1031.82	c 1030s |      18 |   470921 |   337952 |    23307     33 |        1 |        1
1033.51/1033.93	c 1032s |      18 |   471895 |   338652 |    23307     33 |        1 |        1
1035.61/1036.07	c 1034s |      18 |   472847 |   339352 |    23307     33 |        1 |        1
1037.71/1038.15	c 1036s |      18 |   473713 |   339952 |    23307     33 |        1 |        1
1040.00/1040.41	c 1039s |      18 |   474662 |   340652 |    23307     33 |        1 |        1
1042.00/1042.49	c 1041s |      18 |   475673 |   341352 |    23307     33 |        1 |        1
1044.30/1044.76	c 1043s |      18 |   476615 |   342052 |    23307     33 |        1 |        1
1046.40/1046.86	c 1045s |      18 |   477354 |   342652 |    23307     33 |        1 |        1
1048.50/1048.95	c 1047s |      18 |   478311 |   343252 |    23307     33 |        1 |        1
1050.60/1051.00	c 1049s |      18 |   479115 |   343852 |    23307     33 |        1 |        1
1052.60/1053.05	c 1051s |      18 |   480083 |   344452 |    23307     33 |        1 |        1
1054.70/1055.13	c 1053s |      18 |   480973 |   345152 |    23307     33 |        1 |        1
1056.71/1057.19	c 1055s |      18 |   481786 |   345852 |    23307     33 |        1 |        1
1058.90/1059.40	c 1058s |      18 |   482655 |   346552 |    23307     33 |        1 |        1
1061.00/1061.42	c 1060s |      18 |   483593 |   347152 |    23307     33 |        1 |        1
1063.30/1063.71	c 1062s |      18 |   484584 |   347852 |    23307     33 |        1 |        1
1065.30/1065.75	c 1064s |      18 |   485465 |   348452 |    23307     33 |        1 |        1
1067.49/1067.99	c 1066s |      18 |   486392 |   349052 |    23307     33 |        1 |        1
1069.90/1070.35	c 1069s |      18 |   486985 |   349552 |    23307     34 |        1 |        1
1072.20/1072.64	c 1071s |      18 |   487867 |   350152 |    23307     34 |        1 |        1
1074.30/1074.78	c 1073s |      18 |   489084 |   351052 |    23307     34 |        1 |        1
1076.50/1076.92	c 1075s |      18 |   490289 |   351952 |    23307     34 |        1 |        1
1078.59/1079.04	c 1077s |      18 |   491510 |   352852 |    23307     34 |        1 |        1
1080.58/1081.07	c 1079s |      18 |   492510 |   353652 |    23307     34 |        1 |        1
1082.78/1083.28	c 1082s |      18 |   493747 |   354552 |    23307     34 |        1 |        1
1084.88/1085.33	c 1084s |      18 |   494896 |   355352 |    23307     34 |        1 |        1
1087.08/1087.57	c 1086s |      18 |   496138 |   356252 |    23307     34 |        1 |        1
1089.18/1089.64	c 1088s |      18 |   497214 |   357052 |    23307     34 |        1 |        1
1091.28/1091.77	c 1090s |      18 |   498230 |   357852 |    23307     34 |        1 |        1
1093.48/1093.98	c 1092s |      18 |   499394 |   358752 |    23307     34 |        1 |        1
1095.58/1096.09	c 1094s |      18 |   500429 |   359552 |    23307     34 |        1 |        1
1097.78/1098.29	c 1097s |      18 |   501540 |   360352 |    23307     34 |        1 |        1
1099.87/1100.33	c 1099s |      18 |   502646 |   361152 |    23307     34 |        1 |        1
1101.88/1102.39	c 1101s |      18 |   503617 |   361852 |    23307     35 |        1 |        1
1104.17/1104.65	c 1103s |      18 |   504784 |   362752 |    23307     35 |        1 |        1
1106.28/1106.72	c 1105s |      18 |   505761 |   363452 |    23307     35 |        1 |        1
1108.37/1108.86	c 1107s |      18 |   506808 |   364252 |    23307     35 |        1 |        1
1110.47/1110.98	c 1109s |      18 |   507878 |   365052 |    23307     35 |        1 |        1
1112.57/1113.07	c 1111s |      18 |   509040 |   365852 |    23307     35 |        1 |        1
1114.77/1115.28	c 1114s |      18 |   510182 |   366752 |    23307     35 |        1 |        1
1116.87/1117.31	c 1116s |      18 |   511294 |   367552 |    23307     35 |        1 |        1
1118.86/1119.32	c 1118s |      18 |   512389 |   368352 |    23307     35 |        1 |        1
1121.06/1121.55	c 1120s |      18 |   513577 |   369252 |    23307     35 |        1 |        1
1123.16/1123.66	c 1122s |      18 |   514717 |   370052 |    23307     35 |        1 |        1
1125.46/1125.92	c 1124s |      18 |   515842 |   370852 |    23307     35 |        1 |        1
1127.46/1127.92	c 1126s |      18 |   516782 |   371552 |    23307     35 |        1 |        1
1129.66/1130.12	c 1128s |      18 |   517883 |   372352 |    23307     35 |        1 |        1
1131.86/1132.38	c 1131s |      18 |   518974 |   373152 |    23307     35 |        1 |        1
1133.86/1134.39	c 1133s |      18 |   520047 |   373852 |    23307     35 |        1 |        1
1136.26/1136.71	c 1135s |      18 |   520866 |   374452 |    23307     36 |        1 |        1
1138.45/1138.90	c 1137s |      18 |   521924 |   375152 |    23307     36 |        1 |        1
1140.55/1141.03	c 1139s |      18 |   522943 |   375852 |    23307     36 |        1 |        1
1142.85/1143.34	c 1142s |      18 |   524005 |   376552 |    23307     36 |        1 |        1
1145.05/1145.58	c 1144s |      18 |   525083 |   377252 |    23307     36 |        1 |        1
1147.15/1147.67	c 1146s |      18 |   525949 |   377852 |    23307     36 |        1 |        1
1158.15/1158.63	c 1157s |      18 |   526791 |   378452 |    23307     36 |        1 |        1
1160.25/1160.72	c 1159s |      18 |   527857 |   379252 |    23307     36 |        1 |        1
1162.45/1162.98	c 1161s |      18 |   528936 |   380152 |    23307     36 |        1 |        1
1164.65/1165.11	c 1163s |      18 |   529969 |   380952 |    23307     36 |        1 |        1
1166.75/1167.28	c 1166s |      18 |   531036 |   381752 |    23307     36 |        1 |        1
1169.05/1169.50	c 1168s |      18 |   532217 |   382552 |    23307     36 |        1 |        1
1171.05/1171.56	c 1170s |      18 |   533245 |   383252 |    23307     36 |        1 |        1
1173.04/1173.58	c 1172s |      18 |   534327 |   383952 |    23307     36 |        1 |        1
1175.14/1175.67	c 1174s |      18 |   535218 |   384652 |    23307     36 |        1 |        1
1177.34/1177.84	c 1176s |      18 |   536072 |   385352 |    23307     36 |        1 |        1
1179.44/1179.98	c 1178s |      18 |   536968 |   386052 |    23307     36 |        1 |        1
1181.84/1182.35	c 1181s |      18 |   537775 |   386552 |    23307     37 |        1 |        1
1184.04/1184.57	c 1183s |      18 |   538714 |   387252 |    23307     37 |        1 |        1
1186.04/1186.59	c 1185s |      18 |   539548 |   387852 |    23307     37 |        1 |        1
1188.24/1188.75	c 1187s |      18 |   540649 |   388552 |    23307     37 |        1 |        1
1190.44/1190.97	c 1189s |      18 |   541792 |   389252 |    23307     37 |        1 |        1
1192.44/1192.98	c 1191s |      18 |   542767 |   389952 |    23307     37 |        1 |        1
1194.54/1195.08	c 1193s |      18 |   543830 |   390652 |    23307     37 |        1 |        1
1196.64/1197.15	c 1195s |      18 |   544754 |   391352 |    23307     37 |        1 |        1
1198.84/1199.38	c 1198s |      18 |   545740 |   392052 |    23307     37 |        1 |        1
1200.94/1201.44	c 1200s |      18 |   546628 |   392652 |    23307     37 |        1 |        1
1203.24/1203.70	c 1202s |      18 |   547639 |   393352 |    23307     37 |        1 |        1
1205.26/1205.74	c 1204s |      18 |   548474 |   393952 |    23307     37 |        1 |        1
1207.65/1208.11	c 1206s |      18 |   549568 |   394652 |    23307     37 |        1 |        1
1209.75/1210.25	c 1209s |      18 |   550608 |   395352 |    23307     37 |        1 |        1
1211.85/1212.37	c 1211s |      18 |   551615 |   396052 |    23307     37 |        1 |        1
1213.95/1214.50	c 1213s |      18 |   552578 |   396752 |    23307     37 |        1 |        1
1216.15/1216.69	c 1215s |      18 |   553634 |   397452 |    23307     37 |        1 |        1
1218.35/1218.83	c 1217s |      18 |   554488 |   398152 |    23307     37 |        1 |        1
1220.45/1220.96	c 1219s |      18 |   555391 |   398752 |    23307     38 |        1 |        1
1222.55/1223.05	c 1221s |      18 |   556266 |   399352 |    23307     38 |        1 |        1
1224.85/1225.35	c 1224s |      18 |   557393 |   400052 |    23307     38 |        1 |        1
1227.05/1227.51	c 1226s |      18 |   558334 |   400752 |    23307     38 |        1 |        1
1229.15/1229.61	c 1228s |      18 |   559407 |   401452 |    23307     38 |        1 |        1
1231.14/1231.65	c 1230s |      18 |   560291 |   402152 |    23307     38 |        1 |        1
1233.24/1233.80	c 1232s |      18 |   561113 |   402752 |    23307     38 |        1 |        1
1235.54/1236.05	c 1234s |      18 |   562341 |   403452 |    23307     38 |        1 |        1
1237.74/1238.21	c 1236s |      18 |   563425 |   404152 |    23307     38 |        1 |        1
1239.84/1240.38	c 1239s |      18 |   564514 |   404852 |    23307     38 |        1 |        1
1241.94/1242.40	c 1241s |      18 |   565540 |   405552 |    23307     38 |        1 |        1
1244.14/1244.66	c 1243s |      18 |   566694 |   406352 |    23307     38 |        1 |        1
1246.14/1246.68	c 1245s |      18 |   567585 |   406952 |    23307     38 |        1 |        1
1248.44/1248.93	c 1247s |      18 |   568557 |   407652 |    23307     38 |        1 |        1
1250.74/1251.22	c 1250s |      18 |   569587 |   408352 |    23307     38 |        1 |        1
1252.94/1253.43	c 1252s |      18 |   570507 |   409052 |    23307     38 |        1 |        1
1255.04/1255.53	c 1254s |      18 |   571528 |   409752 |    23307     38 |        1 |        1
1257.14/1257.64	c 1256s |      18 |   572550 |   410452 |    23307     38 |        1 |        1
1259.34/1259.86	c 1258s |      18 |   573521 |   411052 |    23307     39 |        1 |        1
1261.44/1261.96	c 1260s |      18 |   574346 |   411652 |    23307     39 |        1 |        1
1265.53/1266.07	c 1264s |      18 |   574817 |   411952 |    23307     39 |        1 |        1
1268.63/1269.19	c 1267s |      18 |   575773 |   412652 |    23307     39 |        1 |        1
1270.93/1271.44	c 1270s |      18 |   576826 |   413352 |    23307     39 |        1 |        1
1272.93/1273.46	c 1272s |      18 |   577813 |   414052 |    23307     39 |        1 |        1
1275.03/1275.58	c 1274s |      18 |   578938 |   414752 |    23307     39 |        1 |        1
1277.13/1277.68	c 1276s |      18 |   579871 |   415452 |    23307     39 |        1 |        1
1279.43/1279.90	c 1278s |      18 |   580989 |   416252 |    23307     39 |        1 |        1
1281.53/1282.06	c 1280s |      18 |   581896 |   416952 |    23307     39 |        1 |        1
1283.83/1284.34	c 1283s |      18 |   582850 |   417752 |    23307     39 |        1 |        1
1286.03/1286.51	c 1285s |      18 |   583944 |   418452 |    23307     39 |        1 |        1
1288.13/1288.66	c 1287s |      18 |   584819 |   419152 |    23307     39 |        1 |        1
1290.13/1290.66	c 1289s |      18 |   585910 |   419752 |    23307     39 |        1 |        1
1292.43/1292.95	c 1291s |      18 |   587048 |   420452 |    23307     39 |        1 |        1
1294.63/1295.14	c 1293s |      18 |   588155 |   421152 |    23307     39 |        1 |        1
1296.73/1297.29	c 1296s |      18 |   589200 |   421852 |    23307     39 |        1 |        1
1299.03/1299.57	c 1298s |      18 |   590385 |   422552 |    23307     39 |        1 |        1
1301.83/1302.34	c 1301s |      18 |   591290 |   423252 |    23307     40 |        1 |        1
1303.92/1304.43	c 1303s |      18 |   592177 |   423952 |    23307     40 |        1 |        1
1306.02/1306.54	c 1305s |      18 |   593064 |   424552 |    23307     40 |        1 |        1
1308.02/1308.56	c 1307s |      18 |   593944 |   425152 |    23307     40 |        1 |        1
1310.12/1310.62	c 1309s |      18 |   594768 |   425752 |    23307     40 |        1 |        1
1312.12/1312.67	c 1311s |      18 |   595602 |   426352 |    23307     40 |        1 |        1
1314.32/1314.80	c 1313s |      18 |   596647 |   427052 |    23307     40 |        1 |        1
1316.42/1316.94	c 1315s |      18 |   597619 |   427752 |    23307     40 |        1 |        1
1318.43/1318.99	c 1317s |      18 |   598593 |   428452 |    23307     40 |        1 |        1
1320.63/1321.14	c 1319s |      18 |   599623 |   429152 |    23307     40 |        1 |        1
1322.72/1323.29	c 1322s |      18 |   600625 |   429852 |    23307     40 |        1 |        1
1325.03/1325.60	c 1324s |      18 |   601636 |   430552 |    23307     40 |        1 |        1
1327.42/1327.95	c 1326s |      18 |   602677 |   431252 |    23307     40 |        1 |        1
1329.62/1330.14	c 1328s |      18 |   603533 |   431852 |    23307     40 |        1 |        1
1331.92/1332.46	c 1331s |      18 |   604457 |   432452 |    23307     40 |        1 |        1
1334.13/1334.61	c 1333s |      18 |   605391 |   433052 |    23307     40 |        1 |        1
1336.23/1336.70	c 1335s |      18 |   606368 |   433652 |    23307     40 |        1 |        1
1338.23/1338.76	c 1337s |      18 |   607268 |   434252 |    23307     40 |        1 |        1
1340.33/1340.84	c 1339s |      18 |   608184 |   434852 |    23307     40 |        1 |        1
1342.63/1343.13	c 1341s |      18 |   609103 |   435452 |    23307     40 |        1 |        1
1344.83/1345.39	c 1344s |      18 |   609916 |   435952 |    23307     41 |        1 |        1
1347.03/1347.57	c 1346s |      18 |   610819 |   436552 |    23307     41 |        1 |        1
1349.02/1349.59	c 1348s |      18 |   611778 |   437152 |    23307     41 |        1 |        1
1351.12/1351.60	c 1350s |      18 |   612516 |   437752 |    23307     41 |        1 |        1
1353.22/1353.74	c 1352s |      18 |   613343 |   438352 |    23307     41 |        1 |        1
1355.42/1355.98	c 1354s |      18 |   614267 |   438952 |    23307     41 |        1 |        1
1357.52/1358.06	c 1356s |      18 |   615037 |   439552 |    23307     41 |        1 |        1
1359.72/1360.30	c 1359s |      18 |   615983 |   440152 |    23307     41 |        1 |        1
1361.82/1362.35	c 1361s |      18 |   616805 |   440652 |    23307     41 |        1 |        1
1363.92/1364.47	c 1363s |      18 |   617688 |   441252 |    23307     41 |        1 |        1
1366.12/1366.66	c 1365s |      18 |   618576 |   441852 |    25638     41 |        1 |        1
1374.12/1374.70	c 1373s |      18 |   619311 |   442352 |    25638     41 |        1 |        1
1376.42/1376.91	c 1375s |      18 |   620652 |   443252 |    25638     41 |        1 |        1
1378.42/1378.92	c 1377s |      18 |   621788 |   444052 |    25638     41 |        1 |        1
1379.42/1379.97	c 1378s |      19 |   622371 |   444482 |    25638     41 |        1 |        1
1381.52/1382.07	c 1380s |      19 |   623536 |   445282 |    25638     41 |        1 |        1
1383.72/1384.23	c 1383s |      19 |   624654 |   446182 |    25638     41 |        1 |        1
1385.92/1386.46	c 1385s |      19 |   625842 |   447082 |    25638     41 |        1 |        1
1388.12/1388.61	c 1387s |      19 |   627003 |   447982 |    25638     41 |        1 |        1
1390.31/1390.87	c 1389s |      19 |   628254 |   448882 |    25638     41 |        1 |        1
1392.51/1393.03	c 1391s |      19 |   628774 |   449282 |    25638     41 |        1 |        1
1394.71/1395.26	c 1394s |      19 |   629934 |   449982 |    25638     41 |        1 |        1
1396.91/1397.42	c 1396s |      19 |   630755 |   450582 |    25638     42 |        1 |        1
1399.11/1399.67	c 1398s |      19 |   631819 |   451282 |    25638     42 |        1 |        1
1401.11/1401.67	c 1400s |      19 |   632698 |   451982 |    25638     42 |        1 |        1
1403.22/1403.71	c 1402s |      19 |   633657 |   452682 |    25638     42 |        1 |        1
1405.21/1405.78	c 1404s |      19 |   634600 |   453382 |    25638     42 |        1 |        1
1407.31/1407.84	c 1406s |      19 |   635659 |   454082 |    25638     42 |        1 |        1
1409.41/1409.93	c 1408s |      19 |   636590 |   454782 |    25638     42 |        1 |        1
1411.61/1412.16	c 1410s |      19 |   637510 |   455482 |    25638     42 |        1 |        1
1413.81/1414.30	c 1413s |      19 |   638511 |   456182 |    25638     42 |        1 |        1
1415.81/1416.30	c 1415s |      19 |   639447 |   456882 |    25638     42 |        1 |        1
1417.91/1418.41	c 1417s |      19 |   640385 |   457582 |    25638     42 |        1 |        1
1420.01/1420.51	c 1419s |      19 |   641335 |   458182 |    25638     42 |        1 |        1
1422.21/1422.76	c 1421s |      19 |   642388 |   458882 |    25638     42 |        1 |        1
1424.41/1424.91	c 1423s |      19 |   643401 |   459582 |    25638     42 |        1 |        1
1426.51/1427.05	c 1425s |      19 |   644445 |   460282 |    25638     42 |        1 |        1
1428.51/1429.07	c 1427s |      19 |   645451 |   460982 |    25638     42 |        1 |        1
1430.61/1431.17	c 1429s |      19 |   646411 |   461682 |    25638     42 |        1 |        1
1432.91/1433.42	c 1432s |      19 |   647331 |   462382 |    25638     42 |        1 |        1
1435.02/1435.55	c 1434s |      19 |   648245 |   463082 |    25638     42 |        1 |        1
1437.32/1437.89	c 1436s |      19 |   649238 |   463682 |    25638     43 |        1 |        1
1439.42/1439.98	c 1438s |      19 |   650415 |   464382 |    25638     43 |        1 |        1
1441.41/1441.99	c 1440s |      19 |   651316 |   465082 |    25638     43 |        1 |        1
1443.92/1444.48	c 1443s |      19 |   652598 |   465882 |    25638     43 |        1 |        1
1446.02/1446.52	c 1445s |      19 |   653572 |   466582 |    25638     43 |        1 |        1
1448.32/1448.83	c 1447s |      19 |   654624 |   467282 |    25638     43 |        1 |        1
1450.52/1451.09	c 1449s |      19 |   655708 |   467982 |    25638     43 |        1 |        1
1452.72/1453.27	c 1452s |      19 |   656774 |   468782 |    25638     43 |        1 |        1
1454.81/1455.38	c 1454s |      19 |   657757 |   469482 |    25638     43 |        1 |        1
1456.81/1457.39	c 1456s |      19 |   658694 |   470182 |    25638     43 |        1 |        1
1459.11/1459.66	c 1458s |      19 |   659756 |   470982 |    25638     43 |        1 |        1
1461.41/1461.99	c 1460s |      19 |   660801 |   471682 |    25638     43 |        1 |        1
1463.51/1464.10	c 1462s |      19 |   661793 |   472382 |    25638     43 |        1 |        1
1465.81/1466.33	c 1465s |      19 |   662756 |   473082 |    25638     43 |        1 |        1
1468.01/1468.53	c 1467s |      19 |   663761 |   473782 |    25638     43 |        1 |        1
1470.21/1470.71	c 1469s |      19 |   664712 |   474482 |    25638     43 |        1 |        1
1472.31/1472.82	c 1471s |      19 |   665531 |   475182 |    25638     43 |        1 |        1
1474.51/1475.01	c 1473s |      19 |   666510 |   475882 |    25638     43 |        1 |        1
1476.61/1477.18	c 1475s |      19 |   667547 |   476582 |    25638     43 |        1 |        1
1479.21/1479.75	c 1478s |      19 |   668449 |   477182 |    25638     44 |        1 |        1
1481.21/1481.76	c 1480s |      19 |   669364 |   477882 |    25638     44 |        1 |        1
1483.41/1483.92	c 1482s |      19 |   670242 |   478482 |    25638     44 |        1 |        1
1485.61/1486.16	c 1484s |      19 |   671383 |   479182 |    25638     44 |        1 |        1
1487.81/1488.38	c 1487s |      19 |   672350 |   479882 |    25638     44 |        1 |        1
1490.01/1490.58	c 1489s |      19 |   673260 |   480582 |    25638     44 |        1 |        1
1494.80/1495.32	c 1494s |      19 |   674079 |   481182 |    25638     44 |        1 |        1
1496.80/1497.38	c 1496s |      19 |   675146 |   481982 |    25638     44 |        1 |        1
1499.00/1499.53	c 1498s |      19 |   676193 |   482782 |    25638     44 |        1 |        1
1501.20/1501.79	c 1500s |      19 |   677206 |   483582 |    25638     44 |        1 |        1
1503.40/1504.00	c 1502s |      19 |   678216 |   484282 |    25638     44 |        1 |        1
1505.50/1506.03	c 1504s |      19 |   679253 |   484982 |    25638     44 |        1 |        1
1507.70/1508.23	c 1507s |      19 |   680290 |   485782 |    25638     44 |        1 |        1
1509.80/1510.32	c 1509s |      19 |   681321 |   486582 |    25638     44 |        1 |        1
1512.10/1512.62	c 1511s |      19 |   682480 |   487382 |    25638     44 |        1 |        1
1514.30/1514.87	c 1513s |      19 |   683641 |   488182 |    25638     44 |        1 |        1
1516.50/1517.08	c 1515s |      19 |   684777 |   488982 |    25638     44 |        1 |        1
1518.79/1519.36	c 1518s |      19 |   686089 |   489782 |    25638     44 |        1 |        1
1520.90/1521.47	c 1520s |      19 |   687001 |   490482 |    25638     44 |        1 |        1
1523.00/1523.51	c 1522s |      19 |   687706 |   490982 |    25638     45 |        1 |        1
1525.09/1525.67	c 1524s |      19 |   688767 |   491682 |    25638     45 |        1 |        1
1527.29/1527.85	c 1526s |      19 |   689875 |   492482 |    25638     45 |        1 |        1
1529.29/1529.88	c 1528s |      19 |   690695 |   493082 |    25638     45 |        1 |        1
1531.59/1532.12	c 1530s |      19 |   691881 |   493882 |    25638     45 |        1 |        1
1533.69/1534.26	c 1533s |      19 |   692867 |   494582 |    25638     45 |        1 |        1
1535.89/1536.43	c 1535s |      19 |   693904 |   495282 |    25638     45 |        1 |        1
1537.99/1538.55	c 1537s |      19 |   694986 |   495982 |    25638     45 |        1 |        1
1540.09/1540.64	c 1539s |      19 |   696024 |   496682 |    25638     45 |        1 |        1
1542.29/1542.85	c 1541s |      19 |   697075 |   497382 |    25638     45 |        1 |        1
1544.49/1545.04	c 1543s |      19 |   698053 |   498082 |    25638     45 |        1 |        1
1546.69/1547.25	c 1546s |      19 |   698969 |   498782 |    25638     45 |        1 |        1
1548.69/1549.27	c 1548s |      19 |   699913 |   499382 |    25638     45 |        1 |        1
1550.89/1551.48	c 1550s |      19 |   700758 |   499982 |    25638     45 |        1 |        1
1552.89/1553.49	c 1552s |      19 |   701758 |   500682 |    25638     45 |        1 |        1
1554.99/1555.59	c 1554s |      19 |   702727 |   501382 |    25638     45 |        1 |        1
1558.79/1559.32	c 1558s |      19 |   702980 |   501582 |    25638     45 |        1 |        1
1561.09/1561.60	c 1560s |      19 |   703952 |   502282 |    25638     45 |        1 |        1
1563.29/1563.89	c 1562s |      19 |   705073 |   502982 |    25638     45 |        1 |        1
1565.59/1566.15	c 1564s |      19 |   706218 |   503782 |    25638     45 |        1 |        1
1567.59/1568.20	c 1566s |      19 |   706986 |   504382 |    25638     46 |        1 |        1
1569.89/1570.48	c 1569s |      19 |   707853 |   505082 |    25638     46 |        1 |        1
1572.09/1572.61	c 1571s |      19 |   708800 |   505782 |    25638     46 |        1 |        1
1574.19/1574.71	c 1573s |      19 |   710015 |   506482 |    25638     46 |        1 |        1
1576.19/1576.73	c 1575s |      19 |   710977 |   507182 |    25638     46 |        1 |        1
1578.19/1578.79	c 1577s |      19 |   711991 |   507882 |    25638     46 |        1 |        1
1580.49/1581.04	c 1579s |      19 |   713002 |   508682 |    25638     46 |        1 |        1
1582.79/1583.31	c 1582s |      19 |   714102 |   509382 |    25638     46 |        1 |        1
1584.89/1585.43	c 1584s |      19 |   715163 |   510082 |    25638     46 |        1 |        1
1587.29/1587.80	c 1586s |      19 |   716247 |   510782 |    25638     46 |        1 |        1
1589.29/1589.83	c 1588s |      19 |   717113 |   511382 |    25638     46 |        1 |        1
1591.69/1592.23	c 1591s |      19 |   717870 |   511882 |    25638     46 |        1 |        1
1593.79/1594.30	c 1593s |      19 |   718937 |   512482 |    25638     46 |        1 |        1
1595.99/1596.52	c 1595s |      19 |   719984 |   513182 |    25638     46 |        1 |        1
1598.19/1598.73	c 1597s |      19 |   721085 |   513882 |    25638     46 |        1 |        1
1600.39/1600.91	c 1599s |      19 |   722183 |   514582 |    25638     46 |        1 |        1
1602.49/1603.06	c 1601s |      19 |   723195 |   515282 |    25638     46 |        1 |        1
1604.69/1605.24	c 1604s |      19 |   724161 |   515982 |    25638     46 |        1 |        1
1606.88/1607.42	c 1606s |      19 |   725192 |   516682 |    25638     46 |        1 |        1
1609.08/1609.67	c 1608s |      19 |   726199 |   517382 |    25638     46 |        1 |        1
1611.28/1611.89	c 1610s |      19 |   727109 |   517982 |    25638     47 |        1 |        1
1613.38/1613.92	c 1612s |      19 |   728002 |   518682 |    25638     47 |        1 |        1
1615.49/1616.09	c 1614s |      19 |   728999 |   519382 |    25638     47 |        1 |        1
1617.78/1618.37	c 1617s |      19 |   729993 |   520082 |    25638     47 |        1 |        1
1619.89/1620.41	c 1619s |      19 |   730645 |   520582 |    25638     47 |        1 |        1
1622.09/1622.60	c 1621s |      19 |   731793 |   521282 |    25638     47 |        1 |        1
1624.38/1624.92	c 1623s |      19 |   732776 |   521982 |    25638     47 |        1 |        1
1626.39/1626.97	c 1625s |      19 |   733614 |   522582 |    25638     47 |        1 |        1
1628.78/1629.31	c 1628s |      19 |   734833 |   523282 |    25638     47 |        1 |        1
1630.89/1631.44	c 1630s |      19 |   735782 |   523882 |    25638     47 |        1 |        1
1632.98/1633.52	c 1632s |      19 |   736650 |   524482 |    25638     47 |        1 |        1
1635.29/1635.83	c 1634s |      19 |   737650 |   525182 |    25638     47 |        1 |        1
1637.58/1638.12	c 1636s |      19 |   738684 |   525882 |    25638     47 |        1 |        1
1639.68/1640.21	c 1638s |      19 |   739609 |   526482 |    25638     47 |        1 |        1
1641.78/1642.32	c 1641s |      19 |   740492 |   527082 |    25638     47 |        1 |        1
1643.88/1644.49	c 1643s |      19 |   741450 |   527682 |    25638     47 |        1 |        1
1646.08/1646.65	c 1645s |      19 |   742350 |   528282 |    25638     47 |        1 |        1
1648.28/1648.84	c 1647s |      19 |   743377 |   528982 |    25638     47 |        1 |        1
1650.38/1650.90	c 1649s |      19 |   744169 |   529582 |    25638     47 |        1 |        1
1652.68/1653.21	c 1651s |      19 |   745142 |   530282 |    25638     47 |        1 |        1
1658.17/1658.77	c 1657s |      19 |   746204 |   530982 |    25638     48 |        1 |        1
1660.37/1660.98	c 1659s |      19 |   747246 |   531782 |    25638     48 |        1 |        1
1662.47/1663.05	c 1661s |      19 |   748262 |   532582 |    25638     48 |        1 |        1
1664.57/1665.16	c 1663s |      19 |   749080 |   533182 |    25638     48 |        1 |        1
1666.87/1667.40	c 1666s |      19 |   750123 |   533882 |    25638     48 |        1 |        1
1668.87/1669.43	c 1668s |      19 |   750966 |   534482 |    25638     48 |        1 |        1
1670.97/1671.50	c 1670s |      19 |   752007 |   535182 |    25638     48 |        1 |        1
1673.17/1673.72	c 1672s |      19 |   752946 |   535882 |    25638     48 |        1 |        1
1675.17/1675.78	c 1674s |      19 |   753828 |   536482 |    25638     48 |        1 |        1
1677.47/1678.01	c 1676s |      19 |   754872 |   537182 |    25638     48 |        1 |        1
1679.57/1680.16	c 1678s |      19 |   755792 |   537882 |    25638     48 |        1 |        1
1681.77/1682.34	c 1681s |      19 |   756706 |   538582 |    25638     48 |        1 |        1
1683.87/1684.46	c 1683s |      19 |   757502 |   539182 |    25638     48 |        1 |        1
1686.07/1686.69	c 1685s |      19 |   758491 |   539882 |    25638     48 |        1 |        1
1688.27/1688.83	c 1687s |      19 |   759488 |   540582 |    25638     48 |        1 |        1
1690.37/1690.99	c 1689s |      19 |   760530 |   541282 |    25638     48 |        1 |        1
1692.67/1693.23	c 1692s |      19 |   761461 |   541982 |    25638     48 |        1 |        1
1694.87/1695.47	c 1694s |      19 |   762358 |   542682 |    25638     48 |        1 |        1
1697.17/1697.78	c 1696s |      19 |   763420 |   543382 |    25638     48 |        1 |        1
1699.37/1699.98	c 1698s |      19 |   764415 |   544082 |    25638     48 |        1 |        1
1701.67/1702.25	c 1701s |      19 |   765240 |   544682 |    25638     49 |        1 |        1
1703.97/1704.55	c 1703s |      19 |   766207 |   545382 |    25638     49 |        1 |        1
1706.07/1706.66	c 1705s |      19 |   767250 |   546082 |    25638     49 |        1 |        1
1708.17/1708.77	c 1707s |      19 |   768097 |   546682 |    25638     49 |        1 |        1
1710.37/1710.92	c 1709s |      19 |   768758 |   547182 |    25638     49 |        1 |        1
1712.67/1713.23	c 1712s |      19 |   769873 |   547882 |    25638     49 |        1 |        1
1714.87/1715.40	c 1714s |      19 |   770786 |   548482 |    25638     49 |        1 |        1
1716.87/1717.49	c 1716s |      19 |   771642 |   549082 |    25638     49 |        1 |        1
1719.16/1719.78	c 1718s |      19 |   772534 |   549682 |    25638     49 |        1 |        1
1721.26/1721.88	c 1720s |      19 |   773301 |   550182 |    25638     49 |        1 |        1
1723.36/1723.97	c 1722s |      19 |   773925 |   550582 |    25638     49 |        1 |        1
1725.47/1726.05	c 1724s |      19 |   774874 |   551182 |    25638     49 |        1 |        1
1728.86/1729.46	c 1728s |      19 |   775177 |   551382 |    25638     49 |        1 |        1
1731.06/1731.64	c 1730s |      19 |   776320 |   552082 |    25638     49 |        1 |        1
1733.07/1733.65	c 1732s |      19 |   777275 |   552682 |    25638     49 |        1 |        1
1735.37/1735.97	c 1734s |      19 |   778529 |   553382 |    25638     49 |        1 |        1
1737.57/1738.12	c 1736s |      19 |   779523 |   554082 |    25638     49 |        1 |        1
1739.56/1740.20	c 1738s |      19 |   780571 |   554782 |    25638     49 |        1 |        1
1741.97/1742.54	c 1741s |      19 |   781619 |   555482 |    25638     49 |        1 |        1
1744.06/1744.61	c 1743s |      19 |   782725 |   556182 |    25638     49 |        1 |        1
1746.26/1746.81	c 1745s |      19 |   783636 |   556882 |    25638     49 |        1 |        1
1748.26/1748.84	c 1747s |      19 |   784710 |   557482 |    25638     49 |        1 |        1
1750.36/1750.93	c 1749s |      19 |   785349 |   557882 |    25638     50 |        1 |        1
1752.46/1753.01	c 1751s |      19 |   786264 |   558482 |    25638     50 |        1 |        1
1754.56/1755.18	c 1753s |      19 |   787373 |   559282 |    25638     50 |        1 |        1
1756.76/1757.32	c 1756s |      19 |   788355 |   559982 |    25638     50 |        1 |        1
1758.96/1759.57	c 1758s |      19 |   789301 |   560682 |    25638     50 |        1 |        1
1761.06/1761.68	c 1760s |      19 |   790398 |   561382 |    25638     50 |        1 |        1
1763.26/1763.85	c 1762s |      19 |   791451 |   562082 |    25638     50 |        1 |        1
1765.36/1765.97	c 1764s |      19 |   792377 |   562782 |    25638     50 |        1 |        1
1767.36/1767.99	c 1766s |      19 |   793127 |   563382 |    25638     50 |        1 |        1
1769.46/1770.05	c 1768s |      19 |   794070 |   564082 |    25638     50 |        1 |        1
1771.75/1772.31	c 1771s |      19 |   795121 |   564782 |    25638     50 |        1 |        1
1773.95/1774.58	c 1773s |      19 |   796154 |   565482 |    25638     50 |        1 |        1
1776.25/1776.86	c 1775s |      19 |   797158 |   566182 |    25638     50 |        1 |        1
1778.45/1779.00	c 1777s |      19 |   798192 |   566882 |    25638     50 |        1 |        1
1780.46/1781.07	c 1779s |      19 |   799123 |   567582 |    25638     50 |        1 |        1
1782.66/1783.23	c 1782s |      19 |   800004 |   568282 |    25638     50 |        1 |        1
1784.87/1785.48	c 1784s |      19 |   801181 |   568982 |    25638     50 |        1 |        1
1787.16/1787.76	c 1786s |      19 |   802168 |   569682 |    25638     50 |        1 |        1
1789.46/1790.00	c 1788s |      19 |   803192 |   570382 |    25638     50 |        1 |        1
1791.66/1792.25	c 1791s |      19 |   804145 |   571082 |    25638     50 |        1 |        1
1793.76/1794.38	c 1793s |      19 |   805060 |   571582 |    25638     51 |        1 |        1
1796.06/1796.60	c 1795s |      19 |   805948 |   572182 |    25638     51 |        1 |        1
1798.26/1798.81	c 1797s |      19 |   806773 |   572782 |    25638     51 |        1 |        1

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

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.12 2.08 3/179 3684
/proc/meminfo: memFree=30010108/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=670140 CPUtime=0 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 2488 0 0 0 0 0 0 0 20 0 4 0 24284494 686223360 3360 33554432000 4194304 16246674 140733723897088 140733723896512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 168303 3369 441 2943 0 165197 0
[pid=3684/tid=3685] ppid=3681 vsize=687548 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 704049152 3429 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=692668 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 709292032 3445 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 713486336 3462 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.07 2.12 2.08 3/179 3684
/proc/meminfo: memFree=30010108/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 28166 0 0 0 5 4 0 0 20 0 4 0 24284494 1333334016 28976 33554432000 4194304 16246674 140733723897088 140733723896400 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 325521 28991 801 2943 0 322415 0
[pid=3684/tid=3685] ppid=3681 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1333334016 29001 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1333334016 29014 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1333334016 29026 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200521 s]
/proc/loadavg: 2.07 2.12 2.08 3/179 3684
/proc/meminfo: memFree=30010108/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 48859 0 0 0 12 6 0 0 20 0 4 0 24284494 1344868352 50179 33554432000 4194304 16246674 140733723897088 140733723896400 7852933 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 328337 50179 801 2943 0 325231 0
[pid=3684/tid=3685] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 50179 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 50179 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 50179 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300506 s]
/proc/loadavg: 2.07 2.12 2.08 3/179 3684
/proc/meminfo: memFree=30010108/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 57210 0 0 0 21 8 0 0 20 0 4 0 24284494 1344868352 58530 33554432000 4194304 16246674 140733723897088 140733723896400 7364368 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 328337 58530 801 2943 0 325231 0
[pid=3684/tid=3685] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 58530 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 58530 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 58530 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700367 s]
/proc/loadavg: 2.07 2.12 2.08 3/179 3684
/proc/meminfo: memFree=30010108/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 57257 0 0 0 61 8 0 0 20 0 4 0 24284494 1344868352 58577 33554432000 4194304 16246674 140733723897088 140733723896400 5913315 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 328337 58577 830 2943 0 325231 0
[pid=3684/tid=3685] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 58577 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 58577 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 58577 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.07 2.12 2.08 3/183 3688
/proc/meminfo: memFree=29776872/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 57314 0 0 0 141 8 0 0 20 0 4 0 24284494 1344868352 58634 33554432000 4194304 16246674 140733723897088 140733723896184 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 328337 58634 886 2943 0 325231 0
[pid=3684/tid=3685] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 58634 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 58634 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 58634 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.07 2.12 2.08 3/183 3688
/proc/meminfo: memFree=29656592/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 122979 0 0 0 292 17 0 0 20 0 4 0 24284494 1344868352 124299 33554432000 4194304 16246674 140733723897088 140733723878976 13906976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 328337 124299 886 2943 0 325231 0
[pid=3684/tid=3685] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 124299 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 124299 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 124299 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.14 2.14 2.09 3/183 3688
/proc/meminfo: memFree=29163980/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 269008 0 0 0 593 36 0 0 20 0 4 0 24284494 1344868352 270328 33554432000 4194304 16246674 140733723897088 140733723878976 13775098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 328337 270328 886 2943 0 325231 0
[pid=3684/tid=3685] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 270328 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 270328 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 270328 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.21 2.15 2.09 3/183 3688
/proc/meminfo: memFree=28929772/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 269008 0 0 0 1233 36 0 0 20 0 4 0 24284494 1344868352 270328 33554432000 4194304 16246674 140733723897088 140733723878976 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 328337 270328 886 2943 0 325231 0
[pid=3684/tid=3685] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 270328 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 270328 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 270328 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.16 2.14 2.09 4/183 3688
/proc/meminfo: memFree=28899360/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 269008 0 0 0 2513 36 0 0 20 0 4 0 24284494 1344868352 270328 33554432000 4194304 16246674 140733723897088 140733723878976 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 328337 270328 886 2943 0 325231 0
[pid=3684/tid=3685] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 270328 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 270328 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 270328 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.11 2.13 2.09 3/184 3691
/proc/meminfo: memFree=28898228/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 269015 0 0 0 5072 36 0 0 20 0 4 0 24284494 1344868352 270335 33554432000 4194304 16246674 140733723897088 140733723878976 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 328337 270335 893 2943 0 325231 0
[pid=3684/tid=3685] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 270335 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 270335 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1344868352 270335 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.20 2.15 2.10 3/184 3692
/proc/meminfo: memFree=28877332/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1335876 CPUtime=102.28 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 274412 0 0 0 10191 37 0 0 20 0 4 0 24284494 1367937024 275732 33554432000 4194304 16246674 140733723897088 140733723878976 13198601 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 333969 275732 894 2943 0 330863 0
[pid=3684/tid=3685] ppid=3681 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1367937024 275732 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1367937024 275732 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1367937024 275732 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1335876


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

/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1362500

[startup+1302.3 s]
/proc/loadavg: 2.10 2.13 2.10 3/184 3793
/proc/meminfo: memFree=28873844/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1362500 CPUtime=1301.83 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 281726 0 0 0 130136 47 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140733723878976 5808428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 340625 282627 894 2943 0 337519 0
[pid=3684/tid=3685] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1362500

[startup+1362.3 s]
/proc/loadavg: 2.12 2.14 2.10 3/183 3794
/proc/meminfo: memFree=28872868/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1362500 CPUtime=1361.82 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 281726 0 0 0 136134 48 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140733723878976 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 340625 282627 894 2943 0 337519 0
[pid=3684/tid=3685] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1362500

[startup+1422.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/183 3795
/proc/meminfo: memFree=28873232/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1362500 CPUtime=1421.81 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 281726 0 0 0 142132 49 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140733723878976 12415657 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 340625 282627 894 2943 0 337519 0
[pid=3684/tid=3685] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1362500

[startup+1482.3 s]
/proc/loadavg: 2.10 2.13 2.09 4/183 3797
/proc/meminfo: memFree=28873044/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1362500 CPUtime=1481.8 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 281726 0 0 0 148130 50 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140733723878976 12415743 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 340625 282627 894 2943 0 337519 0
[pid=3684/tid=3685] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1362500

[startup+1542.31 s]
/proc/loadavg: 2.04 2.10 2.08 4/183 3798
/proc/meminfo: memFree=28873064/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1362500 CPUtime=1541.8 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 281726 0 0 0 154130 50 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140733723878976 12415720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 340625 282627 894 2943 0 337519 0
[pid=3684/tid=3685] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1395200000 282627 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1362500

[startup+1602.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 3799
/proc/meminfo: memFree=28869232/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1366596 CPUtime=1601.79 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 282750 0 0 0 160128 51 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140733723878976 13759557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 341649 283651 894 2943 0 338543 0
[pid=3684/tid=3685] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1366596

[startup+1662.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/183 3800
/proc/meminfo: memFree=28869248/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1366596 CPUtime=1661.77 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 282750 0 0 0 166126 51 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140733723878976 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 341649 283651 894 2943 0 338543 0
[pid=3684/tid=3685] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1366596

[startup+1722.3 s]
/proc/loadavg: 2.12 2.11 2.09 4/183 3801
/proc/meminfo: memFree=28868780/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1366596 CPUtime=1721.76 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 282750 0 0 0 172125 51 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140733723878976 12483332 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 341649 283651 894 2943 0 338543 0
[pid=3684/tid=3685] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1366596

[startup+1782.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 3803
/proc/meminfo: memFree=28868544/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1366596 CPUtime=1781.75 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 282750 0 0 0 178124 51 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140733723878976 12415760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 341649 283651 894 2943 0 338543 0
[pid=3684/tid=3685] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1366596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 3803
/proc/meminfo: memFree=28868268/32872528 swapFree=681964/737152
[pid=3684] ppid=3681 vsize=1366596 CPUtime=1800.06 cores=0,2,4,6
/proc/3684/stat : 3684 (toysat) R 3681 3684 1377 0 -1 4202496 282750 0 0 0 179954 52 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140733723878976 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3684/statm: 341649 283651 894 2943 0 338543 0
[pid=3684/tid=3685] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140457034099952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140457023610096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24284494 1399394304 283651 33554432000 4194304 16246674 140733723897088 140456906190000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1366596

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 3684 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.07
CPU user time (s): 1799.55
CPU system time (s): 0.52092
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1366596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.52092
maximum resident set size= 1134604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282750
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= 437
involuntary context switches= 1956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.97879 second user time and 7.71583 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 05:59:13
IDJOB=4101217
IDBENCH=1715
IDSOLVER=2542
FILE ID=node112/4101217-1466222352
RUNJOBID= node112-1466206100-1394
PBS_JOBID= 19918164
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101217-1466222352/watcher-4101217-1466222352 -o /tmp/evaluation-result-4101217-1466222352/solver-4101217-1466222352 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101217-1466222352.opb

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

MD5SUM BENCH= ba437a46cdfe6ecad707b12b94061ac9
RANDOM SEED=1651300549

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30010636 kB
Buffers:           99236 kB
Cached:           121108 kB
SwapCached:         1916 kB
Active:          1265016 kB
Inactive:         124680 kB
Active(anon):    1169912 kB
Inactive(anon):     1576 kB
Active(file):      95104 kB
Inactive(file):   123104 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096992 kB
Dirty:             17872 kB
Writeback:             0 kB
AnonPages:       1905656 kB
Mapped:            10736 kB
Shmem:                 0 kB
Slab:             600684 kB
SReclaimable:      44540 kB
SUnreclaim:       556144 kB
KernelStack:        1472 kB
PageTables:         7736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2047588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1216512 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= 71680 MiB
End job on node112 at 2016-06-18 06:29:13