Trace number 4100865

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.01 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-d2q06c.opb
MD5SUM121100115f65aafe7304954ad1ff7cf1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark52.644
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155010
Total number of constraints2171
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2171
Minimum length of a constraint30
Maximum length of a constraint3270
Number of terms in the objective function 89670
Biggest coefficient in the objective function 1092
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 602590
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 602590
Number of bits of the biggest sum of numbers20
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-18T04:59:21+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-4100865-1466218761.opb"]
0.00/0.01	c use --random-gen="1359983531 2464303290 1668221283 8729490 159839189 589425453 1483536589 3153461193 1461715540 1880910347 1155155756 1296777299 1675824164 2430376284 3677861209 1850955414 4055219935 1205588162 1961544668 3225443451 2462835770 77251465 2006089840 3612753375 550793773 1042237315 3860106108 1911617649 3992364418 2515441131 1680206936 2225320906 531320611 3802845172 424577840 2619381272 340330600 836978121 1801582758 4020298382 2431631159 3313447241 2167481180 2402137296 2938954342 2440944845 3559221752 3087197776 563679701 3967981312 3061603615 485613694 1142964943 330939253 3924712326 1756935064 1329993011 360297835 979763977 2974323112 860532226 2472614576 186152 1057027020 1994115279 1969333404 3600964010 2201643597 4083584704 3619526887 812965267 3876137371 3208014888 2372190270 1382379377 45460994 271761789 2640518907 390505930 1436746171 3239343037 2545711961 3819222984 3908116617 2299177241 1553467265 1471964103 2184282138 514692795 2563398524 3130125137 340831557 1677576987 2141889790 3957077246 2628161459 867348132 3222693928 707520431 2412396347 2723732584 814886657 202814454 4196027431 3172074002 2045478058 2129292368 2785299890 1971680623 57021930 3455635740 2665094494 411912447 2844317236 4176274924 3544038947 4263478077 3411136692 1287689548 723836965 3658207385 2537952119 4028356111 2304963666 4258597944 3214273862 2258233252 2229905423 1642848042 1409521877 3034373601 110516830 1325185877 1194963661 2074813248 147569168 418770000 224122810 1251744513 197639953 2426680370 2315744237 1735904291 2829657625 2556298993 14839282 3893226138 2647375282 3801110806 2425296018 3376645639 2726345266 3496449869 173272378 286470818 1890152545 1843448005 2160706288 3034322943 3962085097 2082422546 2915185193 3871612483 2024261505 4105290026 477809163 2428399185 2209242266 2941324064 4266252836 2688811681 704641083 39312649 1028083611 3388324728 683468884 654410402 1555986366 1535020505 1691307380 318092770 2809972040 3698479386 3964497928 3656251176 2733124442 4135103778 3820549320 1827802616 1852840839 2645814169 2466808906 1469840202 3754468833 820777336 219346214 3196341690 650934466 3897606093 828527848 938774538 3948787681 2850422966 3232422589 3632561724 2602157218 2491052865 1379698768 2632475193 831274455 2809021058 150230601 479135135 139341733 2779081065 1673541452 3929811087 150366973 3497024610 4239320249 1972845399 2627245781 2438879420 295178122 1748305428 3295208005 2569210107 4132435630 646063483 2556289690 3203435906 3820206791 3904275130 3520989680 2054184722 2388666138 2138757637 1776567639 3825271761 4196901438 2692516568 3638512779 236076968 2611611495 183391014 1024856072 522537549 2934089602 1966795837 4173843164 2339382372 3739069746 545080278 1829369639 2901791566 1667146803 255 362436" option to reproduce the execution
1.69/1.72	c #vars 155010
1.69/1.72	c #constraints 2171
7.09/7.15	c BCD2: Hardening is enabled.
7.09/7.15	c BCD2: BiasedSearch is enabled.
7.09/7.15	c Solving starts ...
7.09/7.16	c ============================[ Search Statistics ]============================
7.09/7.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.09/7.16	c       |         |          |          |    Limit     GC | Var      | Constra 
7.09/7.16	c =============================================================================
7.09/7.17	c  0.0s |       0 |        0 |        0 |    52894      0 |    46873 |        0
7.39/7.47	c  0.3s |       1 |     1071 |      100 |    52894      0 |    46874 |        4
7.69/7.78	c  0.6s |       2 |     3712 |      250 |    58184      0 |    46875 |        4
7.89/7.96	c  0.8s |       3 |     3974 |      475 |    64003      0 |    46875 |        4
8.09/8.16	c  1.0s |       4 |     5574 |      813 |    70404      0 |    46875 |        4
8.59/8.62	c  1.4s |       5 |     7751 |     1320 |    77445      0 |    46875 |        4
9.28/9.37	c  2.2s |       6 |     8588 |     2081 |    93710      0 |    46875 |        4
10.48/10.50	c  3.3s |       7 |    10200 |     3223 |   103082      0 |    46875 |        4
11.48/11.50	c  4.3s |       8 |    12332 |     4936 |   113391      0 |    46875 |        4
13.19/13.22	c  6.0s |       9 |    15547 |     7506 |   124731      0 |    46875 |        4
15.28/15.39	c  8.2s |       9 |    17255 |     8906 |   124731      0 |    46875 |        4
17.38/17.45	c 10.3s |       9 |    18054 |     9706 |   124731      0 |    46875 |        4
19.68/19.73	c 12.6s |       9 |    18858 |    10506 |   124731      0 |    46875 |        4
21.78/21.82	c 14.6s |       9 |    19565 |    11206 |   124731      0 |    46875 |        4
22.28/22.31	c 15.1s |      10 |    19720 |    11361 |   137205      0 |    46875 |        4
24.29/24.32	c 17.1s |      10 |    28405 |    13661 |   137205      0 |    46879 |        4
26.39/26.43	c 19.3s |      10 |    30577 |    15661 |   137205      0 |    46880 |        4
28.69/28.77	c 21.6s |      10 |    31780 |    16261 |   137205      0 |    46882 |        4
30.79/30.90	c 23.7s |      10 |    32249 |    16761 |   137205      0 |    46882 |        4
32.48/32.54	c 25.4s |      11 |    32671 |    17144 |   150926      0 |    46882 |        4
34.88/34.95	c 27.8s |      11 |    33598 |    17744 |   150926      0 |    46882 |        4
37.08/37.18	c 30.0s |      11 |    34057 |    18244 |   150926      0 |    46882 |        4
39.38/39.40	c 32.2s |      11 |    34700 |    18744 |   150926      0 |    46882 |        4
41.38/41.41	c 34.2s |      11 |    35251 |    19244 |   150926      0 |    46882 |        4
43.78/43.82	c 36.7s |      11 |    35970 |    19844 |   150926      0 |    46882 |        4
45.88/45.95	c 38.8s |      11 |    36583 |    20344 |   150926      0 |    46882 |        4
47.98/48.05	c 40.9s |      11 |    37406 |    20944 |   150926      0 |    46882 |        4
50.28/50.33	c 43.2s |      11 |    38092 |    21544 |   150926      0 |    46882 |        4
52.48/52.56	c 45.4s |      11 |    38890 |    22144 |   150926      0 |    46882 |        4
54.58/54.69	c 47.5s |      11 |    39923 |    22844 |   150926      0 |    46882 |        4
56.68/56.70	c 49.5s |      11 |    41292 |    24144 |   150926      0 |    46882 |        4
58.78/58.80	c 51.6s |      11 |    42941 |    25744 |   166019      0 |    46882 |        4
58.88/58.90	c 51.7s |      12 |    43020 |    25819 |   166019      0 |    46882 |        4
60.87/60.92	c 53.7s |      12 |    49600 |    27619 |   166019      0 |    46882 |        4
62.87/62.99	c 55.8s |      12 |    51374 |    29319 |   166019      0 |    46882 |        4
64.98/65.03	c 57.9s |      12 |    53003 |    30919 |   166019      0 |    46882 |        4
66.97/67.04	c 59.9s |      12 |    54619 |    32519 |   166019      0 |    46882 |        4
68.97/69.05	c 61.9s |      12 |    56134 |    34019 |   166019      0 |    46882 |        4
71.07/71.11	c 63.9s |      12 |    57661 |    35519 |   166019      0 |    46882 |        4
73.17/73.22	c 66.0s |      12 |    59200 |    37019 |   166019      0 |    46882 |        4
75.17/75.23	c 68.1s |      12 |    60562 |    38319 |   166019      0 |    46882 |        4
75.98/76.08	c 68.9s |      13 |    61100 |    38832 |   182621      0 |    46882 |        4
77.97/78.10	c 70.9s |      13 |    62553 |    39932 |   182621      0 |    46882 |        4
80.17/80.22	c 73.1s |      13 |    63839 |    41232 |   182621      0 |    46882 |        4
82.27/82.34	c 75.2s |      13 |    65044 |    42432 |   182621      0 |    46882 |        4
84.27/84.37	c 77.2s |      13 |    66133 |    43532 |   182621      0 |    46882 |        4
86.37/86.44	c 79.3s |      13 |    67244 |    44632 |   182621      0 |    46882 |        4
88.47/88.52	c 81.3s |      13 |    68364 |    45732 |   182621      0 |    46882 |        4
90.47/90.52	c 83.4s |      13 |    69553 |    46932 |   182621      0 |    46882 |        4
92.48/92.57	c 85.4s |      13 |    70571 |    47932 |   182621      0 |    46882 |        4
94.47/94.58	c 87.4s |      13 |    71587 |    48932 |   182621      0 |    46882 |        4
96.57/96.62	c 89.5s |      13 |    72579 |    49932 |   182621      0 |    46882 |        4
98.67/98.79	c 91.6s |      13 |    73676 |    51032 |   182621      0 |    46882 |        4
100.78/100.89	c 93.7s |      13 |    74666 |    52032 |   182621      0 |    46882 |        4
102.98/103.01	c 95.8s |      13 |    75699 |    53032 |   182621      0 |    46882 |        4
104.98/105.01	c 97.8s |      13 |    76567 |    53932 |   182621      0 |    46882 |        4
107.18/107.23	c  100s |      13 |    77812 |    55132 |   182621      0 |    46882 |        4
109.48/109.51	c  102s |      13 |    78712 |    56032 |   182621      0 |    46882 |        4
111.68/111.72	c  104s |      13 |    79608 |    56932 |   182621      0 |    46882 |        4
113.68/113.78	c  106s |      13 |    80469 |    57832 |   182621      0 |    46882 |        4
114.78/114.88	c  107s |      14 |    80994 |    58352 |   200884      0 |    46882 |        4
116.88/116.98	c  109s |      14 |    81759 |    58952 |   200884      0 |    46882 |        4
119.07/119.10	c  111s |      14 |    82459 |    59652 |   200884      0 |    46882 |        4
121.08/121.19	c  114s |      14 |    83046 |    60252 |   200884      0 |    46882 |        4
123.28/123.35	c  116s |      14 |    83590 |    60852 |   200884      0 |    46882 |        4
125.38/125.49	c  118s |      14 |    84296 |    61452 |   200884      0 |    46882 |        4
127.68/127.71	c  120s |      14 |    84824 |    62052 |   200884      0 |    46882 |        4
129.78/129.89	c  122s |      14 |    85481 |    62652 |   200884      0 |    46882 |        4
132.17/132.21	c  125s |      14 |    86029 |    63252 |   200884      0 |    46882 |        4
134.18/134.21	c  127s |      14 |    86628 |    63752 |   200884      0 |    46882 |        4
136.17/136.23	c  129s |      14 |    87113 |    64252 |   200884      0 |    46882 |        4
138.37/138.46	c  131s |      14 |    87664 |    64752 |   200884      0 |    46882 |        4
140.57/140.69	c  133s |      14 |    88123 |    65252 |   200884      0 |    46882 |        4
142.87/142.99	c  135s |      14 |    88909 |    65752 |   200884      0 |    46882 |        4
145.07/145.13	c  137s |      14 |    89572 |    66152 |   200884      0 |    46882 |        4
147.17/147.25	c  140s |      14 |    90436 |    66652 |   200884      0 |    46882 |        4
149.58/149.66	c  142s |      14 |    91041 |    67152 |   200884      0 |    46882 |        4
152.07/152.13	c  144s |      14 |    91585 |    67652 |   200884      0 |    46882 |        4
154.37/154.45	c  147s |      14 |    92234 |    68152 |   200884      0 |    46882 |        4
156.57/156.69	c  149s |      14 |    92775 |    68652 |   200884      0 |    46882 |        4
158.77/158.87	c  151s |      14 |    93781 |    69052 |   200884      0 |    46882 |        4
161.17/161.28	c  154s |      14 |    94873 |    69552 |   200884      0 |    46882 |        4
163.27/163.35	c  156s |      14 |    95591 |    69952 |   200884      0 |    46882 |        4
165.27/165.39	c  158s |      14 |    95948 |    70352 |   200884      0 |    46882 |        4
167.77/167.82	c  160s |      14 |    96530 |    70852 |   200884      0 |    46882 |        4
169.77/169.84	c  162s |      14 |    97013 |    71252 |   200884      0 |    46882 |        4
172.16/172.27	c  165s |      14 |    97623 |    71752 |   200884      0 |    46882 |        4
174.26/174.30	c  167s |      14 |    98087 |    72152 |   200884      0 |    46882 |        4
176.26/176.35	c  169s |      14 |    98556 |    72552 |   200884      0 |    46882 |        4
178.36/178.43	c  171s |      14 |    99055 |    72952 |   200884      0 |    46882 |        4
180.86/180.90	c  173s |      14 |    99828 |    73452 |   200884      0 |    46882 |        4
183.16/183.24	c  176s |      14 |   100352 |    73952 |   200884      0 |    46882 |        4
185.46/185.56	c  178s |      14 |   100912 |    74452 |   200884      0 |    46882 |        4
187.76/187.80	c  180s |      14 |   101450 |    74952 |   200884      0 |    46882 |        4
189.76/189.89	c  182s |      14 |   102033 |    75452 |   200884      0 |    46882 |        4
191.96/192.05	c  184s |      14 |   102607 |    75952 |   200884      0 |    46882 |        4
194.16/194.28	c  187s |      14 |   103297 |    76452 |   200884      0 |    46882 |        4
196.36/196.40	c  189s |      14 |   103920 |    76952 |   200884      0 |    46882 |        4
198.56/198.69	c  191s |      14 |   104772 |    77552 |   200884      0 |    46882 |        4
200.76/200.83	c  193s |      14 |   105444 |    78152 |   200884      0 |    46882 |        4
202.76/202.90	c  195s |      14 |   106381 |    78852 |   200884      0 |    46882 |        4
204.86/204.96	c  197s |      14 |   107469 |    79652 |   200884      0 |    46882 |        4
206.96/207.09	c  199s |      14 |   108910 |    80852 |   200884      0 |    46882 |        4
209.07/209.15	c  201s |      14 |   110023 |    81852 |   200884      0 |    46882 |        4
211.17/211.21	c  204s |      14 |   111014 |    82652 |   200884      0 |    46882 |        4
213.37/213.44	c  206s |      14 |   111646 |    83052 |   200884      0 |    46882 |        4
215.46/215.60	c  208s |      14 |   116772 |    83452 |   200884      0 |    46882 |        4
217.56/217.60	c  210s |      14 |   119727 |    83752 |   200884      0 |    46882 |        4
219.56/219.63	c  212s |      14 |   125197 |    84052 |   200884      0 |    46882 |        4
222.06/222.17	c  215s |      14 |   125560 |    84452 |   200884      0 |    46882 |        4
224.56/224.65	c  217s |      14 |   125919 |    84752 |   200884      0 |    46882 |        4
226.66/226.76	c  219s |      14 |   126087 |    85052 |   200884      0 |    46882 |        4
228.86/228.94	c  221s |      14 |   126422 |    85352 |   200884      0 |    46882 |        4
231.06/231.18	c  224s |      14 |   126749 |    85652 |   200884      0 |    46882 |        4
233.36/233.47	c  226s |      14 |   127073 |    85952 |   200884      0 |    46882 |        4
235.76/235.83	c  228s |      14 |   127396 |    86252 |   200884      0 |    46882 |        4
238.05/238.19	c  231s |      14 |   127713 |    86552 |   200884      0 |    46882 |        4
240.35/240.46	c  233s |      14 |   127869 |    86852 |   200884      0 |    46882 |        4
242.65/242.72	c  235s |      14 |   128194 |    87152 |   220973      0 |    46882 |        4
244.95/245.00	c  237s |      14 |   128500 |    87452 |   220973      0 |    46882 |        4
246.36/246.49	c  239s |      15 |   128804 |    87632 |   220973      0 |    46882 |        4
248.56/248.60	c  241s |      15 |   129121 |    87832 |   220973      0 |    46882 |        4
250.86/250.97	c  243s |      15 |   129605 |    88132 |   220973      0 |    46882 |        4
253.35/253.40	c  246s |      15 |   129897 |    88432 |   220973      0 |    46882 |        4
255.55/255.69	c  248s |      15 |   130441 |    88732 |   220973      0 |    46882 |        4
257.95/258.04	c  250s |      15 |   131054 |    89032 |   220973      0 |    46882 |        4
260.35/260.43	c  253s |      15 |   131396 |    89332 |   220973      0 |    46882 |        4
262.75/262.83	c  255s |      15 |   131672 |    89632 |   220973      0 |    46882 |        4
265.16/265.26	c  258s |      15 |   132081 |    89932 |   220973      0 |    46882 |        4
267.45/267.55	c  260s |      15 |   132544 |    90232 |   220973      0 |    46882 |        4
269.65/269.77	c  262s |      15 |   132866 |    90532 |   220973      0 |    46882 |        4
271.95/272.07	c  264s |      15 |   133132 |    90832 |   220973      0 |    46882 |        4
274.35/274.43	c  267s |      15 |   133525 |    91132 |   220973      0 |    46882 |        4
276.45/276.57	c  269s |      15 |   133846 |    91432 |   220973      0 |    46882 |        4
278.75/278.88	c  271s |      15 |   134149 |    91732 |   220973      0 |    46882 |        4
280.95/281.06	c  273s |      15 |   134557 |    92032 |   220973      0 |    46882 |        4
283.35/283.41	c  276s |      15 |   134956 |    92332 |   220973      0 |    46882 |        4
285.35/285.48	c  278s |      15 |   135434 |    92632 |   220973      0 |    46882 |        4
287.65/287.72	c  280s |      15 |   136024 |    92932 |   220973      0 |    46882 |        4
289.85/289.97	c  282s |      15 |   136747 |    93232 |   220973      0 |    46882 |        4
292.05/292.17	c  284s |      15 |   137441 |    93532 |   220973      0 |    46882 |        4
294.15/294.26	c  287s |      15 |   138113 |    93832 |   220973      0 |    46882 |        4
296.85/296.91	c  289s |      15 |   138540 |    94232 |   220973      0 |    46882 |        4
299.05/299.12	c  291s |      15 |   138890 |    94532 |   220973      0 |    46882 |        4
301.65/301.78	c  294s |      15 |   139222 |    94932 |   220973      0 |    46882 |        4
304.34/304.47	c  297s |      15 |   139618 |    95332 |   220973      0 |    46882 |        4
306.95/307.04	c  299s |      15 |   140055 |    95732 |   220973      0 |    46882 |        4
309.44/309.59	c  302s |      15 |   140459 |    96132 |   220973      0 |    46882 |        4
311.74/311.85	c  304s |      15 |   140894 |    96532 |   220973      0 |    46882 |        4
313.84/313.94	c  306s |      15 |   141305 |    96932 |   220973      0 |    46882 |        4
316.24/316.39	c  309s |      15 |   141845 |    97432 |   220973      0 |    46882 |        4
318.44/318.52	c  311s |      15 |   142506 |    97932 |   220973      0 |    46882 |        4
320.54/320.63	c  313s |      15 |   143246 |    98432 |   220973      0 |    46882 |        4
322.94/323.05	c  315s |      15 |   143637 |    98732 |   220973      0 |    46882 |        4
325.55/325.66	c  318s |      15 |   144480 |    99032 |   220973      0 |    46882 |        4
328.24/328.31	c  321s |      15 |   147397 |    99332 |   220973      0 |    46882 |        4
330.64/330.76	c  323s |      15 |   150701 |    99632 |   220973      0 |    46882 |        4
333.44/333.56	c  326s |      15 |   157011 |    99932 |   220973      0 |    46882 |        4
335.44/335.58	c  328s |      15 |   162131 |   101532 |   220973      0 |    46882 |        4
338.24/338.35	c  331s |      15 |   163488 |   102732 |   220973      0 |    46882 |        4
340.94/341.09	c  333s |      15 |   163674 |   103032 |   220973      0 |    46882 |        4
343.24/343.31	c  336s |      15 |   163843 |   103232 |   220973      0 |    46882 |        4
345.23/345.36	c  338s |      15 |   164193 |   103432 |   220973      0 |    46882 |        4
348.33/348.48	c  341s |      15 |   164359 |   103732 |   220973      0 |    46882 |        4
351.23/351.39	c  344s |      15 |   164687 |   104032 |   220973      0 |    46882 |        4
353.53/353.66	c  346s |      15 |   164849 |   104232 |   220973      0 |    46882 |        4
356.43/356.58	c  349s |      15 |   165168 |   104532 |   220973      0 |    46882 |        4
359.43/359.56	c  352s |      15 |   165482 |   104832 |   220973      0 |    46882 |        4
361.62/361.72	c  354s |      15 |   165789 |   105032 |   220973      0 |    46882 |        4
364.72/364.80	c  357s |      15 |   166097 |   105332 |   220973      0 |    46882 |        4
367.72/367.83	c  360s |      15 |   166399 |   105632 |   220973      0 |    46882 |        4
370.73/370.86	c  363s |      15 |   166696 |   105932 |   220973      0 |    46882 |        4
373.72/373.86	c  366s |      15 |   166993 |   106232 |   220973      0 |    46882 |        4
376.62/376.79	c  369s |      15 |   167282 |   106532 |   220973      0 |    46882 |        4
379.62/379.74	c  372s |      15 |   167567 |   106832 |   220973      0 |    46882 |        4
382.51/382.69	c  375s |      15 |   167847 |   107132 |   220973      0 |    46882 |        4
384.71/384.81	c  377s |      15 |   167984 |   107332 |   220973      0 |    46882 |        4
387.71/387.80	c  380s |      15 |   168387 |   107632 |   220973      0 |    46882 |        4
390.42/390.53	c  383s |      15 |   168650 |   107932 |   220973      0 |    46882 |        4
393.21/393.33	c  386s |      15 |   168962 |   108232 |   220973      0 |    46882 |        4
396.21/396.31	c  389s |      15 |   169336 |   108532 |   220973      0 |    46882 |        4
398.81/398.96	c  391s |      15 |   169638 |   108832 |   220973      0 |    46882 |        4
401.70/401.89	c  394s |      15 |   169875 |   109132 |   220973      0 |    46882 |        4
404.30/404.43	c  397s |      15 |   170278 |   109432 |   220973      0 |    46882 |        4
407.10/407.28	c  400s |      15 |   170614 |   109732 |   220973      0 |    46882 |        4
409.80/409.96	c  402s |      15 |   170888 |   110032 |   220973      0 |    46882 |        4
412.30/412.49	c  405s |      15 |   171204 |   110332 |   220973      0 |    46882 |        4
414.80/414.98	c  407s |      15 |   171513 |   110632 |   220973      0 |    46882 |        4
417.30/417.47	c  410s |      15 |   171813 |   110932 |   220973      0 |    46882 |        4
419.80/419.92	c  412s |      15 |   172113 |   111232 |   220973      0 |    46882 |        4
422.20/422.39	c  415s |      15 |   172400 |   111532 |   220973      0 |    46882 |        4
424.50/424.61	c  417s |      15 |   172861 |   111932 |   220973      0 |    46882 |        4
426.80/426.95	c  419s |      15 |   173249 |   112232 |   220973      0 |    46882 |        4
429.00/429.14	c  421s |      15 |   173620 |   112532 |   220973      0 |    46882 |        4
431.10/431.25	c  424s |      15 |   173932 |   112832 |   220973      0 |    46882 |        4
433.19/433.35	c  426s |      15 |   174228 |   113132 |   220973      0 |    46882 |        4
435.29/435.43	c  428s |      15 |   174574 |   113432 |   220973      0 |    46882 |        4
437.80/437.97	c  430s |      15 |   174957 |   113832 |   220973      0 |    46882 |        4
440.19/440.34	c  433s |      15 |   175460 |   114232 |   220973      0 |    46882 |        4
442.38/442.59	c  435s |      15 |   175907 |   114632 |   220973      0 |    46882 |        4
444.58/444.70	c  437s |      15 |   176295 |   115032 |   220973      0 |    46882 |        4
446.78/446.92	c  439s |      15 |   176903 |   115532 |   220973      0 |    46882 |        4
449.38/449.52	c  442s |      15 |   177425 |   115932 |   220973      0 |    46882 |        4
452.18/452.38	c  445s |      15 |   177762 |   116232 |   220973      0 |    46882 |        4
454.19/454.40	c  447s |      15 |   178027 |   116432 |   220973      0 |    46882 |        4
456.39/456.53	c  449s |      15 |   178220 |   116632 |   220973      0 |    46882 |        4
458.48/458.66	c  451s |      15 |   178680 |   116832 |   220973      0 |    46882 |        4
460.68/460.87	c  453s |      15 |   178824 |   117032 |   220973      0 |    46882 |        4
463.08/463.29	c  456s |      15 |   178988 |   117232 |   220973      0 |    46882 |        4
465.48/465.61	c  458s |      15 |   179321 |   117432 |   220973      0 |    46882 |        4
467.58/467.79	c  460s |      15 |   182064 |   117632 |   220973      0 |    46882 |        4
469.78/469.93	c  462s |      15 |   184859 |   117832 |   220973      0 |    46882 |        4
471.78/471.96	c  464s |      15 |   187550 |   118032 |   220973      0 |    46882 |        4
474.97/475.13	c  467s |      15 |   187718 |   118332 |   220973      0 |    46882 |        4
477.38/477.53	c  470s |      15 |   188059 |   118532 |   220973      0 |    46882 |        4
479.58/479.76	c  472s |      15 |   188217 |   118732 |   220973      0 |    46882 |        4
481.67/481.80	c  474s |      15 |   188442 |   118932 |   220973      0 |    46882 |        4
483.67/483.84	c  476s |      15 |   188639 |   119132 |   220973      0 |    46882 |        4
485.97/486.19	c  479s |      15 |   188809 |   119332 |   220973      0 |    46882 |        4
488.47/488.62	c  481s |      15 |   188962 |   119532 |   220973      0 |    46882 |        4
491.57/491.73	c  484s |      15 |   189340 |   119832 |   220973      0 |    46882 |        4
493.96/494.10	c  486s |      15 |   189500 |   120032 |   220973      0 |    46882 |        4
496.36/496.58	c  489s |      15 |   189660 |   120232 |   220973      0 |    46882 |        4
498.76/498.92	c  491s |      15 |   189974 |   120432 |   220973      0 |    46882 |        4
500.96/501.10	c  493s |      15 |   190130 |   120632 |   220973      0 |    46882 |        4
503.36/503.53	c  496s |      15 |   190285 |   120832 |   220973      0 |    46882 |        4
505.96/506.12	c  498s |      15 |   190586 |   121032 |   220973      0 |    46882 |        4
508.06/508.24	c  501s |      15 |   190748 |   121232 |   220973      0 |    46882 |        4
510.26/510.49	c  503s |      15 |   190961 |   121432 |   220973      0 |    46882 |        4
512.35/512.56	c  505s |      15 |   191220 |   121532 |   220973      0 |    46884 |        4
514.66/514.86	c  507s |      15 |   191370 |   121732 |   220973      0 |    46884 |        4
517.25/517.44	c  510s |      15 |   191661 |   121932 |   220973      0 |    46884 |        4
519.25/519.44	c  512s |      15 |   191811 |   122132 |   220973      0 |    46884 |        4
521.55/521.75	c  514s |      15 |   191967 |   122332 |   220973      0 |    46884 |        4
523.95/524.13	c  516s |      15 |   192254 |   122532 |   220973      0 |    46884 |        4
526.05/526.23	c  519s |      15 |   192396 |   122732 |   220973      0 |    46884 |        4
528.45/528.68	c  521s |      15 |   192540 |   122932 |   220973      0 |    46884 |        4
530.55/530.74	c  523s |      15 |   192819 |   123132 |   220973      0 |    46884 |        4
532.85/533.07	c  525s |      15 |   192957 |   123332 |   220973      0 |    46884 |        4
535.05/535.24	c  528s |      15 |   193229 |   123532 |   220973      0 |    46884 |        4
537.25/537.44	c  530s |      15 |   193423 |   123732 |   220973      0 |    46884 |        4
539.45/539.63	c  532s |      15 |   193686 |   123932 |   220973      0 |    46884 |        4
541.65/541.88	c  534s |      15 |   193816 |   124132 |   220973      0 |    46884 |        4
543.75/543.98	c  536s |      15 |   194132 |   124332 |   220973      0 |    46884 |        4
546.15/546.32	c  539s |      15 |   194257 |   124532 |   220973      0 |    46884 |        4
548.15/548.33	c  541s |      15 |   194501 |   124732 |   220973      0 |    46884 |        4
550.35/550.52	c  543s |      15 |   194738 |   124932 |   220973      0 |    46884 |        4
552.64/552.81	c  545s |      15 |   194856 |   125132 |   220973      0 |    46884 |        4
555.64/555.80	c  548s |      15 |   195271 |   125432 |   220973      0 |    46884 |        4
557.74/557.91	c  550s |      15 |   195498 |   125632 |   220973      0 |    46884 |        4
559.85/560.05	c  552s |      15 |   195730 |   125832 |   220973      0 |    46884 |        4
561.84/562.10	c  554s |      15 |   195839 |   126032 |   220973      0 |    46884 |        4
564.84/565.04	c  557s |      15 |   196161 |   126332 |   220973      0 |    46884 |        4
566.83/567.09	c  559s |      15 |   196372 |   126532 |   220973      0 |    46884 |        4
568.93/569.14	c  561s |      15 |   196577 |   126732 |   220973      0 |    46884 |        4
570.93/571.16	c  563s |      15 |   196780 |   126932 |   220973      0 |    46884 |        4
572.94/573.17	c  565s |      15 |   196978 |   127132 |   220973      0 |    46884 |        4
574.93/575.18	c  568s |      15 |   197172 |   127332 |   220973      0 |    46884 |        4
577.03/577.20	c  570s |      15 |   197361 |   127532 |   220973      0 |    46884 |        4
579.33/579.56	c  572s |      15 |   197672 |   127832 |   220973      0 |    46884 |        4
582.33/582.52	c  575s |      15 |   197946 |   128132 |   220973      0 |    46884 |        4
585.03/585.22	c  578s |      15 |   198290 |   128432 |   220973      0 |    46884 |        4
587.83/588.08	c  580s |      15 |   198617 |   128732 |   220973      0 |    46884 |        4
590.53/590.80	c  583s |      15 |   198851 |   129032 |   220973      0 |    46884 |        4
593.23/593.47	c  586s |      15 |   199152 |   129332 |   220973      0 |    46884 |        4
595.83/596.00	c  588s |      15 |   199504 |   129632 |   220973      0 |    46884 |        4
598.33/598.51	c  591s |      15 |   199767 |   129932 |   220973      0 |    46884 |        4
600.72/600.97	c  593s |      15 |   200070 |   130232 |   220973      0 |    46884 |        4
603.02/603.27	c  596s |      15 |   200376 |   130532 |   220973      0 |    46884 |        4
605.22/605.49	c  598s |      15 |   200706 |   130832 |   243071      0 |    46884 |        4
607.92/608.14	c  600s |      15 |   201183 |   131232 |   243071      0 |    46884 |        4
609.72/609.99	c  602s |      16 |   201522 |   131552 |   243071      0 |    46884 |        4
611.92/612.12	c  604s |      16 |   201781 |   131752 |   243071      0 |    46884 |        4
614.52/614.79	c  607s |      16 |   202335 |   132252 |   243071      0 |    46884 |        4
616.93/617.20	c  610s |      16 |   202576 |   132452 |   243071      0 |    46884 |        4
619.13/619.35	c  612s |      16 |   202799 |   132652 |   243071      0 |    46884 |        4
621.72/621.94	c  614s |      16 |   203022 |   132852 |   243071      0 |    46884 |        4
623.82/624.02	c  616s |      16 |   203317 |   133052 |   243071      0 |    46884 |        4
627.42/627.68	c  620s |      16 |   206716 |   133352 |   243071      0 |    46884 |        4
629.52/629.72	c  622s |      16 |   209606 |   133552 |   243071      0 |    46884 |        4
631.62/631.85	c  624s |      16 |   212826 |   133752 |   243071      0 |    46884 |        4
634.02/634.29	c  627s |      16 |   215701 |   133952 |   243071      0 |    46884 |        4
636.62/636.84	c  629s |      16 |   216035 |   134152 |   243071      0 |    46884 |        4
638.82/639.07	c  631s |      16 |   216204 |   134352 |   243071      0 |    46884 |        4
641.23/641.47	c  634s |      16 |   216371 |   134552 |   243071      0 |    46884 |        4
643.82/644.00	c  636s |      16 |   216538 |   134752 |   243071      0 |    46884 |        4
646.42/646.64	c  639s |      16 |   216704 |   134952 |   243071      0 |    46884 |        4
648.82/649.08	c  641s |      16 |   217032 |   135152 |   243071      0 |    46884 |        4
651.02/651.30	c  644s |      16 |   217194 |   135352 |   243071      0 |    46884 |        4
653.52/653.71	c  646s |      16 |   217356 |   135552 |   243071      0 |    46884 |        4
656.12/656.31	c  649s |      16 |   217518 |   135752 |   243071      0 |    46884 |        4
658.61/658.87	c  651s |      16 |   217835 |   135952 |   243071      0 |    46884 |        4
660.81/661.05	c  653s |      16 |   217990 |   136152 |   243071      0 |    46884 |        4
663.31/663.50	c  656s |      16 |   218147 |   136352 |   243071      0 |    46884 |        4
665.91/666.14	c  658s |      16 |   218302 |   136552 |   243071      0 |    46884 |        4
668.21/668.42	c  661s |      16 |   218610 |   136752 |   243071      0 |    46884 |        4
670.51/670.75	c  663s |      16 |   218763 |   136952 |   243071      0 |    46884 |        4
673.12/673.38	c  666s |      16 |   218914 |   137152 |   243071      0 |    46884 |        4
675.51/675.77	c  668s |      16 |   219214 |   137352 |   243071      0 |    46884 |        4
677.81/678.02	c  670s |      16 |   219363 |   137552 |   243071      0 |    46884 |        4
680.41/680.61	c  673s |      16 |   219510 |   137752 |   243071      0 |    46884 |        4
682.61/682.86	c  675s |      16 |   219802 |   137952 |   243071      0 |    46884 |        4
685.01/685.22	c  678s |      16 |   219947 |   138152 |   243071      0 |    46884 |        4
687.61/687.89	c  680s |      16 |   220211 |   138352 |   243071      0 |    46884 |        4
690.01/690.29	c  683s |      16 |   220462 |   138652 |   243071      0 |    46884 |        4
692.61/692.87	c  685s |      16 |   220741 |   138852 |   243071      0 |    46884 |        4
694.91/695.11	c  687s |      16 |   220879 |   139052 |   243071      0 |    46884 |        4
697.61/697.82	c  690s |      16 |   221150 |   139252 |   243071      0 |    46884 |        4
699.71/699.98	c  692s |      16 |   221286 |   139452 |   243071      0 |    46884 |        4
702.51/702.72	c  695s |      16 |   221553 |   139652 |   243071      0 |    46884 |        4
704.61/704.81	c  697s |      16 |   221685 |   139852 |   243071      0 |    46884 |        4
707.21/707.48	c  700s |      16 |   221946 |   140052 |   243071      0 |    46884 |        4
709.41/709.62	c  702s |      16 |   222075 |   140252 |   243071      0 |    46884 |        4
711.90/712.13	c  704s |      16 |   222329 |   140452 |   243071      0 |    46884 |        4
714.10/714.39	c  707s |      16 |   222456 |   140652 |   243071      0 |    46884 |        4
716.40/716.69	c  709s |      16 |   222703 |   140852 |   243071      0 |    46884 |        4
719.00/719.28	c  712s |      16 |   222948 |   141052 |   243071      0 |    46884 |        4
721.10/721.33	c  714s |      16 |   223067 |   141252 |   243071      0 |    46884 |        4
723.40/723.60	c  716s |      16 |   223302 |   141452 |   243071      0 |    46884 |        4
725.70/725.97	c  718s |      16 |   223536 |   141652 |   243071      0 |    46884 |        4
727.90/728.19	c  721s |      16 |   223648 |   141852 |   243071      0 |    46884 |        4
730.10/730.32	c  723s |      16 |   223871 |   142052 |   243071      0 |    46884 |        4
732.20/732.48	c  725s |      16 |   224090 |   142252 |   243071      0 |    46884 |        4
734.40/734.67	c  727s |      16 |   224305 |   142452 |   243071      0 |    46884 |        4
736.60/736.84	c  729s |      16 |   224523 |   142652 |   243071      0 |    46884 |        4
738.80/739.00	c  731s |      16 |   224735 |   142852 |   243071      0 |    46884 |        4
740.90/741.13	c  733s |      16 |   224943 |   143052 |   243071      0 |    46884 |        4
742.90/743.17	c  736s |      16 |   225140 |   143252 |   243071      0 |    46884 |        4
744.89/745.18	c  738s |      16 |   225336 |   143452 |   243071      0 |    46884 |        4
746.99/747.20	c  740s |      16 |   225516 |   143652 |   243071      0 |    46884 |        4
749.00/749.21	c  742s |      16 |   225694 |   143852 |   243071      0 |    46884 |        4
751.99/752.20	c  745s |      16 |   225970 |   144152 |   243071      0 |    46884 |        4
754.59/754.85	c  747s |      16 |   226305 |   144452 |   243071      0 |    46884 |        4
757.29/757.59	c  750s |      16 |   226613 |   144752 |   243071      0 |    46884 |        4
759.79/760.05	c  752s |      16 |   226941 |   145052 |   243071      0 |    46884 |        4
762.28/762.58	c  755s |      16 |   227230 |   145352 |   243071      0 |    46884 |        4
764.78/765.08	c  757s |      16 |   227497 |   145652 |   243071      0 |    46884 |        4
767.18/767.43	c  760s |      16 |   227809 |   145952 |   243071      0 |    46884 |        4
769.48/769.73	c  762s |      16 |   228157 |   146252 |   243071      0 |    46884 |        4
771.68/771.95	c  764s |      16 |   228472 |   146552 |   243071      0 |    46884 |        4
774.29/774.57	c  767s |      16 |   228902 |   146952 |   243071      0 |    46884 |        4
776.68/776.92	c  769s |      16 |   229302 |   147352 |   243071      0 |    46884 |        4
779.38/779.60	c  772s |      16 |   229924 |   147852 |   243071      0 |    46884 |        4
782.18/782.49	c  775s |      16 |   230237 |   148152 |   243071      0 |    46884 |        4
784.68/784.99	c  777s |      16 |   230356 |   148352 |   243071      0 |    46884 |        4
786.78/787.07	c  779s |      16 |   233492 |   148552 |   243071      0 |    46884 |        4
789.48/789.75	c  782s |      16 |   237163 |   148752 |   243071      0 |    46884 |        4
791.88/792.19	c  785s |      16 |   239760 |   148952 |   243071      0 |    46884 |        4
794.08/794.40	c  787s |      16 |   239997 |   149152 |   243071      0 |    46884 |        4
796.57/796.89	c  789s |      16 |   240166 |   149352 |   243071      0 |    46884 |        4
799.37/799.68	c  792s |      16 |   240334 |   149552 |   243071      0 |    46884 |        4
802.27/802.55	c  795s |      16 |   240501 |   149752 |   243071      0 |    46884 |        4
805.27/805.57	c  798s |      16 |   240828 |   149952 |   243071      0 |    46884 |        4
807.77/808.04	c  800s |      16 |   240991 |   150152 |   243071      0 |    46884 |        4
810.48/810.73	c  803s |      16 |   241153 |   150352 |   243071      0 |    46884 |        4
812.97/813.22	c  806s |      16 |   241311 |   150552 |   243071      0 |    46884 |        4
815.57/815.85	c  808s |      16 |   241484 |   150752 |   243071      0 |    46884 |        4
818.07/818.39	c  811s |      16 |   241803 |   150952 |   243071      0 |    46884 |        4
820.77/821.05	c  813s |      16 |   241960 |   151152 |   243071      0 |    46884 |        4
823.67/823.91	c  816s |      16 |   242118 |   151352 |   243071      0 |    46884 |        4
826.57/826.84	c  819s |      16 |   242427 |   151552 |   243071      0 |    46884 |        4
829.07/829.33	c  822s |      16 |   242578 |   151752 |   243071      0 |    46884 |        4
831.77/832.08	c  824s |      16 |   242741 |   151952 |   243071      0 |    46884 |        4
834.97/835.20	c  828s |      16 |   242890 |   152152 |   243071      0 |    46884 |        4
837.27/837.59	c  830s |      16 |   243196 |   152352 |   243071      0 |    46884 |        4
840.87/841.11	c  833s |      16 |   243334 |   152552 |   243071      0 |    46884 |        4
843.58/843.81	c  836s |      16 |   243639 |   152752 |   243071      0 |    46884 |        4
845.87/846.13	c  838s |      16 |   243789 |   152952 |   243071      0 |    46884 |        4
848.67/848.90	c  841s |      16 |   243930 |   153152 |   243071      0 |    46884 |        4
851.07/851.37	c  844s |      16 |   244225 |   153352 |   243071      0 |    46884 |        4
853.57/853.87	c  846s |      16 |   244367 |   153552 |   243071      0 |    46884 |        4
856.37/856.60	c  849s |      16 |   244643 |   153752 |   243071      0 |    46884 |        4
858.57/858.87	c  851s |      16 |   244786 |   153952 |   243071      0 |    46884 |        4
861.37/861.69	c  854s |      16 |   244922 |   154152 |   243071      0 |    46884 |        4
863.66/863.94	c  856s |      16 |   245199 |   154352 |   243071      0 |    46884 |        4
866.46/866.70	c  859s |      16 |   245332 |   154552 |   243071      0 |    46884 |        4
868.66/868.94	c  861s |      16 |   245609 |   154752 |   243071      0 |    46884 |        4
871.36/871.67	c  864s |      16 |   245737 |   154952 |   243071      0 |    46884 |        4
873.56/873.81	c  866s |      16 |   246006 |   155152 |   243071      0 |    46884 |        4
876.16/876.46	c  869s |      16 |   246256 |   155352 |   243071      0 |    46884 |        4
878.36/878.68	c  871s |      16 |   246394 |   155552 |   243071      0 |    46884 |        4
880.87/881.11	c  873s |      16 |   246640 |   155752 |   243071      0 |    46884 |        4
883.36/883.69	c  876s |      16 |   246760 |   155952 |   243071      0 |    46884 |        4
885.66/885.93	c  878s |      16 |   246998 |   156152 |   243071      0 |    46884 |        4
887.96/888.29	c  881s |      16 |   247232 |   156352 |   243071      0 |    46884 |        4
890.56/890.81	c  883s |      16 |   247461 |   156552 |   243071      0 |    46884 |        4
892.86/893.11	c  885s |      16 |   247574 |   156752 |   243071      0 |    46884 |        4
894.96/895.27	c  888s |      16 |   247809 |   156952 |   243071      0 |    46884 |        4
897.26/897.59	c  890s |      16 |   248033 |   157152 |   243071      0 |    46884 |        4
899.66/899.96	c  892s |      16 |   248254 |   157352 |   243071      0 |    46884 |        4
902.06/902.33	c  895s |      16 |   248465 |   157552 |   243071      0 |    46884 |        4
904.36/904.64	c  897s |      16 |   248670 |   157752 |   243071      0 |    46884 |        4
906.56/906.89	c  899s |      16 |   248877 |   157952 |   243071      0 |    46884 |        4
908.75/909.09	c  901s |      16 |   249074 |   158152 |   243071      0 |    46884 |        4
910.95/911.25	c  904s |      16 |   249264 |   158352 |   243071      0 |    46884 |        4
913.05/913.39	c  906s |      16 |   249463 |   158552 |   243071      0 |    46884 |        4
915.15/915.43	c  908s |      16 |   249662 |   158752 |   243071      0 |    46884 |        4
917.26/917.54	c  910s |      16 |   249830 |   158952 |   243071      0 |    46884 |        4
919.25/919.55	c  912s |      16 |   250023 |   159152 |   243071      0 |    46884 |        4
921.25/921.55	c  914s |      16 |   250272 |   159352 |   243071      0 |    46884 |        4
924.35/924.61	c  917s |      16 |   250512 |   159652 |   243071      0 |    46884 |        4
927.15/927.49	c  920s |      16 |   250820 |   159952 |   243071      0 |    46884 |        4
930.05/930.32	c  923s |      16 |   251180 |   160252 |   243071      0 |    46884 |        4
932.65/932.94	c  925s |      16 |   251450 |   160552 |   243071      0 |    46884 |        4
935.24/935.57	c  928s |      16 |   251774 |   160852 |   243071      0 |    46884 |        4
937.74/938.03	c  930s |      16 |   252099 |   161152 |   243071      0 |    46884 |        4
940.14/940.43	c  933s |      16 |   252388 |   161452 |   243071      0 |    46884 |        4
942.34/942.66	c  935s |      16 |   252737 |   161752 |   243071      0 |    46884 |        4
944.44/944.73	c  937s |      16 |   253075 |   162052 |   243071      0 |    46884 |        4
946.64/946.98	c  939s |      16 |   253499 |   162452 |   243071      0 |    46884 |        4
948.84/949.17	c  941s |      16 |   253884 |   162752 |   243071      0 |    46884 |        4
951.44/951.70	c  944s |      16 |   254004 |   162952 |   243071      0 |    46884 |        4
953.84/954.18	c  947s |      16 |   254260 |   163152 |   243071      0 |    46884 |        4
957.04/957.33	c  950s |      16 |   255244 |   163352 |   243071      0 |    46884 |        4
959.94/960.27	c  953s |      16 |   258659 |   163552 |   243071      0 |    46884 |        4
963.03/963.38	c  956s |      16 |   260090 |   163752 |   243071      0 |    46884 |        4
966.13/966.42	c  959s |      16 |   260261 |   163952 |   243071      0 |    46884 |        4
969.43/969.73	c  962s |      16 |   260427 |   164152 |   243071      0 |    46884 |        4
971.63/971.92	c  964s |      16 |   260593 |   164252 |   243071      0 |    46884 |        4
974.63/974.96	c  967s |      16 |   260757 |   164452 |   243071      0 |    46884 |        4
977.93/978.24	c  971s |      16 |   260921 |   164652 |   243071      0 |    46884 |        4
979.94/980.29	c  973s |      16 |   261083 |   164752 |   243071      0 |    46884 |        4
983.03/983.38	c  976s |      16 |   261244 |   164952 |   243071      0 |    46884 |        4
986.43/986.77	c  979s |      16 |   261406 |   165152 |   243071      0 |    46884 |        4
990.03/990.34	c  983s |      16 |   261565 |   165352 |   243071      0 |    46884 |        4
993.53/993.89	c  986s |      16 |   261880 |   165552 |   243071      0 |    46884 |        4
996.63/996.94	c  989s |      16 |   262035 |   165752 |   243071      0 |    46884 |        4
998.73/999.00	c  991s |      16 |   262035 |   165852 |   243071      0 |    46884 |        4
1001.83/1002.10	c  994s |      16 |   262343 |   166052 |   243071      0 |    46884 |        4
1005.13/1005.44	c  998s |      16 |   262496 |   166252 |   243071      0 |    46884 |        4
1008.72/1009.08	c 1001s |      16 |   262650 |   166452 |   243071      0 |    46884 |        4
1012.02/1012.30	c 1005s |      16 |   262953 |   166652 |   243071      0 |    46884 |        4
1015.22/1015.60	c 1008s |      16 |   263103 |   166852 |   243071      0 |    46884 |        4
1018.52/1018.88	c 1011s |      16 |   263381 |   167052 |   243071      0 |    46884 |        4
1020.53/1020.90	c 1013s |      16 |   263481 |   167252 |   243071      0 |    46884 |        4
1024.12/1024.44	c 1017s |      16 |   263770 |   167452 |   243071      0 |    46884 |        4
1027.22/1027.59	c 1020s |      16 |   263915 |   167652 |   243071      0 |    46884 |        4
1030.92/1031.28	c 1024s |      16 |   264057 |   167852 |   243071      0 |    46884 |        4
1034.11/1034.44	c 1027s |      16 |   264348 |   168052 |   243071      0 |    46884 |        4
1036.21/1036.51	c 1029s |      16 |   264489 |   168152 |   243071      0 |    46884 |        4
1039.11/1039.45	c 1032s |      16 |   264635 |   168352 |   243071      0 |    46884 |        4
1042.71/1043.04	c 1035s |      16 |   264780 |   168552 |   243071      0 |    46884 |        4
1045.92/1046.22	c 1039s |      16 |   265045 |   168752 |   243071      0 |    46884 |        4
1049.41/1049.79	c 1042s |      16 |   265188 |   168952 |   243071      0 |    46884 |        4
1052.61/1052.90	c 1045s |      16 |   265455 |   169152 |   243071      0 |    46884 |        4
1056.01/1056.37	c 1049s |      16 |   265591 |   169352 |   243071      0 |    46884 |        4
1059.21/1059.57	c 1052s |      16 |   265844 |   169552 |   243071      0 |    46884 |        4
1062.71/1063.01	c 1055s |      16 |   266095 |   169752 |   243071      0 |    46884 |        4
1065.72/1066.09	c 1058s |      16 |   266219 |   169952 |   243071      0 |    46884 |        4
1069.02/1069.39	c 1062s |      16 |   266466 |   170152 |   243071      0 |    46884 |        4
1072.41/1072.79	c 1065s |      16 |   266594 |   170352 |   243071      0 |    46884 |        4
1075.41/1075.75	c 1068s |      16 |   266836 |   170552 |   243071      0 |    46884 |        4
1078.61/1078.90	c 1071s |      16 |   267073 |   170752 |   243071      0 |    46884 |        4
1082.00/1082.33	c 1075s |      16 |   267306 |   170952 |   243071      0 |    46884 |        4
1085.00/1085.34	c 1078s |      16 |   267430 |   171152 |   243071      0 |    46884 |        4
1087.90/1088.29	c 1081s |      16 |   267657 |   171352 |   243071      0 |    46884 |        4
1090.91/1091.30	c 1084s |      16 |   267874 |   171552 |   243071      0 |    46884 |        4
1093.90/1094.21	c 1087s |      16 |   268103 |   171752 |   243071      0 |    46884 |        4
1096.90/1097.23	c 1090s |      16 |   268313 |   171952 |   243071      0 |    46884 |        4
1099.90/1100.21	c 1093s |      16 |   268521 |   172152 |   243071      0 |    46884 |        4
1102.70/1103.08	c 1095s |      16 |   268727 |   172352 |   243071      0 |    46884 |        4
1105.50/1105.85	c 1098s |      16 |   268917 |   172552 |   243071      0 |    46884 |        4
1108.30/1108.63	c 1101s |      16 |   269104 |   172752 |   243071      0 |    46884 |        4
1111.10/1111.41	c 1104s |      16 |   269289 |   172952 |   243071      0 |    46884 |        4
1113.90/1114.27	c 1107s |      16 |   269546 |   173152 |   243071      0 |    46884 |        4
1116.31/1116.61	c 1109s |      16 |   269732 |   173352 |   243071      0 |    46884 |        4
1118.90/1119.25	c 1112s |      16 |   269895 |   173552 |   243071      0 |    46884 |        4
1121.40/1121.79	c 1114s |      16 |   270132 |   173752 |   243071      0 |    46884 |        4
1124.10/1124.45	c 1117s |      16 |   270282 |   173952 |   243071      0 |    46884 |        4
1126.60/1126.97	c 1119s |      16 |   270495 |   174152 |   243071      0 |    46884 |        4
1129.10/1129.41	c 1122s |      16 |   270704 |   174352 |   243071      0 |    46884 |        4
1131.50/1131.80	c 1124s |      16 |   270905 |   174552 |   243071      0 |    46884 |        4
1133.90/1134.22	c 1127s |      16 |   271096 |   174752 |   243071      0 |    46884 |        4
1136.30/1136.62	c 1129s |      16 |   271332 |   174952 |   243071      0 |    46884 |        4
1138.40/1138.77	c 1131s |      16 |   271535 |   175152 |   243071      0 |    46884 |        4
1140.59/1140.95	c 1133s |      16 |   271756 |   175352 |   243071      0 |    46884 |        4
1143.49/1143.88	c 1136s |      16 |   272104 |   175652 |   243071      0 |    46884 |        4
1146.29/1146.67	c 1139s |      16 |   272441 |   175952 |   243071      0 |    46884 |        4
1148.69/1149.08	c 1141s |      16 |   272797 |   176252 |   243071      0 |    46884 |        4
1151.79/1152.12	c 1144s |      16 |   273241 |   176652 |   243071      0 |    46884 |        4
1154.39/1154.79	c 1147s |      16 |   273434 |   176852 |   243071      0 |    46884 |        4
1157.29/1157.64	c 1150s |      16 |   273629 |   177052 |   243071      0 |    46884 |        4
1160.30/1160.63	c 1153s |      16 |   273842 |   177252 |   243071      0 |    46884 |        4
1163.19/1163.58	c 1156s |      16 |   274091 |   177452 |   243071      0 |    46884 |        4
1166.69/1167.02	c 1159s |      16 |   274231 |   177652 |   243071      0 |    46884 |        4
1170.10/1170.44	c 1163s |      16 |   277001 |   177852 |   243071      0 |    46884 |        4
1173.29/1173.64	c 1166s |      16 |   277185 |   178052 |   243071      0 |    46884 |        4
1176.80/1177.11	c 1169s |      16 |   277353 |   178252 |   243071      0 |    46884 |        4
1179.09/1179.40	c 1172s |      16 |   277353 |   178352 |   243071      0 |    46884 |        4
1182.19/1182.59	c 1175s |      16 |   277696 |   178552 |   243071      0 |    46884 |        4
1185.69/1186.06	c 1178s |      16 |   277860 |   178752 |   243071      0 |    46884 |        4
1187.99/1188.31	c 1181s |      16 |   277860 |   178852 |   243071      0 |    46884 |        4
1191.19/1191.58	c 1184s |      16 |   278182 |   179052 |   243071      0 |    46884 |        4
1193.19/1193.58	c 1186s |      16 |   278182 |   179152 |   243071      0 |    46884 |        4
1196.79/1197.18	c 1190s |      16 |   278493 |   179352 |   243071      0 |    46884 |        4
1200.39/1200.75	c 1193s |      16 |   278647 |   179552 |   243071      0 |    46884 |        4
1202.49/1202.82	c 1195s |      16 |   278804 |   179652 |   243071      0 |    46884 |        4
1205.78/1206.16	c 1198s |      16 |   278960 |   179852 |   243071      0 |    46884 |        4
1207.98/1208.39	c 1201s |      16 |   279115 |   179952 |   243071      0 |    46884 |        4
1211.18/1211.56	c 1204s |      16 |   279268 |   180152 |   243071      0 |    46884 |        4
1213.28/1213.68	c 1206s |      16 |   279268 |   180252 |   243071      0 |    46884 |        4
1216.58/1216.94	c 1209s |      16 |   279561 |   180452 |   243071      0 |    46884 |        4
1218.59/1218.98	c 1211s |      16 |   279719 |   180552 |   243071      0 |    46884 |        4
1221.48/1221.88	c 1214s |      16 |   279913 |   180752 |   243071      0 |    46884 |        4
1224.68/1225.10	c 1217s |      16 |   280062 |   180952 |   243071      0 |    46884 |        4
1226.78/1227.18	c 1220s |      16 |   280201 |   181052 |   243071      0 |    46884 |        4
1229.78/1230.16	c 1222s |      16 |   280378 |   181252 |   243071      0 |    46884 |        4
1232.89/1233.24	c 1226s |      16 |   280559 |   181452 |   243071      0 |    46884 |        4
1236.78/1237.13	c 1229s |      16 |   280702 |   181652 |   243071      0 |    46884 |        4
1240.08/1240.47	c 1233s |      16 |   280983 |   181852 |   243071      0 |    46884 |        4
1242.18/1242.54	c 1235s |      16 |   281129 |   181952 |   243071      0 |    46884 |        4
1245.68/1246.03	c 1238s |      16 |   281259 |   182152 |   243071      0 |    46884 |        4
1249.58/1249.92	c 1242s |      16 |   281528 |   182352 |   243071      0 |    46884 |        4
1252.88/1253.29	c 1246s |      16 |   281670 |   182552 |   243071      0 |    46884 |        4
1256.78/1257.13	c 1249s |      16 |   281946 |   182752 |   243071      0 |    46884 |        4
1259.78/1260.15	c 1252s |      16 |   282098 |   182952 |   243071      0 |    46884 |        4
1263.58/1263.95	c 1256s |      16 |   282237 |   183152 |   243071      0 |    46884 |        4
1266.88/1267.30	c 1260s |      16 |   282490 |   183352 |   243071      0 |    46884 |        4
1270.57/1270.95	c 1263s |      16 |   282765 |   183552 |   243071      0 |    46884 |        4
1273.77/1274.10	c 1266s |      16 |   282909 |   183752 |   243071      0 |    46884 |        4
1277.17/1277.58	c 1270s |      16 |   283164 |   183952 |   243071      0 |    46884 |        4
1280.67/1281.00	c 1273s |      16 |   283291 |   184152 |   243071      0 |    46884 |        4
1283.97/1284.32	c 1277s |      16 |   283544 |   184352 |   243071      0 |    46884 |        4
1287.67/1288.00	c 1280s |      16 |   283779 |   184552 |   243071      0 |    46884 |        4
1290.97/1291.31	c 1284s |      16 |   283901 |   184752 |   243071      0 |    46884 |        4
1294.17/1294.50	c 1287s |      16 |   284145 |   184952 |   243071      0 |    46884 |        4
1297.57/1297.95	c 1290s |      16 |   284384 |   185152 |   243071      0 |    46884 |        4
1300.98/1301.33	c 1294s |      16 |   284498 |   185352 |   243071      0 |    46884 |        4
1304.07/1304.43	c 1297s |      16 |   284728 |   185552 |   243071      0 |    46884 |        4
1307.47/1307.87	c 1300s |      16 |   284950 |   185752 |   243071      0 |    46884 |        4
1310.87/1311.29	c 1304s |      16 |   285165 |   185952 |   243071      0 |    46884 |        4
1314.28/1314.69	c 1307s |      16 |   285381 |   186152 |   243071      0 |    46884 |        4
1317.67/1318.08	c 1310s |      16 |   285589 |   186352 |   243071      0 |    46884 |        4
1321.07/1321.40	c 1314s |      16 |   285793 |   186552 |   243071      0 |    46884 |        4
1324.27/1324.64	c 1317s |      16 |   285992 |   186752 |   243071      0 |    46884 |        4
1327.37/1327.78	c 1320s |      16 |   286188 |   186952 |   243071      0 |    46884 |        4
1330.46/1330.85	c 1323s |      16 |   286379 |   187152 |   243071      0 |    46884 |        4
1333.46/1333.88	c 1326s |      16 |   286545 |   187352 |   243071      0 |    46884 |        4
1335.76/1336.13	c 1328s |      16 |   286696 |   187552 |   243071      0 |    46884 |        4
1338.56/1338.99	c 1331s |      16 |   286973 |   187752 |   243071      0 |    46884 |        4
1341.46/1341.89	c 1334s |      16 |   287149 |   187952 |   243071      0 |    46884 |        4
1344.56/1344.96	c 1337s |      16 |   287321 |   188152 |   243071      0 |    46884 |        4
1347.66/1348.02	c 1340s |      16 |   287573 |   188352 |   243071      0 |    46884 |        4
1350.36/1350.79	c 1343s |      16 |   287736 |   188552 |   243071      0 |    46884 |        4
1353.46/1353.88	c 1346s |      16 |   287973 |   188752 |   243071      0 |    46884 |        4
1356.16/1356.53	c 1349s |      16 |   288127 |   188952 |   243071      0 |    46884 |        4
1358.96/1359.31	c 1352s |      16 |   288348 |   189152 |   243071      0 |    46884 |        4
1361.76/1362.16	c 1354s |      16 |   288566 |   189352 |   243071      0 |    46884 |        4
1364.46/1364.84	c 1357s |      16 |   288703 |   189552 |   243071      0 |    46884 |        4
1367.07/1367.45	c 1360s |      16 |   288965 |   189752 |   243071      0 |    46884 |        4
1369.46/1369.86	c 1362s |      16 |   289154 |   189952 |   243071      0 |    46884 |        4
1371.96/1372.35	c 1365s |      16 |   289336 |   190152 |   243071      0 |    46884 |        4
1374.36/1374.73	c 1367s |      16 |   289588 |   190352 |   243071      0 |    46884 |        4
1376.76/1377.10	c 1369s |      16 |   289791 |   190552 |   243071      0 |    46884 |        4
1378.86/1379.22	c 1372s |      16 |   290010 |   190752 |   243071      0 |    46884 |        4
1381.86/1382.26	c 1375s |      16 |   290320 |   191052 |   243071      0 |    46884 |        4
1384.66/1385.02	c 1377s |      16 |   290670 |   191352 |   243071      0 |    46884 |        4
1386.76/1387.18	c 1380s |      16 |   291073 |   191652 |   243071      0 |    46884 |        4
1388.96/1389.33	c 1382s |      16 |   291213 |   191752 |   243071      0 |    46884 |        4
1392.46/1392.81	c 1385s |      16 |   291378 |   191952 |   243071      0 |    46884 |        4
1395.05/1395.43	c 1388s |      16 |   291542 |   192052 |   243071      0 |    46884 |        4
1398.86/1399.29	c 1392s |      16 |   291702 |   192252 |   243071      0 |    46884 |        4
1401.35/1401.76	c 1394s |      16 |   291702 |   192352 |   243071      0 |    46884 |        4
1405.25/1405.67	c 1398s |      16 |   292025 |   192552 |   243071      0 |    46884 |        4
1407.35/1407.78	c 1400s |      16 |   292025 |   192652 |   243071      0 |    46884 |        4
1411.85/1412.25	c 1405s |      16 |   292345 |   192852 |   243071      0 |    46884 |        4
1415.55/1415.92	c 1408s |      16 |   292493 |   193052 |   243071      0 |    46884 |        4
1417.85/1418.27	c 1411s |      16 |   292493 |   193152 |   243071      0 |    46884 |        4
1421.15/1421.53	c 1414s |      16 |   292714 |   193352 |   243071      0 |    46884 |        4
1425.05/1425.41	c 1418s |      16 |   293041 |   193552 |   243071      0 |    46884 |        4
1427.05/1427.45	c 1420s |      16 |   293041 |   193652 |   243071      0 |    46884 |        4
1431.35/1431.73	c 1424s |      16 |   293348 |   193852 |   243071      0 |    46884 |        4
1435.15/1435.54	c 1428s |      16 |   293500 |   194052 |   243071      0 |    46884 |        4
1437.65/1438.02	c 1430s |      16 |   293650 |   194152 |   243071      0 |    46884 |        4
1441.35/1441.73	c 1434s |      16 |   293801 |   194352 |   243071      0 |    46884 |        4
1443.75/1444.18	c 1437s |      16 |   293950 |   194452 |   243071      0 |    46884 |        4
1447.45/1447.89	c 1440s |      16 |   294099 |   194652 |   243071      0 |    46884 |        4
1449.85/1450.28	c 1443s |      16 |   294245 |   194752 |   243071      0 |    46884 |        4
1453.55/1453.97	c 1446s |      16 |   294405 |   194952 |   243071      0 |    46884 |        4
1455.85/1456.28	c 1449s |      16 |   294550 |   195052 |   243071      0 |    46884 |        4
1459.65/1460.06	c 1452s |      16 |   294694 |   195252 |   243071      0 |    46884 |        4
1461.84/1462.24	c 1455s |      16 |   294838 |   195352 |   243071      0 |    46884 |        4
1464.04/1464.42	c 1457s |      16 |   294838 |   195452 |   243071      0 |    46884 |        4
1467.85/1468.22	c 1461s |      16 |   295121 |   195652 |   243071      0 |    46884 |        4
1470.25/1470.66	c 1463s |      16 |   295121 |   195752 |   243071      0 |    46884 |        4
1473.85/1474.23	c 1467s |      16 |   295401 |   195952 |   243071      0 |    46884 |        4
1476.05/1476.44	c 1469s |      16 |   295539 |   196052 |   243071      0 |    46884 |        4
1478.16/1478.58	c 1471s |      16 |   295539 |   196152 |   267379      0 |    46884 |        4
1481.95/1482.30	c 1475s |      16 |   295812 |   196352 |   267379      0 |    46884 |        4
1484.25/1484.60	c 1477s |      16 |   295947 |   196452 |   267379      0 |    46884 |        4
1487.96/1488.34	c 1481s |      16 |   296081 |   196652 |   267379      0 |    46884 |        4
1492.15/1492.58	c 1485s |      16 |   296346 |   196852 |   267379      0 |    46884 |        4
1495.85/1496.27	c 1489s |      16 |   296478 |   197052 |   267379      0 |    46884 |        4
1499.95/1500.39	c 1493s |      16 |   296737 |   197252 |   267379      0 |    46884 |        4
1502.05/1502.48	c 1495s |      16 |   296737 |   197352 |   267379      0 |    46884 |        4
1503.35/1503.79	c 1496s |      17 |   296864 |   197432 |   267379      0 |    46884 |        4
1506.55/1506.92	c 1499s |      17 |   297060 |   197532 |   267379      0 |    46884 |        4
1509.75/1510.12	c 1502s |      17 |   297342 |   197732 |   267379      0 |    46884 |        4
1513.05/1513.46	c 1506s |      17 |   297511 |   197932 |   267379      0 |    46884 |        4
1515.05/1515.47	c 1508s |      17 |   297639 |   198032 |   267379      0 |    46884 |        4
1517.25/1517.61	c 1510s |      17 |   297755 |   198132 |   267379      0 |    46884 |        4
1519.35/1519.76	c 1512s |      17 |   297879 |   198232 |   267379      0 |    46884 |        4
1522.94/1523.31	c 1516s |      17 |   298005 |   198432 |   267379      0 |    46884 |        4
1526.55/1526.93	c 1519s |      17 |   298247 |   198632 |   267379      0 |    46884 |        4
1530.24/1530.69	c 1523s |      17 |   298480 |   198832 |   267379      0 |    46884 |        4
1533.84/1534.23	c 1527s |      17 |   298593 |   199032 |   267379      0 |    46884 |        4
1537.04/1537.45	c 1530s |      17 |   298818 |   199232 |   267379      0 |    46884 |        4
1540.34/1540.70	c 1533s |      17 |   299039 |   199432 |   267379      0 |    46884 |        4
1543.44/1543.85	c 1536s |      17 |   299263 |   199632 |   267379      0 |    46884 |        4
1546.74/1547.14	c 1539s |      17 |   299472 |   199832 |   267379      0 |    46884 |        4
1549.94/1550.34	c 1543s |      17 |   299682 |   200032 |   267379      0 |    46884 |        4
1553.04/1553.45	c 1546s |      17 |   299889 |   200232 |   267379      0 |    46884 |        4
1556.14/1556.56	c 1549s |      17 |   300081 |   200432 |   267379      0 |    46884 |        4
1559.34/1559.70	c 1552s |      17 |   300269 |   200632 |   267379      0 |    46884 |        4
1562.34/1562.71	c 1555s |      17 |   300469 |   200832 |   267379      0 |    46884 |        4
1565.54/1565.99	c 1558s |      17 |   300725 |   201032 |   267379      0 |    46884 |        4
1568.34/1568.79	c 1561s |      17 |   300906 |   201232 |   267379      0 |    46884 |        4
1571.44/1571.89	c 1564s |      17 |   301076 |   201432 |   267379      0 |    46884 |        4
1574.44/1574.81	c 1567s |      17 |   301305 |   201632 |   267379      0 |    46884 |        4
1577.44/1577.87	c 1570s |      17 |   301523 |   201832 |   267379      0 |    46884 |        4
1580.44/1580.85	c 1573s |      17 |   301667 |   202032 |   267379      0 |    46884 |        4
1583.13/1583.50	c 1576s |      17 |   301888 |   202232 |   267379      0 |    46884 |        4
1585.94/1586.31	c 1579s |      17 |   302083 |   202432 |   267379      0 |    46884 |        4
1588.43/1588.85	c 1581s |      17 |   302288 |   202632 |   267379      0 |    46884 |        4
1591.13/1591.50	c 1584s |      17 |   302533 |   202832 |   267379      0 |    46884 |        4
1593.43/1593.87	c 1586s |      17 |   302713 |   203032 |   267379      0 |    46884 |        4
1595.93/1596.37	c 1589s |      17 |   302942 |   203232 |   267379      0 |    46884 |        4
1598.43/1598.80	c 1591s |      17 |   303128 |   203432 |   267379      0 |    46884 |        4
1600.73/1601.13	c 1593s |      17 |   303316 |   203632 |   267379      0 |    46884 |        4
1602.73/1603.14	c 1595s |      17 |   303551 |   203832 |   267379      0 |    46884 |        4
1605.43/1605.87	c 1598s |      17 |   303899 |   204132 |   267379      0 |    46884 |        4
1607.63/1608.08	c 1600s |      17 |   304227 |   204432 |   267379      0 |    46884 |        4
1610.04/1610.50	c 1603s |      17 |   304468 |   204632 |   267379      0 |    46884 |        4
1613.34/1613.75	c 1606s |      17 |   304668 |   204832 |   267379      0 |    46884 |        4
1616.64/1617.01	c 1609s |      17 |   304919 |   205032 |   267379      0 |    46884 |        4
1618.73/1619.11	c 1611s |      17 |   305073 |   205132 |   267379      0 |    46884 |        4
1622.33/1622.73	c 1615s |      17 |   305200 |   205332 |   267379      0 |    46884 |        4
1625.63/1626.02	c 1618s |      17 |   305490 |   205532 |   267379      0 |    46884 |        4
1629.33/1629.73	c 1622s |      17 |   305752 |   205832 |   267379      0 |    46884 |        4
1632.43/1632.87	c 1625s |      17 |   308820 |   206032 |   267379      0 |    46884 |        4
1636.03/1636.47	c 1629s |      17 |   311647 |   206232 |   267379      0 |    46884 |        4
1638.42/1638.88	c 1631s |      17 |   314280 |   206332 |   267379      0 |    46884 |        4
1642.22/1642.61	c 1635s |      17 |   314448 |   206532 |   267379      0 |    46884 |        4
1644.62/1645.05	c 1637s |      17 |   314448 |   206632 |   267379      0 |    46884 |        4
1648.02/1648.46	c 1641s |      17 |   317621 |   206832 |   267379      0 |    46884 |        4
1650.12/1650.51	c 1643s |      17 |   320492 |   206932 |   267379      0 |    46884 |        4
1654.13/1654.57	c 1647s |      17 |   323167 |   207132 |   267379      0 |    46884 |        4
1657.43/1657.87	c 1650s |      17 |   325785 |   207332 |   267379      0 |    46884 |        4
1660.42/1660.85	c 1653s |      17 |   325955 |   207532 |   267379      0 |    46884 |        4
1663.82/1664.21	c 1657s |      17 |   328684 |   207732 |   267379      0 |    46884 |        4
1667.42/1667.89	c 1660s |      17 |   331525 |   207932 |   267379      0 |    46884 |        4
1671.02/1671.48	c 1664s |      17 |   334360 |   208132 |   267379      0 |    46884 |        4
1674.22/1674.64	c 1667s |      17 |   334527 |   208332 |   267379      0 |    46884 |        4
1677.92/1678.35	c 1671s |      17 |   337130 |   208532 |   267379      0 |    46884 |        4
1681.72/1682.11	c 1674s |      17 |   339964 |   208732 |   267379      0 |    46884 |        4
1685.22/1685.66	c 1678s |      17 |   340193 |   208932 |   267379      0 |    46884 |        4
1687.42/1687.84	c 1680s |      17 |   340193 |   209032 |   267379      0 |    46884 |        4
1691.22/1691.64	c 1684s |      17 |   342987 |   209232 |   267379      0 |    46884 |        4
1695.42/1695.86	c 1688s |      17 |   343157 |   209432 |   267379      0 |    46884 |        4
1699.22/1699.69	c 1692s |      17 |   343529 |   209632 |   267379      0 |    46884 |        4
1702.42/1702.90	c 1695s |      17 |   343697 |   209832 |   267379      0 |    46884 |        4
1706.01/1706.43	c 1699s |      17 |   343865 |   210032 |   267379      0 |    46884 |        4
1708.41/1708.84	c 1701s |      17 |   344032 |   210132 |   267379      0 |    46884 |        4
1711.61/1712.09	c 1704s |      17 |   344199 |   210332 |   267379      0 |    46884 |        4
1715.11/1715.51	c 1708s |      17 |   344365 |   210532 |   267379      0 |    46884 |        4
1717.41/1717.84	c 1710s |      17 |   344530 |   210632 |   267379      0 |    46884 |        4
1720.71/1721.13	c 1713s |      17 |   344690 |   210832 |   267379      0 |    46884 |        4
1722.71/1723.18	c 1716s |      17 |   344690 |   210932 |   267379      0 |    46884 |        4
1726.31/1726.76	c 1719s |      17 |   345010 |   211132 |   267379      0 |    46884 |        4
1729.41/1729.86	c 1722s |      17 |   345172 |   211332 |   267379      0 |    46884 |        4
1731.71/1732.14	c 1724s |      17 |   345333 |   211432 |   267379      0 |    46884 |        4
1734.81/1735.20	c 1728s |      17 |   345490 |   211632 |   267379      0 |    46884 |        4
1738.01/1738.44	c 1731s |      17 |   345654 |   211832 |   267379      0 |    46884 |        4
1740.01/1740.49	c 1733s |      17 |   345814 |   211932 |   267379      0 |    46884 |        4
1743.31/1743.75	c 1736s |      17 |   345969 |   212132 |   267379      0 |    46884 |        4
1745.41/1745.88	c 1738s |      17 |   346116 |   212232 |   267379      0 |    46884 |        4
1748.51/1748.95	c 1741s |      17 |   346272 |   212432 |   267379      0 |    46884 |        4
1750.71/1751.13	c 1743s |      17 |   346426 |   212532 |   267379      0 |    46884 |        4
1753.71/1754.14	c 1746s |      17 |   346589 |   212732 |   267379      0 |    46884 |        4
1755.91/1756.33	c 1749s |      17 |   346738 |   212832 |   267379      0 |    46884 |        4
1758.80/1759.29	c 1752s |      17 |   346880 |   213032 |   267379      0 |    46884 |        4
1760.90/1761.33	c 1754s |      17 |   347028 |   213132 |   267379      0 |    46884 |        4
1763.90/1764.32	c 1757s |      17 |   347176 |   213332 |   267379      0 |    46884 |        4
1765.90/1766.33	c 1759s |      17 |   347322 |   213432 |   267379      0 |    46884 |        4
1768.90/1769.36	c 1762s |      17 |   347466 |   213632 |   267379      0 |    46884 |        4
1772.60/1773.05	c 1765s |      17 |   347609 |   213832 |   267379      0 |    46884 |        4
1775.80/1776.22	c 1769s |      17 |   347894 |   214032 |   267379      0 |    46884 |        4
1777.90/1778.38	c 1771s |      17 |   348034 |   214132 |   267379      0 |    46884 |        4
1780.40/1780.85	c 1773s |      17 |   348249 |   214332 |   267379      0 |    46884 |        4
1783.81/1784.22	c 1777s |      17 |   348374 |   214532 |   267379      0 |    46884 |        4
1786.90/1787.39	c 1780s |      17 |   348651 |   214732 |   267379      0 |    46884 |        4
1789.60/1790.02	c 1782s |      17 |   348881 |   214932 |   267379      0 |    46884 |        4
1793.00/1793.45	c 1786s |      17 |   349016 |   215132 |   267379      0 |    46884 |        4
1796.01/1796.41	c 1789s |      17 |   349282 |   215332 |   267379      0 |    46884 |        4
1799.50/1799.94	c 1792s |      17 |   349411 |   215532 |   267379      0 |    46884 |        4

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

