Trace number 4102801

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.03 1800.43

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-3-c.opb
MD5SUMbc7893eb7aff4749139e472af91e587e
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2650
Total number of constraints6619
Number of constraints which are clauses6619
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 2650
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2650
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2650
Number of bits of the biggest sum of numbers12
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-18T08:33:48+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4102801-1466231628.opb"]
0.00/0.01	c use --random-gen="698675101 67246435 1379485814 1541460192 701971271 3967150657 1878075981 1106424928 3479087451 2901551346 2542807337 614358101 17085078 1798688144 3958615572 1062019831 320864373 3220246597 579960901 1109082096 2807870053 1130049059 606212239 3751614652 958659710 2075224120 2215870327 3973292787 3854977955 3013122441 2412309649 4258478073 462114388 1415126316 1258432860 2365275048 1957840513 304549858 2109180960 2787101556 831711425 4016680813 3697693433 1530792645 2703418567 1892036411 131982757 2771726927 2848857069 4124009117 769245647 2783080747 3793324487 759040776 1697963383 4224038416 3656121664 835340902 3742503462 3633831103 2505771672 3986367990 356567971 3293508963 502837920 3618441800 2445048365 4287678189 3683255127 4244993219 115884496 1836884021 3950793209 1067425446 3469128189 3516082457 82922935 3682911521 2476798372 1850843898 1968863315 1910579839 1275630589 3466549605 2248004812 1185221986 2225412378 3748724653 3193930992 2155871816 3851817077 1160160559 3671800043 3898139878 3876784204 451401141 1542734112 1527289822 1609656544 3222595307 3479501148 1281046621 4086551182 361348789 2870514399 1656653794 341631553 2003574489 1113693169 612580050 206733219 1529278310 3207470938 2422321780 198423809 2149273031 2722459340 1004992980 563159663 744688712 1180964879 3899151477 1248269418 2540854439 3228212541 4036801949 2450913600 2718518342 785867450 148993776 3822903648 1441018476 636295798 814318900 99477602 3783221254 1891589428 956017738 1148299483 1213047197 1541826089 1633760036 1333170892 4262031080 3155202094 54343614 1209116471 1878210130 104647889 385141270 2005966593 2500541131 4049637790 4277401629 2586693927 2246133303 3935377896 2541495087 3372881558 984113136 1626046447 2927887954 577200788 3738338704 2885615922 515756563 1293864405 149523252 1823311427 1307171914 2408936735 1195655340 2893271979 550331006 4094973420 2180587791 676404788 1466437997 2321780262 942858667 1275034013 4193691525 468012585 1457149043 346964824 493634284 847384357 4048697802 600277127 2084679614 3507867398 1893088429 636173542 2399845048 190173012 417966290 1538329918 1489338918 476469881 2019589927 1227161577 3908382045 1129014060 911387461 3945598967 2599087890 3281569228 1130011103 2887093533 4122631547 937743244 914371666 3994178516 2863428838 2160316766 3512939379 2761390926 1724270463 788362965 401518717 3873435513 1227552832 346104526 140970953 2539168586 2773839543 4251409466 934436099 1942585303 3570285827 334002891 2313464228 3091210118 2398703332 3527268353 2840822374 1331776518 1662090709 3545806795 4277168842 216422207 2533569012 3158131324 4051083163 1102587148 2375339032 42928582 2712668355 796318486 3456139960 128121966 4207720019 1083554918 1907147593 2803513026 271026814 255 362436" option to reproduce the execution
0.00/0.06	c #vars 2650
0.00/0.06	c #constraints 6619
0.08/0.14	c BCD2: Hardening is enabled.
0.08/0.14	c BCD2: BiasedSearch is enabled.
0.08/0.14	c Solving starts ...
0.08/0.14	c ============================[ Search Statistics ]============================
0.08/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.14	c =============================================================================
0.08/0.15	c  0.0s |       0 |        0 |        0 |     3089      0 |        0 |        0
0.39/0.41	c  0.3s |       1 |      137 |      100 |     3089      0 |        0 |        0
0.79/0.81	c  0.7s |       2 |      315 |      250 |     3398      0 |        0 |        0
1.38/1.44	c  1.3s |       3 |      566 |      475 |     3738      0 |        0 |        0
2.09/2.16	c  2.0s |       4 |      928 |      813 |     4112      0 |        0 |        0
3.19/3.22	c  3.1s |       5 |     1463 |     1320 |     4524      0 |        0 |        0
4.79/4.84	c  4.7s |       6 |     2251 |     2081 |     5475      0 |        0 |        0
6.99/7.03	c  6.9s |       6 |     3278 |     3081 |     5475      0 |        0 |        0
7.29/7.35	c  7.2s |       7 |     3421 |     3223 |     6023      0 |        0 |        0
9.39/9.41	c  9.3s |       7 |     4347 |     4123 |     6023      0 |        0 |        0
11.29/11.34	c 11.2s |       8 |     5162 |     4936 |     6626      0 |        0 |        0
13.29/13.36	c 13.2s |       8 |     5988 |     5736 |     6626      0 |        0 |        0
15.39/15.44	c 15.3s |       8 |     6788 |     6536 |     6626      0 |        0 |        0
17.38/17.44	c 17.3s |       8 |     7588 |     7336 |     6626      1 |        0 |        0
17.78/17.86	c 17.7s |       9 |     7758 |     7506 |     7289      1 |        0 |        0
19.79/19.88	c 19.7s |       9 |     8581 |     8306 |     7289      1 |        0 |        0
21.99/22.06	c 21.9s |       9 |     9383 |     9106 |     7289      1 |        0 |        0
24.19/24.27	c 24.1s |       9 |    10185 |     9906 |     7289      1 |        0 |        0
26.49/26.55	c 26.4s |       9 |    10982 |    10706 |     7289      1 |        0 |        0
28.18/28.28	c 28.1s |      10 |    11642 |    11361 |     8018      2 |        0 |        0
30.28/30.34	c 30.2s |      10 |    12468 |    12161 |     8018      2 |        0 |        0
32.38/32.40	c 32.3s |      10 |    13267 |    12961 |     8018      2 |        0 |        0
34.48/34.55	c 34.4s |      10 |    14066 |    13761 |     8018      2 |        0 |        0
36.68/36.77	c 36.6s |      10 |    14866 |    14561 |     8018      2 |        0 |        0
38.68/38.78	c 38.6s |      10 |    15569 |    15261 |     8018      2 |        0 |        0
40.79/40.84	c 40.7s |      10 |    16370 |    16061 |     8018      3 |        0 |        0
42.99/43.09	c 42.9s |      10 |    17283 |    16961 |     8018      3 |        0 |        0
43.48/43.59	c 43.4s |      11 |    17470 |    17144 |     8820      3 |        0 |        0
45.78/45.83	c 45.7s |      11 |    18298 |    17944 |     8820      3 |        0 |        0
48.08/48.11	c 48.0s |      11 |    19094 |    18744 |     8820      3 |        0 |        0
50.18/50.24	c 50.1s |      11 |    19795 |    19444 |     8820      3 |        0 |        0
52.38/52.42	c 52.3s |      11 |    20497 |    20144 |     8820      3 |        0 |        0
54.58/54.66	c 54.5s |      11 |    21298 |    20944 |     8820      4 |        0 |        0
56.68/56.70	c 56.6s |      11 |    22097 |    21744 |     8820      4 |        0 |        0
58.78/58.89	c 58.7s |      11 |    22899 |    22544 |     8820      4 |        0 |        0
60.88/60.90	c 60.8s |      11 |    23599 |    23244 |     8820      4 |        0 |        0
62.88/62.97	c 62.8s |      11 |    24306 |    23944 |     8820      4 |        0 |        0
64.98/65.06	c 64.9s |      11 |    25004 |    24644 |     8820      4 |        0 |        0
67.28/67.31	c 67.2s |      11 |    25807 |    25444 |     8820      5 |        0 |        0
68.18/68.30	c 68.2s |      12 |    26184 |    25819 |     9702      5 |        0 |        0
70.38/70.48	c 70.3s |      12 |    27013 |    26619 |     9702      5 |        0 |        0
72.68/72.75	c 72.6s |      12 |    27815 |    27419 |     9702      5 |        0 |        0
74.78/74.83	c 74.7s |      12 |    28520 |    28119 |     9702      5 |        0 |        0
76.98/77.01	c 76.9s |      12 |    29220 |    28819 |     9702      5 |        0 |        0
79.18/79.21	c 79.1s |      12 |    29919 |    29519 |     9702      5 |        0 |        0
81.38/81.42	c 81.3s |      12 |    30621 |    30219 |     9702      6 |        0 |        0
83.47/83.58	c 83.4s |      12 |    31421 |    31019 |     9702      6 |        0 |        0
85.67/85.75	c 85.6s |      12 |    32225 |    31819 |     9702      6 |        0 |        0
87.98/88.03	c 87.9s |      12 |    33022 |    32619 |     9702      6 |        0 |        0
89.97/90.03	c 89.9s |      12 |    33723 |    33319 |     9702      6 |        0 |        0
91.97/92.04	c 91.9s |      12 |    34424 |    34019 |     9702      6 |        0 |        0
94.07/94.14	c 94.0s |      12 |    35130 |    34719 |     9702      6 |        0 |        0
96.37/96.40	c 96.3s |      12 |    35926 |    35519 |     9702      7 |        0 |        0
98.57/98.69	c 98.5s |      12 |    36729 |    36319 |     9702      7 |        0 |        0
100.87/100.95	c  100s |      12 |    37527 |    37119 |     9702      7 |        0 |        0
102.87/103.00	c  102s |      12 |    38232 |    37819 |     9702      7 |        0 |        0
104.97/105.05	c  104s |      12 |    38931 |    38519 |     9702      7 |        0 |        0
105.97/106.02	c  105s |      13 |    39248 |    38832 |    10673      7 |        0 |        0
108.17/108.29	c  108s |      13 |    39974 |    39532 |    10673      7 |        0 |        0
110.27/110.32	c  110s |      13 |    40573 |    40132 |    10673      7 |        0 |        0
112.37/112.49	c  112s |      13 |    41272 |    40832 |    10673      7 |        0 |        0
114.67/114.70	c  114s |      13 |    42076 |    41632 |    10673      8 |        0 |        0
116.87/116.96	c  116s |      13 |    42878 |    42432 |    10673      8 |        0 |        0
118.97/119.04	c  118s |      13 |    43576 |    43132 |    10673      8 |        0 |        0
121.17/121.21	c  121s |      13 |    44280 |    43832 |    10673      8 |        0 |        0
123.37/123.47	c  123s |      13 |    44979 |    44532 |    10673      8 |        0 |        0
125.37/125.49	c  125s |      13 |    45579 |    45132 |    10673      8 |        0 |        0
127.47/127.55	c  127s |      13 |    46180 |    45732 |    10673      8 |        0 |        0
129.57/129.64	c  129s |      13 |    46778 |    46332 |    10673      9 |        0 |        0
131.57/131.67	c  131s |      13 |    47479 |    47032 |    10673      9 |        0 |        0
133.66/133.73	c  133s |      13 |    48182 |    47732 |    10673      9 |        0 |        0
135.86/135.96	c  135s |      13 |    48879 |    48432 |    10673      9 |        0 |        0
137.96/138.07	c  137s |      13 |    49579 |    49132 |    10673      9 |        0 |        0
140.16/140.29	c  140s |      13 |    50286 |    49832 |    10673      9 |        0 |        0
142.46/142.50	c  142s |      13 |    50982 |    50532 |    10673      9 |        0 |        0
144.66/144.73	c  144s |      13 |    51684 |    51232 |    10673      9 |        0 |        0
146.66/146.74	c  146s |      13 |    52286 |    51832 |    10673     10 |        0 |        0
148.96/149.04	c  148s |      13 |    53083 |    52632 |    10673     10 |        0 |        0
151.26/151.31	c  151s |      13 |    53784 |    53332 |    10673     10 |        0 |        0
153.56/153.60	c  153s |      13 |    54487 |    54032 |    10673     10 |        0 |        0
155.86/155.90	c  155s |      13 |    55186 |    54732 |    10673     10 |        0 |        0
157.96/158.04	c  157s |      13 |    55887 |    55432 |    10673     10 |        0 |        0
160.06/160.18	c  160s |      13 |    56589 |    56132 |    10673     10 |        0 |        0
162.26/162.32	c  162s |      13 |    57290 |    56832 |    10673     10 |        0 |        0
164.26/164.38	c  164s |      13 |    57992 |    57532 |    10673     11 |        0 |        0
166.36/166.41	c  166s |      13 |    58693 |    58232 |    11741     11 |        0 |        0
166.66/166.75	c  166s |      14 |    58813 |    58352 |    11741     11 |        0 |        0
168.86/168.95	c  168s |      14 |    59641 |    59152 |    11741     11 |        0 |        0
171.06/171.19	c  171s |      14 |    60441 |    59952 |    11741     11 |        0 |        0
173.16/173.21	c  173s |      14 |    61142 |    60652 |    11741     11 |        0 |        0
175.26/175.34	c  175s |      14 |    61841 |    61352 |    11741     11 |        0 |        0
177.46/177.55	c  177s |      14 |    62567 |    62052 |    11741     11 |        2 |        7
179.76/179.84	c  179s |      14 |    63265 |    62752 |    11741     11 |        2 |        7
182.06/182.17	c  182s |      14 |    63966 |    63452 |    11741     11 |        2 |        7
184.16/184.25	c  184s |      14 |    64676 |    64152 |    11741     12 |        2 |        7
186.46/186.53	c  186s |      14 |    65478 |    64952 |    11741     12 |        2 |        7
188.46/188.58	c  188s |      14 |    66174 |    65652 |    11741     12 |        2 |        7
190.76/190.80	c  190s |      14 |    66879 |    66352 |    11741     12 |        2 |        7
192.95/193.02	c  192s |      14 |    67581 |    67052 |    11741     12 |        2 |        7
195.25/195.34	c  195s |      14 |    68280 |    67752 |    11741     12 |        2 |        7
197.25/197.36	c  197s |      14 |    68881 |    68352 |    11741     12 |        2 |        7
199.55/199.67	c  199s |      14 |    69581 |    69052 |    11741     12 |        2 |        7
201.75/201.82	c  201s |      14 |    70181 |    69652 |    11741     13 |        2 |        7
203.75/203.83	c  203s |      14 |    70880 |    70352 |    11741     13 |        2 |        7
205.76/205.86	c  205s |      14 |    71581 |    71052 |    11741     13 |        2 |        7
207.86/207.91	c  207s |      14 |    72283 |    71752 |    11741     13 |        2 |        7
209.95/210.02	c  209s |      14 |    72980 |    72452 |    11741     13 |        2 |        7
212.15/212.20	c  212s |      14 |    73682 |    73152 |    11741     13 |        2 |        7
214.35/214.44	c  214s |      14 |    74383 |    73852 |    11741     13 |        2 |        7
216.66/216.74	c  216s |      14 |    75087 |    74552 |    11741     13 |        2 |        7
218.86/218.93	c  218s |      14 |    75787 |    75252 |    11741     13 |        2 |        7
220.85/220.97	c  220s |      14 |    76485 |    75952 |    11741     14 |        2 |        7
223.05/223.14	c  222s |      14 |    77290 |    76752 |    11741     14 |        2 |        7
225.25/225.38	c  225s |      14 |    78091 |    77552 |    11741     14 |        2 |        7
227.55/227.65	c  227s |      14 |    78795 |    78252 |    11741     14 |        2 |        7
229.65/229.76	c  229s |      14 |    79494 |    78952 |    11741     14 |        2 |        7
231.85/231.99	c  231s |      14 |    80196 |    79652 |    11741     14 |        2 |        7
234.15/234.21	c  234s |      14 |    80898 |    80352 |    11741     14 |        2 |        7
236.35/236.48	c  236s |      14 |    81595 |    81052 |    11741     14 |        2 |        7
238.65/238.71	c  238s |      14 |    82295 |    81752 |    11741     15 |        2 |        7
240.65/240.71	c  240s |      14 |    82998 |    82452 |    11741     15 |        2 |        7
242.65/242.77	c  242s |      14 |    83697 |    83152 |    11741     15 |        2 |        7
244.65/244.78	c  244s |      14 |    84398 |    83852 |    11741     15 |        2 |        7
246.75/246.85	c  246s |      14 |    85098 |    84552 |    11741     15 |        2 |        7
249.05/249.12	c  248s |      14 |    85903 |    85352 |    11741     15 |        2 |        7
251.14/251.27	c  251s |      14 |    86601 |    86052 |    11741     15 |        2 |        7
253.44/253.56	c  253s |      14 |    87302 |    86752 |    11741     15 |        2 |        7
255.44/255.56	c  255s |      14 |    87901 |    87352 |    12916     15 |        2 |        7
256.44/256.52	c  256s |      15 |    88181 |    87632 |    12916     15 |        2 |        7
258.45/258.60	c  258s |      15 |    88803 |    88232 |    12916     15 |        2 |        7
260.54/260.66	c  260s |      15 |    89405 |    88832 |    12916     16 |        2 |        7
262.85/262.93	c  262s |      15 |    90204 |    89632 |    12916     16 |        2 |        7
264.84/264.96	c  264s |      15 |    90906 |    90332 |    12916     16 |        2 |        7
266.94/267.00	c  266s |      15 |    91609 |    91032 |    12916     16 |        2 |        7
269.04/269.11	c  268s |      15 |    92310 |    91732 |    12916     16 |        2 |        7
271.14/271.25	c  271s |      15 |    93007 |    92432 |    12916     16 |        2 |        7
273.44/273.50	c  273s |      15 |    93708 |    93132 |    12916     16 |        2 |        7
275.74/275.81	c  275s |      15 |    94412 |    93832 |    12916     16 |        2 |        7
277.74/277.87	c  277s |      15 |    95013 |    94432 |    12916     16 |        2 |        7
279.74/279.88	c  279s |      15 |    95609 |    95032 |    12916     16 |        2 |        7
281.94/282.03	c  281s |      15 |    96314 |    95732 |    12916     17 |        2 |        7
284.14/284.28	c  284s |      15 |    97113 |    96532 |    12916     17 |        2 |        7
286.44/286.54	c  286s |      15 |    97909 |    97332 |    12916     17 |        2 |        7
288.44/288.57	c  288s |      15 |    98514 |    97932 |    12916     17 |        2 |        7
290.74/290.85	c  290s |      15 |    99213 |    98632 |    12916     17 |        2 |        7
293.05/293.15	c  293s |      15 |    99914 |    99332 |    12916     17 |        2 |        7
295.25/295.34	c  295s |      15 |   100617 |   100032 |    12916     17 |        2 |        7
297.45/297.56	c  297s |      15 |   101314 |   100732 |    12916     17 |        2 |        7
299.75/299.84	c  299s |      15 |   102013 |   101432 |    12916     17 |        2 |        7
301.95/302.05	c  301s |      15 |   102721 |   102132 |    12916     18 |        2 |        7
303.94/304.07	c  303s |      15 |   103418 |   102832 |    12916     18 |        2 |        7
306.04/306.11	c  305s |      15 |   104119 |   103532 |    12916     18 |        2 |        7
308.14/308.20	c  308s |      15 |   104819 |   104232 |    12916     18 |        2 |        7
310.15/310.29	c  310s |      15 |   105520 |   104932 |    12916     18 |        2 |        7
312.45/312.57	c  312s |      15 |   106224 |   105632 |    12916     18 |        2 |        7
314.74/314.80	c  314s |      15 |   106920 |   106332 |    12916     18 |        2 |        7
317.04/317.12	c  316s |      15 |   107621 |   107032 |    12916     18 |        2 |        7
319.05/319.13	c  318s |      15 |   108223 |   107632 |    12916     18 |        2 |        7
321.15/321.24	c  321s |      15 |   108824 |   108232 |    12916     18 |        2 |        7
323.24/323.40	c  323s |      15 |   109522 |   108932 |    12916     19 |        2 |        7
325.55/325.61	c  325s |      15 |   110226 |   109632 |    12916     19 |        2 |        7
327.64/327.71	c  327s |      15 |   110925 |   110332 |    12916     19 |        2 |        7
329.74/329.86	c  329s |      15 |   111622 |   111032 |    12916     19 |        2 |        7
332.04/332.14	c  331s |      15 |   112326 |   111732 |    12916     19 |        2 |        7
334.14/334.23	c  334s |      15 |   112923 |   112332 |    12916     19 |        2 |        7
336.14/336.24	c  336s |      15 |   113524 |   112932 |    12916     19 |        2 |        7
338.24/338.39	c  338s |      15 |   114128 |   113532 |    12916     19 |        2 |        7
340.64/340.71	c  340s |      15 |   114827 |   114232 |    12916     19 |        2 |        7
342.74/342.82	c  342s |      15 |   115425 |   114832 |    12916     20 |        2 |        7
344.74/344.84	c  344s |      15 |   116123 |   115532 |    12916     20 |        2 |        7
346.94/347.08	c  346s |      15 |   116926 |   116332 |    12916     20 |        2 |        7
349.04/349.15	c  349s |      15 |   117628 |   117032 |    12916     20 |        2 |        7
351.14/351.21	c  351s |      15 |   118329 |   117732 |    12916     20 |        2 |        7
353.24/353.32	c  353s |      15 |   119024 |   118432 |    12916     20 |        2 |        7
355.44/355.50	c  355s |      15 |   119728 |   119132 |    12916     20 |        2 |        7
357.64/357.77	c  357s |      15 |   120426 |   119832 |    12916     20 |        2 |        7
359.94/360.08	c  359s |      15 |   121128 |   120532 |    12916     20 |        2 |        7
362.04/362.17	c  362s |      15 |   121733 |   121132 |    12916     20 |        2 |        7
364.43/364.55	c  364s |      15 |   122438 |   121832 |    12916     21 |        2 |        7
366.63/366.75	c  366s |      15 |   123234 |   122632 |    12916     21 |        2 |        7
368.63/368.77	c  368s |      15 |   123937 |   123332 |    12916     21 |        2 |        7
370.74/370.81	c  370s |      15 |   124635 |   124032 |    12916     21 |        2 |        7
372.84/373.00	c  372s |      15 |   125339 |   124732 |    12916     21 |        2 |        7
375.04/375.18	c  375s |      15 |   126038 |   125432 |    12916     21 |        2 |        7
377.43/377.50	c  377s |      15 |   126738 |   126132 |    12916     21 |        2 |        7
379.54/379.62	c  379s |      15 |   127341 |   126732 |    12916     21 |        2 |        7
381.64/381.77	c  381s |      15 |   127939 |   127332 |    12916     21 |        2 |        7
383.73/383.85	c  383s |      15 |   128538 |   127932 |    12916     22 |        2 |        7
385.83/385.99	c  385s |      15 |   129242 |   128632 |    12916     22 |        2 |        7
388.02/388.15	c  388s |      15 |   129941 |   129332 |    12916     22 |        2 |        7
390.12/390.26	c  390s |      15 |   130641 |   130032 |    12916     22 |        2 |        7
392.23/392.39	c  392s |      15 |   131339 |   130732 |    14208     22 |        2 |        7
394.43/394.52	c  394s |      15 |   132039 |   131432 |    14208     22 |        2 |        7
394.73/394.89	c  394s |      16 |   132165 |   131552 |    14208     22 |        2 |        7
397.04/397.14	c  396s |      16 |   132886 |   132252 |    14208     22 |        2 |        7
399.13/399.20	c  399s |      16 |   133390 |   132752 |    14208     22 |        2 |        7
401.44/401.51	c  401s |      16 |   134090 |   133452 |    14208     22 |        2 |        7
403.64/403.70	c  403s |      16 |   134689 |   134052 |    14208     22 |        2 |        7
405.84/405.98	c  405s |      16 |   135391 |   134752 |    14208     22 |        2 |        7
407.83/407.99	c  407s |      16 |   135994 |   135352 |    14208     22 |        2 |        7
410.13/410.24	c  410s |      16 |   136687 |   136052 |    14208     23 |        2 |        7
412.12/412.29	c  412s |      16 |   137391 |   136752 |    14208     23 |        2 |        7
414.42/414.55	c  414s |      16 |   138191 |   137552 |    14208     23 |        2 |        7
416.42/416.58	c  416s |      16 |   138894 |   138252 |    14208     23 |        2 |        7
418.62/418.75	c  418s |      16 |   139588 |   138952 |    14208     23 |        2 |        7
420.92/421.03	c  420s |      16 |   140289 |   139652 |    14208     23 |        2 |        7
422.92/423.06	c  422s |      16 |   140893 |   140252 |    14208     23 |        2 |        7
425.22/425.32	c  425s |      16 |   141595 |   140952 |    14208     23 |        2 |        7
427.42/427.51	c  427s |      16 |   142193 |   141552 |    14208     23 |        2 |        7
429.72/429.84	c  429s |      16 |   142896 |   142252 |    14208     23 |        2 |        7
431.72/431.88	c  431s |      16 |   143495 |   142852 |    14208     23 |        2 |        7
433.82/433.98	c  433s |      16 |   144200 |   143552 |    14208     24 |        2 |        7
436.02/436.16	c  436s |      16 |   144900 |   144252 |    14208     24 |        2 |        7
438.02/438.16	c  438s |      16 |   145603 |   144952 |    14208     24 |        2 |        7
440.32/440.40	c  440s |      16 |   146301 |   145652 |    14208     24 |        2 |        7
442.61/442.72	c  442s |      16 |   147004 |   146352 |    14208     24 |        2 |        7
444.81/444.94	c  444s |      16 |   147704 |   147052 |    14208     24 |        2 |        7
447.11/447.27	c  447s |      16 |   148404 |   147752 |    14208     24 |        2 |        7
449.21/449.40	c  449s |      16 |   149008 |   148352 |    14208     24 |        2 |        7
451.42/451.54	c  451s |      16 |   149608 |   148952 |    14208     24 |        2 |        7
453.52/453.67	c  453s |      16 |   150208 |   149552 |    14208     24 |        2 |        7
455.82/455.95	c  455s |      16 |   150809 |   150152 |    14208     25 |        2 |        7
457.82/457.99	c  457s |      16 |   151510 |   150852 |    14208     25 |        2 |        7
459.83/460.00	c  459s |      16 |   152210 |   151552 |    14208     25 |        2 |        7
461.93/462.10	c  461s |      16 |   152912 |   152252 |    14208     25 |        2 |        7
464.13/464.30	c  464s |      16 |   153611 |   152952 |    14208     25 |        2 |        7
466.52/466.60	c  466s |      16 |   154313 |   153652 |    14208     25 |        2 |        7
468.53/468.64	c  468s |      16 |   154913 |   154252 |    14208     25 |        2 |        7
470.62/470.80	c  470s |      16 |   155513 |   154852 |    14208     25 |        2 |        7
472.72/472.90	c  472s |      16 |   156120 |   155452 |    14208     25 |        2 |        7
475.13/475.22	c  475s |      16 |   156818 |   156152 |    14208     25 |        2 |        7
477.43/477.55	c  477s |      16 |   157521 |   156852 |    14208     25 |        2 |        7
479.53/479.64	c  479s |      16 |   158122 |   157452 |    14208     26 |        2 |        7
481.72/481.89	c  481s |      16 |   158923 |   158252 |    14208     26 |        2 |        7
483.92/484.05	c  483s |      16 |   159725 |   159052 |    14208     26 |        2 |        7
486.22/486.37	c  486s |      16 |   160528 |   159852 |    14208     26 |        2 |        7
488.32/488.47	c  488s |      16 |   161230 |   160552 |    14208     26 |        2 |        7
490.42/490.55	c  490s |      16 |   161928 |   161252 |    14208     26 |        2 |        7
492.62/492.73	c  492s |      16 |   162630 |   161952 |    14208     26 |        2 |        7
494.82/494.94	c  494s |      16 |   163327 |   162652 |    14208     26 |        2 |        7
496.91/497.05	c  496s |      16 |   163932 |   163252 |    14208     26 |        2 |        7
499.01/499.15	c  499s |      16 |   164531 |   163852 |    14208     26 |        2 |        7
501.11/501.27	c  501s |      16 |   165129 |   164452 |    14208     26 |        2 |        7
503.31/503.49	c  503s |      16 |   165832 |   165152 |    14208     27 |        2 |        7
505.41/505.54	c  505s |      16 |   166534 |   165852 |    14208     27 |        2 |        7
507.51/507.68	c  507s |      16 |   167237 |   166552 |    14208     27 |        2 |        7
509.71/509.88	c  509s |      16 |   167934 |   167252 |    14208     27 |        2 |        7
512.01/512.19	c  512s |      16 |   168635 |   167952 |    14208     27 |        2 |        7
514.11/514.28	c  514s |      16 |   169238 |   168552 |    14208     27 |        2 |        7
516.31/516.48	c  516s |      16 |   169834 |   169152 |    14208     27 |        2 |        7
518.41/518.51	c  518s |      16 |   170436 |   169752 |    14208     27 |        2 |        7
520.51/520.64	c  520s |      16 |   171040 |   170352 |    14208     27 |        2 |        7
522.52/522.68	c  522s |      16 |   171641 |   170952 |    14208     27 |        2 |        7
524.62/524.77	c  524s |      16 |   172242 |   171552 |    14208     27 |        2 |        7
526.92/527.02	c  526s |      16 |   172942 |   172252 |    14208     28 |        2 |        7
528.91/529.07	c  528s |      16 |   173645 |   172952 |    14208     28 |        2 |        7
531.01/531.13	c  530s |      16 |   174342 |   173652 |    14208     28 |        2 |        7
533.11/533.22	c  533s |      16 |   174946 |   174252 |    14208     28 |        2 |        7
535.11/535.28	c  535s |      16 |   175650 |   174952 |    14208     28 |        2 |        7
537.31/537.42	c  537s |      16 |   176351 |   175652 |    14208     28 |        2 |        7
539.51/539.61	c  539s |      16 |   177048 |   176352 |    14208     28 |        2 |        7
541.81/541.90	c  541s |      16 |   177749 |   177052 |    14208     28 |        2 |        7
544.11/544.26	c  544s |      16 |   178452 |   177752 |    14208     28 |        2 |        7
546.21/546.35	c  546s |      16 |   179054 |   178352 |    14208     28 |        2 |        7
548.40/548.59	c  548s |      16 |   179653 |   178952 |    14208     29 |        2 |        7
550.70/550.84	c  550s |      16 |   180455 |   179752 |    14208     29 |        2 |        7
552.70/552.84	c  552s |      16 |   181154 |   180452 |    14208     29 |        2 |        7
554.70/554.86	c  554s |      16 |   181857 |   181152 |    14208     29 |        2 |        7
556.90/557.00	c  556s |      16 |   182554 |   181852 |    14208     29 |        2 |        7
559.00/559.12	c  558s |      16 |   183260 |   182552 |    14208     29 |        2 |        7
561.01/561.12	c  560s |      16 |   183859 |   183152 |    14208     29 |        2 |        7
563.30/563.41	c  563s |      16 |   184559 |   183852 |    14208     29 |        2 |        7
565.90/566.09	c  565s |      16 |   185265 |   184552 |    14208     29 |        2 |        7
568.00/568.11	c  567s |      16 |   185863 |   185152 |    14208     29 |        2 |        7
570.30/570.44	c  570s |      16 |   186564 |   185852 |    14208     29 |        2 |        7
572.60/572.71	c  572s |      16 |   187262 |   186552 |    14208     30 |        2 |        7
574.80/574.99	c  574s |      16 |   188069 |   187352 |    14208     30 |        2 |        7
576.90/577.02	c  576s |      16 |   188771 |   188052 |    14208     30 |        2 |        7
578.90/579.02	c  578s |      16 |   189471 |   188752 |    14208     30 |        2 |        7
580.90/581.02	c  580s |      16 |   190171 |   189452 |    14208     30 |        2 |        7
582.91/583.04	c  582s |      16 |   190870 |   190152 |    14208     30 |        2 |        7
584.90/585.08	c  584s |      16 |   191572 |   190852 |    14208     30 |        2 |        7
587.10/587.27	c  587s |      16 |   192278 |   191552 |    14208     30 |        2 |        7
589.30/589.45	c  589s |      16 |   192975 |   192252 |    14208     30 |        2 |        7
591.50/591.68	c  591s |      16 |   193675 |   192952 |    14208     30 |        2 |        7
593.60/593.78	c  593s |      16 |   194372 |   193652 |    14208     31 |        2 |        7
595.80/595.95	c  595s |      16 |   195175 |   194452 |    14208     31 |        2 |        7
597.80/597.95	c  597s |      16 |   195877 |   195152 |    14208     31 |        2 |        7
599.80/599.99	c  599s |      16 |   196578 |   195852 |    14208     31 |        2 |        7
602.00/602.18	c  602s |      16 |   197279 |   196552 |    15629     31 |        2 |        7
604.20/604.30	c  604s |      16 |   197980 |   197252 |    15629     31 |        2 |        7
604.70/604.85	c  604s |      17 |   198161 |   197432 |    15629     31 |        2 |        7
607.00/607.12	c  606s |      17 |   198880 |   198132 |    15629     31 |        2 |        7
609.20/609.31	c  609s |      17 |   199592 |   198832 |    15629     31 |        2 |        7
611.40/611.60	c  611s |      17 |   200297 |   199532 |    15629     31 |        2 |        7
613.70/613.87	c  613s |      17 |   200997 |   200232 |    15629     31 |        2 |        7
615.79/615.92	c  615s |      17 |   201595 |   200832 |    15629     31 |        2 |        7
617.79/617.94	c  617s |      17 |   202197 |   201432 |    15629     31 |        2 |        7
619.89/620.04	c  619s |      17 |   202796 |   202032 |    15629     32 |        2 |        7
621.99/622.11	c  621s |      17 |   203496 |   202732 |    15629     32 |        2 |        7
623.99/624.12	c  623s |      17 |   204196 |   203432 |    15629     32 |        2 |        7
626.09/626.26	c  626s |      17 |   204900 |   204132 |    15629     32 |        2 |        7
628.19/628.33	c  628s |      17 |   205602 |   204832 |    15629     32 |        2 |        7
630.30/630.45	c  630s |      17 |   206308 |   205532 |    15629     32 |        2 |        7
632.50/632.60	c  632s |      17 |   207005 |   206232 |    15629     32 |        2 |        7
634.60/634.80	c  634s |      17 |   207710 |   206932 |    15629     32 |        2 |        7
636.90/637.04	c  636s |      17 |   208409 |   207632 |    15629     32 |        2 |        7
639.10/639.29	c  639s |      17 |   209116 |   208332 |    15629     32 |        2 |        7
641.49/641.61	c  641s |      17 |   209818 |   209032 |    15629     32 |        2 |        7
643.50/643.66	c  643s |      17 |   210423 |   209632 |    15629     32 |        2 |        7
645.60/645.71	c  645s |      17 |   211030 |   210232 |    15629     33 |        2 |        7
647.80/647.99	c  647s |      17 |   211827 |   211032 |    15629     33 |        2 |        7
649.89/650.06	c  649s |      17 |   212528 |   211732 |    15629     33 |        2 |        7
652.09/652.22	c  652s |      17 |   213133 |   212332 |    15629     33 |        2 |        7
654.19/654.30	c  654s |      17 |   213836 |   213032 |    15629     33 |        2 |        7
656.39/656.50	c  656s |      17 |   214545 |   213732 |    15629     33 |        2 |        7
658.39/658.57	c  658s |      17 |   215243 |   214432 |    15629     33 |        2 |        7
660.49/660.67	c  660s |      17 |   215948 |   215132 |    15629     33 |        2 |        7
662.79/662.92	c  662s |      17 |   216644 |   215832 |    15629     33 |        2 |        7
665.09/665.20	c  665s |      17 |   217347 |   216532 |    15629     33 |        2 |        7
667.09/667.21	c  667s |      17 |   217951 |   217132 |    15629     33 |        2 |        7
669.09/669.28	c  669s |      17 |   218556 |   217732 |    15629     34 |        2 |        7
671.38/671.51	c  671s |      17 |   219363 |   218532 |    15629     34 |        2 |        7
673.58/673.74	c  673s |      17 |   220162 |   219332 |    15629     34 |        2 |        7
675.78/675.94	c  675s |      17 |   220967 |   220132 |    15629     34 |        2 |        7
677.88/678.01	c  677s |      17 |   221671 |   220832 |    15629     34 |        2 |        7
679.88/680.05	c  679s |      17 |   222372 |   221532 |    15629     34 |        2 |        7
681.99/682.14	c  681s |      17 |   223074 |   222232 |    15629     34 |        2 |        7
684.19/684.36	c  684s |      17 |   223777 |   222932 |    15629     34 |        2 |        7
686.48/686.63	c  686s |      17 |   224479 |   223632 |    15629     34 |        2 |        7
688.68/688.86	c  688s |      17 |   225177 |   224332 |    15629     34 |        2 |        7
690.88/691.06	c  690s |      17 |   225683 |   224832 |    15629     34 |        2 |        7
692.99/693.11	c  692s |      17 |   226282 |   225432 |    15629     34 |        2 |        7
695.28/695.45	c  695s |      17 |   226988 |   226132 |    15629     35 |        2 |        7
697.39/697.52	c  697s |      17 |   227691 |   226832 |    15629     35 |        2 |        7
699.38/699.53	c  699s |      17 |   228294 |   227432 |    15629     35 |        2 |        7
701.58/701.78	c  701s |      17 |   229092 |   228232 |    15629     35 |        2 |        7
703.68/703.81	c  703s |      17 |   229800 |   228932 |    15629     35 |        2 |        7
705.68/705.88	c  705s |      17 |   230500 |   229632 |    15629     35 |        2 |        7
707.78/707.98	c  707s |      17 |   231201 |   230332 |    15629     35 |        2 |        7
709.98/710.14	c  709s |      17 |   231905 |   231032 |    15629     35 |        2 |        7
712.08/712.23	c  712s |      17 |   232611 |   231732 |    15629     35 |        2 |        7
714.38/714.51	c  714s |      17 |   233422 |   232532 |    15629     35 |        2 |        7
716.58/716.74	c  716s |      17 |   234230 |   233332 |    15629     35 |        2 |        7
718.78/718.90	c  718s |      17 |   235034 |   234132 |    15629     36 |        2 |        7
720.78/720.90	c  720s |      17 |   235845 |   234932 |    15629     36 |        2 |        7
722.78/722.95	c  722s |      17 |   236652 |   235732 |    15629     36 |        2 |        7
724.78/724.97	c  724s |      17 |   237264 |   236332 |    15629     36 |        2 |        7
727.08/727.23	c  727s |      17 |   238181 |   237232 |    15629     36 |        2 |        7
729.18/729.33	c  729s |      17 |   239003 |   238032 |    15629     36 |        2 |        7
731.27/731.45	c  731s |      17 |   239819 |   238832 |    15629     36 |        2 |        7
733.47/733.60	c  733s |      17 |   240639 |   239632 |    15629     36 |        2 |        7
735.47/735.65	c  735s |      17 |   241348 |   240332 |    15629     36 |        2 |        7
737.57/737.79	c  737s |      17 |   242053 |   241032 |    15629     36 |        2 |        7
739.87/740.05	c  739s |      17 |   242766 |   241732 |    15629     37 |        2 |        7
741.87/742.08	c  741s |      17 |   243573 |   242532 |    15629     37 |        2 |        7
743.87/744.08	c  743s |      17 |   244398 |   243332 |    15629     37 |        2 |        7
746.07/746.22	c  746s |      17 |   245318 |   244232 |    15629     37 |        2 |        7
748.27/748.44	c  748s |      17 |   246132 |   245032 |    15629     37 |        2 |        7
750.47/750.62	c  750s |      17 |   246953 |   245832 |    15629     37 |        2 |        7
752.67/752.86	c  752s |      17 |   247768 |   246632 |    15629     37 |        2 |        7
754.77/754.93	c  754s |      17 |   248385 |   247232 |    15629     37 |        2 |        7
756.97/757.18	c  757s |      17 |   248981 |   247832 |    15629     37 |        2 |        7
759.17/759.39	c  759s |      17 |   249803 |   248632 |    15629     37 |        2 |        7
761.27/761.49	c  761s |      17 |   250642 |   249432 |    15629     38 |        2 |        7
763.47/763.67	c  763s |      17 |   251811 |   250532 |    15629     38 |        2 |        7
765.67/765.80	c  765s |      17 |   252874 |   251532 |    15629     38 |        2 |        7
767.68/767.85	c  767s |      17 |   253728 |   252332 |    15629     38 |        2 |        7
769.77/769.99	c  769s |      17 |   254790 |   253332 |    15629     38 |        2 |        7
771.87/772.07	c  771s |      17 |   255745 |   254232 |    15629     38 |        2 |        7
773.97/774.15	c  774s |      17 |   256707 |   255132 |    15629     38 |        2 |        7
776.17/776.32	c  776s |      17 |   257651 |   256032 |    15629     38 |        2 |        7
778.27/778.42	c  778s |      17 |   258512 |   256832 |    15629     38 |        2 |        7
780.37/780.51	c  780s |      17 |   259473 |   257732 |    15629     39 |        2 |        7
782.57/782.77	c  782s |      17 |   260662 |   258832 |    15629     39 |        2 |        7
784.77/784.93	c  784s |      17 |   261738 |   259832 |    15629     39 |        2 |        7
786.77/786.94	c  786s |      17 |   262690 |   260732 |    15629     39 |        2 |        7
788.97/789.14	c  788s |      17 |   263731 |   261732 |    15629     39 |        2 |        7
791.26/791.41	c  791s |      17 |   264684 |   262632 |    15629     39 |        2 |        7
793.36/793.52	c  793s |      17 |   265627 |   263532 |    15629     39 |        2 |        7
795.46/795.66	c  795s |      17 |   266590 |   264432 |    15629     39 |        2 |        7
797.47/797.67	c  797s |      17 |   267227 |   265032 |    15629     40 |        2 |        7
799.67/799.85	c  799s |      17 |   268292 |   266032 |    15629     40 |        2 |        7
801.77/801.95	c  801s |      17 |   269327 |   267032 |    15629     40 |        2 |        7
803.97/804.11	c  803s |      17 |   270375 |   268032 |    15629     40 |        2 |        7
806.06/806.26	c  806s |      17 |   271307 |   268932 |    15629     40 |        2 |        7
808.26/808.41	c  808s |      17 |   272254 |   269832 |    15629     40 |        2 |        7
810.36/810.58	c  810s |      17 |   273206 |   270732 |    15629     40 |        2 |        7
812.66/812.86	c  812s |      17 |   274189 |   271632 |    15629     40 |        2 |        7
814.66/814.87	c  814s |      17 |   275049 |   272432 |    15629     40 |        2 |        7
816.86/817.01	c  816s |      17 |   276038 |   273332 |    15629     41 |        2 |        7
819.06/819.20	c  819s |      17 |   277219 |   274432 |    15629     41 |        2 |        7
821.16/821.32	c  821s |      17 |   278323 |   275432 |    15629     41 |        2 |        7
823.36/823.52	c  823s |      17 |   279391 |   276432 |    15629     41 |        2 |        7
825.56/825.73	c  825s |      17 |   280468 |   277432 |    15629     41 |        2 |        7
827.56/827.78	c  827s |      17 |   281342 |   278232 |    15629     41 |        2 |        7
829.66/829.87	c  829s |      17 |   282345 |   279132 |    15629     41 |        2 |        7
831.76/831.93	c  831s |      17 |   283259 |   279932 |    15629     41 |        2 |        7
833.76/833.97	c  833s |      17 |   284258 |   280832 |    15629     42 |        2 |        7
835.76/835.98	c  835s |      17 |   285421 |   281832 |    15629     42 |        2 |        7
837.96/838.19	c  838s |      17 |   286681 |   282932 |    15629     42 |        2 |        7
840.05/840.29	c  840s |      17 |   287720 |   283832 |    15629     42 |        2 |        7
842.15/842.32	c  842s |      17 |   288864 |   284832 |    15629     42 |        2 |        7
844.15/844.34	c  844s |      17 |   289952 |   285832 |    15629     42 |        2 |        7
846.25/846.48	c  846s |      17 |   290910 |   286732 |    15629     42 |        2 |        7
848.45/848.61	c  848s |      17 |   291894 |   287632 |    15629     42 |        2 |        7
850.55/850.73	c  850s |      17 |   292912 |   288532 |    15629     43 |        2 |        7
852.85/853.08	c  852s |      17 |   294163 |   289632 |    15629     43 |        2 |        7
855.05/855.20	c  855s |      17 |   295391 |   290732 |    15629     43 |        2 |        7
857.05/857.23	c  857s |      17 |   296522 |   291732 |    15629     43 |        2 |        7
859.15/859.39	c  859s |      17 |   297608 |   292732 |    15629     43 |        2 |        7
861.35/861.59	c  861s |      17 |   298725 |   293732 |    15629     43 |        2 |        7
863.47/863.66	c  863s |      17 |   299720 |   294632 |    17192     43 |        2 |        7
865.57/865.71	c  865s |      17 |   300595 |   295432 |    17192     43 |        2 |        7
867.56/867.70	c  867s |      18 |   301496 |   296252 |    17192     43 |        2 |        7
869.76/869.95	c  869s |      18 |   302486 |   297152 |    17192     43 |        2 |        7
871.86/872.08	c  871s |      18 |   303371 |   297952 |    17192     44 |        2 |        7
873.96/874.10	c  873s |      18 |   304475 |   298952 |    17192     44 |        2 |        7
876.06/876.23	c  876s |      18 |   305565 |   299952 |    17192     44 |        2 |        7
878.16/878.37	c  878s |      18 |   306812 |   301052 |    17192     44 |        2 |        7
880.16/880.39	c  880s |      18 |   307945 |   302052 |    17192     44 |        2 |        7
882.36/882.51	c  882s |      18 |   309054 |   303052 |    17192     44 |        2 |        7
884.36/884.53	c  884s |      18 |   310019 |   303952 |    17192     44 |        2 |        7
886.46/886.68	c  886s |      18 |   311003 |   304852 |    17192     44 |        2 |        7
888.56/888.75	c  888s |      18 |   311887 |   305652 |    17192     44 |        2 |        7
890.76/890.90	c  890s |      18 |   312872 |   306552 |    17192     45 |        2 |        7
892.76/892.98	c  892s |      18 |   313877 |   307452 |    17192     45 |        2 |        7
894.96/895.10	c  894s |      18 |   314957 |   308452 |    17192     45 |        2 |        7
897.05/897.28	c  897s |      18 |   316046 |   309452 |    17192     45 |        2 |        7
899.15/899.31	c  899s |      18 |   317032 |   310352 |    17192     45 |        2 |        7
901.25/901.45	c  901s |      18 |   318027 |   311252 |    17192     45 |        2 |        7
903.45/903.60	c  903s |      18 |   318978 |   312152 |    17192     45 |        2 |        7
905.55/905.73	c  905s |      18 |   319960 |   313052 |    17192     45 |        2 |        7
907.75/907.94	c  907s |      18 |   320956 |   313952 |    17192     45 |        2 |        7
909.75/909.95	c  909s |      18 |   321812 |   314752 |    17192     45 |        2 |        7
911.76/911.96	c  911s |      18 |   322721 |   315552 |    17192     46 |        2 |        7
914.15/914.39	c  914s |      18 |   323830 |   316552 |    17192     46 |        2 |        7
916.26/916.46	c  916s |      18 |   324914 |   317552 |    17192     46 |        2 |        7
918.46/918.65	c  918s |      18 |   325973 |   318552 |    17192     46 |        2 |        7
920.66/920.81	c  920s |      18 |   327069 |   319552 |    17192     46 |        2 |        7
922.65/922.86	c  922s |      18 |   328031 |   320452 |    17192     46 |        2 |        7
924.65/924.87	c  924s |      18 |   328896 |   321252 |    17192     46 |        2 |        7
926.85/927.05	c  926s |      18 |   329881 |   322152 |    17192     46 |        2 |        7
928.95/929.11	c  928s |      18 |   330737 |   322952 |    17192     46 |        2 |        7
931.15/931.31	c  931s |      18 |   331606 |   323752 |    17192     47 |        2 |        7
933.25/933.42	c  933s |      18 |   332704 |   324752 |    17192     47 |        2 |        7
935.25/935.44	c  935s |      18 |   333660 |   325652 |    17192     47 |        2 |        7
937.25/937.46	c  937s |      18 |   334643 |   326552 |    17192     47 |        2 |        7
939.25/939.47	c  939s |      18 |   335623 |   327452 |    17192     47 |        2 |        7
941.45/941.60	c  941s |      18 |   336571 |   328352 |    17192     47 |        2 |        7
943.65/943.84	c  943s |      18 |   337563 |   329252 |    17192     47 |        2 |        7
945.65/945.85	c  945s |      18 |   338420 |   330052 |    17192     47 |        2 |        7
947.74/947.97	c  947s |      18 |   339284 |   330852 |    17192     47 |        2 |        7
949.74/949.99	c  949s |      18 |   340154 |   331652 |    17192     47 |        2 |        7
951.94/952.11	c  951s |      18 |   341017 |   332452 |    17192     48 |        2 |        7
954.04/954.22	c  954s |      18 |   342113 |   333452 |    17192     48 |        2 |        7
956.14/956.30	c  956s |      18 |   343069 |   334352 |    17192     48 |        2 |        7
958.24/958.45	c  958s |      18 |   344150 |   335352 |    17192     48 |        2 |        7
960.44/960.65	c  960s |      18 |   345263 |   336352 |    17192     48 |        2 |        7
962.54/962.78	c  962s |      18 |   346155 |   337152 |    17192     48 |        2 |        7
964.65/964.82	c  964s |      18 |   347131 |   338052 |    17192     48 |        2 |        7
966.85/967.03	c  966s |      18 |   348101 |   338952 |    17192     48 |        2 |        7
969.05/969.24	c  969s |      18 |   349089 |   339852 |    17192     48 |        2 |        7
971.15/971.33	c  971s |      18 |   349921 |   340652 |    17192     48 |        2 |        7
973.24/973.45	c  973s |      18 |   350893 |   341552 |    17192     49 |        2 |        7
975.24/975.45	c  975s |      18 |   351843 |   342452 |    17192     49 |        2 |        7
977.34/977.58	c  977s |      18 |   352946 |   343452 |    17192     49 |        2 |        7
979.64/979.84	c  979s |      18 |   354012 |   344452 |    17192     49 |        2 |        7
981.84/982.03	c  981s |      18 |   354971 |   345352 |    17192     49 |        2 |        7
984.04/984.26	c  984s |      18 |   355950 |   346252 |    17192     49 |        2 |        7
986.04/986.27	c  986s |      18 |   356832 |   347052 |    17192     49 |        2 |        7
988.14/988.34	c  988s |      18 |   357693 |   347852 |    17192     49 |        2 |        7
990.34/990.53	c  990s |      18 |   358574 |   348652 |    17192     49 |        2 |        7
992.34/992.55	c  992s |      18 |   359344 |   349352 |    17192     49 |        2 |        7
994.44/994.66	c  994s |      18 |   360309 |   350252 |    17192     50 |        2 |        7
996.64/996.85	c  996s |      18 |   361387 |   351252 |    17192     50 |        2 |        7
998.84/999.00	c  998s |      18 |   362473 |   352252 |    17192     50 |        2 |        7
1000.74/1001.00	c 1000s |      18 |   363432 |   353152 |    17192     50 |        2 |        7
1002.84/1003.02	c 1002s |      18 |   364173 |   353852 |    17192     50 |        2 |        7
1004.83/1005.06	c 1004s |      18 |   364899 |   354552 |    17192     50 |        2 |        7
1007.03/1007.20	c 1007s |      18 |   365853 |   355452 |    17192     50 |        2 |        7
1009.23/1009.44	c 1009s |      18 |   366825 |   356352 |    17192     50 |        2 |        7
1011.23/1011.44	c 1011s |      18 |   367688 |   357152 |    17192     50 |        2 |        7
1013.23/1013.47	c 1013s |      18 |   368568 |   357952 |    17192     50 |        2 |        7
1015.33/1015.55	c 1015s |      18 |   369528 |   358852 |    17192     51 |        2 |        7
1017.53/1017.75	c 1017s |      18 |   370730 |   359952 |    17192     51 |        2 |        7
1019.54/1019.76	c 1019s |      18 |   371706 |   360852 |    17192     51 |        2 |        7
1021.63/1021.85	c 1021s |      18 |   372679 |   361752 |    17192     51 |        2 |        7
1023.73/1023.90	c 1023s |      18 |   373644 |   362652 |    17192     51 |        2 |        7
1025.83/1026.03	c 1025s |      18 |   374624 |   363552 |    17192     51 |        2 |        7
1028.03/1028.21	c 1028s |      18 |   375609 |   364452 |    17192     51 |        2 |        7
1030.23/1030.45	c 1030s |      18 |   376600 |   365352 |    17192     51 |        2 |        7
1032.33/1032.54	c 1032s |      18 |   377464 |   366152 |    17192     51 |        2 |        7
1034.43/1034.67	c 1034s |      18 |   378337 |   366952 |    17192     52 |        2 |        7
1036.53/1036.70	c 1036s |      18 |   379449 |   367952 |    17192     52 |        2 |        7
1038.53/1038.71	c 1038s |      18 |   380434 |   368852 |    17192     52 |        2 |        7
1040.53/1040.72	c 1040s |      18 |   381394 |   369752 |    17192     52 |        2 |        7
1042.63/1042.86	c 1042s |      18 |   382379 |   370652 |    17192     52 |        2 |        7
1044.83/1045.02	c 1044s |      18 |   383362 |   371552 |    17192     52 |        2 |        7
1046.93/1047.17	c 1047s |      18 |   384349 |   372452 |    17192     52 |        2 |        7
1049.23/1049.42	c 1049s |      18 |   385326 |   373352 |    17192     52 |        2 |        7
1051.23/1051.43	c 1051s |      18 |   386211 |   374152 |    17192     52 |        2 |        7
1053.43/1053.65	c 1053s |      18 |   387083 |   374952 |    17192     52 |        2 |        7
1055.53/1055.79	c 1055s |      18 |   387840 |   375652 |    17192     53 |        2 |        7
1057.63/1057.84	c 1057s |      18 |   388789 |   376552 |    17192     53 |        2 |        7
1059.82/1060.01	c 1059s |      18 |   389658 |   377352 |    17192     53 |        2 |        7
1061.92/1062.16	c 1062s |      18 |   390739 |   378352 |    17192     53 |        2 |        7
1064.22/1064.40	c 1064s |      18 |   391827 |   379352 |    17192     53 |        2 |        7
1066.22/1066.49	c 1066s |      18 |   392808 |   380252 |    17192     53 |        2 |        7
1068.52/1068.71	c 1068s |      18 |   393786 |   381152 |    17192     53 |        2 |        7
1070.52/1070.72	c 1070s |      18 |   394538 |   381852 |    17192     53 |        2 |        7
1072.52/1072.74	c 1072s |      18 |   395439 |   382652 |    17192     53 |        2 |        7
1074.63/1074.87	c 1074s |      18 |   396308 |   383452 |    17192     53 |        2 |        7
1076.73/1076.99	c 1076s |      18 |   397199 |   384252 |    17192     54 |        2 |        7
1078.93/1079.19	c 1079s |      18 |   398358 |   385352 |    17192     54 |        2 |        7
1081.13/1081.34	c 1081s |      18 |   399434 |   386352 |    17192     54 |        2 |        7
1083.33/1083.54	c 1083s |      18 |   400392 |   387252 |    17192     54 |        2 |        7
1085.42/1085.66	c 1085s |      18 |   401346 |   388152 |    17192     54 |        2 |        7
1087.62/1087.82	c 1087s |      18 |   402299 |   389052 |    17192     54 |        2 |        7
1089.82/1090.01	c 1089s |      18 |   403278 |   389952 |    17192     54 |        2 |        7
1092.02/1092.29	c 1092s |      18 |   404130 |   390752 |    17192     54 |        2 |        7
1094.22/1094.41	c 1094s |      18 |   405006 |   391552 |    17192     54 |        2 |        7
1096.32/1096.52	c 1096s |      18 |   405878 |   392352 |    17192     54 |        2 |        7
1098.42/1098.68	c 1098s |      18 |   406778 |   393152 |    17192     55 |        2 |        7
1100.52/1100.77	c 1100s |      18 |   407763 |   394052 |    17192     55 |        2 |        7
1102.62/1102.80	c 1102s |      18 |   408828 |   395052 |    17192     55 |        2 |        7
1104.72/1104.96	c 1104s |      18 |   409814 |   395952 |    17192     55 |        2 |        7
1106.91/1107.16	c 1107s |      18 |   410899 |   396952 |    17192     55 |        2 |        7
1109.11/1109.31	c 1109s |      18 |   411864 |   397852 |    17192     55 |        2 |        7
1111.21/1111.47	c 1111s |      18 |   412822 |   398752 |    17192     55 |        2 |        7
1113.41/1113.65	c 1113s |      18 |   413828 |   399652 |    17192     55 |        2 |        7
1115.62/1115.81	c 1115s |      18 |   414597 |   400352 |    17192     55 |        2 |        7
1117.72/1117.94	c 1117s |      18 |   415457 |   401152 |    17192     55 |        2 |        7
1119.92/1120.11	c 1119s |      18 |   416423 |   402052 |    17192     56 |        2 |        7
1122.02/1122.25	c 1122s |      18 |   417489 |   403052 |    17192     56 |        2 |        7
1124.22/1124.43	c 1124s |      18 |   418573 |   404052 |    17192     56 |        2 |        7
1126.33/1126.50	c 1126s |      18 |   419532 |   404952 |    17192     56 |        2 |        7
1128.32/1128.57	c 1128s |      18 |   420512 |   405852 |    17192     56 |        2 |        7
1130.42/1130.69	c 1130s |      18 |   421509 |   406752 |    17192     56 |        2 |        7
1132.72/1132.92	c 1132s |      18 |   422477 |   407652 |    17192     56 |        2 |        7
1134.92/1135.14	c 1134s |      18 |   423469 |   408552 |    17192     56 |        2 |        7
1137.02/1137.26	c 1137s |      18 |   424110 |   409152 |    17192     56 |        2 |        7
1139.32/1139.51	c 1139s |      18 |   425085 |   410052 |    17192     56 |        2 |        7
1141.32/1141.59	c 1141s |      18 |   426035 |   410952 |    17192     57 |        2 |        7
1143.62/1143.80	c 1143s |      18 |   427102 |   411952 |    17192     57 |        2 |        7
1145.72/1145.99	c 1145s |      18 |   428191 |   412952 |    17192     57 |        2 |        7
1147.92/1148.19	c 1148s |      18 |   429154 |   413852 |    17192     57 |        2 |        7
1150.12/1150.36	c 1150s |      18 |   430100 |   414752 |    17192     57 |        2 |        7
1152.31/1152.59	c 1152s |      18 |   431060 |   415652 |    17192     57 |        2 |        7
1154.41/1154.67	c 1154s |      18 |   431898 |   416452 |    17192     57 |        2 |        7
1156.41/1156.68	c 1156s |      18 |   432750 |   417252 |    17192     57 |        2 |        7
1158.61/1158.87	c 1158s |      18 |   433501 |   417952 |    17192     57 |        2 |        7
1160.71/1160.98	c 1160s |      18 |   434369 |   418752 |    17192     58 |        2 |        7
1162.71/1162.99	c 1162s |      18 |   435441 |   419752 |    17192     58 |        2 |        7
1164.72/1164.99	c 1164s |      18 |   436399 |   420652 |    17192     58 |        2 |        7
1166.92/1167.18	c 1167s |      18 |   437483 |   421652 |    17192     58 |        2 |        7
1169.12/1169.33	c 1169s |      18 |   438458 |   422552 |    17192     58 |        2 |        7
1171.21/1171.50	c 1171s |      18 |   439425 |   423452 |    17192     58 |        2 |        7
1173.52/1173.73	c 1173s |      18 |   440398 |   424352 |    17192     58 |        2 |        7
1175.61/1175.85	c 1175s |      18 |   441247 |   425152 |    17192     58 |        2 |        7
1177.81/1178.00	c 1177s |      18 |   442104 |   425952 |    17192     58 |        2 |        7
1180.22/1180.45	c 1180s |      18 |   442972 |   426752 |    17192     58 |        2 |        7
1182.42/1182.62	c 1182s |      18 |   443839 |   427552 |    17192     59 |        2 |        7
1184.52/1184.79	c 1184s |      18 |   444921 |   428552 |    17192     59 |        2 |        7
1186.82/1187.02	c 1186s |      18 |   445969 |   429552 |    17192     59 |        2 |        7
1189.02/1189.21	c 1189s |      18 |   447015 |   430552 |    17192     59 |        2 |        7
1191.11/1191.32	c 1191s |      18 |   447973 |   431452 |    17192     59 |        2 |        7
1193.21/1193.50	c 1193s |      18 |   448949 |   432352 |    17192     59 |        2 |        7
1195.51/1195.72	c 1195s |      18 |   449913 |   433252 |    17192     59 |        2 |        7
1197.51/1197.77	c 1197s |      18 |   450761 |   434052 |    17192     59 |        2 |        7
1199.61/1199.84	c 1199s |      18 |   451661 |   434852 |    17192     59 |        2 |        7
1201.81/1202.02	c 1201s |      18 |   452403 |   435552 |    17192     59 |        2 |        7
1203.91/1204.19	c 1204s |      18 |   453354 |   436452 |    17192     60 |        2 |        7
1206.00/1206.20	c 1206s |      18 |   454317 |   437352 |    17192     60 |        2 |        7
1208.20/1208.41	c 1208s |      18 |   455372 |   438352 |    17192     60 |        2 |        7
1210.30/1210.57	c 1210s |      18 |   456467 |   439352 |    17192     60 |        2 |        7
1212.40/1212.61	c 1212s |      18 |   457405 |   440252 |    17192     60 |        2 |        7
1214.50/1214.73	c 1214s |      18 |   458366 |   441152 |    17192     60 |        2 |        7
1216.70/1216.93	c 1216s |      18 |   459336 |   442052 |    18912     60 |        2 |        7
1218.90/1219.16	c 1219s |      18 |   460282 |   442952 |    18912     60 |        2 |        7
1220.91/1221.16	c 1221s |      18 |   461179 |   443752 |    18912     60 |        2 |        7
1222.80/1223.06	c 1222s |      19 |   461941 |   444482 |    18912     60 |        2 |        7
1225.00/1225.24	c 1225s |      19 |   462849 |   445282 |    18912     60 |        2 |        7
1227.20/1227.45	c 1227s |      19 |   463703 |   446082 |    18912     60 |        2 |        7
1229.40/1229.67	c 1229s |      19 |   464684 |   446982 |    18912     61 |        2 |        7
1231.60/1231.85	c 1231s |      19 |   465752 |   447982 |    18912     61 |        2 |        7
1233.60/1233.87	c 1233s |      19 |   466590 |   448782 |    18912     61 |        2 |        7
1235.60/1235.88	c 1235s |      19 |   467563 |   449682 |    18912     61 |        2 |        7
1237.79/1238.08	c 1237s |      19 |   468546 |   450582 |    18912     61 |        2 |        7
1240.09/1240.31	c 1240s |      19 |   469527 |   451482 |    18912     61 |        2 |        7
1242.09/1242.40	c 1242s |      19 |   470380 |   452282 |    18912     61 |        2 |        7
1244.29/1244.56	c 1244s |      19 |   471268 |   453082 |    18912     61 |        2 |        7
1246.39/1246.65	c 1246s |      19 |   472134 |   453882 |    18912     61 |        2 |        7
1248.59/1248.85	c 1248s |      19 |   473009 |   454682 |    18912     61 |        2 |        7
1250.89/1251.10	c 1250s |      19 |   473848 |   455482 |    18912     61 |        2 |        7
1252.89/1253.17	c 1253s |      19 |   474717 |   456282 |    18912     62 |        2 |        7
1254.90/1255.17	c 1255s |      19 |   475685 |   457182 |    18912     62 |        2 |        7
1256.89/1257.17	c 1257s |      19 |   476536 |   457982 |    18912     62 |        2 |        7
1259.09/1259.30	c 1259s |      19 |   477493 |   458882 |    18912     62 |        2 |        7
1261.29/1261.54	c 1261s |      19 |   478465 |   459782 |    18912     62 |        2 |        7
1263.39/1263.65	c 1263s |      19 |   479332 |   460582 |    18912     62 |        2 |        7
1265.69/1265.90	c 1265s |      19 |   480287 |   461482 |    18912     62 |        2 |        7
1267.80/1268.01	c 1267s |      19 |   481069 |   462182 |    18912     62 |        2 |        7
1269.90/1270.13	c 1269s |      19 |   481928 |   462982 |    18912     62 |        2 |        7
1272.10/1272.31	c 1272s |      19 |   482811 |   463782 |    18912     62 |        2 |        7
1274.20/1274.48	c 1274s |      19 |   483685 |   464582 |    18912     62 |        2 |        7
1276.30/1276.51	c 1276s |      19 |   484469 |   465282 |    18912     63 |        2 |        7
1278.30/1278.58	c 1278s |      19 |   485454 |   466182 |    18912     63 |        2 |        7
1280.50/1280.71	c 1280s |      19 |   486534 |   467182 |    18912     63 |        2 |        7
1282.60/1282.82	c 1282s |      19 |   487508 |   468082 |    18912     63 |        2 |        7
1284.70/1284.97	c 1284s |      19 |   488512 |   468982 |    18912     63 |        2 |        7
1286.90/1287.12	c 1286s |      19 |   489488 |   469882 |    18912     63 |        2 |        7
1288.90/1289.13	c 1288s |      19 |   490371 |   470682 |    18912     63 |        2 |        7
1290.89/1291.16	c 1291s |      19 |   491224 |   471482 |    18912     63 |        2 |        7
1292.99/1293.29	c 1293s |      19 |   492081 |   472282 |    18912     63 |        2 |        7
1295.19/1295.45	c 1295s |      19 |   492927 |   473082 |    18912     63 |        2 |        7
1297.49/1297.70	c 1297s |      19 |   493778 |   473882 |    18912     63 |        2 |        7
1299.69/1299.94	c 1299s |      19 |   494661 |   474682 |    18912     63 |        2 |        7
1301.89/1302.12	c 1301s |      19 |   495596 |   475582 |    18912     64 |        2 |        7
1303.89/1304.16	c 1304s |      19 |   496562 |   476482 |    18912     64 |        2 |        7
1306.09/1306.36	c 1306s |      19 |   497628 |   477482 |    18912     64 |        2 |        7
1308.19/1308.45	c 1308s |      19 |   498620 |   478382 |    18912     64 |        2 |        7
1310.39/1310.61	c 1310s |      19 |   499613 |   479282 |    18912     64 |        2 |        7
1312.39/1312.66	c 1312s |      19 |   500491 |   480082 |    18912     64 |        2 |        7
1314.40/1314.69	c 1314s |      19 |   501340 |   480882 |    18912     64 |        2 |        7
1316.50/1316.73	c 1316s |      19 |   502204 |   481682 |    18912     64 |        2 |        7
1318.59/1318.88	c 1318s |      19 |   503055 |   482482 |    18912     64 |        2 |        7
1320.90/1321.13	c 1320s |      19 |   503914 |   483282 |    18912     64 |        2 |        7
1322.89/1323.15	c 1323s |      19 |   504670 |   483982 |    18912     64 |        2 |        7
1324.99/1325.26	c 1325s |      19 |   505527 |   484782 |    18912     65 |        2 |        7
1327.29/1327.51	c 1327s |      19 |   506589 |   485782 |    18912     65 |        2 |        7
1329.39/1329.60	c 1329s |      19 |   507559 |   486682 |    18912     65 |        2 |        7
1331.49/1331.70	c 1331s |      19 |   508515 |   487582 |    18912     65 |        2 |        7
1333.59/1333.86	c 1333s |      19 |   509373 |   488382 |    18912     65 |        2 |        7
1335.79/1336.08	c 1335s |      19 |   510349 |   489282 |    18912     65 |        2 |        7
1337.89/1338.17	c 1338s |      19 |   511196 |   490082 |    18912     65 |        2 |        7
1339.99/1340.29	c 1340s |      19 |   512050 |   490882 |    18912     65 |        2 |        7
1342.29/1342.53	c 1342s |      19 |   512898 |   491682 |    18912     65 |        2 |        7
1344.59/1344.83	c 1344s |      19 |   513761 |   492482 |    18912     65 |        2 |        7
1346.59/1346.87	c 1346s |      19 |   514527 |   493182 |    18912     65 |        2 |        7
1348.69/1348.96	c 1348s |      19 |   515309 |   493882 |    18912     66 |        2 |        7
1350.69/1350.98	c 1350s |      19 |   516272 |   494782 |    18912     66 |        2 |        7
1352.79/1353.02	c 1352s |      19 |   517249 |   495682 |    18912     66 |        2 |        7
1354.89/1355.14	c 1354s |      19 |   518205 |   496582 |    18912     66 |        2 |        7
1357.08/1357.33	c 1357s |      19 |   519053 |   497382 |    18912     66 |        2 |        7
1359.18/1359.41	c 1359s |      19 |   520000 |   498282 |    18912     66 |        2 |        7
1361.28/1361.53	c 1361s |      19 |   520960 |   499182 |    18912     66 |        2 |        7
1363.28/1363.57	c 1363s |      19 |   521816 |   499982 |    18912     66 |        2 |        7
1365.38/1365.62	c 1365s |      19 |   522688 |   500782 |    18912     66 |        2 |        7
1367.58/1367.81	c 1367s |      19 |   523522 |   501582 |    18912     66 |        2 |        7
1369.78/1370.05	c 1369s |      19 |   524372 |   502382 |    18912     66 |        2 |        7
1371.78/1372.08	c 1371s |      19 |   525103 |   503082 |    18912     66 |        2 |        7
1373.88/1374.19	c 1374s |      19 |   525953 |   503882 |    18912     67 |        2 |        7
1375.99/1376.24	c 1376s |      19 |   526903 |   504782 |    18912     67 |        2 |        7
1377.98/1378.26	c 1378s |      19 |   527780 |   505582 |    18912     67 |        2 |        7
1380.08/1380.34	c 1380s |      19 |   528761 |   506482 |    18912     67 |        2 |        7
1382.08/1382.38	c 1382s |      19 |   529607 |   507282 |    18912     67 |        2 |        7
1384.08/1384.39	c 1384s |      19 |   530453 |   508082 |    18912     67 |        2 |        7
1386.18/1386.44	c 1386s |      19 |   531311 |   508882 |    18912     67 |        2 |        7
1388.28/1388.59	c 1388s |      19 |   532169 |   509682 |    18912     67 |        2 |        7
1390.58/1390.82	c 1390s |      19 |   533014 |   510482 |    18912     67 |        2 |        7
1392.78/1393.08	c 1392s |      19 |   533874 |   511282 |    18912     67 |        2 |        7
1394.88/1395.12	c 1394s |      19 |   534623 |   511982 |    18912     67 |        2 |        7
1396.88/1397.18	c 1397s |      19 |   535373 |   512682 |    18912     67 |        2 |        7
1399.08/1399.30	c 1399s |      19 |   536335 |   513582 |    18912     68 |        2 |        7
1401.07/1401.40	c 1401s |      19 |   536985 |   514182 |    18912     68 |        2 |        7
1403.17/1403.46	c 1403s |      19 |   537875 |   514982 |    18912     68 |        2 |        7
1405.37/1405.67	c 1405s |      19 |   538973 |   515982 |    18912     68 |        2 |        7
1407.47/1407.74	c 1407s |      19 |   539944 |   516882 |    18912     68 |        2 |        7
1409.56/1409.88	c 1409s |      19 |   540901 |   517782 |    18912     68 |        2 |        7
1411.66/1411.99	c 1411s |      19 |   541880 |   518682 |    18912     68 |        2 |        7
1413.86/1414.17	c 1414s |      19 |   542833 |   519582 |    18912     68 |        2 |        7
1416.06/1416.34	c 1416s |      19 |   543706 |   520382 |    18912     68 |        2 |        7
1418.16/1418.41	c 1418s |      19 |   544586 |   521182 |    18912     68 |        2 |        7
1420.26/1420.57	c 1420s |      19 |   545470 |   521982 |    18912     68 |        2 |        7
1422.46/1422.77	c 1422s |      19 |   546348 |   522782 |    18912     69 |        2 |        7
1424.66/1424.97	c 1424s |      19 |   547410 |   523782 |    18912     69 |        2 |        7
1426.86/1427.14	c 1426s |      19 |   548490 |   524782 |    18912     69 |        2 |        7
1428.96/1429.29	c 1429s |      19 |   549459 |   525682 |    18912     69 |        2 |        7
1431.16/1431.40	c 1431s |      19 |   550453 |   526582 |    18912     69 |        2 |        7
1433.36/1433.62	c 1433s |      19 |   551426 |   527482 |    18912     69 |        2 |        7
1435.36/1435.63	c 1435s |      19 |   552270 |   528282 |    18912     69 |        2 |        7
1437.35/1437.67	c 1437s |      19 |   553158 |   529082 |    18912     69 |        2 |        7
1439.45/1439.77	c 1439s |      19 |   554055 |   529882 |    18912     69 |        2 |        7
1441.75/1442.03	c 1441s |      19 |   554922 |   530682 |    18912     69 |        2 |        7
1443.95/1444.30	c 1444s |      19 |   555798 |   531482 |    18912     69 |        2 |        7
1446.36/1446.63	c 1446s |      19 |   556537 |   532182 |    18912     70 |        2 |        7
1448.55/1448.83	c 1448s |      19 |   557282 |   532882 |    18912     70 |        2 |        7
1450.55/1450.84	c 1450s |      19 |   558266 |   533782 |    18912     70 |        2 |        7
1452.65/1452.95	c 1452s |      19 |   559249 |   534682 |    18912     70 |        2 |        7
1454.85/1455.12	c 1454s |      19 |   560223 |   535582 |    18912     70 |        2 |        7
1456.84/1457.14	c 1456s |      19 |   561088 |   536382 |    18912     70 |        2 |        7
1459.04/1459.30	c 1459s |      19 |   561962 |   537182 |    18912     70 |        2 |        7
1461.14/1461.50	c 1461s |      19 |   562880 |   537982 |    18912     70 |        2 |        7
1463.34/1463.69	c 1463s |      19 |   563758 |   538782 |    18912     70 |        2 |        7
1465.64/1465.99	c 1465s |      19 |   564626 |   539582 |    18912     70 |        2 |        7
1467.74/1468.01	c 1467s |      19 |   565376 |   540282 |    18912     70 |        2 |        7
1469.74/1470.09	c 1469s |      19 |   566125 |   540982 |    18912     70 |        2 |        7
1471.84/1472.18	c 1472s |      19 |   567001 |   541782 |    18912     71 |        2 |        7
1473.94/1474.24	c 1474s |      19 |   567991 |   542682 |    18912     71 |        2 |        7
1476.04/1476.33	c 1476s |      19 |   568977 |   543582 |    18912     71 |        2 |        7
1478.24/1478.54	c 1478s |      19 |   569957 |   544482 |    18912     71 |        2 |        7
1480.44/1480.74	c 1480s |      19 |   570928 |   545382 |    18912     71 |        2 |        7
1482.54/1482.89	c 1482s |      19 |   571902 |   546282 |    18912     71 |        2 |        7
1484.63/1484.95	c 1484s |      19 |   572761 |   547082 |    18912     71 |        2 |        7
1486.63/1486.98	c 1486s |      19 |   573626 |   547882 |    18912     71 |        2 |        7
1488.83/1489.13	c 1488s |      19 |   574488 |   548682 |    18912     71 |        2 |        7
1491.03/1491.31	c 1491s |      19 |   575372 |   549482 |    18912     71 |        2 |        7
1493.03/1493.36	c 1493s |      19 |   576013 |   550082 |    18912     71 |        2 |        7
1495.03/1495.36	c 1495s |      19 |   576756 |   550782 |    18912     72 |        2 |        7
1497.03/1497.38	c 1497s |      19 |   577754 |   551682 |    18912     72 |        2 |        7
1499.23/1499.51	c 1499s |      19 |   578750 |   552582 |    18912     72 |        2 |        7
1501.23/1501.54	c 1501s |      19 |   579724 |   553482 |    18912     72 |        2 |        7
1503.33/1503.65	c 1503s |      19 |   580706 |   554382 |    18912     72 |        2 |        7
1505.43/1505.74	c 1505s |      19 |   581345 |   554982 |    18912     72 |        2 |        7
1507.42/1507.79	c 1507s |      19 |   582204 |   555782 |    18912     72 |        2 |        7
1509.72/1510.02	c 1509s |      19 |   583187 |   556682 |    18912     72 |        2 |        7
1511.72/1512.07	c 1511s |      19 |   584053 |   557482 |    18912     72 |        2 |        7
1513.82/1514.15	c 1514s |      19 |   584914 |   558282 |    18912     72 |        2 |        7
1516.52/1516.80	c 1516s |      19 |   585681 |   558982 |    18912     72 |        2 |        7
1518.52/1518.82	c 1518s |      19 |   586436 |   559682 |    18912     72 |        2 |        7
1520.62/1520.97	c 1520s |      19 |   587166 |   560382 |    18912     73 |        2 |        7
1522.82/1523.15	c 1523s |      19 |   588119 |   561282 |    18912     73 |        2 |        7
1524.92/1525.20	c 1525s |      19 |   589079 |   562182 |    18912     73 |        2 |        7
1526.91/1527.21	c 1527s |      19 |   590078 |   563082 |    18912     73 |        2 |        7
1528.91/1529.23	c 1529s |      19 |   590927 |   563882 |    18912     73 |        2 |        7
1531.02/1531.39	c 1531s |      19 |   591909 |   564782 |    18912     73 |        2 |        7
1533.12/1533.45	c 1533s |      19 |   592755 |   565582 |    18912     73 |        2 |        7
1535.11/1535.47	c 1535s |      19 |   593612 |   566382 |    18912     73 |        2 |        7
1537.31/1537.62	c 1537s |      19 |   594471 |   567182 |    18912     73 |        2 |        7
1539.72/1540.02	c 1539s |      19 |   595311 |   567982 |    18912     73 |        2 |        7
1541.71/1542.02	c 1541s |      19 |   596045 |   568682 |    18912     73 |        2 |        7
1543.71/1544.08	c 1543s |      19 |   596810 |   569382 |    18912     73 |        2 |        7
1545.91/1546.22	c 1546s |      19 |   597677 |   570182 |    18912     74 |        2 |        7
1548.00/1548.39	c 1548s |      19 |   598647 |   571082 |    18912     74 |        2 |        7
1550.10/1550.47	c 1550s |      19 |   599589 |   571982 |    18912     74 |        2 |        7
1552.30/1552.67	c 1552s |      19 |   600554 |   572882 |    18912     74 |        2 |        7
1554.50/1554.81	c 1554s |      19 |   601533 |   573782 |    18912     74 |        2 |        7
1556.70/1557.04	c 1556s |      19 |   602493 |   574682 |    18912     74 |        2 |        7
1558.70/1559.09	c 1558s |      19 |   603340 |   575482 |    18912     74 |        2 |        7
1561.20/1561.52	c 1561s |      19 |   604200 |   576282 |    18912     74 |        2 |        7
1563.30/1563.69	c 1563s |      19 |   605083 |   577082 |    18912     74 |        2 |        7
1565.60/1565.99	c 1565s |      19 |   605955 |   577882 |    18912     74 |        2 |        7
1568.00/1568.30	c 1568s |      19 |   606850 |   578682 |    18912     74 |        2 |        7
1570.00/1570.35	c 1570s |      19 |   607622 |   579382 |    18912     75 |        2 |        7
1572.10/1572.42	c 1572s |      19 |   608586 |   580282 |    18912     75 |        2 |        7
1574.20/1574.58	c 1574s |      19 |   609565 |   581182 |    18912     75 |        2 |        7
1576.40/1576.78	c 1576s |      19 |   610522 |   582082 |    18912     75 |        2 |        7
1578.50/1578.84	c 1578s |      19 |   611379 |   582882 |    18912     75 |        2 |        7
1580.70/1581.06	c 1580s |      19 |   612355 |   583782 |    18912     75 |        2 |        7
1582.80/1583.14	c 1582s |      19 |   613198 |   584582 |    18912     75 |        2 |        7
1585.00/1585.37	c 1585s |      19 |   613945 |   585282 |    18912     75 |        2 |        7
1587.11/1587.46	c 1587s |      19 |   614798 |   586082 |    18912     75 |        2 |        7
1589.31/1589.62	c 1589s |      19 |   615641 |   586882 |    18912     75 |        2 |        7
1591.30/1591.64	c 1591s |      19 |   616386 |   587582 |    18912     75 |        2 |        7
1593.50/1593.81	c 1593s |      19 |   617130 |   588282 |    18912     75 |        2 |        7
1595.60/1595.90	c 1595s |      19 |   617755 |   588882 |    18912     76 |        2 |        7
1597.69/1598.03	c 1597s |      19 |   618602 |   589682 |    18912     76 |        2 |        7
1599.79/1600.19	c 1600s |      19 |   619451 |   590482 |    18912     76 |        2 |        7
1601.89/1602.30	c 1602s |      19 |   620297 |   591282 |    18912     76 |        2 |        7
1604.09/1604.44	c 1604s |      19 |   621141 |   592082 |    18912     76 |        2 |        7
1606.29/1606.60	c 1606s |      19 |   621979 |   592882 |    18912     76 |        2 |        7
1608.49/1608.80	c 1608s |      19 |   622794 |   593682 |    18912     76 |        2 |        7
1610.49/1610.87	c 1610s |      19 |   623515 |   594382 |    18912     76 |        2 |        7
1612.79/1613.16	c 1613s |      19 |   624368 |   595182 |    18912     76 |        2 |        7
1614.89/1615.28	c 1615s |      19 |   625084 |   595882 |    18912     76 |        2 |        7
1617.08/1617.40	c 1617s |      19 |   625806 |   596582 |    18912     76 |        2 |        7
1619.28/1619.69	c 1619s |      19 |   626432 |   597182 |    18912     76 |        2 |        7
1621.58/1621.98	c 1621s |      19 |   627274 |   597982 |    18912     76 |        2 |        7
1623.68/1624.04	c 1623s |      19 |   628140 |   598782 |    18912     77 |        2 |        7
1625.78/1626.13	c 1625s |      19 |   629112 |   599682 |    18912     77 |        2 |        7
1627.78/1628.16	c 1628s |      19 |   630092 |   600582 |    18912     77 |        2 |        7
1629.98/1630.33	c 1630s |      19 |   631061 |   601482 |    18912     77 |        2 |        7
1632.18/1632.53	c 1632s |      19 |   632047 |   602382 |    18912     77 |        2 |        7
1634.18/1634.57	c 1634s |      19 |   632936 |   603182 |    18912     77 |        2 |        7
1636.38/1636.72	c 1636s |      19 |   633795 |   603982 |    18912     77 |        2 |        7
1638.57/1638.91	c 1638s |      19 |   634661 |   604782 |    18912     77 |        2 |        7
1640.57/1640.93	c 1640s |      19 |   635431 |   605482 |    18912     77 |        2 |        7
1642.57/1642.96	c 1642s |      19 |   636098 |   606082 |    18912     77 |        2 |        7
1644.77/1645.10	c 1644s |      19 |   636845 |   606782 |    18912     77 |        2 |        7
1646.87/1647.24	c 1647s |      19 |   637725 |   607582 |    18912     77 |        2 |        7
1648.97/1649.39	c 1649s |      19 |   638618 |   608382 |    18912     78 |        2 |        7
1651.07/1651.47	c 1651s |      19 |   639599 |   609282 |    18912     78 |        2 |        7
1653.16/1653.52	c 1653s |      19 |   640584 |   610182 |    18912     78 |        2 |        7
1655.17/1655.54	c 1655s |      19 |   641459 |   610982 |    18912     78 |        2 |        7
1657.26/1657.62	c 1657s |      19 |   642319 |   611782 |    18912     78 |        2 |        7
1659.26/1659.69	c 1659s |      19 |   643216 |   612582 |    18912     78 |        2 |        7
1661.46/1661.87	c 1661s |      19 |   644088 |   613382 |    18912     78 |        2 |        7
1663.46/1663.88	c 1663s |      19 |   644852 |   614082 |    18912     78 |        2 |        7
1665.66/1666.01	c 1665s |      19 |   645723 |   614882 |    18912     78 |        2 |        7
1667.76/1668.16	c 1668s |      19 |   646635 |   615682 |    18912     78 |        2 |        7
1670.06/1670.43	c 1670s |      19 |   647511 |   616482 |    18912     78 |        2 |        7
1672.16/1672.58	c 1672s |      19 |   648284 |   617182 |    18912     79 |        2 |        7
1674.26/1674.63	c 1674s |      19 |   649264 |   618082 |    18912     79 |        2 |        7
1676.36/1676.78	c 1676s |      19 |   650231 |   618982 |    18912     79 |        2 |        7
1678.55/1678.96	c 1678s |      19 |   651181 |   619882 |    18912     79 |        2 |        7
1680.65/1681.05	c 1680s |      19 |   652046 |   620682 |    18912     79 |        2 |        7
1682.76/1683.16	c 1683s |      19 |   652928 |   621482 |    18912     79 |        2 |        7
1685.05/1685.41	c 1685s |      19 |   653764 |   622282 |    18912     79 |        2 |        7
1687.15/1687.57	c 1687s |      19 |   654511 |   622982 |    18912     79 |        2 |        7
1689.45/1689.80	c 1689s |      19 |   655385 |   623782 |    18912     79 |        2 |        7
1691.55/1691.95	c 1691s |      19 |   656263 |   624582 |    18912     79 |        2 |        7
1693.75/1694.16	c 1694s |      19 |   657111 |   625382 |    18912     79 |        2 |        7
1695.75/1696.16	c 1696s |      19 |   657855 |   626082 |    18912     79 |        2 |        7
1698.24/1698.69	c 1698s |      19 |   658734 |   626882 |    18912     80 |        2 |        7
1700.44/1700.88	c 1700s |      19 |   659808 |   627882 |    18912     80 |        2 |        7
1702.55/1702.95	c 1702s |      19 |   660760 |   628782 |    18912     80 |        2 |        7
1704.75/1705.12	c 1704s |      19 |   661721 |   629682 |    18912     80 |        2 |        7
1706.85/1707.24	c 1707s |      19 |   662583 |   630482 |    18912     80 |        2 |        7
1708.94/1709.35	c 1709s |      19 |   663241 |   631082 |    18912     80 |        2 |        7
1711.14/1711.56	c 1711s |      19 |   664098 |   631882 |    18912     80 |        2 |        7
1713.24/1713.64	c 1713s |      19 |   664853 |   632582 |    18912     80 |        2 |        7
1715.24/1715.65	c 1715s |      19 |   665610 |   633282 |    18912     80 |        2 |        7
1717.34/1717.79	c 1717s |      19 |   666360 |   633982 |    18912     80 |        2 |        7
1719.64/1720.05	c 1719s |      19 |   667090 |   634682 |    18912     80 |        2 |        7
1721.94/1722.30	c 1722s |      19 |   667835 |   635382 |    18912     80 |        2 |        7
1724.24/1724.60	c 1724s |      19 |   668601 |   636082 |    18912     80 |        2 |        7
1726.44/1726.81	c 1726s |      19 |   669467 |   636882 |    18912     81 |        2 |        7
1728.43/1728.85	c 1728s |      19 |   670299 |   637682 |    18912     81 |        2 |        7
1730.63/1731.06	c 1730s |      19 |   671264 |   638582 |    18912     81 |        2 |        7
1732.73/1733.13	c 1732s |      19 |   672027 |   639282 |    18912     81 |        2 |        7
1734.83/1735.30	c 1735s |      19 |   672872 |   640082 |    18912     81 |        2 |        7
1736.93/1737.37	c 1737s |      19 |   673629 |   640782 |    18912     81 |        2 |        7
1739.03/1739.49	c 1739s |      19 |   674496 |   641582 |    18912     81 |        2 |        7
1741.23/1741.60	c 1741s |      19 |   675356 |   642382 |    18912     81 |        2 |        7
1743.23/1743.63	c 1743s |      19 |   676080 |   643082 |    18912     81 |        2 |        7
1745.23/1745.65	c 1745s |      19 |   676838 |   643782 |    18912     81 |        2 |        7
1747.32/1747.74	c 1747s |      19 |   677582 |   644482 |    18912     81 |        2 |        7
1749.52/1749.96	c 1749s |      19 |   678316 |   645182 |    18912     81 |        2 |        7
1751.62/1752.08	c 1751s |      19 |   679073 |   645882 |    18912     82 |        2 |        7
1753.72/1754.16	c 1754s |      19 |   680049 |   646782 |    18912     82 |        2 |        7
1755.82/1756.21	c 1756s |      19 |   680925 |   647582 |    18912     82 |        2 |        7
1758.02/1758.40	c 1758s |      19 |   681904 |   648482 |    18912     82 |        2 |        7
1760.12/1760.52	c 1760s |      19 |   682746 |   649282 |    18912     82 |        2 |        7
1762.32/1762.71	c 1762s |      19 |   683606 |   650082 |    18912     82 |        2 |        7
1764.52/1764.97	c 1764s |      19 |   684470 |   650882 |    18912     82 |        2 |        7
1766.81/1767.28	c 1767s |      19 |   685332 |   651682 |    18912     82 |        2 |        7
1768.81/1769.29	c 1769s |      19 |   686093 |   652382 |    18912     82 |        2 |        7
1771.01/1771.40	c 1771s |      19 |   686849 |   653082 |    18912     82 |        2 |        7
1773.21/1773.64	c 1773s |      19 |   687606 |   653782 |    18912     82 |        2 |        7
1775.41/1775.88	c 1775s |      19 |   688344 |   654482 |    18912     82 |        2 |        7
1777.60/1778.01	c 1777s |      19 |   688983 |   655082 |    18912     82 |        2 |        7
1779.60/1780.04	c 1779s |      19 |   689750 |   655782 |    18912     83 |        2 |        7
1781.80/1782.22	c 1782s |      19 |   690500 |   656482 |    18912     83 |        2 |        7
1783.81/1784.25	c 1784s |      19 |   691383 |   657282 |    18912     83 |        2 |        7
1785.90/1786.34	c 1786s |      19 |   692236 |   658082 |    18912     83 |        2 |        7
1787.90/1788.39	c 1788s |      19 |   693087 |   658882 |    18912     83 |        2 |        7
1790.20/1790.65	c 1790s |      19 |   694073 |   659782 |    18912     83 |        2 |        7
1792.80/1793.26	c 1793s |      19 |   694844 |   660482 |    18912     83 |        2 |        7
1794.91/1795.36	c 1795s |      19 |   695696 |   661282 |    18912     83 |        2 |        7
1797.01/1797.43	c 1797s |      19 |   696445 |   661982 |    18912     83 |        2 |        7
1799.10/1799.53	c 1799s |      19 |   697196 |   662682 |    20804     83 |        2 |        7

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

