Trace number 4117269

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round22-0.opb
MD5SUM1be3474b392293aca463ff329e8b6f75
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 variables4128
Total number of constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints864
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-26T20:18:24+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-4117269-1466965103.opb"]
0.00/0.01	c use --random-gen="3215851112 3225528938 1954378241 2561949576 2048044744 921697959 3406743872 2795318971 3137675262 3097901354 1870027062 3305853365 189579562 3805479756 3947902070 1021056996 530270749 3926747172 4022543762 4116618556 2252099230 1972435011 1669839477 666040599 3346819592 3561524859 3349877804 134490431 3786294921 25088455 3073615887 3696378191 3535472395 3329779772 1526816673 3828102471 1306486510 3079451630 3825590769 1088975202 3501516137 4230521599 1612427646 3937973871 3535502529 12431479 1592246469 795544672 3249061518 2718771728 463941385 2572404448 3416229248 3854945714 118390103 2728280501 1794638075 4142493440 1475977389 114408767 1946661754 1294838825 1676992593 1071522499 3944887541 1310540522 2901445753 1707571177 2756368260 996185935 2301590055 3046218877 3449356354 1285857839 285067077 773986825 869804390 4223554172 2843693518 2059369320 394865314 1497097429 2779892619 4096623414 1171953939 731786430 2663299690 985486323 4166237724 2172911247 3118349331 2355038028 720464805 1081726738 3460284843 550496330 4041536797 665242294 397161166 3995147751 1867318494 1976216427 92597331 3274289822 3681769623 149123743 535938888 712917283 2708110946 595792494 3037875902 2907935397 2518585955 3905169153 2724653859 2922836381 3743510635 851849502 3044157735 2881996770 40003302 2683725762 789296723 772836659 3244914962 3276478587 1904111996 286744677 3922914382 4254594520 1561865476 2202969358 3621384090 681973808 2932695055 2814347278 1370984768 2233801552 3172186554 1033662830 1938737602 323895984 1034623297 3608306353 4124472993 3794708897 84154623 2265552868 2238919387 3119694901 4089022094 4134622793 144898203 1696883243 3522649751 605600731 3024944262 3933880608 3952908032 2475854322 1203422737 3844177637 871518248 2956632496 4837020 1211591695 1310645463 3248596063 1158434664 4109141959 3106664556 3483123983 160775608 653211479 753921591 1874581695 1419040721 890220577 4242236848 1772996452 4270009811 858624878 1309519604 209229286 846350430 3174844373 1851951025 1614846133 3152824909 4015648980 3784948676 3187839017 92354771 2427531183 3271380139 4181304414 1771128132 848019867 2720066899 3605241798 1384938716 1164945720 105815077 2628803869 1729420117 956771850 93639223 2808840955 1363617440 3739148981 317053432 3390185966 353394740 2797417019 2089778098 3200081083 3075364950 1757934815 124016317 3128781545 1228984369 1573789089 522239585 2926389618 1120902872 1849322560 4050021885 1544124961 2323516267 435916517 660285126 3358111911 1642471780 1153491853 302301025 1906694792 1031433281 2519418171 408655851 2538615901 952751805 4159157700 2984869276 1670485935 3420028573 878983276 77139147 2072458767 2959197618 3923007378 3023470654 3403174944 1822027210 2889841329 3051855818 2461379873 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8704
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      771 |        0
0.29/0.35	c  0.1s |       1 |     1184 |      100 |     4234      0 |      772 |      624
0.39/0.44	c  0.2s |       2 |     2757 |      250 |     4658      0 |      772 |      624
0.59/0.62	c  0.4s |       3 |     5889 |      475 |     5124      0 |      773 |      624
0.99/1.00	c  0.7s |       4 |     7848 |      813 |     5637      0 |      773 |      624
1.29/1.34	c  1.1s |       5 |    11583 |     1320 |     6201      0 |      773 |      624
2.19/2.27	c  2.0s |       6 |    13988 |     2081 |     7505      0 |      773 |      624
2.89/2.95	c  2.7s |       7 |    20299 |     3223 |     8256      0 |      773 |      624
4.50/4.59	c  4.3s |       8 |    24577 |     4936 |     9082      0 |      773 |      624
6.40/6.48	c  6.2s |       9 |    34476 |     7506 |     9991      0 |      773 |      624
8.59/8.63	c  8.4s |       9 |    37743 |     9206 |     9991      0 |      773 |      624
10.59/10.66	c 10.4s |       9 |    39929 |    10706 |     9991      0 |      773 |      624
11.59/11.69	c 11.4s |      10 |    40808 |    11361 |    10991      0 |      773 |      624
13.69/13.71	c 13.5s |      10 |    51779 |    13961 |    10991      0 |      773 |      624
15.69/15.79	c 15.5s |      10 |    55090 |    15561 |    10991      1 |      773 |      624
17.79/17.80	c 17.5s |      10 |    56810 |    16861 |    10991      1 |      773 |      624
18.09/18.13	c 17.9s |      11 |    58286 |    17144 |    12091      1 |      773 |      624
20.19/20.29	c 20.0s |      11 |    61068 |    18744 |    12091      1 |      773 |      624
22.29/22.38	c 22.1s |      11 |    62655 |    20144 |    12091      1 |      773 |      624
24.49/24.50	c 24.2s |      11 |    63855 |    21244 |    12091      1 |      773 |      624
26.50/26.56	c 26.3s |      11 |    64812 |    22144 |    12091      1 |      773 |      624
28.59/28.69	c 28.4s |      11 |    65809 |    23044 |    12091      2 |      773 |      624
30.79/30.89	c 30.6s |      11 |    67024 |    24144 |    12091      2 |      773 |      624
32.89/32.97	c 32.7s |      11 |    68140 |    25144 |    12091      2 |      773 |      624
34.49/34.57	c 34.3s |      12 |    68856 |    25819 |    13301      2 |      773 |      624
36.49/36.57	c 36.3s |      12 |    77043 |    28019 |    13301      2 |      773 |      624
38.59/38.63	c 38.4s |      12 |    79855 |    29719 |    13301      2 |      773 |      624
40.59/40.63	c 40.4s |      12 |    81384 |    30919 |    13301      2 |      773 |      624
42.59/42.66	c 42.4s |      12 |    82663 |    31919 |    13301      3 |      773 |      624
44.69/44.79	c 44.5s |      12 |    84141 |    33019 |    13301      3 |      773 |      624
46.88/46.94	c 46.7s |      12 |    85509 |    34119 |    13301      3 |      773 |      624
49.18/49.21	c 49.0s |      12 |    86773 |    35119 |    13301      3 |      773 |      624
51.38/51.42	c 51.2s |      12 |    87812 |    36019 |    13301      3 |      773 |      624
53.58/53.68	c 53.4s |      12 |    88793 |    36819 |    13301      3 |      773 |      624
55.78/55.84	c 55.6s |      12 |    90142 |    37819 |    13301      3 |      773 |      624
57.98/58.07	c 57.8s |      12 |    91280 |    38719 |    14632      3 |      773 |      624
58.39/58.46	c 58.2s |      13 |    91402 |    38832 |    14632      3 |      773 |      624
60.48/60.57	c 60.3s |      13 |    95931 |    40532 |    14632      4 |      773 |      624
62.48/62.59	c 62.3s |      13 |    98461 |    42332 |    14632      4 |      773 |      624
64.58/64.68	c 64.4s |      13 |   100364 |    43932 |    14632      4 |      773 |      624
66.68/66.70	c 66.4s |      13 |   102034 |    45232 |    14632      4 |      773 |      624
68.68/68.77	c 68.5s |      13 |   103262 |    46332 |    14632      4 |      773 |      624
70.68/70.78	c 70.5s |      13 |   104540 |    47432 |    14632      4 |      773 |      624
72.68/72.79	c 72.5s |      13 |   105864 |    48532 |    14632      4 |      773 |      624
74.88/74.91	c 74.7s |      13 |   107082 |    49532 |    14632      5 |      773 |      624
76.99/77.10	c 76.8s |      13 |   108378 |    50632 |    14632      5 |      773 |      624
79.19/79.27	c 79.0s |      13 |   109520 |    51632 |    14632      5 |      773 |      624
81.39/81.48	c 81.2s |      13 |   110657 |    52632 |    14632      5 |      773 |      624
83.38/83.49	c 83.2s |      13 |   111558 |    53432 |    14632      5 |      773 |      624
85.48/85.51	c 85.3s |      13 |   112458 |    54232 |    14632      5 |      773 |      624
87.68/87.73	c 87.5s |      13 |   113355 |    55032 |    14632      5 |      773 |      624
89.68/89.77	c 89.5s |      13 |   114162 |    55732 |    14632      5 |      773 |      624
91.78/91.88	c 91.6s |      13 |   115103 |    56532 |    14632      5 |      773 |      624
93.98/94.04	c 93.8s |      13 |   115988 |    57332 |    14632      5 |      773 |      624
96.18/96.26	c 96.0s |      13 |   116746 |    58032 |    16096      5 |      773 |      624
97.18/97.25	c 97.0s |      14 |   117104 |    58352 |    16096      5 |      773 |      624
99.28/99.32	c 99.1s |      14 |   123903 |    60352 |    16096      6 |      773 |      624
101.38/101.42	c  101s |      14 |   128320 |    62552 |    16096      6 |      773 |      624
103.39/103.49	c  103s |      14 |   132693 |    64652 |    16096      6 |      773 |      624
105.59/105.62	c  105s |      14 |   135479 |    66552 |    16096      6 |      773 |      624
107.78/107.85	c  107s |      14 |   136805 |    67652 |    16096      6 |      773 |      624
109.78/109.89	c  109s |      14 |   137806 |    68452 |    16096      7 |      773 |      624
112.08/112.11	c  111s |      14 |   138979 |    69452 |    16096      7 |      773 |      624
114.08/114.11	c  113s |      14 |   140726 |    70552 |    16096      7 |      773 |      624
116.07/116.16	c  115s |      14 |   144065 |    72052 |    16096      7 |      773 |      624
118.17/118.26	c  118s |      14 |   147068 |    73552 |    16096      7 |      773 |      624
120.27/120.36	c  120s |      14 |   148462 |    74652 |    16096      7 |      773 |      624
122.27/122.38	c  122s |      14 |   149883 |    75752 |    16096      7 |      773 |      624
124.28/124.40	c  124s |      14 |   151014 |    76652 |    16096      7 |      773 |      624
126.37/126.43	c  126s |      14 |   152167 |    77552 |    16096      7 |      773 |      624
128.57/128.60	c  128s |      14 |   153038 |    78252 |    16096      8 |      773 |      624
130.57/130.68	c  130s |      14 |   154246 |    79252 |    16096      8 |      773 |      624
132.67/132.73	c  132s |      14 |   155286 |    80152 |    16096      8 |      773 |      624
134.67/134.78	c  134s |      14 |   156406 |    81052 |    16096      8 |      773 |      624
136.87/136.90	c  136s |      14 |   157646 |    82052 |    16096      8 |      773 |      624
139.17/139.24	c  138s |      14 |   158457 |    82752 |    16096      8 |      773 |      624
141.47/141.58	c  141s |      14 |   159034 |    83252 |    16096      8 |      773 |      624
143.67/143.77	c  143s |      14 |   159991 |    84052 |    16096      8 |      773 |      624
145.87/145.99	c  145s |      14 |   161242 |    85052 |    16096      8 |      773 |      624
148.17/148.23	c  147s |      14 |   162209 |    85852 |    16096      8 |      773 |      624
150.17/150.23	c  149s |      14 |   162886 |    86452 |    16096      8 |      773 |      624
152.26/152.36	c  152s |      14 |   163707 |    87152 |    17706      8 |      773 |      624
153.56/153.68	c  153s |      15 |   164248 |    87632 |    17706      8 |      773 |      624
155.66/155.71	c  155s |      15 |   171355 |    89332 |    17706      9 |      773 |      624
157.76/157.81	c  157s |      15 |   173782 |    91332 |    17706      9 |      773 |      624
159.76/159.82	c  159s |      15 |   175642 |    92932 |    17706      9 |      773 |      624
161.86/161.95	c  161s |      15 |   177363 |    94432 |    17706      9 |      773 |      624
163.87/163.98	c  163s |      15 |   178698 |    95632 |    17706      9 |      773 |      624
165.96/166.02	c  165s |      15 |   179803 |    96632 |    17706      9 |      773 |      624
167.96/168.08	c  167s |      15 |   181033 |    97732 |    17706      9 |      773 |      624
170.16/170.30	c  170s |      15 |   182160 |    98732 |    17706      9 |      773 |      624
172.26/172.32	c  172s |      15 |   182935 |    99432 |    17706     10 |      773 |      624
174.36/174.45	c  174s |      15 |   183830 |   100232 |    17706     10 |      773 |      624
176.46/176.54	c  176s |      15 |   185102 |   101332 |    17706     10 |      773 |      624
178.56/178.68	c  178s |      15 |   186269 |   102332 |    17706     10 |      773 |      624
180.66/180.72	c  180s |      15 |   187315 |   103232 |    17706     10 |      773 |      624
182.86/182.95	c  182s |      15 |   188427 |   104232 |    17706     10 |      773 |      624
184.96/185.00	c  184s |      15 |   189810 |   105232 |    17706     10 |      773 |      624
186.96/187.02	c  186s |      15 |   191857 |   106532 |    17706     10 |      773 |      624
189.06/189.11	c  188s |      15 |   193158 |   107632 |    17706     10 |      773 |      624
191.06/191.18	c  190s |      15 |   194310 |   108632 |    17706     10 |      773 |      624
193.27/193.31	c  193s |      15 |   195286 |   109532 |    17706     11 |      773 |      624
195.47/195.53	c  195s |      15 |   196630 |   110732 |    17706     11 |      773 |      624
197.57/197.60	c  197s |      15 |   198336 |   111932 |    17706     11 |      773 |      624
199.56/199.66	c  199s |      15 |   200335 |   113232 |    17706     11 |      773 |      624
201.76/201.80	c  201s |      15 |   202078 |   114532 |    17706     11 |      773 |      624
203.76/203.88	c  203s |      15 |   204067 |   115932 |    17706     11 |      773 |      624
205.86/205.91	c  205s |      15 |   205850 |   117132 |    17706     11 |      773 |      624
207.97/208.01	c  207s |      15 |   207471 |   118332 |    17706     11 |      773 |      624
210.07/210.11	c  209s |      15 |   209037 |   119432 |    17706     11 |      773 |      624
212.16/212.27	c  212s |      15 |   210134 |   120332 |    17706     12 |      773 |      624
214.26/214.33	c  214s |      15 |   211629 |   121432 |    17706     12 |      773 |      624
216.56/216.62	c  216s |      15 |   212877 |   122432 |    17706     12 |      773 |      624
218.66/218.75	c  218s |      15 |   214248 |   123432 |    17706     12 |      773 |      624
220.96/221.02	c  220s |      15 |   215382 |   124332 |    17706     12 |      773 |      624
223.06/223.10	c  222s |      15 |   216421 |   125132 |    17706     12 |      773 |      624
225.16/225.29	c  225s |      15 |   217580 |   126032 |    17706     12 |      773 |      624
227.36/227.47	c  227s |      15 |   218574 |   126832 |    17706     12 |      773 |      624
229.56/229.67	c  229s |      15 |   219464 |   127532 |    17706     12 |      773 |      624
231.66/231.73	c  231s |      15 |   220505 |   128332 |    17706     12 |      773 |      624
233.86/233.92	c  233s |      15 |   221526 |   129132 |    17706     12 |      773 |      624
235.86/235.92	c  235s |      15 |   222299 |   129732 |    17706     12 |      773 |      624
237.86/237.94	c  237s |      15 |   223198 |   130432 |    17706     13 |      773 |      624
240.06/240.16	c  239s |      15 |   224129 |   131232 |    19477     13 |      773 |      624
240.86/240.95	c  240s |      16 |   224528 |   131552 |    19477     13 |      773 |      624
242.86/243.00	c  242s |      16 |   231627 |   133352 |    19477     13 |      773 |      624
244.95/245.04	c  244s |      16 |   236871 |   135452 |    19477     13 |      773 |      624
247.05/247.10	c  246s |      16 |   238898 |   137052 |    19477     13 |      773 |      624
249.05/249.10	c  248s |      16 |   240123 |   138152 |    19477     13 |      773 |      624
251.05/251.17	c  250s |      16 |   241353 |   139252 |    19477     13 |      773 |      624
253.25/253.31	c  253s |      16 |   242607 |   140352 |    19477     13 |      773 |      624
255.45/255.50	c  255s |      16 |   243709 |   141352 |    19477     13 |      773 |      624
257.75/257.89	c  257s |      16 |   244757 |   142252 |    19477     14 |      773 |      624
259.75/259.89	c  259s |      16 |   245610 |   143052 |    19477     14 |      773 |      624
262.05/262.12	c  261s |      16 |   246456 |   143852 |    19477     14 |      773 |      624
264.05/264.18	c  263s |      16 |   247570 |   144652 |    19477     14 |      773 |      624
266.15/266.28	c  266s |      16 |   249702 |   146152 |    19477     14 |      773 |      624
268.25/268.37	c  268s |      16 |   251428 |   147552 |    19477     14 |      773 |      624
270.35/270.45	c  270s |      16 |   254718 |   149452 |    19477     14 |      773 |      624
272.45/272.54	c  272s |      16 |   257156 |   150852 |    19477     14 |      773 |      624
274.55/274.60	c  274s |      16 |   258505 |   151852 |    19477     14 |      773 |      624
276.55/276.65	c  276s |      16 |   259808 |   152852 |    19477     14 |      773 |      624
278.64/278.79	c  278s |      16 |   261006 |   153752 |    19477     15 |      773 |      624
280.74/280.83	c  280s |      16 |   262112 |   154652 |    19477     15 |      773 |      624
282.94/283.07	c  282s |      16 |   263202 |   155552 |    19477     15 |      773 |      624
285.04/285.14	c  284s |      16 |   264012 |   156252 |    19477     15 |      773 |      624
287.05/287.17	c  286s |      16 |   264828 |   156952 |    19477     15 |      773 |      624
289.35/289.46	c  289s |      16 |   265751 |   157752 |    19477     15 |      773 |      624
291.64/291.79	c  291s |      16 |   266655 |   158552 |    19477     15 |      773 |      624
293.75/293.87	c  293s |      16 |   267443 |   159252 |    19477     15 |      773 |      624
295.85/295.97	c  295s |      16 |   268252 |   159952 |    19477     15 |      773 |      624
298.05/298.18	c  297s |      16 |   269246 |   160752 |    19477     15 |      773 |      624
300.35/300.41	c  300s |      16 |   270244 |   161552 |    19477     15 |      773 |      624
302.34/302.44	c  302s |      16 |   271076 |   162252 |    19477     15 |      773 |      624
304.54/304.60	c  304s |      16 |   271894 |   162952 |    19477     15 |      773 |      624
306.74/306.81	c  306s |      16 |   272586 |   163552 |    19477     15 |      773 |      624
308.84/308.97	c  308s |      16 |   273386 |   164252 |    19477     15 |      773 |      624
310.94/311.09	c  310s |      16 |   274225 |   164952 |    19477     15 |      773 |      624
313.24/313.32	c  313s |      16 |   275085 |   165652 |    19477     16 |      773 |      624
315.44/315.53	c  315s |      16 |   276005 |   166452 |    19477     16 |      773 |      624
317.65/317.72	c  317s |      16 |   276773 |   167152 |    19477     16 |      773 |      624
319.85/319.93	c  319s |      16 |   277658 |   167952 |    19477     16 |      773 |      624
321.85/321.96	c  321s |      16 |   280190 |   168952 |    19477     16 |      773 |      624
323.94/324.05	c  323s |      16 |   282429 |   170352 |    19477     16 |      773 |      624
326.04/326.18	c  325s |      16 |   283847 |   171552 |    19477     16 |      773 |      624
328.24/328.31	c  328s |      16 |   285293 |   172752 |    19477     16 |      773 |      624
330.24/330.39	c  330s |      16 |   287872 |   173852 |    19477     16 |      773 |      624
332.34/332.40	c  332s |      16 |   289887 |   175252 |    19477     16 |      773 |      624
334.74/334.87	c  334s |      16 |   291791 |   176552 |    19477     17 |      773 |      624
336.74/336.89	c  336s |      16 |   293305 |   177752 |    19477     17 |      773 |      624
338.85/338.94	c  338s |      16 |   294483 |   178752 |    19477     17 |      773 |      624
340.84/341.00	c  340s |      16 |   295992 |   179852 |    19477     17 |      773 |      624
343.04/343.11	c  342s |      16 |   298164 |   181252 |    19477     17 |      773 |      624
345.14/345.22	c  344s |      16 |   300510 |   182752 |    19477     17 |      773 |      624
347.14/347.26	c  347s |      16 |   302196 |   183952 |    19477     17 |      773 |      624
349.24/349.39	c  349s |      16 |   303369 |   184952 |    19477     17 |      773 |      624
351.44/351.52	c  351s |      16 |   304431 |   185852 |    19477     17 |      773 |      624
353.54/353.66	c  353s |      16 |   305342 |   186652 |    19477     17 |      773 |      624
355.74/355.84	c  355s |      16 |   306248 |   187452 |    19477     17 |      773 |      624
357.84/357.91	c  357s |      16 |   307055 |   188152 |    19477     18 |      773 |      624
360.04/360.10	c  359s |      16 |   308066 |   189052 |    19477     18 |      773 |      624
362.04/362.18	c  361s |      16 |   309180 |   189952 |    19477     18 |      773 |      624
364.24/364.34	c  364s |      16 |   310137 |   190752 |    19477     18 |      773 |      624
366.44/366.56	c  366s |      16 |   311162 |   191652 |    19477     18 |      773 |      624
368.64/368.76	c  368s |      16 |   312010 |   192452 |    19477     18 |      773 |      624
370.74/370.89	c  370s |      16 |   312932 |   193252 |    19477     18 |      773 |      624
372.94/373.02	c  372s |      16 |   313949 |   194052 |    19477     18 |      773 |      624
374.93/375.04	c  374s |      16 |   315079 |   194952 |    19477     18 |      773 |      624
377.03/377.12	c  376s |      16 |   317271 |   196252 |    21425     18 |      773 |      624
378.83/378.90	c  378s |      17 |   318891 |   197432 |    21425     18 |      773 |      624
380.83/380.97	c  380s |      17 |   326052 |   199032 |    21425     18 |      773 |      624
382.84/382.99	c  382s |      17 |   330970 |   200732 |    21425     18 |      773 |      624
384.94/385.07	c  384s |      17 |   335717 |   202232 |    21425     19 |      773 |      624
387.03/387.14	c  386s |      17 |   337915 |   203932 |    21425     19 |      773 |      624
389.13/389.24	c  388s |      17 |   339708 |   205432 |    21425     19 |      773 |      624
391.13/391.25	c  390s |      17 |   341110 |   206632 |    21425     19 |      773 |      624
393.13/393.29	c  393s |      17 |   342530 |   207832 |    21425     19 |      773 |      624
395.23/395.36	c  395s |      17 |   343848 |   208932 |    21425     19 |      773 |      624
397.43/397.54	c  397s |      17 |   345108 |   210032 |    21425     19 |      773 |      624
399.53/399.67	c  399s |      17 |   346324 |   211032 |    21425     19 |      773 |      624
401.53/401.68	c  401s |      17 |   347321 |   211932 |    21425     19 |      773 |      624
403.83/403.94	c  403s |      17 |   348323 |   212832 |    21425     19 |      773 |      624
406.03/406.12	c  405s |      17 |   349192 |   213632 |    21425     20 |      773 |      624
408.03/408.17	c  407s |      17 |   350210 |   214532 |    21425     20 |      773 |      624
410.13/410.30	c  410s |      17 |   351231 |   215432 |    21425     20 |      773 |      624
412.43/412.52	c  412s |      17 |   352251 |   216332 |    21425     20 |      773 |      624
414.63/414.73	c  414s |      17 |   353157 |   217132 |    21425     20 |      773 |      624
416.72/416.85	c  416s |      17 |   354176 |   218032 |    21425     20 |      773 |      624
418.92/419.07	c  418s |      17 |   357635 |   219332 |    21425     20 |      773 |      624
420.92/421.08	c  420s |      17 |   359826 |   220532 |    21425     20 |      773 |      624
423.02/423.10	c  422s |      17 |   361035 |   221432 |    21425     20 |      773 |      624
425.02/425.14	c  424s |      17 |   362546 |   222432 |    21425     20 |      773 |      624
427.13/427.20	c  426s |      17 |   364254 |   223532 |    21425     20 |      773 |      624
429.33/429.44	c  429s |      17 |   365758 |   224632 |    21425     20 |      773 |      624
431.63/431.71	c  431s |      17 |   367027 |   225532 |    21425     21 |      773 |      624
433.83/433.97	c  433s |      17 |   368306 |   226532 |    21425     21 |      773 |      624
435.93/436.09	c  435s |      17 |   369750 |   227532 |    21425     21 |      773 |      624
438.03/438.12	c  437s |      17 |   371290 |   228632 |    21425     21 |      773 |      624
440.03/440.12	c  439s |      17 |   372248 |   229432 |    21425     21 |      773 |      624
442.03/442.16	c  441s |      17 |   373220 |   230232 |    21425     21 |      773 |      624
444.13/444.25	c  443s |      17 |   374146 |   231032 |    21425     21 |      773 |      624
446.23/446.36	c  446s |      17 |   374933 |   231732 |    21425     21 |      773 |      624
448.52/448.67	c  448s |      17 |   375704 |   232432 |    21425     21 |      773 |      624
450.72/450.89	c  450s |      17 |   376372 |   233032 |    21425     21 |      773 |      624
452.82/452.93	c  452s |      17 |   377039 |   233632 |    21425     21 |      773 |      624
455.12/455.20	c  454s |      17 |   377742 |   234232 |    21425     21 |      773 |      624
457.42/457.55	c  457s |      17 |   378574 |   234932 |    21425     21 |      773 |      624
459.73/459.81	c  459s |      17 |   379411 |   235632 |    21425     21 |      773 |      624
461.93/462.02	c  461s |      17 |   380135 |   236232 |    21425     21 |      773 |      624
464.32/464.45	c  464s |      17 |   380849 |   236832 |    21425     21 |      773 |      624
466.52/466.67	c  466s |      17 |   381415 |   237332 |    21425     21 |      773 |      624
469.02/469.18	c  468s |      17 |   381977 |   237832 |    21425     22 |      773 |      624
471.32/471.42	c  471s |      17 |   382773 |   238532 |    21425     22 |      773 |      624
473.32/473.48	c  473s |      17 |   383569 |   239232 |    21425     22 |      773 |      624
475.42/475.52	c  475s |      17 |   384199 |   239832 |    21425     22 |      773 |      624
477.52/477.69	c  477s |      17 |   384844 |   240432 |    21425     22 |      773 |      624
479.72/479.82	c  479s |      17 |   385624 |   241132 |    21425     22 |      773 |      624
482.02/482.11	c  481s |      17 |   386387 |   241832 |    21425     22 |      773 |      624
484.32/484.47	c  484s |      17 |   387180 |   242532 |    21425     22 |      773 |      624
486.52/486.65	c  486s |      17 |   387841 |   243132 |    21425     22 |      773 |      624
488.62/488.79	c  488s |      17 |   388523 |   243732 |    21425     22 |      773 |      624
490.92/491.04	c  490s |      17 |   389184 |   244332 |    21425     22 |      773 |      624
493.12/493.29	c  493s |      17 |   389842 |   244932 |    21425     22 |      773 |      624
495.22/495.34	c  495s |      17 |   390376 |   245432 |    21425     22 |      773 |      624
497.52/497.65	c  497s |      17 |   391037 |   246032 |    21425     22 |      773 |      624
499.62/499.76	c  499s |      17 |   391593 |   246532 |    21425     22 |      773 |      624
501.71/501.86	c  501s |      17 |   392122 |   247032 |    21425     22 |      773 |      624
504.11/504.23	c  503s |      17 |   392770 |   247632 |    21425     22 |      773 |      624
506.21/506.34	c  506s |      17 |   393316 |   248132 |    21425     22 |      773 |      624
508.31/508.41	c  508s |      17 |   393888 |   248632 |    21425     22 |      773 |      624
510.51/510.69	c  510s |      17 |   394428 |   249132 |    21425     22 |      773 |      624
512.91/513.03	c  512s |      17 |   394978 |   249632 |    21425     22 |      773 |      624
515.71/515.82	c  515s |      17 |   395529 |   250132 |    21425     23 |      773 |      624
517.81/517.96	c  517s |      17 |   396171 |   250732 |    21425     23 |      773 |      624
520.01/520.16	c  519s |      17 |   396815 |   251332 |    21425     23 |      773 |      624
522.21/522.37	c  522s |      17 |   397470 |   251932 |    21425     23 |      773 |      624
524.51/524.67	c  524s |      17 |   398129 |   252532 |    21425     23 |      773 |      624
526.82/526.95	c  526s |      17 |   399193 |   253332 |    21425     23 |      773 |      624
528.81/528.99	c  528s |      17 |   399889 |   253932 |    21425     23 |      773 |      624
531.01/531.11	c  530s |      17 |   400734 |   254632 |    21425     23 |      773 |      624
533.31/533.44	c  533s |      17 |   401549 |   255332 |    21425     23 |      773 |      624
535.61/535.78	c  535s |      17 |   402234 |   255932 |    21425     23 |      773 |      624
537.91/538.09	c  537s |      17 |   403113 |   256632 |    21425     23 |      773 |      624
540.51/540.60	c  540s |      17 |   403784 |   257232 |    21425     23 |      773 |      624
542.61/542.73	c  542s |      17 |   404345 |   257732 |    21425     23 |      773 |      624
544.81/544.94	c  544s |      17 |   404910 |   258232 |    21425     23 |      773 |      624
547.30/547.41	c  547s |      17 |   405476 |   258732 |    21425     23 |      773 |      624
549.50/549.66	c  549s |      17 |   406163 |   259332 |    21425     23 |      773 |      624
551.60/551.76	c  551s |      17 |   406731 |   259832 |    21425     23 |      773 |      624
553.80/553.96	c  553s |      17 |   407639 |   260532 |    21425     23 |      773 |      624
556.00/556.15	c  555s |      17 |   408347 |   261132 |    21425     23 |      773 |      624
558.30/558.46	c  558s |      17 |   409035 |   261732 |    21425     23 |      773 |      624
560.60/560.78	c  560s |      17 |   409738 |   262332 |    21425     23 |      773 |      624
562.90/563.08	c  562s |      17 |   410309 |   262832 |    21425     24 |      773 |      624
565.00/565.10	c  564s |      17 |   411119 |   263532 |    21425     24 |      773 |      624
567.00/567.17	c  566s |      17 |   411799 |   264132 |    21425     24 |      773 |      624
569.20/569.32	c  569s |      17 |   412657 |   264832 |    21425     24 |      773 |      624
571.30/571.46	c  571s |      17 |   413486 |   265532 |    21425     24 |      773 |      624
573.40/573.52	c  573s |      17 |   414326 |   266232 |    21425     24 |      773 |      624
575.60/575.70	c  575s |      17 |   415264 |   266932 |    21425     24 |      773 |      624
577.70/577.81	c  577s |      17 |   416218 |   267632 |    21425     24 |      773 |      624
579.90/580.05	c  579s |      17 |   417027 |   268332 |    21425     24 |      773 |      624
582.10/582.29	c  582s |      17 |   417721 |   268932 |    21425     24 |      773 |      624
584.50/584.60	c  584s |      17 |   418693 |   269632 |    21425     24 |      773 |      624
586.81/586.94	c  586s |      17 |   419387 |   270232 |    21425     24 |      773 |      624
589.01/589.16	c  588s |      17 |   420063 |   270832 |    21425     24 |      773 |      624
591.40/591.52	c  591s |      17 |   420728 |   271432 |    21425     24 |      773 |      624
593.60/593.74	c  593s |      17 |   421301 |   271932 |    21425     24 |      773 |      624
595.90/596.08	c  595s |      17 |   421978 |   272532 |    21425     24 |      773 |      624
598.31/598.41	c  598s |      17 |   422653 |   273132 |    21425     24 |      773 |      624
600.61/600.75	c  600s |      17 |   423341 |   273732 |    21425     24 |      773 |      624
602.71/602.87	c  602s |      17 |   423879 |   274232 |    21425     24 |      773 |      624
604.91/605.03	c  604s |      17 |   424307 |   274632 |    21425     25 |      773 |      624
606.90/607.07	c  606s |      17 |   424972 |   275232 |    21425     25 |      773 |      624
608.90/609.09	c  608s |      17 |   425660 |   275832 |    21425     25 |      773 |      624
611.20/611.38	c  611s |      17 |   426427 |   276532 |    21425     25 |      773 |      624
613.30/613.49	c  613s |      17 |   427096 |   277132 |    21425     25 |      773 |      624
615.50/615.60	c  615s |      17 |   427751 |   277732 |    21425     25 |      773 |      624
617.90/618.00	c  617s |      17 |   428412 |   278332 |    21425     25 |      773 |      624
620.10/620.20	c  619s |      17 |   429353 |   279032 |    21425     25 |      773 |      624
622.40/622.50	c  622s |      17 |   430075 |   279632 |    21425     25 |      773 |      624
624.70/624.82	c  624s |      17 |   430743 |   280232 |    21425     25 |      773 |      624
627.00/627.13	c  626s |      17 |   431398 |   280832 |    21425     25 |      773 |      624
628.99/629.20	c  628s |      17 |   431956 |   281332 |    21425     25 |      773 |      624
631.09/631.22	c  630s |      17 |   432523 |   281832 |    21425     25 |      773 |      624
633.29/633.41	c  633s |      17 |   433191 |   282432 |    21425     25 |      773 |      624
635.59/635.71	c  635s |      17 |   433883 |   283032 |    21425     25 |      773 |      624
637.59/637.79	c  637s |      17 |   434420 |   283532 |    21425     25 |      773 |      624
639.89/640.06	c  639s |      17 |   435058 |   284132 |    21425     25 |      773 |      624
642.19/642.38	c  642s |      17 |   435759 |   284732 |    21425     25 |      773 |      624
644.29/644.49	c  644s |      17 |   436317 |   285232 |    21425     25 |      773 |      624
646.59/646.73	c  646s |      17 |   436882 |   285732 |    21425     25 |      773 |      624
648.79/648.90	c  648s |      17 |   437429 |   286232 |    21425     25 |      773 |      624
651.20/651.30	c  651s |      17 |   437979 |   286732 |    21425     25 |      773 |      624
653.19/653.37	c  653s |      17 |   438445 |   287132 |    21425     26 |      773 |      624
655.39/655.58	c  655s |      17 |   439238 |   287832 |    21425     26 |      773 |      624
657.80/657.92	c  657s |      17 |   440034 |   288532 |    21425     26 |      773 |      624
660.09/660.26	c  660s |      17 |   440703 |   289132 |    21425     26 |      773 |      624
662.49/662.69	c  662s |      17 |   441373 |   289732 |    21425     26 |      773 |      624
664.79/664.99	c  664s |      17 |   442035 |   290332 |    21425     26 |      773 |      624
666.99/667.16	c  666s |      17 |   442838 |   290932 |    21425     26 |      773 |      624
669.19/669.33	c  669s |      17 |   444026 |   291832 |    21425     26 |      773 |      624
671.29/671.48	c  671s |      17 |   444958 |   292632 |    21425     26 |      773 |      624
673.39/673.53	c  673s |      17 |   445757 |   293332 |    21425     26 |      773 |      624
675.40/675.60	c  675s |      17 |   446423 |   293932 |    21425     26 |      773 |      624
677.69/677.82	c  677s |      17 |   447245 |   294632 |    23568     26 |      773 |      624
679.89/680.05	c  679s |      17 |   448038 |   295332 |    23568     26 |      773 |      624
682.00/682.11	c  681s |      17 |   448708 |   295932 |    23568     26 |      773 |      624
683.19/683.35	c  683s |      18 |   449046 |   296252 |    23568     26 |      773 |      624
685.30/685.49	c  685s |      18 |   453162 |   297952 |    23568     26 |      773 |      624
687.29/687.50	c  687s |      18 |   455083 |   299452 |    23568     26 |      773 |      624
689.39/689.53	c  689s |      18 |   456511 |   300652 |    23568     26 |      773 |      624
691.59/691.78	c  691s |      18 |   457513 |   301452 |    23568     27 |      773 |      624
693.79/693.95	c  693s |      18 |   458549 |   302352 |    23568     27 |      773 |      624
695.89/696.09	c  695s |      18 |   459710 |   303352 |    23568     27 |      773 |      624
698.09/698.27	c  698s |      18 |   462111 |   304752 |    23568     27 |      773 |      624
700.19/700.32	c  700s |      18 |   468398 |   306552 |    23568     27 |      773 |      624
702.29/702.42	c  702s |      18 |   470384 |   308052 |    23568     27 |      773 |      624
704.48/704.63	c  704s |      18 |   472148 |   309352 |    23568     27 |      773 |      624
706.58/706.72	c  706s |      18 |   473752 |   310552 |    23568     27 |      773 |      624
708.58/708.73	c  708s |      18 |   475610 |   311852 |    23568     27 |      773 |      624
710.68/710.84	c  710s |      18 |   477030 |   312952 |    23568     27 |      773 |      624
712.79/712.99	c  712s |      18 |   478447 |   314052 |    23568     27 |      773 |      624
714.99/715.18	c  714s |      18 |   479533 |   314952 |    23568     28 |      773 |      624
716.98/717.20	c  716s |      18 |   480572 |   315852 |    23568     28 |      773 |      624
719.29/719.43	c  719s |      18 |   481591 |   316752 |    23568     28 |      773 |      624
721.49/721.65	c  721s |      18 |   482467 |   317552 |    23568     28 |      773 |      624
723.69/723.83	c  723s |      18 |   483336 |   318352 |    23568     28 |      773 |      624
725.78/726.00	c  725s |      18 |   484542 |   319352 |    23568     28 |      773 |      624
727.88/728.08	c  727s |      18 |   485585 |   320252 |    23568     28 |      773 |      624
729.98/730.13	c  729s |      18 |   486639 |   321152 |    23568     28 |      773 |      624
732.18/732.37	c  732s |      18 |   487694 |   322052 |    23568     28 |      773 |      624
734.28/734.45	c  734s |      18 |   489085 |   323052 |    23568     28 |      773 |      624
736.38/736.52	c  736s |      18 |   490479 |   324052 |    23568     28 |      773 |      624
738.38/738.59	c  738s |      18 |   491857 |   325052 |    23568     28 |      773 |      624
740.48/740.65	c  740s |      18 |   493185 |   326052 |    23568     28 |      773 |      624
742.58/742.79	c  742s |      18 |   494394 |   326952 |    23568     28 |      773 |      624
744.78/744.91	c  744s |      18 |   495445 |   327752 |    23568     28 |      773 |      624
747.08/747.25	c  746s |      18 |   496287 |   328452 |    23568     29 |      773 |      624
749.38/749.50	c  749s |      18 |   497356 |   329352 |    23568     29 |      773 |      624
751.37/751.59	c  751s |      18 |   498439 |   330252 |    23568     29 |      773 |      624
753.48/753.65	c  753s |      18 |   499397 |   331052 |    23568     29 |      773 |      624
755.58/755.76	c  755s |      18 |   500338 |   331852 |    23568     29 |      773 |      624
757.67/757.83	c  757s |      18 |   501200 |   332552 |    23568     29 |      773 |      624
759.87/760.06	c  759s |      18 |   502203 |   333352 |    23568     29 |      773 |      624
761.97/762.19	c  761s |      18 |   503007 |   334052 |    23568     29 |      773 |      624
764.17/764.38	c  764s |      18 |   503835 |   334752 |    23568     29 |      773 |      624
766.47/766.65	c  766s |      18 |   504506 |   335352 |    23568     29 |      773 |      624
768.57/768.74	c  768s |      18 |   505353 |   336052 |    23568     29 |      773 |      624
770.77/770.91	c  770s |      18 |   506181 |   336752 |    23568     29 |      773 |      624
772.77/772.95	c  772s |      18 |   506880 |   337352 |    23568     29 |      773 |      624
774.87/775.09	c  774s |      18 |   507554 |   337952 |    23568     29 |      773 |      624
777.07/777.23	c  776s |      18 |   508240 |   338552 |    23568     29 |      773 |      624
779.27/779.49	c  779s |      18 |   508921 |   339152 |    23568     29 |      773 |      624
781.47/781.62	c  781s |      18 |   509612 |   339752 |    23568     29 |      773 |      624
783.57/783.77	c  783s |      18 |   510316 |   340352 |    23568     29 |      773 |      624
785.97/786.17	c  785s |      18 |   511160 |   341052 |    23568     29 |      773 |      624
788.27/788.44	c  788s |      18 |   511846 |   341652 |    23568     29 |      773 |      624
790.47/790.67	c  790s |      18 |   512573 |   342252 |    23568     30 |      773 |      624
792.77/792.90	c  792s |      18 |   513510 |   343052 |    23568     30 |      773 |      624
794.87/795.02	c  794s |      18 |   514155 |   343652 |    23568     30 |      773 |      624
796.96/797.15	c  796s |      18 |   515155 |   344452 |    23568     30 |      773 |      624
799.07/799.23	c  798s |      18 |   516003 |   345152 |    23568     30 |      773 |      624
801.27/801.45	c  801s |      18 |   516830 |   345852 |    23568     30 |      773 |      624
803.47/803.69	c  803s |      18 |   517649 |   346552 |    23568     30 |      773 |      624
805.67/805.80	c  805s |      18 |   518315 |   347152 |    23568     30 |      773 |      624
807.67/807.85	c  807s |      18 |   519032 |   347752 |    23568     30 |      773 |      624
809.67/809.87	c  809s |      18 |   519722 |   348352 |    23568     30 |      773 |      624
811.87/812.00	c  811s |      18 |   520552 |   349052 |    23568     30 |      773 |      624
813.98/814.13	c  813s |      18 |   521231 |   349652 |    23568     30 |      773 |      624
816.27/816.46	c  816s |      18 |   522032 |   350352 |    23568     30 |      773 |      624
818.57/818.76	c  818s |      18 |   522693 |   350952 |    23568     30 |      773 |      624
820.77/820.99	c  820s |      18 |   523375 |   351552 |    23568     30 |      773 |      624
822.87/823.02	c  822s |      18 |   524092 |   352152 |    23568     30 |      773 |      624
824.97/825.19	c  824s |      18 |   524796 |   352752 |    23568     30 |      773 |      624
827.37/827.51	c  827s |      18 |   525474 |   353352 |    23568     30 |      773 |      624
829.67/829.83	c  829s |      18 |   526311 |   354052 |    23568     30 |      773 |      624
831.67/831.89	c  831s |      18 |   527016 |   354652 |    23568     30 |      773 |      624
833.77/834.00	c  833s |      18 |   527710 |   355252 |    23568     30 |      773 |      624
836.06/836.21	c  835s |      18 |   528397 |   355852 |    23568     31 |      773 |      624
838.26/838.45	c  838s |      18 |   529355 |   356652 |    23568     31 |      773 |      624
840.37/840.51	c  840s |      18 |   530126 |   357352 |    23568     31 |      773 |      624
842.36/842.52	c  842s |      18 |   530951 |   358052 |    23568     31 |      773 |      624
844.67/844.84	c  844s |      18 |   531753 |   358752 |    23568     31 |      773 |      624
847.06/847.23	c  846s |      18 |   532560 |   359452 |    23568     31 |      773 |      624
849.26/849.46	c  849s |      18 |   533270 |   360052 |    23568     31 |      773 |      624
851.37/851.51	c  851s |      18 |   533976 |   360652 |    23568     31 |      773 |      624
853.47/853.64	c  853s |      18 |   534676 |   361252 |    23568     31 |      773 |      624
855.77/855.99	c  855s |      18 |   535504 |   361952 |    23568     31 |      773 |      624
857.87/858.06	c  857s |      18 |   536077 |   362452 |    23568     31 |      773 |      624
860.17/860.36	c  860s |      18 |   536753 |   363052 |    23568     31 |      773 |      624
862.27/862.46	c  862s |      18 |   537445 |   363652 |    23568     31 |      773 |      624
864.57/864.79	c  864s |      18 |   538105 |   364252 |    23568     31 |      773 |      624
866.77/866.99	c  866s |      18 |   538768 |   364852 |    23568     31 |      773 |      624
868.87/869.08	c  868s |      18 |   539343 |   365352 |    23568     31 |      773 |      624
871.26/871.41	c  871s |      18 |   539889 |   365852 |    23568     31 |      773 |      624
873.66/873.82	c  873s |      18 |   540565 |   366452 |    23568     31 |      773 |      624
875.76/875.97	c  875s |      18 |   541148 |   366952 |    23568     31 |      773 |      624
878.06/878.29	c  878s |      18 |   541696 |   367452 |    23568     31 |      773 |      624
880.26/880.40	c  880s |      18 |   542287 |   367952 |    23568     31 |      773 |      624
882.26/882.41	c  882s |      18 |   542878 |   368452 |    23568     31 |      773 |      624
884.46/884.65	c  884s |      18 |   543321 |   368852 |    23568     32 |      773 |      624
886.76/886.93	c  886s |      18 |   544264 |   369652 |    23568     32 |      773 |      624
888.85/889.09	c  888s |      18 |   545082 |   370352 |    23568     32 |      773 |      624
890.96/891.10	c  890s |      18 |   545861 |   371052 |    23568     32 |      773 |      624
893.06/893.23	c  892s |      18 |   546543 |   371652 |    23568     32 |      773 |      624
895.15/895.30	c  895s |      18 |   547245 |   372252 |    23568     32 |      773 |      624
897.25/897.46	c  897s |      18 |   547926 |   372852 |    23568     32 |      773 |      624
899.45/899.66	c  899s |      18 |   548753 |   373552 |    23568     32 |      773 |      624
901.75/901.94	c  901s |      18 |   549569 |   374252 |    23568     32 |      773 |      624
903.85/904.03	c  903s |      18 |   550262 |   374852 |    23568     32 |      773 |      624
906.15/906.36	c  906s |      18 |   551055 |   375552 |    23568     32 |      773 |      624
908.25/908.49	c  908s |      18 |   551645 |   376052 |    23568     32 |      773 |      624
910.66/910.80	c  910s |      18 |   552343 |   376652 |    23568     32 |      773 |      624
912.86/913.04	c  912s |      18 |   552925 |   377152 |    23568     32 |      773 |      624
914.95/915.13	c  914s |      18 |   553475 |   377652 |    23568     32 |      773 |      624
917.05/917.26	c  917s |      18 |   554031 |   378152 |    23568     32 |      773 |      624
919.35/919.59	c  919s |      18 |   554862 |   378852 |    23568     32 |      773 |      624
921.45/921.68	c  921s |      18 |   555630 |   379452 |    23568     32 |      773 |      624
923.75/923.92	c  923s |      18 |   556455 |   380152 |    23568     32 |      773 |      624
925.75/925.92	c  925s |      18 |   557190 |   380752 |    23568     32 |      773 |      624
927.85/928.05	c  927s |      18 |   557899 |   381352 |    23568     32 |      773 |      624
930.15/930.34	c  930s |      18 |   558597 |   381952 |    23568     32 |      773 |      624
932.25/932.40	c  932s |      18 |   559188 |   382452 |    23568     33 |      773 |      624
934.35/934.51	c  934s |      18 |   559997 |   383152 |    23568     33 |      773 |      624
936.55/936.72	c  936s |      18 |   560908 |   383952 |    23568     33 |      773 |      624
938.75/938.98	c  938s |      18 |   561819 |   384752 |    23568     33 |      773 |      624
940.95/941.15	c  940s |      18 |   562637 |   385452 |    23568     33 |      773 |      624
943.15/943.37	c  943s |      18 |   563457 |   386152 |    23568     33 |      773 |      624
945.35/945.52	c  945s |      18 |   564151 |   386752 |    23568     33 |      773 |      624
947.45/947.67	c  947s |      18 |   565017 |   387452 |    23568     33 |      773 |      624
949.64/949.87	c  949s |      18 |   565831 |   388152 |    23568     33 |      773 |      624
951.64/951.89	c  951s |      18 |   566535 |   388752 |    23568     33 |      773 |      624
953.94/954.10	c  953s |      18 |   567333 |   389452 |    23568     33 |      773 |      624
956.04/956.23	c  955s |      18 |   568199 |   390152 |    23568     33 |      773 |      624
958.34/958.57	c  958s |      18 |   569124 |   390952 |    23568     33 |      773 |      624
960.64/960.81	c  960s |      18 |   569981 |   391652 |    23568     33 |      773 |      624
962.84/963.06	c  962s |      18 |   570667 |   392252 |    23568     33 |      773 |      624
964.94/965.13	c  964s |      18 |   571237 |   392752 |    23568     33 |      773 |      624
967.04/967.25	c  966s |      18 |   571912 |   393352 |    23568     33 |      773 |      624
969.24/969.45	c  969s |      18 |   572620 |   393952 |    23568     33 |      773 |      624
971.34/971.51	c  971s |      18 |   573197 |   394452 |    23568     33 |      773 |      624
973.35/973.57	c  973s |      18 |   573751 |   394952 |    23568     33 |      773 |      624
976.04/976.23	c  975s |      18 |   574338 |   395452 |    23568     34 |      773 |      624
978.24/978.47	c  978s |      18 |   575136 |   396152 |    23568     34 |      773 |      624
980.54/980.77	c  980s |      18 |   575949 |   396852 |    23568     34 |      773 |      624
982.64/982.88	c  982s |      18 |   576618 |   397452 |    23568     34 |      773 |      624
984.64/984.89	c  984s |      18 |   577310 |   398052 |    23568     34 |      773 |      624
986.74/986.98	c  986s |      18 |   578116 |   398752 |    23568     34 |      773 |      624
988.84/989.08	c  988s |      18 |   578777 |   399352 |    23568     34 |      773 |      624
991.04/991.28	c  991s |      18 |   579450 |   399952 |    23568     34 |      773 |      624
993.34/993.55	c  993s |      18 |   580284 |   400652 |    23568     34 |      773 |      624
995.44/995.69	c  995s |      18 |   580986 |   401252 |    23568     34 |      773 |      624
997.55/997.76	c  997s |      18 |   581660 |   401852 |    23568     34 |      773 |      624
999.85/1000.06	c  999s |      18 |   582468 |   402552 |    23568     34 |      773 |      624
1001.95/1002.12	c 1001s |      18 |   583156 |   403152 |    23568     34 |      773 |      624
1004.25/1004.40	c 1004s |      18 |   583839 |   403752 |    23568     34 |      773 |      624
1006.54/1006.71	c 1006s |      18 |   584517 |   404352 |    23568     34 |      773 |      624
1008.65/1008.82	c 1008s |      18 |   585071 |   404852 |    23568     34 |      773 |      624
1010.75/1010.96	c 1010s |      18 |   585794 |   405452 |    23568     34 |      773 |      624
1012.94/1013.15	c 1012s |      18 |   586524 |   406052 |    23568     34 |      773 |      624
1015.34/1015.51	c 1015s |      18 |   587259 |   406652 |    23568     34 |      773 |      624
1017.64/1017.88	c 1017s |      18 |   587942 |   407252 |    23568     34 |      773 |      624
1019.94/1020.11	c 1019s |      18 |   588631 |   407852 |    23568     34 |      773 |      624
1021.93/1022.18	c 1021s |      18 |   589187 |   408352 |    23568     34 |      773 |      624
1024.43/1024.62	c 1024s |      18 |   589911 |   408952 |    23568     35 |      773 |      624
1026.53/1026.79	c 1026s |      18 |   590720 |   409652 |    23568     35 |      773 |      624
1028.63/1028.83	c 1028s |      18 |   591523 |   410352 |    23568     35 |      773 |      624
1030.83/1031.09	c 1030s |      18 |   592328 |   411052 |    23568     35 |      773 |      624
1033.13/1033.33	c 1033s |      18 |   593134 |   411752 |    23568     35 |      773 |      624
1035.33/1035.51	c 1035s |      18 |   593813 |   412352 |    23568     35 |      773 |      624
1037.33/1037.59	c 1037s |      18 |   594496 |   412952 |    23568     35 |      773 |      624
1039.73/1039.91	c 1039s |      18 |   595158 |   413552 |    23568     35 |      773 |      624
1041.72/1041.98	c 1041s |      18 |   595839 |   414152 |    23568     35 |      773 |      624
1044.12/1044.31	c 1044s |      18 |   596657 |   414852 |    23568     35 |      773 |      624
1046.32/1046.54	c 1046s |      18 |   597340 |   415452 |    23568     35 |      773 |      624
1048.32/1048.57	c 1048s |      18 |   597996 |   416052 |    23568     35 |      773 |      624
1050.52/1050.76	c 1050s |      18 |   598552 |   416552 |    23568     35 |      773 |      624
1052.72/1052.91	c 1052s |      18 |   599092 |   417052 |    23568     35 |      773 |      624
1054.92/1055.19	c 1054s |      18 |   599625 |   417552 |    23568     35 |      773 |      624
1057.12/1057.31	c 1057s |      18 |   600209 |   418052 |    23568     35 |      773 |      624
1059.12/1059.34	c 1059s |      18 |   600764 |   418552 |    23568     35 |      773 |      624
1061.12/1061.36	c 1061s |      18 |   601346 |   419052 |    23568     35 |      773 |      624
1063.32/1063.52	c 1063s |      18 |   602063 |   419652 |    23568     35 |      773 |      624
1065.62/1065.85	c 1065s |      18 |   602748 |   420252 |    23568     35 |      773 |      624
1068.11/1068.37	c 1068s |      18 |   603429 |   420852 |    23568     35 |      773 |      624
1070.41/1070.63	c 1070s |      18 |   603955 |   421352 |    23568     35 |      773 |      624
1072.51/1072.75	c 1072s |      18 |   604490 |   421852 |    23568     35 |      773 |      624
1075.21/1075.46	c 1075s |      18 |   605060 |   422352 |    23568     36 |      773 |      624
1077.51/1077.75	c 1077s |      18 |   605864 |   423052 |    23568     36 |      773 |      624
1079.71/1079.92	c 1079s |      18 |   606666 |   423752 |    23568     36 |      773 |      624
1081.71/1081.96	c 1081s |      18 |   607346 |   424352 |    23568     36 |      773 |      624
1083.91/1084.17	c 1083s |      18 |   608006 |   424952 |    23568     36 |      773 |      624
1085.91/1086.18	c 1085s |      18 |   608665 |   425552 |    23568     36 |      773 |      624
1088.31/1088.54	c 1088s |      18 |   609470 |   426252 |    23568     36 |      773 |      624
1090.51/1090.73	c 1090s |      18 |   610145 |   426852 |    23568     36 |      773 |      624
1092.51/1092.77	c 1092s |      18 |   610686 |   427352 |    23568     36 |      773 |      624
1094.91/1095.13	c 1094s |      18 |   611368 |   427952 |    23568     36 |      773 |      624
1097.11/1097.36	c 1097s |      18 |   612040 |   428552 |    23568     36 |      773 |      624
1099.11/1099.39	c 1099s |      18 |   612582 |   429052 |    23568     36 |      773 |      624
1101.41/1101.60	c 1101s |      18 |   613265 |   429652 |    23568     36 |      773 |      624
1103.71/1103.97	c 1103s |      18 |   613943 |   430252 |    23568     36 |      773 |      624
1106.00/1106.22	c 1105s |      18 |   614630 |   430852 |    23568     36 |      773 |      624
1108.10/1108.32	c 1108s |      18 |   615360 |   431452 |    23568     36 |      773 |      624
1110.30/1110.50	c 1110s |      18 |   616097 |   432052 |    23568     36 |      773 |      624
1112.60/1112.83	c 1112s |      18 |   616800 |   432652 |    23568     36 |      773 |      624
1114.90/1115.12	c 1114s |      18 |   617510 |   433252 |    23568     36 |      773 |      624
1117.20/1117.42	c 1117s |      18 |   618233 |   433852 |    23568     36 |      773 |      624
1119.50/1119.75	c 1119s |      18 |   618919 |   434452 |    23568     36 |      773 |      624
1121.90/1122.14	c 1121s |      18 |   619585 |   435052 |    23568     36 |      773 |      624
1124.80/1125.00	c 1124s |      18 |   620311 |   435652 |    23568     37 |      773 |      624
1126.80/1127.04	c 1126s |      18 |   621128 |   436352 |    23568     37 |      773 |      624
1128.80/1129.06	c 1128s |      18 |   621942 |   437052 |    23568     37 |      773 |      624
1130.99/1131.25	c 1130s |      18 |   622740 |   437752 |    23568     37 |      773 |      624
1133.19/1133.49	c 1133s |      18 |   623566 |   438452 |    23568     37 |      773 |      624
1135.29/1135.52	c 1135s |      18 |   624231 |   439052 |    23568     37 |      773 |      624
1137.49/1137.71	c 1137s |      18 |   625018 |   439752 |    23568     37 |      773 |      624
1139.69/1139.90	c 1139s |      18 |   625856 |   440452 |    23568     37 |      773 |      624
1141.90/1142.16	c 1141s |      18 |   626613 |   441152 |    23568     37 |      773 |      624
1144.30/1144.50	c 1144s |      18 |   627406 |   441852 |    25925     37 |      773 |      624
1146.50/1146.77	c 1146s |      18 |   628215 |   442552 |    25925     37 |      773 |      624
1148.79/1149.07	c 1148s |      18 |   628886 |   443152 |    25925     37 |      773 |      624
1151.09/1151.32	c 1151s |      18 |   629593 |   443752 |    25925     37 |      773 |      624
1153.19/1153.45	c 1153s |      18 |   630270 |   444352 |    25925     37 |      773 |      624
1153.70/1153.94	c 1153s |      19 |   630415 |   444482 |    25925     37 |      773 |      624
1155.79/1156.03	c 1155s |      19 |   635342 |   445882 |    25925     37 |      773 |      624
1157.99/1158.23	c 1157s |      19 |   636776 |   447082 |    25925     37 |      773 |      624
1160.09/1160.30	c 1160s |      19 |   638228 |   448282 |    25925     37 |      773 |      624
1162.19/1162.41	c 1162s |      19 |   639725 |   449482 |    25925     37 |      773 |      624
1164.19/1164.49	c 1164s |      19 |   641002 |   450582 |    25925     37 |      773 |      624
1166.49/1166.75	c 1166s |      19 |   641772 |   451282 |    25925     38 |      773 |      624
1168.69/1168.95	c 1168s |      19 |   642796 |   452182 |    25925     38 |      773 |      624
1170.79/1171.06	c 1170s |      19 |   643806 |   453082 |    25925     38 |      773 |      624
1172.99/1173.26	c 1173s |      19 |   644923 |   453982 |    25925     38 |      773 |      624
1175.19/1175.43	c 1175s |      19 |   645952 |   454882 |    25925     38 |      773 |      624
1177.29/1177.53	c 1177s |      19 |   646826 |   455682 |    25925     38 |      773 |      624
1179.39/1179.60	c 1179s |      19 |   647593 |   456382 |    25925     38 |      773 |      624
1181.39/1181.60	c 1181s |      19 |   648380 |   457082 |    25925     38 |      773 |      624
1183.58/1183.89	c 1183s |      19 |   649125 |   457782 |    25925     38 |      773 |      624
1185.88/1186.17	c 1185s |      19 |   649874 |   458482 |    25925     38 |      773 |      624
1187.98/1188.27	c 1188s |      19 |   650515 |   459082 |    25925     38 |      773 |      624
1190.18/1190.50	c 1190s |      19 |   651159 |   459682 |    25925     38 |      773 |      624
1192.19/1192.50	c 1192s |      19 |   651699 |   460182 |    25925     38 |      773 |      624
1194.68/1194.91	c 1194s |      19 |   652339 |   460782 |    25925     38 |      773 |      624
1196.88/1197.13	c 1196s |      19 |   653007 |   461382 |    25925     38 |      773 |      624
1198.98/1199.28	c 1199s |      19 |   653669 |   461982 |    25925     38 |      773 |      624
1201.28/1201.54	c 1201s |      19 |   654310 |   462582 |    25925     38 |      773 |      624
1203.38/1203.67	c 1203s |      19 |   654829 |   463082 |    25925     38 |      773 |      624
1205.67/1205.94	c 1205s |      19 |   655342 |   463582 |    25925     38 |      773 |      624
1207.68/1207.99	c 1207s |      19 |   655884 |   464082 |    25925     38 |      773 |      624
1210.07/1210.32	c 1210s |      19 |   656551 |   464682 |    25925     38 |      773 |      624
1212.17/1212.45	c 1212s |      19 |   657083 |   465182 |    25925     38 |      773 |      624
1214.37/1214.66	c 1214s |      19 |   657517 |   465582 |    25925     39 |      773 |      624
1216.48/1216.71	c 1216s |      19 |   658032 |   466082 |    25925     39 |      773 |      624
1218.78/1219.09	c 1218s |      19 |   658666 |   466682 |    25925     39 |      773 |      624
1221.08/1221.37	c 1221s |      19 |   659328 |   467282 |    25925     39 |      773 |      624
1223.18/1223.49	c 1223s |      19 |   659852 |   467782 |    25925     39 |      773 |      624
1225.48/1225.72	c 1225s |      19 |   660384 |   468282 |    25925     39 |      773 |      624
1227.48/1227.74	c 1227s |      19 |   660943 |   468782 |    25925     39 |      773 |      624
1229.88/1230.18	c 1229s |      19 |   661599 |   469382 |    25925     39 |      773 |      624
1232.27/1232.58	c 1232s |      19 |   662241 |   469982 |    25925     39 |      773 |      624
1234.27/1234.59	c 1234s |      19 |   662769 |   470482 |    25925     39 |      773 |      624
1236.77/1237.02	c 1236s |      19 |   663294 |   470982 |    25925     39 |      773 |      624
1239.07/1239.30	c 1239s |      19 |   663842 |   471482 |    25925     39 |      773 |      624
1241.07/1241.30	c 1241s |      19 |   664372 |   471982 |    25925     39 |      773 |      624
1243.47/1243.70	c 1243s |      19 |   664919 |   472482 |    25925     39 |      773 |      624
1245.77/1246.06	c 1245s |      19 |   665460 |   472982 |    25925     39 |      773 |      624
1248.07/1248.34	c 1248s |      19 |   665990 |   473482 |    25925     39 |      773 |      624
1250.07/1250.36	c 1250s |      19 |   666527 |   473982 |    25925     39 |      773 |      624
1252.37/1252.64	c 1252s |      19 |   667039 |   474482 |    25925     39 |      773 |      624
1254.37/1254.67	c 1254s |      19 |   667464 |   474882 |    25925     39 |      773 |      624
1256.77/1257.02	c 1256s |      19 |   667901 |   475282 |    25925     39 |      773 |      624
1259.07/1259.34	c 1259s |      19 |   668454 |   475782 |    25925     39 |      773 |      624
1261.47/1261.72	c 1261s |      19 |   669013 |   476282 |    25925     39 |      773 |      624
1263.47/1263.78	c 1263s |      19 |   669443 |   476682 |    25925     39 |      773 |      624
1265.57/1265.85	c 1265s |      19 |   669892 |   477082 |    25925     39 |      773 |      624
1267.97/1268.24	c 1267s |      19 |   670320 |   477482 |    25925     39 |      773 |      624
1270.27/1270.51	c 1270s |      19 |   670753 |   477882 |    25925     39 |      773 |      624
1272.37/1272.70	c 1272s |      19 |   671181 |   478282 |    25925     39 |      773 |      624
1274.67/1274.98	c 1274s |      19 |   671594 |   478682 |    25925     39 |      773 |      624
1276.87/1277.17	c 1276s |      19 |   672013 |   479082 |    25925     39 |      773 |      624
1279.17/1279.48	c 1279s |      19 |   672439 |   479482 |    25925     39 |      773 |      624
1281.37/1281.65	c 1281s |      19 |   672854 |   479882 |    25925     39 |      773 |      624
1283.67/1283.92	c 1283s |      19 |   673165 |   480182 |    25925     40 |      773 |      624
1285.87/1286.12	c 1285s |      19 |   673709 |   480682 |    25925     40 |      773 |      624
1287.98/1288.26	c 1288s |      19 |   674250 |   481182 |    25925     40 |      773 |      624
1290.27/1290.52	c 1290s |      19 |   674790 |   481682 |    25925     40 |      773 |      624
1292.37/1292.69	c 1292s |      19 |   675326 |   482182 |    25925     40 |      773 |      624
1294.76/1295.06	c 1294s |      19 |   675975 |   482782 |    25925     40 |      773 |      624
1296.86/1297.10	c 1296s |      19 |   676518 |   483282 |    25925     40 |      773 |      624
1298.97/1299.22	c 1298s |      19 |   677070 |   483782 |    25925     40 |      773 |      624
1300.96/1301.29	c 1301s |      19 |   677594 |   484282 |    25925     40 |      773 |      624
1303.16/1303.46	c 1303s |      19 |   678112 |   484782 |    25925     40 |      773 |      624
1305.56/1305.89	c 1305s |      19 |   678650 |   485282 |    25925     40 |      773 |      624
1307.76/1308.02	c 1307s |      19 |   679415 |   485882 |    25925     40 |      773 |      624
1309.96/1310.29	c 1310s |      19 |   680342 |   486582 |    25925     40 |      773 |      624
1312.06/1312.40	c 1312s |      19 |   687511 |   488382 |    25925     40 |      773 |      624
1314.26/1314.56	c 1314s |      19 |   690455 |   489682 |    25925     40 |      773 |      624
1316.35/1316.63	c 1316s |      19 |   692007 |   490682 |    25925     40 |      773 |      624
1318.55/1318.85	c 1318s |      19 |   693244 |   491582 |    25925     40 |      773 |      624
1320.55/1320.89	c 1320s |      19 |   694412 |   492482 |    25925     40 |      773 |      624
1322.84/1323.11	c 1322s |      19 |   695406 |   493282 |    25925     40 |      773 |      624
1324.84/1325.12	c 1324s |      19 |   696505 |   494082 |    25925     40 |      773 |      624
1326.84/1327.14	c 1326s |      19 |   697374 |   494782 |    25925     40 |      773 |      624
1329.04/1329.32	c 1329s |      19 |   697805 |   495182 |    25925     41 |      773 |      624
1331.14/1331.40	c 1331s |      19 |   698592 |   495882 |    25925     41 |      773 |      624
1333.14/1333.41	c 1333s |      19 |   699432 |   496582 |    25925     41 |      773 |      624
1335.14/1335.44	c 1335s |      19 |   700231 |   497282 |    25925     41 |      773 |      624
1337.23/1337.52	c 1337s |      19 |   700984 |   497982 |    25925     41 |      773 |      624
1339.43/1339.76	c 1339s |      19 |   701909 |   498782 |    25925     41 |      773 |      624
1341.53/1341.84	c 1341s |      19 |   702577 |   499382 |    25925     41 |      773 |      624
1343.73/1344.03	c 1343s |      19 |   703219 |   499982 |    25925     41 |      773 |      624
1345.93/1346.21	c 1345s |      19 |   704023 |   500682 |    25925     41 |      773 |      624
1348.13/1348.42	c 1348s |      19 |   704707 |   501282 |    25925     41 |      773 |      624
1350.13/1350.44	c 1350s |      19 |   705435 |   501882 |    25925     41 |      773 |      624
1352.42/1352.72	c 1352s |      19 |   706276 |   502582 |    25925     41 |      773 |      624
1354.62/1354.90	c 1354s |      19 |   706980 |   503182 |    25925     41 |      773 |      624
1356.72/1357.04	c 1356s |      19 |   707641 |   503782 |    25925     41 |      773 |      624
1359.02/1359.31	c 1359s |      19 |   708301 |   504382 |    25925     41 |      773 |      624
1361.22/1361.54	c 1361s |      19 |   708959 |   504982 |    25925     41 |      773 |      624
1363.22/1363.55	c 1363s |      19 |   709512 |   505482 |    25925     41 |      773 |      624
1365.52/1365.85	c 1365s |      19 |   710214 |   506082 |    25925     41 |      773 |      624
1367.52/1367.88	c 1367s |      19 |   710755 |   506582 |    25925     41 |      773 |      624
1369.52/1369.89	c 1369s |      19 |   711313 |   507082 |    25925     41 |      773 |      624
1371.91/1372.27	c 1372s |      19 |   711985 |   507682 |    25925     41 |      773 |      624
1374.11/1374.49	c 1374s |      19 |   712545 |   508182 |    25925     41 |      773 |      624
1376.41/1376.78	c 1376s |      19 |   713086 |   508682 |    25925     41 |      773 |      624
1378.51/1378.82	c 1378s |      19 |   713891 |   509282 |    25925     41 |      773 |      624
1380.71/1381.02	c 1380s |      19 |   714889 |   509982 |    25925     42 |      773 |      624
1382.70/1383.03	c 1382s |      19 |   715544 |   510582 |    25925     42 |      773 |      624
1384.90/1385.21	c 1384s |      19 |   716352 |   511282 |    25925     42 |      773 |      624
1386.91/1387.27	c 1387s |      19 |   717221 |   511982 |    25925     42 |      773 |      624
1388.90/1389.30	c 1389s |      19 |   718291 |   512782 |    25925     42 |      773 |      624
1391.00/1391.36	c 1391s |      19 |   718980 |   513382 |    25925     42 |      773 |      624
1393.20/1393.51	c 1393s |      19 |   719671 |   513982 |    25925     42 |      773 |      624
1395.19/1395.58	c 1395s |      19 |   720823 |   514682 |    25925     42 |      773 |      624
1397.29/1397.64	c 1397s |      19 |   722101 |   515582 |    25925     42 |      773 |      624
1399.39/1399.78	c 1399s |      19 |   723466 |   516582 |    25925     42 |      773 |      624
1401.49/1401.89	c 1401s |      19 |   724465 |   517382 |    25925     42 |      773 |      624
1403.69/1404.08	c 1403s |      19 |   725549 |   518182 |    25925     42 |      773 |      624
1405.79/1406.11	c 1405s |      19 |   726427 |   518882 |    25925     42 |      773 |      624
1407.99/1408.30	c 1408s |      19 |   727430 |   519682 |    25925     42 |      773 |      624
1410.09/1410.49	c 1410s |      19 |   728919 |   520582 |    25925     42 |      773 |      624
1412.19/1412.53	c 1412s |      19 |   729843 |   521282 |    25925     42 |      773 |      624
1414.29/1414.64	c 1414s |      19 |   730899 |   522082 |    25925     42 |      773 |      624
1416.38/1416.73	c 1416s |      19 |   731749 |   522782 |    25925     42 |      773 |      624
1418.38/1418.74	c 1418s |      19 |   732440 |   523382 |    25925     42 |      773 |      624
1420.89/1421.28	c 1421s |      19 |   733122 |   523982 |    25925     43 |      773 |      624
1422.98/1423.37	c 1423s |      19 |   733890 |   524682 |    25925     43 |      773 |      624
1425.18/1425.54	c 1425s |      19 |   734954 |   525482 |    25925     43 |      773 |      624
1427.38/1427.72	c 1427s |      19 |   736700 |   526482 |    25925     43 |      773 |      624
1429.48/1429.82	c 1429s |      19 |   738211 |   527582 |    25925     43 |      773 |      624
1431.57/1431.95	c 1431s |      19 |   739303 |   528482 |    25925     43 |      773 |      624
1433.67/1434.02	c 1433s |      19 |   740273 |   529282 |    25925     43 |      773 |      624
1435.87/1436.29	c 1436s |      19 |   741390 |   530182 |    25925     43 |      773 |      624
1438.18/1438.55	c 1438s |      19 |   742634 |   531082 |    25925     43 |      773 |      624
1440.38/1440.78	c 1440s |      19 |   743833 |   531982 |    25925     43 |      773 |      624
1442.37/1442.79	c 1442s |      19 |   744690 |   532682 |    25925     43 |      773 |      624
1444.67/1445.08	c 1444s |      19 |   745505 |   533382 |    25925     43 |      773 |      624
1446.67/1447.09	c 1446s |      19 |   746177 |   533982 |    25925     43 |      773 |      624
1448.87/1449.25	c 1448s |      19 |   747033 |   534682 |    25925     43 |      773 |      624
1450.97/1451.37	c 1451s |      19 |   747875 |   535382 |    25925     43 |      773 |      624
1453.07/1453.43	c 1453s |      19 |   748551 |   535982 |    25925     43 |      773 |      624
1455.26/1455.67	c 1455s |      19 |   749393 |   536682 |    25925     43 |      773 |      624
1457.36/1457.73	c 1457s |      19 |   750082 |   537282 |    25925     43 |      773 |      624
1459.37/1459.73	c 1459s |      19 |   750651 |   537782 |    25925     43 |      773 |      624
1461.46/1461.90	c 1461s |      19 |   751377 |   538382 |    25925     43 |      773 |      624
1463.66/1464.07	c 1463s |      19 |   751972 |   538882 |    25925     44 |      773 |      624
1465.97/1466.33	c 1466s |      19 |   752920 |   539682 |    25925     44 |      773 |      624
1468.16/1468.52	c 1468s |      19 |   753712 |   540382 |    25925     44 |      773 |      624
1470.26/1470.69	c 1470s |      19 |   754492 |   541082 |    25925     44 |      773 |      624
1472.66/1473.01	c 1472s |      19 |   755289 |   541782 |    25925     44 |      773 |      624
1474.76/1475.13	c 1474s |      19 |   755952 |   542382 |    25925     44 |      773 |      624
1476.75/1477.13	c 1476s |      19 |   756622 |   542982 |    25925     44 |      773 |      624
1478.75/1479.13	c 1478s |      19 |   757536 |   543682 |    25925     44 |      773 |      624
1480.75/1481.15	c 1480s |      19 |   758814 |   544482 |    25925     44 |      773 |      624
1482.84/1483.29	c 1483s |      19 |   759835 |   545282 |    25925     44 |      773 |      624
1484.94/1485.36	c 1485s |      19 |   760708 |   545982 |    25925     44 |      773 |      624
1487.04/1487.49	c 1487s |      19 |   761378 |   546582 |    25925     44 |      773 |      624
1489.34/1489.73	c 1489s |      19 |   762042 |   547182 |    25925     44 |      773 |      624
1491.54/1491.97	c 1491s |      19 |   762705 |   547782 |    25925     44 |      773 |      624
1493.64/1494.06	c 1493s |      19 |   763380 |   548382 |    25925     44 |      773 |      624
1495.84/1496.29	c 1496s |      19 |   764084 |   548982 |    25925     44 |      773 |      624
1498.24/1498.66	c 1498s |      19 |   764968 |   549682 |    25925     44 |      773 |      624
1500.34/1500.77	c 1500s |      19 |   765855 |   550382 |    25925     44 |      773 |      624
1502.53/1502.92	c 1502s |      19 |   767014 |   551182 |    25925     44 |      773 |      624
1504.63/1505.03	c 1504s |      19 |   767700 |   551782 |    25925     44 |      773 |      624
1506.93/1507.33	c 1507s |      19 |   768559 |   552482 |    25925     44 |      773 |      624
1509.53/1509.98	c 1509s |      19 |   769251 |   553082 |    25925     45 |      773 |      624
1511.83/1512.27	c 1512s |      19 |   770208 |   553882 |    25925     45 |      773 |      624
1514.03/1514.49	c 1514s |      19 |   771166 |   554682 |    25925     45 |      773 |      624
1516.33/1516.73	c 1516s |      19 |   771930 |   555382 |    25925     45 |      773 |      624
1518.33/1518.79	c 1518s |      19 |   772619 |   555982 |    25925     45 |      773 |      624
1520.63/1521.06	c 1520s |      19 |   773397 |   556682 |    25925     45 |      773 |      624
1522.82/1523.26	c 1523s |      19 |   774075 |   557282 |    25925     45 |      773 |      624
1525.02/1525.40	c 1525s |      19 |   774744 |   557882 |    25925     45 |      773 |      624
1527.12/1527.55	c 1527s |      19 |   775545 |   558582 |    25925     45 |      773 |      624
1529.42/1529.83	c 1529s |      19 |   776339 |   559282 |    25925     45 |      773 |      624
1531.71/1532.11	c 1531s |      19 |   777032 |   559882 |    25925     45 |      773 |      624
1533.91/1534.34	c 1534s |      19 |   777862 |   560582 |    25925     45 |      773 |      624
1536.01/1536.41	c 1536s |      19 |   778550 |   561182 |    25925     45 |      773 |      624
1538.21/1538.64	c 1538s |      19 |   779328 |   561882 |    25925     45 |      773 |      624
1540.21/1540.66	c 1540s |      19 |   780023 |   562482 |    25925     45 |      773 |      624
1542.61/1543.01	c 1542s |      19 |   780670 |   563082 |    25925     45 |      773 |      624
1544.70/1545.15	c 1544s |      19 |   781205 |   563582 |    25925     45 |      773 |      624
1546.80/1547.20	c 1546s |      19 |   781740 |   564082 |    25925     45 |      773 |      624
1549.00/1549.49	c 1549s |      19 |   782429 |   564682 |    25925     45 |      773 |      624
1551.40/1551.83	c 1551s |      19 |   783092 |   565282 |    25925     45 |      773 |      624
1553.50/1553.90	c 1553s |      19 |   783641 |   565782 |    25925     45 |      773 |      624
1555.50/1555.93	c 1555s |      19 |   784184 |   566282 |    25925     45 |      773 |      624
1557.80/1558.26	c 1558s |      19 |   784734 |   566782 |    25925     45 |      773 |      624
1560.10/1560.50	c 1560s |      19 |   785297 |   567282 |    25925     45 |      773 |      624
1562.19/1562.69	c 1562s |      19 |   785754 |   567682 |    25925     46 |      773 |      624
1564.49/1564.95	c 1564s |      19 |   786552 |   568382 |    25925     46 |      773 |      624
1566.79/1567.26	c 1567s |      19 |   787312 |   569082 |    25925     46 |      773 |      624
1568.89/1569.33	c 1569s |      19 |   788152 |   569782 |    25925     46 |      773 |      624
1571.09/1571.52	c 1571s |      19 |   789116 |   570582 |    25925     46 |      773 |      624
1573.29/1573.75	c 1573s |      19 |   789781 |   571182 |    25925     46 |      773 |      624
1575.59/1576.08	c 1575s |      19 |   790619 |   571882 |    25925     46 |      773 |      624
1577.59/1578.09	c 1577s |      19 |   791331 |   572482 |    25925     46 |      773 |      624
1579.79/1580.28	c 1580s |      19 |   791997 |   573082 |    25925     46 |      773 |      624
1581.89/1582.39	c 1582s |      19 |   792733 |   573682 |    25925     46 |      773 |      624
1583.99/1584.49	c 1584s |      19 |   793457 |   574282 |    25925     46 |      773 |      624
1586.19/1586.65	c 1586s |      19 |   794108 |   574882 |    25925     46 |      773 |      624
1588.69/1589.14	c 1588s |      19 |   794802 |   575482 |    25925     46 |      773 |      624
1590.79/1591.20	c 1590s |      19 |   795357 |   575982 |    25925     46 |      773 |      624
1592.88/1593.36	c 1593s |      19 |   795907 |   576482 |    25925     46 |      773 |      624
1594.98/1595.42	c 1595s |      19 |   796463 |   576982 |    25925     46 |      773 |      624
1597.18/1597.62	c 1597s |      19 |   797019 |   577482 |    25925     46 |      773 |      624
1599.38/1599.85	c 1599s |      19 |   797599 |   577982 |    25925     46 |      773 |      624
1601.47/1601.96	c 1601s |      19 |   798152 |   578482 |    25925     46 |      773 |      624
1603.77/1604.21	c 1603s |      19 |   798704 |   578982 |    25925     46 |      773 |      624
1605.97/1606.44	c 1606s |      19 |   799266 |   579482 |    25925     46 |      773 |      624
1608.07/1608.59	c 1608s |      19 |   799821 |   579982 |    25925     46 |      773 |      624
1610.37/1610.82	c 1610s |      19 |   800375 |   580482 |    25925     46 |      773 |      624
1612.37/1612.84	c 1612s |      19 |   800802 |   580882 |    25925     46 |      773 |      624
1614.57/1615.08	c 1614s |      19 |   801349 |   581382 |    25925     46 |      773 |      624
1616.57/1617.09	c 1616s |      19 |   801780 |   581782 |    25925     46 |      773 |      624
1618.77/1619.20	c 1618s |      19 |   802127 |   582082 |    25925     47 |      773 |      624
1621.07/1621.53	c 1621s |      19 |   802908 |   582782 |    25925     47 |      773 |      624
1623.36/1623.86	c 1623s |      19 |   803672 |   583482 |    25925     47 |      773 |      624
1625.56/1626.03	c 1625s |      19 |   804330 |   584082 |    25925     47 |      773 |      624
1627.57/1628.10	c 1627s |      19 |   804999 |   584682 |    25925     47 |      773 |      624
1629.77/1630.29	c 1630s |      19 |   805638 |   585282 |    25925     47 |      773 |      624
1631.96/1632.40	c 1632s |      19 |   806299 |   585882 |    25925     47 |      773 |      624
1634.26/1634.78	c 1634s |      19 |   806946 |   586482 |    25925     47 |      773 |      624
1636.36/1636.88	c 1636s |      19 |   807521 |   586982 |    25925     47 |      773 |      624
1638.56/1639.10	c 1638s |      19 |   808051 |   587482 |    25925     47 |      773 |      624
1640.65/1641.18	c 1640s |      19 |   808582 |   587982 |    25925     47 |      773 |      624
1642.95/1643.47	c 1643s |      19 |   809136 |   588482 |    25925     47 |      773 |      624
1645.05/1645.58	c 1645s |      19 |   809680 |   588982 |    25925     47 |      773 |      624
1647.45/1647.99	c 1647s |      19 |   810207 |   589482 |    25925     47 |      773 |      624
1649.85/1650.36	c 1650s |      19 |   810741 |   589982 |    25925     47 |      773 |      624
1652.24/1652.76	c 1652s |      19 |   811287 |   590482 |    25925     47 |      773 |      624
1654.44/1654.97	c 1654s |      19 |   811844 |   590982 |    25925     47 |      773 |      624
1656.74/1657.21	c 1656s |      19 |   812556 |   591582 |    25925     47 |      773 |      624
1658.84/1659.32	c 1659s |      19 |   813246 |   592182 |    25925     47 |      773 |      624
1660.93/1661.40	c 1661s |      19 |   813795 |   592682 |    25925     47 |      773 |      624
1663.33/1663.82	c 1663s |      19 |   814459 |   593282 |    25925     47 |      773 |      624
1665.43/1665.97	c 1665s |      19 |   814997 |   593782 |    25925     47 |      773 |      624
1667.63/1668.17	c 1667s |      19 |   815522 |   594282 |    25925     47 |      773 |      624
1669.83/1670.34	c 1670s |      19 |   816108 |   594782 |    25925     47 |      773 |      624
1672.13/1672.60	c 1672s |      19 |   816639 |   595282 |    25925     47 |      773 |      624
1674.23/1674.73	c 1674s |      19 |   817181 |   595782 |    25925     47 |      773 |      624
1676.33/1676.86	c 1676s |      19 |   817732 |   596282 |    25925     47 |      773 |      624
1678.53/1679.02	c 1678s |      19 |   818049 |   596582 |    25925     48 |      773 |      624
1680.63/1681.14	c 1680s |      19 |   818856 |   597282 |    25925     48 |      773 |      624
1682.83/1683.33	c 1683s |      19 |   819619 |   597982 |    25925     48 |      773 |      624
1685.03/1685.52	c 1685s |      19 |   820265 |   598582 |    25925     48 |      773 |      624
1687.13/1687.63	c 1687s |      19 |   820911 |   599182 |    25925     48 |      773 |      624
1689.14/1689.66	c 1689s |      19 |   821568 |   599782 |    25925     48 |      773 |      624
1691.23/1691.71	c 1691s |      19 |   822249 |   600382 |    25925     48 |      773 |      624
1693.43/1693.93	c 1693s |      19 |   822931 |   600982 |    25925     48 |      773 |      624
1695.43/1695.99	c 1695s |      19 |   823464 |   601482 |    25925     48 |      773 |      624
1697.83/1698.30	c 1698s |      19 |   824010 |   601982 |    25925     48 |      773 |      624
1699.83/1700.38	c 1700s |      19 |   824716 |   602582 |    25925     48 |      773 |      624
1702.23/1702.71	c 1702s |      19 |   825381 |   603182 |    25925     48 |      773 |      624
1704.53/1705.04	c 1704s |      19 |   826033 |   603782 |    25925     48 |      773 |      624
1706.63/1707.14	c 1706s |      19 |   826587 |   604282 |    25925     48 |      773 |      624
1708.83/1709.30	c 1709s |      19 |   827118 |   604782 |    25925     48 |      773 |      624
1711.13/1711.63	c 1711s |      19 |   827806 |   605382 |    25925     48 |      773 |      624
1713.12/1713.69	c 1713s |      19 |   828372 |   605882 |    25925     48 |      773 |      624
1715.63/1716.13	c 1715s |      19 |   829048 |   606482 |    25925     48 |      773 |      624
1717.83/1718.39	c 1718s |      19 |   829782 |   607082 |    25925     48 |      773 |      624
1720.12/1720.62	c 1720s |      19 |   830647 |   607782 |    25925     48 |      773 |      624
1722.52/1723.02	c 1722s |      19 |   831344 |   608382 |    25925     48 |      773 |      624
1724.82/1725.33	c 1725s |      19 |   832040 |   608982 |    25925     48 |      773 |      624
1727.12/1727.64	c 1727s |      19 |   832708 |   609582 |    25925     48 |      773 |      624
1729.32/1729.83	c 1729s |      19 |   833234 |   610082 |    25925     48 |      773 |      624
1731.42/1731.91	c 1731s |      19 |   833775 |   610582 |    25925     48 |      773 |      624
1733.52/1734.01	c 1733s |      19 |   834320 |   611082 |    25925     48 |      773 |      624
1735.72/1736.28	c 1736s |      19 |   834911 |   611582 |    25925     49 |      773 |      624
1737.92/1738.43	c 1738s |      19 |   835885 |   612382 |    25925     49 |      773 |      624
1740.12/1740.63	c 1740s |      19 |   836840 |   613182 |    25925     49 |      773 |      624
1742.22/1742.75	c 1742s |      19 |   837783 |   613982 |    25925     49 |      773 |      624
1744.42/1744.96	c 1744s |      19 |   838584 |   614682 |    25925     49 |      773 |      624
1746.52/1747.06	c 1746s |      19 |   839259 |   615282 |    25925     49 |      773 |      624
1748.72/1749.28	c 1749s |      19 |   840041 |   615982 |    25925     49 |      773 |      624
1751.02/1751.56	c 1751s |      19 |   840694 |   616582 |    25925     49 |      773 |      624
1753.33/1753.88	c 1753s |      19 |   841339 |   617182 |    25925     49 |      773 |      624
1755.63/1756.16	c 1755s |      19 |   842011 |   617782 |    25925     49 |      773 |      624
1757.93/1758.40	c 1758s |      19 |   842710 |   618382 |    25925     49 |      773 |      624
1760.03/1760.56	c 1760s |      19 |   843404 |   618982 |    25925     49 |      773 |      624
1762.23/1762.76	c 1762s |      19 |   844090 |   619582 |    25925     49 |      773 |      624
1764.43/1764.90	c 1764s |      19 |   844762 |   620182 |    25925     49 |      773 |      624
1766.53/1767.09	c 1766s |      19 |   845424 |   620782 |    25925     49 |      773 |      624
1768.63/1769.19	c 1768s |      19 |   846005 |   621282 |    25925     49 |      773 |      624
1770.72/1771.23	c 1770s |      19 |   846554 |   621782 |    25925     49 |      773 |      624
1772.83/1773.35	c 1773s |      19 |   847112 |   622282 |    25925     49 |      773 |      624
1774.93/1775.45	c 1775s |      19 |   847679 |   622782 |    25925     49 |      773 |      624
1777.32/1777.82	c 1777s |      19 |   848230 |   623282 |    25925     49 |      773 |      624
1779.82/1780.35	c 1780s |      19 |   848773 |   623782 |    25925     49 |      773 |      624
1782.02/1782.51	c 1782s |      19 |   849199 |   624182 |    25925     49 |      773 |      624
1784.32/1784.80	c 1784s |      19 |   849625 |   624582 |    25925     49 |      773 |      624
1786.42/1786.97	c 1786s |      19 |   850193 |   625082 |    25925     49 |      773 |      624
1788.52/1789.02	c 1788s |      19 |   850742 |   625582 |    25925     49 |      773 |      624
1790.72/1791.29	c 1791s |      19 |   851317 |   626082 |    25925     50 |      773 |      624
1793.02/1793.55	c 1793s |      19 |   852136 |   626782 |    25925     50 |      773 |      624
1795.22/1795.77	c 1795s |      19 |   852819 |   627382 |    25925     50 |      773 |      624
1797.52/1798.00	c 1797s |      19 |   853516 |   627982 |    25925     50 |      773 |      624
1799.52/1800.02	c 1799s |      19 |   854078 |   628482 |    25925     50 |      773 |      624

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

