Trace number 4116165

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-size144-round23-5.opb
MD5SUMbf04809290bbe30132128e0647cb7eac
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-27T00:40:39+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-4116165-1466980838.opb"]
0.00/0.01	c use --random-gen="1592561659 233117426 3491823974 2601423082 3121394110 190924257 1141982715 897866553 4022325639 3547546279 1729232626 1006282104 2802250112 4085057849 1289143865 4114173185 1339259505 2939704332 2926293368 1636161489 3776997426 408230243 1946463337 4238856254 758718182 244455692 691417679 4061941688 2364052006 98815174 1319580210 111483230 3193523189 3529229960 2184128114 2851316235 3810592645 255014969 1673225865 1552828159 1625211376 1438269078 330123537 2816989014 753024138 3196300731 1243629670 1384755843 1726766475 2398923931 2549963663 4131689325 6486 1388761717 113310045 3497146290 2761436869 545575492 2915475541 3372195593 297837119 3699272039 2128462364 1420793200 3946866722 2052325350 445762534 2401015827 1071437267 538026077 340987299 397632286 1857881582 140205748 922298344 2072098185 1882142744 2710474974 3475264487 3983440708 199996533 613983077 3062621253 1713864576 411036875 2920004220 2414271197 1616843616 1813032840 1046738054 3692305387 2105835133 210775261 340440097 1274937210 2564576241 2653470361 3884534280 1213694326 2545572055 4195871930 3599682085 3490730660 539289293 1108300586 3941027804 2286042650 3416626036 4255192013 2441023852 1856993839 2108399396 3858383064 2415872816 218590128 3453039240 2196130742 2065073280 785204227 43592078 205519882 2810335880 3769109056 169402045 1282038835 4156692155 3943669847 346324811 1145213749 2490916908 1410851985 558734033 1522330997 2881561739 1435292725 1625731198 2783123543 2308409497 885997531 3049221149 2633340211 2589424236 3314881145 3778673083 3202067340 3455127294 4112900366 2642759106 1797930475 1683726815 2826283235 2490551572 1024234391 3716846730 3914610349 3622168468 3660321407 2031475445 1825309420 933294934 1750535469 3926224401 4194563846 3397997968 297889549 703261330 4073333490 1510168157 2942254787 144079588 3216975008 3882996180 4116510720 2910782617 3393634541 2338115027 974517288 3106253078 991117825 249033151 4069503895 1510500672 1671508469 1449635027 2666976181 3808313664 4141019251 41095703 3265011717 2639821134 3704735558 3106442988 3520672149 2975302680 3706175699 3292065805 2475074194 2401881484 1771840146 3995957662 1493781703 1113650213 2349909962 2885795744 785682339 4187207013 1880137932 270949656 3815820750 1295875559 1724400303 3249547702 1458579680 3117256544 638034186 2886476485 1564587138 2473024884 3344849611 4212907739 1389916541 511988293 4173326129 2388356141 335881118 481527764 692279226 1209542064 4050472326 3790562176 2592658784 2159753538 1499090505 279149799 2461779630 621272894 3629871931 1548770721 3888101261 1652892789 3652500782 2677616638 3274726948 1966540593 3004121510 1843130029 1930781175 3928935095 1413612455 811798303 3493503387 1809197306 3374106495 2812842343 388951625 2730896298 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9520
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      823 |        0
0.29/0.35	c  0.1s |       1 |      813 |      100 |     4565      0 |      823 |      810
0.39/0.45	c  0.2s |       2 |     2292 |      250 |     5022      0 |      824 |      810
0.49/0.57	c  0.3s |       3 |     3801 |      475 |     5525      0 |      824 |      810
0.79/0.85	c  0.6s |       4 |     5554 |      813 |     6078      0 |      824 |      810
1.10/1.20	c  0.9s |       5 |    10184 |     1320 |     6686      0 |      824 |      810
1.69/1.73	c  1.5s |       6 |    17062 |     2081 |     8091      0 |      825 |      810
2.39/2.42	c  2.1s |       7 |    23294 |     3223 |     8901      0 |      825 |      810
3.99/4.02	c  3.7s |       8 |    25988 |     4936 |     9792      0 |      825 |      810
5.99/6.03	c  5.8s |       8 |    33852 |     7136 |     9792      0 |      825 |      810
6.29/6.38	c  6.1s |       9 |    34347 |     7506 |    10772      0 |      825 |      810
8.38/8.44	c  8.2s |       9 |    44244 |    10006 |    10772      0 |      825 |      810
10.18/10.26	c 10.0s |      10 |    45844 |    11361 |    11850      0 |      825 |      810
12.28/12.34	c 12.1s |      10 |    49751 |    13161 |    11850      0 |      825 |      810
14.39/14.48	c 14.2s |      10 |    51198 |    14561 |    11850      0 |      825 |      810
16.49/16.56	c 16.3s |      10 |    52734 |    15761 |    11850      1 |      825 |      810
18.28/18.37	c 18.1s |      11 |    56069 |    17144 |    13036      1 |      825 |      810
20.38/20.45	c 20.2s |      11 |    69392 |    19944 |    13036      1 |      825 |      810
22.48/22.50	c 22.2s |      11 |    71658 |    21444 |    13036      1 |      825 |      810
24.47/24.58	c 24.3s |      11 |    73588 |    22744 |    13036      1 |      825 |      810
26.67/26.78	c 26.5s |      11 |    76020 |    24144 |    13036      2 |      825 |      810
28.87/28.93	c 28.7s |      11 |    77668 |    25344 |    13036      2 |      825 |      810
29.78/29.88	c 29.6s |      12 |    78253 |    25819 |    14340      2 |      825 |      810
31.88/31.98	c 31.7s |      12 |    84729 |    28019 |    14340      2 |      825 |      810
33.97/34.10	c 33.8s |      12 |    87043 |    29619 |    14340      2 |      825 |      810
36.07/36.15	c 35.9s |      12 |    94334 |    31619 |    14340      2 |      825 |      810
38.07/38.15	c 37.9s |      12 |   103680 |    33719 |    14340      3 |      825 |      810
40.27/40.33	c 40.1s |      12 |   106828 |    35319 |    14340      3 |      825 |      810
42.37/42.40	c 42.1s |      12 |   108297 |    36419 |    14340      3 |      825 |      810
44.67/44.72	c 44.4s |      12 |   109531 |    37419 |    14340      3 |      825 |      810
46.77/46.85	c 46.6s |      12 |   110471 |    38219 |    14340      3 |      825 |      810
48.67/48.75	c 48.5s |      13 |   111143 |    38832 |    15775      3 |      825 |      810
50.67/50.79	c 50.5s |      13 |   117003 |    40632 |    15775      3 |      825 |      810
52.66/52.80	c 52.5s |      13 |   119950 |    42332 |    15775      3 |      825 |      810
54.76/54.86	c 54.6s |      13 |   123495 |    43832 |    15775      4 |      825 |      810
56.86/56.97	c 56.7s |      13 |   127517 |    45732 |    15775      4 |      825 |      810
58.96/59.00	c 58.7s |      13 |   129383 |    47132 |    15775      4 |      825 |      810
60.96/61.04	c 60.8s |      13 |   130664 |    48232 |    15775      4 |      825 |      810
62.96/63.08	c 62.8s |      13 |   131964 |    49332 |    15775      4 |      825 |      810
65.16/65.28	c 65.0s |      13 |   133091 |    50332 |    15775      4 |      825 |      810
67.36/67.48	c 67.2s |      13 |   134181 |    51332 |    15775      4 |      825 |      810
69.46/69.60	c 69.3s |      13 |   135194 |    52232 |    15775      4 |      825 |      810
72.05/72.10	c 71.8s |      13 |   136104 |    53032 |    15775      5 |      825 |      810
74.25/74.35	c 74.1s |      13 |   137129 |    53932 |    15775      5 |      825 |      810
76.45/76.51	c 76.2s |      13 |   138609 |    55032 |    15775      5 |      825 |      810
78.65/78.71	c 78.4s |      13 |   139933 |    56132 |    15775      5 |      825 |      810
80.85/80.91	c 80.6s |      13 |   141170 |    57132 |    15775      5 |      825 |      810
82.85/82.93	c 82.7s |      13 |   142306 |    58032 |    17353      5 |      825 |      810
83.66/83.72	c 83.4s |      14 |   142677 |    58352 |    17353      5 |      825 |      810
85.76/85.80	c 85.5s |      14 |   151674 |    60752 |    17353      5 |      825 |      810
87.75/87.83	c 87.6s |      14 |   153528 |    62152 |    17353      5 |      825 |      810
89.75/89.89	c 89.6s |      14 |   155096 |    63352 |    17353      5 |      825 |      810
91.96/92.03	c 91.8s |      14 |   156347 |    64352 |    17353      6 |      825 |      810
93.95/94.09	c 93.8s |      14 |   157807 |    65452 |    17353      6 |      825 |      810
96.15/96.25	c 96.0s |      14 |   159686 |    66752 |    17353      6 |      825 |      810
98.25/98.37	c 98.1s |      14 |   160909 |    67752 |    17353      6 |      825 |      810
100.45/100.54	c  100s |      14 |   162242 |    68752 |    17353      6 |      825 |      810
102.55/102.64	c  102s |      14 |   163182 |    69552 |    17353      6 |      825 |      810
104.65/104.79	c  104s |      14 |   164421 |    70552 |    17353      6 |      825 |      810
106.95/107.00	c  106s |      14 |   165701 |    71552 |    17353      6 |      825 |      810
109.15/109.23	c  108s |      14 |   166801 |    72452 |    17353      6 |      825 |      810
111.45/111.58	c  111s |      14 |   167732 |    73252 |    17353      6 |      825 |      810
113.54/113.66	c  113s |      14 |   168715 |    74052 |    17353      6 |      825 |      810
115.74/115.81	c  115s |      14 |   169398 |    74652 |    17353      7 |      825 |      810
117.84/117.95	c  117s |      14 |   170468 |    75552 |    17353      7 |      825 |      810
119.85/120.00	c  119s |      14 |   171627 |    76452 |    17353      7 |      825 |      810
122.15/122.25	c  121s |      14 |   172884 |    77452 |    17353      7 |      825 |      810
124.44/124.51	c  124s |      14 |   173846 |    78252 |    17353      7 |      825 |      810
126.64/126.76	c  126s |      14 |   174801 |    79052 |    17353      7 |      825 |      810
128.74/128.84	c  128s |      14 |   175591 |    79752 |    17353      7 |      825 |      810
130.84/130.99	c  130s |      14 |   176381 |    80452 |    17353      7 |      825 |      810
133.04/133.19	c  132s |      14 |   177358 |    81252 |    17353      7 |      825 |      810
135.34/135.47	c  135s |      14 |   178328 |    82052 |    17353      7 |      825 |      810
137.44/137.55	c  137s |      14 |   178985 |    82652 |    17353      7 |      825 |      810
139.53/139.66	c  139s |      14 |   179804 |    83352 |    17353      7 |      825 |      810
141.63/141.79	c  141s |      14 |   180571 |    84052 |    17353      7 |      825 |      810
144.33/144.43	c  144s |      14 |   181367 |    84752 |    17353      8 |      825 |      810
146.34/146.49	c  146s |      14 |   182151 |    85452 |    17353      8 |      825 |      810
148.44/148.58	c  148s |      14 |   182949 |    86152 |    17353      8 |      825 |      810
150.83/150.93	c  150s |      14 |   184012 |    87052 |    19089      8 |      825 |      810
152.23/152.33	c  152s |      15 |   184694 |    87632 |    19089      8 |      825 |      810
154.32/154.43	c  154s |      15 |   193488 |    90032 |    19089      8 |      825 |      810
156.32/156.44	c  156s |      15 |   203966 |    92832 |    19089      8 |      825 |      810
158.33/158.46	c  158s |      15 |   211536 |    95132 |    19089      8 |      825 |      810
160.52/160.61	c  160s |      15 |   213455 |    96532 |    19089      8 |      825 |      810
162.52/162.64	c  162s |      15 |   214491 |    97332 |    19089      9 |      825 |      810
164.62/164.70	c  164s |      15 |   215942 |    98432 |    19089      9 |      825 |      810
166.62/166.79	c  166s |      15 |   217057 |    99332 |    19089      9 |      825 |      810
168.62/168.79	c  168s |      15 |   218200 |   100232 |    19089      9 |      825 |      810
170.81/170.94	c  170s |      15 |   219102 |   101032 |    19089      9 |      825 |      810
173.01/173.17	c  172s |      15 |   220194 |   101932 |    19089      9 |      825 |      810
175.11/175.21	c  174s |      15 |   221381 |   102832 |    19089      9 |      825 |      810
177.12/177.27	c  176s |      15 |   222480 |   103732 |    19089      9 |      825 |      810
179.32/179.49	c  179s |      15 |   223425 |   104532 |    19089      9 |      825 |      810
181.42/181.54	c  181s |      15 |   224403 |   105332 |    19089      9 |      825 |      810
183.42/183.56	c  183s |      15 |   225235 |   106032 |    19089      9 |      825 |      810
185.52/185.67	c  185s |      15 |   226041 |   106732 |    19089      9 |      825 |      810
187.72/187.86	c  187s |      15 |   226839 |   107432 |    19089      9 |      825 |      810
189.82/189.90	c  189s |      15 |   227519 |   108032 |    19089      9 |      825 |      810
191.91/192.05	c  191s |      15 |   228258 |   108632 |    19089     10 |      825 |      810
193.91/194.07	c  193s |      15 |   228929 |   109232 |    19089     10 |      825 |      810
196.21/196.37	c  196s |      15 |   229737 |   109932 |    19089     10 |      825 |      810
198.41/198.59	c  198s |      15 |   230423 |   110532 |    19089     10 |      825 |      810
200.51/200.63	c  200s |      15 |   231168 |   111132 |    19089     10 |      825 |      810
202.81/202.93	c  202s |      15 |   231996 |   111832 |    19089     10 |      825 |      810
204.91/205.03	c  204s |      15 |   232662 |   112432 |    19089     10 |      825 |      810
207.11/207.27	c  206s |      15 |   233456 |   113132 |    19089     10 |      825 |      810
209.41/209.53	c  209s |      15 |   234251 |   113832 |    19089     10 |      825 |      810
211.61/211.78	c  211s |      15 |   235084 |   114532 |    19089     10 |      825 |      810
213.71/213.86	c  213s |      15 |   235639 |   115032 |    19089     10 |      825 |      810
216.01/216.13	c  215s |      15 |   236313 |   115632 |    19089     10 |      825 |      810
218.00/218.14	c  217s |      15 |   236862 |   116132 |    19089     10 |      825 |      810
220.30/220.41	c  220s |      15 |   237507 |   116732 |    19089     10 |      825 |      810
222.40/222.57	c  222s |      15 |   238199 |   117332 |    19089     10 |      825 |      810
224.70/224.83	c  224s |      15 |   238853 |   117932 |    19089     10 |      825 |      810
227.00/227.13	c  226s |      15 |   239532 |   118532 |    19089     10 |      825 |      810
229.00/229.14	c  228s |      15 |   240103 |   119032 |    19089     10 |      825 |      810
231.01/231.19	c  230s |      15 |   240428 |   119332 |    19089     11 |      825 |      810
233.11/233.24	c  232s |      15 |   240973 |   119832 |    19089     11 |      825 |      810
235.31/235.42	c  235s |      15 |   241784 |   120532 |    19089     11 |      825 |      810
237.40/237.52	c  237s |      15 |   242623 |   121232 |    19089     11 |      825 |      810
239.40/239.56	c  239s |      15 |   243324 |   121832 |    19089     11 |      825 |      810
241.60/241.79	c  241s |      15 |   244100 |   122532 |    19089     11 |      825 |      810
243.70/243.83	c  243s |      15 |   244742 |   123132 |    19089     11 |      825 |      810
245.90/246.01	c  245s |      15 |   245408 |   123732 |    19089     11 |      825 |      810
248.00/248.11	c  247s |      15 |   246106 |   124332 |    19089     11 |      825 |      810
250.09/250.25	c  249s |      15 |   246774 |   124932 |    19089     11 |      825 |      810
252.29/252.48	c  252s |      15 |   247442 |   125532 |    19089     11 |      825 |      810
254.49/254.66	c  254s |      15 |   248084 |   126132 |    19089     11 |      825 |      810
256.89/257.08	c  256s |      15 |   248764 |   126732 |    19089     11 |      825 |      810
258.99/259.10	c  258s |      15 |   249350 |   127232 |    19089     11 |      825 |      810
261.39/261.51	c  261s |      15 |   250014 |   127832 |    19089     11 |      825 |      810
263.49/263.62	c  263s |      15 |   250555 |   128332 |    19089     11 |      825 |      810
265.69/265.89	c  265s |      15 |   251248 |   128932 |    19089     11 |      825 |      810
267.99/268.16	c  267s |      15 |   251800 |   129432 |    19089     11 |      825 |      810
270.18/270.31	c  270s |      15 |   253354 |   130332 |    19089     11 |      825 |      810
272.18/272.33	c  272s |      15 |   254382 |   131132 |    20998     12 |      825 |      810
272.98/273.15	c  272s |      16 |   254885 |   131552 |    20998     12 |      825 |      810
275.08/275.28	c  275s |      16 |   258310 |   133052 |    20998     12 |      825 |      810
277.19/277.38	c  277s |      16 |   259524 |   134252 |    20998     12 |      825 |      810
279.29/279.44	c  279s |      16 |   261101 |   135652 |    20998     12 |      825 |      810
281.28/281.45	c  281s |      16 |   264170 |   137452 |    20998     12 |      825 |      810
283.28/283.47	c  283s |      16 |   266195 |   138952 |    20998     12 |      825 |      810
285.48/285.63	c  285s |      16 |   267789 |   140252 |    20998     12 |      825 |      810
287.57/287.75	c  287s |      16 |   269076 |   141352 |    20998     12 |      825 |      810
289.77/289.94	c  289s |      16 |   270376 |   142452 |    20998     12 |      825 |      810
292.17/292.36	c  292s |      16 |   271584 |   143452 |    20998     13 |      825 |      810
294.17/294.36	c  294s |      16 |   272822 |   144452 |    20998     13 |      825 |      810
296.17/296.38	c  296s |      16 |   274042 |   145452 |    20998     13 |      825 |      810
298.17/298.39	c  298s |      16 |   275345 |   146452 |    20998     13 |      825 |      810
300.47/300.62	c  300s |      16 |   276532 |   147452 |    20998     13 |      825 |      810
302.48/302.68	c  302s |      16 |   278037 |   148552 |    20998     13 |      825 |      810
304.58/304.71	c  304s |      16 |   280364 |   150152 |    20998     13 |      825 |      810
306.67/306.89	c  306s |      16 |   282953 |   151652 |    20998     13 |      825 |      810
308.87/309.06	c  308s |      16 |   283978 |   152552 |    20998     13 |      825 |      810
310.87/311.07	c  310s |      16 |   285213 |   153552 |    20998     13 |      825 |      810
312.97/313.10	c  312s |      16 |   286333 |   154552 |    20998     13 |      825 |      810
315.37/315.58	c  315s |      16 |   287303 |   155452 |    20998     14 |      825 |      810
317.56/317.76	c  317s |      16 |   288413 |   156452 |    20998     14 |      825 |      810
319.66/319.82	c  319s |      16 |   290632 |   157752 |    20998     14 |      825 |      810
321.66/321.87	c  321s |      16 |   292130 |   159052 |    20998     14 |      825 |      810
323.76/323.90	c  323s |      16 |   293555 |   160252 |    20998     14 |      825 |      810
325.86/326.03	c  325s |      16 |   294945 |   161552 |    20998     14 |      825 |      810
327.96/328.18	c  327s |      16 |   296163 |   162552 |    20998     14 |      825 |      810
329.97/330.18	c  329s |      16 |   297069 |   163352 |    20998     14 |      825 |      810
332.26/332.40	c  332s |      16 |   298488 |   164352 |    20998     14 |      825 |      810
334.27/334.50	c  334s |      16 |   299592 |   165252 |    20998     14 |      825 |      810
336.47/336.68	c  336s |      16 |   300775 |   166152 |    20998     14 |      825 |      810
338.56/338.78	c  338s |      16 |   301797 |   166952 |    20998     14 |      825 |      810
340.76/340.97	c  340s |      16 |   302715 |   167752 |    20998     15 |      825 |      810
342.96/343.17	c  342s |      16 |   303739 |   168652 |    20998     15 |      825 |      810
345.06/345.26	c  344s |      16 |   304640 |   169452 |    20998     15 |      825 |      810
347.16/347.32	c  347s |      16 |   306154 |   170352 |    20998     15 |      825 |      810
349.16/349.39	c  349s |      16 |   313220 |   172352 |    20998     15 |      825 |      810
351.26/351.42	c  351s |      16 |   316530 |   173852 |    20998     15 |      825 |      810
353.26/353.48	c  353s |      16 |   319841 |   175252 |    20998     15 |      825 |      810
355.36/355.54	c  355s |      16 |   321584 |   176452 |    20998     15 |      825 |      810
357.56/357.75	c  357s |      16 |   322944 |   177552 |    20998     15 |      825 |      810
359.66/359.81	c  359s |      16 |   324038 |   178452 |    20998     15 |      825 |      810
361.95/362.11	c  361s |      16 |   325087 |   179352 |    20998     15 |      825 |      810
364.06/364.24	c  363s |      16 |   325933 |   180052 |    20998     16 |      825 |      810
366.05/366.27	c  365s |      16 |   327015 |   180952 |    20998     16 |      825 |      810
368.15/368.38	c  368s |      16 |   328111 |   181852 |    20998     16 |      825 |      810
370.45/370.65	c  370s |      16 |   329066 |   182652 |    20998     16 |      825 |      810
372.65/372.84	c  372s |      16 |   330043 |   183452 |    20998     16 |      825 |      810
374.65/374.85	c  374s |      16 |   331478 |   184452 |    20998     16 |      825 |      810
376.85/377.03	c  376s |      16 |   332862 |   185552 |    20998     16 |      825 |      810
378.95/379.14	c  378s |      16 |   334089 |   186552 |    20998     16 |      825 |      810
380.94/381.16	c  380s |      16 |   335170 |   187452 |    20998     16 |      825 |      810
383.04/383.20	c  382s |      16 |   336103 |   188252 |    20998     16 |      825 |      810
385.24/385.47	c  385s |      16 |   337195 |   189152 |    20998     16 |      825 |      810
387.34/387.56	c  387s |      16 |   338129 |   189952 |    20998     16 |      825 |      810
389.54/389.72	c  389s |      16 |   339045 |   190752 |    20998     16 |      825 |      810
391.64/391.82	c  391s |      16 |   339960 |   191552 |    20998     16 |      825 |      810
393.65/393.90	c  393s |      16 |   340850 |   192252 |    20998     17 |      825 |      810
395.85/396.02	c  395s |      16 |   341910 |   193152 |    20998     17 |      825 |      810
397.94/398.17	c  397s |      16 |   342976 |   194052 |    20998     17 |      825 |      810
400.13/400.30	c  400s |      16 |   343768 |   194752 |    20998     17 |      825 |      810
402.33/402.51	c  402s |      16 |   344696 |   195552 |    20998     17 |      825 |      810
404.43/404.67	c  404s |      16 |   345452 |   196252 |    23098     17 |      825 |      810
406.73/406.96	c  406s |      16 |   346223 |   196952 |    23098     17 |      825 |      810
408.13/408.31	c  408s |      17 |   346790 |   197432 |    23098     17 |      825 |      810
410.14/410.35	c  410s |      17 |   358890 |   199832 |    23098     17 |      825 |      810
412.34/412.55	c  412s |      17 |   363676 |   201832 |    23098     17 |      825 |      810
414.43/414.61	c  414s |      17 |   365195 |   202932 |    23098     17 |      825 |      810
416.43/416.68	c  416s |      17 |   366870 |   204132 |    23098     17 |      825 |      810
418.53/418.72	c  418s |      17 |   368409 |   205232 |    23098     17 |      825 |      810
420.53/420.77	c  420s |      17 |   374437 |   206832 |    23098     18 |      825 |      810
422.63/422.86	c  422s |      17 |   376660 |   208332 |    23098     18 |      825 |      810
424.63/424.87	c  424s |      17 |   380055 |   210032 |    23098     18 |      825 |      810
426.74/426.95	c  426s |      17 |   381944 |   211432 |    23098     18 |      825 |      810
428.73/428.99	c  428s |      17 |   385273 |   212932 |    23098     18 |      825 |      810
430.72/430.99	c  430s |      17 |   387292 |   214632 |    23098     18 |      825 |      810
432.82/433.07	c  432s |      17 |   390498 |   216532 |    23098     18 |      825 |      810
434.92/435.16	c  434s |      17 |   394466 |   218232 |    23098     18 |      825 |      810
436.92/437.17	c  436s |      17 |   396290 |   219232 |    23098     19 |      825 |      810
439.02/439.25	c  438s |      17 |   397812 |   220332 |    23098     19 |      825 |      810
441.21/441.41	c  441s |      17 |   399553 |   221632 |    23098     19 |      825 |      810
443.22/443.48	c  443s |      17 |   400920 |   222632 |    23098     19 |      825 |      810
445.42/445.65	c  445s |      17 |   401870 |   223432 |    23098     19 |      825 |      810
447.71/447.95	c  447s |      17 |   403018 |   224332 |    23098     19 |      825 |      810
449.72/449.95	c  449s |      17 |   403976 |   225132 |    23098     19 |      825 |      810
451.71/451.98	c  451s |      17 |   404801 |   225832 |    23098     19 |      825 |      810
453.81/454.05	c  453s |      17 |   405702 |   226532 |    23098     19 |      825 |      810
456.01/456.26	c  455s |      17 |   406708 |   227332 |    23098     19 |      825 |      810
458.11/458.38	c  458s |      17 |   407689 |   228132 |    23098     19 |      825 |      810
460.21/460.45	c  460s |      17 |   408589 |   228832 |    23098     19 |      825 |      810
462.32/462.55	c  462s |      17 |   409576 |   229632 |    23098     19 |      825 |      810
464.52/464.71	c  464s |      17 |   410389 |   230332 |    23098     19 |      825 |      810
466.71/466.95	c  466s |      17 |   411278 |   231032 |    23098     19 |      825 |      810
468.81/469.04	c  468s |      17 |   411982 |   231632 |    23098     19 |      825 |      810
471.11/471.31	c  471s |      17 |   412677 |   232232 |    23098     19 |      825 |      810
473.11/473.39	c  473s |      17 |   413336 |   232732 |    23098     20 |      825 |      810
475.21/475.46	c  475s |      17 |   414112 |   233332 |    23098     20 |      825 |      810
477.41/477.70	c  477s |      17 |   414993 |   234032 |    23098     20 |      825 |      810
479.71/479.97	c  479s |      17 |   416128 |   234932 |    23098     20 |      825 |      810
482.00/482.23	c  481s |      17 |   417101 |   235732 |    23098     20 |      825 |      810
484.10/484.39	c  484s |      17 |   417938 |   236432 |    23098     20 |      825 |      810
486.40/486.60	c  486s |      17 |   418740 |   237132 |    23098     20 |      825 |      810
488.40/488.62	c  488s |      17 |   419453 |   237732 |    23098     20 |      825 |      810
490.69/490.97	c  490s |      17 |   420461 |   238532 |    23098     20 |      825 |      810
492.79/493.07	c  492s |      17 |   421160 |   239132 |    23098     20 |      825 |      810
494.99/495.21	c  494s |      17 |   421854 |   239732 |    23098     20 |      825 |      810
497.00/497.26	c  496s |      17 |   422580 |   240332 |    23098     20 |      825 |      810
499.20/499.41	c  499s |      17 |   423190 |   240832 |    23098     20 |      825 |      810
501.19/501.43	c  501s |      17 |   423783 |   241332 |    23098     20 |      825 |      810
503.29/503.57	c  503s |      17 |   424476 |   241932 |    23098     20 |      825 |      810
505.49/505.79	c  505s |      17 |   425169 |   242532 |    23098     20 |      825 |      810
508.09/508.32	c  508s |      17 |   425733 |   243032 |    23098     20 |      825 |      810
510.19/510.43	c  510s |      17 |   427750 |   244032 |    23098     20 |      825 |      810
512.39/512.61	c  512s |      17 |   429389 |   245032 |    23098     20 |      825 |      810
514.38/514.64	c  514s |      17 |   430169 |   245632 |    23098     21 |      825 |      810
516.48/516.71	c  516s |      17 |   431347 |   246532 |    23098     21 |      825 |      810
518.48/518.79	c  518s |      17 |   432370 |   247332 |    23098     21 |      825 |      810
520.87/521.10	c  520s |      17 |   433380 |   248132 |    23098     21 |      825 |      810
523.07/523.30	c  523s |      17 |   434419 |   248932 |    23098     21 |      825 |      810
525.27/525.58	c  525s |      17 |   435361 |   249732 |    23098     21 |      825 |      810
527.57/527.85	c  527s |      17 |   436288 |   250532 |    23098     21 |      825 |      810
529.57/529.85	c  529s |      17 |   436988 |   251132 |    23098     21 |      825 |      810
531.57/531.87	c  531s |      17 |   437838 |   251832 |    23098     21 |      825 |      810
533.77/534.07	c  533s |      17 |   438798 |   252632 |    23098     21 |      825 |      810
535.87/536.16	c  535s |      17 |   439915 |   253432 |    23098     21 |      825 |      810
538.07/538.35	c  538s |      17 |   441202 |   254332 |    23098     21 |      825 |      810
540.16/540.45	c  540s |      17 |   442086 |   255032 |    23098     21 |      825 |      810
542.17/542.47	c  542s |      17 |   442987 |   255732 |    23098     21 |      825 |      810
544.46/544.74	c  544s |      17 |   443979 |   256532 |    23098     21 |      825 |      810
546.47/546.74	c  546s |      17 |   444707 |   257132 |    23098     21 |      825 |      810
548.46/548.77	c  548s |      17 |   445626 |   257832 |    23098     21 |      825 |      810
550.45/550.78	c  550s |      17 |   446545 |   258532 |    23098     21 |      825 |      810
552.65/552.98	c  552s |      17 |   447500 |   259232 |    23098     22 |      825 |      810
554.75/555.04	c  554s |      17 |   448587 |   260132 |    23098     22 |      825 |      810
556.95/557.25	c  556s |      17 |   449513 |   260932 |    23098     22 |      825 |      810
559.26/559.55	c  559s |      17 |   450705 |   261832 |    23098     22 |      825 |      810
561.35/561.62	c  561s |      17 |   451719 |   262632 |    23098     22 |      825 |      810
563.55/563.87	c  563s |      17 |   452814 |   263532 |    23098     22 |      825 |      810
565.75/566.06	c  565s |      17 |   453796 |   264332 |    23098     22 |      825 |      810
567.95/568.24	c  567s |      17 |   454591 |   265032 |    23098     22 |      825 |      810
570.05/570.30	c  570s |      17 |   455476 |   265732 |    23098     22 |      825 |      810
572.15/572.45	c  572s |      17 |   456339 |   266432 |    23098     22 |      825 |      810
574.25/574.58	c  574s |      17 |   457017 |   267032 |    23098     22 |      825 |      810
576.55/576.89	c  576s |      17 |   457685 |   267632 |    23098     22 |      825 |      810
578.75/579.06	c  578s |      17 |   458373 |   268232 |    23098     22 |      825 |      810
580.94/581.22	c  580s |      17 |   459073 |   268832 |    23098     22 |      825 |      810
583.14/583.41	c  583s |      17 |   459903 |   269532 |    23098     22 |      825 |      810
585.24/585.54	c  585s |      17 |   460587 |   270132 |    23098     22 |      825 |      810
587.44/587.75	c  587s |      17 |   461271 |   270732 |    23098     22 |      825 |      810
589.54/589.81	c  589s |      17 |   461860 |   271232 |    23098     22 |      825 |      810
592.23/592.52	c  592s |      17 |   462604 |   271832 |    23098     23 |      825 |      810
594.43/594.76	c  594s |      17 |   463458 |   272532 |    23098     23 |      825 |      810
596.73/597.06	c  596s |      17 |   464447 |   273332 |    23098     23 |      825 |      810
598.83/599.11	c  598s |      17 |   465124 |   273932 |    23098     23 |      825 |      810
600.92/601.20	c  600s |      17 |   465925 |   274632 |    23098     23 |      825 |      810
603.12/603.43	c  603s |      17 |   466723 |   275332 |    23098     23 |      825 |      810
605.32/605.60	c  605s |      17 |   467447 |   275932 |    23098     23 |      825 |      810
607.52/607.83	c  607s |      17 |   468227 |   276632 |    23098     23 |      825 |      810
609.72/610.00	c  609s |      17 |   468894 |   277232 |    23098     23 |      825 |      810
612.01/612.34	c  612s |      17 |   469590 |   277832 |    23098     23 |      825 |      810
614.22/614.52	c  614s |      17 |   470257 |   278432 |    23098     23 |      825 |      810
616.22/616.53	c  616s |      17 |   470818 |   278932 |    23098     23 |      825 |      810
618.52/618.80	c  618s |      17 |   471493 |   279532 |    23098     23 |      825 |      810
620.52/620.80	c  620s |      17 |   472063 |   280032 |    23098     23 |      825 |      810
622.52/622.83	c  622s |      17 |   472642 |   280532 |    23098     23 |      825 |      810
624.82/625.13	c  624s |      17 |   473363 |   281132 |    23098     23 |      825 |      810
627.02/627.38	c  627s |      17 |   474054 |   281732 |    23098     23 |      825 |      810
629.42/629.74	c  629s |      17 |   474751 |   282332 |    23098     23 |      825 |      810
631.71/632.04	c  631s |      17 |   475431 |   282932 |    23098     23 |      825 |      810
633.81/634.18	c  633s |      17 |   476178 |   283532 |    23098     23 |      825 |      810
636.11/636.40	c  636s |      17 |   477061 |   284232 |    23098     23 |      825 |      810
638.21/638.57	c  638s |      17 |   477822 |   284832 |    23098     23 |      825 |      810
640.40/640.77	c  640s |      17 |   478600 |   285432 |    23098     24 |      825 |      810
642.50/642.89	c  642s |      17 |   479772 |   286332 |    23098     24 |      825 |      810
644.80/645.17	c  644s |      17 |   480721 |   287132 |    23098     24 |      825 |      810
647.10/647.41	c  647s |      17 |   481390 |   287732 |    23098     24 |      825 |      810
649.30/649.60	c  649s |      17 |   482053 |   288332 |    23098     24 |      825 |      810
651.29/651.66	c  651s |      17 |   482728 |   288932 |    23098     24 |      825 |      810
653.39/653.75	c  653s |      17 |   483423 |   289532 |    23098     24 |      825 |      810
655.40/655.78	c  655s |      17 |   484002 |   290032 |    23098     24 |      825 |      810
657.79/658.13	c  657s |      17 |   484698 |   290632 |    23098     24 |      825 |      810
660.09/660.43	c  660s |      17 |   485386 |   291232 |    23098     24 |      825 |      810
662.38/662.71	c  662s |      17 |   486056 |   291832 |    23098     24 |      825 |      810
664.48/664.81	c  664s |      17 |   486637 |   292332 |    23098     24 |      825 |      810
666.68/667.00	c  666s |      17 |   487189 |   292832 |    23098     24 |      825 |      810
668.69/669.03	c  668s |      17 |   487730 |   293332 |    23098     24 |      825 |      810
670.80/671.12	c  670s |      17 |   488309 |   293832 |    23098     24 |      825 |      810
673.09/673.41	c  673s |      17 |   488875 |   294332 |    25408     24 |      825 |      810
675.29/675.67	c  675s |      17 |   489436 |   294832 |    25408     24 |      825 |      810
677.59/677.97	c  677s |      17 |   490039 |   295332 |    25408     24 |      825 |      810
679.79/680.11	c  679s |      17 |   490906 |   296032 |    25408     24 |      825 |      810
680.69/681.03	c  680s |      18 |   491154 |   296252 |    25408     24 |      825 |      810
682.68/683.05	c  682s |      18 |   495160 |   297752 |    25408     24 |      825 |      810
684.78/685.15	c  684s |      18 |   497046 |   299252 |    25408     24 |      825 |      810
687.08/687.49	c  687s |      18 |   498422 |   300452 |    25408     25 |      825 |      810
689.18/689.54	c  689s |      18 |   500676 |   301752 |    25408     25 |      825 |      810
691.28/691.62	c  691s |      18 |   502229 |   303052 |    25408     25 |      825 |      810
693.38/693.78	c  693s |      18 |   503670 |   304252 |    25408     25 |      825 |      810
695.58/695.93	c  695s |      18 |   504934 |   305352 |    25408     25 |      825 |      810
697.78/698.12	c  697s |      18 |   506067 |   306352 |    25408     25 |      825 |      810
699.98/700.30	c  700s |      18 |   507095 |   307252 |    25408     25 |      825 |      810
702.18/702.51	c  702s |      18 |   507951 |   308052 |    25408     25 |      825 |      810
704.38/704.70	c  704s |      18 |   509096 |   309052 |    25408     25 |      825 |      810
706.38/706.74	c  706s |      18 |   510393 |   310152 |    25408     25 |      825 |      810
708.68/709.02	c  708s |      18 |   511536 |   311152 |    25408     25 |      825 |      810
710.78/711.16	c  710s |      18 |   512451 |   311952 |    25408     25 |      825 |      810
712.78/713.17	c  712s |      18 |   513364 |   312752 |    25408     25 |      825 |      810
714.88/715.24	c  714s |      18 |   514125 |   313452 |    25408     25 |      825 |      810
716.88/717.24	c  716s |      18 |   514886 |   314152 |    25408     25 |      825 |      810
718.98/719.32	c  719s |      18 |   515749 |   314852 |    25408     26 |      825 |      810
721.18/721.53	c  721s |      18 |   516785 |   315752 |    25408     26 |      825 |      810
723.18/723.53	c  723s |      18 |   517710 |   316552 |    25408     26 |      825 |      810
725.17/725.59	c  725s |      18 |   518490 |   317252 |    25408     26 |      825 |      810
727.37/727.78	c  727s |      18 |   519409 |   318052 |    25408     26 |      825 |      810
729.47/729.82	c  729s |      18 |   520232 |   318752 |    25408     26 |      825 |      810
731.67/732.02	c  731s |      18 |   521030 |   319452 |    25408     26 |      825 |      810
733.87/734.23	c  733s |      18 |   521838 |   320152 |    25408     26 |      825 |      810
735.87/736.25	c  735s |      18 |   522494 |   320752 |    25408     26 |      825 |      810
737.88/738.26	c  737s |      18 |   523152 |   321352 |    25408     26 |      825 |      810
740.08/740.47	c  740s |      18 |   523961 |   322052 |    25408     26 |      825 |      810
742.37/742.76	c  742s |      18 |   524611 |   322652 |    25408     26 |      825 |      810
744.57/744.96	c  744s |      18 |   525277 |   323252 |    25408     26 |      825 |      810
746.87/747.26	c  746s |      18 |   525921 |   323852 |    25408     26 |      825 |      810
749.17/749.52	c  749s |      18 |   526596 |   324452 |    25408     26 |      825 |      810
751.17/751.55	c  751s |      18 |   527146 |   324952 |    25408     26 |      825 |      810
753.57/753.97	c  753s |      18 |   527795 |   325552 |    25408     26 |      825 |      810
755.87/756.29	c  756s |      18 |   528336 |   326052 |    25408     26 |      825 |      810
757.97/758.35	c  758s |      18 |   528889 |   326552 |    25408     26 |      825 |      810
760.37/760.70	c  760s |      18 |   529549 |   327152 |    25408     26 |      825 |      810
762.57/762.92	c  762s |      18 |   530195 |   327752 |    25408     26 |      825 |      810
764.77/765.16	c  764s |      18 |   530734 |   328252 |    25408     26 |      825 |      810
766.97/767.33	c  767s |      18 |   531271 |   328752 |    25408     26 |      825 |      810
769.27/769.68	c  769s |      18 |   531705 |   329152 |    25408     27 |      825 |      810
771.46/771.86	c  771s |      18 |   532554 |   329852 |    25408     27 |      825 |      810
773.56/773.96	c  773s |      18 |   533376 |   330552 |    25408     27 |      825 |      810
775.86/776.24	c  775s |      18 |   534173 |   331252 |    25408     27 |      825 |      810
777.86/778.29	c  778s |      18 |   534833 |   331852 |    25408     27 |      825 |      810
779.96/780.36	c  780s |      18 |   535481 |   332452 |    25408     27 |      825 |      810
782.16/782.52	c  782s |      18 |   536116 |   333052 |    25408     27 |      825 |      810
784.36/784.73	c  784s |      18 |   536912 |   333752 |    25408     27 |      825 |      810
786.56/786.91	c  786s |      18 |   537571 |   334352 |    25408     27 |      825 |      810
788.56/788.99	c  788s |      18 |   538109 |   334852 |    25408     27 |      825 |      810
790.86/791.25	c  790s |      18 |   538778 |   335452 |    25408     27 |      825 |      810
792.97/793.34	c  793s |      18 |   539433 |   336052 |    25408     27 |      825 |      810
795.17/795.57	c  795s |      18 |   540097 |   336652 |    25408     27 |      825 |      810
797.27/797.68	c  797s |      18 |   540657 |   337152 |    25408     27 |      825 |      810
799.37/799.79	c  799s |      18 |   541188 |   337652 |    25408     27 |      825 |      810
801.67/802.03	c  801s |      18 |   541725 |   338152 |    25408     27 |      825 |      810
803.77/804.13	c  803s |      18 |   542302 |   338652 |    25408     27 |      825 |      810
805.77/806.19	c  805s |      18 |   542850 |   339152 |    25408     27 |      825 |      810
808.17/808.51	c  808s |      18 |   543521 |   339752 |    25408     27 |      825 |      810
810.16/810.57	c  810s |      18 |   544071 |   340252 |    25408     27 |      825 |      810
812.57/812.96	c  812s |      18 |   544760 |   340852 |    25408     27 |      825 |      810
815.06/815.43	c  815s |      18 |   545416 |   341452 |    25408     27 |      825 |      810
817.46/817.81	c  817s |      18 |   545944 |   341952 |    25408     27 |      825 |      810
819.66/820.02	c  819s |      18 |   546497 |   342452 |    25408     27 |      825 |      810
822.16/822.50	c  822s |      18 |   547035 |   342952 |    25408     27 |      825 |      810
824.26/824.68	c  824s |      18 |   547447 |   343352 |    25408     27 |      825 |      810
826.36/826.70	c  826s |      18 |   547870 |   343752 |    25408     28 |      825 |      810
828.56/828.93	c  828s |      18 |   548630 |   344452 |    25408     28 |      825 |      810
830.56/830.99	c  830s |      18 |   549272 |   345052 |    25408     28 |      825 |      810
832.76/833.16	c  832s |      18 |   549912 |   345652 |    25408     28 |      825 |      810
834.76/835.20	c  834s |      18 |   550456 |   346152 |    25408     28 |      825 |      810
837.06/837.44	c  837s |      18 |   551094 |   346752 |    25408     28 |      825 |      810
839.07/839.46	c  839s |      18 |   551627 |   347252 |    25408     28 |      825 |      810
841.36/841.74	c  841s |      18 |   552302 |   347852 |    25408     28 |      825 |      810
843.36/843.79	c  843s |      18 |   552852 |   348352 |    25408     28 |      825 |      810
845.46/845.81	c  845s |      18 |   553510 |   348952 |    25408     28 |      825 |      810
847.76/848.13	c  847s |      18 |   554141 |   349552 |    25408     28 |      825 |      810
849.76/850.18	c  849s |      18 |   554682 |   350052 |    25408     28 |      825 |      810
851.96/852.35	c  852s |      18 |   555215 |   350552 |    25408     28 |      825 |      810
854.06/854.41	c  854s |      18 |   555764 |   351052 |    25408     28 |      825 |      810
856.06/856.43	c  856s |      18 |   556302 |   351552 |    25408     28 |      825 |      810
858.26/858.63	c  858s |      18 |   556829 |   352052 |    25408     28 |      825 |      810
860.26/860.68	c  860s |      18 |   557368 |   352552 |    25408     28 |      825 |      810
862.65/863.00	c  862s |      18 |   558033 |   353152 |    25408     28 |      825 |      810
864.65/865.05	c  864s |      18 |   558553 |   353652 |    25408     28 |      825 |      810
866.75/867.18	c  866s |      18 |   559084 |   354152 |    25408     28 |      825 |      810
868.85/869.20	c  868s |      18 |   559621 |   354652 |    25408     28 |      825 |      810
871.05/871.43	c  871s |      18 |   560266 |   355252 |    25408     28 |      825 |      810
873.25/873.68	c  873s |      18 |   560794 |   355752 |    25408     28 |      825 |      810
875.45/875.82	c  875s |      18 |   561322 |   356252 |    25408     28 |      825 |      810
877.46/877.84	c  877s |      18 |   561856 |   356752 |    25408     28 |      825 |      810
879.85/880.22	c  879s |      18 |   562392 |   357252 |    25408     28 |      825 |      810
882.25/882.62	c  882s |      18 |   562921 |   357752 |    25408     28 |      825 |      810
884.25/884.68	c  884s |      18 |   563353 |   358152 |    25408     29 |      825 |      810
886.65/887.02	c  886s |      18 |   564109 |   358852 |    25408     29 |      825 |      810
888.65/889.08	c  888s |      18 |   564734 |   359452 |    25408     29 |      825 |      810
890.95/891.34	c  891s |      18 |   565379 |   360052 |    25408     29 |      825 |      810
893.25/893.60	c  893s |      18 |   566004 |   360652 |    25408     29 |      825 |      810
895.35/895.75	c  895s |      18 |   566643 |   361252 |    25408     29 |      825 |      810
897.45/897.88	c  897s |      18 |   567290 |   361852 |    25408     29 |      825 |      810
899.65/900.06	c  899s |      18 |   567943 |   362452 |    25408     29 |      825 |      810
901.95/902.38	c  902s |      18 |   568590 |   363052 |    25408     29 |      825 |      810
904.45/904.84	c  904s |      18 |   569237 |   363652 |    25408     29 |      825 |      810
906.85/907.21	c  906s |      18 |   569877 |   364252 |    25408     29 |      825 |      810
909.04/909.44	c  909s |      18 |   570541 |   364852 |    25408     29 |      825 |      810
911.24/911.69	c  911s |      18 |   571072 |   365352 |    25408     29 |      825 |      810
913.64/914.07	c  913s |      18 |   571593 |   365852 |    25408     29 |      825 |      810
915.84/916.20	c  915s |      18 |   572144 |   366352 |    25408     29 |      825 |      810
917.94/918.31	c  918s |      18 |   572668 |   366852 |    25408     29 |      825 |      810
920.14/920.59	c  920s |      18 |   573192 |   367352 |    25408     29 |      825 |      810
922.24/922.67	c  922s |      18 |   573610 |   367752 |    25408     29 |      825 |      810
924.64/925.05	c  924s |      18 |   574130 |   368252 |    25408     29 |      825 |      810
926.74/927.18	c  926s |      18 |   574672 |   368752 |    25408     29 |      825 |      810
929.15/929.52	c  929s |      18 |   575187 |   369252 |    25408     29 |      825 |      810
931.45/931.89	c  931s |      18 |   575715 |   369752 |    25408     29 |      825 |      810
933.95/934.39	c  934s |      18 |   576246 |   370252 |    25408     29 |      825 |      810
936.25/936.60	c  936s |      18 |   576801 |   370752 |    25408     29 |      825 |      810
938.45/938.86	c  938s |      18 |   577336 |   371252 |    25408     29 |      825 |      810
940.75/941.11	c  940s |      18 |   577919 |   371752 |    25408     29 |      825 |      810
942.85/943.29	c  943s |      18 |   578374 |   372152 |    25408     30 |      825 |      810
945.04/945.46	c  945s |      18 |   579162 |   372852 |    25408     30 |      825 |      810
947.04/947.47	c  947s |      18 |   579835 |   373452 |    25408     30 |      825 |      810
949.34/949.70	c  949s |      18 |   580642 |   374152 |    25408     30 |      825 |      810
951.54/951.96	c  951s |      18 |   581280 |   374752 |    25408     30 |      825 |      810
953.74/954.11	c  953s |      18 |   581942 |   375352 |    25408     30 |      825 |      810
955.84/956.27	c  955s |      18 |   582588 |   375952 |    25408     30 |      825 |      810
957.94/958.39	c  958s |      18 |   583292 |   376552 |    25408     30 |      825 |      810
960.34/960.78	c  960s |      18 |   583933 |   377152 |    25408     30 |      825 |      810
962.54/962.95	c  962s |      18 |   584569 |   377752 |    25408     30 |      825 |      810
964.94/965.31	c  965s |      18 |   585237 |   378352 |    25408     30 |      825 |      810
967.04/967.40	c  967s |      18 |   585885 |   378952 |    25408     30 |      825 |      810
969.24/969.68	c  969s |      18 |   586516 |   379552 |    25408     30 |      825 |      810
971.64/972.07	c  971s |      18 |   587167 |   380152 |    25408     30 |      825 |      810
973.74/974.18	c  973s |      18 |   587699 |   380652 |    25408     30 |      825 |      810
976.14/976.53	c  976s |      18 |   588218 |   381152 |    25408     30 |      825 |      810
978.34/978.78	c  978s |      18 |   588747 |   381652 |    25408     30 |      825 |      810
980.74/981.17	c  980s |      18 |   589415 |   382252 |    25408     30 |      825 |      810
983.05/983.49	c  983s |      18 |   590033 |   382852 |    25408     30 |      825 |      810
985.14/985.56	c  985s |      18 |   590580 |   383352 |    25408     30 |      825 |      810
987.44/987.85	c  987s |      18 |   591100 |   383852 |    25408     30 |      825 |      810
989.84/990.21	c  989s |      18 |   591625 |   384352 |    25408     30 |      825 |      810
992.14/992.56	c  992s |      18 |   592159 |   384852 |    25408     30 |      825 |      810
994.64/995.03	c  994s |      18 |   592693 |   385352 |    25408     30 |      825 |      810
996.94/997.37	c  997s |      18 |   593218 |   385852 |    25408     30 |      825 |      810
999.54/999.97	c  999s |      18 |   593736 |   386352 |    25408     30 |      825 |      810
1001.74/1002.15	c 1001s |      18 |   594151 |   386752 |    25408     31 |      825 |      810
1003.84/1004.29	c 1004s |      18 |   594779 |   387352 |    25408     31 |      825 |      810
1006.04/1006.45	c 1006s |      18 |   595430 |   387952 |    25408     31 |      825 |      810
1008.03/1008.47	c 1008s |      18 |   596102 |   388552 |    25408     31 |      825 |      810
1010.33/1010.75	c 1010s |      18 |   596728 |   389152 |    25408     31 |      825 |      810
1012.74/1013.11	c 1012s |      18 |   597346 |   389752 |    25408     31 |      825 |      810
1014.83/1015.27	c 1014s |      18 |   597858 |   390252 |    25408     31 |      825 |      810
1017.14/1017.54	c 1017s |      18 |   598533 |   390852 |    25408     31 |      825 |      810
1019.53/1019.91	c 1019s |      18 |   599182 |   391452 |    25408     31 |      825 |      810
1021.83/1022.27	c 1021s |      18 |   599690 |   391952 |    25408     31 |      825 |      810
1023.93/1024.37	c 1024s |      18 |   600202 |   392452 |    25408     31 |      825 |      810
1026.23/1026.63	c 1026s |      18 |   600729 |   392952 |    25408     31 |      825 |      810
1028.33/1028.79	c 1028s |      18 |   601244 |   393452 |    25408     31 |      825 |      810
1030.73/1031.18	c 1030s |      18 |   601875 |   394052 |    25408     31 |      825 |      810
1032.93/1033.33	c 1033s |      18 |   602438 |   394552 |    25408     31 |      825 |      810
1035.13/1035.58	c 1035s |      18 |   602988 |   395052 |    25408     31 |      825 |      810
1037.33/1037.72	c 1037s |      18 |   603656 |   395652 |    25408     31 |      825 |      810
1039.33/1039.77	c 1039s |      18 |   604194 |   396152 |    25408     31 |      825 |      810
1041.43/1041.84	c 1041s |      18 |   604744 |   396652 |    25408     31 |      825 |      810
1043.43/1043.89	c 1043s |      18 |   605304 |   397152 |    25408     31 |      825 |      810
1045.73/1046.17	c 1045s |      18 |   606012 |   397752 |    25408     31 |      825 |      810
1047.93/1048.36	c 1048s |      18 |   606547 |   398252 |    25408     31 |      825 |      810
1050.43/1050.80	c 1050s |      18 |   607201 |   398852 |    25408     31 |      825 |      810
1052.53/1052.99	c 1052s |      18 |   607761 |   399352 |    25408     31 |      825 |      810
1054.72/1055.19	c 1054s |      18 |   608323 |   399852 |    25408     31 |      825 |      810
1057.12/1057.55	c 1057s |      18 |   608879 |   400352 |    25408     31 |      825 |      810
1059.62/1060.04	c 1059s |      18 |   609305 |   400752 |    25408     32 |      825 |      810
1061.62/1062.06	c 1061s |      18 |   609990 |   401352 |    25408     32 |      825 |      810
1063.72/1064.12	c 1063s |      18 |   610634 |   401952 |    25408     32 |      825 |      810
1065.72/1066.16	c 1065s |      18 |   611403 |   402652 |    25408     32 |      825 |      810
1068.02/1068.44	c 1068s |      18 |   612164 |   403352 |    25408     32 |      825 |      810
1070.22/1070.67	c 1070s |      18 |   612816 |   403952 |    25408     32 |      825 |      810
1072.52/1072.94	c 1072s |      18 |   613460 |   404552 |    25408     32 |      825 |      810
1074.52/1074.95	c 1074s |      18 |   614005 |   405052 |    25408     32 |      825 |      810
1076.82/1077.20	c 1076s |      18 |   614661 |   405652 |    25408     32 |      825 |      810
1078.92/1079.35	c 1079s |      18 |   615325 |   406252 |    25408     32 |      825 |      810
1081.12/1081.54	c 1081s |      18 |   615982 |   406852 |    25408     32 |      825 |      810
1083.42/1083.82	c 1083s |      18 |   616522 |   407352 |    25408     32 |      825 |      810
1085.43/1085.84	c 1085s |      18 |   617064 |   407852 |    25408     32 |      825 |      810
1087.72/1088.14	c 1087s |      18 |   617605 |   408352 |    25408     32 |      825 |      810
1090.12/1090.56	c 1090s |      18 |   618134 |   408852 |    25408     32 |      825 |      810
1092.42/1092.82	c 1092s |      18 |   618684 |   409352 |    25408     32 |      825 |      810
1094.62/1095.07	c 1094s |      18 |   619224 |   409852 |    25408     32 |      825 |      810
1097.02/1097.42	c 1097s |      18 |   619902 |   410452 |    25408     32 |      825 |      810
1099.12/1099.50	c 1099s |      18 |   620454 |   410952 |    25408     32 |      825 |      810
1101.12/1101.56	c 1101s |      18 |   621031 |   411452 |    25408     32 |      825 |      810
1103.52/1103.92	c 1103s |      18 |   621696 |   412052 |    25408     32 |      825 |      810
1105.71/1106.14	c 1105s |      18 |   622375 |   412652 |    25408     32 |      825 |      810
1107.91/1108.38	c 1108s |      18 |   622905 |   413152 |    25408     32 |      825 |      810
1110.21/1110.66	c 1110s |      18 |   623441 |   413652 |    25408     32 |      825 |      810
1112.31/1112.73	c 1112s |      18 |   624017 |   414152 |    25408     32 |      825 |      810
1114.51/1114.96	c 1114s |      18 |   624566 |   414652 |    25408     32 |      825 |      810
1117.41/1117.83	c 1117s |      18 |   625122 |   415152 |    25408     33 |      825 |      810
1119.42/1119.87	c 1119s |      18 |   625781 |   415752 |    25408     33 |      825 |      810
1121.72/1122.19	c 1121s |      18 |   626415 |   416352 |    25408     33 |      825 |      810
1123.92/1124.38	c 1124s |      18 |   626941 |   416852 |    25408     33 |      825 |      810
1125.91/1126.40	c 1126s |      18 |   627482 |   417352 |    25408     33 |      825 |      810
1128.32/1128.74	c 1128s |      18 |   628135 |   417952 |    25408     33 |      825 |      810
1130.42/1130.87	c 1130s |      18 |   628768 |   418552 |    25408     33 |      825 |      810
1132.82/1133.22	c 1132s |      18 |   629433 |   419152 |    25408     33 |      825 |      810
1134.82/1135.26	c 1134s |      18 |   629980 |   419652 |    25408     33 |      825 |      810
1136.82/1137.28	c 1137s |      18 |   630520 |   420152 |    25408     33 |      825 |      810
1139.02/1139.42	c 1139s |      18 |   631061 |   420652 |    25408     33 |      825 |      810
1141.12/1141.55	c 1141s |      18 |   631587 |   421152 |    25408     33 |      825 |      810
1143.32/1143.74	c 1143s |      18 |   632132 |   421652 |    25408     33 |      825 |      810
1145.51/1145.93	c 1145s |      18 |   632653 |   422152 |    25408     33 |      825 |      810
1147.51/1147.95	c 1147s |      18 |   633209 |   422652 |    25408     33 |      825 |      810
1149.61/1150.06	c 1149s |      18 |   633771 |   423152 |    25408     33 |      825 |      810
1151.71/1152.13	c 1151s |      18 |   634321 |   423652 |    25408     33 |      825 |      810
1153.71/1154.15	c 1153s |      18 |   634842 |   424152 |    25408     33 |      825 |      810
1156.11/1156.51	c 1156s |      18 |   635383 |   424652 |    25408     33 |      825 |      810
1158.21/1158.61	c 1158s |      18 |   635930 |   425152 |    25408     33 |      825 |      810
1160.61/1161.00	c 1160s |      18 |   636452 |   425652 |    25408     33 |      825 |      810
1162.81/1163.27	c 1162s |      18 |   636991 |   426152 |    25408     33 |      825 |      810
1164.91/1165.31	c 1165s |      18 |   637431 |   426552 |    25408     33 |      825 |      810
1166.91/1167.36	c 1167s |      18 |   637844 |   426952 |    25408     33 |      825 |      810
1169.31/1169.75	c 1169s |      18 |   638368 |   427452 |    25408     33 |      825 |      810
1171.71/1172.13	c 1171s |      18 |   638884 |   427952 |    25408     33 |      825 |      810
1174.11/1174.57	c 1174s |      18 |   639424 |   428452 |    25408     33 |      825 |      810
1176.21/1176.60	c 1176s |      18 |   639860 |   428852 |    25408     33 |      825 |      810
1178.21/1178.60	c 1178s |      18 |   640281 |   429252 |    25408     33 |      825 |      810
1180.51/1180.93	c 1180s |      18 |   640704 |   429652 |    25408     34 |      825 |      810
1182.91/1183.32	c 1183s |      18 |   641436 |   430352 |    25408     34 |      825 |      810
1185.00/1185.45	c 1185s |      18 |   642081 |   430952 |    25408     34 |      825 |      810
1187.30/1187.74	c 1187s |      18 |   642723 |   431552 |    25408     34 |      825 |      810
1189.50/1189.92	c 1189s |      18 |   643378 |   432152 |    25408     34 |      825 |      810
1191.80/1192.21	c 1191s |      18 |   644013 |   432752 |    25408     34 |      825 |      810
1193.80/1194.26	c 1193s |      18 |   644535 |   433252 |    25408     34 |      825 |      810
1196.00/1196.44	c 1196s |      18 |   645229 |   433852 |    25408     34 |      825 |      810
1198.30/1198.70	c 1198s |      18 |   645880 |   434452 |    25408     34 |      825 |      810
1200.30/1200.75	c 1200s |      18 |   646419 |   434952 |    25408     34 |      825 |      810
1202.60/1203.00	c 1202s |      18 |   647066 |   435552 |    25408     34 |      825 |      810
1205.10/1205.52	c 1205s |      18 |   647711 |   436152 |    25408     34 |      825 |      810
1207.20/1207.69	c 1207s |      18 |   648244 |   436652 |    25408     34 |      825 |      810
1209.40/1209.87	c 1209s |      18 |   648775 |   437152 |    25408     34 |      825 |      810
1211.70/1212.14	c 1211s |      18 |   649304 |   437652 |    25408     34 |      825 |      810
1213.80/1214.23	c 1213s |      18 |   649836 |   438152 |    25408     34 |      825 |      810
1215.90/1216.37	c 1216s |      18 |   650382 |   438652 |    25408     34 |      825 |      810
1218.20/1218.69	c 1218s |      18 |   650926 |   439152 |    25408     34 |      825 |      810
1220.61/1221.06	c 1220s |      18 |   651458 |   439652 |    25408     34 |      825 |      810
1222.91/1223.35	c 1223s |      18 |   652008 |   440152 |    25408     34 |      825 |      810
1225.01/1225.45	c 1225s |      18 |   652543 |   440652 |    25408     34 |      825 |      810
1227.40/1227.81	c 1227s |      18 |   653108 |   441152 |    25408     34 |      825 |      810
1229.41/1229.86	c 1229s |      18 |   653685 |   441652 |    27949     34 |      825 |      810
1231.71/1232.13	c 1231s |      18 |   654362 |   442252 |    27949     34 |      825 |      810
1233.70/1234.15	c 1233s |      18 |   654926 |   442752 |    27949     34 |      825 |      810
1235.70/1236.17	c 1235s |      18 |   655510 |   443252 |    27949     34 |      825 |      810
1238.00/1238.47	c 1238s |      18 |   656192 |   443852 |    27949     34 |      825 |      810
1240.20/1240.65	c 1240s |      18 |   656755 |   444352 |    27949     34 |      825 |      810
1240.80/1241.26	c 1240s |      19 |   656896 |   444482 |    27949     34 |      825 |      810
1242.80/1243.29	c 1243s |      19 |   663090 |   445582 |    27949     35 |      825 |      810
1245.00/1245.42	c 1245s |      19 |   672339 |   448082 |    27949     35 |      825 |      810
1247.10/1247.52	c 1247s |      19 |   678608 |   450982 |    27949     35 |      825 |      810
1249.20/1249.66	c 1249s |      19 |   681235 |   452882 |    27949     35 |      825 |      810
1251.19/1251.69	c 1251s |      19 |   683084 |   454282 |    27949     35 |      825 |      810
1253.29/1253.77	c 1253s |      19 |   685262 |   456082 |    27949     35 |      825 |      810
1255.39/1255.85	c 1255s |      19 |   687186 |   457782 |    27949     35 |      825 |      810
1257.49/1257.95	c 1257s |      19 |   688841 |   459282 |    27949     35 |      825 |      810
1259.59/1260.02	c 1259s |      19 |   690362 |   460682 |    27949     35 |      825 |      810
1261.59/1262.05	c 1261s |      19 |   691338 |   461582 |    27949     36 |      825 |      810
1263.69/1264.14	c 1263s |      19 |   692773 |   462882 |    27949     36 |      825 |      810
1265.89/1266.30	c 1266s |      19 |   694075 |   464082 |    27949     36 |      825 |      810
1268.00/1268.45	c 1268s |      19 |   695367 |   465282 |    27949     36 |      825 |      810
1270.10/1270.54	c 1270s |      19 |   696536 |   466382 |    27949     36 |      825 |      810
1272.09/1272.56	c 1272s |      19 |   697598 |   467382 |    27949     36 |      825 |      810
1274.39/1274.82	c 1274s |      19 |   698672 |   468382 |    27949     36 |      825 |      810
1276.49/1276.92	c 1276s |      19 |   699634 |   469282 |    27949     36 |      825 |      810
1278.59/1279.09	c 1278s |      19 |   700596 |   470182 |    27949     36 |      825 |      810
1280.79/1281.23	c 1280s |      19 |   701563 |   471082 |    27949     36 |      825 |      810
1282.79/1283.29	c 1283s |      19 |   702420 |   471882 |    27949     36 |      825 |      810
1285.09/1285.50	c 1285s |      19 |   703359 |   472782 |    27949     36 |      825 |      810
1287.19/1287.69	c 1287s |      19 |   704197 |   473582 |    27949     36 |      825 |      810
1289.39/1289.89	c 1289s |      19 |   705039 |   474382 |    27949     36 |      825 |      810
1291.59/1292.01	c 1291s |      19 |   705780 |   475082 |    27949     36 |      825 |      810
1293.69/1294.12	c 1293s |      19 |   706503 |   475782 |    27949     36 |      825 |      810
1295.79/1296.28	c 1296s |      19 |   707226 |   476482 |    27949     36 |      825 |      810
1297.99/1298.45	c 1298s |      19 |   707842 |   477082 |    27949     37 |      825 |      810
1300.09/1300.59	c 1300s |      19 |   708805 |   477982 |    27949     37 |      825 |      810
1302.19/1302.69	c 1302s |      19 |   709786 |   478882 |    27949     37 |      825 |      810
1304.29/1304.78	c 1304s |      19 |   710622 |   479682 |    27949     37 |      825 |      810
1306.49/1306.94	c 1306s |      19 |   711467 |   480482 |    27949     37 |      825 |      810
1308.48/1308.97	c 1308s |      19 |   712329 |   481282 |    27949     37 |      825 |      810
1310.58/1311.08	c 1310s |      19 |   713186 |   482082 |    27949     37 |      825 |      810
1312.88/1313.30	c 1313s |      19 |   714039 |   482882 |    27949     37 |      825 |      810
1315.08/1315.51	c 1315s |      19 |   714907 |   483682 |    27949     37 |      825 |      810
1317.28/1317.72	c 1317s |      19 |   715789 |   484482 |    27949     37 |      825 |      810
1319.48/1319.93	c 1319s |      19 |   716663 |   485282 |    27949     37 |      825 |      810
1321.68/1322.16	c 1321s |      19 |   717416 |   485982 |    27949     37 |      825 |      810
1323.88/1324.40	c 1324s |      19 |   718157 |   486682 |    27949     37 |      825 |      810
1326.08/1326.58	c 1326s |      19 |   718926 |   487382 |    27949     37 |      825 |      810
1328.39/1328.81	c 1328s |      19 |   719776 |   488182 |    27949     37 |      825 |      810
1330.48/1330.96	c 1330s |      19 |   720513 |   488882 |    27949     37 |      825 |      810
1332.68/1333.16	c 1332s |      19 |   721247 |   489582 |    27949     37 |      825 |      810
1334.88/1335.33	c 1335s |      19 |   721870 |   490182 |    27949     37 |      825 |      810
1337.08/1337.58	c 1337s |      19 |   722499 |   490782 |    27949     37 |      825 |      810
1339.18/1339.64	c 1339s |      19 |   723147 |   491382 |    27949     37 |      825 |      810
1341.28/1341.78	c 1341s |      19 |   723787 |   491982 |    27949     37 |      825 |      810
1343.48/1343.95	c 1343s |      19 |   724321 |   492482 |    27949     38 |      825 |      810
1345.68/1346.18	c 1345s |      19 |   725150 |   493282 |    27949     38 |      825 |      810
1347.88/1348.36	c 1348s |      19 |   725993 |   494082 |    27949     38 |      825 |      810
1349.97/1350.49	c 1350s |      19 |   726737 |   494782 |    27949     38 |      825 |      810
1352.27/1352.74	c 1352s |      19 |   727567 |   495582 |    27949     38 |      825 |      810
1354.37/1354.80	c 1354s |      19 |   728282 |   496282 |    27949     38 |      825 |      810
1356.37/1356.89	c 1356s |      19 |   729004 |   496982 |    27949     38 |      825 |      810
1358.47/1358.92	c 1358s |      19 |   729637 |   497582 |    27949     38 |      825 |      810
1360.67/1361.17	c 1360s |      19 |   730464 |   498382 |    27949     38 |      825 |      810
1362.77/1363.24	c 1362s |      19 |   731199 |   499082 |    27949     38 |      825 |      810
1364.87/1365.40	c 1365s |      19 |   731934 |   499782 |    27949     38 |      825 |      810
1367.07/1367.50	c 1367s |      19 |   732671 |   500482 |    27949     38 |      825 |      810
1369.08/1369.53	c 1369s |      19 |   733401 |   501182 |    27949     38 |      825 |      810
1371.38/1371.80	c 1371s |      19 |   734127 |   501882 |    27949     38 |      825 |      810
1373.67/1374.11	c 1373s |      19 |   734853 |   502582 |    27949     38 |      825 |      810
1375.68/1376.12	c 1375s |      19 |   735491 |   503182 |    27949     38 |      825 |      810
1377.67/1378.19	c 1377s |      19 |   736134 |   503782 |    27949     38 |      825 |      810
1379.97/1380.40	c 1380s |      19 |   736755 |   504382 |    27949     38 |      825 |      810
1382.17/1382.61	c 1382s |      19 |   737388 |   504982 |    27949     38 |      825 |      810
1384.27/1384.74	c 1384s |      19 |   738019 |   505582 |    27949     38 |      825 |      810
1386.47/1386.90	c 1386s |      19 |   738648 |   506182 |    27949     38 |      825 |      810
1388.67/1389.19	c 1388s |      19 |   739271 |   506782 |    27949     38 |      825 |      810
1390.78/1391.23	c 1390s |      19 |   739794 |   507282 |    27949     38 |      825 |      810
1392.88/1393.38	c 1393s |      19 |   740311 |   507782 |    27949     38 |      825 |      810
1394.98/1395.48	c 1395s |      19 |   740925 |   508382 |    27949     39 |      825 |      810
1397.28/1397.71	c 1397s |      19 |   741755 |   509182 |    27949     39 |      825 |      810
1399.38/1399.82	c 1399s |      19 |   742611 |   509982 |    27949     39 |      825 |      810
1401.48/1401.95	c 1401s |      19 |   743475 |   510782 |    27949     39 |      825 |      810
1403.68/1404.11	c 1403s |      19 |   744304 |   511582 |    27949     39 |      825 |      810
1405.78/1406.26	c 1405s |      19 |   745136 |   512382 |    27949     39 |      825 |      810
1407.98/1408.47	c 1408s |      19 |   745968 |   513182 |    27949     39 |      825 |      810
1409.97/1410.49	c 1410s |      19 |   746728 |   513882 |    27949     39 |      825 |      810
1412.17/1412.60	c 1412s |      19 |   747467 |   514582 |    27949     39 |      825 |      810
1414.37/1414.86	c 1414s |      19 |   748194 |   515282 |    27949     39 |      825 |      810
1416.67/1417.10	c 1416s |      19 |   748940 |   515982 |    27949     39 |      825 |      810
1418.68/1419.19	c 1418s |      19 |   749576 |   516582 |    27949     39 |      825 |      810
1420.67/1421.19	c 1420s |      19 |   750343 |   517282 |    27949     39 |      825 |      810
1422.77/1423.27	c 1422s |      19 |   751110 |   517982 |    27949     39 |      825 |      810
1425.07/1425.54	c 1425s |      19 |   751860 |   518682 |    27949     39 |      825 |      810
1427.17/1427.64	c 1427s |      19 |   752522 |   519282 |    27949     39 |      825 |      810
1429.37/1429.86	c 1429s |      19 |   753163 |   519882 |    27949     39 |      825 |      810
1431.37/1431.89	c 1431s |      19 |   753694 |   520382 |    27949     39 |      825 |      810
1433.57/1434.08	c 1433s |      19 |   754321 |   520982 |    27949     39 |      825 |      810
1435.87/1436.33	c 1436s |      19 |   754950 |   521582 |    27949     39 |      825 |      810
1438.27/1438.70	c 1438s |      19 |   755584 |   522182 |    27949     39 |      825 |      810
1440.68/1441.11	c 1440s |      19 |   756215 |   522782 |    27949     39 |      825 |      810
1443.17/1443.63	c 1443s |      19 |   756864 |   523382 |    27949     40 |      825 |      810
1445.27/1445.70	c 1445s |      19 |   757741 |   524182 |    27949     40 |      825 |      810
1447.37/1447.81	c 1447s |      19 |   758705 |   525082 |    27949     40 |      825 |      810
1449.57/1450.09	c 1449s |      19 |   759543 |   525882 |    27949     40 |      825 |      810
1451.67/1452.12	c 1451s |      19 |   760276 |   526582 |    27949     40 |      825 |      810
1453.87/1454.39	c 1454s |      19 |   761139 |   527382 |    27949     40 |      825 |      810
1455.97/1456.44	c 1456s |      19 |   761857 |   528082 |    27949     40 |      825 |      810
1457.97/1458.48	c 1458s |      19 |   762600 |   528782 |    27949     40 |      825 |      810
1460.07/1460.52	c 1460s |      19 |   763351 |   529482 |    27949     40 |      825 |      810
1462.16/1462.61	c 1462s |      19 |   764089 |   530182 |    27949     40 |      825 |      810
1464.36/1464.85	c 1464s |      19 |   764825 |   530882 |    27949     40 |      825 |      810
1466.56/1467.06	c 1466s |      19 |   765570 |   531582 |    27949     40 |      825 |      810
1468.56/1469.06	c 1468s |      19 |   766299 |   532282 |    27949     40 |      825 |      810
1470.76/1471.25	c 1470s |      19 |   767027 |   532982 |    27949     40 |      825 |      810
1472.96/1473.48	c 1473s |      19 |   767641 |   533582 |    27949     40 |      825 |      810
1475.16/1475.63	c 1475s |      19 |   768256 |   534182 |    27949     40 |      825 |      810
1477.26/1477.74	c 1477s |      19 |   768889 |   534782 |    27949     40 |      825 |      810
1479.56/1480.01	c 1479s |      19 |   769628 |   535482 |    27949     40 |      825 |      810
1481.66/1482.12	c 1481s |      19 |   770269 |   536082 |    27949     40 |      825 |      810
1483.76/1484.25	c 1483s |      19 |   770895 |   536682 |    27949     40 |      825 |      810
1485.96/1486.48	c 1486s |      19 |   771531 |   537282 |    27949     40 |      825 |      810
1488.06/1488.54	c 1488s |      19 |   772059 |   537782 |    27949     40 |      825 |      810
1490.36/1490.84	c 1490s |      19 |   772670 |   538382 |    27949     40 |      825 |      810
1492.76/1493.24	c 1492s |      19 |   773199 |   538882 |    27949     41 |      825 |      810
1494.86/1495.38	c 1495s |      19 |   774051 |   539682 |    27949     41 |      825 |      810
1497.16/1497.62	c 1497s |      19 |   774795 |   540382 |    27949     41 |      825 |      810
1499.36/1499.87	c 1499s |      19 |   775642 |   541182 |    27949     41 |      825 |      810
1501.56/1502.00	c 1501s |      19 |   776485 |   541982 |    27949     41 |      825 |      810
1503.76/1504.22	c 1503s |      19 |   777303 |   542782 |    27949     41 |      825 |      810
1505.86/1506.31	c 1506s |      19 |   778145 |   543582 |    27949     41 |      825 |      810
1508.06/1508.53	c 1508s |      19 |   778880 |   544282 |    27949     41 |      825 |      810
1510.16/1510.63	c 1510s |      19 |   779608 |   544982 |    27949     41 |      825 |      810
1512.16/1512.69	c 1512s |      19 |   780348 |   545682 |    27949     41 |      825 |      810
1514.26/1514.71	c 1514s |      19 |   781101 |   546382 |    27949     41 |      825 |      810
1516.46/1516.95	c 1516s |      19 |   781844 |   547082 |    27949     41 |      825 |      810
1518.76/1519.22	c 1518s |      19 |   782462 |   547682 |    27949     41 |      825 |      810
1520.75/1521.27	c 1520s |      19 |   783099 |   548282 |    27949     41 |      825 |      810
1522.95/1523.40	c 1523s |      19 |   783747 |   548882 |    27949     41 |      825 |      810
1525.05/1525.59	c 1525s |      19 |   784497 |   549582 |    27949     41 |      825 |      810
1527.15/1527.60	c 1527s |      19 |   785134 |   550182 |    27949     41 |      825 |      810
1529.15/1529.69	c 1529s |      19 |   785770 |   550782 |    27949     41 |      825 |      810
1531.35/1531.87	c 1531s |      19 |   786399 |   551382 |    27949     41 |      825 |      810
1533.65/1534.16	c 1533s |      19 |   787034 |   551982 |    27949     41 |      825 |      810
1535.85/1536.32	c 1536s |      19 |   787678 |   552582 |    27949     41 |      825 |      810
1538.15/1538.67	c 1538s |      19 |   788300 |   553182 |    27949     41 |      825 |      810
1540.35/1540.85	c 1540s |      19 |   788940 |   553782 |    27949     41 |      825 |      810
1542.86/1543.36	c 1543s |      19 |   789583 |   554382 |    27949     42 |      825 |      810
1545.06/1545.58	c 1545s |      19 |   790440 |   555182 |    27949     42 |      825 |      810
1547.15/1547.66	c 1547s |      19 |   791278 |   555982 |    27949     42 |      825 |      810
1549.35/1549.85	c 1549s |      19 |   792116 |   556782 |    27949     42 |      825 |      810
1551.55/1552.07	c 1551s |      19 |   792955 |   557582 |    27949     42 |      825 |      810
1553.75/1554.29	c 1554s |      19 |   793797 |   558382 |    27949     42 |      825 |      810
1555.85/1556.30	c 1556s |      19 |   794528 |   559082 |    27949     42 |      825 |      810
1557.95/1558.43	c 1558s |      19 |   795377 |   559882 |    27949     42 |      825 |      810
1560.15/1560.67	c 1560s |      19 |   796214 |   560682 |    27949     42 |      825 |      810
1562.45/1562.90	c 1562s |      19 |   796943 |   561382 |    27949     42 |      825 |      810
1564.65/1565.13	c 1564s |      19 |   797659 |   562082 |    27949     42 |      825 |      810
1566.95/1567.44	c 1567s |      19 |   798394 |   562782 |    27949     42 |      825 |      810
1568.95/1569.45	c 1569s |      19 |   799013 |   563382 |    27949     42 |      825 |      810
1571.05/1571.59	c 1571s |      19 |   799655 |   563982 |    27949     42 |      825 |      810
1573.24/1573.75	c 1573s |      19 |   800273 |   564582 |    27949     42 |      825 |      810
1575.54/1576.06	c 1575s |      19 |   801021 |   565282 |    27949     42 |      825 |      810
1577.54/1578.07	c 1577s |      19 |   801645 |   565882 |    27949     42 |      825 |      810
1579.94/1580.41	c 1580s |      19 |   802296 |   566482 |    27949     42 |      825 |      810
1581.94/1582.44	c 1582s |      19 |   802920 |   567082 |    27949     42 |      825 |      810
1584.14/1584.65	c 1584s |      19 |   803558 |   567682 |    27949     42 |      825 |      810
1586.34/1586.81	c 1586s |      19 |   804068 |   568182 |    27949     42 |      825 |      810
1588.64/1589.15	c 1588s |      19 |   804694 |   568782 |    27949     42 |      825 |      810
1590.64/1591.16	c 1590s |      19 |   805214 |   569282 |    27949     42 |      825 |      810
1593.34/1593.81	c 1593s |      19 |   805845 |   569882 |    27949     43 |      825 |      810
1595.54/1596.03	c 1595s |      19 |   806692 |   570682 |    27949     43 |      825 |      810
1597.74/1598.22	c 1597s |      19 |   807526 |   571482 |    27949     43 |      825 |      810
1599.84/1600.37	c 1600s |      19 |   808361 |   572282 |    27949     43 |      825 |      810
1602.04/1602.58	c 1602s |      19 |   809198 |   573082 |    27949     43 |      825 |      810
1604.14/1604.65	c 1604s |      19 |   809939 |   573782 |    27949     43 |      825 |      810
1606.34/1606.82	c 1606s |      19 |   810669 |   574482 |    27949     43 |      825 |      810
1608.44/1608.98	c 1608s |      19 |   811406 |   575182 |    27949     43 |      825 |      810
1610.54/1611.03	c 1610s |      19 |   812171 |   575882 |    27949     43 |      825 |      810
1612.64/1613.11	c 1612s |      19 |   812915 |   576582 |    27949     43 |      825 |      810
1614.94/1615.43	c 1615s |      19 |   813646 |   577282 |    27949     43 |      825 |      810
1617.14/1617.60	c 1617s |      19 |   814376 |   577982 |    27949     43 |      825 |      810
1619.34/1619.82	c 1619s |      19 |   815106 |   578682 |    27949     43 |      825 |      810
1621.34/1621.89	c 1621s |      19 |   815842 |   579382 |    27949     43 |      825 |      810
1623.54/1624.08	c 1623s |      19 |   816622 |   580082 |    27949     43 |      825 |      810
1625.73/1626.21	c 1625s |      19 |   817463 |   580882 |    27949     43 |      825 |      810
1627.93/1628.45	c 1628s |      19 |   818314 |   581682 |    27949     43 |      825 |      810
1630.03/1630.59	c 1630s |      19 |   819193 |   582482 |    27949     43 |      825 |      810
1632.23/1632.73	c 1632s |      19 |   820051 |   583282 |    27949     43 |      825 |      810
1634.33/1634.88	c 1634s |      19 |   820790 |   583982 |    27949     43 |      825 |      810
1636.63/1637.13	c 1636s |      19 |   821536 |   584682 |    27949     43 |      825 |      810
1638.93/1639.47	c 1639s |      19 |   822183 |   585282 |    27949     44 |      825 |      810
1641.23/1641.71	c 1641s |      19 |   823136 |   586182 |    27949     44 |      825 |      810
1643.23/1643.73	c 1643s |      19 |   823968 |   586982 |    27949     44 |      825 |      810
1645.24/1645.77	c 1645s |      19 |   825045 |   587982 |    27949     44 |      825 |      810
1647.23/1647.77	c 1647s |      19 |   826048 |   588882 |    27949     44 |      825 |      810
1649.33/1649.84	c 1649s |      19 |   827017 |   589782 |    27949     44 |      825 |      810
1651.43/1651.90	c 1651s |      19 |   827983 |   590682 |    27949     44 |      825 |      810
1653.43/1653.96	c 1653s |      19 |   828930 |   591582 |    27949     44 |      825 |      810
1655.43/1655.96	c 1655s |      19 |   829776 |   592382 |    27949     44 |      825 |      810
1657.53/1658.08	c 1657s |      19 |   830638 |   593182 |    27949     44 |      825 |      810
1659.83/1660.39	c 1660s |      19 |   831382 |   593882 |    27949     44 |      825 |      810
1661.93/1662.47	c 1662s |      19 |   832153 |   594582 |    27949     44 |      825 |      810
1663.94/1664.49	c 1664s |      19 |   832937 |   595282 |    27949     44 |      825 |      810
1666.04/1666.51	c 1666s |      19 |   833572 |   595882 |    27949     44 |      825 |      810
1668.03/1668.57	c 1668s |      19 |   834241 |   596482 |    27949     44 |      825 |      810
1670.33/1670.86	c 1670s |      19 |   835022 |   597182 |    27949     44 |      825 |      810
1672.43/1672.97	c 1672s |      19 |   835777 |   597882 |    27949     44 |      825 |      810
1674.53/1675.06	c 1674s |      19 |   836527 |   598582 |    27949     44 |      825 |      810
1676.73/1677.22	c 1676s |      19 |   837171 |   599182 |    27949     44 |      825 |      810
1678.93/1679.47	c 1679s |      19 |   837930 |   599882 |    27949     44 |      825 |      810
1681.23/1681.74	c 1681s |      19 |   838661 |   600582 |    27949     44 |      825 |      810
1683.23/1683.75	c 1683s |      19 |   839183 |   601082 |    27949     45 |      825 |      810
1685.33/1685.83	c 1685s |      19 |   839915 |   601782 |    27949     45 |      825 |      810
1687.43/1687.95	c 1687s |      19 |   840773 |   602582 |    27949     45 |      825 |      810
1689.63/1690.15	c 1689s |      19 |   841623 |   603382 |    27949     45 |      825 |      810
1691.82/1692.31	c 1692s |      19 |   842363 |   604082 |    27949     45 |      825 |      810
1694.02/1694.55	c 1694s |      19 |   843267 |   604882 |    27949     45 |      825 |      810
1696.12/1696.64	c 1696s |      19 |   844033 |   605582 |    27949     45 |      825 |      810
1698.22/1698.75	c 1698s |      19 |   844777 |   606282 |    27949     45 |      825 |      810
1700.42/1700.97	c 1700s |      19 |   845525 |   606982 |    27949     45 |      825 |      810
1702.72/1703.25	c 1702s |      19 |   846282 |   607682 |    27949     45 |      825 |      810
1705.02/1705.54	c 1705s |      19 |   847164 |   608482 |    27949     45 |      825 |      810
1707.02/1707.55	c 1707s |      19 |   847810 |   609082 |    27949     45 |      825 |      810
1709.12/1709.62	c 1709s |      19 |   848598 |   609782 |    27949     45 |      825 |      810
1711.13/1711.64	c 1711s |      19 |   849277 |   610382 |    27949     45 |      825 |      810
1713.33/1713.86	c 1713s |      19 |   849936 |   610982 |    27949     45 |      825 |      810
1715.63/1716.17	c 1715s |      19 |   850698 |   611682 |    27949     45 |      825 |      810
1717.73/1718.27	c 1717s |      19 |   851342 |   612282 |    27949     45 |      825 |      810
1719.93/1720.47	c 1720s |      19 |   851991 |   612882 |    27949     45 |      825 |      810
1721.92/1722.48	c 1722s |      19 |   852645 |   613482 |    27949     45 |      825 |      810
1724.22/1724.72	c 1724s |      19 |   853295 |   614082 |    27949     45 |      825 |      810
1726.42/1726.93	c 1726s |      19 |   853936 |   614682 |    27949     45 |      825 |      810
1728.52/1729.09	c 1728s |      19 |   854588 |   615282 |    27949     45 |      825 |      810
1730.92/1731.43	c 1731s |      19 |   855373 |   615982 |    27949     45 |      825 |      810
1732.92/1733.46	c 1733s |      19 |   856079 |   616582 |    27949     46 |      825 |      810
1735.22/1735.72	c 1735s |      19 |   856960 |   617382 |    27949     46 |      825 |      810
1737.52/1738.02	c 1737s |      19 |   857825 |   618182 |    27949     46 |      825 |      810
1739.62/1740.16	c 1739s |      19 |   858682 |   618982 |    27949     46 |      825 |      810
1741.72/1742.20	c 1741s |      19 |   859650 |   619882 |    27949     46 |      825 |      810
1743.82/1744.30	c 1744s |      19 |   860528 |   620682 |    27949     46 |      825 |      810
1746.02/1746.50	c 1746s |      19 |   861399 |   621482 |    27949     46 |      825 |      810
1748.32/1748.80	c 1748s |      19 |   862262 |   622282 |    27949     46 |      825 |      810
1750.51/1751.07	c 1750s |      19 |   863026 |   622982 |    27949     46 |      825 |      810
1752.92/1753.42	c 1753s |      19 |   863897 |   623782 |    27949     46 |      825 |      810
1755.01/1755.56	c 1755s |      19 |   864650 |   624482 |    27949     46 |      825 |      810
1757.32/1757.84	c 1757s |      19 |   865421 |   625182 |    27949     46 |      825 |      810
1759.41/1760.00	c 1759s |      19 |   866049 |   625782 |    27949     46 |      825 |      810
1761.51/1762.03	c 1761s |      19 |   866679 |   626382 |    27949     46 |      825 |      810
1763.71/1764.23	c 1763s |      19 |   867309 |   626982 |    27949     46 |      825 |      810
1765.71/1766.29	c 1766s |      19 |   867949 |   627582 |    27949     46 |      825 |      810
1767.91/1768.48	c 1768s |      19 |   868581 |   628182 |    27949     46 |      825 |      810
1770.11/1770.61	c 1770s |      19 |   869215 |   628782 |    27949     46 |      825 |      810
1772.11/1772.68	c 1772s |      19 |   869852 |   629382 |    27949     46 |      825 |      810
1774.41/1774.90	c 1774s |      19 |   870504 |   629982 |    27949     46 |      825 |      810
1776.71/1777.29	c 1777s |      19 |   871150 |   630582 |    27949     46 |      825 |      810
1778.81/1779.31	c 1779s |      19 |   871797 |   631182 |    27949     46 |      825 |      810
1780.81/1781.32	c 1781s |      19 |   872471 |   631782 |    27949     46 |      825 |      810
1782.81/1783.34	c 1783s |      19 |   873128 |   632382 |    27949     47 |      825 |      810
1785.01/1785.57	c 1785s |      19 |   873971 |   633182 |    27949     47 |      825 |      810
1787.21/1787.79	c 1787s |      19 |   874829 |   633982 |    27949     47 |      825 |      810
1789.32/1789.81	c 1789s |      19 |   875595 |   634682 |    27949     47 |      825 |      810
1791.61/1792.12	c 1791s |      19 |   876329 |   635382 |    27949     47 |      825 |      810
1793.81/1794.33	c 1794s |      19 |   877065 |   636082 |    27949     47 |      825 |      810
1795.81/1796.36	c 1796s |      19 |   877717 |   636682 |    27949     47 |      825 |      810
1797.81/1798.38	c 1798s |      19 |   878337 |   637282 |    27949     47 |      825 |      810

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