pid=20853
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.31 2.33 2.28 3/179 20856
/proc/meminfo: memFree=27521532/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=535996 CPUtime=0 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 1965 0 0 0 0 0 0 0 20 0 4 0 25208340 548859904 2327 33554432000 4194304 16246674 140734603257040 140734603256464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 134511 2337 441 2943 0 131405 0
[pid=20856/tid=20857] ppid=20853 vsize=553404 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 566685696 2397 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=557500 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 570880000 2413 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=561596 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25208340 575074304 2429 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100193 s]
/proc/loadavg: 2.31 2.33 2.28 3/179 20856
/proc/meminfo: memFree=27521532/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 23737 0 0 0 5 3 0 0 20 0 4 0 25208340 1249447936 24036 33554432000 4194304 16246674 140734603257040 140734603256352 6740269 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 305041 24044 832 2943 0 301935 0
[pid=20856/tid=20857] ppid=20853 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1249447936 24050 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1249447936 24056 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1249447936 24061 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200507 s]
/proc/loadavg: 2.31 2.33 2.28 3/179 20856
/proc/meminfo: memFree=27521532/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1220164 CPUtime=0.18 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 41698 0 0 0 12 6 0 0 20 0 4 0 25208340 1249447936 41998 33554432000 4194304 16246674 140734603257040 140734603256352 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 305041 42006 880 2943 0 301935 0
[pid=20856/tid=20857] ppid=20853 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1249447936 42009 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1249447936 42013 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1249447936 42019 33554432000 4194304 16246674 140734603257040 140087151021232 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) 1220164

