Trace number 4116605

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round23-5.opb
MD5SUMe37b4268f223b7262f64117d47441ab2
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9472
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-26T23:16:22+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-4116605-1466975782.opb"]
0.00/0.01	c use --random-gen="313483986 2226156714 2719308637 2397644500 1394298586 1728167261 1084920386 250010707 1603768236 684949228 4018369435 3568215933 4249936252 2178362779 4242034075 3414918491 2148065923 617029987 2147984388 1395007824 2582686370 3403122881 489049651 31659898 3098099368 2956574162 416394066 1429227854 3160946829 823803179 2059334980 2912840733 2138030853 3714488208 2993633100 1938874605 1575918293 2911614217 1754528509 2853623157 3423673730 1638463963 3253078749 2238112418 1654036572 2874928803 1529599516 2080596235 3327872252 1409517654 1860186732 3722267199 2690312781 1879188109 1391586934 1018095710 1076800523 706282511 3030814258 879527660 318153110 3479331943 1855217308 2993967123 1813931286 35334517 4260300575 1162159866 2364981963 3958818094 3809503703 1223569391 849650154 906202966 956601436 575943968 583090487 2531619734 848615774 3480280057 2445049619 4216050602 1889326321 2681935949 3573597115 3318303327 1836879308 506025955 3630926167 1662327313 3654454599 575152852 925332815 2591541477 2747547618 3025394510 3052766589 146425725 132811267 2463005060 3166609233 3376078205 1800874399 819011995 3418516651 2754373809 2981875311 4179593168 1597546199 1551072722 2181310493 2660108518 2872604781 136409366 244018511 3718263364 2738057951 4222740903 3934495147 2508330835 155890775 2330173001 1760946165 4000389079 2164213315 2348703691 1227463399 404653187 373273268 2062142083 2822073836 244906565 2963099045 3745125265 1228943956 4270719693 3853625216 2288060964 2440479330 1510281816 267969164 4231683266 1536649234 359228943 1598017707 2136870820 844577340 21308908 2983511381 1715833676 409583047 560308570 3515222441 650917868 1202021977 1495970813 1077155384 4126311385 860505226 807421509 1474849372 3191663814 3181188514 137040938 2645569150 2829576165 930805635 3983833007 2472144167 1616911496 2487728869 1467375210 1625133484 3726782360 955746038 2015494161 3887971561 2516304915 2553153719 389297145 2250318392 1773207718 2066429064 212625690 1019744052 1997347519 3883017019 1779072874 3422010524 2288183587 813425325 2683638703 297198529 1198850165 826959756 7557934 4075161060 2367244827 444993563 1014448380 2117293001 2822593633 1957170492 320692634 2288152298 739298977 3731617225 3846860265 998498633 3460910689 474673220 3898872833 3979973669 3690537112 507114595 355825169 232937131 3280205941 3753721269 1835945852 3259318371 2034874798 2922979978 2285834558 4183760950 2793648400 942202790 1880256487 3752554953 32385477 2824107585 1972149754 1137435592 746759969 1098556897 2986802200 2204002759 3053132927 1463360542 2318321502 2669581045 3700741683 1193155300 3830643705 1282525618 3961018760 1479308311 3737750529 470974649 833839174 2056722356 856040718 2105377652 1552294852 808780340 3036707134 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9472
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      660 |        0
0.29/0.36	c  0.1s |       1 |      820 |      100 |     4565      0 |      660 |      534
0.39/0.46	c  0.2s |       2 |     2891 |      250 |     5022      0 |      660 |      534
0.59/0.61	c  0.3s |       3 |     4681 |      475 |     5525      0 |      660 |      534
0.89/0.97	c  0.7s |       4 |     5866 |      813 |     6078      0 |      660 |      534
1.39/1.42	c  1.1s |       5 |     9548 |     1320 |     6686      0 |      660 |      534
1.49/2.03	c  1.8s |       6 |    15429 |     2081 |     8091      0 |      660 |      534
3.09/3.15	c  2.9s |       7 |    19575 |     3223 |     8901      0 |      661 |      534
5.09/5.16	c  4.9s |       7 |    22144 |     4823 |     8901      0 |      661 |      534
5.29/5.30	c  5.0s |       8 |    22263 |     4936 |     9792      0 |      661 |      534
6.99/7.05	c  6.8s |       9 |    30574 |     7506 |    10772      0 |      661 |      534
9.09/9.17	c  8.9s |       9 |    34782 |     9306 |    10772      0 |      661 |      534
11.29/11.31	c 11.0s |       9 |    36415 |    10606 |    10772      0 |      661 |      534
12.59/12.69	c 12.4s |      10 |    37297 |    11361 |    11850      0 |      661 |      534
14.69/14.72	c 14.4s |      10 |    42294 |    13161 |    11850      0 |      661 |      534
16.69/16.75	c 16.5s |      10 |    49831 |    15361 |    11850      1 |      662 |      534
18.79/18.82	c 18.5s |      10 |    51434 |    16761 |    11850      1 |      662 |      534
19.39/19.44	c 19.2s |      11 |    51862 |    17144 |    13036      1 |      662 |      534
21.39/21.47	c 21.2s |      11 |    60993 |    19444 |    13036      1 |      662 |      534
23.48/23.57	c 23.3s |      11 |    63029 |    20844 |    13036      1 |      662 |      534
25.68/25.75	c 25.5s |      11 |    64677 |    22044 |    13036      1 |      662 |      534
27.78/27.85	c 27.6s |      11 |    65847 |    23044 |    13036      1 |      662 |      534
29.78/29.88	c 29.6s |      11 |    66773 |    23844 |    13036      1 |      662 |      534
31.98/32.08	c 31.8s |      11 |    67665 |    24644 |    13036      2 |      662 |      534
34.09/34.12	c 33.8s |      11 |    68783 |    25544 |    13036      2 |      662 |      534
34.79/34.85	c 34.6s |      12 |    69079 |    25819 |    14340      2 |      662 |      534
36.80/36.86	c 36.6s |      12 |    72657 |    27519 |    14340      2 |      662 |      534
38.79/38.88	c 38.6s |      12 |    75044 |    29119 |    14340      2 |      662 |      534
40.89/40.92	c 40.6s |      12 |    77571 |    30719 |    14340      2 |      662 |      534
42.89/42.98	c 42.7s |      12 |    79118 |    31919 |    14340      2 |      662 |      534
45.09/45.11	c 44.8s |      12 |    80308 |    32919 |    14340      2 |      662 |      534
47.29/47.32	c 47.0s |      12 |    81688 |    34019 |    14340      3 |      662 |      534
49.29/49.34	c 49.1s |      12 |    83033 |    35119 |    14340      3 |      662 |      534
51.39/51.48	c 51.2s |      12 |    84157 |    36119 |    14340      3 |      662 |      534
53.49/53.51	c 53.2s |      12 |    85295 |    37019 |    14340      3 |      662 |      534
55.59/55.61	c 55.3s |      12 |    86476 |    37919 |    14340      3 |      662 |      534
57.69/57.79	c 57.5s |      12 |    87612 |    38819 |    15775      3 |      662 |      534
57.79/57.81	c 57.5s |      13 |    87620 |    38832 |    15775      3 |      662 |      534
59.78/59.89	c 59.6s |      13 |   100829 |    41332 |    15775      3 |      662 |      534
61.88/61.91	c 61.6s |      13 |   112568 |    43732 |    15775      4 |      662 |      534
63.88/63.96	c 63.7s |      13 |   115897 |    45232 |    15775      4 |      662 |      534
66.08/66.16	c 65.9s |      13 |   116916 |    46032 |    15775      4 |      662 |      534
68.08/68.19	c 67.9s |      13 |   117746 |    46732 |    15775      4 |      662 |      534
70.18/70.23	c 70.0s |      13 |   118676 |    47532 |    15775      4 |      662 |      534
72.38/72.42	c 72.1s |      13 |   119441 |    48232 |    15775      4 |      662 |      534
74.37/74.44	c 74.2s |      13 |   120353 |    49032 |    15775      4 |      662 |      534
76.57/76.62	c 76.3s |      13 |   121306 |    49832 |    15775      4 |      662 |      534
78.58/78.67	c 78.4s |      13 |   122165 |    50532 |    15775      4 |      662 |      534
80.67/80.74	c 80.5s |      13 |   123016 |    51232 |    15775      4 |      662 |      534
82.87/83.00	c 82.7s |      13 |   123793 |    51932 |    15775      4 |      662 |      534
85.07/85.19	c 84.9s |      13 |   124326 |    52432 |    15775      5 |      662 |      534
87.27/87.36	c 87.1s |      13 |   124980 |    53032 |    15775      5 |      662 |      534
89.58/89.64	c 89.4s |      13 |   125635 |    53632 |    15775      5 |      662 |      534
91.67/91.71	c 91.4s |      13 |   126207 |    54132 |    15775      5 |      662 |      534
93.99/94.06	c 93.8s |      13 |   126762 |    54632 |    15775      5 |      662 |      534
95.98/96.09	c 95.8s |      13 |   128942 |    55732 |    15775      5 |      662 |      534
98.08/98.17	c 97.9s |      13 |   129943 |    56432 |    15775      5 |      662 |      534
99.38/99.41	c 99.1s |      14 |   143549 |    58352 |    17353      5 |      662 |      534
101.48/101.50	c  101s |      14 |   147031 |    60052 |    17353      5 |      662 |      534
103.48/103.50	c  103s |      14 |   148853 |    61652 |    17353      5 |      662 |      534
105.48/105.57	c  105s |      14 |   150566 |    63052 |    17353      5 |      662 |      534
107.68/107.73	c  107s |      14 |   151558 |    63952 |    17353      6 |      662 |      534
109.78/109.80	c  109s |      14 |   152569 |    64852 |    17353      6 |      662 |      534
111.78/111.85	c  111s |      14 |   154052 |    66152 |    17353      6 |      662 |      534
113.78/113.86	c  113s |      14 |   155760 |    67552 |    17353      6 |      662 |      534
115.88/115.93	c  115s |      14 |   157421 |    68852 |    17353      6 |      662 |      534
117.88/117.97	c  117s |      14 |   158868 |    70052 |    17353      6 |      662 |      534
120.07/120.19	c  119s |      14 |   160205 |    71252 |    17353      6 |      662 |      534
122.27/122.31	c  122s |      14 |   162154 |    72652 |    17353      6 |      662 |      534
124.27/124.37	c  124s |      14 |   164193 |    73952 |    17353      7 |      662 |      534
126.37/126.42	c  126s |      14 |   166086 |    75252 |    17353      7 |      662 |      534
128.47/128.53	c  128s |      14 |   167914 |    76652 |    17353      7 |      662 |      534
130.47/130.58	c  130s |      14 |   169781 |    77952 |    17353      7 |      662 |      534
132.58/132.62	c  132s |      14 |   170949 |    78952 |    17353      7 |      662 |      534
134.68/134.75	c  134s |      14 |   171938 |    79852 |    17353      7 |      662 |      534
136.77/136.83	c  136s |      14 |   172919 |    80752 |    17353      7 |      662 |      534
138.87/138.97	c  138s |      14 |   173921 |    81652 |    17353      7 |      662 |      534
141.17/141.26	c  140s |      14 |   174787 |    82452 |    17353      7 |      662 |      534
143.27/143.32	c  143s |      14 |   175529 |    83152 |    17353      7 |      662 |      534
145.37/145.48	c  145s |      14 |   176286 |    83852 |    17353      8 |      662 |      534
147.67/147.71	c  147s |      14 |   177247 |    84752 |    17353      8 |      662 |      534
149.77/149.88	c  149s |      14 |   178218 |    85652 |    17353      8 |      662 |      534
151.77/151.89	c  151s |      14 |   178966 |    86352 |    17353      8 |      662 |      534
153.87/153.94	c  153s |      14 |   179710 |    87052 |    19089      8 |      662 |      534
155.47/155.60	c  155s |      15 |   180318 |    87632 |    19089      8 |      662 |      534
157.57/157.67	c  157s |      15 |   185596 |    89232 |    19089      8 |      662 |      534
159.57/159.68	c  159s |      15 |   187161 |    90532 |    19089      8 |      662 |      534
161.67/161.76	c  161s |      15 |   188702 |    91832 |    19089      8 |      662 |      534
163.77/163.80	c  163s |      15 |   190336 |    93132 |    19089      8 |      662 |      534
165.76/165.90	c  165s |      15 |   191456 |    94132 |    19089      8 |      662 |      534
167.86/167.98	c  167s |      15 |   192456 |    95032 |    19089      8 |      662 |      534
170.46/170.54	c  170s |      15 |   193457 |    95932 |    19089      9 |      662 |      534
172.56/172.69	c  172s |      15 |   194766 |    96832 |    19089      9 |      662 |      534
174.76/174.85	c  174s |      15 |   196247 |    98032 |    19089      9 |      662 |      534
176.86/176.92	c  176s |      15 |   197204 |    98932 |    19089      9 |      662 |      534
178.96/179.07	c  178s |      15 |   198230 |    99832 |    19089      9 |      662 |      534
181.06/181.17	c  180s |      15 |   199273 |   100732 |    19089      9 |      662 |      534
183.26/183.30	c  183s |      15 |   200286 |   101632 |    19089      9 |      662 |      534
185.37/185.43	c  185s |      15 |   201554 |   102532 |    19089      9 |      662 |      534
187.47/187.56	c  187s |      15 |   203023 |   103632 |    19089      9 |      662 |      534
189.56/189.63	c  189s |      15 |   204119 |   104532 |    19089      9 |      662 |      534
191.66/191.72	c  191s |      15 |   205056 |   105332 |    19089      9 |      662 |      534
193.76/193.82	c  193s |      15 |   206235 |   106232 |    19089      9 |      662 |      534
195.76/195.85	c  195s |      15 |   207185 |   107032 |    19089      9 |      662 |      534
197.96/198.01	c  197s |      15 |   207955 |   107732 |    19089     10 |      662 |      534
200.06/200.19	c  199s |      15 |   209014 |   108632 |    19089     10 |      662 |      534
202.26/202.34	c  202s |      15 |   209941 |   109432 |    19089     10 |      662 |      534
204.36/204.46	c  204s |      15 |   210870 |   110232 |    19089     10 |      662 |      534
206.46/206.54	c  206s |      15 |   211654 |   110932 |    19089     10 |      662 |      534
208.66/208.70	c  208s |      15 |   212574 |   111732 |    19089     10 |      662 |      534
210.86/210.98	c  210s |      15 |   213338 |   112432 |    19089     10 |      662 |      534
213.06/213.11	c  212s |      15 |   214178 |   113132 |    19089     10 |      662 |      534
215.26/215.34	c  215s |      15 |   214971 |   113832 |    19089     10 |      662 |      534
217.26/217.39	c  217s |      15 |   215613 |   114432 |    19089     10 |      662 |      534
219.55/219.61	c  219s |      15 |   216426 |   115132 |    19089     10 |      662 |      534
221.75/221.88	c  221s |      15 |   217231 |   115832 |    19089     10 |      662 |      534
224.05/224.17	c  223s |      15 |   218028 |   116532 |    19089     10 |      662 |      534
226.35/226.41	c  226s |      15 |   218666 |   117132 |    19089     10 |      662 |      534
228.65/228.75	c  228s |      15 |   219471 |   117832 |    19089     10 |      662 |      534
230.65/230.75	c  230s |      15 |   220068 |   118332 |    19089     11 |      662 |      534
232.75/232.83	c  232s |      15 |   220832 |   119032 |    19089     11 |      662 |      534
234.86/234.96	c  234s |      15 |   221759 |   119832 |    19089     11 |      662 |      534
236.96/237.06	c  236s |      15 |   222680 |   120632 |    19089     11 |      662 |      534
239.35/239.41	c  239s |      15 |   223597 |   121432 |    19089     11 |      662 |      534
241.36/241.44	c  241s |      15 |   224299 |   122032 |    19089     11 |      662 |      534
243.36/243.45	c  243s |      15 |   224938 |   122632 |    19089     11 |      662 |      534
245.76/245.85	c  245s |      15 |   225595 |   123232 |    19089     11 |      662 |      534
248.16/248.29	c  248s |      15 |   226220 |   123832 |    19089     11 |      662 |      534
250.46/250.52	c  250s |      15 |   226996 |   124532 |    19089     11 |      662 |      534
252.46/252.53	c  252s |      15 |   227658 |   125132 |    19089     11 |      662 |      534
254.56/254.69	c  254s |      15 |   228580 |   125932 |    19089     11 |      662 |      534
256.65/256.78	c  256s |      15 |   229378 |   126632 |    19089     11 |      662 |      534
259.06/259.11	c  258s |      15 |   230184 |   127332 |    19089     11 |      662 |      534
261.05/261.18	c  260s |      15 |   230956 |   128032 |    19089     11 |      662 |      534
263.15/263.20	c  262s |      15 |   231643 |   128632 |    19089     11 |      662 |      534
265.25/265.31	c  265s |      15 |   232306 |   129232 |    19089     11 |      662 |      534
267.35/267.44	c  267s |      15 |   232853 |   129732 |    19089     12 |      662 |      534
269.35/269.48	c  269s |      15 |   233622 |   130432 |    19089     12 |      662 |      534
271.55/271.67	c  271s |      15 |   234528 |   131232 |    20998     12 |      662 |      534
272.45/272.59	c  272s |      16 |   234888 |   131552 |    20998     12 |      662 |      534
274.55/274.62	c  274s |      16 |   243844 |   133552 |    20998     12 |      662 |      534
276.56/276.65	c  276s |      16 |   247670 |   135452 |    20998     12 |      662 |      534
278.55/278.69	c  278s |      16 |   250052 |   136952 |    20998     12 |      662 |      534
280.65/280.79	c  280s |      16 |   252110 |   138352 |    20998     12 |      662 |      534
282.75/282.88	c  282s |      16 |   253361 |   139352 |    20998     12 |      662 |      534
284.95/285.07	c  284s |      16 |   254564 |   140352 |    20998     12 |      662 |      534
286.95/287.08	c  286s |      16 |   255786 |   141352 |    20998     12 |      662 |      534
289.15/289.23	c  288s |      16 |   256858 |   142252 |    20998     12 |      662 |      534
291.25/291.31	c  291s |      16 |   257585 |   142852 |    20998     13 |      662 |      534
293.25/293.35	c  293s |      16 |   258387 |   143552 |    20998     13 |      662 |      534
295.35/295.40	c  295s |      16 |   259248 |   144252 |    20998     13 |      662 |      534
297.35/297.44	c  297s |      16 |   260063 |   144952 |    20998     13 |      662 |      534
299.45/299.58	c  299s |      16 |   260843 |   145652 |    20998     13 |      662 |      534
301.55/301.66	c  301s |      16 |   261705 |   146352 |    20998     13 |      662 |      534
303.74/303.83	c  303s |      16 |   262529 |   147052 |    20998     13 |      662 |      534
305.94/306.07	c  305s |      16 |   263522 |   147852 |    20998     13 |      662 |      534
308.34/308.40	c  308s |      16 |   264309 |   148552 |    20998     13 |      662 |      534
310.44/310.54	c  310s |      16 |   264963 |   149152 |    20998     13 |      662 |      534
312.54/312.65	c  312s |      16 |   265669 |   149752 |    20998     13 |      662 |      534
314.74/314.87	c  314s |      16 |   266323 |   150352 |    20998     13 |      662 |      534
317.04/317.19	c  316s |      16 |   266994 |   150952 |    20998     13 |      662 |      534
319.14/319.23	c  318s |      16 |   267666 |   151552 |    20998     13 |      662 |      534
321.14/321.28	c  321s |      16 |   268227 |   152052 |    20998     13 |      662 |      534
323.54/323.65	c  323s |      16 |   268901 |   152652 |    20998     13 |      662 |      534
325.84/325.96	c  325s |      16 |   269579 |   153252 |    20998     13 |      662 |      534
327.84/327.97	c  327s |      16 |   270299 |   153852 |    20998     13 |      662 |      534
330.04/330.15	c  329s |      16 |   271001 |   154452 |    20998     13 |      662 |      534
332.24/332.32	c  332s |      16 |   271572 |   154952 |    20998     14 |      662 |      534
334.44/334.57	c  334s |      16 |   272360 |   155652 |    20998     14 |      662 |      534
336.64/336.71	c  336s |      16 |   273048 |   156252 |    20998     14 |      662 |      534
338.74/338.83	c  338s |      16 |   273719 |   156852 |    20998     14 |      662 |      534
340.84/340.90	c  340s |      16 |   274389 |   157452 |    20998     14 |      662 |      534
343.14/343.22	c  342s |      16 |   275188 |   158152 |    20998     14 |      662 |      534
345.14/345.22	c  344s |      16 |   275850 |   158752 |    20998     14 |      662 |      534
347.24/347.34	c  347s |      16 |   276506 |   159352 |    20998     14 |      662 |      534
349.44/349.53	c  349s |      16 |   277326 |   160052 |    20998     14 |      662 |      534
351.64/351.74	c  351s |      16 |   277989 |   160652 |    20998     14 |      662 |      534
354.04/354.13	c  353s |      16 |   278805 |   161352 |    20998     14 |      662 |      534
356.23/356.31	c  356s |      16 |   279493 |   161952 |    20998     14 |      662 |      534
358.23/358.36	c  358s |      16 |   280189 |   162552 |    20998     14 |      662 |      534
360.43/360.54	c  360s |      16 |   281016 |   163252 |    20998     14 |      662 |      534
362.83/362.94	c  362s |      16 |   281852 |   163952 |    20998     14 |      662 |      534
364.83/364.94	c  364s |      16 |   282422 |   164452 |    20998     14 |      662 |      534
366.93/367.04	c  366s |      16 |   282982 |   164952 |    20998     14 |      662 |      534
369.23/369.39	c  369s |      16 |   283644 |   165552 |    20998     14 |      662 |      534
371.53/371.69	c  371s |      16 |   284332 |   166152 |    20998     14 |      662 |      534
373.63/373.75	c  373s |      16 |   284888 |   166652 |    20998     14 |      662 |      534
375.73/375.86	c  375s |      16 |   285335 |   167052 |    20998     15 |      662 |      534
377.74/377.88	c  377s |      16 |   285993 |   167652 |    20998     15 |      662 |      534
380.13/380.23	c  379s |      16 |   286655 |   168252 |    20998     15 |      662 |      534
382.43/382.54	c  382s |      16 |   287307 |   168852 |    20998     15 |      662 |      534
384.53/384.70	c  384s |      16 |   287966 |   169452 |    20998     15 |      662 |      534
386.83/386.92	c  386s |      16 |   288610 |   170052 |    20998     15 |      662 |      534
389.03/389.15	c  388s |      16 |   289287 |   170652 |    20998     15 |      662 |      534
391.33/391.47	c  391s |      16 |   289963 |   171252 |    20998     15 |      662 |      534
393.73/393.89	c  393s |      16 |   290622 |   171852 |    20998     15 |      662 |      534
395.82/395.96	c  395s |      16 |   291175 |   172352 |    20998     15 |      662 |      534
397.92/398.04	c  397s |      16 |   291716 |   172852 |    20998     15 |      662 |      534
400.32/400.41	c  400s |      16 |   292378 |   173452 |    20998     15 |      662 |      534
402.42/402.51	c  402s |      16 |   292950 |   173952 |    20998     15 |      662 |      534
404.52/404.60	c  404s |      16 |   293505 |   174452 |    20998     15 |      662 |      534
406.73/406.81	c  406s |      16 |   294069 |   174952 |    20998     15 |      662 |      534
408.83/408.96	c  408s |      16 |   294616 |   175452 |    20998     15 |      662 |      534
411.23/411.38	c  411s |      16 |   295304 |   176052 |    20998     15 |      662 |      534
413.53/413.65	c  413s |      16 |   295983 |   176652 |    20998     15 |      662 |      534
415.83/415.92	c  415s |      16 |   296572 |   177152 |    20998     15 |      662 |      534
417.93/418.03	c  417s |      16 |   297293 |   177752 |    20998     15 |      662 |      534
419.93/420.08	c  419s |      16 |   297849 |   178252 |    20998     15 |      662 |      534
422.03/422.10	c  421s |      16 |   298406 |   178752 |    20998     15 |      662 |      534
424.13/424.23	c  423s |      16 |   298880 |   179152 |    20998     16 |      662 |      534
426.33/426.47	c  426s |      16 |   299556 |   179752 |    20998     16 |      662 |      534
428.73/428.85	c  428s |      16 |   300333 |   180452 |    20998     16 |      662 |      534
430.93/431.01	c  430s |      16 |   300999 |   181052 |    20998     16 |      662 |      534
433.23/433.32	c  433s |      16 |   301667 |   181652 |    20998     16 |      662 |      534
435.53/435.64	c  435s |      16 |   302338 |   182252 |    20998     16 |      662 |      534
437.53/437.69	c  437s |      16 |   302888 |   182752 |    20998     16 |      662 |      534
439.83/439.90	c  439s |      16 |   303540 |   183352 |    20998     16 |      662 |      534
441.82/441.97	c  441s |      16 |   304103 |   183852 |    20998     16 |      662 |      534
443.92/444.03	c  443s |      16 |   304641 |   184352 |    20998     16 |      662 |      534
446.03/446.13	c  445s |      16 |   305186 |   184852 |    20998     16 |      662 |      534
448.13/448.29	c  448s |      16 |   305735 |   185352 |    20998     16 |      662 |      534
450.43/450.55	c  450s |      16 |   306265 |   185852 |    20998     16 |      662 |      534
452.72/452.86	c  452s |      16 |   306810 |   186352 |    20998     16 |      662 |      534
454.83/454.95	c  454s |      16 |   307507 |   186952 |    20998     16 |      662 |      534
457.22/457.30	c  457s |      16 |   308174 |   187552 |    20998     16 |      662 |      534
459.42/459.53	c  459s |      16 |   308849 |   188152 |    20998     16 |      662 |      534
461.72/461.88	c  461s |      16 |   309535 |   188752 |    20998     16 |      662 |      534
463.92/464.01	c  463s |      16 |   310081 |   189252 |    20998     16 |      662 |      534
466.12/466.22	c  465s |      16 |   310613 |   189752 |    20998     16 |      662 |      534
468.22/468.35	c  468s |      16 |   311171 |   190252 |    20998     16 |      662 |      534
470.52/470.67	c  470s |      16 |   311718 |   190752 |    20998     16 |      662 |      534
473.42/473.59	c  473s |      16 |   312278 |   191252 |    20998     17 |      662 |      534
475.52/475.60	c  475s |      16 |   312824 |   191752 |    20998     17 |      662 |      534
477.72/477.85	c  477s |      16 |   313474 |   192352 |    20998     17 |      662 |      534
479.82/479.98	c  479s |      16 |   314019 |   192852 |    20998     17 |      662 |      534
482.02/482.11	c  481s |      16 |   314544 |   193352 |    20998     17 |      662 |      534
484.01/484.17	c  483s |      16 |   315122 |   193852 |    20998     17 |      662 |      534
486.11/486.25	c  485s |      16 |   315828 |   194452 |    20998     17 |      662 |      534
488.51/488.62	c  488s |      16 |   316541 |   195052 |    20998     17 |      662 |      534
490.61/490.76	c  490s |      16 |   317217 |   195652 |    20998     17 |      662 |      534
492.81/492.97	c  492s |      16 |   317897 |   196252 |    23098     17 |      662 |      534
495.01/495.19	c  494s |      16 |   318593 |   196852 |    23098     17 |      662 |      534
497.11/497.26	c  496s |      17 |   319266 |   197432 |    23098     17 |      662 |      534
499.21/499.39	c  499s |      17 |   322599 |   198832 |    23098     17 |      662 |      534
501.41/501.50	c  501s |      17 |   325390 |   200932 |    23098     17 |      662 |      534
503.51/503.62	c  503s |      17 |   327185 |   202432 |    23098     17 |      662 |      534
505.61/505.73	c  505s |      17 |   329051 |   203832 |    23098     17 |      662 |      534
507.71/507.81	c  507s |      17 |   330466 |   205032 |    23098     17 |      662 |      534
509.71/509.90	c  509s |      17 |   331376 |   205832 |    23098     18 |      662 |      534
512.01/512.11	c  511s |      17 |   332643 |   206932 |    23098     18 |      662 |      534
514.21/514.32	c  514s |      17 |   333781 |   207932 |    23098     18 |      662 |      534
516.41/516.54	c  516s |      17 |   334948 |   208932 |    23098     18 |      662 |      534
518.61/518.74	c  518s |      17 |   335944 |   209832 |    23098     18 |      662 |      534
520.82/520.94	c  520s |      17 |   336959 |   210732 |    23098     18 |      662 |      534
522.81/523.00	c  522s |      17 |   337878 |   211532 |    23098     18 |      662 |      534
524.91/525.08	c  524s |      17 |   341086 |   213232 |    23098     18 |      662 |      534
526.91/527.09	c  526s |      17 |   343352 |   214632 |    23098     18 |      662 |      534
529.01/529.16	c  528s |      17 |   344637 |   215732 |    23098     18 |      662 |      534
531.11/531.21	c  530s |      17 |   345911 |   216732 |    23098     18 |      662 |      534
533.21/533.39	c  533s |      17 |   347733 |   218132 |    23098     18 |      662 |      534
535.31/535.48	c  535s |      17 |   348772 |   219032 |    23098     19 |      662 |      534
537.41/537.51	c  537s |      17 |   350093 |   220132 |    23098     19 |      662 |      534
539.52/539.62	c  539s |      17 |   351381 |   221232 |    23098     19 |      662 |      534
541.51/541.63	c  541s |      17 |   352558 |   222232 |    23098     19 |      662 |      534
543.51/543.69	c  543s |      17 |   353433 |   223032 |    23098     19 |      662 |      534
545.81/545.91	c  545s |      17 |   354413 |   223932 |    23098     19 |      662 |      534
547.81/547.94	c  547s |      17 |   355446 |   224732 |    23098     19 |      662 |      534
549.91/550.09	c  549s |      17 |   356247 |   225432 |    23098     19 |      662 |      534
552.01/552.16	c  551s |      17 |   357074 |   226132 |    23098     19 |      662 |      534
554.11/554.25	c  553s |      17 |   357971 |   226832 |    23098     19 |      662 |      534
556.21/556.36	c  556s |      17 |   358815 |   227532 |    23098     19 |      662 |      534
558.30/558.49	c  558s |      17 |   359680 |   228232 |    23098     19 |      662 |      534
560.60/560.73	c  560s |      17 |   360605 |   228932 |    23098     19 |      662 |      534
562.90/563.02	c  562s |      17 |   361534 |   229632 |    23098     19 |      662 |      534
565.00/565.12	c  564s |      17 |   362277 |   230232 |    23098     19 |      662 |      534
567.30/567.43	c  567s |      17 |   363123 |   230932 |    23098     19 |      662 |      534
569.40/569.58	c  569s |      17 |   363866 |   231532 |    23098     19 |      662 |      534
571.50/571.69	c  571s |      17 |   364636 |   232132 |    23098     20 |      662 |      534
573.70/573.81	c  573s |      17 |   365810 |   233032 |    23098     20 |      662 |      534
575.90/576.04	c  575s |      17 |   366753 |   233832 |    23098     20 |      662 |      534
578.01/578.18	c  577s |      17 |   367434 |   234432 |    23098     20 |      662 |      534
580.21/580.30	c  580s |      17 |   368280 |   235132 |    23098     20 |      662 |      534
582.20/582.36	c  582s |      17 |   369664 |   236032 |    23098     20 |      662 |      534
584.40/584.56	c  584s |      17 |   370771 |   236932 |    23098     20 |      662 |      534
586.70/586.81	c  586s |      17 |   371925 |   237832 |    23098     20 |      662 |      534
588.70/588.82	c  588s |      17 |   373014 |   238732 |    23098     20 |      662 |      534
591.00/591.16	c  590s |      17 |   374149 |   239632 |    23098     20 |      662 |      534
593.19/593.38	c  593s |      17 |   375151 |   240432 |    23098     20 |      662 |      534
595.39/595.52	c  595s |      17 |   376008 |   241132 |    23098     20 |      662 |      534
597.39/597.56	c  597s |      17 |   376708 |   241732 |    23098     20 |      662 |      534
599.59/599.71	c  599s |      17 |   377431 |   242332 |    23098     20 |      662 |      534
601.60/601.71	c  601s |      17 |   378357 |   243032 |    23098     20 |      662 |      534
603.80/603.91	c  603s |      17 |   379247 |   243732 |    23098     20 |      662 |      534
606.10/606.21	c  605s |      17 |   380244 |   244532 |    23098     20 |      662 |      534
608.40/608.55	c  608s |      17 |   380839 |   245032 |    23098     21 |      662 |      534
610.50/610.60	c  610s |      17 |   381537 |   245632 |    23098     21 |      662 |      534
612.50/612.67	c  612s |      17 |   382199 |   246232 |    23098     21 |      662 |      534
614.80/614.97	c  614s |      17 |   382878 |   246832 |    23098     21 |      662 |      534
617.10/617.23	c  616s |      17 |   383545 |   247432 |    23098     21 |      662 |      534
619.10/619.24	c  618s |      17 |   384132 |   247932 |    23098     21 |      662 |      534
621.30/621.47	c  621s |      17 |   384942 |   248632 |    23098     21 |      662 |      534
623.30/623.50	c  623s |      17 |   385654 |   249232 |    23098     21 |      662 |      534
625.50/625.68	c  625s |      17 |   386515 |   249932 |    23098     21 |      662 |      534
627.80/627.92	c  627s |      17 |   387313 |   250632 |    23098     21 |      662 |      534
629.90/630.05	c  629s |      17 |   387991 |   251232 |    23098     21 |      662 |      534
632.40/632.51	c  632s |      17 |   388859 |   251932 |    23098     21 |      662 |      534
634.40/634.51	c  634s |      17 |   389439 |   252432 |    23098     21 |      662 |      534
636.70/636.84	c  636s |      17 |   390230 |   253132 |    23098     21 |      662 |      534
638.79/638.90	c  638s |      17 |   390913 |   253732 |    23098     21 |      662 |      534
640.99/641.10	c  640s |      17 |   391616 |   254332 |    23098     21 |      662 |      534
643.09/643.23	c  642s |      17 |   392214 |   254832 |    23098     21 |      662 |      534
645.39/645.52	c  645s |      17 |   392970 |   255432 |    23098     21 |      662 |      534
647.69/647.83	c  647s |      17 |   393529 |   255932 |    23098     21 |      662 |      534
649.89/650.09	c  649s |      17 |   394457 |   256732 |    23098     21 |      662 |      534
652.19/652.30	c  652s |      17 |   395547 |   257632 |    23098     21 |      662 |      534
654.19/654.37	c  654s |      17 |   396137 |   258132 |    23098     22 |      662 |      534
656.19/656.37	c  656s |      17 |   397136 |   258932 |    23098     22 |      662 |      534
658.39/658.58	c  658s |      17 |   398108 |   259732 |    23098     22 |      662 |      534
660.40/660.59	c  660s |      17 |   398985 |   260432 |    23098     22 |      662 |      534
662.49/662.69	c  662s |      17 |   399988 |   261232 |    23098     22 |      662 |      534
664.69/664.83	c  664s |      17 |   400731 |   261932 |    23098     22 |      662 |      534
666.89/667.05	c  666s |      17 |   401426 |   262532 |    23098     22 |      662 |      534
669.09/669.20	c  668s |      17 |   401986 |   263032 |    23098     22 |      662 |      534
671.09/671.26	c  670s |      17 |   402639 |   263632 |    23098     22 |      662 |      534
673.29/673.42	c  673s |      17 |   403325 |   264232 |    23098     22 |      662 |      534
675.49/675.63	c  675s |      17 |   404288 |   265032 |    23098     22 |      662 |      534
677.59/677.79	c  677s |      17 |   405358 |   265832 |    23098     22 |      662 |      534
679.79/679.91	c  679s |      17 |   406416 |   266732 |    23098     22 |      662 |      534
681.79/681.95	c  681s |      17 |   407420 |   267532 |    23098     22 |      662 |      534
683.79/683.96	c  683s |      17 |   408291 |   268232 |    23098     22 |      662 |      534
685.88/686.00	c  685s |      17 |   409149 |   268932 |    23098     22 |      662 |      534
687.89/688.02	c  687s |      17 |   409793 |   269532 |    23098     22 |      662 |      534
689.88/690.09	c  689s |      17 |   410493 |   270132 |    23098     22 |      662 |      534
691.98/692.18	c  691s |      17 |   411359 |   270832 |    23098     22 |      662 |      534
694.08/694.21	c  693s |      17 |   411939 |   271332 |    23098     23 |      662 |      534
696.18/696.33	c  696s |      17 |   413261 |   272332 |    23098     23 |      662 |      534
698.28/698.41	c  698s |      17 |   414340 |   273232 |    23098     23 |      662 |      534
700.28/700.46	c  700s |      17 |   415426 |   274032 |    23098     23 |      662 |      534
702.48/702.62	c  702s |      17 |   416459 |   274832 |    23098     23 |      662 |      534
704.49/704.67	c  704s |      17 |   417332 |   275532 |    23098     23 |      662 |      534
706.59/706.76	c  706s |      17 |   418508 |   276432 |    23098     23 |      662 |      534
708.89/709.01	c  708s |      17 |   419473 |   277232 |    23098     23 |      662 |      534
710.88/711.02	c  710s |      17 |   420207 |   277932 |    23098     23 |      662 |      534
713.08/713.26	c  712s |      17 |   420922 |   278632 |    23098     23 |      662 |      534
715.48/715.65	c  715s |      17 |   421570 |   279232 |    23098     23 |      662 |      534
717.58/717.74	c  717s |      17 |   422463 |   280032 |    23098     23 |      662 |      534
719.79/719.95	c  719s |      17 |   423259 |   280732 |    23098     23 |      662 |      534
721.88/722.02	c  721s |      17 |   423943 |   281332 |    23098     23 |      662 |      534
723.98/724.10	c  723s |      17 |   424505 |   281832 |    23098     23 |      662 |      534
726.18/726.35	c  726s |      17 |   425199 |   282432 |    23098     23 |      662 |      534
728.48/728.65	c  728s |      17 |   425709 |   282932 |    23098     23 |      662 |      534
730.58/730.70	c  730s |      17 |   426133 |   283332 |    23098     23 |      662 |      534
732.68/732.84	c  732s |      17 |   426707 |   283832 |    23098     23 |      662 |      534
735.08/735.21	c  734s |      17 |   427299 |   284332 |    23098     24 |      662 |      534
737.08/737.24	c  736s |      17 |   427962 |   284932 |    23098     24 |      662 |      534
739.18/739.38	c  739s |      17 |   428749 |   285632 |    23098     24 |      662 |      534
741.48/741.69	c  741s |      17 |   429560 |   286332 |    23098     24 |      662 |      534
743.68/743.84	c  743s |      17 |   430119 |   286832 |    23098     24 |      662 |      534
745.87/746.07	c  745s |      17 |   431209 |   287732 |    23098     24 |      662 |      534
747.97/748.12	c  747s |      17 |   432199 |   288532 |    23098     24 |      662 |      534
750.27/750.42	c  750s |      17 |   433139 |   289332 |    23098     24 |      662 |      534
752.57/752.74	c  752s |      17 |   434094 |   290132 |    23098     24 |      662 |      534
754.57/754.79	c  754s |      17 |   434932 |   290832 |    23098     24 |      662 |      534
756.77/756.92	c  756s |      17 |   435965 |   291632 |    23098     24 |      662 |      534
758.86/759.05	c  758s |      17 |   436787 |   292332 |    23098     24 |      662 |      534
760.96/761.16	c  760s |      17 |   437521 |   292932 |    23098     24 |      662 |      534
763.26/763.41	c  763s |      17 |   438231 |   293532 |    23098     24 |      662 |      534
765.36/765.58	c  765s |      17 |   438931 |   294132 |    23098     24 |      662 |      534
767.56/767.74	c  767s |      17 |   439657 |   294732 |    25408     24 |      662 |      534
769.76/769.93	c  769s |      17 |   440353 |   295332 |    25408     24 |      662 |      534
771.96/772.16	c  771s |      17 |   440905 |   295832 |    25408     24 |      662 |      534
773.86/774.09	c  773s |      18 |   441392 |   296252 |    25408     24 |      662 |      534
776.36/776.51	c  776s |      18 |   448888 |   297952 |    25408     25 |      662 |      534
778.36/778.51	c  778s |      18 |   455164 |   299752 |    25408     25 |      662 |      534
780.46/780.65	c  780s |      18 |   457263 |   301252 |    25408     25 |      662 |      534
782.57/782.77	c  782s |      18 |   458992 |   302652 |    25408     25 |      662 |      534
784.56/784.80	c  784s |      18 |   460298 |   303752 |    25408     25 |      662 |      534
786.66/786.87	c  786s |      18 |   461596 |   304852 |    25408     25 |      662 |      534
788.86/789.02	c  788s |      18 |   462777 |   305852 |    25408     25 |      662 |      534
790.96/791.16	c  790s |      18 |   463831 |   306752 |    25408     25 |      662 |      534
793.06/793.23	c  792s |      18 |   465196 |   307852 |    25408     25 |      662 |      534
795.26/795.43	c  795s |      18 |   466248 |   308752 |    25408     25 |      662 |      534
797.35/797.56	c  797s |      18 |   467315 |   309652 |    25408     25 |      662 |      534
799.35/799.59	c  799s |      18 |   468367 |   310552 |    25408     25 |      662 |      534
801.45/801.65	c  801s |      18 |   469301 |   311352 |    25408     25 |      662 |      534
803.55/803.72	c  803s |      18 |   470239 |   312152 |    25408     25 |      662 |      534
805.75/805.91	c  805s |      18 |   471140 |   312952 |    25408     25 |      662 |      534
807.76/807.94	c  807s |      18 |   471843 |   313552 |    25408     26 |      662 |      534
809.85/810.06	c  809s |      18 |   472763 |   314352 |    25408     26 |      662 |      534
812.05/812.23	c  811s |      18 |   473654 |   315152 |    25408     26 |      662 |      534
814.15/814.39	c  814s |      18 |   474541 |   315952 |    25408     26 |      662 |      534
816.24/816.41	c  816s |      18 |   475361 |   316652 |    25408     26 |      662 |      534
818.34/818.52	c  818s |      18 |   476135 |   317352 |    25408     26 |      662 |      534
820.54/820.75	c  820s |      18 |   476942 |   318052 |    25408     26 |      662 |      534
822.74/822.91	c  822s |      18 |   477695 |   318752 |    25408     26 |      662 |      534
824.74/824.94	c  824s |      18 |   478543 |   319452 |    25408     26 |      662 |      534
826.94/827.17	c  826s |      18 |   479356 |   320152 |    25408     26 |      662 |      534
829.14/829.38	c  829s |      18 |   480142 |   320852 |    25408     26 |      662 |      534
831.24/831.48	c  831s |      18 |   480796 |   321452 |    25408     26 |      662 |      534
833.24/833.49	c  833s |      18 |   481463 |   322052 |    25408     26 |      662 |      534
835.53/835.70	c  835s |      18 |   482258 |   322752 |    25408     26 |      662 |      534
837.54/837.72	c  837s |      18 |   482993 |   323352 |    25408     26 |      662 |      534
839.53/839.80	c  839s |      18 |   483692 |   323952 |    25408     26 |      662 |      534
841.63/841.81	c  841s |      18 |   484371 |   324552 |    25408     26 |      662 |      534
843.83/844.00	c  843s |      18 |   485014 |   325152 |    25408     26 |      662 |      534
845.83/846.00	c  845s |      18 |   485560 |   325652 |    25408     26 |      662 |      534
847.83/848.02	c  847s |      18 |   486257 |   326252 |    25408     26 |      662 |      534
850.03/850.22	c  849s |      18 |   486978 |   326852 |    25408     26 |      662 |      534
852.13/852.35	c  852s |      18 |   487664 |   327452 |    25408     26 |      662 |      534
854.93/855.18	c  854s |      18 |   488309 |   328052 |    25408     27 |      662 |      534
857.12/857.38	c  857s |      18 |   489113 |   328752 |    25408     27 |      662 |      534
859.33/859.57	c  859s |      18 |   489905 |   329452 |    25408     27 |      662 |      534
861.33/861.57	c  861s |      18 |   490592 |   330052 |    25408     27 |      662 |      534
863.73/863.92	c  863s |      18 |   491367 |   330752 |    25408     27 |      662 |      534
866.04/866.25	c  865s |      18 |   492136 |   331452 |    25408     27 |      662 |      534
868.24/868.43	c  868s |      18 |   492804 |   332052 |    25408     27 |      662 |      534
870.33/870.55	c  870s |      18 |   493638 |   332752 |    25408     27 |      662 |      534
872.33/872.59	c  872s |      18 |   494474 |   333452 |    25408     27 |      662 |      534
874.43/874.69	c  874s |      18 |   495274 |   334152 |    25408     27 |      662 |      534
876.53/876.77	c  876s |      18 |   495923 |   334752 |    25408     27 |      662 |      534
878.73/878.92	c  878s |      18 |   496598 |   335352 |    25408     27 |      662 |      534
880.93/881.14	c  880s |      18 |   497237 |   335952 |    25408     27 |      662 |      534
883.03/883.26	c  882s |      18 |   497906 |   336552 |    25408     27 |      662 |      534
885.23/885.47	c  885s |      18 |   498561 |   337152 |    25408     27 |      662 |      534
887.53/887.77	c  887s |      18 |   499227 |   337752 |    25408     27 |      662 |      534
889.93/890.17	c  889s |      18 |   499878 |   338352 |    25408     27 |      662 |      534
892.33/892.53	c  892s |      18 |   500596 |   338952 |    25408     27 |      662 |      534
894.43/894.67	c  894s |      18 |   501254 |   339552 |    25408     27 |      662 |      534
896.43/896.69	c  896s |      18 |   501807 |   340052 |    25408     27 |      662 |      534
898.72/898.91	c  898s |      18 |   502474 |   340652 |    25408     27 |      662 |      534
901.12/901.31	c  901s |      18 |   503127 |   341252 |    25408     27 |      662 |      534
903.32/903.54	c  903s |      18 |   503650 |   341752 |    25408     27 |      662 |      534
905.52/905.72	c  905s |      18 |   504198 |   342252 |    25408     27 |      662 |      534
907.72/907.96	c  907s |      18 |   504741 |   342752 |    25408     28 |      662 |      534
909.72/909.97	c  909s |      18 |   505481 |   343452 |    25408     28 |      662 |      534
911.72/911.97	c  911s |      18 |   506240 |   344152 |    25408     28 |      662 |      534
913.92/914.11	c  913s |      18 |   507048 |   344852 |    25408     28 |      662 |      534
916.02/916.26	c  915s |      18 |   507836 |   345552 |    25408     28 |      662 |      534
918.32/918.56	c  918s |      18 |   508594 |   346252 |    25408     28 |      662 |      534
920.42/920.67	c  920s |      18 |   509248 |   346852 |    25408     28 |      662 |      534
922.42/922.68	c  922s |      18 |   509894 |   347452 |    25408     28 |      662 |      534
924.62/924.82	c  924s |      18 |   510533 |   348052 |    25408     28 |      662 |      534
926.91/927.11	c  926s |      18 |   511165 |   348652 |    25408     28 |      662 |      534
929.31/929.50	c  929s |      18 |   511787 |   349252 |    25408     28 |      662 |      534
931.51/931.77	c  931s |      18 |   512501 |   349852 |    25408     28 |      662 |      534
933.71/933.92	c  933s |      18 |   513226 |   350452 |    25408     28 |      662 |      534
935.91/936.15	c  935s |      18 |   513926 |   351052 |    25408     28 |      662 |      534
938.21/938.48	c  938s |      18 |   514673 |   351752 |    25408     28 |      662 |      534
940.31/940.54	c  940s |      18 |   515317 |   352352 |    25408     28 |      662 |      534
942.61/942.82	c  942s |      18 |   515972 |   352952 |    25408     28 |      662 |      534
944.81/945.06	c  944s |      18 |   516640 |   353552 |    25408     28 |      662 |      534
947.00/947.25	c  946s |      18 |   517287 |   354152 |    25408     28 |      662 |      534
949.20/949.46	c  949s |      18 |   517812 |   354652 |    25408     28 |      662 |      534
951.50/951.75	c  951s |      18 |   518473 |   355252 |    25408     28 |      662 |      534
953.80/954.02	c  953s |      18 |   519026 |   355752 |    25408     28 |      662 |      534
955.90/956.14	c  955s |      18 |   519565 |   356252 |    25408     28 |      662 |      534
958.10/958.37	c  958s |      18 |   520108 |   356752 |    25408     28 |      662 |      534
960.40/960.68	c  960s |      18 |   520636 |   357252 |    25408     29 |      662 |      534
962.60/962.88	c  962s |      18 |   521418 |   357952 |    25408     29 |      662 |      534
964.70/964.99	c  964s |      18 |   522074 |   358552 |    25408     29 |      662 |      534
967.00/967.20	c  966s |      18 |   522832 |   359252 |    25408     29 |      662 |      534
968.99/969.20	c  968s |      18 |   523482 |   359852 |    25408     29 |      662 |      534
971.29/971.56	c  971s |      18 |   524251 |   360552 |    25408     29 |      662 |      534
973.39/973.62	c  973s |      18 |   524892 |   361152 |    25408     29 |      662 |      534
975.49/975.79	c  975s |      18 |   525521 |   361752 |    25408     29 |      662 |      534
977.79/978.02	c  977s |      18 |   526147 |   362352 |    25408     29 |      662 |      534
979.79/980.08	c  979s |      18 |   526678 |   362852 |    25408     29 |      662 |      534
982.19/982.40	c  982s |      18 |   527319 |   363452 |    25408     29 |      662 |      534
984.39/984.63	c  984s |      18 |   527969 |   364052 |    25408     29 |      662 |      534
986.59/986.88	c  986s |      18 |   528624 |   364652 |    25408     29 |      662 |      534
988.99/989.20	c  988s |      18 |   529284 |   365252 |    25408     29 |      662 |      534
991.09/991.36	c  991s |      18 |   529830 |   365752 |    25408     29 |      662 |      534
993.49/993.77	c  993s |      18 |   530470 |   366352 |    25408     29 |      662 |      534
995.58/995.80	c  995s |      18 |   531024 |   366852 |    25408     29 |      662 |      534
997.88/998.13	c  997s |      18 |   531679 |   367452 |    25408     29 |      662 |      534
999.98/1000.25	c  999s |      18 |   532219 |   367952 |    25408     29 |      662 |      534
1002.39/1002.62	c 1002s |      18 |   532849 |   368552 |    25408     29 |      662 |      534
1004.38/1004.65	c 1004s |      18 |   533393 |   369052 |    25408     29 |      662 |      534
1006.68/1006.92	c 1006s |      18 |   533935 |   369552 |    25408     29 |      662 |      534
1008.68/1008.94	c 1008s |      18 |   534485 |   370052 |    25408     29 |      662 |      534
1010.88/1011.13	c 1010s |      18 |   535017 |   370552 |    25408     29 |      662 |      534
1013.08/1013.30	c 1013s |      18 |   535560 |   371052 |    25408     29 |      662 |      534
1015.37/1015.68	c 1015s |      18 |   535980 |   371452 |    25408     30 |      662 |      534
1017.37/1017.69	c 1017s |      18 |   536761 |   372152 |    25408     30 |      662 |      534
1019.57/1019.85	c 1019s |      18 |   537527 |   372852 |    25408     30 |      662 |      534
1021.57/1021.89	c 1021s |      18 |   538189 |   373452 |    25408     30 |      662 |      534
1023.87/1024.15	c 1023s |      18 |   538822 |   374052 |    25408     30 |      662 |      534
1026.07/1026.38	c 1026s |      18 |   539457 |   374652 |    25408     30 |      662 |      534
1028.37/1028.65	c 1028s |      18 |   540085 |   375252 |    25408     30 |      662 |      534
1030.57/1030.83	c 1030s |      18 |   540712 |   375852 |    25408     30 |      662 |      534
1032.77/1033.00	c 1032s |      18 |   541361 |   376452 |    25408     30 |      662 |      534
1034.77/1035.02	c 1034s |      18 |   541887 |   376952 |    25408     30 |      662 |      534
1036.87/1037.17	c 1036s |      18 |   542545 |   377552 |    25408     30 |      662 |      534
1039.07/1039.37	c 1039s |      18 |   543468 |   378352 |    25408     30 |      662 |      534
1041.27/1041.56	c 1041s |      18 |   544243 |   379052 |    25408     30 |      662 |      534
1043.57/1043.85	c 1043s |      18 |   545005 |   379752 |    25408     30 |      662 |      534
1045.77/1046.03	c 1045s |      18 |   545673 |   380352 |    25408     30 |      662 |      534
1047.86/1048.12	c 1047s |      18 |   546332 |   380952 |    25408     30 |      662 |      534
1049.96/1050.21	c 1049s |      18 |   546988 |   381552 |    25408     30 |      662 |      534
1052.26/1052.51	c 1052s |      18 |   547631 |   382152 |    25408     30 |      662 |      534
1054.36/1054.67	c 1054s |      18 |   548307 |   382752 |    25408     30 |      662 |      534
1056.66/1056.90	c 1056s |      18 |   548857 |   383252 |    25408     30 |      662 |      534
1058.76/1059.08	c 1058s |      18 |   549415 |   383752 |    25408     30 |      662 |      534
1061.16/1061.44	c 1061s |      18 |   550091 |   384352 |    25408     30 |      662 |      534
1063.26/1063.53	c 1063s |      18 |   550646 |   384852 |    25408     30 |      662 |      534
1065.26/1065.56	c 1065s |      18 |   551197 |   385352 |    25408     30 |      662 |      534
1067.95/1068.28	c 1068s |      18 |   551733 |   385852 |    25408     31 |      662 |      534
1069.95/1070.28	c 1070s |      18 |   552393 |   386452 |    25408     31 |      662 |      534
1072.05/1072.31	c 1072s |      18 |   553058 |   387052 |    25408     31 |      662 |      534
1074.25/1074.52	c 1074s |      18 |   553844 |   387752 |    25408     31 |      662 |      534
1076.25/1076.56	c 1076s |      18 |   554497 |   388352 |    25408     31 |      662 |      534
1078.36/1078.63	c 1078s |      18 |   555121 |   388952 |    25408     31 |      662 |      534
1080.75/1081.01	c 1080s |      18 |   555755 |   389552 |    25408     31 |      662 |      534
1082.95/1083.27	c 1082s |      18 |   556410 |   390152 |    25408     31 |      662 |      534
1085.35/1085.63	c 1085s |      18 |   557069 |   390752 |    25408     31 |      662 |      534
1087.34/1087.65	c 1087s |      18 |   557604 |   391252 |    25408     31 |      662 |      534
1089.44/1089.71	c 1089s |      18 |   558169 |   391752 |    25408     31 |      662 |      534
1091.64/1091.95	c 1091s |      18 |   558807 |   392352 |    25408     31 |      662 |      534
1093.75/1094.04	c 1093s |      18 |   559365 |   392852 |    25408     31 |      662 |      534
1096.14/1096.46	c 1096s |      18 |   559996 |   393452 |    25408     31 |      662 |      534
1098.33/1098.69	c 1098s |      18 |   560654 |   394052 |    25408     31 |      662 |      534
1100.73/1101.01	c 1100s |      18 |   561330 |   394652 |    25408     31 |      662 |      534
1102.93/1103.20	c 1102s |      18 |   562001 |   395252 |    25408     31 |      662 |      534
1104.93/1105.21	c 1104s |      18 |   562694 |   395852 |    25408     31 |      662 |      534
1107.13/1107.41	c 1107s |      18 |   563233 |   396352 |    25408     31 |      662 |      534
1109.33/1109.64	c 1109s |      18 |   563889 |   396952 |    25408     31 |      662 |      534
1111.53/1111.80	c 1111s |      18 |   564569 |   397552 |    25408     31 |      662 |      534
1113.83/1114.18	c 1113s |      18 |   565197 |   398152 |    25408     31 |      662 |      534
1116.23/1116.51	c 1116s |      18 |   565862 |   398752 |    25408     31 |      662 |      534
1118.43/1118.80	c 1118s |      18 |   566517 |   399352 |    25408     31 |      662 |      534
1120.63/1120.90	c 1120s |      18 |   567171 |   399952 |    25408     31 |      662 |      534
1122.83/1123.15	c 1122s |      18 |   567715 |   400452 |    25408     32 |      662 |      534
1125.03/1125.36	c 1125s |      18 |   568624 |   401252 |    25408     32 |      662 |      534
1127.12/1127.48	c 1127s |      18 |   569390 |   401952 |    25408     32 |      662 |      534
1129.32/1129.67	c 1129s |      18 |   570167 |   402652 |    25408     32 |      662 |      534
1131.42/1131.76	c 1131s |      18 |   570829 |   403252 |    25408     32 |      662 |      534
1133.52/1133.87	c 1133s |      18 |   571481 |   403852 |    25408     32 |      662 |      534
1135.82/1136.10	c 1135s |      18 |   572238 |   404552 |    25408     32 |      662 |      534
1138.11/1138.41	c 1138s |      18 |   572985 |   405252 |    25408     32 |      662 |      534
1140.11/1140.49	c 1140s |      18 |   573652 |   405852 |    25408     32 |      662 |      534
1142.21/1142.56	c 1142s |      18 |   574287 |   406452 |    25408     32 |      662 |      534
1144.61/1144.94	c 1144s |      18 |   574942 |   407052 |    25408     32 |      662 |      534
1146.91/1147.26	c 1146s |      18 |   575593 |   407652 |    25408     32 |      662 |      534
1149.01/1149.35	c 1149s |      18 |   576137 |   408152 |    25408     32 |      662 |      534
1151.21/1151.57	c 1151s |      18 |   576804 |   408752 |    25408     32 |      662 |      534
1153.60/1153.95	c 1153s |      18 |   577469 |   409352 |    25408     32 |      662 |      534
1155.80/1156.19	c 1155s |      18 |   577996 |   409852 |    25408     32 |      662 |      534
1157.90/1158.20	c 1157s |      18 |   578559 |   410352 |    25408     32 |      662 |      534
1160.00/1160.32	c 1160s |      18 |   579251 |   410952 |    25408     32 |      662 |      534
1162.10/1162.45	c 1162s |      18 |   579800 |   411452 |    25408     32 |      662 |      534
1164.20/1164.57	c 1164s |      18 |   580358 |   411952 |    25408     32 |      662 |      534
1166.30/1166.65	c 1166s |      18 |   580907 |   412452 |    25408     32 |      662 |      534
1168.69/1169.03	c 1168s |      18 |   581438 |   412952 |    25408     32 |      662 |      534
1170.99/1171.31	c 1171s |      18 |   581996 |   413452 |    25408     32 |      662 |      534
1173.29/1173.62	c 1173s |      18 |   582543 |   413952 |    25408     32 |      662 |      534
1175.69/1176.06	c 1175s |      18 |   583070 |   414452 |    25408     32 |      662 |      534
1177.99/1178.35	c 1178s |      18 |   583518 |   414852 |    25408     33 |      662 |      534
1180.29/1180.63	c 1180s |      18 |   584302 |   415552 |    25408     33 |      662 |      534
1182.39/1182.71	c 1182s |      18 |   585080 |   416252 |    25408     33 |      662 |      534
1184.49/1184.85	c 1184s |      18 |   585722 |   416852 |    25408     33 |      662 |      534
1186.58/1186.98	c 1186s |      18 |   586384 |   417452 |    25408     33 |      662 |      534
1188.68/1189.01	c 1188s |      18 |   587013 |   418052 |    25408     33 |      662 |      534
1190.78/1191.17	c 1190s |      18 |   587679 |   418652 |    25408     33 |      662 |      534
1192.98/1193.39	c 1193s |      18 |   588311 |   419252 |    25408     33 |      662 |      534
1195.28/1195.61	c 1195s |      18 |   588977 |   419852 |    25408     33 |      662 |      534
1197.27/1197.62	c 1197s |      18 |   589667 |   420452 |    25408     33 |      662 |      534
1199.37/1199.78	c 1199s |      18 |   590440 |   421152 |    25408     33 |      662 |      534
1201.48/1201.83	c 1201s |      18 |   591112 |   421752 |    25408     33 |      662 |      534
1203.68/1204.04	c 1203s |      18 |   591776 |   422352 |    25408     33 |      662 |      534
1205.87/1206.23	c 1205s |      18 |   592423 |   422952 |    25408     33 |      662 |      534
1208.16/1208.56	c 1208s |      18 |   593196 |   423652 |    25408     33 |      662 |      534
1210.46/1210.84	c 1210s |      18 |   593856 |   424252 |    25408     33 |      662 |      534
1212.76/1213.10	c 1212s |      18 |   594520 |   424852 |    25408     33 |      662 |      534
1215.06/1215.42	c 1215s |      18 |   595166 |   425452 |    25408     33 |      662 |      534
1217.26/1217.64	c 1217s |      18 |   595847 |   426052 |    25408     33 |      662 |      534
1219.66/1220.02	c 1219s |      18 |   596494 |   426652 |    25408     33 |      662 |      534
1221.86/1222.25	c 1221s |      18 |   597191 |   427252 |    25408     33 |      662 |      534
1224.16/1224.57	c 1224s |      18 |   597859 |   427852 |    25408     33 |      662 |      534
1226.35/1226.72	c 1226s |      18 |   598402 |   428352 |    25408     33 |      662 |      534
1228.55/1228.99	c 1228s |      18 |   599078 |   428952 |    25408     33 |      662 |      534
1230.95/1231.31	c 1231s |      18 |   599610 |   429452 |    25408     34 |      662 |      534
1232.95/1233.36	c 1233s |      18 |   600266 |   430052 |    25408     34 |      662 |      534
1235.05/1235.42	c 1235s |      18 |   600925 |   430652 |    25408     34 |      662 |      534
1237.24/1237.69	c 1237s |      18 |   601590 |   431252 |    25408     34 |      662 |      534
1239.34/1239.79	c 1239s |      18 |   602253 |   431852 |    25408     34 |      662 |      534
1241.34/1241.79	c 1241s |      18 |   603043 |   432552 |    25408     34 |      662 |      534
1243.64/1244.01	c 1243s |      18 |   603804 |   433252 |    25408     34 |      662 |      534
1245.64/1246.04	c 1245s |      18 |   604469 |   433852 |    25408     34 |      662 |      534
1247.84/1248.20	c 1247s |      18 |   605117 |   434452 |    25408     34 |      662 |      534
1249.94/1250.36	c 1250s |      18 |   605778 |   435052 |    25408     34 |      662 |      534
1252.24/1252.69	c 1252s |      18 |   606547 |   435752 |    25408     34 |      662 |      534
1254.54/1255.00	c 1254s |      18 |   607294 |   436452 |    25408     34 |      662 |      534
1256.83/1257.29	c 1257s |      18 |   607947 |   437052 |    25408     34 |      662 |      534
1259.13/1259.56	c 1259s |      18 |   608635 |   437652 |    25408     34 |      662 |      534
1261.43/1261.83	c 1261s |      18 |   609303 |   438252 |    25408     34 |      662 |      534
1263.53/1263.99	c 1263s |      18 |   609963 |   438852 |    25408     34 |      662 |      534
1265.82/1266.24	c 1265s |      18 |   610618 |   439452 |    25408     34 |      662 |      534
1267.92/1268.37	c 1268s |      18 |   611265 |   440052 |    25408     34 |      662 |      534
1270.32/1270.75	c 1270s |      18 |   611946 |   440652 |    25408     34 |      662 |      534
1272.42/1272.88	c 1272s |      18 |   612479 |   441152 |    25408     34 |      662 |      534
1274.52/1274.93	c 1274s |      18 |   612988 |   441652 |    27949     34 |      662 |      534
1276.72/1277.14	c 1276s |      18 |   613531 |   442152 |    27949     34 |      662 |      534
1279.02/1279.43	c 1279s |      18 |   614063 |   442652 |    27949     34 |      662 |      534
1281.22/1281.63	c 1281s |      18 |   614596 |   443152 |    27949     34 |      662 |      534
1283.52/1283.94	c 1283s |      18 |   615135 |   443652 |    27949     34 |      662 |      534
1285.51/1285.99	c 1285s |      18 |   615677 |   444152 |    27949     34 |      662 |      534
1286.91/1287.37	c 1287s |      19 |   616049 |   444482 |    27949     34 |      662 |      534
1289.01/1289.42	c 1289s |      19 |   619300 |   445382 |    27949     35 |      662 |      534
1291.01/1291.43	c 1291s |      19 |   623409 |   447682 |    27949     35 |      662 |      534
1293.01/1293.46	c 1293s |      19 |   625523 |   449282 |    27949     35 |      662 |      534
1295.11/1295.52	c 1295s |      19 |   626918 |   450482 |    27949     35 |      662 |      534
1297.21/1297.65	c 1297s |      19 |   628051 |   451482 |    27949     35 |      662 |      534
1299.31/1299.78	c 1299s |      19 |   629360 |   452582 |    27949     35 |      662 |      534
1301.51/1301.96	c 1301s |      19 |   630491 |   453582 |    27949     35 |      662 |      534
1303.61/1304.03	c 1303s |      19 |   631500 |   454482 |    27949     35 |      662 |      534
1305.70/1306.18	c 1305s |      19 |   632652 |   455482 |    27949     35 |      662 |      534
1307.71/1308.18	c 1307s |      19 |   635865 |   456882 |    27949     35 |      662 |      534
1309.81/1310.22	c 1309s |      19 |   639227 |   458482 |    27949     35 |      662 |      534
1311.91/1312.31	c 1312s |      19 |   641318 |   459782 |    27949     35 |      662 |      534
1313.91/1314.38	c 1314s |      19 |   642672 |   460682 |    27949     36 |      662 |      534
1316.10/1316.51	c 1316s |      19 |   644118 |   461782 |    27949     36 |      662 |      534
1318.10/1318.59	c 1318s |      19 |   645345 |   462682 |    27949     36 |      662 |      534
1320.30/1320.71	c 1320s |      19 |   646836 |   463782 |    27949     36 |      662 |      534
1322.31/1322.73	c 1322s |      19 |   647983 |   464682 |    27949     36 |      662 |      534
1324.40/1324.86	c 1324s |      19 |   649094 |   465582 |    27949     36 |      662 |      534
1326.59/1327.04	c 1326s |      19 |   650244 |   466482 |    27949     36 |      662 |      534
1328.59/1329.04	c 1328s |      19 |   651193 |   467282 |    27949     36 |      662 |      534
1330.59/1331.07	c 1330s |      19 |   652248 |   468082 |    27949     36 |      662 |      534
1332.69/1333.17	c 1332s |      19 |   653483 |   468982 |    27949     36 |      662 |      534
1334.79/1335.23	c 1334s |      19 |   654648 |   469882 |    27949     36 |      662 |      534
1337.09/1337.52	c 1337s |      19 |   655688 |   470682 |    27949     36 |      662 |      534
1339.29/1339.72	c 1339s |      19 |   656563 |   471382 |    27949     36 |      662 |      534
1341.39/1341.84	c 1341s |      19 |   657432 |   472082 |    27949     36 |      662 |      534
1343.69/1344.16	c 1343s |      19 |   658256 |   472782 |    27949     36 |      662 |      534
1345.78/1346.27	c 1345s |      19 |   658956 |   473382 |    27949     36 |      662 |      534
1348.08/1348.50	c 1348s |      19 |   659662 |   473982 |    27949     36 |      662 |      534
1350.08/1350.59	c 1350s |      19 |   660530 |   474682 |    27949     36 |      662 |      534
1352.38/1352.87	c 1352s |      19 |   661230 |   475282 |    27949     36 |      662 |      534
1354.78/1355.29	c 1355s |      19 |   661924 |   475882 |    27949     36 |      662 |      534
1356.98/1357.47	c 1357s |      19 |   662529 |   476382 |    27949     37 |      662 |      534
1358.98/1359.49	c 1359s |      19 |   663218 |   476982 |    27949     37 |      662 |      534
1361.18/1361.68	c 1361s |      19 |   663920 |   477582 |    27949     37 |      662 |      534
1363.47/1364.00	c 1363s |      19 |   664823 |   478382 |    27949     37 |      662 |      534
1365.67/1366.13	c 1365s |      19 |   665517 |   478982 |    27949     37 |      662 |      534
1367.77/1368.24	c 1367s |      19 |   666335 |   479682 |    27949     37 |      662 |      534
1369.77/1370.26	c 1369s |      19 |   667209 |   480382 |    27949     37 |      662 |      534
1371.88/1372.31	c 1372s |      19 |   667934 |   480982 |    27949     37 |      662 |      534
1373.87/1374.40	c 1374s |      19 |   668627 |   481582 |    27949     37 |      662 |      534
1376.17/1376.68	c 1376s |      19 |   669450 |   482282 |    27949     37 |      662 |      534
1378.37/1378.86	c 1378s |      19 |   670163 |   482882 |    27949     37 |      662 |      534
1380.67/1381.13	c 1380s |      19 |   671024 |   483582 |    27949     37 |      662 |      534
1382.96/1383.43	c 1383s |      19 |   671740 |   484182 |    27949     37 |      662 |      534
1385.16/1385.66	c 1385s |      19 |   672444 |   484782 |    27949     37 |      662 |      534
1387.17/1387.69	c 1387s |      19 |   673030 |   485282 |    27949     37 |      662 |      534
1389.47/1389.94	c 1389s |      19 |   673789 |   485882 |    27949     37 |      662 |      534
1391.46/1391.99	c 1391s |      19 |   674503 |   486482 |    27949     37 |      662 |      534
1393.77/1394.28	c 1394s |      19 |   675225 |   487082 |    27949     37 |      662 |      534
1396.07/1396.59	c 1396s |      19 |   675921 |   487682 |    27949     37 |      662 |      534
1398.27/1398.72	c 1398s |      19 |   676530 |   488182 |    27949     37 |      662 |      534
1400.37/1400.88	c 1400s |      19 |   677107 |   488682 |    27949     37 |      662 |      534
1402.57/1403.08	c 1402s |      19 |   677701 |   489182 |    27949     37 |      662 |      534
1404.77/1405.22	c 1404s |      19 |   678325 |   489682 |    27949     37 |      662 |      534
1406.87/1407.39	c 1407s |      19 |   678912 |   490182 |    27949     37 |      662 |      534
1409.06/1409.57	c 1409s |      19 |   679347 |   490582 |    27949     37 |      662 |      534
1411.16/1411.69	c 1411s |      19 |   679797 |   490982 |    27949     37 |      662 |      534
1413.26/1413.78	c 1413s |      19 |   680261 |   491382 |    27949     37 |      662 |      534
1416.06/1416.54	c 1416s |      19 |   680835 |   491882 |    27949     38 |      662 |      534
1418.07/1418.57	c 1418s |      19 |   681512 |   492482 |    27949     38 |      662 |      534
1420.06/1420.60	c 1420s |      19 |   682198 |   493082 |    27949     38 |      662 |      534
1422.16/1422.66	c 1422s |      19 |   682755 |   493582 |    27949     38 |      662 |      534
1424.36/1424.81	c 1424s |      19 |   683299 |   494082 |    27949     38 |      662 |      534
1426.46/1426.96	c 1426s |      19 |   683876 |   494582 |    27949     38 |      662 |      534
1428.66/1429.12	c 1428s |      19 |   684563 |   495182 |    27949     38 |      662 |      534
1430.66/1431.16	c 1430s |      19 |   685538 |   495982 |    27949     38 |      662 |      534
1432.76/1433.27	c 1432s |      19 |   686341 |   496682 |    27949     38 |      662 |      534
1434.96/1435.43	c 1435s |      19 |   687230 |   497382 |    27949     38 |      662 |      534
1436.96/1437.49	c 1437s |      19 |   688227 |   498182 |    27949     38 |      662 |      534
1439.16/1439.64	c 1439s |      19 |   689038 |   498882 |    27949     38 |      662 |      534
1441.46/1441.96	c 1441s |      19 |   689824 |   499582 |    27949     38 |      662 |      534
1443.56/1444.00	c 1443s |      19 |   690530 |   500182 |    27949     38 |      662 |      534
1445.76/1446.26	c 1445s |      19 |   691363 |   500882 |    27949     38 |      662 |      534
1447.96/1448.42	c 1448s |      19 |   692056 |   501482 |    27949     38 |      662 |      534
1450.26/1450.70	c 1450s |      19 |   692727 |   502082 |    27949     38 |      662 |      534
1452.26/1452.74	c 1452s |      19 |   693398 |   502682 |    27949     38 |      662 |      534
1454.56/1455.09	c 1454s |      19 |   694074 |   503282 |    27949     38 |      662 |      534
1456.66/1457.14	c 1456s |      19 |   694806 |   503882 |    27949     38 |      662 |      534
1458.96/1459.42	c 1459s |      19 |   695387 |   504382 |    27949     38 |      662 |      534
1461.15/1461.64	c 1461s |      19 |   695977 |   504882 |    27949     38 |      662 |      534
1463.35/1463.82	c 1463s |      19 |   696557 |   505382 |    27949     38 |      662 |      534
1465.45/1465.96	c 1465s |      19 |   697142 |   505882 |    27949     38 |      662 |      534
1467.95/1468.42	c 1468s |      19 |   697721 |   506382 |    27949     38 |      662 |      534
1470.15/1470.62	c 1470s |      19 |   698292 |   506882 |    27949     38 |      662 |      534
1472.75/1473.25	c 1472s |      19 |   698885 |   507382 |    27949     39 |      662 |      534
1474.85/1475.31	c 1475s |      19 |   699584 |   507982 |    27949     39 |      662 |      534
1477.05/1477.54	c 1477s |      19 |   700251 |   508582 |    27949     39 |      662 |      534
1479.35/1479.81	c 1479s |      19 |   701099 |   509282 |    27949     39 |      662 |      534
1481.45/1481.97	c 1481s |      19 |   701815 |   509882 |    27949     39 |      662 |      534
1483.75/1484.26	c 1483s |      19 |   702505 |   510482 |    27949     39 |      662 |      534
1486.05/1486.53	c 1486s |      19 |   703333 |   511182 |    27949     39 |      662 |      534
1488.35/1488.88	c 1488s |      19 |   703995 |   511782 |    27949     39 |      662 |      534
1490.65/1491.17	c 1490s |      19 |   704887 |   512482 |    27949     39 |      662 |      534
1492.65/1493.18	c 1492s |      19 |   705622 |   513082 |    27949     39 |      662 |      534
1494.95/1495.47	c 1495s |      19 |   706577 |   513882 |    27949     39 |      662 |      534
1497.05/1497.60	c 1497s |      19 |   707429 |   514582 |    27949     39 |      662 |      534
1499.15/1499.69	c 1499s |      19 |   708343 |   515282 |    27949     39 |      662 |      534
1501.34/1501.83	c 1501s |      19 |   709078 |   515882 |    27949     39 |      662 |      534
1503.54/1504.04	c 1503s |      19 |   709788 |   516482 |    27949     39 |      662 |      534
1505.96/1506.43	c 1506s |      19 |   710485 |   517082 |    27949     39 |      662 |      534
1508.35/1508.81	c 1508s |      19 |   711191 |   517682 |    27949     39 |      662 |      534
1510.65/1511.12	c 1510s |      19 |   711917 |   518282 |    27949     39 |      662 |      534
1512.66/1513.14	c 1512s |      19 |   712619 |   518882 |    27949     39 |      662 |      534
1514.95/1515.41	c 1515s |      19 |   713356 |   519482 |    27949     39 |      662 |      534
1516.96/1517.47	c 1517s |      19 |   714086 |   520082 |    27949     39 |      662 |      534
1518.95/1519.48	c 1519s |      19 |   714671 |   520582 |    27949     39 |      662 |      534
1521.15/1521.63	c 1521s |      19 |   715263 |   521082 |    27949     39 |      662 |      534
1523.45/1523.92	c 1523s |      19 |   716177 |   521782 |    27949     39 |      662 |      534
1525.55/1526.06	c 1525s |      19 |   716877 |   522382 |    27949     39 |      662 |      534
1527.85/1528.34	c 1528s |      19 |   717354 |   522782 |    27949     40 |      662 |      534
1529.95/1530.42	c 1530s |      19 |   718204 |   523482 |    27949     40 |      662 |      534
1531.95/1532.46	c 1532s |      19 |   719027 |   524182 |    27949     40 |      662 |      534
1534.14/1534.64	c 1534s |      19 |   720208 |   525082 |    27949     40 |      662 |      534
1536.24/1536.79	c 1536s |      19 |   721391 |   525982 |    27949     40 |      662 |      534
1538.34/1538.84	c 1538s |      19 |   722222 |   526682 |    27949     40 |      662 |      534
1540.44/1540.95	c 1540s |      19 |   722909 |   527282 |    27949     40 |      662 |      534
1542.54/1543.09	c 1542s |      19 |   723605 |   527882 |    27949     40 |      662 |      534
1544.64/1545.11	c 1544s |      19 |   724742 |   528782 |    27949     40 |      662 |      534
1546.75/1547.28	c 1547s |      19 |   725722 |   529582 |    27949     40 |      662 |      534
1549.04/1549.55	c 1549s |      19 |   726402 |   530182 |    27949     40 |      662 |      534
1551.34/1551.82	c 1551s |      19 |   727094 |   530782 |    27949     40 |      662 |      534
1553.35/1553.85	c 1553s |      19 |   728326 |   531682 |    27949     40 |      662 |      534
1555.45/1555.99	c 1555s |      19 |   729358 |   532482 |    27949     40 |      662 |      534
1557.75/1558.23	c 1557s |      19 |   730661 |   533382 |    27949     40 |      662 |      534
1559.95/1560.46	c 1560s |      19 |   731740 |   534182 |    27949     40 |      662 |      534
1562.05/1562.57	c 1562s |      19 |   732745 |   534982 |    27949     40 |      662 |      534
1564.14/1564.66	c 1564s |      19 |   733635 |   535682 |    27949     40 |      662 |      534
1566.34/1566.86	c 1566s |      19 |   734330 |   536282 |    27949     40 |      662 |      534
1568.54/1569.07	c 1568s |      19 |   735083 |   536882 |    27949     40 |      662 |      534
1570.54/1571.08	c 1570s |      19 |   735706 |   537382 |    27949     40 |      662 |      534
1572.74/1573.24	c 1572s |      19 |   736470 |   537982 |    27949     40 |      662 |      534
1574.94/1575.47	c 1575s |      19 |   737058 |   538482 |    27949     41 |      662 |      534
1577.04/1577.50	c 1577s |      19 |   737718 |   539082 |    27949     41 |      662 |      534
1579.14/1579.67	c 1579s |      19 |   738521 |   539782 |    27949     41 |      662 |      534
1581.24/1581.72	c 1581s |      19 |   739495 |   540582 |    27949     41 |      662 |      534
1583.44/1583.92	c 1583s |      19 |   740702 |   541482 |    27949     41 |      662 |      534
1585.54/1586.01	c 1585s |      19 |   741692 |   542182 |    27949     41 |      662 |      534
1587.53/1588.05	c 1587s |      19 |   742609 |   542882 |    27949     41 |      662 |      534
1589.73/1590.23	c 1589s |      19 |   743633 |   543682 |    27949     41 |      662 |      534
1591.74/1592.24	c 1591s |      19 |   744616 |   544482 |    27949     41 |      662 |      534
1593.94/1594.44	c 1594s |      19 |   745899 |   545482 |    27949     41 |      662 |      534
1596.14/1596.63	c 1596s |      19 |   746873 |   546282 |    27949     41 |      662 |      534
1598.13/1598.64	c 1598s |      19 |   747565 |   546882 |    27949     41 |      662 |      534
1600.33/1600.86	c 1600s |      19 |   748562 |   547682 |    27949     41 |      662 |      534
1602.53/1603.03	c 1602s |      19 |   749531 |   548482 |    27949     41 |      662 |      534
1604.83/1605.35	c 1605s |      19 |   750356 |   549182 |    27949     41 |      662 |      534
1607.03/1607.57	c 1607s |      19 |   751051 |   549782 |    27949     41 |      662 |      534
1609.23/1609.77	c 1609s |      19 |   751883 |   550482 |    27949     41 |      662 |      534
1611.43/1611.92	c 1611s |      19 |   752607 |   551082 |    27949     41 |      662 |      534
1613.43/1613.97	c 1613s |      19 |   753160 |   551582 |    27949     41 |      662 |      534
1615.53/1616.03	c 1615s |      19 |   753856 |   552182 |    27949     41 |      662 |      534
1617.53/1618.09	c 1617s |      19 |   754655 |   552882 |    27949     41 |      662 |      534
1619.83/1620.36	c 1620s |      19 |   755350 |   553482 |    27949     41 |      662 |      534
1621.93/1622.43	c 1622s |      19 |   755817 |   553882 |    27949     42 |      662 |      534
1624.13/1624.69	c 1624s |      19 |   756771 |   554682 |    27949     42 |      662 |      534
1626.33/1626.89	c 1626s |      19 |   757905 |   555582 |    27949     42 |      662 |      534
1628.53/1629.05	c 1628s |      19 |   758761 |   556282 |    27949     42 |      662 |      534
1630.83/1631.37	c 1631s |      19 |   759774 |   557082 |    27949     42 |      662 |      534
1633.02/1633.57	c 1633s |      19 |   760630 |   557782 |    27949     42 |      662 |      534
1635.12/1635.64	c 1635s |      19 |   761584 |   558582 |    27949     42 |      662 |      534
1637.42/1637.95	c 1637s |      19 |   762405 |   559282 |    27949     42 |      662 |      534
1639.42/1639.96	c 1639s |      19 |   763232 |   559982 |    27949     42 |      662 |      534
1641.63/1642.18	c 1641s |      19 |   764018 |   560682 |    27949     42 |      662 |      534
1643.93/1644.42	c 1644s |      19 |   764793 |   561382 |    27949     42 |      662 |      534
1646.13/1646.62	c 1646s |      19 |   765458 |   561982 |    27949     42 |      662 |      534
1648.53/1649.00	c 1648s |      19 |   766160 |   562582 |    27949     42 |      662 |      534
1650.53/1651.02	c 1650s |      19 |   766719 |   563082 |    27949     42 |      662 |      534
1652.83/1653.35	c 1653s |      19 |   767429 |   563682 |    27949     42 |      662 |      534
1654.93/1655.41	c 1655s |      19 |   768007 |   564182 |    27949     42 |      662 |      534
1657.13/1657.62	c 1657s |      19 |   768717 |   564782 |    27949     42 |      662 |      534
1659.33/1659.84	c 1659s |      19 |   769420 |   565382 |    27949     42 |      662 |      534
1661.73/1662.29	c 1662s |      19 |   770122 |   565982 |    27949     42 |      662 |      534
1664.03/1664.51	c 1664s |      19 |   770676 |   566482 |    27949     42 |      662 |      534
1666.23/1666.74	c 1666s |      19 |   771375 |   567082 |    27949     42 |      662 |      534
1668.43/1668.93	c 1668s |      19 |   772111 |   567682 |    27949     42 |      662 |      534
1670.82/1671.36	c 1671s |      19 |   772788 |   568282 |    27949     42 |      662 |      534
1672.82/1673.39	c 1673s |      19 |   773363 |   568782 |    27949     42 |      662 |      534
1674.92/1675.49	c 1675s |      19 |   773938 |   569282 |    27949     42 |      662 |      534
1677.32/1677.80	c 1677s |      19 |   774520 |   569782 |    27949     43 |      662 |      534
1679.62/1680.13	c 1679s |      19 |   775465 |   570582 |    27949     43 |      662 |      534
1681.93/1682.41	c 1682s |      19 |   776252 |   571282 |    27949     43 |      662 |      534
1683.92/1684.45	c 1684s |      19 |   776955 |   571882 |    27949     43 |      662 |      534
1685.92/1686.46	c 1686s |      19 |   777642 |   572482 |    27949     43 |      662 |      534
1688.32/1688.80	c 1688s |      19 |   778454 |   573182 |    27949     43 |      662 |      534
1690.32/1690.82	c 1690s |      19 |   779001 |   573682 |    27949     43 |      662 |      534
1692.52/1693.03	c 1692s |      19 |   779687 |   574282 |    27949     43 |      662 |      534
1694.72/1695.25	c 1694s |      19 |   780400 |   574882 |    27949     43 |      662 |      534
1696.82/1697.39	c 1697s |      19 |   781238 |   575582 |    27949     43 |      662 |      534
1698.92/1699.42	c 1699s |      19 |   781941 |   576182 |    27949     43 |      662 |      534
1701.11/1701.63	c 1701s |      19 |   782617 |   576782 |    27949     43 |      662 |      534
1703.41/1703.91	c 1703s |      19 |   783278 |   577382 |    27949     43 |      662 |      534
1705.81/1706.30	c 1706s |      19 |   783994 |   577982 |    27949     43 |      662 |      534
1707.81/1708.33	c 1708s |      19 |   784449 |   578382 |    27949     43 |      662 |      534
1709.91/1710.42	c 1710s |      19 |   784880 |   578782 |    27949     43 |      662 |      534
1712.31/1712.81	c 1712s |      19 |   785432 |   579282 |    27949     43 |      662 |      534
1714.51/1715.05	c 1714s |      19 |   785846 |   579682 |    27949     43 |      662 |      534
1716.71/1717.23	c 1716s |      19 |   786464 |   580182 |    27949     43 |      662 |      534
1718.81/1719.31	c 1719s |      19 |   787033 |   580682 |    27949     43 |      662 |      534
1721.01/1721.50	c 1721s |      19 |   787603 |   581182 |    27949     43 |      662 |      534
1723.01/1723.54	c 1723s |      19 |   788029 |   581582 |    27949     43 |      662 |      534
1725.41/1725.95	c 1725s |      19 |   788593 |   582082 |    27949     43 |      662 |      534
1727.81/1728.33	c 1728s |      19 |   789125 |   582582 |    27949     43 |      662 |      534
1730.11/1730.66	c 1730s |      19 |   789694 |   583082 |    27949     43 |      662 |      534
1732.52/1733.03	c 1732s |      19 |   790259 |   583582 |    27949     43 |      662 |      534
1734.82/1735.39	c 1735s |      19 |   790812 |   584082 |    27949     43 |      662 |      534
1736.92/1737.50	c 1737s |      19 |   791248 |   584482 |    27949     43 |      662 |      534
1740.02/1740.54	c 1740s |      19 |   791794 |   584982 |    27949     44 |      662 |      534
1742.32/1742.86	c 1742s |      19 |   792464 |   585582 |    27949     44 |      662 |      534
1744.41/1744.96	c 1744s |      19 |   793132 |   586182 |    27949     44 |      662 |      534
1746.71/1747.29	c 1747s |      19 |   793793 |   586782 |    27949     44 |      662 |      534
1748.91/1749.47	c 1749s |      19 |   794492 |   587382 |    27949     44 |      662 |      534
1751.11/1751.69	c 1751s |      19 |   795135 |   587982 |    27949     44 |      662 |      534
1753.21/1753.72	c 1753s |      19 |   795685 |   588482 |    27949     44 |      662 |      534
1755.51/1756.02	c 1755s |      19 |   796324 |   589082 |    27949     44 |      662 |      534
1757.51/1758.03	c 1757s |      19 |   796867 |   589582 |    27949     44 |      662 |      534
1759.81/1760.35	c 1760s |      19 |   797515 |   590182 |    27949     44 |      662 |      534
1762.01/1762.50	c 1762s |      19 |   798060 |   590682 |    27949     44 |      662 |      534
1764.11/1764.63	c 1764s |      19 |   798807 |   591282 |    27949     44 |      662 |      534
1766.31/1766.86	c 1766s |      19 |   799732 |   592082 |    27949     44 |      662 |      534
1768.60/1769.17	c 1768s |      19 |   800553 |   592782 |    27949     44 |      662 |      534
1770.90/1771.42	c 1771s |      19 |   801518 |   593582 |    27949     44 |      662 |      534
1772.90/1773.43	c 1773s |      19 |   802258 |   594182 |    27949     44 |      662 |      534
1775.20/1775.74	c 1775s |      19 |   802900 |   594782 |    27949     44 |      662 |      534
1777.30/1777.85	c 1777s |      19 |   803437 |   595282 |    27949     44 |      662 |      534
1779.50/1780.04	c 1779s |      19 |   804261 |   595982 |    27949     44 |      662 |      534
1781.80/1782.30	c 1782s |      19 |   805099 |   596682 |    27949     44 |      662 |      534
1783.80/1784.31	c 1784s |      19 |   805811 |   597282 |    27949     44 |      662 |      534
1785.81/1786.33	c 1786s |      19 |   806486 |   597882 |    27949     44 |      662 |      534
1788.11/1788.63	c 1788s |      19 |   807288 |   598582 |    27949     44 |      662 |      534
1790.41/1790.94	c 1790s |      19 |   808166 |   599282 |    27949     44 |      662 |      534
1792.61/1793.10	c 1792s |      19 |   808900 |   599882 |    27949     44 |      662 |      534
1794.71/1795.20	c 1794s |      19 |   809607 |   600482 |    27949     44 |      662 |      534
1796.91/1797.43	c 1797s |      19 |   810172 |   600982 |    27949     45 |      662 |      534
1799.21/1799.77	c 1799s |      19 |   811116 |   601782 |    27949     45 |      662 |      534

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

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.26 2.20 4/179 24275
/proc/meminfo: memFree=30307004/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=699836 CPUtime=0 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 2606 0 0 0 0 0 0 0 20 0 4 0 30616899 716632064 2968 33554432000 4194304 16246674 140733685969680 140733685969104 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 175471 2977 441 2943 0 172365 0
[pid=24275/tid=24276] ppid=24272 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 733409280 3033 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 737603584 3048 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30616899 742846464 3069 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.23 2.26 2.20 4/179 24275
/proc/meminfo: memFree=30307004/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 28470 0 0 0 5 4 0 0 20 0 4 0 30616899 1249447936 28769 33554432000 4194304 16246674 140733685969680 140733685968992 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 305041 28769 801 2943 0 301935 0
[pid=24275/tid=24276] ppid=24272 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1249447936 28769 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1249447936 28769 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1249447936 28769 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200531 s]
/proc/loadavg: 2.23 2.26 2.20 4/179 24275
/proc/meminfo: memFree=30307004/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 48675 0 0 0 12 7 0 0 20 0 4 0 30616899 1332285440 48974 33554432000 4194304 16246674 140733685969680 140733685968992 7204411 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 325265 48974 842 2943 0 322159 0
[pid=24275/tid=24276] ppid=24272 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1332285440 48974 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1332285440 48974 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1332285440 48974 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300492 s]
/proc/loadavg: 2.23 2.26 2.20 4/179 24275
/proc/meminfo: memFree=30307004/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 54509 0 0 0 22 7 0 0 20 0 4 0 30616899 1332285440 54808 33554432000 4194304 16246674 140733685969680 140733685968992 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 325265 54812 882 2943 0 322159 0
[pid=24275/tid=24276] ppid=24272 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1332285440 54816 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1332285440 54819 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1332285440 54822 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700402 s]
/proc/loadavg: 2.23 2.26 2.20 4/179 24275
/proc/meminfo: memFree=30307004/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 103861 0 0 0 55 14 0 0 20 0 4 0 30616899 1332285440 104160 33554432000 4194304 16246674 140733685969680 140733685968992 5602579 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 325265 104163 882 2943 0 322159 0
[pid=24275/tid=24276] ppid=24272 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1332285440 104165 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1332285440 104167 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1332285440 104169 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.5003 s]
/proc/loadavg: 2.23 2.26 2.20 3/183 24279
/proc/meminfo: memFree=29050556/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 208607 0 0 0 119 30 0 0 20 0 4 0 30616899 1332285440 208906 33554432000 4194304 16246674 140733685969680 140733685951552 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 325265 208909 882 2943 0 322159 0
[pid=24275/tid=24276] ppid=24272 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1332285440 208912 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1332285440 208916 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1332285440 208919 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 2.21 2.26 2.20 4/183 24279
/proc/meminfo: memFree=28171884/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 269335 0 0 0 270 39 0 0 20 0 4 0 30616899 1344868352 269634 33554432000 4194304 16246674 140733685969680 140733685951552 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 328337 269634 889 2943 0 325231 0
[pid=24275/tid=24276] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269634 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269634 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269634 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30037 s]
/proc/loadavg: 2.21 2.26 2.20 3/183 24279
/proc/meminfo: memFree=28171528/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 269527 0 0 0 590 39 0 0 20 0 4 0 30616899 1344868352 269826 33554432000 4194304 16246674 140733685969680 140733685951552 5712140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 328337 269826 890 2943 0 325231 0
[pid=24275/tid=24276] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269826 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269826 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269826 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7073 s]
/proc/loadavg: 2.18 2.25 2.19 3/183 24279
/proc/meminfo: memFree=28171256/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 269529 0 0 0 1230 39 0 0 20 0 4 0 30616899 1344868352 269828 33554432000 4194304 16246674 140733685969680 140733685951552 5531312 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 328337 269828 892 2943 0 325231 0
[pid=24275/tid=24276] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269828 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269828 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269828 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5004 s]
/proc/loadavg: 2.22 2.25 2.20 3/183 24279
/proc/meminfo: memFree=28172188/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 269529 0 0 0 2509 39 0 0 20 0 4 0 30616899 1344868352 269828 33554432000 4194304 16246674 140733685969680 140733685951552 5712690 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 328337 269828 892 2943 0 325231 0
[pid=24275/tid=24276] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269828 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269828 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269828 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.21 2.25 2.19 3/183 24280
/proc/meminfo: memFree=28170912/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1313348 CPUtime=51.09 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 269530 0 0 0 5069 40 0 0 20 0 4 0 30616899 1344868352 269829 33554432000 4194304 16246674 140733685969680 140733685951552 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 328337 269829 893 2943 0 325231 0
[pid=24275/tid=24276] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269829 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269829 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1344868352 269829 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.26 2.25 2.20 3/183 24281
/proc/meminfo: memFree=28166680/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1317444 CPUtime=102.28 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 270332 0 0 0 10187 41 0 0 20 0 4 0 30616899 1349062656 270631 33554432000 4194304 16246674 140733685969680 140733685951552 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 329361 270631 893 2943 0 326255 0
[pid=24275/tid=24276] ppid=24272 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1349062656 270631 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1349062656 270631 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1349062656 270631 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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