pid=23985
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.16 2.12 2.09 4/179 23988
/proc/meminfo: memFree=29633088/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 2629 0 0 0 0 0 0 0 20 0 4 0 29549971 722923520 2990 33554432000 4194304 16246674 140735435342096 140735435341032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 177007 2998 441 2943 0 173901 0
[pid=23988/tid=23989] ppid=23985 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 743895040 3072 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=730692 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 748228608 3087 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=734788 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29549971 752422912 3102 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.16 2.12 2.09 4/179 23988
/proc/meminfo: memFree=29633088/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 28278 0 0 0 5 4 0 0 20 0 4 0 29549971 1249447936 28576 33554432000 4194304 16246674 140735435342096 140735435341408 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 305041 28576 802 2943 0 301935 0
[pid=23988/tid=23989] ppid=23985 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1249447936 28576 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1249447936 28576 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1249447936 28576 33554432000 4194304 16246674 140735435342096 139800665377968 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.200499 s]
/proc/loadavg: 2.16 2.12 2.09 4/179 23988
/proc/meminfo: memFree=29633088/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 48486 0 0 0 12 7 0 0 20 0 4 0 29549971 1332285440 48784 33554432000 4194304 16246674 140735435342096 140735435341408 13950986 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 325265 48784 843 2943 0 322159 0
[pid=23988/tid=23989] ppid=23985 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1332285440 48784 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1332285440 48784 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1332285440 48784 33554432000 4194304 16246674 140735435342096 139800665377968 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.300442 s]
/proc/loadavg: 2.16 2.12 2.09 4/179 23988
/proc/meminfo: memFree=29633088/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 50155 0 0 0 22 7 0 0 20 0 4 0 29549971 1332285440 50454 33554432000 4194304 16246674 140735435342096 140735435341408 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 325265 50458 883 2943 0 322159 0
[pid=23988/tid=23989] ppid=23985 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1332285440 50461 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1332285440 50464 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1332285440 50467 33554432000 4194304 16246674 140735435342096 139800665377968 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.700363 s]
/proc/loadavg: 2.16 2.12 2.09 4/179 23988
/proc/meminfo: memFree=29633088/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 98357 0 0 0 55 14 0 0 20 0 4 0 29549971 1332285440 98655 33554432000 4194304 16246674 140735435342096 140735435341408 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 325265 98663 883 2943 0 322159 0
[pid=23988/tid=23989] ppid=23985 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1332285440 98667 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1332285440 98672 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1332285440 98674 33554432000 4194304 16246674 140735435342096 139800665377968 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.50041 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 23992
/proc/meminfo: memFree=29045464/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 196315 0 0 0 121 28 0 0 20 0 4 0 29549971 1332285440 196613 33554432000 4194304 16246674 140735435342096 140735435323968 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 325265 196629 883 2943 0 322159 0
[pid=23988/tid=23989] ppid=23985 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1332285440 196632 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1332285440 196635 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1332285440 196637 33554432000 4194304 16246674 140735435342096 139800665377968 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.10042 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 23992
/proc/meminfo: memFree=28678300/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 256332 0 0 0 272 37 0 0 20 0 4 0 29549971 1343819776 256630 33554432000 4194304 16246674 140735435342096 140735435323968 12478957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 328081 256635 889 2943 0 324975 0
[pid=23988/tid=23989] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 256638 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 256641 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 256644 33554432000 4194304 16246674 140735435342096 139800665377968 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) 1312324