[startup+0.300462 s]
/proc/loadavg: 2.31 2.33 2.28 3/179 20856
/proc/meminfo: memFree=27521532/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1220164 CPUtime=0.28 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 58617 0 0 0 19 9 0 0 20 0 4 0 25208340 1249447936 58916 33554432000 4194304 16246674 140734603257040 140734603238912 12478189 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 305041 58922 880 2943 0 301935 0
[pid=20856/tid=20857] ppid=20853 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1249447936 58926 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1249447936 58930 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1249447936 58934 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1220164

[startup+0.70039 s]
/proc/loadavg: 2.31 2.33 2.28 3/179 20856
/proc/meminfo: memFree=27521532/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 124926 0 0 0 49 20 0 0 20 0 4 0 25208340 1249447936 125225 33554432000 4194304 16246674 140734603257040 140734603238912 12477891 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 305041 125231 880 2943 0 301935 0
[pid=20856/tid=20857] ppid=20853 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1249447936 125235 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1249447936 125239 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1249447936 125243 33554432000 4194304 16246674 140734603257040 140087151021232 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) 1220164

[startup+1.50039 s]
/proc/loadavg: 2.31 2.33 2.28 3/183 20860
/proc/meminfo: memFree=26747388/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1301060 CPUtime=1.48 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 260633 0 0 0 111 37 0 0 20 0 4 0 25208340 1332285440 260932 33554432000 4194304 16246674 140734603257040 140734603256352 6021174 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 325265 260938 883 2943 0 322159 0
[pid=20856/tid=20857] ppid=20853 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1332285440 260941 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1332285440 260945 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1332285440 260949 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.36 2.34 2.29 3/183 20860
/proc/meminfo: memFree=26455616/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 267642 0 0 0 271 38 0 0 20 0 4 0 25208340 1337528320 267941 33554432000 4194304 16246674 140734603257040 140734603238912 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 326545 267941 883 2943 0 323439 0
[pid=20856/tid=20857] ppid=20853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1337528320 267941 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1337528320 267941 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1337528320 267941 33554432000 4194304 16246674 140734603257040 140087151021232 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) 1306180