/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274242 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1331780

[startup+1302.3 s]
/proc/loadavg: 2.21 2.24 2.18 3/183 24312
/proc/meminfo: memFree=28129552/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1331780 CPUtime=1301.91 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 274462 0 0 0 130143 48 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140733685951552 5661256 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 332945 274440 893 2943 0 329839 0
[pid=24275/tid=24276] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 24313
/proc/meminfo: memFree=28129212/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1331780 CPUtime=1361.88 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 274507 0 0 0 136139 49 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140733685968856 5823266 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 332945 274440 893 2943 0 329839 0
[pid=24275/tid=24276] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/184 24317
/proc/meminfo: memFree=28129188/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1331780 CPUtime=1421.86 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 274523 0 0 0 142136 50 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140733685951552 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 332945 274440 893 2943 0 329839 0
[pid=24275/tid=24276] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1331780

[startup+1482.31 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 24318
/proc/meminfo: memFree=28129732/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1331780 CPUtime=1481.85 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 274523 0 0 0 148135 50 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140733685951552 12483664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 332945 274440 893 2943 0 329839 0
[pid=24275/tid=24276] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1331780

[startup+1542.3 s]
/proc/loadavg: 2.15 2.22 2.18 3/183 24319
/proc/meminfo: memFree=28129740/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1331780 CPUtime=1541.84 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 274523 0 0 0 154133 51 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140733685951552 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 332945 274440 893 2943 0 329839 0
[pid=24275/tid=24276] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 24321
/proc/meminfo: memFree=28129624/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1331780 CPUtime=1601.83 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 274523 0 0 0 160132 51 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140733685951552 12415736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 332945 274440 893 2943 0 329839 0
[pid=24275/tid=24276] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 24322
/proc/meminfo: memFree=28128644/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1331780 CPUtime=1661.83 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 274523 0 0 0 166131 52 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140733685951552 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 332945 274440 893 2943 0 329839 0
[pid=24275/tid=24276] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 24323
/proc/meminfo: memFree=28129024/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1331780 CPUtime=1721.81 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 274523 0 0 0 172129 52 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140733685951552 5523519 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 332945 274440 893 2943 0 329839 0
[pid=24275/tid=24276] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.36 2.26 2.19 3/183 24324
/proc/meminfo: memFree=28128284/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1331780 CPUtime=1781.8 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 274523 0 0 0 178127 53 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140733685951552 5673549 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 332945 274440 893 2943 0 329839 0
[pid=24275/tid=24276] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 24324
/proc/meminfo: memFree=28128660/32872528 swapFree=1541156/1696500
[pid=24275] ppid=24272 vsize=1331780 CPUtime=1800.01 cores=1,3,5,7
/proc/24275/stat : 24275 (toysat) R 24272 24275 23447 0 -1 4202496 274523 0 0 0 179947 54 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140733685951552 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24275/statm: 332945 274440 893 2943 0 329839 0
[pid=24275/tid=24276] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24276/stat : 24276 (toysat) S 24272 24275 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294016183536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24275/tid=24277] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24277/stat : 24277 (toysat) S 24272 24275 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140294005693680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24275/tid=24278] ppid=24272 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/24275/task/24278/stat : 24278 (toysat) S 24272 24275 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616899 1363742720 274440 33554432000 4194304 16246674 140733685969680 140293995220144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1331780

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.48
CPU system time (s): 0.540917
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.540917
maximum resident set size= 1097760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274523
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= 400
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42233 second user time and 7.08992 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 23:16:22
IDJOB=4116605
IDBENCH=109491
IDSOLVER=2542
FILE ID=node125/4116605-1466975782
RUNJOBID= node125-1466966776-23464
PBS_JOBID= 19976375
Free space on /tmp= 71736 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116605-1466975782/watcher-4116605-1466975782 -o /tmp/evaluation-result-4116605-1466975782/solver-4116605-1466975782 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466966776-23464 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116605-1466975782.opb

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

MD5SUM BENCH= e37b4268f223b7262f64117d47441ab2
RANDOM SEED=1583081618

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
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		: 2667.021
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:        30325824 kB
Buffers:           46392 kB
Cached:            96784 kB
SwapCached:         1736 kB
Active:            79280 kB
Inactive:          66816 kB
Active(anon):       4728 kB
Inactive(anon):      448 kB
Active(file):      74552 kB
Inactive(file):    66368 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33404 kB
Writeback:             0 kB
AnonPages:       1698636 kB
Mapped:             6928 kB
Shmem:                 0 kB
Slab:             568288 kB
SReclaimable:      11836 kB
SUnreclaim:       556452 kB
KernelStack:        1416 kB
PageTables:         7204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1795280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71708 MiB
End job on node125 at 2016-06-26 23:46:23