[startup+6.30042 s]
/proc/loadavg: 2.15 2.12 2.09 3/183 23992
/proc/meminfo: memFree=28555628/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 269270 0 0 0 590 39 0 0 20 0 4 0 29549971 1343819776 269568 33554432000 4194304 16246674 140735435342096 140735435323968 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 328081 269568 889 2943 0 324975 0
[pid=23988/tid=23989] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 269568 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 269568 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 269568 33554432000 4194304 16246674 140735435342096 139800665377968 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) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 23992
/proc/meminfo: memFree=28555552/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 269272 0 0 0 1230 39 0 0 20 0 4 0 29549971 1343819776 269570 33554432000 4194304 16246674 140735435342096 140735435323968 13759557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 328081 269570 891 2943 0 324975 0
[pid=23988/tid=23989] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 269570 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 269570 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 269570 33554432000 4194304 16246674 140735435342096 139800665377968 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) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 23992
/proc/meminfo: memFree=28556028/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 269273 0 0 0 2510 39 0 0 20 0 4 0 29549971 1343819776 269571 33554432000 4194304 16246674 140735435342096 140735435323968 5545755 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 328081 269571 891 2943 0 324975 0
[pid=23988/tid=23989] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 269571 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 269571 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 269571 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 23992
/proc/meminfo: memFree=28553796/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 269275 0 0 0 5069 39 0 0 20 0 4 0 29549971 1343819776 269573 33554432000 4194304 16246674 140735435342096 140735435323968 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 328081 269573 893 2943 0 324975 0
[pid=23988/tid=23989] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 269573 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 269573 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1343819776 269573 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.22 2.14 2.10 3/184 23997
/proc/meminfo: memFree=28544356/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1321540 CPUtime=102.29 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 271469 0 0 0 10189 40 0 0 20 0 4 0 29549971 1353256960 271767 33554432000 4194304 16246674 140735435342096 140735435323968 5722608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 330385 271767 893 2943 0 327279 0
[pid=23988/tid=23989] ppid=23985 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1353256960 271767 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1353256960 271767 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1353256960 271767 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1321540


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