[startup+6.30039 s]
/proc/loadavg: 2.36 2.34 2.29 3/183 20860
/proc/meminfo: memFree=26449924/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 267730 0 0 0 591 38 0 0 20 0 4 0 25208340 1337528320 268029 33554432000 4194304 16246674 140734603257040 140734603238912 13906983 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 326545 268029 887 2943 0 323439 0
[pid=20856/tid=20857] ppid=20853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1337528320 268029 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1337528320 268029 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1337528320 268029 33554432000 4194304 16246674 140734603257040 140087151021232 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.31 2.33 2.28 3/183 20860
/proc/meminfo: memFree=26449772/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 267730 0 0 0 1231 38 0 0 20 0 4 0 25208340 1337528320 268029 33554432000 4194304 16246674 140734603257040 140734603238912 5673024 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 326545 268029 887 2943 0 323439 0
[pid=20856/tid=20857] ppid=20853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1337528320 268029 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1337528320 268029 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1337528320 268029 33554432000 4194304 16246674 140734603257040 140087151021232 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) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.33 2.34 2.28 3/183 20860
/proc/meminfo: memFree=26443984/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1309252 CPUtime=25.48 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 268506 0 0 0 2510 38 0 0 20 0 4 0 25208340 1340674048 268805 33554432000 4194304 16246674 140734603257040 140734603238912 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 327313 268805 894 2943 0 324207 0
[pid=20856/tid=20857] ppid=20853 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1340674048 268805 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1340674048 268805 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1340674048 268805 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.29 2.32 2.28 3/183 20860
/proc/meminfo: memFree=26442008/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 268762 0 0 0 5070 38 0 0 20 0 4 0 25208340 1341722624 269061 33554432000 4194304 16246674 140734603257040 140734603238912 13906983 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 327569 269061 894 2943 0 324463 0
[pid=20856/tid=20857] ppid=20853 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1341722624 269061 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1341722624 269061 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1341722624 269061 33554432000 4194304 16246674 140734603257040 140087151021232 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) 1310276