pid=32743
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: 0.92 0.98 1.09 3/175 32746
/proc/meminfo: memFree=31860748/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=605628 CPUtime=0 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 2241 0 0 0 0 0 0 0 20 0 4 0 31121954 620163072 2601 33554432000 4194304 16246674 140736005582144 140736005581568 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32746/statm: 152175 2610 441 2943 0 149069 0
[pid=32746/tid=32749] ppid=32743 vsize=624060 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 639037440 2673 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=629180 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 644280320 2690 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=633276 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 648474624 2706 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 0.92 0.98 1.09 3/175 32746
/proc/meminfo: memFree=31860748/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 28468 0 0 0 5 4 0 0 20 0 4 0 31121954 1249447936 28766 33554432000 4194304 16246674 140736005582144 140736005564032 4220897 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32746/statm: 305041 28766 801 2943 0 301935 0
[pid=32746/tid=32749] ppid=32743 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1249447936 28766 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1249447936 28766 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1249447936 28766 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200438 s]
/proc/loadavg: 0.92 0.98 1.09 3/175 32746
/proc/meminfo: memFree=31860748/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 48675 0 0 0 12 7 0 0 20 0 4 0 31121954 1332285440 48973 33554432000 4194304 16246674 140736005582144 140736005564032 13784984 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32746/statm: 325265 48973 842 2943 0 322159 0
[pid=32746/tid=32749] ppid=32743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 48973 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 48973 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 48973 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300383 s]
/proc/loadavg: 0.92 0.98 1.09 3/175 32746
/proc/meminfo: memFree=31860748/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 54811 0 0 0 21 8 0 0 20 0 4 0 31121954 1332285440 55109 33554432000 4194304 16246674 140736005582144 140736005564032 5677541 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32746/statm: 325265 55114 882 2943 0 322159 0
[pid=32746/tid=32749] ppid=32743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 55117 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 55120 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 55122 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700292 s]
/proc/loadavg: 0.92 0.98 1.09 3/175 32746
/proc/meminfo: memFree=31860748/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 105108 0 0 0 56 13 0 0 20 0 4 0 31121954 1332285440 105407 33554432000 4194304 16246674 140736005582144 140736005564032 5546181 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32746/statm: 325265 105410 882 2943 0 322159 0
[pid=32746/tid=32749] ppid=32743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 105413 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 105416 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 105420 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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: 0.92 0.98 1.09 3/186 32759
/proc/meminfo: memFree=30604296/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 209225 0 0 0 121 28 0 0 20 0 4 0 31121954 1332285440 209523 33554432000 4194304 16246674 140736005582144 140736005564032 13954410 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32746/statm: 325265 209528 882 2943 0 322159 0
[pid=32746/tid=32749] ppid=32743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 209531 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 209533 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 209536 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10043 s]
/proc/loadavg: 0.92 0.98 1.09 3/186 32759
/proc/meminfo: memFree=29705040/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 269304 0 0 0 271 38 0 0 20 0 4 0 31121954 1344868352 269602 33554432000 4194304 16246674 140736005582144 140736005564032 6012041 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32746/statm: 328337 269602 888 2943 0 325231 0
[pid=32746/tid=32749] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269602 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269602 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269602 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 1.01 1.00 1.10 3/186 32759
/proc/meminfo: memFree=29704116/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 269524 0 0 0 590 39 0 0 20 0 4 0 31121954 1344868352 269822 33554432000 4194304 16246674 140736005582144 140736005564032 13759627 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32746/statm: 328337 269822 889 2943 0 325231 0
[pid=32746/tid=32749] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269822 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269822 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269822 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 1.09 1.02 1.10 3/186 32759
/proc/meminfo: memFree=29704892/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 269524 0 0 0 1229 39 0 0 20 0 4 0 31121954 1344868352 269822 33554432000 4194304 16246674 140736005582144 140736005565144 5822740 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32746/statm: 328337 269822 889 2943 0 325231 0
[pid=32746/tid=32749] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269822 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269822 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269822 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 1.29 1.06 1.11 3/185 32759
/proc/meminfo: memFree=29705976/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1313348 CPUtime=25.47 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 269528 0 0 0 2508 39 0 0 20 0 4 0 31121954 1344868352 269825 33554432000 4194304 16246674 140736005582144 140736005564032 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32746/statm: 328337 269825 891 2943 0 325231 0
[pid=32746/tid=32749] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269825 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269825 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269825 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 1.53 1.14 1.13 3/185 32760
/proc/meminfo: memFree=29706180/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1313348 CPUtime=51.06 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 269541 0 0 0 5067 39 0 0 20 0 4 0 31121954 1344868352 269826 33554432000 4194304 16246674 140736005582144 140736005565136 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32746/statm: 328337 269826 892 2943 0 325231 0
[pid=32746/tid=32749] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269826 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269826 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269826 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 1.84 1.28 1.18 3/185 32761
/proc/meminfo: memFree=29696432/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1313348 CPUtime=102.26 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 269560 0 0 0 10186 40 0 0 20 0 4 0 31121954 1344868352 269826 33554432000 4194304 16246674 140736005582144 140736005564032 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32746/statm: 328337 269826 892 2943 0 325231 0
[pid=32746/tid=32749] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269826 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269826 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269826 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1313348


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

