Trace number 4079397

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? (MO) 1675.45 1675.89

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_0_mh.opb
MD5SUMdd3d38d29879098f25b76c0a87425db0
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5088349
Best CPU time to get the best result obtained on this benchmark3.20351
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 80621568
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3352482423
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 80621568
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3352482423
Number of bits of the biggest sum of numbers32
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-07T21:37:19+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-4079397-1465328239.opb"]
0.00/0.01	c use --random-gen="600294195 1056438080 450025925 2817649401 1568711120 1717673431 1332704860 526730730 2514076728 3888453443 633217796 2867343033 200948560 544662724 4032402226 41205077 568225891 3773697684 3512006943 1457726410 688246478 2458817154 373861008 2977384206 3069158979 3596094310 823094794 4154116910 4027791122 842012933 2197628261 148225650 482680114 1482972715 1284883318 3177621584 3605615999 4082232856 1108093567 2766599828 2029917758 2748998399 394563985 3993494364 154432522 2848693604 1501463676 229028452 2168437663 425549521 3788071280 1404497337 161585352 3677414367 1040102745 313959031 2788857984 267782052 3669887938 2424910740 3052380140 1648854317 238537480 3166475743 4223316739 911664744 736132312 1482443364 1488744074 2752561816 4020502283 144280660 2193194144 3819687463 1559795229 310459632 2553953708 4164315606 703865263 535496506 895576213 2971794712 1363502426 2105196495 3933159583 2623091187 2618402067 3770622817 1564931357 1310602457 1496983646 378229150 2390693732 3121858518 3131592962 3743033811 100847835 3408690716 1699538256 1353648478 862712451 2599486491 1476697863 63578121 906707780 165632799 2272101588 3788972359 643499849 1658298748 1461981172 3368282665 3093262633 2631054141 1253672206 1266442588 2788068618 2632763497 3093440564 1672291909 1600044372 351854234 3833358561 1425908803 3776362704 1906439516 3435530443 3090911712 537714099 2556665283 3054421767 3401132170 1341569128 2626112360 1852338287 3863279500 3432048685 2448782742 380943455 2298837928 2459832498 1552674956 203928038 754774342 474917811 166868022 999377540 2565454527 2698957824 3552699388 3514536852 55166356 1108735159 4214256643 3242192403 767284827 1123862556 151077851 4253935443 2552607843 1737950821 1437343332 1172313140 270092604 4212372084 2756885389 916424987 2349560967 1729306033 2640867296 1830166903 4004186226 1110277338 475216916 787076777 2766951770 2639052183 1764560478 4070223069 4011871321 1124522102 443162000 1297893818 3446814876 2164918 840040260 3262988757 607711673 787708137 176699323 2790076142 3793777505 3663446570 931659216 4090488314 1602696898 2316018459 673441814 188125756 2588138352 1917955949 3877945664 4041647931 2124268292 1573578520 2352777873 3274850359 3073379026 2171709820 1353229264 277046162 3180598251 2670122249 445520673 3005951311 2610685438 3414414201 1649958417 4055811156 3283033784 2404946135 1163587072 1839972028 2615884122 1013514570 3573854573 1864517952 1469333292 1491644648 717262690 3786435203 2265693743 3197075632 1528970503 3327304180 4122022183 3258586682 2114652619 2558125613 3900251694 2472751193 196200258 652022325 3824260206 3307718828 1005386583 816871240 1659859587 1363389391 100795509 827670539 405900559 3961682594 3745915255 1854126580 1471529892 255 362436" option to reproduce the execution
0.09/0.16	c #vars 6810
0.09/0.16	c #constraints 15202
0.29/0.38	c BCD2: Hardening is enabled.
0.29/0.38	c BCD2: BiasedSearch is enabled.
0.29/0.38	c Solving starts ...
0.29/0.38	c ============================[ Search Statistics ]============================
0.29/0.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.38	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.38	c =============================================================================
0.29/0.38	c  0.0s |       0 |        0 |        0 |     7477      0 |       45 |        0
0.49/0.52	c  0.1s |       1 |      370 |      100 |     7477      0 |       45 |        0
0.69/0.71	c  0.3s |       2 |      783 |      250 |     8225      0 |       45 |        0
1.10/1.16	c  0.8s |       3 |     1344 |      475 |     9048      0 |       45 |        0
1.79/1.83	c  1.4s |       4 |     2274 |      813 |     9953      0 |       45 |        0
2.69/2.74	c  2.4s |       5 |     3939 |     1320 |    10949      0 |       45 |        0
3.59/3.63	c  3.3s |       6 |     6009 |     2081 |    13249      0 |       45 |        0
5.09/5.11	c  4.7s |       7 |     8852 |     3223 |    14574      0 |       45 |        0
7.19/7.28	c  6.9s |       7 |    12627 |     4423 |    14574      0 |       45 |        0
7.99/8.08	c  7.7s |       8 |    14305 |     4936 |    16032      0 |       45 |        0
9.99/10.08	c  9.7s |       8 |    17676 |     6036 |    16032      0 |       45 |        0
12.09/12.18	c 11.8s |       8 |    21171 |     7436 |    16032      0 |       45 |        0
12.19/12.26	c 11.9s |       9 |    21285 |     7506 |    17636      0 |       45 |        0
14.29/14.37	c 14.0s |       9 |    25370 |     9106 |    17636      0 |       45 |        0
16.38/16.47	c 16.1s |       9 |    29354 |    10906 |    17636      0 |       45 |        0
16.98/17.05	c 16.7s |      10 |    30493 |    11361 |    19400      0 |       45 |        0
18.98/19.08	c 18.7s |      10 |    33561 |    11861 |    19400      0 |       45 |        0
21.08/21.16	c 20.8s |      10 |    37559 |    13061 |    19400      0 |       45 |        0
23.19/23.24	c 22.9s |      10 |    41490 |    14661 |    19400      0 |       45 |        0
25.48/25.53	c 25.2s |      10 |    45004 |    16061 |    19400      0 |       45 |        0
26.98/27.04	c 26.7s |      11 |    47571 |    17144 |    21340      0 |       45 |        0
29.08/29.12	c 28.7s |      11 |    50983 |    18644 |    21340      0 |       45 |        0
31.08/31.15	c 30.8s |      11 |    53506 |    20044 |    21340      0 |       45 |        0
33.09/33.19	c 32.8s |      11 |    55700 |    21544 |    21340      0 |       45 |        0
35.18/35.29	c 34.9s |      11 |    58048 |    22844 |    21340      1 |       45 |        0
37.28/37.39	c 37.0s |      11 |    61246 |    24644 |    21340      1 |       45 |        0
38.78/38.82	c 38.4s |      12 |    63644 |    25819 |    23475      1 |       45 |        0
40.98/41.08	c 40.7s |      12 |    67028 |    26919 |    23475      1 |       45 |        0
43.08/43.19	c 42.8s |      12 |    70029 |    28319 |    23475      1 |       45 |        0
45.28/45.38	c 45.0s |      12 |    72762 |    29619 |    23475      1 |       45 |        0
47.48/47.56	c 47.2s |      12 |    76136 |    30919 |    23475      1 |       45 |        0
49.59/49.61	c 49.2s |      12 |    79108 |    32119 |    23475      1 |       45 |        0
51.69/51.75	c 51.4s |      12 |    82383 |    33419 |    23475      1 |       45 |        0
53.78/53.81	c 53.4s |      12 |    85152 |    34919 |    23475      1 |       45 |        0
55.78/55.89	c 55.5s |      12 |    87468 |    36319 |    23475      1 |       45 |        0
57.98/58.00	c 57.6s |      12 |    90192 |    37619 |    23475      2 |       45 |        0
59.77/59.80	c 59.4s |      13 |    93428 |    38832 |    25823      2 |       45 |        0
61.78/61.83	c 61.5s |      13 |    96722 |    40032 |    25823      2 |       45 |        0
63.88/63.92	c 63.5s |      13 |   100471 |    41732 |    25823      2 |       45 |        0
65.98/66.04	c 65.7s |      13 |   103868 |    43632 |    25823      2 |       45 |        0
67.98/68.08	c 67.7s |      13 |   106928 |    45232 |    25823      2 |       45 |        0
70.08/70.19	c 69.8s |      13 |   109883 |    46732 |    25823      2 |       45 |        0
72.17/72.28	c 71.9s |      13 |   112731 |    48132 |    25823      2 |       45 |        0
74.37/74.49	c 74.1s |      13 |   115355 |    49232 |    25823      2 |       45 |        0
76.47/76.55	c 76.2s |      13 |   118371 |    50532 |    25823      2 |       45 |        0
78.57/78.65	c 78.3s |      13 |   120689 |    51332 |    25823      3 |       45 |        0
80.57/80.68	c 80.3s |      13 |   123805 |    52632 |    25823      3 |       45 |        0
82.67/82.78	c 82.4s |      13 |   127821 |    54132 |    25823      3 |       45 |        0
84.78/84.87	c 84.5s |      13 |   130841 |    55632 |    25823      3 |       45 |        0
86.98/87.00	c 86.6s |      13 |   134095 |    57332 |    25823      3 |       45 |        0
88.27/88.32	c 87.9s |      14 |   135902 |    58352 |    28406      3 |       45 |        0
90.37/90.41	c 90.0s |      14 |   138613 |    59852 |    28406      3 |       45 |        0
92.48/92.57	c 92.2s |      14 |   141140 |    61252 |    28406      3 |       45 |        0
94.67/94.70	c 94.3s |      14 |   144522 |    62652 |    28406      3 |       45 |        0
96.67/96.72	c 96.3s |      14 |   147406 |    63952 |    28406      3 |       45 |        0
98.77/98.86	c 98.5s |      14 |   150865 |    65152 |    28406      3 |       45 |        0
100.97/101.05	c  100s |      14 |   154062 |    66552 |    28406      3 |       45 |        0
102.97/103.05	c  102s |      14 |   155799 |    67352 |    28406      4 |       45 |        0
104.97/105.09	c  104s |      14 |   158713 |    68852 |    28406      4 |       45 |        0
107.06/107.15	c  106s |      14 |   161904 |    70352 |    28406      4 |       45 |        0
109.16/109.20	c  108s |      14 |   164371 |    71952 |    28406      4 |       45 |        0
111.17/111.27	c  110s |      14 |   166937 |    73352 |    28406      4 |       45 |        0
113.27/113.32	c  112s |      14 |   169929 |    74752 |    28406      4 |       45 |        0
115.26/115.35	c  114s |      14 |   173003 |    76252 |    28406      4 |       45 |        0
117.36/117.49	c  117s |      14 |   175585 |    77752 |    28406      4 |       45 |        0
119.46/119.54	c  119s |      14 |   178152 |    79252 |    28406      4 |       45 |        0
121.46/121.56	c  121s |      14 |   180816 |    80652 |    28406      4 |       45 |        0
123.56/123.66	c  123s |      14 |   182989 |    82052 |    28406      4 |       45 |        0
125.66/125.76	c  125s |      14 |   184956 |    82952 |    28406      5 |       45 |        0
127.76/127.80	c  127s |      14 |   188431 |    84552 |    28406      5 |       45 |        0
129.77/129.85	c  129s |      14 |   191471 |    85952 |    28406      5 |       45 |        0
131.86/131.95	c  131s |      14 |   194104 |    87352 |    31247      5 |       45 |        0
132.26/132.35	c  131s |      15 |   194870 |    87632 |    31247      5 |       45 |        0
134.27/134.39	c  134s |      15 |   197136 |    89032 |    31247      5 |       45 |        0
136.36/136.43	c  136s |      15 |   199551 |    90432 |    31247      5 |       45 |        0
138.46/138.55	c  138s |      15 |   203265 |    92132 |    31247      5 |       45 |        0
140.56/140.61	c  140s |      15 |   205977 |    93632 |    31247      5 |       45 |        0
142.55/142.62	c  142s |      15 |   208142 |    95132 |    31247      5 |       45 |        0
144.66/144.72	c  144s |      15 |   211374 |    96632 |    31247      5 |       45 |        0
146.76/146.83	c  146s |      15 |   213899 |    97932 |    31247      5 |       45 |        0
148.86/148.91	c  148s |      15 |   217005 |    99332 |    31247      5 |       45 |        0
150.86/150.96	c  150s |      15 |   220157 |   100732 |    31247      5 |       45 |        0
152.87/152.99	c  152s |      15 |   222877 |   102132 |    31247      5 |       45 |        0
154.96/155.02	c  154s |      15 |   225249 |   103532 |    31247      6 |       45 |        0
157.06/157.11	c  156s |      15 |   227835 |   104932 |    31247      6 |       45 |        0
159.06/159.19	c  158s |      15 |   231318 |   106732 |    31247      6 |       45 |        0
161.26/161.35	c  160s |      15 |   234271 |   108432 |    31247      6 |       45 |        0
163.36/163.41	c  163s |      15 |   236300 |   109732 |    31247      6 |       45 |        0
165.35/165.42	c  165s |      15 |   238443 |   111032 |    31247      6 |       45 |        0
167.45/167.53	c  167s |      15 |   241229 |   112532 |    31247      6 |       45 |        0
169.55/169.64	c  169s |      15 |   244843 |   114132 |    31247      6 |       45 |        0
171.56/171.66	c  171s |      15 |   247609 |   115632 |    31247      6 |       45 |        0
173.65/173.79	c  173s |      15 |   250078 |   117232 |    31247      6 |       45 |        0
175.75/175.87	c  175s |      15 |   252629 |   118632 |    31247      7 |       45 |        0
177.85/177.93	c  177s |      15 |   255772 |   120332 |    31247      7 |       45 |        0
179.95/180.01	c  179s |      15 |   258820 |   122032 |    31247      7 |       45 |        0
181.95/182.02	c  181s |      15 |   261711 |   123532 |    31247      7 |       45 |        0
183.95/184.06	c  183s |      15 |   264673 |   125032 |    31247      7 |       45 |        0
186.05/186.13	c  185s |      15 |   267160 |   126732 |    31247      7 |       45 |        0
188.16/188.24	c  187s |      15 |   270565 |   128032 |    31247      7 |       45 |        0
190.15/190.28	c  189s |      15 |   273502 |   129432 |    31247      7 |       45 |        0
192.25/192.40	c  192s |      15 |   275752 |   130732 |    34372      7 |       45 |        0
193.45/193.59	c  193s |      16 |   276891 |   131552 |    34372      7 |       45 |        0
195.55/195.61	c  195s |      16 |   278616 |   132752 |    34372      7 |       45 |        0
197.65/197.73	c  197s |      16 |   281594 |   134152 |    34372      7 |       45 |        0
199.75/199.81	c  199s |      16 |   283881 |   135652 |    34372      7 |       45 |        0
201.84/201.95	c  201s |      16 |   286089 |   137052 |    34372      7 |       45 |        0
203.84/203.98	c  203s |      16 |   287875 |   138252 |    34372      8 |       45 |        0
205.94/206.01	c  205s |      16 |   290779 |   139852 |    34372      8 |       45 |        0
207.95/208.09	c  207s |      16 |   293849 |   141452 |    34372      8 |       45 |        0
210.15/210.20	c  209s |      16 |   296497 |   143152 |    34372      8 |       45 |        0
212.14/212.26	c  211s |      16 |   299541 |   144752 |    34372      8 |       45 |        0
214.24/214.38	c  214s |      16 |   302193 |   146252 |    34372      8 |       45 |        0
216.34/216.48	c  216s |      16 |   304189 |   147652 |    34372      8 |       45 |        0
218.44/218.54	c  218s |      16 |   306308 |   148952 |    34372      8 |       45 |        0
220.44/220.55	c  220s |      16 |   308720 |   150252 |    34372      8 |       45 |        0
222.64/222.71	c  222s |      16 |   311182 |   151652 |    34372      8 |       45 |        0
224.64/224.79	c  224s |      16 |   313751 |   153052 |    34372      8 |       45 |        0
226.75/226.81	c  226s |      16 |   316824 |   154352 |    34372      8 |       45 |        0
228.75/228.89	c  228s |      16 |   319318 |   155652 |    34372      8 |       45 |        0
230.85/230.90	c  230s |      16 |   321447 |   156952 |    34372      8 |       45 |        0
232.95/233.02	c  232s |      16 |   323669 |   158152 |    34372      8 |       45 |        0
235.05/235.17	c  234s |      16 |   325558 |   159252 |    34372      9 |       45 |        0
237.15/237.21	c  236s |      16 |   328451 |   160552 |    34372      9 |       45 |        0
239.14/239.23	c  238s |      16 |   331898 |   161952 |    34372      9 |       45 |        0
241.14/241.29	c  240s |      16 |   334370 |   163352 |    34372      9 |       45 |        0
243.24/243.33	c  242s |      16 |   336398 |   164652 |    34372      9 |       45 |        0
245.25/245.39	c  245s |      16 |   338485 |   165952 |    34372      9 |       45 |        0
247.34/247.43	c  247s |      16 |   341006 |   167052 |    34372      9 |       45 |        0
249.44/249.54	c  249s |      16 |   342897 |   168352 |    34372      9 |       45 |        0
251.54/251.60	c  251s |      16 |   344823 |   169652 |    34372      9 |       45 |        0
253.54/253.65	c  253s |      16 |   347077 |   170852 |    34372      9 |       45 |        0
255.64/255.73	c  255s |      16 |   349933 |   172152 |    34372      9 |       45 |        0
257.74/257.83	c  257s |      16 |   352165 |   173452 |    34372      9 |       45 |        0
259.74/259.89	c  259s |      16 |   354021 |   174652 |    34372      9 |       45 |        0
261.85/261.95	c  261s |      16 |   356005 |   175852 |    34372     10 |       45 |        0
263.95/264.05	c  263s |      16 |   357983 |   177152 |    34372     10 |       45 |        0
266.04/266.19	c  265s |      16 |   360319 |   178552 |    34372     10 |       45 |        0
268.14/268.25	c  267s |      16 |   362265 |   179752 |    34372     10 |       45 |        0
270.24/270.35	c  269s |      16 |   364454 |   181152 |    34372     10 |       45 |        0
272.44/272.52	c  272s |      16 |   366245 |   182352 |    34372     10 |       45 |        0
274.43/274.52	c  274s |      16 |   368544 |   183552 |    34372     10 |       45 |        0
276.43/276.53	c  276s |      16 |   370631 |   184752 |    34372     10 |       45 |        0
278.43/278.56	c  278s |      16 |   372456 |   186052 |    34372     10 |       45 |        0
280.54/280.63	c  280s |      16 |   374685 |   187252 |    34372     10 |       45 |        0
282.54/282.65	c  282s |      16 |   376723 |   188452 |    34372     10 |       45 |        0
284.64/284.74	c  284s |      16 |   378565 |   189652 |    34372     10 |       45 |        0
286.74/286.81	c  286s |      16 |   380603 |   190852 |    34372     10 |       45 |        0
288.74/288.82	c  288s |      16 |   382203 |   191952 |    34372     10 |       45 |        0
290.73/290.84	c  290s |      16 |   384254 |   193052 |    34372     10 |       45 |        0
292.83/292.90	c  292s |      16 |   386042 |   194152 |    34372     10 |       45 |        0
294.93/295.05	c  294s |      16 |   388097 |   195252 |    34372     11 |       45 |        0
296.94/297.06	c  296s |      16 |   390127 |   196552 |    37810     11 |       45 |        0
298.43/298.52	c  298s |      17 |   391366 |   197432 |    37810     11 |       45 |        0
300.43/300.59	c  300s |      17 |   393227 |   198632 |    37810     11 |       45 |        0
302.63/302.76	c  302s |      17 |   395043 |   199932 |    37810     11 |       45 |        0
304.83/304.90	c  304s |      17 |   397063 |   201432 |    37810     11 |       45 |        0
306.94/307.04	c  306s |      17 |   398774 |   202732 |    37810     11 |       45 |        0
309.04/309.14	c  308s |      17 |   400378 |   203932 |    37810     11 |       45 |        0
311.03/311.15	c  310s |      17 |   402036 |   205132 |    37810     11 |       45 |        0
313.13/313.28	c  312s |      17 |   403675 |   206232 |    37810     11 |       45 |        0
315.33/315.41	c  315s |      17 |   405272 |   207432 |    37810     11 |       45 |        0
317.32/317.46	c  317s |      17 |   407013 |   208732 |    37810     11 |       45 |        0
319.42/319.58	c  319s |      17 |   408211 |   209732 |    37810     11 |       45 |        0
321.53/321.64	c  321s |      17 |   409479 |   210732 |    37810     11 |       45 |        0
323.53/323.66	c  323s |      17 |   411047 |   211732 |    37810     11 |       45 |        0
325.73/325.84	c  325s |      17 |   412702 |   212932 |    37810     11 |       45 |        0
327.84/327.96	c  327s |      17 |   414180 |   213932 |    37810     11 |       45 |        0
330.72/330.89	c  330s |      17 |   414773 |   214132 |    37810     11 |       45 |        0
333.24/333.31	c  332s |      17 |   416105 |   214432 |    37810     11 |       45 |        0
335.32/335.40	c  335s |      17 |   417758 |   214832 |    37810     12 |       45 |        0
337.43/337.58	c  337s |      17 |   420705 |   215732 |    37810     12 |       45 |        0
339.73/339.83	c  339s |      17 |   421794 |   216132 |    37810     12 |       45 |        0
341.82/341.97	c  341s |      17 |   423969 |   217032 |    37810     12 |       45 |        0
344.92/345.00	c  344s |      17 |   427125 |   218332 |    37810     12 |       45 |        0
346.92/347.05	c  346s |      17 |   430732 |   219932 |    37810     12 |       45 |        0
349.02/349.15	c  348s |      17 |   433916 |   221432 |    37810     12 |       45 |        0
351.12/351.25	c  350s |      17 |   437235 |   223032 |    37810     12 |       45 |        0
353.22/353.36	c  352s |      17 |   440440 |   224432 |    37810     12 |       45 |        0
355.22/355.38	c  355s |      17 |   443269 |   225532 |    37810     12 |       45 |        0
357.43/357.53	c  357s |      17 |   445453 |   226532 |    37810     12 |       45 |        0
359.42/359.55	c  359s |      17 |   448253 |   227632 |    37810     12 |       45 |        0
361.62/361.72	c  361s |      17 |   451541 |   228932 |    37810     12 |       45 |        0
363.72/363.85	c  363s |      17 |   455017 |   230232 |    37810     12 |       45 |        0
365.72/365.86	c  365s |      17 |   457644 |   231332 |    37810     12 |       45 |        0
367.92/368.02	c  367s |      17 |   460471 |   232532 |    37810     12 |       45 |        0
369.92/370.05	c  369s |      17 |   462692 |   233532 |    37810     12 |       45 |        0
371.92/372.09	c  371s |      17 |   465085 |   234632 |    37810     12 |       45 |        0
374.12/374.25	c  373s |      17 |   467753 |   235732 |    37810     13 |       45 |        0
376.22/376.35	c  375s |      17 |   471329 |   237132 |    37810     13 |       45 |        0
378.22/378.38	c  378s |      17 |   475222 |   238532 |    37810     13 |       45 |        0
380.32/380.44	c  380s |      17 |   478530 |   240032 |    37810     13 |       45 |        0
382.42/382.54	c  382s |      17 |   480998 |   241432 |    37810     13 |       45 |        0
384.52/384.60	c  384s |      17 |   482953 |   242632 |    37810     13 |       45 |        0
386.62/386.70	c  386s |      17 |   486364 |   243832 |    37810     13 |       45 |        0
388.72/388.85	c  388s |      17 |   489399 |   245032 |    37810     13 |       45 |        0
390.82/390.96	c  390s |      17 |   493024 |   246332 |    37810     13 |       45 |        0
393.02/393.15	c  392s |      17 |   496498 |   247532 |    37810     13 |       45 |        0
395.22/395.36	c  394s |      17 |   499795 |   248732 |    37810     13 |       45 |        0
397.31/397.44	c  397s |      17 |   502989 |   250132 |    37810     13 |       45 |        0
399.51/399.61	c  399s |      17 |   505543 |   251032 |    37810     13 |       45 |        0
401.61/401.72	c  401s |      17 |   508206 |   251932 |    37810     13 |       45 |        0
403.81/403.91	c  403s |      17 |   510739 |   253132 |    37810     13 |       45 |        0
405.92/406.02	c  405s |      17 |   513032 |   254232 |    37810     13 |       45 |        0
408.71/408.81	c  408s |      17 |   515259 |   255332 |    37810     14 |       45 |        0
410.81/410.90	c  410s |      17 |   517644 |   256432 |    37810     14 |       45 |        0
412.91/413.05	c  412s |      17 |   520702 |   257732 |    37810     14 |       45 |        0
415.01/415.12	c  414s |      17 |   524250 |   258932 |    37810     14 |       45 |        0
417.01/417.13	c  416s |      17 |   526768 |   260132 |    37810     14 |       45 |        0
419.11/419.27	c  418s |      17 |   529769 |   261432 |    37810     14 |       45 |        0
421.21/421.39	c  421s |      17 |   532515 |   262832 |    37810     14 |       45 |        0
423.41/423.56	c  423s |      17 |   535369 |   264032 |    37810     14 |       45 |        0
425.41/425.57	c  425s |      17 |   537522 |   265332 |    37810     14 |       45 |        0
427.61/427.78	c  427s |      17 |   539687 |   266632 |    37810     14 |       45 |        0
429.71/429.81	c  429s |      17 |   542239 |   267832 |    37810     14 |       45 |        0
431.80/431.91	c  431s |      17 |   544629 |   268932 |    37810     14 |       45 |        0
433.90/434.07	c  433s |      17 |   547909 |   270532 |    37810     14 |       45 |        0
436.00/436.18	c  435s |      17 |   550796 |   271632 |    37810     14 |       45 |        0
438.20/438.35	c  437s |      17 |   552903 |   272832 |    37810     14 |       45 |        0
440.21/440.38	c  440s |      17 |   554786 |   273632 |    37810     15 |       45 |        0
442.30/442.42	c  442s |      17 |   555810 |   274132 |    37810     15 |       45 |        0
445.00/445.13	c  444s |      17 |   557431 |   274832 |    37810     15 |       45 |        0
447.00/447.15	c  446s |      17 |   560180 |   275732 |    37810     15 |       45 |        0
449.10/449.29	c  448s |      17 |   563361 |   276832 |    37810     15 |       45 |        0
451.80/451.96	c  451s |      17 |   566525 |   278132 |    37810     15 |       45 |        0
453.80/453.96	c  453s |      17 |   569627 |   279632 |    37810     15 |       45 |        0
455.90/456.05	c  455s |      17 |   573165 |   281232 |    37810     15 |       45 |        0
457.90/458.08	c  457s |      17 |   575662 |   282632 |    37810     15 |       45 |        0
459.99/460.15	c  459s |      17 |   578155 |   284032 |    37810     15 |       45 |        0
462.09/462.25	c  461s |      17 |   580393 |   285432 |    37810     15 |       45 |        0
464.10/464.29	c  463s |      17 |   582668 |   286232 |    37810     15 |       45 |        0
466.19/466.30	c  465s |      17 |   585743 |   287632 |    37810     15 |       45 |        0
468.29/468.43	c  468s |      17 |   588734 |   288932 |    37810     15 |       45 |        0
470.39/470.51	c  470s |      17 |   592171 |   290332 |    37810     15 |       45 |        0
472.39/472.54	c  472s |      17 |   595009 |   291732 |    37810     15 |       45 |        0
474.39/474.58	c  474s |      17 |   597422 |   293132 |    37810     15 |       45 |        0
476.49/476.60	c  476s |      17 |   599335 |   294432 |    41591     15 |       45 |        0
478.59/478.72	c  478s |      17 |   601628 |   295732 |    41591     15 |       45 |        0
479.49/479.62	c  479s |      18 |   603252 |   296252 |    41591     15 |       45 |        0
481.59/481.71	c  481s |      18 |   605396 |   297252 |    41591     16 |       45 |        0
483.59/483.72	c  483s |      18 |   608748 |   298652 |    41591     16 |       45 |        0
485.59/485.77	c  485s |      18 |   611792 |   300052 |    41591     16 |       45 |        0
487.69/487.83	c  487s |      18 |   614582 |   301452 |    41591     16 |       45 |        0
489.79/489.95	c  489s |      18 |   616754 |   302752 |    41591     16 |       45 |        0
491.78/491.99	c  491s |      18 |   618645 |   303952 |    41591     16 |       45 |        0
493.79/494.00	c  493s |      18 |   621591 |   305052 |    41591     16 |       45 |        0
495.88/496.06	c  495s |      18 |   624209 |   306052 |    41591     16 |       45 |        0
498.08/498.21	c  497s |      18 |   627875 |   307352 |    41591     16 |       45 |        0
500.08/500.22	c  499s |      18 |   631126 |   308552 |    41591     16 |       45 |        0
502.08/502.29	c  501s |      18 |   634408 |   309752 |    41591     16 |       45 |        0
504.28/504.43	c  504s |      18 |   637674 |   311052 |    41591     16 |       45 |        0
506.28/506.49	c  506s |      18 |   640667 |   312252 |    41591     16 |       45 |        0
508.38/508.53	c  508s |      18 |   642982 |   313352 |    41591     16 |       45 |        0
510.48/510.61	c  510s |      18 |   644770 |   314452 |    41591     16 |       45 |        0
512.48/512.69	c  512s |      18 |   647260 |   315452 |    41591     16 |       45 |        0
514.57/514.74	c  514s |      18 |   650093 |   316552 |    41591     16 |       45 |        0
516.67/516.82	c  516s |      18 |   653186 |   317652 |    41591     16 |       45 |        0
518.77/518.92	c  518s |      18 |   656053 |   318752 |    41591     16 |       45 |        0
520.87/521.05	c  520s |      18 |   658819 |   319852 |    41591     16 |       45 |        0
522.97/523.19	c  522s |      18 |   661640 |   321052 |    41591     16 |       45 |        0
525.08/525.29	c  524s |      18 |   663835 |   321952 |    41591     17 |       45 |        0
527.18/527.35	c  526s |      18 |   666625 |   323352 |    41591     17 |       45 |        0
529.28/529.45	c  529s |      18 |   669385 |   324752 |    41591     17 |       45 |        0
531.38/531.52	c  531s |      18 |   672712 |   325952 |    41591     17 |       45 |        0
533.38/533.56	c  533s |      18 |   675275 |   327152 |    41591     17 |       45 |        0
535.47/535.68	c  535s |      18 |   677789 |   328452 |    41591     17 |       45 |        0
537.57/537.78	c  537s |      18 |   679936 |   329752 |    41591     17 |       45 |        0
539.57/539.78	c  539s |      18 |   681977 |   330952 |    41591     17 |       45 |        0
541.67/541.89	c  541s |      18 |   684259 |   332152 |    41591     17 |       45 |        0
543.87/544.06	c  543s |      18 |   686549 |   333352 |    41591     17 |       45 |        0
546.07/546.26	c  545s |      18 |   688864 |   334552 |    41591     17 |       45 |        0
548.17/548.33	c  547s |      18 |   691493 |   335652 |    41591     17 |       45 |        0
550.27/550.41	c  550s |      18 |   693895 |   336752 |    41591     17 |       45 |        0
552.47/552.61	c  552s |      18 |   696499 |   337952 |    41591     17 |       45 |        0
554.47/554.66	c  554s |      18 |   698461 |   339052 |    41591     17 |       45 |        0
556.58/556.75	c  556s |      18 |   700080 |   340152 |    41591     17 |       45 |        0
558.57/558.75	c  558s |      18 |   701942 |   341152 |    41591     17 |       45 |        0
560.67/560.83	c  560s |      18 |   704090 |   342152 |    41591     17 |       45 |        0
562.77/562.98	c  562s |      18 |   706511 |   343252 |    41591     17 |       45 |        0
564.86/565.06	c  564s |      18 |   708996 |   344452 |    41591     17 |       45 |        0
566.96/567.15	c  566s |      18 |   711630 |   345652 |    41591     18 |       45 |        0
569.16/569.30	c  568s |      18 |   713812 |   347052 |    41591     18 |       45 |        0
571.16/571.37	c  570s |      18 |   716593 |   348252 |    41591     18 |       45 |        0
573.26/573.44	c  573s |      18 |   719597 |   349452 |    41591     18 |       45 |        0
575.27/575.47	c  575s |      18 |   722389 |   350652 |    41591     18 |       45 |        0
577.37/577.57	c  577s |      18 |   725058 |   351952 |    41591     18 |       45 |        0
579.46/579.66	c  579s |      18 |   727185 |   353252 |    41591     18 |       45 |        0
581.45/581.66	c  581s |      18 |   729711 |   354452 |    41591     18 |       45 |        0
583.55/583.73	c  583s |      18 |   732074 |   355452 |    41591     18 |       45 |        0
585.55/585.77	c  585s |      18 |   734749 |   356552 |    41591     18 |       45 |        0
587.75/587.90	c  587s |      18 |   737649 |   357852 |    41591     18 |       45 |        0
589.85/590.00	c  589s |      18 |   739842 |   359052 |    41591     18 |       45 |        0
591.95/592.16	c  591s |      18 |   741762 |   360252 |    41591     18 |       45 |        0
594.15/594.31	c  593s |      18 |   744272 |   361352 |    41591     18 |       45 |        0
596.25/596.40	c  596s |      18 |   746777 |   362552 |    41591     18 |       45 |        0
598.35/598.55	c  598s |      18 |   748630 |   363752 |    41591     18 |       45 |        0
600.35/600.57	c  600s |      18 |   750818 |   364852 |    41591     18 |       45 |        0
602.54/602.72	c  602s |      18 |   752861 |   365852 |    41591     18 |       45 |        0
604.54/604.75	c  604s |      18 |   755091 |   366852 |    41591     18 |       45 |        0
606.64/606.88	c  606s |      18 |   757420 |   367952 |    41591     19 |       45 |        0
608.84/609.01	c  608s |      18 |   759791 |   369252 |    41591     19 |       45 |        0
610.93/611.15	c  610s |      18 |   761915 |   370552 |    41591     19 |       45 |        0
614.34/614.51	c  614s |      18 |   764187 |   371752 |    41591     19 |       45 |        0
617.44/617.66	c  617s |      18 |   764451 |   371852 |    41591     19 |       45 |        0
619.64/619.88	c  619s |      18 |   766470 |   372452 |    41591     19 |       45 |        0
621.84/622.01	c  621s |      18 |   769133 |   373652 |    41591     19 |       45 |        0
623.94/624.16	c  623s |      18 |   771913 |   374752 |    41591     19 |       45 |        0
626.14/626.34	c  625s |      18 |   774893 |   376052 |    41591     19 |       45 |        0
628.13/628.37	c  627s |      18 |   778049 |   377252 |    41591     19 |       45 |        0
630.24/630.43	c  630s |      18 |   780562 |   378252 |    41591     19 |       45 |        0
632.34/632.53	c  632s |      18 |   783224 |   379452 |    41591     19 |       45 |        0
634.43/634.61	c  634s |      18 |   785360 |   380552 |    41591     19 |       45 |        0
636.53/636.70	c  636s |      18 |   787565 |   381752 |    41591     19 |       45 |        0
638.53/638.71	c  638s |      18 |   789508 |   382852 |    41591     19 |       45 |        0
640.63/640.81	c  640s |      18 |   791415 |   383952 |    41591     19 |       45 |        0
642.73/642.97	c  642s |      18 |   793380 |   384952 |    41591     19 |       45 |        0
647.23/647.42	c  647s |      18 |   794178 |   385352 |    41591     19 |       45 |        0
650.03/650.21	c  649s |      18 |   794355 |   385452 |    41591     19 |       45 |        0
652.03/652.26	c  651s |      18 |   797000 |   386552 |    41591     19 |       45 |        0
654.33/654.51	c  654s |      18 |   799452 |   387552 |    41591     19 |       45 |        0
656.43/656.64	c  656s |      18 |   801648 |   388652 |    41591     19 |       45 |        0
658.53/658.71	c  658s |      18 |   803972 |   389752 |    41591     19 |       45 |        0
660.62/660.84	c  660s |      18 |   806191 |   390752 |    41591     20 |       45 |        0
662.72/662.96	c  662s |      18 |   808412 |   392052 |    41591     20 |       45 |        0
664.82/665.07	c  664s |      18 |   810773 |   393452 |    41591     20 |       45 |        0
666.83/667.09	c  666s |      18 |   812867 |   394652 |    41591     20 |       45 |        0
668.93/669.14	c  668s |      18 |   815694 |   395852 |    41591     20 |       45 |        0
671.03/671.25	c  670s |      18 |   818334 |   397152 |    41591     20 |       45 |        0
673.03/673.27	c  672s |      18 |   820998 |   398452 |    41591     20 |       45 |        0
675.13/675.38	c  674s |      18 |   823319 |   399852 |    41591     20 |       45 |        0
677.23/677.41	c  677s |      18 |   825259 |   401152 |    41591     20 |       45 |        0
679.42/679.61	c  679s |      18 |   827552 |   402352 |    41591     20 |       45 |        0
681.42/681.61	c  681s |      18 |   829939 |   403452 |    41591     20 |       45 |        0
683.42/683.69	c  683s |      18 |   832542 |   404552 |    41591     20 |       45 |        0
685.52/685.75	c  685s |      18 |   835063 |   405752 |    41591     20 |       45 |        0
687.62/687.87	c  687s |      18 |   837413 |   406952 |    41591     20 |       45 |        0
689.62/689.88	c  689s |      18 |   839761 |   408152 |    41591     20 |       45 |        0
691.72/691.95	c  691s |      18 |   841608 |   409352 |    41591     20 |       45 |        0
693.91/694.11	c  693s |      18 |   844280 |   410452 |    41591     20 |       45 |        0
695.92/696.12	c  695s |      18 |   846747 |   411452 |    41591     20 |       45 |        0
698.02/698.27	c  697s |      18 |   849019 |   412452 |    41591     20 |       45 |        0
700.12/700.33	c  699s |      18 |   850789 |   413352 |    41591     21 |       45 |        0
702.21/702.40	c  702s |      18 |   853275 |   414552 |    41591     21 |       45 |        0
704.31/704.52	c  704s |      18 |   856244 |   415952 |    41591     21 |       45 |        0
706.41/706.63	c  706s |      18 |   859008 |   417352 |    41591     21 |       45 |        0
708.41/708.68	c  708s |      18 |   861268 |   418652 |    41591     21 |       45 |        0
710.52/710.77	c  710s |      18 |   863735 |   419852 |    41591     21 |       45 |        0
712.61/712.80	c  712s |      18 |   865964 |   421052 |    41591     21 |       45 |        0
714.71/714.96	c  714s |      18 |   868152 |   422352 |    41591     21 |       45 |        0
716.81/717.06	c  716s |      18 |   869999 |   423652 |    41591     21 |       45 |        0
718.91/719.17	c  718s |      18 |   871996 |   424852 |    41591     21 |       45 |        0
721.10/721.32	c  720s |      18 |   874966 |   426052 |    41591     21 |       45 |        0
723.10/723.34	c  722s |      18 |   877475 |   427152 |    41591     21 |       45 |        0
725.10/725.35	c  724s |      18 |   880035 |   428352 |    41591     21 |       45 |        0
727.10/727.39	c  727s |      18 |   882286 |   429652 |    41591     21 |       45 |        0
729.10/729.40	c  729s |      18 |   884401 |   430752 |    41591     21 |       45 |        0
731.30/731.53	c  731s |      18 |   886844 |   431852 |    41591     21 |       45 |        0
733.29/733.56	c  733s |      18 |   889071 |   432952 |    41591     21 |       45 |        0
735.39/735.64	c  735s |      18 |   891332 |   434052 |    41591     21 |       45 |        0
737.49/737.76	c  737s |      18 |   893587 |   435252 |    41591     21 |       45 |        0
739.59/739.87	c  739s |      18 |   895477 |   436452 |    41591     21 |       45 |        0
741.69/741.95	c  741s |      18 |   897630 |   437452 |    41591     22 |       45 |        0
743.79/744.03	c  743s |      18 |   899841 |   438752 |    41591     22 |       45 |        0
745.79/746.05	c  745s |      18 |   902258 |   440052 |    41591     22 |       45 |        0
747.80/748.06	c  747s |      18 |   903984 |   441252 |    41591     22 |       45 |        0
749.89/750.18	c  749s |      18 |   906521 |   442552 |    45751     22 |       45 |        0
751.99/752.25	c  751s |      18 |   909581 |   443852 |    45751     22 |       45 |        0
752.89/753.16	c  752s |      19 |   910928 |   444482 |    45751     22 |       45 |        0
754.98/755.24	c  754s |      19 |   913369 |   445782 |    45751     22 |       45 |        0
756.98/757.28	c  756s |      19 |   915475 |   447082 |    45751     22 |       45 |        0
759.18/759.45	c  759s |      19 |   917890 |   448282 |    45751     22 |       45 |        0
761.39/761.60	c  761s |      19 |   920371 |   449582 |    45751     22 |       45 |        0
763.39/763.69	c  763s |      19 |   922640 |   450782 |    45751     22 |       45 |        0
765.49/765.77	c  765s |      19 |   924880 |   451982 |    45751     22 |       45 |        0
767.59/767.82	c  767s |      19 |   926646 |   453182 |    45751     22 |       45 |        0
769.69/769.92	c  769s |      19 |   928572 |   454382 |    45751     22 |       45 |        0
771.68/771.94	c  771s |      19 |   930592 |   455582 |    45751     22 |       45 |        0
773.78/774.04	c  773s |      19 |   932691 |   456882 |    45751     22 |       45 |        0
775.78/776.05	c  775s |      19 |   934418 |   458082 |    45751     22 |       45 |        0
777.88/778.19	c  777s |      19 |   937006 |   459382 |    45751     22 |       45 |        0
779.98/780.20	c  779s |      19 |   938912 |   460382 |    45751     22 |       45 |        0
781.98/782.29	c  781s |      19 |   941084 |   461582 |    45751     22 |       45 |        0
784.18/784.41	c  784s |      19 |   943009 |   462882 |    45751     22 |       45 |        0
786.18/786.47	c  786s |      19 |   945086 |   463982 |    45751     23 |       45 |        0
788.28/788.55	c  788s |      19 |   947475 |   465382 |    45751     23 |       45 |        0
790.38/790.64	c  790s |      19 |   949551 |   466782 |    45751     23 |       45 |        0
792.47/792.73	c  792s |      19 |   951358 |   468082 |    45751     23 |       45 |        0
794.47/794.78	c  794s |      19 |   953339 |   469282 |    45751     23 |       45 |        0
796.67/796.94	c  796s |      19 |   955240 |   470582 |    45751     23 |       45 |        0
798.77/799.09	c  798s |      19 |   957415 |   471682 |    45751     23 |       45 |        0
800.97/801.26	c  800s |      19 |   959929 |   472782 |    45751     23 |       45 |        0
802.97/803.26	c  802s |      19 |   962313 |   473882 |    45751     23 |       45 |        0
804.97/805.27	c  804s |      19 |   964250 |   475082 |    45751     23 |       45 |        0
807.07/807.30	c  806s |      19 |   966610 |   476282 |    45751     23 |       45 |        0
809.07/809.32	c  808s |      19 |   969469 |   477582 |    45751     23 |       45 |        0
811.16/811.41	c  811s |      19 |   971970 |   478882 |    45751     23 |       45 |        0
813.26/813.55	c  813s |      19 |   974100 |   480182 |    45751     23 |       45 |        0
815.26/815.56	c  815s |      19 |   975998 |   481282 |    45751     23 |       45 |        0
817.36/817.64	c  817s |      19 |   977917 |   482482 |    45751     23 |       45 |        0
819.37/819.67	c  819s |      19 |   979482 |   483582 |    45751     23 |       45 |        0
821.47/821.79	c  821s |      19 |   981256 |   484782 |    45751     23 |       45 |        0
823.67/823.91	c  823s |      19 |   982902 |   485982 |    45751     23 |       45 |        0
825.66/825.94	c  825s |      19 |   984764 |   487082 |    45751     23 |       45 |        0
827.86/828.10	c  827s |      19 |   987095 |   488182 |    45751     23 |       45 |        0
829.96/830.27	c  829s |      19 |   988034 |   488682 |    45751     24 |       45 |        0
835.15/835.44	c  835s |      19 |   988590 |   488782 |    45751     24 |       45 |        0
838.65/838.96	c  838s |      19 |   989075 |   488982 |    45751     24 |       45 |        0
842.85/843.12	c  842s |      19 |   989617 |   489182 |    45751     24 |       45 |        0
845.05/845.31	c  844s |      19 |   991102 |   489482 |    45751     24 |       45 |        0
847.15/847.44	c  847s |      19 |   994203 |   490982 |    45751     24 |       45 |        0
849.25/849.57	c  849s |      19 |   996646 |   492282 |    45751     24 |       45 |        0
851.65/851.91	c  851s |      19 |   997095 |   492482 |    45751     24 |       45 |        0
853.65/853.93	c  853s |      19 |   999283 |   493682 |    45751     24 |       45 |        0
855.75/856.07	c  855s |      19 |  1001849 |   495082 |    45751     24 |       45 |        0
857.85/858.17	c  857s |      19 |  1003928 |   496482 |    45751     24 |       45 |        0
860.65/860.93	c  860s |      19 |  1005836 |   497482 |    45751     24 |       45 |        0
862.65/862.99	c  862s |      19 |  1008398 |   498482 |    45751     24 |       45 |        0
864.75/865.01	c  864s |      19 |  1010841 |   499482 |    45751     24 |       45 |        0
866.85/867.15	c  866s |      19 |  1013377 |   500582 |    45751     24 |       45 |        0
869.05/869.31	c  868s |      19 |  1016762 |   501982 |    45751     24 |       45 |        0
871.15/871.43	c  871s |      19 |  1019449 |   503282 |    45751     24 |       45 |        0
873.35/873.60	c  873s |      19 |  1021517 |   504482 |    45751     24 |       45 |        0
875.45/875.77	c  875s |      19 |  1024081 |   505582 |    45751     24 |       45 |        0
877.55/877.88	c  877s |      19 |  1026425 |   506682 |    45751     24 |       45 |        0
879.64/879.97	c  879s |      19 |  1028992 |   507882 |    45751     24 |       45 |        0
881.74/882.00	c  881s |      19 |  1031458 |   509082 |    45751     24 |       45 |        0
883.74/884.06	c  883s |      19 |  1033544 |   510282 |    45751     24 |       45 |        0
885.94/886.23	c  885s |      19 |  1035521 |   511582 |    45751     24 |       45 |        0
887.94/888.23	c  887s |      19 |  1037295 |   512682 |    45751     24 |       45 |        0
889.94/890.27	c  889s |      19 |  1039189 |   513782 |    45751     25 |       45 |        0
892.04/892.33	c  891s |      19 |  1042164 |   515282 |    45751     25 |       45 |        0
894.15/894.41	c  894s |      19 |  1044314 |   516782 |    45751     25 |       45 |        0
896.25/896.51	c  896s |      19 |  1046785 |   518082 |    45751     25 |       45 |        0
898.24/898.52	c  898s |      19 |  1049536 |   519482 |    45751     25 |       45 |        0
900.24/900.54	c  900s |      19 |  1051848 |   520882 |    45751     25 |       45 |        0
902.34/902.66	c  902s |      19 |  1054164 |   522282 |    45751     25 |       45 |        0
904.44/904.76	c  904s |      19 |  1056618 |   523682 |    45751     25 |       45 |        0
906.64/906.90	c  906s |      19 |  1058646 |   525082 |    45751     25 |       45 |        0
908.74/909.00	c  908s |      19 |  1060674 |   526282 |    45751     25 |       45 |        0
910.83/911.11	c  910s |      19 |  1062724 |   527582 |    45751     25 |       45 |        0
912.93/913.27	c  912s |      19 |  1064561 |   528882 |    45751     25 |       45 |        0
915.13/915.44	c  915s |      19 |  1066813 |   530182 |    45751     25 |       45 |        0
917.24/917.56	c  917s |      19 |  1069168 |   531482 |    45751     25 |       45 |        0
919.23/919.59	c  919s |      19 |  1070897 |   532682 |    45751     25 |       45 |        0
921.32/921.63	c  921s |      19 |  1073092 |   533882 |    45751     25 |       45 |        0
923.42/923.78	c  923s |      19 |  1075297 |   535182 |    45751     25 |       45 |        0
925.62/925.94	c  925s |      19 |  1077259 |   536582 |    45751     25 |       45 |        0
927.72/928.04	c  927s |      19 |  1079541 |   537882 |    45751     25 |       45 |        0
929.72/930.08	c  929s |      19 |  1081338 |   539182 |    45751     25 |       45 |        0
931.82/932.15	c  931s |      19 |  1083079 |   540282 |    45751     26 |       45 |        0
933.92/934.29	c  933s |      19 |  1085289 |   541782 |    45751     26 |       45 |        0
936.01/936.36	c  935s |      19 |  1087579 |   543282 |    45751     26 |       45 |        0
938.12/938.48	c  938s |      19 |  1089805 |   544682 |    45751     26 |       45 |        0
940.22/940.58	c  940s |      19 |  1092382 |   545982 |    45751     26 |       45 |        0
942.21/942.59	c  942s |      19 |  1094672 |   547282 |    45751     26 |       45 |        0
944.41/944.73	c  944s |      19 |  1096644 |   548482 |    45751     26 |       45 |        0
946.51/946.81	c  946s |      19 |  1098914 |   549882 |    45751     26 |       45 |        0
948.61/948.93	c  948s |      19 |  1101545 |   551382 |    45751     26 |       45 |        0
950.61/950.96	c  950s |      19 |  1103335 |   552582 |    45751     26 |       45 |        0
952.60/952.98	c  952s |      19 |  1105338 |   553782 |    45751     26 |       45 |        0
954.70/955.08	c  954s |      19 |  1107318 |   555082 |    45751     26 |       45 |        0
956.81/957.17	c  956s |      19 |  1109119 |   556382 |    45751     26 |       45 |        0
958.80/959.20	c  958s |      19 |  1110824 |   557582 |    45751     26 |       45 |        0
960.99/961.33	c  960s |      19 |  1112860 |   558882 |    45751     26 |       45 |        0
962.99/963.35	c  962s |      19 |  1114708 |   560182 |    45751     26 |       45 |        0
965.09/965.44	c  965s |      19 |  1116810 |   561582 |    45751     26 |       45 |        0
967.19/967.56	c  967s |      19 |  1118776 |   562882 |    45751     26 |       45 |        0
969.29/969.69	c  969s |      19 |  1120635 |   564182 |    45751     26 |       45 |        0
971.39/971.76	c  971s |      19 |  1122295 |   565382 |    45751     27 |       45 |        0
973.39/973.78	c  973s |      19 |  1124429 |   566882 |    45751     27 |       45 |        0
975.49/975.84	c  975s |      19 |  1126472 |   568382 |    45751     27 |       45 |        0
978.80/979.14	c  978s |      19 |  1127186 |   568782 |    45751     27 |       45 |        0
980.99/981.37	c  980s |      19 |  1127467 |   568882 |    45751     27 |       45 |        0
982.98/983.39	c  983s |      19 |  1129514 |   569582 |    45751     27 |       45 |        0
985.08/985.48	c  985s |      19 |  1131572 |   570182 |    45751     27 |       45 |        0
987.58/987.99	c  987s |      19 |  1133518 |   570982 |    45751     27 |       45 |        0
989.68/990.08	c  989s |      19 |  1136864 |   572382 |    45751     27 |       45 |        0
991.78/992.15	c  991s |      19 |  1139004 |   573282 |    45751     27 |       45 |        0
993.88/994.24	c  993s |      19 |  1142890 |   574982 |    45751     27 |       45 |        0
995.98/996.31	c  995s |      19 |  1146681 |   576582 |    45751     27 |       45 |        0
997.98/998.36	c  997s |      19 |  1150122 |   578082 |    45751     27 |       45 |        0
1000.08/1000.47	c 1000s |      19 |  1152881 |   579582 |    45751     27 |       45 |        0
1002.28/1002.60	c 1002s |      19 |  1155374 |   581082 |    45751     27 |       45 |        0
1004.38/1004.70	c 1004s |      19 |  1158211 |   582282 |    45751     27 |       45 |        0
1006.48/1006.83	c 1006s |      19 |  1160712 |   583582 |    45751     27 |       45 |        0
1008.57/1008.90	c 1008s |      19 |  1163006 |   584582 |    45751     27 |       45 |        0
1010.58/1010.96	c 1010s |      19 |  1165535 |   585582 |    45751     27 |       45 |        0
1012.67/1013.04	c 1012s |      19 |  1168720 |   586782 |    45751     27 |       45 |        0
1014.67/1015.04	c 1014s |      19 |  1171714 |   587882 |    45751     27 |       45 |        0
1016.77/1017.10	c 1016s |      19 |  1174412 |   588982 |    45751     28 |       45 |        0
1018.97/1019.33	c 1018s |      19 |  1177833 |   590382 |    45751     28 |       45 |        0
1020.97/1021.35	c 1020s |      19 |  1181141 |   591882 |    45751     28 |       45 |        0
1022.97/1023.38	c 1023s |      19 |  1184154 |   593382 |    45751     28 |       45 |        0
1025.07/1025.49	c 1025s |      19 |  1186624 |   594782 |    45751     28 |       45 |        0
1027.27/1027.64	c 1027s |      19 |  1189411 |   596182 |    45751     28 |       45 |        0
1029.27/1029.65	c 1029s |      19 |  1191991 |   597282 |    45751     28 |       45 |        0
1031.37/1031.73	c 1031s |      19 |  1194020 |   598082 |    45751     28 |       45 |        0
1033.47/1033.87	c 1033s |      19 |  1197110 |   599382 |    45751     28 |       45 |        0
1035.56/1035.97	c 1035s |      19 |  1199944 |   600782 |    45751     28 |       45 |        0
1037.66/1038.04	c 1037s |      19 |  1202604 |   601882 |    45751     28 |       45 |        0
1039.76/1040.17	c 1039s |      19 |  1205014 |   602882 |    45751     28 |       45 |        0
1041.86/1042.21	c 1041s |      19 |  1207290 |   603782 |    45751     28 |       45 |        0
1043.96/1044.36	c 1043s |      19 |  1210486 |   605182 |    45751     28 |       45 |        0
1046.16/1046.57	c 1046s |      19 |  1212795 |   606282 |    45751     28 |       45 |        0
1048.16/1048.58	c 1048s |      19 |  1214836 |   607382 |    45751     28 |       45 |        0
1050.27/1050.68	c 1050s |      19 |  1216849 |   608282 |    45751     28 |       45 |        0
1052.37/1052.70	c 1052s |      19 |  1219419 |   609082 |    45751     28 |       45 |        0
1054.46/1054.86	c 1054s |      19 |  1221869 |   610282 |    45751     28 |       45 |        0
1056.56/1056.90	c 1056s |      19 |  1224335 |   611382 |    45751     28 |       45 |        0
1058.56/1058.95	c 1058s |      19 |  1226234 |   612182 |    45751     29 |       45 |        0
1061.16/1061.52	c 1061s |      19 |  1226804 |   612382 |    45751     29 |       45 |        0
1063.25/1063.68	c 1063s |      19 |  1229564 |   613482 |    45751     29 |       45 |        0
1066.16/1066.50	c 1066s |      19 |  1231865 |   614482 |    45751     29 |       45 |        0
1068.16/1068.50	c 1068s |      19 |  1234943 |   615882 |    45751     29 |       45 |        0
1070.16/1070.52	c 1070s |      19 |  1238713 |   617582 |    45751     29 |       45 |        0
1072.16/1072.58	c 1072s |      19 |  1241602 |   618882 |    45751     29 |       45 |        0
1074.26/1074.66	c 1074s |      19 |  1245202 |   620382 |    45751     29 |       45 |        0
1076.46/1076.80	c 1076s |      19 |  1248485 |   621582 |    45751     29 |       45 |        0
1078.46/1078.85	c 1078s |      19 |  1251528 |   622782 |    45751     29 |       45 |        0
1080.66/1081.06	c 1080s |      19 |  1254200 |   623982 |    45751     29 |       45 |        0
1082.75/1083.17	c 1082s |      19 |  1257305 |   625382 |    45751     29 |       45 |        0
1084.85/1085.21	c 1084s |      19 |  1260761 |   626782 |    45751     29 |       45 |        0
1086.95/1087.37	c 1086s |      19 |  1263985 |   627982 |    45751     29 |       45 |        0
1089.05/1089.42	c 1089s |      19 |  1266676 |   629182 |    45751     29 |       45 |        0
1091.25/1091.62	c 1091s |      19 |  1268929 |   629982 |    45751     29 |       45 |        0
1093.35/1093.72	c 1093s |      19 |  1271018 |   630982 |    45751     29 |       45 |        0
1095.36/1095.77	c 1095s |      19 |  1273804 |   632182 |    45751     29 |       45 |        0
1097.46/1097.87	c 1097s |      19 |  1276895 |   633382 |    45751     29 |       45 |        0
1099.55/1099.96	c 1099s |      19 |  1280032 |   634682 |    45751     29 |       45 |        0
1101.65/1102.09	c 1101s |      19 |  1281522 |   635282 |    45751     30 |       45 |        0
1103.85/1104.22	c 1103s |      19 |  1284128 |   636282 |    45751     30 |       45 |        0
1105.85/1106.27	c 1105s |      19 |  1287007 |   637482 |    45751     30 |       45 |        0
1108.05/1108.40	c 1108s |      19 |  1290431 |   638882 |    45751     30 |       45 |        0
1110.15/1110.55	c 1110s |      19 |  1293824 |   640182 |    45751     30 |       45 |        0
1112.35/1112.70	c 1112s |      19 |  1297035 |   641582 |    45751     30 |       45 |        0
1114.55/1114.92	c 1114s |      19 |  1300109 |   642882 |    45751     30 |       45 |        0
1116.75/1117.15	c 1116s |      19 |  1303239 |   644182 |    45751     30 |       45 |        0
1118.85/1119.21	c 1118s |      19 |  1306644 |   645482 |    45751     30 |       45 |        0
1120.84/1121.25	c 1120s |      19 |  1309671 |   646582 |    45751     30 |       45 |        0
1122.94/1123.34	c 1122s |      19 |  1312309 |   647582 |    45751     30 |       45 |        0
1125.14/1125.51	c 1125s |      19 |  1315846 |   648982 |    45751     30 |       45 |        0
1127.15/1127.54	c 1127s |      19 |  1318853 |   650182 |    45751     30 |       45 |        0
1129.14/1129.56	c 1129s |      19 |  1321828 |   651482 |    45751     30 |       45 |        0
1131.14/1131.57	c 1131s |      19 |  1324230 |   652782 |    45751     30 |       45 |        0
1133.14/1133.57	c 1133s |      19 |  1326751 |   654082 |    45751     30 |       45 |        0
1135.54/1135.94	c 1135s |      19 |  1329975 |   655482 |    45751     30 |       45 |        0
1137.64/1138.01	c 1137s |      19 |  1333526 |   657182 |    45751     30 |       45 |        0
1139.64/1140.09	c 1139s |      19 |  1336849 |   658682 |    45751     30 |       45 |        0
1141.84/1142.21	c 1141s |      19 |  1339842 |   660082 |    45751     31 |       45 |        0
1144.04/1144.43	c 1144s |      19 |  1342007 |   660882 |    45751     31 |       45 |        0
1146.14/1146.50	c 1146s |      19 |  1344801 |   662182 |    50327     31 |       45 |        0
1148.14/1148.53	c 1148s |      19 |  1348404 |   663782 |    50327     31 |       45 |        0
1150.14/1150.53	c 1150s |      19 |  1351746 |   665482 |    50327     31 |       45 |        0
1152.33/1152.79	c 1152s |      19 |  1353677 |   666482 |    50327     31 |       45 |        0
1154.13/1154.56	c 1154s |      20 |  1354624 |   666827 |    50327     31 |       45 |        0
1156.23/1156.67	c 1156s |      20 |  1357718 |   668227 |    50327     31 |       45 |        0
1158.23/1158.68	c 1158s |      20 |  1360953 |   669627 |    50327     31 |       45 |        0
1160.33/1160.73	c 1160s |      20 |  1363473 |   670927 |    50327     31 |       45 |        0
1162.44/1162.86	c 1162s |      20 |  1365957 |   672327 |    50327     31 |       45 |        0
1164.43/1164.90	c 1164s |      20 |  1368462 |   673727 |    50327     31 |       45 |        0
1166.53/1166.97	c 1166s |      20 |  1370927 |   674927 |    50327     31 |       45 |        0
1168.64/1169.03	c 1168s |      20 |  1373354 |   676027 |    50327     31 |       45 |        0
1170.84/1171.25	c 1170s |      20 |  1376092 |   677327 |    50327     31 |       45 |        0
1172.94/1173.39	c 1173s |      20 |  1378647 |   678627 |    50327     31 |       45 |        0
1175.04/1175.42	c 1175s |      20 |  1381207 |   679727 |    50327     31 |       45 |        0
1177.04/1177.46	c 1177s |      20 |  1383333 |   680827 |    50327     31 |       45 |        0
1179.24/1179.60	c 1179s |      20 |  1386111 |   682127 |    50327     31 |       45 |        0
1181.34/1181.75	c 1181s |      20 |  1388913 |   683527 |    50327     31 |       45 |        0
1183.44/1183.88	c 1183s |      20 |  1391178 |   684727 |    50327     31 |       45 |        0
1185.54/1185.95	c 1185s |      20 |  1392821 |   685827 |    50327     31 |       45 |        0
1187.64/1188.04	c 1187s |      20 |  1394787 |   686827 |    50327     32 |       45 |        0
1191.33/1191.77	c 1191s |      20 |  1396452 |   687627 |    50327     32 |       45 |        0
1193.43/1193.80	c 1193s |      20 |  1399690 |   688927 |    50327     32 |       45 |        0
1195.44/1195.85	c 1195s |      20 |  1402670 |   690527 |    50327     32 |       45 |        0
1197.53/1197.92	c 1197s |      20 |  1405600 |   691827 |    50327     32 |       45 |        0
1199.53/1199.95	c 1199s |      20 |  1407684 |   692927 |    50327     32 |       45 |        0
1201.63/1202.02	c 1201s |      20 |  1410347 |   694227 |    50327     32 |       45 |        0
1203.73/1204.13	c 1203s |      20 |  1413133 |   695927 |    50327     32 |       45 |        0
1205.83/1206.21	c 1205s |      20 |  1415700 |   697427 |    50327     32 |       45 |        0
1207.93/1208.33	c 1207s |      20 |  1417944 |   698627 |    50327     32 |       45 |        0
1210.03/1210.44	c 1210s |      20 |  1420425 |   700127 |    50327     32 |       45 |        0
1212.13/1212.53	c 1212s |      20 |  1422432 |   701327 |    50327     32 |       45 |        0
1214.13/1214.56	c 1214s |      20 |  1424299 |   702427 |    50327     32 |       45 |        0
1216.13/1216.57	c 1216s |      20 |  1426245 |   703427 |    50327     32 |       45 |        0
1218.22/1218.61	c 1218s |      20 |  1428856 |   704727 |    50327     32 |       45 |        0
1220.22/1220.67	c 1220s |      20 |  1431695 |   706027 |    50327     32 |       45 |        0
1222.32/1222.73	c 1222s |      20 |  1434468 |   707427 |    50327     32 |       45 |        0
1224.32/1224.75	c 1224s |      20 |  1437015 |   708727 |    50327     32 |       45 |        0
1226.42/1226.83	c 1226s |      20 |  1439249 |   710127 |    50327     32 |       45 |        0
1228.43/1228.85	c 1228s |      20 |  1441604 |   711327 |    50327     32 |       45 |        0
1230.42/1230.88	c 1230s |      20 |  1443380 |   712227 |    50327     33 |       45 |        0
1232.62/1233.03	c 1232s |      20 |  1446110 |   713527 |    50327     33 |       45 |        0
1234.72/1235.18	c 1234s |      20 |  1449220 |   715127 |    50327     33 |       45 |        0
1236.82/1237.21	c 1236s |      20 |  1451774 |   716327 |    50327     33 |       45 |        0
1238.82/1239.21	c 1238s |      20 |  1454388 |   717927 |    50327     33 |       45 |        0
1240.83/1241.23	c 1240s |      20 |  1456706 |   719627 |    50327     33 |       45 |        0
1242.83/1243.26	c 1242s |      20 |  1459146 |   721127 |    50327     33 |       45 |        0
1244.93/1245.38	c 1245s |      20 |  1461874 |   722727 |    50327     33 |       45 |        0
1246.92/1247.40	c 1247s |      20 |  1464085 |   724227 |    50327     33 |       45 |        0
1249.02/1249.45	c 1249s |      20 |  1466493 |   725927 |    50327     33 |       45 |        0
1251.12/1251.57	c 1251s |      20 |  1468931 |   727327 |    50327     33 |       45 |        0
1253.22/1253.65	c 1253s |      20 |  1471291 |   728627 |    50327     33 |       45 |        0
1255.32/1255.75	c 1255s |      20 |  1473458 |   729827 |    50327     33 |       45 |        0
1257.52/1257.96	c 1257s |      20 |  1475932 |   731327 |    50327     33 |       45 |        0
1259.62/1260.08	c 1259s |      20 |  1477426 |   732227 |    50327     33 |       45 |        0
1261.82/1262.24	c 1261s |      20 |  1479112 |   733127 |    50327     33 |       45 |        0
1263.82/1264.25	c 1263s |      20 |  1481034 |   734227 |    50327     33 |       45 |        0
1265.82/1266.29	c 1265s |      20 |  1482742 |   735227 |    50327     33 |       45 |        0
1267.92/1268.34	c 1267s |      20 |  1484587 |   736427 |    50327     33 |       45 |        0
1270.01/1270.48	c 1270s |      20 |  1486575 |   737727 |    50327     33 |       45 |        0
1272.11/1272.53	c 1272s |      20 |  1488208 |   738727 |    50327     34 |       45 |        0
1274.21/1274.66	c 1274s |      20 |  1491065 |   740027 |    50327     34 |       45 |        0
1276.31/1276.70	c 1276s |      20 |  1493875 |   741327 |    50327     34 |       45 |        0
1278.31/1278.70	c 1278s |      20 |  1496341 |   742527 |    50327     34 |       45 |        0
1280.31/1280.77	c 1280s |      20 |  1498425 |   743627 |    50327     34 |       45 |        0
1282.41/1282.87	c 1282s |      20 |  1500938 |   744927 |    50327     34 |       45 |        0
1284.52/1284.92	c 1284s |      20 |  1503238 |   746227 |    50327     34 |       45 |        0
1286.51/1287.00	c 1286s |      20 |  1505683 |   747627 |    50327     34 |       45 |        0
1288.61/1289.06	c 1288s |      20 |  1507402 |   748727 |    50327     34 |       45 |        0
1290.72/1291.15	c 1290s |      20 |  1510019 |   750127 |    50327     34 |       45 |        0
1292.72/1293.18	c 1292s |      20 |  1511695 |   751027 |    50327     34 |       45 |        0
1294.92/1295.32	c 1294s |      20 |  1513998 |   752227 |    50327     34 |       45 |        0
1296.92/1297.33	c 1296s |      20 |  1516315 |   753627 |    50327     34 |       45 |        0
1299.02/1299.41	c 1299s |      20 |  1519169 |   755127 |    50327     34 |       45 |        0
1301.02/1301.49	c 1301s |      20 |  1521315 |   756627 |    50327     34 |       45 |        0
1303.12/1303.57	c 1303s |      20 |  1523515 |   757827 |    50327     34 |       45 |        0
1305.21/1305.64	c 1305s |      20 |  1525490 |   759127 |    50327     34 |       45 |        0
1307.31/1307.76	c 1307s |      20 |  1527823 |   760527 |    50327     34 |       45 |        0
1309.51/1309.90	c 1309s |      20 |  1530001 |   762027 |    50327     34 |       45 |        0
1316.41/1316.89	c 1316s |      20 |  1531250 |   762827 |    50327     35 |       45 |        0
1318.52/1318.90	c 1318s |      20 |  1532644 |   763627 |    50327     35 |       45 |        0
1320.51/1320.92	c 1320s |      20 |  1535541 |   764827 |    50327     35 |       45 |        0
1322.61/1323.06	c 1322s |      20 |  1536166 |   765227 |    50327     35 |       45 |        0
1324.71/1325.13	c 1324s |      20 |  1539302 |   766827 |    50327     35 |       45 |        0
1327.11/1327.54	c 1327s |      20 |  1542076 |   768327 |    50327     35 |       45 |        0
1329.21/1329.63	c 1329s |      20 |  1545044 |   770227 |    50327     35 |       45 |        0
1331.31/1331.77	c 1331s |      20 |  1547611 |   771827 |    50327     35 |       45 |        0
1333.41/1333.84	c 1333s |      20 |  1549706 |   772827 |    50327     35 |       45 |        0
1335.41/1335.85	c 1335s |      20 |  1552178 |   774227 |    50327     35 |       45 |        0
1337.41/1337.87	c 1337s |      20 |  1554826 |   775527 |    50327     35 |       45 |        0
1339.41/1339.88	c 1339s |      20 |  1557389 |   776827 |    50327     35 |       45 |        0
1341.61/1342.09	c 1341s |      20 |  1560176 |   778127 |    50327     35 |       45 |        0
1343.70/1344.19	c 1343s |      20 |  1562556 |   779427 |    50327     35 |       45 |        0
1345.80/1346.24	c 1345s |      20 |  1564996 |   780727 |    50327     35 |       45 |        0
1347.80/1348.29	c 1347s |      20 |  1567658 |   782127 |    50327     35 |       45 |        0
1349.90/1350.32	c 1349s |      20 |  1570109 |   783527 |    50327     35 |       45 |        0
1352.00/1352.48	c 1352s |      20 |  1572514 |   784827 |    50327     35 |       45 |        0
1354.20/1354.66	c 1354s |      20 |  1575103 |   786027 |    50327     35 |       45 |        0
1356.20/1356.67	c 1356s |      20 |  1577212 |   787027 |    50327     35 |       45 |        0
1358.30/1358.78	c 1358s |      20 |  1579966 |   788527 |    50327     35 |       45 |        0
1360.41/1360.87	c 1360s |      20 |  1582712 |   790027 |    50327     35 |       45 |        0
1362.40/1362.89	c 1362s |      20 |  1585407 |   791227 |    50327     35 |       45 |        0
1364.50/1364.91	c 1364s |      20 |  1587973 |   792527 |    50327     36 |       45 |        0
1366.50/1366.96	c 1366s |      20 |  1590252 |   793727 |    50327     36 |       45 |        0
1368.60/1369.08	c 1368s |      20 |  1592963 |   795027 |    50327     36 |       45 |        0
1370.70/1371.19	c 1370s |      20 |  1594886 |   796227 |    50327     36 |       45 |        0
1372.91/1373.33	c 1372s |      20 |  1596670 |   797127 |    50327     36 |       45 |        0
1375.00/1375.44	c 1375s |      20 |  1599210 |   798327 |    50327     36 |       45 |        0
1377.10/1377.57	c 1377s |      20 |  1601595 |   799727 |    50327     36 |       45 |        0
1379.11/1379.59	c 1379s |      20 |  1603843 |   800827 |    50327     36 |       45 |        0
1381.31/1381.72	c 1381s |      20 |  1606672 |   802227 |    50327     36 |       45 |        0
1383.41/1383.86	c 1383s |      20 |  1608833 |   803427 |    50327     36 |       45 |        0
1385.61/1386.06	c 1385s |      20 |  1611161 |   804527 |    50327     36 |       45 |        0
1387.70/1388.19	c 1387s |      20 |  1613207 |   805527 |    50327     36 |       45 |        0
1389.80/1390.24	c 1389s |      20 |  1615096 |   806727 |    50327     36 |       45 |        0
1392.00/1392.40	c 1392s |      20 |  1616852 |   807627 |    50327     36 |       45 |        0
1394.00/1394.49	c 1394s |      20 |  1619144 |   808627 |    50327     36 |       45 |        0
1396.20/1396.62	c 1396s |      20 |  1621652 |   809927 |    50327     36 |       45 |        0
1398.20/1398.64	c 1398s |      20 |  1623489 |   811027 |    50327     36 |       45 |        0
1400.19/1400.64	c 1400s |      20 |  1625162 |   812127 |    50327     36 |       45 |        0
1402.29/1402.73	c 1402s |      20 |  1626759 |   813127 |    50327     36 |       45 |        0
1404.59/1405.08	c 1404s |      20 |  1628841 |   814027 |    50327     36 |       45 |        0
1406.89/1407.35	c 1406s |      20 |  1631259 |   815027 |    50327     36 |       45 |        0
1408.99/1409.47	c 1409s |      20 |  1633212 |   815927 |    50327     36 |       45 |        0
1411.00/1411.49	c 1411s |      20 |  1635147 |   816927 |    50327     36 |       45 |        0
1413.30/1413.70	c 1413s |      20 |  1637097 |   818027 |    50327     36 |       45 |        0
1415.30/1415.72	c 1415s |      20 |  1638643 |   819027 |    50327     36 |       45 |        0
1417.30/1417.77	c 1417s |      20 |  1640518 |   819927 |    50327     37 |       45 |        0
1419.39/1419.88	c 1419s |      20 |  1642575 |   820927 |    50327     37 |       45 |        0
1421.59/1422.01	c 1421s |      20 |  1644458 |   822027 |    50327     37 |       45 |        0
1423.69/1424.16	c 1423s |      20 |  1646839 |   823327 |    50327     37 |       45 |        0
1425.79/1426.23	c 1425s |      20 |  1648919 |   824427 |    50327     37 |       45 |        0
1428.09/1428.50	c 1428s |      20 |  1650969 |   825227 |    50327     37 |       45 |        0
1429.29/1429.78	c 1429s |      20 |  1651608 |   825252 |    50327     37 |       45 |        0
1429.29/1429.78	c #cpu_time = 1429.264s
1429.29/1429.78	c #wall_clock_time = 1429.394s
1429.29/1429.78	c #decision = 1651608
1429.29/1429.78	c #random_decision = 1748
1429.29/1429.78	c #conflict = 825252
1429.29/1429.78	c #restart = 20
1429.29/1429.78	o 89886612
1429.39/1429.80	c BCD2: updating upper bound: 3352482423 -> 89886626
1429.39/1429.81	c BCD2: 0 <= obj <= 89886626
1429.39/1429.81	c BCD2: #cores=0, #unrelaxed=3795, #relaxed=0, #hardened=0
1429.39/1429.81	c BCD2: #sat=1 #unsat=1 bias=1/2
1429.39/1429.82	c Solving starts ...
1429.39/1429.82	c ============================[ Search Statistics ]============================
1429.39/1429.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1429.39/1429.82	c       |         |          |          |    Limit     GC | Var      | Constra 
1429.39/1429.82	c =============================================================================
1429.39/1429.82	c  0.0s |       0 |        0 |        0 |    50327      0 |       45 |        0
1429.89/1430.36	c  0.5s |       0 |      258 |        4 |    50327      0 |       49 |       10
1429.89/1430.36	c #cpu_time = 0.541s
1429.89/1430.36	c #wall_clock_time = 0.541s
1429.89/1430.36	c #decision = 258
1429.89/1430.36	c #random_decision = 0
1429.89/1430.36	c #conflict = 4
1429.89/1430.36	c #restart = 0
1429.89/1430.36	c BCD2: found a new core of size 85: cost of the new core is >=54872
1429.89/1430.36	c lower bound updated to 54857
1429.89/1430.37	c BCD2: 54872 <= obj <= 89886626
1429.89/1430.37	c BCD2: #cores=1, #unrelaxed=3710, #relaxed=85, #hardened=0
1429.89/1430.37	c BCD2: #sat=1 #unsat=2 bias=2/3

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