pid=13092
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.01 2.06 2.06 3/179 13095
/proc/meminfo: memFree=28975324/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 2858 0 0 0 0 0 0 0 20 0 4 0 23921748 782692352 3219 33554432000 4194304 16246674 140734638376272 140734638375696 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 191599 3229 441 2943 0 188493 0
[pid=13095/tid=13096] ppid=13092 vsize=780732 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 799469568 3286 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=785852 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 804712448 3306 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=788924 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 807858176 3317 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.01 2.06 2.06 3/179 13095
/proc/meminfo: memFree=28975324/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1300036 CPUtime=0.08 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 27699 0 0 0 5 3 0 0 20 0 4 0 23921748 1331236864 27998 33554432000 4194304 16246674 140734638376272 140734638375584 7367789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 325009 28012 798 2943 0 321903 0
[pid=13095/tid=13096] ppid=13092 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1331236864 28023 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1331236864 28036 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1331236864 28049 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1300036

[startup+0.200503 s]
/proc/loadavg: 2.01 2.06 2.06 3/179 13095
/proc/meminfo: memFree=28975324/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 46164 0 0 0 12 7 0 0 20 0 4 0 23921748 1344868352 46973 33554432000 4194304 16246674 140734638376272 140734638375584 7364389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 328337 46973 800 2943 0 325231 0
[pid=13095/tid=13096] ppid=13092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1344868352 46973 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1344868352 46973 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1344868352 46973 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300504 s]
/proc/loadavg: 2.01 2.06 2.06 3/179 13095
/proc/meminfo: memFree=28975324/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 55642 0 0 0 21 8 0 0 20 0 4 0 23921748 1344868352 56451 33554432000 4194304 16246674 140734638376272 140734638359264 8058945 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 328337 56451 801 2943 0 325231 0
[pid=13095/tid=13096] ppid=13092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1344868352 56451 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1344868352 56451 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1344868352 56451 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700441 s]
/proc/loadavg: 2.01 2.06 2.06 3/179 13095
/proc/meminfo: memFree=28975324/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1319492 CPUtime=0.69 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 68142 0 0 0 59 10 0 0 20 0 4 0 23921748 1351159808 69973 33554432000 4194304 16246674 140734638376272 140734638359264 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 329873 69973 803 2943 0 326767 0
[pid=13095/tid=13096] ppid=13092 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1351159808 69973 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1351159808 69973 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1351159808 69973 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1319492