/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.27 2.19 2.17 4/183 24029
/proc/meminfo: memFree=28509760/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1329732 CPUtime=1362.02 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 273743 0 0 0 136152 50 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 140735435323968 5553704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 332433 273928 893 2943 0 329327 0
[pid=23988/tid=23989] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1329732

[startup+1422.3 s]
/proc/loadavg: 2.15 2.17 2.16 3/183 24030
/proc/meminfo: memFree=28508804/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1329732 CPUtime=1421.99 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 273789 0 0 0 142149 50 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 140735435325096 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 332433 273928 893 2943 0 329327 0
[pid=23988/tid=23989] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1329732

[startup+1482.3 s]
/proc/loadavg: 2.16 2.17 2.16 4/183 24031
/proc/meminfo: memFree=28508844/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1329732 CPUtime=1481.94 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 273834 0 0 0 148143 51 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 140735435323968 6011952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 332433 273928 893 2943 0 329327 0
[pid=23988/tid=23989] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1329732

[startup+1542.31 s]
/proc/loadavg: 2.16 2.17 2.16 3/183 24032
/proc/meminfo: memFree=28508760/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1329732 CPUtime=1541.91 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 273880 0 0 0 154140 51 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 140735435323968 5712656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 332433 273928 893 2943 0 329327 0
[pid=23988/tid=23989] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1329732