pid=22939
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.00 2.03 2.00 3/179 22942
/proc/meminfo: memFree=30406784/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=535996 CPUtime=0 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 1964 0 0 0 0 0 0 0 20 0 4 0 114757329 548859904 1815 33554432000 4194304 16246674 140736824246400 140736824245824 15002730 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 134511 1825 441 2943 0 131405 0
[pid=22942/tid=22943] ppid=22939 vsize=553404 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 566685696 1885 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=558524 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 571928576 1903 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=562620 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114757329 576122880 1920 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100132 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 22942
/proc/meminfo: memFree=30406784/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 27599 0 0 0 5 4 0 0 20 0 4 0 114757329 1249447936 27387 33554432000 4194304 16246674 140736824246400 140736824245712 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 305041 27390 801 2943 0 301935 0
[pid=22942/tid=22943] ppid=22939 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1249447936 27393 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1249447936 27396 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1249447936 27398 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200486 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 22942
/proc/meminfo: memFree=30406784/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 48032 0 0 0 13 6 0 0 20 0 4 0 114757329 1333334016 47820 33554432000 4194304 16246674 140736824246400 140736824245712 12457334 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 325521 47820 839 2943 0 322415 0
[pid=22942/tid=22943] ppid=22939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1333334016 47820 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1333334016 47820 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1333334016 47820 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300441 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 22942
/proc/meminfo: memFree=30406784/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 59364 0 0 0 21 8 0 0 20 0 4 0 114757329 1333334016 59152 33554432000 4194304 16246674 140736824246400 140736824245712 7206249 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 325521 59159 842 2943 0 322415 0
[pid=22942/tid=22943] ppid=22939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1333334016 59163 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1333334016 59168 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1333334016 59174 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700351 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 22942
/proc/meminfo: memFree=30406784/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 110604 0 0 0 54 15 0 0 20 0 4 0 114757329 1333334016 110393 33554432000 4194304 16246674 140736824246400 140736824228288 13954518 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 325521 110397 885 2943 0 322415 0
[pid=22942/tid=22943] ppid=22939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1333334016 110401 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1333334016 110405 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1333334016 110407 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50036 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 22946
/proc/meminfo: memFree=29821556/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1302084 CPUtime=1.49 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 183103 0 0 0 125 24 0 0 20 0 4 0 114757329 1333334016 182892 33554432000 4194304 16246674 140736824246400 140736824228288 5661217 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 325521 182895 885 2943 0 322415 0
[pid=22942/tid=22943] ppid=22939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1333334016 182898 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1333334016 182900 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1333334016 182902 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10036 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 22946
/proc/meminfo: memFree=29432816/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1315396 CPUtime=3.09 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 270007 0 0 0 272 37 0 0 20 0 4 0 114757329 1346965504 269795 33554432000 4194304 16246674 140736824246400 140736824245712 5600323 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 328849 269795 891 2943 0 325743 0
[pid=22942/tid=22943] ppid=22939 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1346965504 269795 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1346965504 269795 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1346965504 269795 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30036 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 22946
/proc/meminfo: memFree=29328576/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 270037 0 0 0 592 37 0 0 20 0 4 0 114757329 1346965504 269825 33554432000 4194304 16246674 140736824246400 140736824228288 5672056 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 328849 269825 891 2943 0 325743 0
[pid=22942/tid=22943] ppid=22939 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1346965504 269825 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1346965504 269825 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1346965504 269825 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 22946
/proc/meminfo: memFree=29328980/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1315396 CPUtime=12.69 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 270040 0 0 0 1232 37 0 0 20 0 4 0 114757329 1346965504 269828 33554432000 4194304 16246674 140736824246400 140736824228288 5827966 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 328849 269828 893 2943 0 325743 0
[pid=22942/tid=22943] ppid=22939 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1346965504 269828 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1346965504 269828 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1346965504 269828 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 22946
/proc/meminfo: memFree=29305960/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1315396 CPUtime=25.48 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 270040 0 0 0 2511 37 0 0 20 0 4 0 114757329 1346965504 269828 33554432000 4194304 16246674 140736824246400 140736824228288 5667492 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 328849 269828 893 2943 0 325743 0
[pid=22942/tid=22943] ppid=22939 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1346965504 269828 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1346965504 269828 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1346965504 269828 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 22946
/proc/meminfo: memFree=29298604/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1321540 CPUtime=51.08 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 271436 0 0 0 5070 38 0 0 20 0 4 0 114757329 1353256960 271224 33554432000 4194304 16246674 140736824246400 140736824228288 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22942/statm: 330385 271224 898 2943 0 327279 0
[pid=22942/tid=22943] ppid=22939 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1353256960 271224 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1353256960 271224 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1353256960 271224 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1321540