[startup+1.50048 s]
/proc/loadavg: 2.00 2.06 2.06 3/183 13099
/proc/meminfo: memFree=28681924/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1331780 CPUtime=1.48 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 95222 0 0 0 135 13 0 0 20 0 4 0 23921748 1363742720 99097 33554432000 4194304 16246674 140734638376272 140734638358144 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 332945 99097 803 2943 0 329839 0
[pid=13095/tid=13096] ppid=13092 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1363742720 99097 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1363742720 99097 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1363742720 99097 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1331780

[startup+3.1004 s]
/proc/loadavg: 2.00 2.06 2.06 3/183 13099
/proc/meminfo: memFree=28505512/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1380932 CPUtime=3.09 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 117013 0 0 0 292 17 0 0 20 0 4 0 23921748 1414074368 121910 33554432000 4194304 16246674 140734638376272 140734638375584 5592732 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 345233 121910 846 2943 0 342127 0
[pid=13095/tid=13096] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 121910 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 121910 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 121910 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.30044 s]
/proc/loadavg: 2.00 2.06 2.06 3/183 13099
/proc/meminfo: memFree=28277328/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1380932 CPUtime=6.29 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 210037 0 0 0 600 29 0 0 20 0 4 0 23921748 1414074368 214934 33554432000 4194304 16246674 140734638376272 140734638358144 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 345233 214934 846 2943 0 342127 0
[pid=13095/tid=13096] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 214934 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 214934 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 214934 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.00 2.06 2.06 3/183 13099
/proc/meminfo: memFree=27828116/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1380932 CPUtime=12.68 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 281834 0 0 0 1230 38 0 0 20 0 4 0 23921748 1414074368 286731 33554432000 4194304 16246674 140734638376272 140734638358144 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 345233 286731 899 2943 0 342127 0
[pid=13095/tid=13096] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 286731 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 286731 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 286731 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1380932