/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275714 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/185 348
/proc/meminfo: memFree=29647240/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1336900 CPUtime=1361.87 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 275753 0 0 0 136137 50 0 0 20 0 4 0 31121954 1368985600 275714 33554432000 4194304 16246674 140736005582144 140736005564032 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32746/statm: 334225 275714 892 2943 0 331119 0
[pid=32746/tid=32749] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275714 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275714 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275714 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/185 349
/proc/meminfo: memFree=29645440/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1336900 CPUtime=1421.88 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 275754 0 0 0 142137 51 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140736005564032 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32746/statm: 334225 275970 892 2943 0 331119 0
[pid=32746/tid=32749] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/185 350
/proc/meminfo: memFree=29645840/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1336900 CPUtime=1481.86 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 275754 0 0 0 148135 51 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140736005564032 6023624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32746/statm: 334225 275970 892 2943 0 331119 0
[pid=32746/tid=32749] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.11 2.02 1.81 3/185 351
/proc/meminfo: memFree=29646556/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1336900 CPUtime=1541.86 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 275754 0 0 0 154135 51 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140736005564032 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32746/statm: 334225 275970 892 2943 0 331119 0
[pid=32746/tid=32749] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.82 3/185 353
/proc/meminfo: memFree=29646552/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1336900 CPUtime=1601.84 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 275754 0 0 0 160133 51 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140736005564032 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32746/statm: 334225 275970 892 2943 0 331119 0
[pid=32746/tid=32749] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.83 3/185 354
/proc/meminfo: memFree=29646536/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1336900 CPUtime=1661.83 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 275754 0 0 0 166132 51 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140736005564032 5673488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32746/statm: 334225 275970 892 2943 0 331119 0
[pid=32746/tid=32749] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/185 355
/proc/meminfo: memFree=29646280/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1336900 CPUtime=1721.82 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 275754 0 0 0 172131 51 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140736005564032 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32746/statm: 334225 275970 892 2943 0 331119 0
[pid=32746/tid=32749] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/186 359
/proc/meminfo: memFree=29645984/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1336900 CPUtime=1781.81 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 275754 0 0 0 178130 51 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140736005564032 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32746/statm: 334225 275970 892 2943 0 331119 0
[pid=32746/tid=32749] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.84 3/186 359
/proc/meminfo: memFree=29645984/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1336900 CPUtime=1800.01 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 275754 0 0 0 179950 51 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140736005564032 12415751 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32746/statm: 334225 275970 892 2943 0 331119 0
[pid=32746/tid=32749] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1336900

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.84 3/186 359
/proc/meminfo: memFree=29645984/32872528 swapFree=8028/8028
[pid=32746] ppid=32743 vsize=1336900 CPUtime=1800.01 cores=1,3,5,7
/proc/32746/stat : 32746 (toysat) R 32743 32746 32706 0 -1 4202496 275754 0 0 0 179950 51 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140736005564032 12415751 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32746/statm: 334225 275970 892 2943 0 331119 0
[pid=32746/tid=32749] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32749/stat : 32749 (toysat) S 32743 32746 32706 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123401334000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=32746/tid=32750] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32750/stat : 32750 (toysat) S 32743 32746 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123390844144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=32746/tid=32751] ppid=32743 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/32746/task/32751/stat : 32751 (toysat) S 32743 32746 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 1368985600 275970 33554432000 4194304 16246674 140736005582144 140123308027056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1336900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.51
CPU system time (s): 0.51992
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.51992
maximum resident set size= 1103880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275754
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= 354
involuntary context switches= 2079

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42633 second user time and 7.12892 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-27 00:40:38
IDJOB=4116165
IDBENCH=109436
IDSOLVER=2542
FILE ID=node133/4116165-1466980838
RUNJOBID= node133-1466980838-32723
PBS_JOBID= 19976360
Free space on /tmp= 71548 MiB

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

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

MD5SUM BENCH= bf04809290bbe30132128e0647cb7eac
RANDOM SEED=144149311

node133.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.951
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.90
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.951
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.951
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.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31862028 kB
Buffers:           24252 kB
Cached:           274260 kB
SwapCached:         1984 kB
Active:            71092 kB
Inactive:         229788 kB
Active(anon):       3964 kB
Inactive(anon):     1152 kB
Active(file):      67128 kB
Inactive(file):   228636 kB
Unevictable:        8028 kB
Mlocked:            8028 kB
SwapTotal:      67108856 kB
SwapFree:       67098340 kB
Dirty:             33516 kB
Writeback:             8 kB
AnonPages:         10380 kB
Mapped:             6744 kB
Shmem:                 0 kB
Slab:             568128 kB
SReclaimable:      11656 kB
SUnreclaim:       556472 kB
KernelStack:        1352 kB
PageTables:         4220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     105356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71520 MiB
End job on node133 at 2016-06-27 01:10:39