[startup+102.3 s]
/proc/loadavg: 2.38 2.34 2.29 3/183 20861
/proc/meminfo: memFree=26441524/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 268762 0 0 0 10190 38 0 0 20 0 4 0 25208340 1341722624 269061 33554432000 4194304 16246674 140734603257040 140734603238912 5822671 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 327569 269061 894 2943 0 324463 0
[pid=20856/tid=20857] ppid=20853 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1341722624 269061 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1341722624 269061 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1341722624 269061 33554432000 4194304 16246674 140734603257040 140087151021232 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) 1310276


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

/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278021 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1346116

[startup+1302.3 s]
/proc/loadavg: 2.36 2.29 2.27 3/183 20891
/proc/meminfo: memFree=26388536/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1346116 CPUtime=1302.09 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 277722 0 0 0 130165 44 0 0 20 0 4 0 25208340 1378422784 278021 33554432000 4194304 16246674 140734603257040 140734603238912 5754608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 336529 278021 894 2943 0 333423 0
[pid=20856/tid=20857] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278021 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278021 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278021 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1346116

[startup+1362.3 s]
/proc/loadavg: 2.22 2.26 2.26 3/183 20892
/proc/meminfo: memFree=26387644/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1346116 CPUtime=1362.08 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 277723 0 0 0 136164 44 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140734603238912 5828829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 336529 278024 894 2943 0 333423 0
[pid=20856/tid=20857] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1346116