[startup+102.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 22947
/proc/meminfo: memFree=29274084/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1346116 CPUtime=102.27 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 277726 0 0 0 10185 42 0 0 20 0 4 0 114757329 1378422784 277514 33554432000 4194304 16246674 140736824246400 140736824228288 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22942/statm: 336529 277514 898 2943 0 333423 0
[pid=22942/tid=22943] ppid=22939 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1378422784 277514 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1378422784 277514 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1378422784 277514 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1346116


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


[startup+1302.3 s]
/proc/loadavg: 2.17 2.11 2.04 3/183 23026
/proc/meminfo: memFree=29274916/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1362500 CPUtime=1301.92 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 282078 0 0 0 130075 117 0 0 20 0 4 0 114757329 1395200000 281867 33554432000 4194304 16246674 140736824246400 140736824229392 5828013 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22942/statm: 340625 281867 898 2943 0 337519 0
[pid=22942/tid=22943] ppid=22939 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1395200000 281867 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1395200000 281867 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1395200000 281867 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1362500

[startup+1362.3 s]
/proc/loadavg: 2.09 2.10 2.04 3/183 23027
/proc/meminfo: memFree=29275584/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1362500 CPUtime=1361.9 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 282078 0 0 0 136072 118 0 0 20 0 4 0 114757329 1395200000 281867 33554432000 4194304 16246674 140736824246400 140736824228288 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22942/statm: 340625 281867 898 2943 0 337519 0
[pid=22942/tid=22943] ppid=22939 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1395200000 281867 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1395200000 281867 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1395200000 281867 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1362500

[startup+1422.3 s]
/proc/loadavg: 2.03 2.08 2.03 3/184 23031
/proc/meminfo: memFree=29255796/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=1382980 CPUtime=1421.9 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 287011 0 0 0 142070 120 0 0 20 0 4 0 114757329 1416171520 286800 33554432000 4194304 16246674 140736824246400 140736824229392 5823835 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22942/statm: 345745 286800 898 2943 0 342639 0
[pid=22942/tid=22943] ppid=22939 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 1416171520 286800 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 1416171520 286800 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 1416171520 286800 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1382980

[startup+1482.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/183 23055
/proc/meminfo: memFree=23043036/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=7584324 CPUtime=1481.88 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 1837562 0 0 0 147862 326 0 0 20 0 4 0 114757329 7766347776 1837351 33554432000 4194304 16246674 140736824246400 140736824245496 4206604 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22942/statm: 1896081 1837351 923 2943 0 1892975 0
[pid=22942/tid=22943] ppid=22939 vsize=7584324 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 7766347776 1837351 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=7584324 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 7766347776 1837351 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=7584324 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 7766347776 1837351 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 7584324

[startup+1542.31 s]
/proc/loadavg: 2.10 2.09 2.03 3/183 23058
/proc/meminfo: memFree=16185304/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=14427716 CPUtime=1541.88 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 3548411 0 0 0 153624 564 0 0 20 0 4 0 114757329 14773981184 3548200 33554432000 4194304 16246674 140736824246400 140736824245496 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22942/statm: 3606929 3548200 923 2943 0 3603823 0
[pid=22942/tid=22943] ppid=22939 vsize=14427716 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 14773981184 3548200 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=14427716 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 14773981184 3548200 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=14427716 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 14773981184 3548200 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 14427716

[startup+1602.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/183 23059
/proc/meminfo: memFree=15966692/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=14644804 CPUtime=1601.87 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 3548522 0 0 0 159612 575 0 0 20 0 4 0 114757329 14996279296 3602477 33554432000 4194304 16246674 140736824246400 140736824245496 4220543 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22942/statm: 3661201 3602477 927 2943 0 3658095 0
[pid=22942/tid=22943] ppid=22939 vsize=14644804 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 14996279296 3602477 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=14644804 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 14996279296 3602477 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=14644804 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 14996279296 3602477 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 14644804

[startup+1662.3 s]
/proc/loadavg: 2.12 2.09 2.04 3/183 23060
/proc/meminfo: memFree=15966628/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=14644804 CPUtime=1661.86 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 3548522 0 0 0 165610 576 0 0 20 0 4 0 114757329 14996279296 3602477 33554432000 4194304 16246674 140736824246400 140736824245496 13901608 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22942/statm: 3661201 3602477 927 2943 0 3658095 0
[pid=22942/tid=22943] ppid=22939 vsize=14644804 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 14996279296 3602477 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=14644804 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 14996279296 3602477 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=14644804 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 14996279296 3602477 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 14644804



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1675.1 s]
/proc/loadavg: 2.10 2.09 2.04 3/183 23060
/proc/meminfo: memFree=15083360/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=15895108 CPUtime=1674.66 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) R 22939 22942 21010 0 -1 4202496 3861007 0 0 0 166841 625 0 0 20 0 4 0 114757329 16276590592 3914962 33554432000 4194304 16246674 140736824246400 140736824245576 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22942/statm: 3973777 3914971 927 2943 0 3970671 0
[pid=22942/tid=22943] ppid=22939 vsize=15895108 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) S 22939 22942 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114757329 16276590592 3914977 33554432000 4194304 16246674 140736824246400 139747843353840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22942/tid=22944] ppid=22939 vsize=15895108 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22944/stat : 22944 (toysat) S 22939 22942 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114757329 16276590592 3914981 33554432000 4194304 16246674 140736824246400 139747832863984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22942/tid=22945] ppid=22939 vsize=15895108 CPUtime=0 cores=0,2,4,6
/proc/22942/task/22945/stat : 22945 (toysat) S 22939 22942 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114757329 16276590592 3914986 33554432000 4194304 16246674 140736824246400 139747822390448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1674.66
Current children cumulated vsize (KiB) 15895108

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

