Trace number 4100665

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

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-e226.opb
MD5SUMba85c504e75c36f184b41f40c4eddd0f
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 benchmark0.144977
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables8460
Total number of constraints216
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 constraints216
Minimum length of a constraint30
Maximum length of a constraint3210
Number of terms in the objective function 5160
Biggest coefficient in the objective function 17864
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 528383
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 528383
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:29:08+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-4100665-1466216948.opb"]
0.00/0.01	c use --random-gen="1065049969 79447879 383201908 3557487743 3992251180 1952597031 2601153421 4029441536 707377662 3619540018 346474305 3742386651 686291337 2059359913 2178758281 3690831843 3874705476 765023953 4058362262 3814973875 2221479327 504750556 1740933623 2297445464 38175589 2611528470 256904993 3397349458 1293209045 639117477 3388504826 3752888251 1349605351 3785189496 278831648 1770809142 2570769769 2167803406 2816534050 3719538330 3710760593 2997107187 3387874204 1886404320 213199814 2986735105 1008927829 2767798683 2853107569 502936021 3558282419 1174633600 113911310 4070676138 769360628 2106290974 2774245642 1646512333 1103548781 520983126 3262138144 2033559130 1541595980 1112763829 27978480 3768385102 2366213096 1574717134 795786973 796955824 3828126325 3592835571 4059424955 2430884823 976102139 3029784171 2021943840 2417858745 2292268546 2483332923 3558349224 2917576234 807037749 3277282821 3742666098 2558589879 3185810919 3789911272 3431077203 2054995505 1577046871 4171581282 785502621 134971004 1179982163 2308634581 3555522791 1013800048 2884448469 809214592 2052713752 2994539690 609841045 2926949689 3953152046 1872135968 3533250312 1021916469 351591775 2962858957 1065618493 3370362674 674502914 1612074094 1342912623 4197243140 1077040749 738006725 2422980703 2488407603 1555621424 709745870 2358911539 778364972 1189487979 4194474555 1935481851 3445135552 1809865347 179684802 2198087984 245929475 2672616314 4272210110 1510596555 4249998595 1157508525 640787011 3212757451 983383287 641070300 4223143859 2933053584 717990176 1967167383 2010499617 2272060642 1859399753 927804066 3395638065 940349453 195925174 2803189403 3926078730 3335811655 779759191 3474411308 3114432847 2468125312 2350914837 2991478984 3241160720 632663726 1183340033 719250107 3135665137 697159795 3876108655 1922911947 3534052888 2077372869 2996705102 1332994430 2917886074 380129376 1852835213 1655743520 3798255960 3374238999 3050964818 2932514983 1002649554 2263066875 2650129346 2340838645 2444627746 4085303647 4232402411 2458518235 2499381089 506241615 2834513341 1112486435 3043417241 4177790952 2157739965 3803835954 1717720809 2421703709 3250281539 4185617029 3533337105 457242943 3433103534 1477375526 1564994521 1123561941 2390883127 4106023462 1574619097 3100327269 2136444465 2360145555 4024021810 261558877 2157327310 705752651 1011260451 41066029 606033010 2232425113 1777100686 2078651633 399561277 2782566057 294932630 3512197095 2158711516 4246481473 1150975560 3109542864 3990424628 4289248206 1621784636 785524269 129948997 276681298 759011915 2552499070 834430749 1593630738 1147283881 2759885386 2235709898 1836259628 688174006 3162262303 2377431458 4076461539 3122446833 2823956014 2564748477 3911862006 2693467943 2363174528 950249707 255 362436" option to reproduce the execution
0.09/0.18	c #vars 8460
0.09/0.18	c #constraints 216
0.49/0.50	c BCD2: Hardening is enabled.
0.49/0.50	c BCD2: BiasedSearch is enabled.
0.49/0.50	c Solving starts ...
0.49/0.50	c ============================[ Search Statistics ]============================
0.49/0.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.50	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.50	c =============================================================================
0.49/0.50	c  0.0s |       0 |        0 |        0 |     2901      0 |     4000 |        0
0.49/0.58	c  0.1s |       1 |      180 |      100 |     2901      0 |     4006 |       16
0.59/0.63	c  0.1s |       2 |      364 |      250 |     3192      0 |     4007 |       16
0.59/0.69	c  0.2s |       3 |      625 |      475 |     3512      0 |     4007 |       16
0.69/0.79	c  0.3s |       4 |     1516 |      813 |     3864      0 |     4007 |       16
0.89/0.95	c  0.4s |       5 |     2148 |     1320 |     4251      0 |     4007 |       16
1.19/1.21	c  0.7s |       6 |     3346 |     2081 |     5145      0 |     4008 |       16
1.59/1.61	c  1.1s |       7 |     4948 |     3223 |     5660      0 |     4008 |       16
2.30/2.31	c  1.8s |       8 |     7583 |     4936 |     6227      0 |     4008 |       16
3.30/3.33	c  2.8s |       9 |    11461 |     7506 |     6850      0 |     4009 |       16
5.19/5.25	c  4.7s |      10 |    16989 |    11361 |     7536      1 |     4009 |       16
7.19/7.25	c  6.7s |      10 |    23143 |    15661 |     7536      1 |     4009 |       16
7.99/8.04	c  7.5s |      11 |    25176 |    17144 |     8290      1 |     4009 |       16
10.00/10.07	c  9.6s |      11 |    30588 |    21244 |     8290      2 |     4009 |       16
11.98/12.10	c 11.6s |      11 |    35012 |    24644 |     8290      3 |     4009 |       16
12.68/12.70	c 12.2s |      12 |    36327 |    25819 |     9119      3 |     4009 |       16
14.68/14.73	c 14.2s |      12 |    41057 |    29819 |     9119      3 |     4011 |       16
16.69/16.73	c 16.2s |      12 |    44076 |    32019 |     9119      4 |     4011 |       16
18.70/18.75	c 18.2s |      12 |    50272 |    36419 |     9119      4 |     4011 |       16
19.80/19.89	c 19.4s |      13 |    53219 |    38832 |    10031      5 |     4011 |       16
21.89/21.91	c 21.4s |      13 |    59029 |    43132 |    10031      5 |     4011 |       16
23.89/23.92	c 23.4s |      13 |    64102 |    46932 |    10031      6 |     4011 |       16
25.89/25.92	c 25.4s |      13 |    66000 |    48332 |    10031      6 |     4011 |       16
27.89/27.93	c 27.4s |      13 |    71223 |    52032 |    10031      6 |     4011 |       16
29.89/29.95	c 29.5s |      13 |    76245 |    55832 |    10031      7 |     4011 |       16
31.29/31.37	c 30.9s |      14 |    79630 |    58352 |    11035      7 |     4011 |       16
33.38/33.41	c 32.9s |      14 |    83579 |    61352 |    11035      8 |     4011 |       16
35.38/35.45	c 34.9s |      14 |    89157 |    65352 |    11035      8 |     4011 |       16
37.39/37.48	c 37.0s |      14 |    95065 |    69352 |    11035      9 |     4011 |       16
39.48/39.51	c 39.0s |      14 |    98540 |    71652 |    11035      9 |     4011 |       16
41.48/41.55	c 41.1s |      14 |   103950 |    75352 |    11035      9 |     4011 |       16
43.48/43.56	c 43.1s |      14 |   108354 |    79152 |    11035     10 |     4011 |       16
45.58/45.60	c 45.1s |      14 |   113162 |    82952 |    11035     10 |     4011 |       16
47.58/47.63	c 47.1s |      14 |   118159 |    86752 |    11035     11 |     4011 |       16
48.08/48.16	c 47.7s |      15 |   119289 |    87632 |    12139     11 |     4011 |       16
50.58/50.60	c 50.1s |      15 |   123148 |    90432 |    12139     11 |     4011 |       16
52.58/52.62	c 52.1s |      15 |   127493 |    93532 |    12139     12 |     4011 |       16
54.58/54.67	c 54.2s |      15 |   133090 |    97332 |    12139     12 |     4011 |       16
56.58/56.69	c 56.2s |      15 |   137384 |   100732 |    12139     13 |     4011 |       16
59.08/59.14	c 58.6s |      15 |   140650 |   103132 |    12139     13 |     4011 |       16
61.08/61.14	c 60.6s |      15 |   145551 |   106832 |    12139     13 |     4011 |       16
63.08/63.14	c 62.6s |      15 |   149331 |   109432 |    12139     14 |     4011 |       16
65.08/65.15	c 64.6s |      15 |   153992 |   113232 |    12139     14 |     4011 |       16
67.08/67.15	c 66.7s |      15 |   158175 |   116332 |    12139     15 |     4011 |       16
69.18/69.21	c 68.7s |      15 |   162416 |   119232 |    12139     15 |     4011 |       16
71.18/71.25	c 70.8s |      15 |   166714 |   122032 |    12139     15 |     4011 |       16
73.18/73.29	c 72.8s |      15 |   171198 |   125532 |    12139     16 |     4011 |       16
75.28/75.32	c 74.8s |      15 |   176545 |   129632 |    12139     16 |     4011 |       16
76.48/76.55	c 76.0s |      16 |   179013 |   131552 |    13353     16 |     4011 |       16
80.48/80.57	c 80.1s |      16 |   182381 |   134152 |    13353     17 |     4011 |       16
82.49/82.58	c 82.1s |      16 |   188326 |   138552 |    13353     17 |     4011 |       16
84.58/84.61	c 84.1s |      16 |   193407 |   142252 |    13353     18 |     4011 |       16
86.58/86.66	c 86.2s |      16 |   198502 |   146252 |    13353     18 |     4011 |       16
88.68/88.71	c 88.2s |      16 |   202341 |   149052 |    13353     18 |     4011 |       16
90.78/90.85	c 90.3s |      16 |   206578 |   152052 |    13353     19 |     4011 |       16
92.78/92.87	c 92.4s |      16 |   211799 |   155852 |    13353     19 |     4011 |       16
94.88/94.91	c 94.4s |      16 |   215432 |   158552 |    13353     19 |     4011 |       16
97.07/97.14	c 96.6s |      16 |   219656 |   161452 |    13353     20 |     4011 |       16
99.17/99.20	c 98.7s |      16 |   224958 |   165352 |    13353     20 |     4011 |       16
101.18/101.22	c  100s |      16 |   229768 |   168752 |    13353     21 |     4011 |       16
103.17/103.27	c  102s |      16 |   235191 |   172952 |    13353     21 |     4011 |       16
105.17/105.27	c  104s |      16 |   235539 |   173252 |    13353     21 |     4011 |       16
107.27/107.31	c  106s |      16 |   239868 |   176352 |    13353     21 |     4011 |       16
109.27/109.34	c  108s |      16 |   244405 |   179852 |    13353     22 |     4011 |       16
111.27/111.35	c  110s |      16 |   249043 |   183352 |    13353     22 |     4011 |       16
113.27/113.39	c  112s |      16 |   252644 |   186052 |    13353     23 |     4012 |       16
115.37/115.41	c  114s |      16 |   257794 |   189952 |    13353     23 |     4012 |       16
117.37/117.44	c  116s |      16 |   262790 |   193652 |    13353     23 |     4012 |       16
119.37/119.44	c  118s |      16 |   264996 |   195252 |    13353     24 |     4012 |       16
123.47/123.50	c  122s |      16 |   267226 |   196952 |    14689     24 |     4012 |       16
123.77/123.81	c  123s |      17 |   267990 |   197432 |    14689     24 |     4012 |       16
125.77/125.85	c  125s |      17 |   273028 |   200732 |    14689     24 |     4012 |       16
127.77/127.88	c  127s |      17 |   277395 |   203832 |    14689     24 |     4012 |       16
129.87/129.90	c  129s |      17 |   281042 |   205832 |    14689     25 |     4012 |       16
131.87/131.92	c  131s |      17 |   285208 |   209232 |    14689     25 |     4012 |       16
133.87/133.98	c  133s |      17 |   289497 |   212132 |    14689     25 |     4012 |       16
135.97/136.01	c  135s |      17 |   293026 |   214932 |    14689     26 |     4012 |       16
137.97/138.04	c  137s |      17 |   298112 |   218732 |    14689     26 |     4012 |       16
139.96/140.05	c  139s |      17 |   303771 |   222232 |    14689     26 |     4012 |       16
141.97/142.07	c  141s |      17 |   308022 |   225632 |    14689     27 |     4012 |       16
144.07/144.11	c  143s |      17 |   312418 |   229032 |    14689     27 |     4012 |       16
146.06/146.14	c  145s |      17 |   317157 |   232432 |    14689     27 |     4012 |       16
148.06/148.19	c  147s |      17 |   320921 |   235332 |    14689     28 |     4012 |       16
150.16/150.21	c  149s |      17 |   325710 |   239032 |    14689     28 |     4012 |       16
152.16/152.24	c  151s |      17 |   329346 |   241932 |    14689     28 |     4012 |       16
154.16/154.27	c  153s |      17 |   334138 |   245732 |    14689     29 |     4012 |       16
156.27/156.32	c  155s |      17 |   338735 |   249532 |    14689     29 |     4012 |       16
161.06/161.14	c  160s |      17 |   340938 |   251332 |    14689     29 |     4012 |       16
163.06/163.15	c  162s |      17 |   344298 |   253832 |    14689     30 |     4012 |       16
165.07/165.18	c  164s |      17 |   349367 |   257732 |    14689     30 |     4012 |       16
167.17/167.22	c  166s |      17 |   353565 |   261032 |    14689     31 |     4012 |       16
169.16/169.23	c  168s |      17 |   357796 |   264332 |    14689     31 |     4012 |       16
171.16/171.26	c  170s |      17 |   362289 |   267632 |    14689     31 |     4012 |       16
173.36/173.46	c  172s |      17 |   363266 |   268432 |    14689     31 |     4012 |       16
175.46/175.50	c  175s |      17 |   365199 |   269932 |    14689     31 |     4012 |       16
177.56/177.61	c  177s |      17 |   367601 |   271732 |    14689     32 |     4012 |       16
179.56/179.62	c  179s |      17 |   373009 |   275332 |    14689     32 |     4012 |       16
181.56/181.64	c  181s |      17 |   377556 |   278732 |    14689     32 |     4012 |       16
183.56/183.67	c  183s |      17 |   382381 |   282432 |    14689     33 |     4012 |       16
185.66/185.73	c  185s |      17 |   386980 |   286032 |    14689     33 |     4012 |       16
187.76/187.80	c  187s |      17 |   391113 |   289132 |    14689     34 |     4012 |       16
189.76/189.83	c  189s |      17 |   396123 |   292832 |    14689     34 |     4012 |       16
191.76/191.88	c  191s |      17 |   400251 |   295932 |    16158     34 |     4012 |       16
191.96/192.09	c  191s |      18 |   400780 |   296252 |    16158     34 |     4012 |       16
194.06/194.18	c  193s |      18 |   405082 |   299452 |    16158     34 |     4012 |       16
196.16/196.21	c  195s |      18 |   409791 |   303152 |    16158     35 |     4012 |       16
200.46/200.52	c  200s |      18 |   412835 |   305752 |    16158     35 |     4012 |       16
202.47/202.57	c  202s |      18 |   417483 |   309452 |    16158     35 |     4012 |       16
204.76/204.83	c  204s |      18 |   422170 |   312852 |    16158     36 |     4012 |       16
206.77/206.89	c  206s |      18 |   426341 |   315852 |    16158     36 |     4012 |       16
209.96/210.08	c  209s |      18 |   430252 |   318952 |    16158     36 |     4012 |       16
212.36/212.42	c  211s |      18 |   431881 |   320252 |    16158     37 |     4012 |       16
214.36/214.45	c  213s |      18 |   436987 |   324152 |    16158     37 |     4012 |       16
216.46/216.52	c  216s |      18 |   441479 |   327552 |    16158     37 |     4012 |       16
218.46/218.52	c  218s |      18 |   445382 |   330452 |    16158     38 |     4012 |       16
220.46/220.56	c  220s |      18 |   450932 |   334452 |    16158     38 |     4012 |       16
222.46/222.57	c  222s |      18 |   454903 |   337552 |    16158     38 |     4012 |       16
224.55/224.60	c  224s |      18 |   458426 |   340352 |    16158     38 |     4012 |       16
226.56/226.63	c  226s |      18 |   461803 |   342952 |    16158     39 |     4012 |       16
228.55/228.67	c  228s |      18 |   466395 |   346552 |    16158     39 |     4012 |       16
230.55/230.69	c  230s |      18 |   470219 |   349452 |    16158     39 |     4012 |       16
232.55/232.69	c  232s |      18 |   473093 |   351652 |    16158     40 |     4012 |       16
234.65/234.78	c  234s |      18 |   476780 |   354252 |    16158     40 |     4012 |       16
237.05/237.17	c  236s |      18 |   477802 |   355052 |    16158     40 |     4012 |       16
239.15/239.20	c  238s |      18 |   482401 |   358552 |    16158     40 |     4012 |       16
241.15/241.24	c  240s |      18 |   486653 |   361952 |    16158     41 |     4012 |       16
243.16/243.25	c  242s |      18 |   491143 |   365552 |    16158     41 |     4012 |       16
245.26/245.32	c  244s |      18 |   495180 |   368852 |    16158     41 |     4012 |       16
247.25/247.35	c  246s |      18 |   498772 |   371952 |    16158     42 |     4012 |       16
249.25/249.38	c  248s |      18 |   500286 |   373252 |    16158     42 |     4012 |       16
251.35/251.40	c  250s |      18 |   505145 |   377052 |    16158     42 |     4012 |       16
253.35/253.43	c  252s |      18 |   508629 |   379952 |    16158     42 |     4012 |       16
255.35/255.46	c  254s |      18 |   511177 |   382352 |    16158     43 |     4012 |       16
257.35/257.47	c  256s |      18 |   516807 |   386652 |    16158     43 |     4012 |       16
262.25/262.32	c  261s |      18 |   521856 |   390452 |    16158     43 |     4012 |       16
264.24/264.33	c  263s |      18 |   526258 |   393352 |    16158     44 |     4012 |       16
266.25/266.34	c  265s |      18 |   529926 |   396152 |    16158     44 |     4012 |       16
268.35/268.42	c  267s |      18 |   534268 |   399352 |    16158     44 |     4012 |       16
270.34/270.48	c  269s |      18 |   537381 |   401652 |    16158     45 |     4012 |       16
272.44/272.51	c  272s |      18 |   541797 |   405152 |    16158     45 |     4012 |       16
274.44/274.53	c  274s |      18 |   545680 |   408452 |    16158     45 |     4012 |       16
276.44/276.58	c  276s |      18 |   549037 |   411452 |    16158     46 |     4012 |       16
278.85/278.96	c  278s |      18 |   551312 |   413452 |    16158     46 |     4012 |       16
280.95/281.00	c  280s |      18 |   556266 |   417052 |    16158     46 |     4012 |       16
282.95/283.02	c  282s |      18 |   561513 |   420652 |    16158     46 |     4012 |       16
285.55/285.62	c  285s |      18 |   564109 |   422652 |    16158     47 |     4012 |       16
287.55/287.64	c  287s |      18 |   569048 |   425852 |    16158     47 |     4012 |       16
289.55/289.68	c  289s |      18 |   574330 |   428952 |    16158     47 |     4012 |       16
291.65/291.72	c  291s |      18 |   578488 |   431852 |    16158     48 |     4012 |       16
293.65/293.78	c  293s |      18 |   581634 |   434752 |    16158     48 |     4012 |       16
295.74/295.81	c  295s |      18 |   585334 |   436952 |    16158     48 |     4012 |       16
297.84/297.91	c  297s |      18 |   589648 |   439952 |    16158     48 |     4012 |       16
299.84/299.91	c  299s |      18 |   593736 |   442352 |    17774     48 |     4012 |       16
301.54/301.61	c  301s |      19 |   596737 |   444482 |    17774     49 |     4012 |       16
303.55/303.64	c  303s |      19 |   600474 |   446582 |    17774     49 |     4012 |       16
305.64/305.70	c  305s |      19 |   605491 |   450182 |    17774     49 |     4012 |       16
307.64/307.77	c  307s |      19 |   609899 |   453282 |    17774     49 |     4012 |       16
309.94/310.01	c  309s |      19 |   612265 |   455582 |    17774     50 |     4012 |       16
311.94/312.07	c  311s |      19 |   617206 |   459082 |    17774     50 |     4012 |       16
314.04/314.13	c  313s |      19 |   621075 |   462182 |    17774     50 |     4012 |       16
316.24/316.33	c  315s |      19 |   623612 |   463982 |    17774     50 |     4012 |       16
318.24/318.37	c  317s |      19 |   626576 |   466082 |    17774     51 |     4012 |       16
322.34/322.47	c  321s |      19 |   628861 |   467782 |    17774     51 |     4012 |       16
324.94/325.02	c  324s |      19 |   633934 |   471182 |    17774     51 |     4012 |       16
327.04/327.12	c  326s |      19 |   635934 |   473182 |    17774     51 |     4012 |       16
329.04/329.17	c  328s |      19 |   639072 |   475582 |    17774     51 |     4012 |       16
331.15/331.22	c  330s |      19 |   643749 |   478582 |    17774     52 |     4012 |       16
333.14/333.26	c  332s |      19 |   648340 |   481882 |    17774     52 |     4012 |       16
335.14/335.29	c  334s |      19 |   652085 |   484882 |    17774     52 |     4012 |       16
338.44/338.58	c  338s |      19 |   655015 |   486582 |    17774     52 |     4012 |       16
340.44/340.58	c  340s |      19 |   660033 |   489082 |    17774     53 |     4012 |       16
342.54/342.63	c  342s |      19 |   664512 |   491982 |    17774     53 |     4012 |       16
344.54/344.68	c  344s |      19 |   667725 |   494082 |    17774     53 |     4012 |       16
346.64/346.70	c  346s |      19 |   672410 |   496782 |    17774     53 |     4012 |       16
348.64/348.73	c  348s |      19 |   675769 |   498782 |    17774     54 |     4012 |       16
350.63/350.79	c  350s |      19 |   680545 |   501882 |    17774     54 |     4012 |       16
352.73/352.83	c  352s |      19 |   684624 |   504782 |    17774     54 |     4012 |       16
354.83/354.92	c  354s |      19 |   688897 |   507482 |    17774     54 |     4012 |       16
356.83/356.97	c  356s |      19 |   692621 |   510182 |    17774     55 |     4012 |       16
358.93/359.05	c  358s |      19 |   695738 |   512482 |    17774     55 |     4012 |       16
360.93/361.05	c  360s |      19 |   698992 |   514482 |    17774     55 |     4012 |       16
362.93/363.09	c  362s |      19 |   702902 |   517082 |    17774     55 |     4012 |       16
364.93/365.09	c  364s |      19 |   706745 |   519582 |    17774     55 |     4012 |       16
367.03/367.14	c  366s |      19 |   710702 |   522582 |    17774     56 |     4012 |       16
369.03/369.17	c  368s |      19 |   714040 |   525382 |    17774     56 |     4012 |       16
371.13/371.23	c  370s |      19 |   718542 |   527882 |    17774     56 |     4012 |       16
373.13/373.27	c  372s |      19 |   723635 |   530482 |    17774     56 |     4012 |       16
375.23/375.33	c  374s |      19 |   727524 |   533382 |    17774     57 |     4012 |       16
377.24/377.39	c  376s |      19 |   731642 |   536482 |    17774     57 |     4012 |       16
379.33/379.43	c  378s |      19 |   735394 |   538882 |    17774     57 |     4012 |       16
381.33/381.44	c  380s |      19 |   739529 |   541582 |    17774     57 |     4012 |       16
383.33/383.47	c  382s |      19 |   743264 |   544382 |    17774     58 |     4012 |       16
385.33/385.47	c  384s |      19 |   746926 |   546882 |    17774     58 |     4012 |       16
387.43/387.52	c  387s |      19 |   750748 |   549682 |    17774     58 |     4012 |       16
389.53/389.60	c  389s |      19 |   754457 |   552382 |    17774     58 |     4012 |       16
391.54/391.61	c  391s |      19 |   757934 |   554682 |    17774     59 |     4012 |       16
393.53/393.61	c  393s |      19 |   762317 |   557882 |    17774     59 |     4012 |       16
395.53/395.67	c  395s |      19 |   766356 |   560882 |    17774     59 |     4012 |       16
405.13/405.28	c  404s |      19 |   768326 |   562482 |    17774     59 |     4012 |       16
407.23/407.34	c  406s |      19 |   771169 |   564482 |    17774     60 |     4012 |       16
409.23/409.38	c  408s |      19 |   775733 |   568182 |    17774     60 |     4012 |       16
411.23/411.40	c  410s |      19 |   780347 |   570982 |    17774     60 |     4012 |       16
413.33/413.43	c  412s |      19 |   784169 |   573382 |    17774     60 |     4012 |       16
415.33/415.47	c  414s |      19 |   788785 |   576382 |    17774     61 |     4012 |       16
417.33/417.49	c  416s |      19 |   792876 |   579382 |    17774     61 |     4012 |       16
419.43/419.50	c  419s |      19 |   796322 |   582182 |    17774     61 |     4012 |       16
421.43/421.56	c  421s |      19 |   799793 |   584782 |    17774     61 |     4012 |       16
423.43/423.58	c  423s |      19 |   803320 |   587382 |    17774     62 |     4012 |       16
425.42/425.59	c  425s |      19 |   807471 |   590582 |    17774     62 |     4012 |       16
427.52/427.61	c  427s |      19 |   811278 |   593582 |    17774     62 |     4012 |       16
430.32/430.44	c  429s |      19 |   813596 |   595282 |    17774     62 |     4012 |       16
432.33/432.45	c  431s |      19 |   816521 |   597382 |    17774     63 |     4012 |       16
434.32/434.46	c  433s |      19 |   819786 |   599782 |    17774     63 |     4012 |       16
436.32/436.47	c  435s |      19 |   823612 |   602582 |    17774     63 |     4012 |       16
438.42/438.56	c  438s |      19 |   826013 |   604582 |    17774     63 |     4012 |       16
440.52/440.60	c  440s |      19 |   827428 |   605982 |    17774     63 |     4012 |       16
442.52/442.68	c  442s |      19 |   828627 |   607182 |    17774     63 |     4012 |       16
444.52/444.69	c  444s |      19 |   830831 |   609382 |    17774     64 |     4012 |       16
446.63/446.73	c  446s |      19 |   834158 |   611482 |    17774     64 |     4012 |       16
448.73/448.81	c  448s |      19 |   837957 |   613882 |    17774     64 |     4012 |       16
450.72/450.81	c  450s |      19 |   841639 |   616482 |    17774     64 |     4012 |       16
452.72/452.84	c  452s |      19 |   846897 |   619182 |    17774     65 |     4012 |       16
454.72/454.85	c  454s |      19 |   850901 |   622182 |    17774     65 |     4012 |       16
456.71/456.85	c  456s |      19 |   853517 |   624082 |    17774     65 |     4012 |       16
458.72/458.88	c  458s |      19 |   857862 |   627582 |    17774     65 |     4012 |       16
460.92/461.01	c  460s |      19 |   860251 |   629582 |    17774     66 |     4012 |       16
462.91/463.05	c  462s |      19 |   864686 |   632982 |    17774     66 |     4012 |       16
465.01/465.10	c  464s |      19 |   868617 |   636182 |    17774     66 |     4012 |       16
467.02/467.13	c  466s |      19 |   871186 |   638182 |    17774     66 |     4012 |       16
469.02/469.15	c  468s |      19 |   874940 |   640982 |    17774     67 |     4012 |       16
471.02/471.19	c  470s |      19 |   879208 |   644082 |    17774     67 |     4012 |       16
473.12/473.21	c  472s |      19 |   882663 |   646782 |    17774     67 |     4012 |       16
475.72/475.87	c  475s |      19 |   885346 |   648782 |    17774     67 |     4012 |       16
477.82/477.91	c  477s |      19 |   889758 |   651782 |    17774     68 |     4012 |       16
479.82/479.93	c  479s |      19 |   894598 |   654882 |    17774     68 |     4012 |       16
481.82/481.99	c  481s |      19 |   899837 |   658182 |    17774     68 |     4012 |       16
483.92/484.02	c  483s |      19 |   903831 |   661282 |    17774     68 |     4012 |       16
485.92/486.06	c  485s |      19 |   907579 |   664382 |    19552     69 |     4012 |       16
487.91/488.09	c  487s |      19 |   910401 |   666482 |    19552     69 |     4012 |       16
488.21/488.31	c  487s |      20 |   910834 |   666827 |    19552     69 |     4012 |       16
490.21/490.36	c  489s |      20 |   915191 |   669627 |    19552     69 |     4012 |       16
492.21/492.37	c  491s |      20 |   920095 |   672427 |    19552     69 |     4012 |       16
494.31/494.41	c  493s |      20 |   924108 |   675227 |    19552     70 |     4012 |       16
496.31/496.47	c  495s |      20 |   927660 |   678027 |    19552     70 |     4012 |       16
498.32/498.48	c  497s |      20 |   932034 |   681127 |    19552     70 |     4012 |       16
500.42/500.54	c  500s |      20 |   935931 |   684127 |    19552     70 |     4012 |       16
502.41/502.59	c  502s |      20 |   939568 |   686427 |    19552     71 |     4012 |       16
504.51/504.64	c  504s |      20 |   944428 |   689527 |    19552     71 |     4012 |       16
506.51/506.69	c  506s |      20 |   948689 |   692827 |    19552     71 |     4012 |       16
508.61/508.71	c  508s |      20 |   952539 |   695927 |    19552     71 |     4012 |       16
516.01/516.13	c  515s |      20 |   954035 |   697227 |    19552     71 |     4012 |       16
518.02/518.17	c  517s |      20 |   956396 |   699027 |    19552     72 |     4012 |       16
520.01/520.18	c  519s |      20 |   961012 |   702627 |    19552     72 |     4012 |       16
522.11/522.21	c  521s |      20 |   964279 |   705227 |    19552     72 |     4012 |       16
524.11/524.21	c  523s |      20 |   967762 |   707727 |    19552     72 |     4012 |       16
526.11/526.26	c  525s |      20 |   971833 |   710327 |    19552     73 |     4012 |       16
528.21/528.30	c  527s |      20 |   975594 |   713327 |    19552     73 |     4012 |       16
530.21/530.32	c  529s |      20 |   979253 |   716327 |    19552     73 |     4012 |       16
532.21/532.33	c  531s |      20 |   982797 |   719227 |    19552     73 |     4012 |       16
534.21/534.35	c  533s |      20 |   985476 |   721627 |    19552     73 |     4012 |       16
536.21/536.38	c  535s |      20 |   989157 |   724427 |    19552     74 |     4012 |       16
538.31/538.40	c  537s |      20 |   993692 |   727827 |    19552     74 |     4012 |       16
540.31/540.44	c  539s |      20 |   996574 |   730327 |    19552     74 |     4012 |       16
542.41/542.51	c  542s |      20 |  1000323 |   733227 |    19552     74 |     4012 |       16
545.40/545.52	c  545s |      20 |  1002773 |   735127 |    19552     75 |     4012 |       16
547.40/547.54	c  547s |      20 |  1007426 |   738627 |    19552     75 |     4012 |       16
549.40/549.54	c  549s |      20 |  1011260 |   741527 |    19552     75 |     4012 |       16
551.50/551.60	c  551s |      20 |  1015012 |   744527 |    19552     75 |     4012 |       16
553.50/553.66	c  553s |      20 |  1018396 |   746927 |    19552     76 |     4012 |       16
555.51/555.67	c  555s |      20 |  1021480 |   749327 |    19552     76 |     4012 |       16
557.50/557.69	c  557s |      20 |  1024405 |   751527 |    19552     76 |     4013 |       16
559.60/559.75	c  559s |      20 |  1027911 |   753727 |    19552     76 |     4013 |       16
561.70/561.81	c  561s |      20 |  1032090 |   756627 |    19552     76 |     4013 |       16
563.71/563.83	c  563s |      20 |  1035495 |   759427 |    19552     77 |     4013 |       16
565.81/565.92	c  565s |      20 |  1039954 |   762727 |    19552     77 |     4013 |       16
571.90/572.03	c  571s |      20 |  1042677 |   765127 |    19552     77 |     4013 |       16
573.90/574.04	c  573s |      20 |  1046524 |   767827 |    19552     77 |     4013 |       16
576.00/576.13	c  575s |      20 |  1049813 |   770327 |    19552     78 |     4013 |       16
578.00/578.16	c  577s |      20 |  1053745 |   773627 |    19552     78 |     4013 |       16
580.09/580.24	c  579s |      20 |  1055367 |   774927 |    19552     78 |     4013 |       16
582.10/582.27	c  581s |      20 |  1059671 |   777727 |    19552     78 |     4013 |       16
584.11/584.28	c  583s |      20 |  1063534 |   780727 |    19552     78 |     4013 |       16
586.10/586.30	c  585s |      20 |  1067510 |   783727 |    19552     79 |     4013 |       16
588.20/588.31	c  587s |      20 |  1071690 |   786627 |    19552     79 |     4013 |       16
590.80/590.93	c  590s |      20 |  1075225 |   789227 |    19552     79 |     4013 |       16
592.80/592.97	c  592s |      20 |  1078886 |   791627 |    19552     79 |     4013 |       16
594.90/595.00	c  594s |      20 |  1082070 |   794327 |    19552     80 |     4013 |       16
596.89/597.02	c  596s |      20 |  1084515 |   796527 |    19552     80 |     4013 |       16
598.89/599.05	c  598s |      20 |  1088477 |   799627 |    19552     80 |     4013 |       16
600.89/601.07	c  600s |      20 |  1092958 |   803227 |    19552     80 |     4013 |       16
602.99/603.11	c  602s |      20 |  1094882 |   804727 |    19552     81 |     4013 |       16
605.00/605.15	c  604s |      20 |  1098956 |   807527 |    19552     81 |     4013 |       16
606.99/607.19	c  606s |      20 |  1103135 |   810527 |    19552     81 |     4013 |       16
609.09/609.25	c  608s |      20 |  1107251 |   813727 |    19552     81 |     4013 |       16
611.19/611.32	c  610s |      20 |  1110438 |   816227 |    19552     81 |     4013 |       16
613.19/613.33	c  612s |      20 |  1113683 |   818627 |    19552     82 |     4013 |       16
615.19/615.34	c  614s |      20 |  1117731 |   821727 |    19552     82 |     4013 |       16
618.79/618.93	c  618s |      20 |  1119097 |   822727 |    19552     82 |     4013 |       16
620.78/620.94	c  620s |      20 |  1123131 |   825227 |    19552     82 |     4013 |       16
622.88/623.00	c  622s |      20 |  1126559 |   827827 |    19552     82 |     4013 |       16
624.88/625.09	c  624s |      20 |  1130114 |   830527 |    19552     83 |     4013 |       16
626.99/627.13	c  626s |      20 |  1134772 |   833827 |    19552     83 |     4013 |       16
628.98/629.15	c  628s |      20 |  1139003 |   836727 |    19552     83 |     4013 |       16
631.08/631.22	c  630s |      20 |  1142607 |   839627 |    19552     83 |     4013 |       16
633.08/633.24	c  632s |      20 |  1145988 |   842427 |    19552     84 |     4013 |       16
635.18/635.30	c  634s |      20 |  1149808 |   845627 |    19552     84 |     4013 |       16
639.28/639.42	c  638s |      20 |  1150565 |   846227 |    19552     84 |     4013 |       16
643.49/643.69	c  643s |      20 |  1150842 |   846327 |    19552     84 |     4013 |       16
645.88/646.07	c  645s |      20 |  1153854 |   848627 |    19552     84 |     4013 |       16
647.98/648.15	c  647s |      20 |  1158315 |   851227 |    19552     84 |     4013 |       16
651.38/651.50	c  650s |      20 |  1160606 |   852427 |    19552     85 |     4013 |       16
653.39/653.51	c  653s |      20 |  1164380 |   855227 |    19552     85 |     4013 |       16
655.38/655.60	c  655s |      20 |  1168151 |   857727 |    19552     85 |     4013 |       16
657.48/657.66	c  657s |      20 |  1171585 |   860127 |    19552     85 |     4013 |       16
659.58/659.71	c  659s |      20 |  1174312 |   862427 |    19552     85 |     4013 |       16
661.58/661.78	c  661s |      20 |  1176694 |   864427 |    19552     86 |     4013 |       16
663.68/663.82	c  663s |      20 |  1179798 |   866827 |    19552     86 |     4013 |       16
665.78/665.90	c  665s |      20 |  1182311 |   869327 |    19552     86 |     4013 |       16
667.78/667.90	c  667s |      20 |  1184555 |   871527 |    19552     86 |     4014 |       16
669.68/669.90	c  669s |      20 |  1186861 |   873827 |    19552     86 |     4014 |       16
671.78/671.95	c  671s |      20 |  1189320 |   876227 |    19552     87 |     4014 |       16
673.78/673.98	c  673s |      20 |  1193002 |   879827 |    19552     87 |     4014 |       16
675.88/676.04	c  675s |      20 |  1196272 |   883027 |    19552     87 |     4014 |       16
677.97/678.13	c  677s |      20 |  1199253 |   885927 |    19552     87 |     4014 |       16
680.37/680.51	c  680s |      20 |  1201882 |   888527 |    19552     88 |     4014 |       16
682.47/682.61	c  682s |      20 |  1204188 |   890827 |    19552     88 |     4014 |       16
684.47/684.66	c  684s |      20 |  1206498 |   893127 |    19552     88 |     4014 |       16
686.47/686.66	c  686s |      20 |  1208910 |   895527 |    19552     88 |     4014 |       16
688.47/688.69	c  688s |      20 |  1210813 |   897427 |    19552     88 |     4014 |       16
690.57/690.71	c  690s |      20 |  1212423 |   899027 |    19552     88 |     4014 |       16
692.56/692.72	c  692s |      20 |  1214220 |   900827 |    19552     89 |     4014 |       16
694.56/694.78	c  694s |      20 |  1216463 |   903027 |    19552     89 |     4014 |       16
696.56/696.79	c  696s |      20 |  1218775 |   905327 |    19552     89 |     4014 |       16
698.66/698.83	c  698s |      20 |  1220895 |   907427 |    19552     89 |     4014 |       16
700.76/700.90	c  700s |      20 |  1223018 |   909527 |    19552     89 |     4014 |       16
702.76/702.96	c  702s |      20 |  1224520 |   911027 |    19552     90 |     4014 |       16
704.86/705.03	c  704s |      20 |  1227327 |   913827 |    19552     90 |     4014 |       16
706.86/707.05	c  706s |      20 |  1229937 |   916427 |    19552     90 |     4014 |       16
708.85/709.09	c  708s |      20 |  1232347 |   918827 |    19552     90 |     4014 |       16
710.85/711.09	c  710s |      20 |  1234647 |   921127 |    19552     90 |     4014 |       16
713.05/713.23	c  712s |      20 |  1235453 |   921927 |    19552     90 |     4014 |       16
715.15/715.30	c  714s |      20 |  1237059 |   923527 |    19552     91 |     4014 |       16
717.16/717.33	c  716s |      20 |  1239687 |   926127 |    19552     91 |     4014 |       16
719.15/719.37	c  718s |      20 |  1241905 |   928327 |    19552     91 |     4014 |       16
721.25/721.45	c  720s |      20 |  1244212 |   930627 |    19552     91 |     4014 |       16
723.45/723.60	c  723s |      20 |  1246320 |   932727 |    19552     91 |     4014 |       16
725.65/725.81	c  725s |      20 |  1248335 |   934727 |    19552     92 |     4014 |       16
727.65/727.86	c  727s |      20 |  1251140 |   937527 |    19552     92 |     4014 |       16
729.75/729.91	c  729s |      20 |  1253654 |   940027 |    19552     92 |     4014 |       16
731.74/731.91	c  731s |      20 |  1255960 |   942327 |    19552     92 |     4014 |       16
733.74/733.99	c  733s |      20 |  1258374 |   944727 |    19552     92 |     4014 |       16
735.85/736.01	c  735s |      20 |  1260479 |   946827 |    19552     93 |     4014 |       16
737.84/738.04	c  737s |      20 |  1262886 |   949227 |    19552     93 |     4014 |       16
743.24/743.49	c  742s |      20 |  1264200 |   950527 |    19552     93 |     4014 |       16
745.84/746.05	c  745s |      20 |  1264617 |   950927 |    19552     93 |     4014 |       16
749.74/749.98	c  749s |      20 |  1266410 |   952627 |    19552     93 |     4014 |       16
751.84/752.02	c  751s |      20 |  1268755 |   954927 |    19552     93 |     4014 |       16
753.84/754.02	c  753s |      20 |  1270983 |   957127 |    19552     93 |     4014 |       16
755.84/756.05	c  755s |      20 |  1272508 |   958627 |    19552     94 |     4014 |       16
757.84/758.07	c  757s |      20 |  1275201 |   961227 |    19552     94 |     4014 |       16
759.94/760.12	c  759s |      20 |  1277925 |   963927 |    19552     94 |     4014 |       16
762.03/762.20	c  761s |      20 |  1280427 |   966427 |    19552     94 |     4014 |       16
764.03/764.26	c  763s |      20 |  1282537 |   968527 |    19552     94 |     4014 |       16
766.13/766.32	c  765s |      20 |  1284458 |   970427 |    19552     95 |     4014 |       16
768.13/768.39	c  767s |      20 |  1286983 |   972927 |    19552     95 |     4014 |       16
770.13/770.40	c  769s |      20 |  1289308 |   975227 |    19552     95 |     4014 |       16
772.23/772.47	c  771s |      20 |  1291519 |   977427 |    19552     95 |     4014 |       16
774.23/774.50	c  773s |      20 |  1293730 |   979627 |    19552     95 |     4014 |       16
776.33/776.52	c  776s |      20 |  1295741 |   981627 |    19552     95 |     4014 |       16
778.32/778.54	c  778s |      20 |  1298055 |   983927 |    19552     96 |     4014 |       16
781.42/781.63	c  781s |      20 |  1299161 |   985027 |    19552     96 |     4014 |       16
783.42/783.63	c  783s |      20 |  1300656 |   986527 |    19552     96 |     4014 |       16
785.42/785.67	c  785s |      20 |  1302966 |   988827 |    19552     96 |     4014 |       16
787.42/787.68	c  787s |      20 |  1305070 |   990927 |    19552     96 |     4014 |       16
789.51/789.73	c  789s |      20 |  1307280 |   993127 |    19552     96 |     4014 |       16
791.52/791.79	c  791s |      20 |  1309388 |   995227 |    21508     96 |     4014 |       16
793.62/793.80	c  793s |      20 |  1311716 |   997527 |    21508     97 |     4014 |       16
795.62/795.83	c  795s |      20 |  1314124 |   999927 |    21508     97 |     4014 |       16
796.12/796.33	c  795s |      21 |  1314537 |  1000345 |    21508     97 |     4014 |       16
798.22/798.40	c  797s |      21 |  1316478 |  1002245 |    21508     97 |     4014 |       16
805.41/805.60	c  805s |      21 |  1317087 |  1002845 |    21508     97 |     4014 |       16
807.40/807.65	c  807s |      21 |  1318886 |  1004645 |    21508     97 |     4014 |       16
809.41/809.67	c  809s |      21 |  1320700 |  1006445 |    21508     97 |     4014 |       16
811.50/811.75	c  811s |      21 |  1322880 |  1008545 |    21508     98 |     4014 |       16
813.50/813.77	c  813s |      21 |  1325961 |  1011545 |    21508     98 |     4014 |       16
815.70/815.90	c  815s |      21 |  1328592 |  1014145 |    21508     98 |     4014 |       16
817.70/817.92	c  817s |      21 |  1330936 |  1016445 |    21508     98 |     4014 |       16
820.00/820.22	c  819s |      21 |  1332348 |  1017845 |    21508     98 |     4014 |       16
822.10/822.34	c  821s |      21 |  1333855 |  1019345 |    21508     98 |     4014 |       16
824.10/824.39	c  823s |      21 |  1335248 |  1020745 |    21508     98 |     4014 |       16
826.20/826.43	c  825s |      21 |  1336846 |  1022345 |    21508     99 |     4014 |       16
828.20/828.45	c  827s |      21 |  1338949 |  1024445 |    21508     99 |     4014 |       16
830.19/830.50	c  829s |      21 |  1340560 |  1026045 |    21508     99 |     4014 |       16
832.29/832.51	c  832s |      21 |  1342261 |  1027745 |    21508     99 |     4014 |       16
834.29/834.58	c  834s |      21 |  1345172 |  1030645 |    21508     99 |     4014 |       16
836.39/836.65	c  836s |      21 |  1347383 |  1032845 |    21508     99 |     4014 |       16
838.59/838.83	c  838s |      21 |  1349287 |  1034745 |    21508    100 |     4014 |       16
840.59/840.83	c  840s |      21 |  1351592 |  1037045 |    21508    100 |     4014 |       16
842.59/842.84	c  842s |      21 |  1354005 |  1039445 |    21508    100 |     4014 |       16
844.69/844.90	c  844s |      21 |  1356310 |  1041745 |    21508    100 |     4014 |       16
846.69/846.99	c  846s |      21 |  1358323 |  1043745 |    21508    100 |     4014 |       16
848.78/849.07	c  848s |      21 |  1360347 |  1045745 |    21508    100 |     4014 |       16
850.78/851.09	c  850s |      21 |  1361948 |  1047345 |    21508    101 |     4014 |       16
852.88/853.15	c  852s |      21 |  1364450 |  1049845 |    21508    101 |     4014 |       16
854.98/855.26	c  854s |      21 |  1366959 |  1052345 |    21508    101 |     4014 |       16
856.98/857.26	c  856s |      21 |  1369061 |  1054445 |    21508    101 |     4014 |       16
859.08/859.32	c  858s |      21 |  1371073 |  1056445 |    21508    101 |     4014 |       16
861.09/861.39	c  860s |      21 |  1373174 |  1058545 |    21508    101 |     4014 |       16
863.18/863.44	c  862s |      21 |  1374779 |  1060145 |    21508    102 |     4014 |       16
876.48/876.74	c  876s |      21 |  1375485 |  1060845 |    21508    102 |     4014 |       16
878.47/878.76	c  878s |      21 |  1378092 |  1063445 |    21508    102 |     4014 |       16
880.47/880.78	c  880s |      21 |  1380205 |  1065545 |    21508    102 |     4014 |       16
882.57/882.85	c  882s |      21 |  1382536 |  1067845 |    21508    102 |     4014 |       16
884.67/884.92	c  884s |      21 |  1385227 |  1070445 |    21508    102 |     4014 |       16
886.87/887.16	c  886s |      21 |  1387248 |  1072445 |    21508    103 |     4014 |       16
888.96/889.21	c  888s |      21 |  1389251 |  1074445 |    21508    103 |     4014 |       16
890.96/891.25	c  890s |      21 |  1391487 |  1076645 |    21508    103 |     4014 |       16
892.97/893.27	c  892s |      21 |  1393939 |  1079045 |    21508    103 |     4014 |       16
895.06/895.34	c  894s |      21 |  1396712 |  1081745 |    21508    103 |     4014 |       16
897.16/897.41	c  896s |      21 |  1398762 |  1083745 |    21508    103 |     4014 |       16
899.16/899.44	c  898s |      21 |  1400389 |  1085345 |    21508    104 |     4014 |       16
901.26/901.54	c  901s |      21 |  1403237 |  1088145 |    21508    104 |     4014 |       16
903.36/903.60	c  903s |      21 |  1404751 |  1089645 |    21508    104 |     4014 |       16
905.36/905.65	c  905s |      21 |  1406955 |  1091845 |    21508    104 |     4014 |       16
907.36/907.68	c  907s |      21 |  1409171 |  1094045 |    21508    104 |     4014 |       16
909.35/909.69	c  909s |      21 |  1411778 |  1096645 |    21508    104 |     4014 |       16
911.45/911.71	c  911s |      21 |  1414295 |  1099145 |    21508    105 |     4014 |       16
913.56/913.83	c  913s |      21 |  1415007 |  1099845 |    21508    105 |     4014 |       16
915.66/915.94	c  915s |      21 |  1417527 |  1102345 |    21508    105 |     4014 |       16
917.76/918.01	c  917s |      21 |  1419743 |  1104545 |    21508    105 |     4014 |       16
919.86/920.15	c  919s |      21 |  1421949 |  1106745 |    21508    105 |     4014 |       16
921.96/922.21	c  921s |      21 |  1424055 |  1108845 |    21508    105 |     4014 |       16
924.06/924.36	c  923s |      21 |  1426074 |  1110845 |    21508    106 |     4014 |       16
926.06/926.37	c  925s |      21 |  1428090 |  1112845 |    21508    106 |     4014 |       16
928.16/928.44	c  927s |      21 |  1430667 |  1115345 |    21508    106 |     4014 |       16
930.15/930.45	c  929s |      21 |  1432805 |  1117445 |    21508    106 |     4014 |       16
932.25/932.50	c  931s |      21 |  1435063 |  1119645 |    21508    106 |     4014 |       16
934.45/934.73	c  934s |      21 |  1436977 |  1121545 |    21508    106 |     4014 |       16
936.45/936.74	c  936s |      21 |  1438787 |  1123345 |    21508    106 |     4014 |       16
938.75/939.06	c  938s |      21 |  1440620 |  1125145 |    21508    107 |     4014 |       16
940.75/941.08	c  940s |      21 |  1443546 |  1128045 |    21508    107 |     4014 |       16
942.84/943.14	c  942s |      21 |  1446393 |  1130845 |    21508    107 |     4014 |       16
944.94/945.23	c  944s |      21 |  1448208 |  1132645 |    21508    107 |     4014 |       16
946.95/947.27	c  946s |      21 |  1450107 |  1134545 |    21508    107 |     4014 |       16
959.44/959.79	c  959s |      21 |  1451528 |  1135945 |    21508    107 |     4014 |       16
961.54/961.82	c  961s |      21 |  1453621 |  1138045 |    21508    108 |     4014 |       16
963.54/963.82	c  963s |      21 |  1456833 |  1141245 |    21508    108 |     4014 |       16
965.64/965.90	c  965s |      21 |  1459540 |  1143945 |    21508    108 |     4014 |       16
967.74/968.01	c  967s |      21 |  1461855 |  1146245 |    21508    108 |     4014 |       16
969.73/970.05	c  969s |      21 |  1463860 |  1148245 |    21508    108 |     4014 |       16
971.73/972.06	c  971s |      21 |  1466283 |  1150645 |    21508    109 |     4014 |       16
973.83/974.15	c  973s |      21 |  1468595 |  1152945 |    21508    109 |     4014 |       16
975.93/976.23	c  975s |      21 |  1470807 |  1155145 |    21508    109 |     4014 |       16
977.93/978.24	c  977s |      21 |  1472929 |  1157245 |    21508    109 |     4014 |       16
979.93/980.25	c  979s |      21 |  1474840 |  1159145 |    21508    109 |     4014 |       16
981.93/982.25	c  981s |      21 |  1476847 |  1161145 |    21508    109 |     4014 |       16
983.92/984.27	c  983s |      21 |  1478157 |  1162445 |    21508    110 |     4014 |       16
985.92/986.29	c  985s |      21 |  1480474 |  1164745 |    21508    110 |     4014 |       16
988.02/988.32	c  987s |      21 |  1482486 |  1166745 |    21508    110 |     4014 |       16
990.02/990.34	c  989s |      21 |  1484394 |  1168645 |    21508    110 |     4014 |       16
992.12/992.43	c  991s |      21 |  1486415 |  1170645 |    21508    110 |     4014 |       16
994.12/994.46	c  993s |      21 |  1488428 |  1172645 |    21508    110 |     4014 |       16
996.11/996.48	c  995s |      21 |  1490132 |  1174345 |    21508    110 |     4014 |       16
1002.72/1003.03	c 1002s |      21 |  1490836 |  1175045 |    21508    111 |     4014 |       16
1004.72/1005.04	c 1004s |      21 |  1493340 |  1177545 |    21508    111 |     4014 |       16
1006.72/1007.09	c 1006s |      21 |  1495751 |  1179945 |    21508    111 |     4014 |       16
1018.01/1018.34	c 1017s |      21 |  1496862 |  1181045 |    21508    111 |     4014 |       16
1020.01/1020.39	c 1019s |      21 |  1499063 |  1183245 |    21508    111 |     4014 |       16
1022.21/1022.53	c 1022s |      21 |  1501282 |  1185445 |    21508    111 |     4014 |       16
1024.21/1024.56	c 1024s |      21 |  1503000 |  1187145 |    21508    111 |     4014 |       16
1026.21/1026.58	c 1026s |      21 |  1504912 |  1189045 |    21508    112 |     4014 |       16
1028.22/1028.59	c 1028s |      21 |  1507637 |  1191745 |    21508    112 |     4014 |       16
1030.31/1030.66	c 1030s |      21 |  1510260 |  1194345 |    21508    112 |     4014 |       16
1032.31/1032.67	c 1032s |      21 |  1511673 |  1195745 |    21508    112 |     4014 |       16
1034.41/1034.75	c 1034s |      21 |  1513587 |  1197645 |    21508    112 |     4014 |       16
1036.41/1036.77	c 1036s |      21 |  1515528 |  1199545 |    21508    112 |     4014 |       16
1038.70/1039.05	c 1038s |      21 |  1517441 |  1201445 |    21508    113 |     4014 |       16
1040.80/1041.12	c 1040s |      21 |  1519964 |  1203945 |    21508    113 |     4014 |       16
1042.90/1043.20	c 1042s |      21 |  1522648 |  1206545 |    21508    113 |     4014 |       16
1045.00/1045.30	c 1044s |      21 |  1524752 |  1208545 |    21508    113 |     4014 |       16
1047.01/1047.37	c 1046s |      21 |  1526876 |  1210645 |    21508    113 |     4014 |       16
1048.99/1049.37	c 1048s |      21 |  1528690 |  1212445 |    21508    113 |     4014 |       16
1051.09/1051.40	c 1050s |      21 |  1530691 |  1214445 |    21508    114 |     4014 |       16
1053.09/1053.47	c 1052s |      21 |  1533041 |  1216745 |    21508    114 |     4014 |       16
1055.09/1055.47	c 1054s |      21 |  1535591 |  1219245 |    21508    114 |     4014 |       16
1057.19/1057.56	c 1057s |      21 |  1537711 |  1221345 |    21508    114 |     4014 |       16
1059.29/1059.64	c 1059s |      21 |  1539626 |  1223245 |    21508    114 |     4014 |       16
1061.39/1061.73	c 1061s |      21 |  1542041 |  1225645 |    21508    114 |     4014 |       16
1065.69/1066.05	c 1065s |      21 |  1543958 |  1227545 |    21508    115 |     4014 |       16
1067.79/1068.15	c 1067s |      21 |  1546471 |  1230045 |    21508    115 |     4014 |       16
1069.78/1070.18	c 1069s |      21 |  1548993 |  1232545 |    21508    115 |     4014 |       16
1071.88/1072.25	c 1071s |      21 |  1551309 |  1234845 |    21508    115 |     4014 |       16
1083.78/1084.14	c 1083s |      21 |  1552426 |  1235945 |    21508    115 |     4014 |       16
1085.78/1086.19	c 1085s |      21 |  1554429 |  1237945 |    21508    115 |     4014 |       16
1087.87/1088.21	c 1087s |      21 |  1557182 |  1240645 |    21508    116 |     4014 |       16
1089.88/1090.26	c 1089s |      21 |  1560083 |  1243545 |    21508    116 |     4014 |       16
1091.87/1092.29	c 1091s |      21 |  1562492 |  1245945 |    21508    116 |     4014 |       16
1093.97/1094.38	c 1093s |      21 |  1564613 |  1248045 |    21508    116 |     4014 |       16
1096.07/1096.44	c 1095s |      21 |  1566522 |  1249945 |    21508    116 |     4014 |       16
1101.78/1102.10	c 1101s |      21 |  1566731 |  1250145 |    21508    116 |     4014 |       16
1103.87/1104.29	c 1103s |      21 |  1568236 |  1251645 |    21508    117 |     4014 |       16
1105.97/1106.35	c 1105s |      21 |  1570653 |  1254045 |    21508    117 |     4014 |       16
1107.97/1108.36	c 1107s |      21 |  1573067 |  1256445 |    21508    117 |     4014 |       16
1110.07/1110.42	c 1109s |      21 |  1575400 |  1258745 |    21508    117 |     4014 |       16
1112.17/1112.52	c 1112s |      21 |  1577210 |  1260545 |    21508    117 |     4014 |       16
1114.17/1114.54	c 1114s |      21 |  1579014 |  1262345 |    21508    117 |     4014 |       16
1116.18/1116.56	c 1116s |      21 |  1580928 |  1264245 |    21508    117 |     4014 |       16
1118.27/1118.63	c 1118s |      21 |  1582936 |  1266245 |    21508    118 |     4014 |       16
1120.27/1120.63	c 1120s |      21 |  1585248 |  1268545 |    21508    118 |     4014 |       16
1122.27/1122.69	c 1122s |      21 |  1588056 |  1271345 |    21508    118 |     4014 |       16
1124.37/1124.71	c 1124s |      21 |  1590462 |  1273745 |    21508    118 |     4014 |       16
1131.46/1131.85	c 1131s |      21 |  1592569 |  1275845 |    21508    118 |     4014 |       16
1133.46/1133.86	c 1133s |      21 |  1593876 |  1277145 |    21508    119 |     4014 |       16
1135.57/1135.91	c 1135s |      21 |  1595474 |  1278745 |    21508    119 |     4014 |       16
1137.56/1137.93	c 1137s |      21 |  1598486 |  1281745 |    21508    119 |     4014 |       16
1139.56/1139.99	c 1139s |      21 |  1600929 |  1284145 |    21508    119 |     4014 |       16
1141.66/1142.09	c 1141s |      21 |  1603159 |  1286345 |    21508    119 |     4014 |       16
1143.86/1144.21	c 1143s |      21 |  1605510 |  1288645 |    21508    119 |     4014 |       16
1145.97/1146.38	c 1145s |      21 |  1606820 |  1289945 |    21508    120 |     4014 |       16
1147.96/1148.40	c 1147s |      21 |  1609356 |  1292445 |    21508    120 |     4014 |       16
1150.06/1150.44	c 1149s |      21 |  1611873 |  1294945 |    21508    120 |     4014 |       16
1152.16/1152.51	c 1152s |      21 |  1614194 |  1297245 |    21508    120 |     4014 |       16
1154.16/1154.57	c 1154s |      21 |  1616320 |  1299345 |    21508    120 |     4014 |       16
1156.26/1156.61	c 1156s |      21 |  1618134 |  1301145 |    21508    120 |     4014 |       16
1158.35/1158.76	c 1158s |      21 |  1619847 |  1302845 |    21508    121 |     4014 |       16
1160.35/1160.78	c 1160s |      21 |  1622360 |  1305345 |    21508    121 |     4014 |       16
1162.46/1162.82	c 1162s |      21 |  1624576 |  1307545 |    21508    121 |     4014 |       16
1164.45/1164.85	c 1164s |      21 |  1626815 |  1309745 |    21508    121 |     4014 |       16
1166.55/1166.90	c 1166s |      21 |  1628924 |  1311845 |    21508    121 |     4014 |       16
1168.55/1168.91	c 1168s |      21 |  1630931 |  1313845 |    21508    121 |     4014 |       16
1171.35/1171.76	c 1171s |      21 |  1632640 |  1315545 |    21508    122 |     4014 |       16
1173.35/1173.79	c 1173s |      21 |  1634554 |  1317445 |    21508    122 |     4014 |       16
1175.45/1175.83	c 1175s |      21 |  1636766 |  1319645 |    21508    122 |     4014 |       16
1177.44/1177.87	c 1177s |      21 |  1638783 |  1321645 |    21508    122 |     4014 |       16
1179.54/1179.95	c 1179s |      21 |  1641009 |  1323845 |    21508    122 |     4014 |       16
1181.54/1181.97	c 1181s |      21 |  1642922 |  1325745 |    21508    122 |     4014 |       16
1183.74/1184.10	c 1183s |      21 |  1644731 |  1327545 |    21508    122 |     4014 |       16
1185.74/1186.17	c 1185s |      21 |  1646040 |  1328845 |    21508    123 |     4014 |       16
1187.74/1188.18	c 1187s |      21 |  1648250 |  1331045 |    21508    123 |     4014 |       16
1189.84/1190.26	c 1189s |      21 |  1650572 |  1333345 |    21508    123 |     4014 |       16
1191.93/1192.33	c 1191s |      21 |  1652584 |  1335345 |    21508    123 |     4014 |       16
1193.93/1194.37	c 1193s |      21 |  1654740 |  1337445 |    21508    123 |     4014 |       16
1196.03/1196.46	c 1195s |      21 |  1657004 |  1339645 |    21508    123 |     4014 |       16
1198.53/1198.91	c 1198s |      21 |  1658546 |  1341145 |    21508    124 |     4014 |       16
1216.84/1217.23	c 1216s |      21 |  1659877 |  1342445 |    21508    124 |     4014 |       16
1218.83/1219.27	c 1218s |      21 |  1662487 |  1345045 |    21508    124 |     4014 |       16
1220.83/1221.29	c 1220s |      21 |  1664997 |  1347545 |    21508    124 |     4014 |       16
1222.84/1223.29	c 1222s |      21 |  1667208 |  1349745 |    21508    124 |     4014 |       16
1224.93/1225.31	c 1224s |      21 |  1669512 |  1352045 |    21508    124 |     4014 |       16
1227.53/1227.97	c 1227s |      21 |  1671422 |  1353945 |    21508    125 |     4014 |       16
1229.63/1230.05	c 1229s |      21 |  1673530 |  1356045 |    21508    125 |     4014 |       16
1231.74/1232.12	c 1231s |      21 |  1675842 |  1358345 |    21508    125 |     4014 |       16
1233.73/1234.20	c 1233s |      21 |  1677762 |  1360245 |    21508    125 |     4014 |       16
1235.83/1236.21	c 1235s |      21 |  1679873 |  1362345 |    21508    125 |     4014 |       16
1237.82/1238.28	c 1237s |      21 |  1681786 |  1364245 |    21508    125 |     4014 |       16
1239.92/1240.36	c 1239s |      21 |  1683595 |  1366045 |    21508    125 |     4014 |       16
1241.92/1242.39	c 1241s |      21 |  1685318 |  1367745 |    21508    126 |     4014 |       16
1243.92/1244.39	c 1243s |      21 |  1687947 |  1370345 |    21508    126 |     4014 |       16
1246.03/1246.46	c 1245s |      21 |  1690183 |  1372545 |    21508    126 |     4014 |       16
1248.02/1248.47	c 1247s |      21 |  1692536 |  1374845 |    21508    126 |     4014 |       16
1250.12/1250.54	c 1250s |      21 |  1694652 |  1376945 |    21508    126 |     4014 |       16
1252.12/1252.54	c 1252s |      21 |  1696368 |  1378645 |    21508    126 |     4014 |       16
1254.11/1254.58	c 1254s |      21 |  1697368 |  1379645 |    21508    127 |     4014 |       16
1256.21/1256.61	c 1256s |      21 |  1700096 |  1382345 |    21508    127 |     4014 |       16
1265.12/1265.53	c 1265s |      21 |  1701514 |  1383745 |    21508    127 |     4014 |       16
1267.22/1267.63	c 1267s |      21 |  1703816 |  1386045 |    21508    127 |     4014 |       16
1269.22/1269.66	c 1269s |      21 |  1706042 |  1388245 |    21508    127 |     4014 |       16
1271.22/1271.67	c 1271s |      21 |  1707849 |  1390045 |    21508    127 |     4014 |       16
1273.32/1273.78	c 1273s |      21 |  1709761 |  1391945 |    21508    127 |     4014 |       16
1275.32/1275.79	c 1275s |      21 |  1711674 |  1393845 |    21508    128 |     4014 |       16
1277.41/1277.82	c 1277s |      21 |  1714120 |  1396245 |    21508    128 |     4014 |       16
1279.41/1279.86	c 1279s |      21 |  1716331 |  1398445 |    21508    128 |     4014 |       16
1281.41/1281.86	c 1281s |      21 |  1718839 |  1400945 |    21508    128 |     4014 |       16
1283.51/1283.93	c 1283s |      21 |  1721152 |  1403245 |    21508    128 |     4014 |       16
1285.52/1285.98	c 1285s |      21 |  1723467 |  1405545 |    21508    129 |     4014 |       16
1287.61/1288.02	c 1287s |      21 |  1725270 |  1407345 |    21508    129 |     4014 |       16
1289.61/1290.08	c 1289s |      21 |  1727281 |  1409345 |    21508    129 |     4014 |       16
1291.61/1292.08	c 1291s |      21 |  1729823 |  1411845 |    21508    129 |     4014 |       16
1293.71/1294.13	c 1293s |      21 |  1732244 |  1414245 |    21508    129 |     4014 |       16
1295.71/1296.18	c 1295s |      21 |  1734655 |  1416645 |    21508    129 |     4014 |       16
1297.81/1298.24	c 1297s |      21 |  1736458 |  1418445 |    21508    130 |     4014 |       16
1306.31/1306.74	c 1306s |      21 |  1738084 |  1420045 |    21508    130 |     4014 |       16
1308.31/1308.77	c 1308s |      21 |  1740191 |  1422145 |    21508    130 |     4014 |       16
1310.41/1310.85	c 1310s |      21 |  1742498 |  1424445 |    21508    130 |     4014 |       16
1312.41/1312.88	c 1312s |      21 |  1744711 |  1426645 |    21508    130 |     4014 |       16
1314.61/1315.00	c 1314s |      21 |  1746323 |  1428245 |    21508    130 |     4014 |       16
1316.61/1317.01	c 1316s |      21 |  1748030 |  1429945 |    21508    130 |     4014 |       16
1319.01/1319.42	c 1318s |      21 |  1750193 |  1432045 |    21508    131 |     4014 |       16
1321.11/1321.57	c 1321s |      21 |  1752403 |  1434245 |    21508    131 |     4014 |       16
1323.21/1323.65	c 1323s |      21 |  1754722 |  1436545 |    21508    131 |     4014 |       16
1325.21/1325.69	c 1325s |      21 |  1757126 |  1438945 |    21508    131 |     4014 |       16
1327.31/1327.70	c 1327s |      21 |  1759139 |  1440945 |    21508    131 |     4014 |       16
1329.31/1329.71	c 1329s |      21 |  1760954 |  1442745 |    21508    131 |     4014 |       16
1331.40/1331.82	c 1331s |      21 |  1761761 |  1443545 |    21508    132 |     4014 |       16
1333.40/1333.82	c 1333s |      21 |  1763659 |  1445445 |    21508    132 |     4014 |       16
1335.50/1335.90	c 1335s |      21 |  1766419 |  1448145 |    21508    132 |     4014 |       16
1337.50/1337.90	c 1337s |      21 |  1768747 |  1450445 |    21508    132 |     4014 |       16
1339.51/1339.91	c 1339s |      21 |  1771157 |  1452845 |    21508    132 |     4014 |       16
1341.50/1341.93	c 1341s |      21 |  1773080 |  1454745 |    21508    132 |     4014 |       16
1343.50/1343.95	c 1343s |      21 |  1775020 |  1456645 |    21508    133 |     4014 |       16
1345.50/1345.99	c 1345s |      21 |  1776929 |  1458545 |    21508    133 |     4014 |       16
1347.60/1348.07	c 1347s |      21 |  1778759 |  1460345 |    21508    133 |     4014 |       16
1349.70/1350.15	c 1349s |      21 |  1780983 |  1462545 |    21508    133 |     4014 |       16
1351.80/1352.23	c 1351s |      21 |  1783112 |  1464645 |    21508    133 |     4014 |       16
1353.90/1354.30	c 1353s |      21 |  1785230 |  1466745 |    21508    133 |     4014 |       16
1355.90/1356.32	c 1355s |      21 |  1787073 |  1468545 |    21508    133 |     4014 |       16
1357.90/1358.36	c 1357s |      21 |  1788797 |  1470245 |    21508    134 |     4014 |       16
1366.10/1366.56	c 1366s |      21 |  1789501 |  1470945 |    21508    134 |     4014 |       16
1368.11/1368.57	c 1368s |      21 |  1792112 |  1473545 |    21508    134 |     4014 |       16
1370.10/1370.58	c 1370s |      21 |  1794754 |  1476145 |    21508    134 |     4014 |       16
1372.20/1372.65	c 1372s |      21 |  1796962 |  1478345 |    21508    134 |     4014 |       16
1374.20/1374.69	c 1374s |      21 |  1799380 |  1480745 |    21508    134 |     4014 |       16
1377.59/1378.07	c 1377s |      21 |  1801389 |  1482745 |    21508    135 |     4014 |       16
1379.69/1380.10	c 1379s |      21 |  1803825 |  1485145 |    21508    135 |     4014 |       16
1381.69/1382.17	c 1381s |      21 |  1806230 |  1487545 |    21508    135 |     4014 |       16
1383.79/1384.23	c 1383s |      21 |  1808590 |  1489845 |    21508    135 |     4014 |       16
1385.89/1386.32	c 1385s |      21 |  1810697 |  1491945 |    23659    135 |     4014 |       16
1388.19/1388.69	c 1388s |      21 |  1811732 |  1492945 |    23659    135 |     4014 |       16
1390.29/1390.71	c 1390s |      21 |  1813260 |  1494445 |    23659    135 |     4014 |       16
1392.39/1392.83	c 1392s |      21 |  1814870 |  1496045 |    23659    135 |     4014 |       16
1394.39/1394.86	c 1394s |      21 |  1816282 |  1497445 |    23659    136 |     4014 |       16
1396.49/1396.91	c 1396s |      21 |  1818639 |  1499745 |    23659    136 |     4014 |       16
1397.19/1397.69	c 1397s |      22 |  1819514 |  1500622 |    23659    136 |     4014 |       16
1401.10/1401.53	c 1401s |      22 |  1820059 |  1501122 |    23659    136 |     4014 |       16
1403.20/1403.61	c 1403s |      22 |  1822178 |  1503222 |    23659    136 |     4014 |       16
1405.29/1405.71	c 1405s |      22 |  1824388 |  1505422 |    23659    136 |     4014 |       16
1407.39/1407.82	c 1407s |      22 |  1826096 |  1507122 |    23659    136 |     4014 |       16
1409.49/1409.91	c 1409s |      22 |  1827596 |  1508622 |    23659    136 |     4014 |       16
1411.49/1411.95	c 1411s |      22 |  1829302 |  1510322 |    23659    136 |     4014 |       16
1413.89/1414.39	c 1413s |      22 |  1829819 |  1510822 |    23659    137 |     4014 |       16
1415.99/1416.46	c 1415s |      22 |  1831631 |  1512622 |    23659    137 |     4014 |       16
1417.99/1418.47	c 1417s |      22 |  1832828 |  1513822 |    23659    137 |     4014 |       16
1421.79/1422.27	c 1421s |      22 |  1833437 |  1514222 |    23659    137 |     4014 |       16
1423.89/1424.31	c 1423s |      22 |  1837235 |  1516522 |    23659    137 |     4014 |       16
1425.89/1426.35	c 1425s |      22 |  1841110 |  1519022 |    23659    137 |     4014 |       16
1427.89/1428.36	c 1427s |      22 |  1843501 |  1520822 |    23659    137 |     4014 |       16
1429.89/1430.38	c 1429s |      22 |  1845899 |  1522522 |    23659    137 |     4014 |       16
1432.09/1432.53	c 1432s |      22 |  1848564 |  1524422 |    23659    137 |     4014 |       16
1434.19/1434.62	c 1434s |      22 |  1851474 |  1526222 |    23659    138 |     4014 |       16
1436.19/1436.67	c 1436s |      22 |  1854613 |  1528722 |    23659    138 |     4014 |       16
1438.28/1438.70	c 1438s |      22 |  1858296 |  1531322 |    23659    138 |     4014 |       16
1440.28/1440.74	c 1440s |      22 |  1861053 |  1533422 |    23659    138 |     4014 |       16
1442.28/1442.75	c 1442s |      22 |  1863686 |  1535722 |    23659    138 |     4014 |       16
1444.28/1444.79	c 1444s |      22 |  1865856 |  1537622 |    23659    138 |     4014 |       16
1446.38/1446.82	c 1446s |      22 |  1869031 |  1539222 |    23659    139 |     4014 |       16
1448.39/1448.89	c 1448s |      22 |  1873881 |  1542122 |    23659    139 |     4014 |       16
1450.49/1450.94	c 1450s |      22 |  1878085 |  1544722 |    23659    139 |     4014 |       16
1452.58/1453.03	c 1452s |      22 |  1882598 |  1547022 |    23659    139 |     4014 |       16
1454.58/1455.05	c 1454s |      22 |  1886676 |  1549222 |    23659    139 |     4014 |       16
1456.58/1457.06	c 1456s |      22 |  1891122 |  1551422 |    23659    139 |     4014 |       16
1459.08/1459.57	c 1459s |      22 |  1894210 |  1552922 |    23659    140 |     4014 |       16
1461.78/1462.25	c 1461s |      22 |  1895023 |  1553622 |    23659    140 |     4014 |       16
1464.79/1465.21	c 1464s |      22 |  1895171 |  1553722 |    23659    140 |     4014 |       16
1466.78/1467.22	c 1466s |      22 |  1898997 |  1556522 |    23659    140 |     4014 |       16
1468.78/1469.28	c 1468s |      22 |  1902924 |  1559422 |    23659    140 |     4014 |       16
1470.78/1471.29	c 1470s |      22 |  1905756 |  1561722 |    23659    140 |     4014 |       16
1472.88/1473.34	c 1472s |      22 |  1908331 |  1563922 |    23659    140 |     4014 |       16
1475.18/1475.61	c 1475s |      22 |  1911010 |  1566222 |    23659    141 |     4014 |       16
1477.18/1477.65	c 1477s |      22 |  1913600 |  1568522 |    23659    141 |     4014 |       16
1479.19/1479.69	c 1479s |      22 |  1916741 |  1571022 |    23659    141 |     4014 |       16
1481.29/1481.72	c 1481s |      22 |  1919837 |  1573422 |    23659    141 |     4014 |       16
1483.38/1483.85	c 1483s |      22 |  1923298 |  1575922 |    23659    141 |     4014 |       16
1485.38/1485.87	c 1485s |      22 |  1925693 |  1578222 |    23659    141 |     4014 |       16
1487.38/1487.89	c 1487s |      22 |  1927642 |  1580122 |    23659    142 |     4014 |       16
1489.48/1489.94	c 1489s |      22 |  1929502 |  1581922 |    23659    142 |     4014 |       16
1491.58/1492.00	c 1491s |      22 |  1932465 |  1584422 |    23659    142 |     4014 |       16
1493.58/1494.03	c 1493s |      22 |  1935260 |  1587022 |    23659    142 |     4014 |       16
1495.58/1496.07	c 1495s |      22 |  1938747 |  1589622 |    23659    142 |     4014 |       16
1497.67/1498.12	c 1497s |      22 |  1941662 |  1592322 |    23659    142 |     4014 |       16
1500.27/1500.76	c 1500s |      22 |  1943777 |  1594222 |    23659    143 |     4014 |       16
1502.28/1502.79	c 1502s |      22 |  1946348 |  1596422 |    23659    143 |     4014 |       16
1504.38/1504.83	c 1504s |      22 |  1948948 |  1598922 |    23659    143 |     4014 |       16
1506.47/1506.90	c 1506s |      22 |  1950975 |  1600822 |    23659    143 |     4014 |       16
1508.47/1508.93	c 1508s |      22 |  1953473 |  1603322 |    23659    143 |     4014 |       16
1510.47/1510.98	c 1510s |      22 |  1956098 |  1605922 |    23659    143 |     4014 |       16
1512.97/1513.43	c 1512s |      22 |  1958303 |  1608122 |    23659    144 |     4014 |       16
1515.07/1515.50	c 1514s |      22 |  1960715 |  1610522 |    23659    144 |     4014 |       16
1517.07/1517.55	c 1517s |      22 |  1963126 |  1612922 |    23659    144 |     4014 |       16
1519.17/1519.60	c 1519s |      22 |  1965021 |  1614722 |    23659    144 |     4014 |       16
1521.17/1521.63	c 1521s |      22 |  1967235 |  1616922 |    23659    144 |     4014 |       16
1523.17/1523.69	c 1523s |      22 |  1969182 |  1618822 |    23659    144 |     4014 |       16
1525.17/1525.70	c 1525s |      22 |  1970885 |  1620322 |    23659    144 |     4014 |       16
1527.37/1527.89	c 1527s |      22 |  1972498 |  1621922 |    23659    145 |     4014 |       16
1529.47/1529.92	c 1529s |      22 |  1974611 |  1623922 |    23659    145 |     4014 |       16
1533.87/1534.34	c 1533s |      22 |  1976034 |  1625322 |    23659    145 |     4014 |       16
1538.67/1539.12	c 1538s |      22 |  1977472 |  1626722 |    23659    145 |     4014 |       16
1540.67/1541.18	c 1540s |      22 |  1980700 |  1629922 |    23659    145 |     4014 |       16
1554.27/1554.72	c 1554s |      22 |  1982129 |  1631322 |    23659    145 |     4014 |       16
1556.27/1556.79	c 1556s |      22 |  1985592 |  1633222 |    23659    145 |     4014 |       16
1558.28/1558.79	c 1558s |      22 |  1988490 |  1634922 |    23659    145 |     4014 |       16
1561.67/1562.16	c 1561s |      22 |  1989660 |  1635722 |    23659    146 |     4014 |       16
1563.67/1564.16	c 1563s |      22 |  1994639 |  1638822 |    23659    146 |     4014 |       16
1565.67/1566.16	c 1565s |      22 |  1999114 |  1641622 |    23659    146 |     4014 |       16
1567.67/1568.19	c 1567s |      22 |  2003251 |  1644022 |    23659    146 |     4014 |       16
1569.77/1570.25	c 1569s |      22 |  2006637 |  1646022 |    23659    146 |     4014 |       16
1571.77/1572.28	c 1571s |      22 |  2010604 |  1648422 |    23659    146 |     4014 |       16
1574.56/1575.06	c 1574s |      22 |  2013979 |  1650722 |    23659    147 |     4014 |       16
1576.66/1577.11	c 1576s |      22 |  2016028 |  1652022 |    23659    147 |     4014 |       16
1578.66/1579.13	c 1578s |      22 |  2019177 |  1654322 |    23659    147 |     4014 |       16
1580.66/1581.17	c 1580s |      22 |  2022479 |  1656722 |    23659    147 |     4014 |       16
1582.86/1583.30	c 1582s |      22 |  2025288 |  1658922 |    23659    147 |     4014 |       16
1584.86/1585.37	c 1584s |      22 |  2028442 |  1661222 |    23659    147 |     4014 |       16
1587.06/1587.51	c 1587s |      22 |  2030281 |  1662922 |    23659    147 |     4014 |       16
1589.06/1589.57	c 1589s |      22 |  2033204 |  1664722 |    23659    148 |     4014 |       16
1591.06/1591.59	c 1591s |      22 |  2037299 |  1667422 |    23659    148 |     4014 |       16
1593.16/1593.63	c 1593s |      22 |  2041460 |  1670022 |    23659    148 |     4014 |       16
1595.16/1595.65	c 1595s |      22 |  2044414 |  1672122 |    23659    148 |     4014 |       16
1597.26/1597.71	c 1597s |      22 |  2047202 |  1674322 |    23659    148 |     4014 |       16
1599.26/1599.76	c 1599s |      22 |  2049877 |  1676522 |    23659    148 |     4014 |       16
1601.36/1601.82	c 1601s |      22 |  2051814 |  1678222 |    23659    149 |     4014 |       16
1603.37/1603.84	c 1603s |      22 |  2054907 |  1680822 |    23659    149 |     4014 |       16
1605.36/1605.89	c 1605s |      22 |  2057244 |  1682722 |    23659    149 |     4014 |       16
1607.36/1607.89	c 1607s |      22 |  2061101 |  1685522 |    23659    149 |     4014 |       16
1609.46/1609.90	c 1609s |      22 |  2064446 |  1688322 |    23659    149 |     4014 |       16
1611.46/1611.91	c 1611s |      22 |  2067559 |  1690822 |    23659    149 |     4014 |       16
1613.46/1613.98	c 1613s |      22 |  2070248 |  1693022 |    23659    150 |     4014 |       16
1615.47/1615.99	c 1615s |      22 |  2073753 |  1695822 |    23659    150 |     4014 |       16
1617.56/1618.00	c 1617s |      22 |  2076753 |  1698222 |    23659    150 |     4014 |       16
1619.56/1620.01	c 1619s |      22 |  2079229 |  1700222 |    23659    150 |     4014 |       16
1621.56/1622.09	c 1621s |      22 |  2082210 |  1702522 |    23659    150 |     4014 |       16
1626.96/1627.44	c 1626s |      22 |  2084973 |  1704522 |    23659    150 |     4014 |       16
1634.65/1635.19	c 1634s |      22 |  2085113 |  1704622 |    23659    150 |     4014 |       16
1636.85/1637.30	c 1636s |      22 |  2086174 |  1705422 |    23659    151 |     4014 |       16
1638.85/1639.38	c 1638s |      22 |  2089008 |  1707622 |    23659    151 |     4014 |       16
1640.95/1641.44	c 1640s |      22 |  2091948 |  1709822 |    23659    151 |     4014 |       16
1642.97/1643.44	c 1642s |      22 |  2094264 |  1711722 |    23659    151 |     4014 |       16
1644.96/1645.48	c 1644s |      22 |  2096826 |  1713722 |    23659    151 |     4014 |       16
1647.06/1647.56	c 1647s |      22 |  2099072 |  1715522 |    23659    151 |     4014 |       16
1649.06/1649.56	c 1649s |      22 |  2101437 |  1717322 |    23659    151 |     4014 |       16
1651.26/1651.77	c 1651s |      22 |  2103355 |  1718822 |    23659    152 |     4014 |       16
1653.46/1653.91	c 1653s |      22 |  2106342 |  1721222 |    23659    152 |     4014 |       16
1655.46/1655.95	c 1655s |      22 |  2109570 |  1723822 |    23659    152 |     4014 |       16
1657.46/1657.97	c 1657s |      22 |  2112016 |  1725922 |    23659    152 |     4014 |       16
1659.56/1660.08	c 1659s |      22 |  2114487 |  1727922 |    23659    152 |     4014 |       16
1661.66/1662.17	c 1661s |      22 |  2117074 |  1729922 |    23659    152 |     4014 |       16
1663.65/1664.17	c 1663s |      22 |  2119166 |  1731522 |    23659    152 |     4014 |       16
1665.65/1666.19	c 1665s |      22 |  2120953 |  1732922 |    23659    153 |     4014 |       16
1667.65/1668.19	c 1667s |      22 |  2123846 |  1735222 |    23659    153 |     4014 |       16
1671.15/1671.60	c 1671s |      22 |  2124365 |  1735622 |    23659    153 |     4014 |       16
1673.15/1673.67	c 1673s |      22 |  2127295 |  1737722 |    23659    153 |     4014 |       16
1675.15/1675.69	c 1675s |      22 |  2131040 |  1740022 |    23659    153 |     4014 |       16
1677.25/1677.70	c 1677s |      22 |  2133505 |  1741822 |    23659    153 |     4014 |       16
1679.26/1679.80	c 1679s |      22 |  2135802 |  1743722 |    23659    153 |     4014 |       16
1681.35/1681.86	c 1681s |      22 |  2137553 |  1745222 |    23659    153 |     4014 |       16
1684.05/1684.56	c 1684s |      22 |  2139706 |  1746722 |    23659    154 |     4014 |       16
1686.05/1686.59	c 1686s |      22 |  2142373 |  1748922 |    23659    154 |     4014 |       16
1688.16/1688.61	c 1688s |      22 |  2145347 |  1751622 |    23659    154 |     4014 |       16
1690.15/1690.69	c 1690s |      22 |  2147960 |  1753822 |    23659    154 |     4014 |       16
1692.25/1692.72	c 1692s |      22 |  2150642 |  1756222 |    23659    154 |     4014 |       16
1694.25/1694.77	c 1694s |      22 |  2152618 |  1757622 |    23659    154 |     4014 |       16
1696.35/1696.85	c 1696s |      22 |  2155129 |  1759422 |    23659    154 |     4014 |       16
1698.45/1698.90	c 1698s |      22 |  2156558 |  1760522 |    23659    155 |     4014 |       16
1700.45/1700.91	c 1700s |      22 |  2159457 |  1762822 |    23659    155 |     4014 |       16
1702.45/1702.93	c 1702s |      22 |  2162011 |  1764722 |    23659    155 |     4014 |       16
1704.45/1704.95	c 1704s |      22 |  2164845 |  1766922 |    23659    155 |     4014 |       16
1706.44/1706.99	c 1706s |      22 |  2167243 |  1768822 |    23659    155 |     4014 |       16
1708.54/1709.04	c 1708s |      22 |  2169560 |  1770722 |    23659    155 |     4014 |       16
1710.54/1711.08	c 1710s |      22 |  2171578 |  1772522 |    23659    155 |     4014 |       16
1712.64/1713.15	c 1712s |      22 |  2174060 |  1774222 |    23659    155 |     4014 |       16
1714.65/1715.19	c 1714s |      22 |  2175656 |  1775522 |    23659    156 |     4014 |       16
1719.54/1720.03	c 1719s |      22 |  2177980 |  1777522 |    23659    156 |     4014 |       16
1723.74/1724.27	c 1723s |      22 |  2178107 |  1777622 |    23659    156 |     4014 |       16
1725.74/1726.28	c 1725s |      22 |  2180674 |  1779622 |    23659    156 |     4014 |       16
1727.84/1728.35	c 1727s |      22 |  2183009 |  1781522 |    23659    156 |     4014 |       16
1729.95/1730.45	c 1729s |      22 |  2185603 |  1783522 |    23659    156 |     4014 |       16
1731.94/1732.46	c 1731s |      22 |  2187678 |  1785222 |    23659    156 |     4014 |       16
1734.14/1734.61	c 1734s |      22 |  2189993 |  1787122 |    23659    156 |     4014 |       16
1736.14/1736.69	c 1736s |      22 |  2191446 |  1788222 |    23659    157 |     4014 |       16
1738.24/1738.70	c 1738s |      22 |  2193890 |  1790222 |    23659    157 |     4014 |       16
1740.24/1740.76	c 1740s |      22 |  2196585 |  1792522 |    23659    157 |     4014 |       16
1742.34/1742.82	c 1742s |      22 |  2198938 |  1794622 |    23659    157 |     4014 |       16
1744.44/1744.92	c 1744s |      22 |  2201956 |  1796722 |    23659    157 |     4014 |       16
1746.44/1746.94	c 1746s |      22 |  2204125 |  1798322 |    23659    157 |     4014 |       16
1748.44/1748.99	c 1748s |      22 |  2206880 |  1800122 |    23659    157 |     4014 |       16
1750.54/1751.09	c 1750s |      22 |  2209127 |  1801822 |    23659    157 |     4014 |       16
1752.64/1753.15	c 1752s |      22 |  2210615 |  1803122 |    23659    158 |     4014 |       16
1755.04/1755.55	c 1755s |      22 |  2212931 |  1805022 |    23659    158 |     4014 |       16
1757.13/1757.64	c 1757s |      22 |  2213062 |  1805122 |    23659    158 |     4014 |       16
1759.23/1759.70	c 1759s |      22 |  2215842 |  1807322 |    23659    158 |     4014 |       16
1761.23/1761.73	c 1761s |      22 |  2218541 |  1809622 |    23659    158 |     4014 |       16
1763.23/1763.79	c 1763s |      22 |  2221073 |  1811622 |    23659    158 |     4014 |       16
1765.33/1765.82	c 1765s |      22 |  2223738 |  1813722 |    23659    158 |     4014 |       16
1767.34/1767.86	c 1767s |      22 |  2226297 |  1815822 |    23659    158 |     4014 |       16
1769.44/1769.92	c 1769s |      22 |  2227975 |  1817222 |    23659    159 |     4014 |       16
1771.53/1772.01	c 1771s |      22 |  2231258 |  1820022 |    23659    159 |     4014 |       16
1774.23/1774.77	c 1774s |      22 |  2232965 |  1821522 |    23659    159 |     4014 |       16
1776.33/1776.86	c 1776s |      22 |  2235905 |  1823622 |    23659    159 |     4014 |       16
1778.43/1778.91	c 1778s |      22 |  2239136 |  1826222 |    23659    159 |     4014 |       16
1780.44/1780.99	c 1780s |      22 |  2241513 |  1828122 |    23659    159 |     4014 |       16
1782.53/1783.03	c 1782s |      22 |  2243554 |  1829722 |    23659    160 |     4014 |       16
1784.54/1785.09	c 1784s |      22 |  2246591 |  1832222 |    23659    160 |     4014 |       16
1786.64/1787.18	c 1786s |      22 |  2248483 |  1833922 |    23659    160 |     4014 |       16
1788.74/1789.24	c 1788s |      22 |  2251104 |  1836022 |    23659    160 |     4014 |       16
1790.84/1791.32	c 1790s |      22 |  2253713 |  1838122 |    23659    160 |     4014 |       16
1792.94/1793.41	c 1792s |      22 |  2256340 |  1840122 |    23659    160 |     4014 |       16
1795.04/1795.51	c 1795s |      22 |  2259236 |  1842322 |    23659    160 |     4014 |       16
1797.04/1797.53	c 1797s |      22 |  2261004 |  1843822 |    23659    161 |     4014 |       16

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