[startup+1422.3 s]
/proc/loadavg: 2.23 2.25 2.26 3/183 20893
/proc/meminfo: memFree=26387824/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1346116 CPUtime=1422.07 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 277743 0 0 0 142163 44 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140734603238912 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 336529 278024 894 2943 0 333423 0
[pid=20856/tid=20857] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1346116

[startup+1482.3 s]
/proc/loadavg: 2.37 2.27 2.27 3/183 20895
/proc/meminfo: memFree=26387632/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1346116 CPUtime=1482.03 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 277774 0 0 0 148159 44 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140734603238912 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 336529 278024 894 2943 0 333423 0
[pid=20856/tid=20857] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1346116

[startup+1542.31 s]
/proc/loadavg: 2.33 2.28 2.27 3/183 20896
/proc/meminfo: memFree=26387800/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1346116 CPUtime=1542.02 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 277799 0 0 0 154158 44 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140734603238912 5677888 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 336529 278024 894 2943 0 333423 0
[pid=20856/tid=20857] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1378422784 278024 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1346116

[startup+1602.3 s]
/proc/loadavg: 2.60 2.36 2.29 3/184 20900
/proc/meminfo: memFree=26384268/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1350212 CPUtime=1601.99 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 278853 0 0 0 160154 45 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140734603238912 12477970 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 337553 279048 894 2943 0 334447 0
[pid=20856/tid=20857] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1350212