[startup+25.5005 s]
/proc/loadavg: 2.00 2.06 2.06 3/183 13099
/proc/meminfo: memFree=27829360/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1380932 CPUtime=25.48 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 281834 0 0 0 2510 38 0 0 20 0 4 0 23921748 1414074368 286731 33554432000 4194304 16246674 140734638376272 140734638358144 5712219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 345233 286731 899 2943 0 342127 0
[pid=13095/tid=13096] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 286731 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 286731 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 286731 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1380932

[startup+51.1005 s]
/proc/loadavg: 2.07 2.07 2.06 4/184 13102
/proc/meminfo: memFree=27829200/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1380932 CPUtime=51.08 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 281836 0 0 0 5070 38 0 0 20 0 4 0 23921748 1414074368 286733 33554432000 4194304 16246674 140734638376272 140734638358144 5754983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 345233 286733 901 2943 0 342127 0
[pid=13095/tid=13096] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 286733 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 286733 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 286733 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1380932

[startup+102.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/184 13126
/proc/meminfo: memFree=27827812/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1380932 CPUtime=102.28 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 281836 0 0 0 10189 39 0 0 20 0 4 0 23921748 1414074368 286733 33554432000 4194304 16246674 140734638376272 140734638358144 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 345233 286733 901 2943 0 342127 0
[pid=13095/tid=13096] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 286733 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 286733 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1414074368 286733 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1380932


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

/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1502788

[startup+1302.3 s]
/proc/loadavg: 2.14 2.07 2.03 3/183 13204
/proc/meminfo: memFree=28883640/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1502788 CPUtime=1301.97 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 312539 0 0 0 130153 44 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140734638358144 5599912 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 375697 317200 904 2943 0 372591 0
[pid=13095/tid=13096] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1502788

[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.03 3/183 13205
/proc/meminfo: memFree=28883440/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1502788 CPUtime=1361.96 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 312539 0 0 0 136152 44 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140734638358144 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 375697 317200 904 2943 0 372591 0
[pid=13095/tid=13096] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1502788

[startup+1422.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/183 13206
/proc/meminfo: memFree=28882716/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1502788 CPUtime=1421.96 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 312539 0 0 0 142152 44 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140734638358144 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 375697 317200 904 2943 0 372591 0
[pid=13095/tid=13096] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1502788

[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.02 3/183 13207
/proc/meminfo: memFree=28883064/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1502788 CPUtime=1481.95 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 312539 0 0 0 148150 45 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140734638358144 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 375697 317200 904 2943 0 372591 0
[pid=13095/tid=13096] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1502788

[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.01 3/183 13209
/proc/meminfo: memFree=28882564/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1502788 CPUtime=1541.95 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 312539 0 0 0 154150 45 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140734638358144 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 375697 317200 904 2943 0 372591 0
[pid=13095/tid=13096] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1502788

[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/183 13210
/proc/meminfo: memFree=28882936/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1502788 CPUtime=1601.93 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 312539 0 0 0 160148 45 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140734638358144 5711518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 375697 317200 904 2943 0 372591 0
[pid=13095/tid=13096] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1502788

[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 13211
/proc/meminfo: memFree=28882464/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1502788 CPUtime=1661.92 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 312539 0 0 0 166147 45 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140734638358144 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 375697 317200 904 2943 0 372591 0
[pid=13095/tid=13096] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1502788

[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 13212
/proc/meminfo: memFree=28882768/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1502788 CPUtime=1721.91 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 312539 0 0 0 172146 45 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140734638358144 5823905 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 375697 317200 904 2943 0 372591 0
[pid=13095/tid=13096] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1502788

[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/183 13213
/proc/meminfo: memFree=28882160/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1502788 CPUtime=1781.9 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 312539 0 0 0 178145 45 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140734638358144 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 375697 317200 904 2943 0 372591 0
[pid=13095/tid=13096] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1502788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 13213
/proc/meminfo: memFree=28882128/32872528 swapFree=534252/566956
[pid=13095] ppid=13092 vsize=1502788 CPUtime=1800 cores=0,2,4,6
/proc/13095/stat : 13095 (toysat) R 13092 13095 10353 0 -1 4202496 312539 0 0 0 179955 45 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140734638358144 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13095/statm: 375697 317200 904 2943 0 372591 0
[pid=13095/tid=13096] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13096/stat : 13096 (toysat) S 13092 13095 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466222771440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13095/tid=13097] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13097/stat : 13097 (toysat) S 13092 13095 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466212281584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13095/tid=13098] ppid=13092 vsize=1502788 CPUtime=0 cores=0,2,4,6
/proc/13095/task/13098/stat : 13098 (toysat) S 13092 13095 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23921748 1538854912 317200 33554432000 4194304 16246674 140734638376272 140466100104368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1502788

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.01
CPU user time (s): 1799.56
CPU system time (s): 0.45493
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 1502788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.45493
maximum resident set size= 1268800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312539
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= 256
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4863 second user time and 7.95379 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 04:59:21
IDJOB=4100865
IDBENCH=1671
IDSOLVER=2542
FILE ID=node138/4100865-1466218761
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-d2q06c.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100865-1466218761/watcher-4100865-1466218761 -o /tmp/evaluation-result-4100865-1466218761/solver-4100865-1466218761 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100865-1466218761.opb

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

MD5SUM BENCH= 121100115f65aafe7304954ad1ff7cf1
RANDOM SEED=948297846

node138.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.395
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	: 5332.79
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.395
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.395
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.395
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.395
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.395
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.395
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.54
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.395
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:        28975704 kB
Buffers:           93376 kB
Cached:           131280 kB
SwapCached:         1060 kB
Active:          2472688 kB
Inactive:         116968 kB
Active(anon):    2366336 kB
Inactive(anon):     1228 kB
Active(file):     106352 kB
Inactive(file):   115740 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             26996 kB
Writeback:             0 kB
AnonPages:       2934048 kB
Mapped:            10664 kB
Shmem:                 0 kB
Slab:             603404 kB
SReclaimable:      46888 kB
SUnreclaim:       556516 kB
KernelStack:        1520 kB
PageTables:         9840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3075536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1118208 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= 71688 MiB
End job on node138 at 2016-06-18 05:29:22