pid=14989
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.12 2.14 2.16 3/179 14992
/proc/meminfo: memFree=29414284/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=644676 CPUtime=0 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 2395 0 0 0 0 0 0 0 20 0 4 0 23741602 660148224 2755 33554432000 4194304 16246674 140735777935936 140735777935360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 161937 2763 442 2943 0 158831 0
[pid=14992/tid=14993] ppid=14989 vsize=662084 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 677974016 2821 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=666180 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 682168320 2839 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=670276 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23741602 686362624 2852 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.12 2.14 2.16 3/179 14992
/proc/meminfo: memFree=29414284/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 28316 0 0 0 5 4 0 0 20 0 4 0 23741602 1333334016 28615 33554432000 4194304 16246674 140735777935936 140735777935248 8055525 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 325521 28631 802 2943 0 322415 0
[pid=14992/tid=14993] ppid=14989 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1333334016 28641 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1333334016 28653 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1333334016 28664 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200472 s]
/proc/loadavg: 2.12 2.14 2.16 3/179 14992
/proc/meminfo: memFree=29414284/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 47067 0 0 0 12 7 0 0 20 0 4 0 23741602 1344868352 47876 33554432000 4194304 16246674 140735777935936 140735777935248 6156105 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 328337 47876 845 2943 0 325231 0
[pid=14992/tid=14993] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 47876 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 47876 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 47876 33554432000 4194304 16246674 140735777935936 140011450125488 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.300497 s]
/proc/loadavg: 2.12 2.14 2.16 3/179 14992
/proc/meminfo: memFree=29414284/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 47258 0 0 0 22 7 0 0 20 0 4 0 23741602 1344868352 48067 33554432000 4194304 16246674 140735777935936 140735777935248 4206666 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 328337 48067 846 2943 0 325231 0
[pid=14992/tid=14993] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 48067 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 48067 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 48067 33554432000 4194304 16246674 140735777935936 140011450125488 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.700401 s]
/proc/loadavg: 2.12 2.14 2.16 3/179 14992
/proc/meminfo: memFree=29414284/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 50082 0 0 0 62 7 0 0 20 0 4 0 23741602 1344868352 50891 33554432000 4194304 16246674 140735777935936 140735777917824 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 328337 50902 896 2943 0 325231 0
[pid=14992/tid=14993] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 50902 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 50903 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 50903 33554432000 4194304 16246674 140735777935936 140011450125488 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) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.12 2.14 2.16 3/183 14996
/proc/meminfo: memFree=28977924/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 167142 0 0 0 128 21 0 0 20 0 4 0 23741602 1344868352 167951 33554432000 4194304 16246674 140735777935936 140735777917824 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 328337 167957 896 2943 0 325231 0
[pid=14992/tid=14993] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 167965 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 167974 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 167979 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.11 2.14 2.16 3/183 14996
/proc/meminfo: memFree=28350716/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 269025 0 0 0 273 36 0 0 20 0 4 0 23741602 1344868352 269834 33554432000 4194304 16246674 140735777935936 140735777917824 5600480 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 328337 269834 899 2943 0 325231 0
[pid=14992/tid=14993] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 269834 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 269834 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 269834 33554432000 4194304 16246674 140735777935936 140011450125488 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) 1313348