[startup+1602.3 s]
/proc/loadavg: 2.11 2.15 2.15 3/183 24034
/proc/meminfo: memFree=28508296/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1329732 CPUtime=1601.87 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 273925 0 0 0 160135 52 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 140735435323968 5722656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 332433 273928 893 2943 0 329327 0
[pid=23988/tid=23989] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1329732

[startup+1662.3 s]
/proc/loadavg: 2.17 2.16 2.16 3/183 24035
/proc/meminfo: memFree=28508636/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1329732 CPUtime=1661.83 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 273970 0 0 0 166131 52 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 140735435323968 12478547 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 332433 273928 893 2943 0 329327 0
[pid=23988/tid=23989] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800665377968 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) 1329732

[startup+1722.3 s]
/proc/loadavg: 2.25 2.19 2.17 3/183 24036
/proc/meminfo: memFree=28508532/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1329732 CPUtime=1721.82 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 273973 0 0 0 172130 52 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 140735435323968 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 332433 273928 893 2943 0 329327 0
[pid=23988/tid=23989] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1329732

[startup+1782.3 s]
/proc/loadavg: 2.31 2.21 2.18 3/183 24086
/proc/meminfo: memFree=28538868/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1329732 CPUtime=1781.82 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 273973 0 0 0 178129 53 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 140735435323968 5545872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 332433 273928 893 2943 0 329327 0
[pid=23988/tid=23989] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1329732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.24 2.20 2.18 4/183 24086
/proc/meminfo: memFree=28538748/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1329732 CPUtime=1800.02 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 273973 0 0 0 179949 53 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 140735435323968 13874572 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 332433 273928 893 2943 0 329327 0
[pid=23988/tid=23989] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1329732

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