[startup+1662.3 s]
/proc/loadavg: 2.45 2.36 2.29 4/184 20973
/proc/meminfo: memFree=26444628/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1350212 CPUtime=1661.96 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 278886 0 0 0 166151 45 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140734603238912 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 337553 279048 894 2943 0 334447 0
[pid=20856/tid=20857] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1350212

[startup+1722.3 s]
/proc/loadavg: 2.35 2.35 2.29 3/183 20974
/proc/meminfo: memFree=17422140/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1350212 CPUtime=1721.94 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 278919 0 0 0 172148 46 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140734603238912 5674832 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 337553 279048 894 2943 0 334447 0
[pid=20856/tid=20857] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1350212

[startup+1782.3 s]
/proc/loadavg: 2.38 2.34 2.29 3/183 20976
/proc/meminfo: memFree=14118012/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1350212 CPUtime=1781.9 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 278961 0 0 0 178144 46 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140734603238912 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 337553 279048 894 2943 0 334447 0
[pid=20856/tid=20857] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1350212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.34 2.34 2.29 3/183 20976
/proc/meminfo: memFree=14118024/32872528 swapFree=1459628/1655852
[pid=20856] ppid=20853 vsize=1350212 CPUtime=1800 cores=0,2,4,6
/proc/20856/stat : 20856 (toysat) R 20853 20856 16189 0 -1 4202496 278969 0 0 0 179954 46 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140734603238912 6837238 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20856/statm: 337553 279048 894 2943 0 334447 0
[pid=20856/tid=20857] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20857/stat : 20857 (toysat) S 20853 20856 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087171984624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20856/tid=20858] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20858/stat : 20858 (toysat) S 20853 20856 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087161494768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20856/tid=20859] ppid=20853 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/20856/task/20859/stat : 20859 (toysat) S 20853 20856 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25208340 1382617088 279048 33554432000 4194304 16246674 140734603257040 140087151021232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1350212

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 20856 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.43
CPU time (s): 1800.03
CPU user time (s): 1799.55
CPU system time (s): 0.486925
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 1350212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.486925
maximum resident set size= 1116192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278969
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= 238
involuntary context switches= 1926

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.99424 second user time and 6.51501 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 08:33:48
IDJOB=4102801
IDBENCH=2175
IDSOLVER=2542
FILE ID=node136/4102801-1466231628
RUNJOBID= node136-1466206055-16205
PBS_JOBID= 19918141
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102801-1466231628/watcher-4102801-1466231628 -o /tmp/evaluation-result-4102801-1466231628/solver-4102801-1466231628 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102801-1466231628.opb

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

MD5SUM BENCH= bc7893eb7aff4749139e472af91e587e
RANDOM SEED=1813489091

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27522176 kB
Buffers:          172108 kB
Cached:          1672960 kB
SwapCached:            0 kB
Active:          1243544 kB
Inactive:        1706088 kB
Active(anon):    1107048 kB
Inactive(anon):        0 kB
Active(file):     136496 kB
Inactive(file):  1706088 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16380 kB
Writeback:             0 kB
AnonPages:       2739876 kB
Mapped:            16660 kB
Shmem:               204 kB
Slab:             610452 kB
SReclaimable:      54664 kB
SUnreclaim:       555788 kB
KernelStack:        1520 kB
PageTables:         9252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2898052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 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= 71628 MiB
End job on node136 at 2016-06-18 09:03:49