[startup+6.30041 s]
/proc/loadavg: 2.11 2.14 2.16 3/183 14996
/proc/meminfo: memFree=28335224/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 269032 0 0 0 593 36 0 0 20 0 4 0 23741602 1344868352 269841 33554432000 4194304 16246674 140735777935936 140735777917824 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 328337 269841 905 2943 0 325231 0
[pid=14992/tid=14993] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 269841 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 269841 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1344868352 269841 33554432000 4194304 16246674 140735777935936 140011450125488 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) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.26 2.16 2.17 3/183 14996
/proc/meminfo: memFree=28320236/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1328708 CPUtime=12.68 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 272872 0 0 0 1232 36 0 0 20 0 4 0 23741602 1360596992 273681 33554432000 4194304 16246674 140735777935936 140735777917824 6020448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 332177 273681 905 2943 0 329071 0
[pid=14992/tid=14993] ppid=14989 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1360596992 273681 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1360596992 273681 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1360596992 273681 33554432000 4194304 16246674 140735777935936 140011450125488 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) 1328708

[startup+25.5005 s]
/proc/loadavg: 2.22 2.16 2.17 3/183 14996
/proc/meminfo: memFree=28316220/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1333828 CPUtime=25.49 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 273986 0 0 0 2512 37 0 0 20 0 4 0 23741602 1365839872 274795 33554432000 4194304 16246674 140735777935936 140735777935112 13875152 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 333457 274795 905 2943 0 330351 0
[pid=14992/tid=14993] ppid=14989 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1365839872 274795 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1365839872 274795 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1365839872 274795 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1333828