[startup+1675.2 s]
/proc/loadavg: 2.10 2.09 2.04 3/183 23060
/proc/meminfo: memFree=15083360/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=0 CPUtime=1674.76 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) Z 22939 22942 21010 0 -1 4203532 3861488 0 0 0 166841 635 0 0 20 0 2 0 114757329 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22942/statm: 0 0 0 0 0 0 0
[pid=22942/tid=22943] ppid=22939 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) R 22939 22942 21010 0 -1 4203588 10 0 0 0 0 8 0 0 20 0 2 0 114757329 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1674.76
Current children cumulated vsize (KiB) 0

[startup+1675.6 s]
/proc/loadavg: 2.10 2.09 2.04 3/181 23060
/proc/meminfo: memFree=19420992/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=0 CPUtime=1675.15 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) Z 22939 22942 21010 0 -1 4203532 3861488 0 0 0 166841 674 0 0 20 0 2 0 114757329 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22942/statm: 0 0 0 0 0 0 0
[pid=22942/tid=22943] ppid=22939 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) R 22939 22942 21010 0 -1 4203588 10 0 0 0 0 48 0 0 20 0 2 0 114757329 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1675.15
Current children cumulated vsize (KiB) 0

[startup+1675.8 s]
/proc/loadavg: 2.10 2.09 2.04 3/181 23060
/proc/meminfo: memFree=19420992/32872528 swapFree=11196/354588
[pid=22942] ppid=22939 vsize=0 CPUtime=1675.35 cores=0,2,4,6
/proc/22942/stat : 22942 (toysat) Z 22939 22942 21010 0 -1 4203532 3861488 0 0 0 166841 694 0 0 20 0 2 0 114757329 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22942/statm: 0 0 0 0 0 0 0
[pid=22942/tid=22943] ppid=22939 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/22942/task/22943/stat : 22943 (toysat) R 22939 22942 21010 0 -1 4203588 10 0 0 0 0 68 0 0 20 0 2 0 114757329 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1675.35
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1675.89
CPU time (s): 1675.45
CPU user time (s): 1668.42
CPU system time (s): 7.03193
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 15895108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1668.42
system time used= 7.03193
maximum resident set size= 15661772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3861488
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= 345
involuntary context switches= 2465

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56431 second user time and 6.50701 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 21:37:19
IDJOB=4079397
IDBENCH=92702
IDSOLVER=2542
FILE ID=node126/4079397-1465328239
RUNJOBID= node126-1465306898-21026
PBS_JOBID= 19849495
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_0_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079397-1465328239/watcher-4079397-1465328239 -o /tmp/evaluation-result-4079397-1465328239/solver-4079397-1465328239 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21026 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079397-1465328239.opb

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

MD5SUM BENCH= dd3d38d29879098f25b76c0a87425db0
RANDOM SEED=639046916

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        30406784 kB
Buffers:           34428 kB
Cached:           228172 kB
SwapCached:         2088 kB
Active:          1237520 kB
Inactive:         139812 kB
Active(anon):    1112212 kB
Inactive(anon):     4628 kB
Active(file):     125308 kB
Inactive(file):   135184 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098680 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       1468452 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             600164 kB
SReclaimable:      43960 kB
SUnreclaim:       556204 kB
KernelStack:        1504 kB
PageTables:         6656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1611692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    813056 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= 71704 MiB
End job on node126 at 2016-06-07 22:05:15