[startup+1800.5 s]
/proc/loadavg: 2.24 2.20 2.18 4/183 24086
/proc/meminfo: memFree=28538748/32872528 swapFree=1085692/1157232
[pid=23988] ppid=23985 vsize=1329732 CPUtime=1800.02 cores=1,3,5,7
/proc/23988/stat : 23988 (toysat) R 23985 23988 21062 0 -1 4202496 273973 0 0 0 179949 53 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 140735435323968 13874572 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23988/statm: 332433 273928 893 2943 0 329327 0
[pid=23988/tid=23989] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23989/stat : 23989 (toysat) S 23985 23988 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800686341360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23988/tid=23990] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23990/stat : 23990 (toysat) S 23985 23988 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800675851504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23988/tid=23991] ppid=23985 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/23988/task/23991/stat : 23991 (toysat) S 23985 23988 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29549971 1361645568 273928 33554432000 4194304 16246674 140735435342096 139800665377968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1329732

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.5
CPU system time (s): 0.530919
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1329732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.530919
maximum resident set size= 1095712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273973
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= 364
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82727 second user time and 6.69498 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 20:18:23
IDJOB=4117269
IDBENCH=109574
IDSOLVER=2542
FILE ID=node114/4117269-1466965103
RUNJOBID= node114-1466944456-21079
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-0.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117269-1466965103/watcher-4117269-1466965103 -o /tmp/evaluation-result-4117269-1466965103/solver-4117269-1466965103 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466944456-21079 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117269-1466965103.opb

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

MD5SUM BENCH= 1be3474b392293aca463ff329e8b6f75
RANDOM SEED=25632547

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29633348 kB
Buffers:           37948 kB
Cached:           222856 kB
SwapCached:        38928 kB
Active:          1145616 kB
Inactive:         233708 kB
Active(anon):    1082988 kB
Inactive(anon):    37760 kB
Active(file):      62628 kB
Inactive(file):   195948 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16692 kB
Writeback:            20 kB
AnonPages:       2237776 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             567520 kB
SReclaimable:      11496 kB
SUnreclaim:       556024 kB
KernelStack:        1408 kB
PageTables:         8500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2380276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 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= 71624 MiB
End job on node114 at 2016-06-26 20:48:24