[startup+51.1005 s]
/proc/loadavg: 2.20 2.16 2.17 3/183 14996
/proc/meminfo: memFree=28315480/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1333828 CPUtime=51.08 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 274152 0 0 0 5071 37 0 0 20 0 4 0 23741602 1365839872 274961 33554432000 4194304 16246674 140735777935936 140735777917824 5600460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 333457 274961 905 2943 0 330351 0
[pid=14992/tid=14993] ppid=14989 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1365839872 274961 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1365839872 274961 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1365839872 274961 33554432000 4194304 16246674 140735777935936 140011450125488 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) 1333828

[startup+102.3 s]
/proc/loadavg: 2.24 2.18 2.17 4/184 15000
/proc/meminfo: memFree=28277824/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1370692 CPUtime=102.28 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 283368 0 0 0 10188 40 0 0 20 0 4 0 23741602 1403588608 284177 33554432000 4194304 16246674 140735777935936 140735777917824 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 342673 284177 905 2943 0 339567 0
[pid=14992/tid=14993] ppid=14989 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1403588608 284177 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1403588608 284177 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1403588608 284177 33554432000 4194304 16246674 140735777935936 140011450125488 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) 1370692


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

/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1390148

[startup+1362.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 15081
/proc/meminfo: memFree=28160096/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1390148 CPUtime=1361.89 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 288567 0 0 0 136120 69 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140735777933760 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 347537 289045 906 2943 0 344431 0
[pid=14992/tid=14993] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1390148

[startup+1422.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/183 15082
/proc/meminfo: memFree=28141272/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1390148 CPUtime=1421.89 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 288567 0 0 0 142118 71 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140735777935032 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 347537 289045 906 2943 0 344431 0
[pid=14992/tid=14993] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1390148

[startup+1482.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 15083
/proc/meminfo: memFree=28066476/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1390148 CPUtime=1481.88 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 288567 0 0 0 148116 72 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140735777917824 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 347537 289045 906 2943 0 344431 0
[pid=14992/tid=14993] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1390148

[startup+1542.31 s]
/proc/loadavg: 2.11 2.20 2.18 3/183 15084
/proc/meminfo: memFree=28061048/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1390148 CPUtime=1541.87 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 288567 0 0 0 154114 73 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140735777917824 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 347537 289045 906 2943 0 344431 0
[pid=14992/tid=14993] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289045 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1390148

[startup+1602.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/183 15085
/proc/meminfo: memFree=28060952/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1390148 CPUtime=1601.86 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 288568 0 0 0 160110 76 0 0 20 0 4 0 23741602 1423511552 289046 33554432000 4194304 16246674 140735777935936 140735777917824 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 347537 289046 907 2943 0 344431 0
[pid=14992/tid=14993] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289046 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289046 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289046 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1390148

[startup+1662.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/182 15086
/proc/meminfo: memFree=28060860/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1390148 CPUtime=1661.86 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 288568 0 0 0 166108 78 0 0 20 0 4 0 23741602 1423511552 289046 33554432000 4194304 16246674 140735777935936 140735777918936 6021024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 347537 289046 907 2943 0 344431 0
[pid=14992/tid=14993] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289046 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289046 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1423511552 289046 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1390148

[startup+1722.3 s]
/proc/loadavg: 2.13 2.19 2.17 3/183 15088
/proc/meminfo: memFree=28047856/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1403460 CPUtime=1721.84 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 291896 0 0 0 172105 79 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140735777935032 4220850 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 350865 292374 907 2943 0 347759 0
[pid=14992/tid=14993] ppid=14989 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1403460

[startup+1782.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 15089
/proc/meminfo: memFree=28047396/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1403460 CPUtime=1781.83 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 291896 0 0 0 178104 79 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140735777917824 5822761 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 350865 292374 907 2943 0 347759 0
[pid=14992/tid=14993] ppid=14989 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1403460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 15089
/proc/meminfo: memFree=28047488/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1403460 CPUtime=1800.03 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 291896 0 0 0 179923 80 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140735777935112 13198389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 350865 292374 907 2943 0 347759 0
[pid=14992/tid=14993] ppid=14989 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1403460

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

[startup+1800.5 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 15089
/proc/meminfo: memFree=28047488/32872528 swapFree=1286400/1433568
[pid=14992] ppid=14989 vsize=1403460 CPUtime=1800.03 cores=0,2,4,6
/proc/14992/stat : 14992 (toysat) R 14989 14992 12983 0 -1 4202496 291896 0 0 0 179923 80 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140735777935112 13198389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14992/statm: 350865 292374 907 2943 0 347759 0
[pid=14992/tid=14993] ppid=14989 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14993/stat : 14993 (toysat) S 14989 14992 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140011471088880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14992/tid=14994] ppid=14989 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14994/stat : 14994 (toysat) S 14989 14992 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140011460599024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14992/tid=14995] ppid=14989 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/14992/task/14995/stat : 14995 (toysat) S 14989 14992 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23741602 1437143040 292374 33554432000 4194304 16246674 140735777935936 140011450125488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1403460

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.24
CPU system time (s): 0.805877
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 1403460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.805877
maximum resident set size= 1169496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291896
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= 350
involuntary context switches= 1895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0032 second user time and 13.389 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 04:29:08
IDJOB=4100665
IDBENCH=1646
IDSOLVER=2542
FILE ID=node130/4100665-1466216948
RUNJOBID= node130-1466206066-12999
PBS_JOBID= 19918147
Free space on /tmp= 71732 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-e226.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100665-1466216948/watcher-4100665-1466216948 -o /tmp/evaluation-result-4100665-1466216948/solver-4100665-1466216948 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100665-1466216948.opb

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

MD5SUM BENCH= ba85c504e75c36f184b41f40c4eddd0f
RANDOM SEED=1059116219

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29414828 kB
Buffers:           91792 kB
Cached:           118972 kB
SwapCached:         1804 kB
Active:          1170724 kB
Inactive:         117256 kB
Active(anon):    1077488 kB
Inactive(anon):     1604 kB
Active(file):      93236 kB
Inactive(file):   115652 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67099028 kB
Dirty:             17108 kB
Writeback:             0 kB
AnonPages:       2509732 kB
Mapped:            10512 kB
Shmem:                 0 kB
Slab:             601688 kB
SReclaimable:      45380 kB
SUnreclaim:       556308 kB
KernelStack:        1504 kB
PageTables:         8716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2652448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1218560 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= 71716 MiB
End job on node130 at 2016-06-18 04:59:09