Trace number 4103421

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-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
MD5SUMc716bc6c519760d619aa6878c926054c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark32826205
Best CPU time to get the best result obtained on this benchmark1800.35
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31249460
Optimality of the best value was proved NO
Number of variables6402
Total number of constraints4465
Number of constraints which are clauses2785
Number of constraints which are cardinality constraints (but not clauses)1428
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 4170
Biggest coefficient in the objective function 23582998528
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 2904924551250
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2904924551250
Number of bits of the biggest sum of numbers42
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-18T09:59:13+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-4103421-1466236752.opb"]
0.00/0.01	c use --random-gen="725685841 2142210853 2671493850 2086586865 2158963463 394301777 2090359222 3469127007 1928625003 1224570934 1408959902 3902305635 896133511 3387558608 439900873 296593582 83082859 3190129825 1925728945 2907585512 481689096 608481138 414751384 279090712 2056297608 1720778754 3256239562 668292175 994777511 2442411910 1287420792 3794752203 3355264559 215557984 999283750 2160848447 2328309660 3492719455 3213264959 3031281587 4181220937 2140417107 3471673986 1419901290 2083540674 1278400851 3482055725 2872496915 992998305 1464706297 3465703152 1803226605 3522833745 1443660464 807749580 1262701560 788290710 3930718548 310374788 1769574990 2155303390 4111870523 36772155 2107249082 2903358114 3023558210 1300618125 3764116283 3721890777 2938905057 3692381147 799019275 585380990 462332408 3369306021 3483709849 2071950623 91999863 3234122131 2261708544 4235602040 3229660842 3834477399 2246081178 4261524235 1313505015 1942854096 3246017725 3904532410 4112911382 2164838031 2520151130 4196250901 3851871859 2054826237 2589162717 4093307876 495322278 2125922449 3696406421 2717539737 1133196689 3479747532 2343758366 989531578 1348767626 1498464916 1551448397 1326453167 3819075783 634857151 35263966 3813120476 1729099666 1130667852 3545401349 1173017911 1624766823 2387065130 3867702130 2868435042 4129251148 50112494 862104112 778841096 3918633565 3806877860 2621174123 338593526 406823851 3824828906 2549329550 1888612097 2691595437 2292323127 3700951966 55476689 294310934 319842862 1001696865 371224584 2941051669 1513744512 1312239494 724275914 2528131030 1974303095 4204026982 590822621 2333173094 3565304700 2212749410 3209372143 3804992465 3567595243 528730053 2078894426 137220713 3258420895 3511937960 4192389960 3674780325 573993687 4035567473 1650205664 2234791566 855223207 23524722 632943522 915089320 193829214 1443816438 1842848402 687639544 674118638 2795676610 3885990560 38329218 1724224364 2663717591 2244109181 1150326401 156609660 2283213153 4047277404 969539520 2132426344 1483209138 2066958994 2311694312 3868207841 2635791404 1456105068 10069070 437623491 556760548 258678061 4199048321 260235086 1514419802 3922320888 2342780713 2186049528 98706135 3436815525 3869545342 267786274 188803604 1426867719 4248054255 1998679079 2053939569 1303162464 2560953440 3702049181 2822795267 3010581930 1016692352 2493728577 2794929914 4264517435 3861004528 4032200687 1585492718 1805527514 677272601 3371671047 3713796132 1095810567 1188537921 3178914830 550710391 3194800577 1319066575 2909777607 704431717 4276299183 3020152141 670546199 52728711 3066407928 1282070133 4221975951 1555039587 1696390214 1319190803 1228054212 477740810 2728407179 543843290 2254039258 730598812 1831699768 213845315 864301985 2597956152 255 362436" option to reproduce the execution
0.09/0.11	c #vars 6402
0.09/0.11	c #constraints 4465
0.19/0.24	c BCD2: Hardening is enabled.
0.19/0.24	c BCD2: BiasedSearch is enabled.
0.19/0.24	c Solving starts ...
0.19/0.24	c ============================[ Search Statistics ]============================
0.19/0.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.24	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.24	c =============================================================================
0.19/0.24	c  0.0s |       0 |        0 |        0 |     2823      0 |     2833 |        0
0.29/0.31	c  0.1s |       1 |      209 |      100 |     2823      0 |     2833 |       12
0.29/0.37	c  0.1s |       2 |      436 |      250 |     3106      0 |     2833 |       12
0.39/0.49	c  0.3s |       3 |      922 |      475 |     3417      0 |     2833 |       12
0.59/0.66	c  0.4s |       4 |     2075 |      813 |     3759      0 |     2833 |       12
1.10/1.13	c  0.9s |       5 |     3745 |     1320 |     4135      0 |     2833 |       12
1.89/1.95	c  1.7s |       6 |     4946 |     2081 |     5004      0 |     2833 |       12
2.59/2.63	c  2.4s |       7 |     6211 |     3223 |     5505      0 |     2833 |       12
3.69/3.73	c  3.5s |       8 |     8048 |     4936 |     6056      0 |     2833 |       12
5.39/5.50	c  5.3s |       9 |    10737 |     7506 |     6662      0 |     2833 |       12
7.49/7.58	c  7.3s |       9 |    13559 |    10206 |     6662      1 |     2833 |       12
8.39/8.48	c  8.2s |      10 |    14711 |    11361 |     7329      1 |     2833 |       12
10.49/10.52	c 10.3s |      10 |    17435 |    13961 |     7329      1 |     2833 |       12
12.49/12.57	c 12.3s |      10 |    19938 |    16461 |     7329      2 |     2833 |       12
12.98/13.04	c 12.8s |      11 |    20634 |    17144 |     8062      2 |     2833 |       12
14.98/15.06	c 14.8s |      11 |    23253 |    19644 |     8062      2 |     2833 |       12
16.98/17.09	c 16.9s |      11 |    25776 |    22144 |     8062      3 |     2833 |       12
19.38/19.46	c 19.2s |      11 |    28496 |    24844 |     8062      3 |     2833 |       12
20.18/20.24	c 20.0s |      12 |    29462 |    25819 |     8869      3 |     2833 |       12
22.18/22.29	c 22.0s |      12 |    31478 |    27719 |     8869      4 |     2833 |       12
24.29/24.33	c 24.1s |      12 |    33384 |    29619 |     8869      4 |     2833 |       12
26.28/26.35	c 26.1s |      12 |    35688 |    31919 |     8869      4 |     2833 |       12
28.28/28.35	c 28.1s |      12 |    37607 |    33819 |     8869      5 |     2833 |       12
30.28/30.36	c 30.1s |      12 |    40208 |    36419 |     8869      5 |     2833 |       12
32.38/32.40	c 32.2s |      12 |    42124 |    38319 |     8869      5 |     2833 |       12
32.78/32.83	c 32.6s |      13 |    42638 |    38832 |     9756      5 |     2833 |       12
34.78/34.83	c 34.6s |      13 |    44457 |    40532 |     9756      5 |     2833 |       12
36.78/36.85	c 36.6s |      13 |    46463 |    42532 |     9756      6 |     2833 |       12
38.89/38.93	c 38.7s |      13 |    48882 |    44932 |     9756      6 |     2833 |       12
40.98/41.01	c 40.8s |      13 |    51093 |    47132 |     9756      7 |     2833 |       12
42.99/43.07	c 42.8s |      13 |    53800 |    49832 |     9756      7 |     2833 |       12
45.19/45.27	c 45.0s |      13 |    54913 |    50932 |     9756      7 |     2833 |       12
47.29/47.33	c 47.1s |      13 |    57216 |    53232 |     9756      7 |     2833 |       12
49.28/49.34	c 49.1s |      13 |    59433 |    55432 |     9756      8 |     2833 |       12
51.38/51.41	c 51.2s |      13 |    62039 |    58032 |    10732      8 |     2833 |       12
51.69/51.73	c 51.5s |      14 |    62362 |    58352 |    10732      8 |     2833 |       12
53.68/53.74	c 53.5s |      14 |    64079 |    59952 |    10732      8 |     2833 |       12
55.68/55.77	c 55.5s |      14 |    65684 |    61552 |    10732      9 |     2833 |       12
57.78/57.82	c 57.6s |      14 |    68190 |    64052 |    10732      9 |     2833 |       12
59.78/59.87	c 59.6s |      14 |    70496 |    66352 |    10732      9 |     2833 |       12
61.78/61.88	c 61.6s |      14 |    72510 |    68352 |    10732     10 |     2833 |       12
63.89/63.91	c 63.7s |      14 |    75024 |    70852 |    10732     10 |     2833 |       12
65.88/65.95	c 65.7s |      14 |    77527 |    73352 |    10732     10 |     2833 |       12
67.88/67.99	c 67.7s |      14 |    79244 |    75052 |    10732     11 |     2833 |       12
69.98/70.04	c 69.8s |      14 |    81944 |    77752 |    10732     11 |     2833 |       12
71.98/72.08	c 71.8s |      14 |    84250 |    80052 |    10732     11 |     2833 |       12
74.07/74.14	c 73.9s |      14 |    86560 |    82352 |    10732     12 |     2833 |       12
76.07/76.18	c 75.9s |      14 |    89078 |    84852 |    10732     12 |     2833 |       12
78.18/78.22	c 78.0s |      14 |    91390 |    87152 |    11806     12 |     2833 |       12
78.57/78.64	c 78.4s |      15 |    91865 |    87632 |    11806     12 |     2833 |       12
80.58/80.65	c 80.4s |      15 |    93675 |    89332 |    11806     12 |     2833 |       12
82.59/82.67	c 82.4s |      15 |    95683 |    91332 |    11806     13 |     2833 |       12
84.69/84.76	c 84.5s |      15 |    98290 |    93932 |    11806     13 |     2833 |       12
86.78/86.83	c 86.6s |      15 |   100709 |    96332 |    11806     13 |     2833 |       12
88.78/88.88	c 88.6s |      15 |   103114 |    98732 |    11806     14 |     2833 |       12
90.97/91.02	c 90.8s |      15 |   103532 |    99132 |    11806     14 |     2833 |       12
92.97/93.09	c 92.8s |      15 |   105638 |   101232 |    11806     14 |     2833 |       12
95.07/95.17	c 94.9s |      15 |   107751 |   103332 |    11806     14 |     2833 |       12
97.07/97.17	c 96.9s |      15 |   109759 |   105332 |    11806     15 |     2833 |       12
99.17/99.20	c 99.0s |      15 |   112370 |   107932 |    11806     15 |     2833 |       12
101.18/101.27	c  101s |      15 |   114384 |   109932 |    11806     15 |     2833 |       12
103.27/103.35	c  103s |      15 |   116193 |   111732 |    11806     15 |     2833 |       12
105.37/105.41	c  105s |      15 |   118400 |   113932 |    11806     16 |     2833 |       12
107.37/107.45	c  107s |      15 |   120710 |   116232 |    11806     16 |     2833 |       12
109.37/109.46	c  109s |      15 |   123015 |   118532 |    11806     16 |     2833 |       12
111.47/111.51	c  111s |      15 |   125234 |   120732 |    11806     17 |     2833 |       12
113.47/113.54	c  113s |      15 |   127735 |   123232 |    11806     17 |     2833 |       12
115.47/115.55	c  115s |      15 |   130138 |   125632 |    11806     17 |     2833 |       12
118.27/118.38	c  118s |      15 |   130757 |   126232 |    11806     17 |     2833 |       12
120.27/120.39	c  120s |      15 |   133057 |   128532 |    11806     18 |     2833 |       12
122.37/122.44	c  122s |      15 |   135580 |   131032 |    12987     18 |     2833 |       12
122.87/122.94	c  122s |      16 |   136093 |   131552 |    12987     18 |     2833 |       12
124.87/124.99	c  124s |      16 |   137916 |   133252 |    12987     18 |     2833 |       12
126.96/127.07	c  126s |      16 |   139721 |   135052 |    12987     18 |     2833 |       12
129.06/129.13	c  128s |      16 |   141738 |   137052 |    12987     19 |     2833 |       12
131.16/131.21	c  130s |      16 |   144142 |   139452 |    12987     19 |     2833 |       12
133.17/133.28	c  133s |      16 |   146554 |   141852 |    12987     19 |     2833 |       12
135.27/135.35	c  135s |      16 |   148260 |   143552 |    12987     19 |     2833 |       12
137.26/137.39	c  137s |      16 |   150367 |   145652 |    12987     20 |     2833 |       12
139.36/139.45	c  139s |      16 |   152977 |   148252 |    12987     20 |     2833 |       12
141.46/141.54	c  141s |      16 |   155092 |   150352 |    12987     20 |     2833 |       12
143.46/143.57	c  143s |      16 |   157298 |   152552 |    12987     21 |     2833 |       12
145.46/145.59	c  145s |      16 |   159407 |   154652 |    12987     21 |     2833 |       12
147.56/147.65	c  147s |      16 |   162114 |   157352 |    12987     21 |     2833 |       12
149.57/149.69	c  149s |      16 |   164435 |   159652 |    12987     21 |     2833 |       12
151.66/151.75	c  151s |      16 |   166846 |   162052 |    12987     22 |     2833 |       12
153.66/153.75	c  153s |      16 |   169358 |   164552 |    12987     22 |     2833 |       12
155.66/155.77	c  155s |      16 |   171761 |   166952 |    12987     22 |     2833 |       12
157.76/157.80	c  157s |      16 |   173874 |   169052 |    12987     23 |     2833 |       12
159.76/159.89	c  159s |      16 |   176384 |   171552 |    12987     23 |     2833 |       12
161.86/161.94	c  161s |      16 |   178096 |   173252 |    12987     23 |     2833 |       12
163.87/163.99	c  163s |      16 |   180298 |   175452 |    12987     23 |     2833 |       12
169.16/169.20	c  168s |      16 |   182213 |   177352 |    12987     24 |     2833 |       12
171.16/171.21	c  170s |      16 |   184211 |   179352 |    12987     24 |     2833 |       12
173.26/173.30	c  173s |      16 |   186612 |   181752 |    12987     24 |     2833 |       12
175.97/176.08	c  175s |      16 |   188332 |   183452 |    12987     24 |     2833 |       12
178.46/178.56	c  178s |      16 |   188527 |   183652 |    12987     24 |     2833 |       12
180.96/181.02	c  180s |      16 |   189141 |   184252 |    12987     25 |     2833 |       12
182.96/183.07	c  182s |      16 |   191438 |   186552 |    12987     25 |     2833 |       12
185.06/185.15	c  184s |      16 |   193935 |   189052 |    12987     25 |     2833 |       12
187.16/187.24	c  187s |      16 |   196154 |   191252 |    12987     25 |     2833 |       12
189.17/189.25	c  189s |      16 |   198367 |   193452 |    12987     26 |     2833 |       12
191.26/191.31	c  191s |      16 |   200874 |   195952 |    12987     26 |     2833 |       12
192.66/192.71	c  192s |      17 |   202369 |   197432 |    14286     26 |     2833 |       12
194.67/194.77	c  194s |      17 |   204190 |   199132 |    14286     26 |     2833 |       12
196.76/196.87	c  196s |      17 |   206200 |   201132 |    14286     26 |     2833 |       12
198.96/199.03	c  198s |      17 |   206796 |   201732 |    14286     27 |     2833 |       12
201.06/201.11	c  200s |      17 |   209203 |   204132 |    14286     27 |     2833 |       12
203.06/203.18	c  202s |      17 |   211619 |   206532 |    14286     27 |     2833 |       12
205.16/205.22	c  204s |      17 |   213924 |   208832 |    14286     27 |     2833 |       12
207.15/207.26	c  207s |      17 |   215229 |   210132 |    14286     27 |     2833 |       12
209.15/209.28	c  209s |      17 |   216753 |   211632 |    14286     28 |     2833 |       12
211.26/211.32	c  211s |      17 |   219059 |   213932 |    14286     28 |     2833 |       12
213.25/213.33	c  213s |      17 |   221361 |   216232 |    14286     28 |     2833 |       12
215.25/215.39	c  215s |      17 |   223681 |   218532 |    14286     28 |     2833 |       12
217.36/217.45	c  217s |      17 |   225983 |   220832 |    14286     29 |     2833 |       12
219.36/219.48	c  219s |      17 |   228399 |   223232 |    14286     29 |     2833 |       12
221.46/221.51	c  221s |      17 |   230298 |   225132 |    14286     29 |     2833 |       12
223.46/223.53	c  223s |      17 |   232009 |   226832 |    14286     29 |     2833 |       12
225.46/225.57	c  225s |      17 |   234018 |   228832 |    14286     30 |     2833 |       12
227.46/227.57	c  227s |      17 |   236442 |   231232 |    14286     30 |     2833 |       12
229.56/229.62	c  229s |      17 |   238766 |   233532 |    14286     30 |     2833 |       12
231.66/231.71	c  231s |      17 |   240767 |   235532 |    14286     30 |     2833 |       12
233.65/233.76	c  233s |      17 |   242482 |   237232 |    14286     31 |     2833 |       12
235.65/235.77	c  235s |      17 |   244987 |   239732 |    14286     31 |     2833 |       12
237.75/237.84	c  237s |      17 |   247201 |   241932 |    14286     31 |     2833 |       12
239.76/239.87	c  239s |      17 |   249301 |   244032 |    14286     31 |     2833 |       12
241.85/241.91	c  241s |      17 |   251013 |   245732 |    14286     32 |     2833 |       12
243.85/243.96	c  243s |      17 |   253838 |   248532 |    14286     32 |     2833 |       12
245.85/245.98	c  245s |      17 |   256338 |   251032 |    14286     32 |     2833 |       12
247.95/248.03	c  247s |      17 |   258753 |   253432 |    14286     32 |     2833 |       12
250.05/250.10	c  249s |      17 |   261169 |   255832 |    14286     33 |     2833 |       12
252.05/252.15	c  251s |      17 |   263577 |   258232 |    14286     33 |     2833 |       12
254.16/254.24	c  253s |      17 |   265685 |   260332 |    14286     33 |     2833 |       12
256.15/256.30	c  256s |      17 |   267795 |   262432 |    14286     33 |     2833 |       12
261.34/261.49	c  261s |      17 |   268619 |   263232 |    14286     34 |     2833 |       12
263.44/263.54	c  263s |      17 |   270811 |   265432 |    14286     34 |     2833 |       12
265.44/265.58	c  265s |      17 |   273322 |   267932 |    14286     34 |     2833 |       12
267.44/267.59	c  267s |      17 |   275440 |   270032 |    14286     34 |     2833 |       12
269.55/269.65	c  269s |      17 |   277345 |   271932 |    14286     35 |     2833 |       12
271.55/271.67	c  271s |      17 |   279548 |   274132 |    14286     35 |     2833 |       12
273.65/273.70	c  273s |      17 |   282162 |   276732 |    14286     35 |     2833 |       12
275.65/275.74	c  275s |      17 |   283972 |   278532 |    14286     35 |     2833 |       12
277.65/277.76	c  277s |      17 |   285692 |   280232 |    14286     36 |     2833 |       12
279.75/279.81	c  279s |      17 |   288302 |   282832 |    14286     36 |     2833 |       12
281.75/281.82	c  281s |      17 |   290303 |   284832 |    14286     36 |     2833 |       12
283.75/283.87	c  283s |      17 |   292218 |   286732 |    14286     36 |     2833 |       12
285.85/285.90	c  285s |      17 |   294422 |   288932 |    14286     37 |     2833 |       12
287.85/287.95	c  287s |      17 |   296839 |   291332 |    14286     37 |     2833 |       12
289.85/289.96	c  289s |      17 |   298940 |   293432 |    14286     37 |     2833 |       12
291.95/292.01	c  291s |      17 |   301262 |   295732 |    15715     37 |     2833 |       12
292.35/292.49	c  292s |      18 |   301781 |   296252 |    15715     37 |     2833 |       12
296.14/296.27	c  296s |      18 |   303202 |   297552 |    15715     37 |     2833 |       12
298.24/298.33	c  298s |      18 |   305196 |   299552 |    15715     38 |     2833 |       12
300.25/300.34	c  300s |      18 |   307116 |   301452 |    15715     38 |     2833 |       12
302.34/302.46	c  302s |      18 |   309318 |   303652 |    15715     38 |     2833 |       12
304.34/304.47	c  304s |      18 |   311015 |   305352 |    15715     38 |     2833 |       12
306.34/306.49	c  306s |      18 |   313031 |   307352 |    15715     38 |     2833 |       12
308.44/308.57	c  308s |      18 |   314738 |   309052 |    15715     39 |     2833 |       12
310.54/310.60	c  310s |      18 |   316849 |   311152 |    15715     39 |     2833 |       12
312.64/312.73	c  312s |      18 |   318761 |   313052 |    15715     39 |     2833 |       12
314.64/314.77	c  314s |      18 |   320555 |   314852 |    15715     39 |     2833 |       12
316.64/316.78	c  316s |      18 |   322463 |   316752 |    15715     39 |     2833 |       12
318.74/318.83	c  318s |      18 |   324175 |   318452 |    15715     40 |     2833 |       12
320.74/320.89	c  320s |      18 |   326481 |   320752 |    15715     40 |     2833 |       12
322.84/322.91	c  322s |      18 |   328686 |   322952 |    15715     40 |     2833 |       12
325.55/325.62	c  325s |      18 |   329405 |   323652 |    15715     40 |     2833 |       12
327.54/327.66	c  327s |      18 |   331310 |   325552 |    15715     40 |     2833 |       12
329.64/329.71	c  329s |      18 |   332932 |   327152 |    15715     41 |     2833 |       12
331.74/331.82	c  331s |      18 |   334632 |   328852 |    15715     41 |     2833 |       12
333.74/333.87	c  333s |      18 |   336833 |   331052 |    15715     41 |     2833 |       12
335.84/335.98	c  335s |      18 |   339344 |   333552 |    15715     41 |     2833 |       12
337.94/338.09	c  337s |      18 |   341147 |   335352 |    15715     41 |     2833 |       12
340.04/340.16	c  339s |      18 |   343062 |   337252 |    15715     42 |     2833 |       12
342.05/342.19	c  341s |      18 |   345463 |   339652 |    15715     42 |     2833 |       12
344.14/344.24	c  344s |      18 |   347477 |   341652 |    15715     42 |     2833 |       12
346.24/346.34	c  346s |      18 |   349676 |   343852 |    15715     42 |     2833 |       12
348.34/348.41	c  348s |      18 |   351785 |   345952 |    15715     42 |     2833 |       12
350.34/350.49	c  350s |      18 |   353995 |   348152 |    15715     43 |     2833 |       12
352.44/352.57	c  352s |      18 |   356508 |   350652 |    15715     43 |     2833 |       12
354.53/354.65	c  354s |      18 |   358632 |   352752 |    15715     43 |     2833 |       12
356.53/356.66	c  356s |      18 |   359527 |   353652 |    15715     43 |     2833 |       12
358.64/358.73	c  358s |      18 |   361330 |   355452 |    15715     44 |     2833 |       12
360.63/360.74	c  360s |      18 |   363646 |   357752 |    15715     44 |     2833 |       12
362.63/362.77	c  362s |      18 |   365854 |   359952 |    15715     44 |     2833 |       12
364.73/364.85	c  364s |      18 |   367961 |   362052 |    15715     44 |     2833 |       12
366.83/366.94	c  366s |      18 |   369974 |   364052 |    15715     44 |     2833 |       12
368.83/368.98	c  368s |      18 |   371880 |   365952 |    15715     45 |     2833 |       12
370.93/371.00	c  370s |      18 |   374090 |   368152 |    15715     45 |     2833 |       12
372.93/373.05	c  372s |      18 |   375598 |   369652 |    15715     45 |     2833 |       12
374.93/375.09	c  374s |      18 |   377699 |   371752 |    15715     45 |     2833 |       12
376.93/377.09	c  376s |      18 |   379607 |   373652 |    15715     45 |     2833 |       12
379.03/379.12	c  378s |      18 |   381210 |   375252 |    15715     46 |     2833 |       12
381.03/381.13	c  380s |      18 |   383418 |   377452 |    15715     46 |     2833 |       12
383.03/383.15	c  382s |      18 |   385634 |   379652 |    15715     46 |     2833 |       12
385.13/385.22	c  384s |      18 |   387444 |   381452 |    15715     46 |     2833 |       12
387.13/387.22	c  386s |      18 |   389152 |   383152 |    15715     46 |     2833 |       12
391.03/391.14	c  390s |      18 |   390559 |   384552 |    15715     47 |     2833 |       12
393.13/393.20	c  392s |      18 |   392770 |   386752 |    15715     47 |     2833 |       12
395.13/395.24	c  394s |      18 |   394868 |   388852 |    15715     47 |     2833 |       12
397.23/397.34	c  397s |      18 |   396780 |   390752 |    15715     47 |     2833 |       12
399.34/399.40	c  399s |      18 |   398591 |   392552 |    15715     47 |     2833 |       12
401.33/401.45	c  401s |      18 |   399895 |   393852 |    15715     48 |     2833 |       12
403.33/403.48	c  403s |      18 |   402110 |   396052 |    15715     48 |     2833 |       12
405.33/405.49	c  405s |      18 |   404210 |   398152 |    15715     48 |     2833 |       12
407.43/407.50	c  407s |      18 |   406017 |   399952 |    15715     48 |     2833 |       12
409.43/409.54	c  409s |      18 |   407732 |   401652 |    15715     48 |     2833 |       12
411.53/411.60	c  411s |      18 |   409537 |   403452 |    15715     49 |     2833 |       12
413.53/413.62	c  413s |      18 |   411850 |   405752 |    15715     49 |     2833 |       12
423.02/423.11	c  422s |      18 |   414258 |   408152 |    15715     49 |     2833 |       12
425.02/425.15	c  424s |      18 |   415864 |   409752 |    15715     49 |     2833 |       12
427.12/427.23	c  426s |      18 |   417771 |   411652 |    15715     49 |     2833 |       12
429.12/429.25	c  429s |      18 |   419677 |   413552 |    15715     50 |     2833 |       12
431.13/431.29	c  431s |      18 |   422090 |   415952 |    15715     50 |     2833 |       12
433.22/433.30	c  433s |      18 |   424098 |   417952 |    15715     50 |     2833 |       12
435.22/435.32	c  435s |      18 |   426102 |   419952 |    15715     50 |     2833 |       12
437.22/437.37	c  437s |      18 |   427911 |   421752 |    15715     51 |     2833 |       12
439.22/439.38	c  439s |      18 |   430214 |   424052 |    15715     51 |     2833 |       12
441.42/441.51	c  441s |      18 |   431421 |   425252 |    15715     51 |     2833 |       12
443.42/443.59	c  443s |      18 |   433329 |   427152 |    15715     51 |     2833 |       12
445.53/445.61	c  445s |      18 |   435129 |   428952 |    15715     51 |     2833 |       12
447.52/447.66	c  447s |      18 |   436937 |   430752 |    15715     51 |     2833 |       12
449.52/449.66	c  449s |      18 |   439155 |   432952 |    15715     52 |     2833 |       12
451.52/451.69	c  451s |      18 |   441571 |   435352 |    15715     52 |     2833 |       12
453.62/453.75	c  453s |      18 |   443973 |   437752 |    15715     52 |     2833 |       12
455.62/455.77	c  455s |      18 |   445591 |   439352 |    15715     52 |     2833 |       12
457.63/457.79	c  457s |      18 |   447393 |   441152 |    15715     53 |     2833 |       12
459.73/459.82	c  459s |      18 |   449800 |   443552 |    17287     53 |     2833 |       12
460.52/460.64	c  460s |      19 |   450736 |   444482 |    17287     53 |     2833 |       12
472.52/472.62	c  472s |      19 |   451147 |   444782 |    17287     53 |     2833 |       12
474.62/474.70	c  474s |      19 |   452851 |   446482 |    17287     53 |     2833 |       12
476.62/476.73	c  476s |      19 |   454658 |   448282 |    17287     53 |     2833 |       12
478.62/478.78	c  478s |      19 |   456564 |   450182 |    17287     53 |     2833 |       12
480.63/480.79	c  480s |      19 |   458476 |   452082 |    17287     54 |     2833 |       12
482.72/482.82	c  482s |      19 |   460373 |   453982 |    17287     54 |     2833 |       12
484.72/484.83	c  484s |      19 |   462190 |   455782 |    17287     54 |     2833 |       12
486.72/486.88	c  486s |      19 |   464095 |   457682 |    17287     54 |     2833 |       12
488.82/488.92	c  488s |      19 |   466201 |   459782 |    17287     54 |     2833 |       12
491.42/491.52	c  491s |      19 |   467108 |   460682 |    17287     54 |     2833 |       12
493.42/493.55	c  493s |      19 |   468316 |   461882 |    17287     55 |     2833 |       12
495.51/495.63	c  495s |      19 |   470717 |   464282 |    17287     55 |     2833 |       12
497.51/497.68	c  497s |      19 |   473134 |   466682 |    17287     55 |     2833 |       12
499.61/499.71	c  499s |      19 |   475249 |   468782 |    17287     55 |     2833 |       12
501.62/501.76	c  501s |      19 |   477057 |   470582 |    17287     55 |     2833 |       12
503.61/503.78	c  503s |      19 |   478755 |   472282 |    17287     56 |     2833 |       12
505.71/505.84	c  505s |      19 |   480364 |   473882 |    17287     56 |     2833 |       12
507.81/507.95	c  507s |      19 |   482083 |   475582 |    17287     56 |     2833 |       12
509.81/509.99	c  509s |      19 |   483578 |   477082 |    17287     56 |     2833 |       12
511.91/512.05	c  511s |      19 |   485198 |   478682 |    17287     56 |     2833 |       12
514.01/514.11	c  513s |      19 |   486806 |   480282 |    17287     56 |     2833 |       12
516.11/516.20	c  515s |      19 |   488406 |   481882 |    17287     56 |     2833 |       12
518.12/518.21	c  517s |      19 |   490326 |   483782 |    17287     57 |     2833 |       12
520.11/520.23	c  519s |      19 |   492430 |   485882 |    17287     57 |     2833 |       12
522.11/522.28	c  522s |      19 |   494636 |   488082 |    17287     57 |     2833 |       12
524.21/524.31	c  524s |      19 |   496651 |   490082 |    17287     57 |     2833 |       12
526.21/526.35	c  526s |      19 |   498557 |   491982 |    17287     57 |     2833 |       12
528.20/528.36	c  528s |      19 |   500367 |   493782 |    17287     58 |     2833 |       12
530.30/530.41	c  530s |      19 |   502772 |   496182 |    17287     58 |     2833 |       12
532.31/532.41	c  532s |      19 |   505089 |   498482 |    17287     58 |     2833 |       12
534.30/534.44	c  534s |      19 |   506802 |   500182 |    17287     58 |     2833 |       12
536.40/536.56	c  536s |      19 |   508216 |   501582 |    17287     58 |     2833 |       12
538.50/538.64	c  538s |      19 |   509811 |   503182 |    17287     59 |     2833 |       12
540.60/540.72	c  540s |      19 |   511919 |   505282 |    17287     59 |     2833 |       12
546.61/546.73	c  546s |      19 |   512323 |   505682 |    17287     59 |     2833 |       12
548.60/548.79	c  548s |      19 |   514127 |   507482 |    17287     59 |     2833 |       12
550.70/550.80	c  550s |      19 |   516242 |   509582 |    17287     59 |     2833 |       12
557.90/558.09	c  557s |      19 |   517658 |   510982 |    17287     59 |     2833 |       12
559.91/560.09	c  559s |      19 |   519348 |   512682 |    17287     60 |     2833 |       12
562.01/562.14	c  561s |      19 |   521554 |   514882 |    17287     60 |     2833 |       12
564.00/564.17	c  563s |      19 |   523671 |   516982 |    17287     60 |     2833 |       12
566.10/566.27	c  566s |      19 |   525671 |   518982 |    17287     60 |     2833 |       12
568.20/568.31	c  568s |      19 |   527881 |   521182 |    17287     60 |     2833 |       12
570.20/570.34	c  570s |      19 |   529684 |   522982 |    17287     61 |     2833 |       12
576.41/576.59	c  576s |      19 |   531702 |   524982 |    17287     61 |     2833 |       12
578.51/578.67	c  578s |      19 |   533607 |   526882 |    17287     61 |     2833 |       12
580.60/580.75	c  580s |      19 |   535815 |   529082 |    17287     61 |     2833 |       12
582.60/582.78	c  582s |      19 |   537721 |   530982 |    17287     61 |     2833 |       12
584.60/584.80	c  584s |      19 |   539626 |   532882 |    17287     61 |     2833 |       12
586.80/586.98	c  586s |      19 |   541639 |   534882 |    17287     62 |     2833 |       12
588.90/589.05	c  588s |      19 |   543761 |   536982 |    17287     62 |     2833 |       12
590.90/591.08	c  590s |      19 |   545657 |   538882 |    17287     62 |     2833 |       12
593.00/593.17	c  592s |      19 |   547674 |   540882 |    17287     62 |     2833 |       12
595.10/595.22	c  594s |      19 |   549474 |   542682 |    17287     62 |     2833 |       12
597.10/597.22	c  596s |      19 |   551294 |   544482 |    17287     63 |     2833 |       12
599.40/599.53	c  599s |      19 |   553609 |   546782 |    17287     63 |     2833 |       12
601.40/601.58	c  601s |      19 |   555911 |   549082 |    17287     63 |     2833 |       12
603.50/603.68	c  603s |      19 |   557821 |   550982 |    17287     63 |     2833 |       12
605.60/605.72	c  605s |      19 |   559418 |   552582 |    17287     63 |     2833 |       12
607.59/607.78	c  607s |      19 |   560820 |   553982 |    17287     64 |     2833 |       12
609.69/609.88	c  609s |      19 |   562631 |   555782 |    17287     64 |     2833 |       12
611.79/611.95	c  611s |      19 |   563938 |   557082 |    17287     64 |     2833 |       12
613.80/613.99	c  613s |      19 |   565652 |   558782 |    17287     64 |     2833 |       12
615.90/616.04	c  615s |      19 |   567560 |   560682 |    17287     64 |     2833 |       12
617.89/618.08	c  617s |      19 |   569361 |   562482 |    17287     64 |     2833 |       12
619.99/620.17	c  619s |      19 |   570572 |   563682 |    17287     65 |     2833 |       12
621.99/622.18	c  621s |      19 |   572583 |   565682 |    17287     65 |     2833 |       12
624.09/624.24	c  624s |      19 |   573990 |   567082 |    17287     65 |     2833 |       12
626.19/626.33	c  626s |      19 |   576183 |   569282 |    17287     65 |     2833 |       12
628.19/628.37	c  628s |      19 |   578198 |   571282 |    17287     65 |     2833 |       12
630.30/630.46	c  630s |      19 |   580108 |   573182 |    17287     65 |     2833 |       12
632.29/632.49	c  632s |      19 |   582006 |   575082 |    17287     66 |     2833 |       12
634.39/634.54	c  634s |      19 |   584020 |   577082 |    17287     66 |     2833 |       12
636.49/636.62	c  636s |      19 |   586329 |   579382 |    17287     66 |     2833 |       12
638.59/638.70	c  638s |      19 |   588638 |   581682 |    17287     66 |     2833 |       12
640.59/640.71	c  640s |      19 |   590541 |   583582 |    17287     66 |     2833 |       12
642.59/642.73	c  642s |      19 |   592043 |   585082 |    17287     67 |     2833 |       12
644.60/644.78	c  644s |      19 |   593946 |   586982 |    17287     67 |     2833 |       12
646.70/646.86	c  646s |      19 |   595953 |   588982 |    17287     67 |     2833 |       12
648.79/648.96	c  648s |      19 |   597757 |   590782 |    17287     67 |     2833 |       12
650.89/651.09	c  650s |      19 |   599561 |   592582 |    17287     67 |     2833 |       12
652.99/653.11	c  652s |      19 |   600970 |   593982 |    17287     67 |     2833 |       12
654.99/655.19	c  654s |      19 |   602482 |   595482 |    17287     68 |     2833 |       12
657.19/657.31	c  657s |      19 |   604811 |   597782 |    17287     68 |     2833 |       12
662.59/662.75	c  662s |      19 |   604906 |   597882 |    17287     68 |     2833 |       12
665.18/665.37	c  665s |      19 |   606010 |   598982 |    17287     68 |     2833 |       12
667.18/667.38	c  667s |      19 |   608713 |   601682 |    17287     68 |     2833 |       12
669.28/669.48	c  669s |      19 |   611322 |   604282 |    17287     68 |     2833 |       12
671.38/671.51	c  671s |      19 |   613125 |   606082 |    17287     69 |     2833 |       12
673.38/673.58	c  673s |      19 |   615444 |   608382 |    17287     69 |     2833 |       12
675.48/675.63	c  675s |      19 |   617648 |   610582 |    17287     69 |     2833 |       12
677.49/677.66	c  677s |      19 |   619664 |   612582 |    17287     69 |     2833 |       12
679.48/679.68	c  679s |      19 |   621872 |   614782 |    17287     69 |     2833 |       12
681.49/681.69	c  681s |      19 |   623973 |   616882 |    17287     70 |     2833 |       12
683.59/683.77	c  683s |      19 |   626289 |   619182 |    17287     70 |     2833 |       12
685.69/685.83	c  685s |      19 |   628594 |   621482 |    17287     70 |     2833 |       12
687.79/687.90	c  687s |      19 |   630902 |   623782 |    17287     70 |     2833 |       12
689.79/689.97	c  689s |      19 |   632905 |   625782 |    17287     71 |     2833 |       12
691.89/692.05	c  691s |      19 |   635610 |   628482 |    17287     71 |     2833 |       12
694.79/694.90	c  694s |      19 |   637826 |   630682 |    17287     71 |     2833 |       12
696.78/696.99	c  696s |      19 |   639427 |   632282 |    17287     71 |     2833 |       12
698.88/699.02	c  698s |      19 |   641243 |   634082 |    17287     71 |     2833 |       12
700.88/701.04	c  700s |      19 |   642847 |   635682 |    17287     72 |     2833 |       12
702.89/703.09	c  702s |      19 |   645050 |   637882 |    17287     72 |     2833 |       12
704.99/705.13	c  704s |      19 |   646953 |   639782 |    17287     72 |     2833 |       12
707.08/707.23	c  706s |      19 |   648754 |   641582 |    17287     72 |     2833 |       12
710.28/710.43	c  710s |      19 |   649471 |   642282 |    17287     72 |     2833 |       12
712.28/712.46	c  712s |      19 |   650971 |   643782 |    17287     72 |     2833 |       12
714.38/714.54	c  714s |      19 |   652679 |   645482 |    17287     72 |     2833 |       12
716.48/716.62	c  716s |      19 |   654584 |   647382 |    17287     73 |     2833 |       12
724.37/724.56	c  724s |      19 |   656583 |   649382 |    17287     73 |     2833 |       12
726.47/726.62	c  726s |      19 |   658690 |   651482 |    17287     73 |     2833 |       12
728.47/728.65	c  728s |      19 |   660704 |   653482 |    17287     73 |     2833 |       12
730.47/730.68	c  730s |      19 |   662610 |   655382 |    17287     73 |     2833 |       12
732.58/732.70	c  732s |      19 |   664416 |   657182 |    17287     74 |     2833 |       12
735.27/735.49	c  735s |      19 |   665630 |   658382 |    17287     74 |     2833 |       12
737.37/737.57	c  737s |      19 |   667528 |   660282 |    17287     74 |     2833 |       12
739.47/739.65	c  739s |      19 |   669540 |   662282 |    19016     74 |     2833 |       12
741.57/741.72	c  741s |      19 |   671546 |   664282 |    19016     74 |     2833 |       12
743.58/743.75	c  743s |      19 |   673552 |   666282 |    19016     74 |     2833 |       12
750.26/750.46	c  750s |      19 |   674054 |   666782 |    19016     74 |     2833 |       12
750.36/750.52	c  750s |      20 |   674100 |   666827 |    19016     74 |     2833 |       12
752.38/752.56	c  752s |      20 |   675315 |   667927 |    19016     75 |     2833 |       12
754.48/754.65	c  754s |      20 |   677433 |   670027 |    19016     75 |     2833 |       12
756.57/756.70	c  756s |      20 |   679634 |   672227 |    19016     75 |     2833 |       12
758.57/758.72	c  758s |      20 |   681946 |   674527 |    19016     75 |     2833 |       12
760.67/760.83	c  760s |      20 |   683751 |   676327 |    19016     75 |     2833 |       12
762.77/762.93	c  762s |      20 |   685364 |   677927 |    19016     75 |     2833 |       12
764.76/764.97	c  764s |      20 |   687268 |   679827 |    19016     76 |     2833 |       12
766.76/766.97	c  766s |      20 |   689169 |   681727 |    19016     76 |     2833 |       12
768.87/769.02	c  768s |      20 |   690773 |   683327 |    19016     76 |     2833 |       12
770.86/771.09	c  770s |      20 |   692476 |   685027 |    19016     76 |     2833 |       12
772.96/773.13	c  772s |      20 |   694388 |   686927 |    19016     76 |     2833 |       12
774.96/775.14	c  774s |      20 |   696397 |   688927 |    19016     76 |     2833 |       12
777.05/777.24	c  777s |      20 |   698005 |   690527 |    19016     77 |     2833 |       12
779.05/779.25	c  779s |      20 |   700113 |   692627 |    19016     77 |     2833 |       12
781.15/781.31	c  781s |      20 |   702108 |   694627 |    19016     77 |     2833 |       12
783.16/783.36	c  783s |      20 |   704421 |   696927 |    19016     77 |     2833 |       12
785.15/785.38	c  785s |      20 |   706324 |   698827 |    19016     77 |     2833 |       12
787.25/787.41	c  787s |      20 |   708330 |   700827 |    19016     77 |     2833 |       12
789.25/789.42	c  789s |      20 |   710037 |   702527 |    19016     78 |     2833 |       12
791.35/791.50	c  791s |      20 |   712147 |   704627 |    19016     78 |     2833 |       12
793.45/793.61	c  793s |      20 |   714453 |   706927 |    19016     78 |     2833 |       12
795.45/795.64	c  795s |      20 |   716557 |   709027 |    19016     78 |     2833 |       12
797.45/797.68	c  797s |      20 |   718661 |   711127 |    19016     78 |     2833 |       12
799.44/799.70	c  799s |      20 |   720469 |   712927 |    19016     79 |     2833 |       12
809.63/809.83	c  809s |      20 |   722476 |   714927 |    19016     79 |     2833 |       12
811.64/811.89	c  811s |      20 |   724693 |   717127 |    19016     79 |     2833 |       12
813.73/813.90	c  813s |      20 |   726699 |   719127 |    19016     79 |     2833 |       12
815.73/815.98	c  815s |      20 |   728817 |   721227 |    19016     79 |     2833 |       12
817.83/818.06	c  817s |      20 |   730916 |   723327 |    19016     79 |     2833 |       12
819.93/820.13	c  819s |      20 |   732527 |   724927 |    19016     80 |     2833 |       12
822.03/822.21	c  821s |      20 |   735034 |   727427 |    19016     80 |     2833 |       12
824.03/824.23	c  823s |      20 |   736844 |   729227 |    19016     80 |     2833 |       12
826.03/826.29	c  826s |      20 |   738645 |   731027 |    19016     80 |     2833 |       12
828.13/828.34	c  828s |      20 |   740652 |   733027 |    19016     80 |     2833 |       12
830.22/830.40	c  830s |      20 |   742561 |   734927 |    19016     81 |     2833 |       12
832.23/832.41	c  832s |      20 |   744475 |   736827 |    19016     81 |     2833 |       12
834.23/834.43	c  834s |      20 |   746777 |   739127 |    19016     81 |     2833 |       12
836.23/836.43	c  836s |      20 |   748684 |   741027 |    19016     81 |     2833 |       12
838.23/838.49	c  838s |      20 |   750294 |   742627 |    19016     81 |     2833 |       12
840.33/840.52	c  840s |      20 |   751692 |   744027 |    19016     81 |     2833 |       12
842.43/842.60	c  842s |      20 |   753208 |   745527 |    19016     82 |     2833 |       12
844.43/844.64	c  844s |      20 |   755412 |   747727 |    19016     82 |     2833 |       12
846.42/846.69	c  846s |      20 |   757727 |   750027 |    19016     82 |     2833 |       12
848.62/848.81	c  848s |      20 |   759727 |   752027 |    19016     82 |     2833 |       12
850.62/850.88	c  850s |      20 |   761434 |   753727 |    19016     82 |     2833 |       12
852.72/852.94	c  852s |      20 |   763542 |   755827 |    19016     82 |     2833 |       12
854.72/854.99	c  854s |      20 |   765243 |   757527 |    19016     83 |     2833 |       12
856.82/857.02	c  856s |      20 |   767361 |   759627 |    19016     83 |     2833 |       12
858.82/859.05	c  858s |      20 |   769770 |   762027 |    19016     83 |     2833 |       12
860.82/861.08	c  860s |      20 |   771674 |   763927 |    19016     83 |     2833 |       12
862.92/863.12	c  862s |      20 |   773683 |   765927 |    19016     83 |     2833 |       12
865.12/865.31	c  865s |      20 |   775491 |   767727 |    19016     84 |     2833 |       12
867.11/867.31	c  867s |      20 |   777996 |   770227 |    19016     84 |     2833 |       12
872.61/872.87	c  872s |      20 |   779312 |   771527 |    19016     84 |     2833 |       12
874.61/874.88	c  874s |      20 |   781218 |   773427 |    19016     84 |     2833 |       12
876.71/876.90	c  876s |      20 |   783227 |   775427 |    19016     84 |     2833 |       12
878.72/878.99	c  878s |      20 |   785233 |   777427 |    19016     84 |     2833 |       12
880.91/881.14	c  880s |      20 |   786944 |   779127 |    19016     85 |     2833 |       12
883.01/883.20	c  882s |      20 |   789459 |   781627 |    19016     85 |     2833 |       12
885.11/885.34	c  885s |      20 |   791561 |   783727 |    19016     85 |     2833 |       12
887.10/887.36	c  887s |      20 |   793363 |   785527 |    19016     85 |     2833 |       12
889.10/889.39	c  889s |      20 |   795273 |   787427 |    19016     85 |     2833 |       12
891.30/891.50	c  891s |      20 |   797282 |   789427 |    19016     85 |     2833 |       12
893.40/893.61	c  893s |      20 |   799307 |   791427 |    19016     86 |     2833 |       12
895.50/895.71	c  895s |      20 |   801521 |   793627 |    19016     86 |     2833 |       12
897.50/897.72	c  897s |      20 |   803418 |   795527 |    19016     86 |     2833 |       12
899.60/899.84	c  899s |      20 |   805428 |   797527 |    19016     86 |     2833 |       12
901.70/901.94	c  901s |      20 |   807636 |   799727 |    19016     86 |     2833 |       12
903.79/904.01	c  903s |      20 |   809038 |   801127 |    19016     87 |     2833 |       12
905.79/906.06	c  905s |      20 |   811045 |   803127 |    19016     87 |     2833 |       12
907.89/908.11	c  907s |      20 |   813246 |   805327 |    19016     87 |     2833 |       12
909.89/910.15	c  909s |      20 |   815458 |   807527 |    19016     87 |     2833 |       12
911.99/912.25	c  912s |      20 |   817471 |   809527 |    19016     87 |     2833 |       12
914.09/914.30	c  914s |      20 |   819470 |   811527 |    19016     87 |     2833 |       12
916.09/916.40	c  916s |      20 |   821375 |   813427 |    19016     88 |     2833 |       12
918.18/918.41	c  918s |      20 |   823884 |   815927 |    19016     88 |     2833 |       12
920.18/920.42	c  920s |      20 |   826294 |   818327 |    19016     88 |     2833 |       12
924.69/924.90	c  924s |      20 |   828116 |   820127 |    19016     88 |     2833 |       12
926.68/926.91	c  926s |      20 |   828914 |   820927 |    19016     88 |     2833 |       12
928.68/928.98	c  928s |      20 |   831024 |   823027 |    19016     88 |     2833 |       12
930.78/931.01	c  930s |      20 |   833030 |   825027 |    19016     89 |     2833 |       12
932.78/933.03	c  932s |      20 |   835236 |   827227 |    19016     89 |     2833 |       12
934.79/935.04	c  934s |      20 |   837142 |   829127 |    19016     89 |     2833 |       12
936.78/937.08	c  936s |      20 |   839443 |   831427 |    19016     89 |     2833 |       12
938.88/939.16	c  938s |      20 |   841661 |   833627 |    19016     89 |     2833 |       12
940.98/941.20	c  940s |      20 |   843269 |   835227 |    19016     90 |     2833 |       12
942.98/943.26	c  943s |      20 |   845675 |   837627 |    19016     90 |     2833 |       12
945.08/945.33	c  945s |      20 |   848084 |   840027 |    19016     90 |     2833 |       12
947.07/947.38	c  947s |      20 |   850390 |   842327 |    19016     90 |     2833 |       12
949.18/949.42	c  949s |      20 |   852601 |   844527 |    19016     90 |     2833 |       12
951.17/951.46	c  951s |      20 |   854612 |   846527 |    19016     91 |     2833 |       12
953.47/953.77	c  953s |      20 |   855820 |   847727 |    19016     91 |     2833 |       12
955.56/955.81	c  955s |      20 |   857827 |   849727 |    19016     91 |     2833 |       12
957.56/957.83	c  957s |      20 |   859932 |   851827 |    19016     91 |     2833 |       12
959.56/959.86	c  959s |      20 |   862339 |   854227 |    19016     91 |     2833 |       12
961.56/961.89	c  961s |      20 |   864149 |   856027 |    19016     91 |     2833 |       12
963.66/963.94	c  963s |      20 |   865755 |   857627 |    19016     92 |     2833 |       12
965.67/965.99	c  965s |      20 |   867777 |   859627 |    19016     92 |     2833 |       12
967.76/968.02	c  967s |      20 |   870191 |   862027 |    19016     92 |     2833 |       12
973.76/974.08	c  973s |      20 |   870802 |   862627 |    19016     92 |     2833 |       12
975.96/976.24	c  975s |      20 |   873002 |   864827 |    19016     92 |     2833 |       12
978.06/978.32	c  978s |      20 |   875107 |   866927 |    19016     92 |     2833 |       12
980.16/980.40	c  980s |      20 |   876914 |   868727 |    19016     93 |     2833 |       12
982.16/982.46	c  982s |      20 |   879317 |   871127 |    19016     93 |     2833 |       12
984.16/984.49	c  984s |      20 |   881825 |   873627 |    19016     93 |     2833 |       12
986.15/986.50	c  986s |      20 |   884228 |   876027 |    19016     93 |     2833 |       12
988.25/988.58	c  988s |      20 |   884536 |   876327 |    19016     93 |     2833 |       12
990.35/990.62	c  990s |      20 |   886547 |   878327 |    19016     93 |     2833 |       12
992.45/992.70	c  992s |      20 |   888353 |   880127 |    19016     94 |     2833 |       12
994.45/994.75	c  994s |      20 |   890861 |   882627 |    19016     94 |     2833 |       12
996.45/996.75	c  996s |      20 |   893366 |   885127 |    19016     94 |     2833 |       12
998.44/998.78	c  998s |      20 |   895375 |   887127 |    19016     94 |     2833 |       12
1000.54/1000.80	c 1000s |      20 |   896983 |   888727 |    19016     94 |     2833 |       12
1002.54/1002.85	c 1002s |      20 |   899093 |   890827 |    19016     95 |     2833 |       12
1004.54/1004.88	c 1004s |      20 |   901698 |   893427 |    19016     95 |     2833 |       12
1006.54/1006.89	c 1006s |      20 |   904209 |   895927 |    19016     95 |     2833 |       12
1008.64/1008.92	c 1008s |      20 |   905216 |   896927 |    19016     95 |     2833 |       12
1010.74/1011.04	c 1010s |      20 |   907518 |   899227 |    19016     95 |     2833 |       12
1012.74/1013.09	c 1012s |      20 |   909329 |   901027 |    19016     96 |     2833 |       12
1014.84/1015.14	c 1014s |      20 |   911239 |   902927 |    19016     96 |     2833 |       12
1016.84/1017.15	c 1016s |      20 |   913750 |   905427 |    19016     96 |     2833 |       12
1018.84/1019.17	c 1018s |      20 |   916262 |   907927 |    19016     96 |     2833 |       12
1020.94/1021.21	c 1020s |      20 |   918466 |   910127 |    19016     96 |     2833 |       12
1023.04/1023.31	c 1023s |      20 |   920576 |   912227 |    19016     97 |     2833 |       12
1025.64/1025.90	c 1025s |      20 |   922895 |   914527 |    19016     97 |     2833 |       12
1027.63/1027.94	c 1027s |      20 |   925204 |   916827 |    19016     97 |     2833 |       12
1029.63/1029.96	c 1029s |      20 |   927516 |   919127 |    19016     97 |     2833 |       12
1031.73/1032.00	c 1031s |      20 |   929822 |   921427 |    19016     97 |     2833 |       12
1033.84/1034.14	c 1033s |      20 |   931726 |   923327 |    19016     98 |     2833 |       12
1041.54/1041.87	c 1041s |      20 |   931936 |   923527 |    19016     98 |     2833 |       12
1043.64/1043.93	c 1043s |      20 |   934238 |   925827 |    19016     98 |     2833 |       12
1045.73/1046.00	c 1045s |      20 |   936761 |   928327 |    19016     98 |     2833 |       12
1047.83/1048.11	c 1047s |      20 |   939060 |   930627 |    19016     98 |     2833 |       12
1049.83/1050.17	c 1049s |      20 |   940963 |   932527 |    19016     98 |     2833 |       12
1051.93/1052.24	c 1052s |      20 |   942767 |   934327 |    19016     99 |     2833 |       12
1053.92/1054.27	c 1054s |      20 |   945080 |   936627 |    19016     99 |     2833 |       12
1056.02/1056.31	c 1056s |      20 |   947390 |   938927 |    19016     99 |     2833 |       12
1058.02/1058.35	c 1058s |      20 |   949699 |   941227 |    19016     99 |     2833 |       12
1060.12/1060.41	c 1060s |      20 |   952118 |   943627 |    19016     99 |     2833 |       12
1067.42/1067.78	c 1067s |      20 |   953738 |   945227 |    19016     99 |     2833 |       12
1069.51/1069.82	c 1069s |      20 |   955237 |   946727 |    19016    100 |     2833 |       12
1071.61/1071.90	c 1071s |      20 |   957346 |   948827 |    19016    100 |     2833 |       12
1073.61/1073.91	c 1073s |      20 |   959363 |   950827 |    19016    100 |     2833 |       12
1075.62/1075.99	c 1075s |      20 |   961569 |   953027 |    19016    100 |     2833 |       12
1077.72/1078.08	c 1077s |      20 |   963677 |   955127 |    19016    100 |     2833 |       12
1079.81/1080.11	c 1079s |      20 |   965387 |   956827 |    19016    101 |     2833 |       12
1081.81/1082.14	c 1081s |      20 |   967993 |   959427 |    19016    101 |     2833 |       12
1083.91/1084.20	c 1083s |      20 |   970706 |   962127 |    19016    101 |     2833 |       12
1085.91/1086.23	c 1085s |      20 |   973008 |   964427 |    19016    101 |     2833 |       12
1087.91/1088.29	c 1088s |      20 |   975020 |   966427 |    19016    101 |     2833 |       12
1090.01/1090.35	c 1090s |      20 |   976423 |   967827 |    19016    102 |     2833 |       12
1092.51/1092.80	c 1092s |      20 |   977737 |   969127 |    19016    102 |     2833 |       12
1094.51/1094.80	c 1094s |      20 |   979636 |   971027 |    19016    102 |     2833 |       12
1096.51/1096.81	c 1096s |      20 |   981750 |   973127 |    19016    102 |     2833 |       12
1098.50/1098.84	c 1098s |      20 |   983558 |   974927 |    19016    102 |     2833 |       12
1100.60/1100.91	c 1100s |      20 |   985257 |   976627 |    19016    102 |     2833 |       12
1102.60/1102.97	c 1102s |      20 |   987173 |   978527 |    19016    102 |     2833 |       12
1104.60/1104.99	c 1104s |      20 |   988781 |   980127 |    19016    103 |     2833 |       12
1107.70/1108.09	c 1107s |      20 |   989685 |   981027 |    19016    103 |     2833 |       12
1109.80/1110.15	c 1109s |      20 |   991888 |   983227 |    19016    103 |     2833 |       12
1111.81/1112.15	c 1111s |      20 |   994103 |   985427 |    19016    103 |     2833 |       12
1113.90/1114.21	c 1113s |      20 |   996010 |   987327 |    19016    103 |     2833 |       12
1115.90/1116.29	c 1116s |      20 |   998013 |   989327 |    19016    103 |     2833 |       12
1122.70/1123.02	c 1122s |      20 |   999527 |   990827 |    19016    104 |     2833 |       12
1124.70/1125.06	c 1124s |      20 |  1001529 |   992827 |    19016    104 |     2833 |       12
1126.79/1127.12	c 1126s |      20 |  1003737 |   995027 |    20918    104 |     2833 |       12
1128.79/1129.19	c 1128s |      20 |  1005751 |   997027 |    20918    104 |     2833 |       12
1130.89/1131.24	c 1131s |      20 |  1007857 |   999127 |    20918    104 |     2833 |       12
1132.19/1132.54	c 1132s |      21 |  1009080 |  1000345 |    20918    104 |     2833 |       12
1134.29/1134.64	c 1134s |      21 |  1010904 |  1002045 |    20918    104 |     2833 |       12
1136.39/1136.72	c 1136s |      21 |  1012601 |  1003745 |    20918    105 |     2833 |       12
1138.39/1138.77	c 1138s |      21 |  1014618 |  1005745 |    20918    105 |     2833 |       12
1140.49/1140.87	c 1140s |      21 |  1016335 |  1007445 |    20918    105 |     2833 |       12
1142.59/1142.92	c 1142s |      21 |  1018341 |  1009445 |    20918    105 |     2833 |       12
1144.59/1144.97	c 1144s |      21 |  1020043 |  1011145 |    20918    105 |     2833 |       12
1146.68/1147.05	c 1146s |      21 |  1021655 |  1012745 |    20918    105 |     2833 |       12
1148.78/1149.12	c 1148s |      21 |  1023353 |  1014445 |    20918    105 |     2833 |       12
1150.88/1151.21	c 1150s |      21 |  1025163 |  1016245 |    20918    106 |     2833 |       12
1152.88/1153.28	c 1153s |      21 |  1027265 |  1018345 |    20918    106 |     2833 |       12
1154.98/1155.32	c 1155s |      21 |  1029271 |  1020345 |    20918    106 |     2833 |       12
1157.07/1157.41	c 1157s |      21 |  1031377 |  1022445 |    20918    106 |     2833 |       12
1159.08/1159.44	c 1159s |      21 |  1033387 |  1024445 |    20918    106 |     2833 |       12
1161.07/1161.46	c 1161s |      21 |  1035198 |  1026245 |    20918    106 |     2833 |       12
1163.17/1163.54	c 1163s |      21 |  1036915 |  1027945 |    20918    107 |     2833 |       12
1165.17/1165.56	c 1165s |      21 |  1038915 |  1029945 |    20918    107 |     2833 |       12
1167.26/1167.60	c 1167s |      21 |  1040927 |  1031945 |    20918    107 |     2833 |       12
1169.26/1169.67	c 1169s |      21 |  1042928 |  1033945 |    20918    107 |     2833 |       12
1171.36/1171.76	c 1171s |      21 |  1044835 |  1035845 |    20918    107 |     2833 |       12
1173.47/1173.82	c 1173s |      21 |  1046542 |  1037545 |    20918    107 |     2833 |       12
1175.57/1175.92	c 1175s |      21 |  1048144 |  1039145 |    20918    108 |     2833 |       12
1179.76/1180.19	c 1179s |      21 |  1048947 |  1039945 |    20918    108 |     2833 |       12
1181.86/1182.26	c 1182s |      21 |  1050948 |  1041945 |    20918    108 |     2833 |       12
1183.96/1184.32	c 1184s |      21 |  1053266 |  1044245 |    20918    108 |     2833 |       12
1188.96/1189.36	c 1189s |      21 |  1053983 |  1044945 |    20918    108 |     2833 |       12
1194.27/1194.70	c 1194s |      21 |  1054079 |  1045045 |    20918    108 |     2833 |       12
1197.67/1198.02	c 1197s |      21 |  1054173 |  1045145 |    20918    108 |     2833 |       12
1199.66/1200.06	c 1199s |      21 |  1055074 |  1046045 |    20918    108 |     2833 |       12
1201.76/1202.14	c 1201s |      21 |  1056885 |  1047845 |    20918    108 |     2833 |       12
1203.76/1204.19	c 1203s |      21 |  1058591 |  1049545 |    20918    108 |     2833 |       12
1205.86/1206.24	c 1206s |      21 |  1060310 |  1051245 |    20918    109 |     2833 |       12
1207.96/1208.33	c 1208s |      21 |  1062508 |  1053445 |    20918    109 |     2833 |       12
1210.06/1210.41	c 1210s |      21 |  1064315 |  1055245 |    20918    109 |     2833 |       12
1212.06/1212.43	c 1212s |      21 |  1066232 |  1057145 |    20918    109 |     2833 |       12
1214.07/1214.46	c 1214s |      21 |  1067835 |  1058745 |    20918    109 |     2833 |       12
1216.16/1216.51	c 1216s |      21 |  1069655 |  1060545 |    20918    109 |     2833 |       12
1218.26/1218.60	c 1218s |      21 |  1071555 |  1062445 |    20918    109 |     2833 |       12
1220.26/1220.64	c 1220s |      21 |  1073257 |  1064145 |    20918    110 |     2833 |       12
1223.16/1223.53	c 1223s |      21 |  1074564 |  1065445 |    20918    110 |     2833 |       12
1225.16/1225.57	c 1225s |      21 |  1076368 |  1067245 |    20918    110 |     2833 |       12
1227.26/1227.61	c 1227s |      21 |  1078183 |  1069045 |    20918    110 |     2833 |       12
1229.35/1229.71	c 1229s |      21 |  1079787 |  1070645 |    20918    110 |     2833 |       12
1231.35/1231.77	c 1231s |      21 |  1081292 |  1072145 |    20918    110 |     2833 |       12
1233.45/1233.82	c 1233s |      21 |  1082897 |  1073745 |    20918    110 |     2833 |       12
1235.55/1235.90	c 1235s |      21 |  1084396 |  1075245 |    20918    111 |     2833 |       12
1237.55/1237.90	c 1237s |      21 |  1086306 |  1077145 |    20918    111 |     2833 |       12
1239.55/1239.90	c 1239s |      21 |  1088313 |  1079145 |    20918    111 |     2833 |       12
1241.65/1242.03	c 1241s |      21 |  1090327 |  1081145 |    20918    111 |     2833 |       12
1243.65/1244.06	c 1243s |      21 |  1092127 |  1082945 |    20918    111 |     2833 |       12
1245.75/1246.10	c 1245s |      21 |  1094129 |  1084945 |    20918    111 |     2833 |       12
1247.74/1248.15	c 1247s |      21 |  1095847 |  1086645 |    20918    111 |     2833 |       12
1249.84/1250.24	c 1250s |      21 |  1097649 |  1088445 |    20918    112 |     2833 |       12
1251.84/1252.29	c 1252s |      21 |  1099754 |  1090545 |    20918    112 |     2833 |       12
1253.94/1254.33	c 1254s |      21 |  1101964 |  1092745 |    20918    112 |     2833 |       12
1258.54/1258.92	c 1258s |      21 |  1103086 |  1093845 |    20918    112 |     2833 |       12
1260.54/1260.99	c 1260s |      21 |  1104785 |  1095545 |    20918    112 |     2833 |       12
1262.64/1263.01	c 1262s |      21 |  1106687 |  1097445 |    20918    112 |     2833 |       12
1264.74/1265.11	c 1264s |      21 |  1108393 |  1099145 |    20918    112 |     2833 |       12
1266.74/1267.19	c 1266s |      21 |  1110295 |  1101045 |    20918    113 |     2833 |       12
1268.84/1269.27	c 1269s |      21 |  1112398 |  1103145 |    20918    113 |     2833 |       12
1270.84/1271.27	c 1271s |      21 |  1113713 |  1104445 |    20918    113 |     2833 |       12
1272.84/1273.27	c 1273s |      21 |  1115815 |  1106545 |    20918    113 |     2833 |       12
1274.94/1275.36	c 1275s |      21 |  1118029 |  1108745 |    20918    113 |     2833 |       12
1277.04/1277.41	c 1277s |      21 |  1120141 |  1110845 |    20918    113 |     2833 |       12
1280.04/1280.43	c 1280s |      21 |  1121647 |  1112345 |    20918    114 |     2833 |       12
1282.04/1282.49	c 1282s |      21 |  1123753 |  1114445 |    20918    114 |     2833 |       12
1284.14/1284.58	c 1284s |      21 |  1125961 |  1116645 |    20918    114 |     2833 |       12
1286.23/1286.64	c 1286s |      21 |  1128170 |  1118845 |    20918    114 |     2833 |       12
1288.33/1288.77	c 1288s |      21 |  1130084 |  1120745 |    20918    114 |     2833 |       12
1290.43/1290.85	c 1290s |      21 |  1131997 |  1122645 |    20918    114 |     2833 |       12
1292.53/1292.91	c 1292s |      21 |  1133811 |  1124445 |    20918    115 |     2833 |       12
1294.53/1294.93	c 1294s |      21 |  1135723 |  1126345 |    20918    115 |     2833 |       12
1296.64/1297.04	c 1296s |      21 |  1137826 |  1128445 |    20918    115 |     2833 |       12
1298.63/1299.05	c 1298s |      21 |  1139740 |  1130345 |    20918    115 |     2833 |       12
1300.73/1301.19	c 1300s |      21 |  1141742 |  1132345 |    20918    115 |     2833 |       12
1302.83/1303.27	c 1303s |      21 |  1143757 |  1134345 |    20918    115 |     2833 |       12
1304.83/1305.29	c 1305s |      21 |  1145261 |  1135845 |    20918    116 |     2833 |       12
1307.02/1307.44	c 1307s |      21 |  1147173 |  1137745 |    20918    116 |     2833 |       12
1309.02/1309.49	c 1309s |      21 |  1149389 |  1139945 |    20918    116 |     2833 |       12
1311.12/1311.53	c 1311s |      21 |  1151602 |  1142145 |    20918    116 |     2833 |       12
1313.13/1313.54	c 1313s |      21 |  1153505 |  1144045 |    20918    116 |     2833 |       12
1315.12/1315.59	c 1315s |      21 |  1155222 |  1145745 |    20918    116 |     2833 |       12
1317.42/1317.87	c 1317s |      21 |  1157028 |  1147545 |    20918    117 |     2833 |       12
1319.52/1319.90	c 1319s |      21 |  1158936 |  1149445 |    20918    117 |     2833 |       12
1321.52/1321.92	c 1321s |      21 |  1161144 |  1151645 |    20918    117 |     2833 |       12
1323.52/1323.98	c 1323s |      21 |  1163354 |  1153845 |    20918    117 |     2833 |       12
1325.62/1326.02	c 1325s |      21 |  1165461 |  1155945 |    20918    117 |     2833 |       12
1328.62/1329.09	c 1328s |      21 |  1166383 |  1156845 |    20918    117 |     2833 |       12
1331.12/1331.58	c 1331s |      21 |  1166484 |  1156945 |    20918    117 |     2833 |       12
1333.31/1333.74	c 1333s |      21 |  1167279 |  1157745 |    20918    117 |     2833 |       12
1336.01/1336.47	c 1336s |      21 |  1169086 |  1159545 |    20918    118 |     2833 |       12
1338.11/1338.52	c 1338s |      21 |  1171598 |  1162045 |    20918    118 |     2833 |       12
1340.11/1340.59	c 1340s |      21 |  1173807 |  1164245 |    20918    118 |     2833 |       12
1342.22/1342.65	c 1342s |      21 |  1175510 |  1165945 |    20918    118 |     2833 |       12
1344.22/1344.69	c 1344s |      21 |  1177323 |  1167745 |    20918    118 |     2833 |       12
1346.32/1346.71	c 1346s |      21 |  1179219 |  1169645 |    20918    118 |     2833 |       12
1348.52/1348.95	c 1348s |      21 |  1181033 |  1171445 |    20918    119 |     2833 |       12
1350.52/1350.98	c 1350s |      21 |  1183443 |  1173845 |    20918    119 |     2833 |       12
1353.51/1353.90	c 1353s |      21 |  1185954 |  1176345 |    20918    119 |     2833 |       12
1355.51/1355.92	c 1355s |      21 |  1187755 |  1178145 |    20918    119 |     2833 |       12
1357.51/1357.97	c 1357s |      21 |  1189555 |  1179945 |    20918    119 |     2833 |       12
1359.61/1360.01	c 1359s |      21 |  1191362 |  1181745 |    20918    119 |     2833 |       12
1361.91/1362.37	c 1362s |      21 |  1193267 |  1183645 |    20918    120 |     2833 |       12
1364.01/1364.41	c 1364s |      21 |  1195582 |  1185945 |    20918    120 |     2833 |       12
1366.01/1366.42	c 1366s |      21 |  1197785 |  1188145 |    20918    120 |     2833 |       12
1368.01/1368.46	c 1368s |      21 |  1199992 |  1190345 |    20918    120 |     2833 |       12
1370.10/1370.50	c 1370s |      21 |  1202207 |  1192545 |    20918    120 |     2833 |       12
1372.10/1372.55	c 1372s |      21 |  1204111 |  1194445 |    20918    120 |     2833 |       12
1374.20/1374.61	c 1374s |      21 |  1206132 |  1196445 |    20918    121 |     2833 |       12
1376.20/1376.64	c 1376s |      21 |  1208639 |  1198945 |    20918    121 |     2833 |       12
1378.20/1378.65	c 1378s |      21 |  1210944 |  1201245 |    20918    121 |     2833 |       12
1380.40/1380.80	c 1380s |      21 |  1212059 |  1202345 |    20918    121 |     2833 |       12
1382.41/1382.85	c 1382s |      21 |  1213768 |  1204045 |    20918    121 |     2833 |       12
1384.40/1384.85	c 1384s |      21 |  1215671 |  1205945 |    20918    121 |     2833 |       12
1386.71/1387.11	c 1386s |      21 |  1217479 |  1207745 |    20918    122 |     2833 |       12
1388.70/1389.11	c 1388s |      21 |  1219586 |  1209845 |    20918    122 |     2833 |       12
1391.20/1391.63	c 1391s |      21 |  1221911 |  1212145 |    20918    122 |     2833 |       12
1400.00/1400.42	c 1400s |      21 |  1222006 |  1212245 |    20918    122 |     2833 |       12
1402.00/1402.47	c 1402s |      21 |  1223808 |  1214045 |    20918    122 |     2833 |       12
1404.09/1404.56	c 1404s |      21 |  1226026 |  1216245 |    20918    122 |     2833 |       12
1406.09/1406.57	c 1406s |      21 |  1227741 |  1217945 |    20918    122 |     2833 |       12
1408.19/1408.67	c 1408s |      21 |  1229450 |  1219645 |    20918    123 |     2833 |       12
1410.19/1410.69	c 1410s |      21 |  1231556 |  1221745 |    20918    123 |     2833 |       12
1412.29/1412.74	c 1412s |      21 |  1233666 |  1223845 |    20918    123 |     2833 |       12
1414.39/1414.82	c 1414s |      21 |  1235979 |  1226145 |    20918    123 |     2833 |       12
1416.39/1416.90	c 1416s |      21 |  1237983 |  1228145 |    20918    123 |     2833 |       12
1418.49/1418.93	c 1418s |      21 |  1239697 |  1229845 |    20918    123 |     2833 |       12
1420.80/1421.27	c 1421s |      21 |  1241603 |  1231745 |    20918    124 |     2833 |       12
1422.89/1423.38	c 1423s |      21 |  1243707 |  1233845 |    20918    124 |     2833 |       12
1424.99/1425.41	c 1425s |      21 |  1245922 |  1236045 |    20918    124 |     2833 |       12
1426.99/1427.43	c 1427s |      21 |  1247925 |  1238045 |    20918    124 |     2833 |       12
1428.99/1429.48	c 1429s |      21 |  1249934 |  1240045 |    20918    124 |     2833 |       12
1431.09/1431.51	c 1431s |      21 |  1251942 |  1242045 |    20918    124 |     2833 |       12
1433.09/1433.55	c 1433s |      21 |  1252351 |  1242445 |    20918    124 |     2833 |       12
1435.19/1435.63	c 1435s |      21 |  1253854 |  1243945 |    20918    125 |     2833 |       12
1437.19/1437.66	c 1437s |      21 |  1256168 |  1246245 |    20918    125 |     2833 |       12
1439.29/1439.76	c 1439s |      21 |  1257877 |  1247945 |    20918    125 |     2833 |       12
1441.29/1441.77	c 1441s |      21 |  1260082 |  1250145 |    20918    125 |     2833 |       12
1443.38/1443.82	c 1443s |      21 |  1262198 |  1252245 |    20918    125 |     2833 |       12
1445.48/1445.92	c 1445s |      21 |  1264198 |  1254245 |    20918    125 |     2833 |       12
1447.68/1448.13	c 1447s |      21 |  1265808 |  1255845 |    20918    126 |     2833 |       12
1449.68/1450.13	c 1449s |      21 |  1267925 |  1257945 |    20918    126 |     2833 |       12
1451.78/1452.23	c 1451s |      21 |  1270122 |  1260145 |    20918    126 |     2833 |       12
1453.89/1454.31	c 1454s |      21 |  1272436 |  1262445 |    20918    126 |     2833 |       12
1455.88/1456.36	c 1456s |      21 |  1274237 |  1264245 |    20918    126 |     2833 |       12
1457.98/1458.41	c 1458s |      21 |  1275752 |  1265745 |    20918    126 |     2833 |       12
1459.99/1460.46	c 1460s |      21 |  1277655 |  1267645 |    20918    126 |     2833 |       12
1462.09/1462.51	c 1462s |      21 |  1279364 |  1269345 |    20918    127 |     2833 |       12
1464.19/1464.63	c 1464s |      21 |  1281671 |  1271645 |    20918    127 |     2833 |       12
1466.19/1466.69	c 1466s |      21 |  1283890 |  1273845 |    20918    127 |     2833 |       12
1468.29/1468.72	c 1468s |      21 |  1285996 |  1275945 |    20918    127 |     2833 |       12
1470.29/1470.79	c 1470s |      21 |  1288202 |  1278145 |    20918    127 |     2833 |       12
1472.39/1472.83	c 1472s |      21 |  1289620 |  1279545 |    20918    127 |     2833 |       12
1474.38/1474.87	c 1474s |      21 |  1291229 |  1281145 |    20918    128 |     2833 |       12
1476.38/1476.90	c 1476s |      21 |  1293535 |  1283445 |    20918    128 |     2833 |       12
1478.48/1478.93	c 1478s |      21 |  1295842 |  1285745 |    20918    128 |     2833 |       12
1480.48/1480.99	c 1480s |      21 |  1298147 |  1288045 |    20918    128 |     2833 |       12
1482.58/1483.06	c 1482s |      21 |  1299762 |  1289645 |    20918    128 |     2833 |       12
1484.69/1485.12	c 1484s |      21 |  1301462 |  1291345 |    20918    128 |     2833 |       12
1486.68/1487.18	c 1486s |      21 |  1303272 |  1293145 |    20918    129 |     2833 |       12
1488.78/1489.25	c 1489s |      21 |  1305483 |  1295345 |    20918    129 |     2833 |       12
1490.78/1491.26	c 1491s |      21 |  1307796 |  1297645 |    20918    129 |     2833 |       12
1492.88/1493.33	c 1493s |      21 |  1309908 |  1299745 |    20918    129 |     2833 |       12
1494.98/1495.40	c 1495s |      21 |  1311911 |  1301745 |    20918    129 |     2833 |       12
1496.98/1497.43	c 1497s |      21 |  1313928 |  1303745 |    20918    129 |     2833 |       12
1498.99/1499.45	c 1499s |      21 |  1315635 |  1305445 |    20918    130 |     2833 |       12
1501.08/1501.51	c 1501s |      21 |  1317943 |  1307745 |    20918    130 |     2833 |       12
1503.08/1503.56	c 1503s |      21 |  1320247 |  1310045 |    20918    130 |     2833 |       12
1505.18/1505.60	c 1505s |      21 |  1322055 |  1311845 |    20918    130 |     2833 |       12
1507.18/1507.67	c 1507s |      21 |  1323961 |  1313745 |    20918    130 |     2833 |       12
1509.28/1509.79	c 1509s |      21 |  1325368 |  1315145 |    20918    130 |     2833 |       12
1511.98/1512.40	c 1512s |      21 |  1326562 |  1316345 |    20918    131 |     2833 |       12
1513.98/1514.45	c 1514s |      21 |  1328673 |  1318445 |    20918    131 |     2833 |       12
1517.47/1517.99	c 1517s |      21 |  1330597 |  1320345 |    20918    131 |     2833 |       12
1521.07/1521.57	c 1521s |      21 |  1331702 |  1321445 |    20918    131 |     2833 |       12
1524.29/1524.76	c 1524s |      21 |  1332202 |  1321945 |    20918    131 |     2833 |       12
1528.68/1529.11	c 1528s |      21 |  1333207 |  1322945 |    20918    131 |     2833 |       12
1531.67/1532.12	c 1531s |      21 |  1334303 |  1324045 |    20918    131 |     2833 |       12
1533.77/1534.21	c 1533s |      21 |  1336010 |  1325745 |    20918    131 |     2833 |       12
1535.77/1536.29	c 1536s |      21 |  1337823 |  1327545 |    20918    131 |     2833 |       12
1537.97/1538.42	c 1538s |      21 |  1338627 |  1328345 |    20918    132 |     2833 |       12
1539.97/1540.48	c 1540s |      21 |  1340827 |  1330545 |    20918    132 |     2833 |       12
1541.97/1542.50	c 1542s |      21 |  1342732 |  1332445 |    20918    132 |     2833 |       12
1544.07/1544.57	c 1544s |      21 |  1344639 |  1334345 |    20918    132 |     2833 |       12
1546.18/1546.63	c 1546s |      21 |  1346343 |  1336045 |    20918    132 |     2833 |       12
1548.18/1548.65	c 1548s |      21 |  1347657 |  1337345 |    20918    132 |     2833 |       12
1550.28/1550.74	c 1550s |      21 |  1349061 |  1338745 |    20918    132 |     2833 |       12
1552.38/1552.81	c 1552s |      21 |  1350270 |  1339945 |    20918    132 |     2833 |       12
1554.47/1554.91	c 1554s |      21 |  1351585 |  1341245 |    20918    133 |     2833 |       12
1556.47/1556.91	c 1556s |      21 |  1353487 |  1343145 |    20918    133 |     2833 |       12
1561.07/1561.55	c 1561s |      21 |  1354898 |  1344545 |    20918    133 |     2833 |       12
1563.17/1563.64	c 1563s |      21 |  1356494 |  1346145 |    20918    133 |     2833 |       12
1565.27/1565.77	c 1565s |      21 |  1358196 |  1347845 |    20918    133 |     2833 |       12
1567.37/1567.81	c 1567s |      21 |  1359904 |  1349545 |    20918    133 |     2833 |       12
1569.38/1569.89	c 1569s |      21 |  1361611 |  1351245 |    20918    133 |     2833 |       12
1571.47/1571.95	c 1571s |      21 |  1362919 |  1352545 |    20918    134 |     2833 |       12
1584.06/1584.59	c 1584s |      21 |  1363829 |  1353445 |    20918    134 |     2833 |       12
1586.16/1586.63	c 1586s |      21 |  1364426 |  1354045 |    20918    134 |     2833 |       12
1588.26/1588.71	c 1588s |      21 |  1366544 |  1356145 |    20918    134 |     2833 |       12
1590.36/1590.80	c 1590s |      21 |  1368446 |  1358045 |    20918    134 |     2833 |       12
1592.37/1592.88	c 1592s |      21 |  1370154 |  1359745 |    20918    134 |     2833 |       12
1594.46/1594.95	c 1594s |      21 |  1371966 |  1361545 |    20918    134 |     2833 |       12
1596.56/1597.03	c 1596s |      21 |  1373675 |  1363245 |    20918    134 |     2833 |       12
1598.66/1599.11	c 1598s |      21 |  1374979 |  1364545 |    20918    135 |     2833 |       12
1600.66/1601.14	c 1600s |      21 |  1377195 |  1366745 |    20918    135 |     2833 |       12
1602.76/1603.20	c 1602s |      21 |  1379300 |  1368845 |    20918    135 |     2833 |       12
1604.76/1605.21	c 1604s |      21 |  1380911 |  1370445 |    20918    135 |     2833 |       12
1606.77/1607.26	c 1607s |      21 |  1382608 |  1372145 |    20918    135 |     2833 |       12
1608.76/1609.27	c 1609s |      21 |  1384017 |  1373545 |    20918    135 |     2833 |       12
1610.86/1611.30	c 1611s |      21 |  1385720 |  1375245 |    20918    135 |     2833 |       12
1612.86/1613.30	c 1613s |      21 |  1386925 |  1376445 |    20918    136 |     2833 |       12
1614.86/1615.31	c 1615s |      21 |  1388831 |  1378345 |    20918    136 |     2833 |       12
1616.86/1617.38	c 1617s |      21 |  1391036 |  1380545 |    20918    136 |     2833 |       12
1625.76/1626.23	c 1625s |      21 |  1392851 |  1382345 |    20918    136 |     2833 |       12
1627.76/1628.26	c 1628s |      21 |  1394354 |  1383845 |    20918    136 |     2833 |       12
1629.77/1630.28	c 1630s |      21 |  1396058 |  1385545 |    20918    136 |     2833 |       12
1631.97/1632.43	c 1632s |      21 |  1397769 |  1387245 |    20918    136 |     2833 |       12
1634.17/1634.63	c 1634s |      21 |  1399168 |  1388645 |    20918    137 |     2833 |       12
1636.37/1636.88	c 1636s |      21 |  1400879 |  1390345 |    20918    137 |     2833 |       12
1638.46/1638.95	c 1638s |      21 |  1402783 |  1392245 |    20918    137 |     2833 |       12
1640.56/1641.03	c 1640s |      21 |  1404796 |  1394245 |    20918    137 |     2833 |       12
1642.56/1643.08	c 1642s |      21 |  1406703 |  1396145 |    20918    137 |     2833 |       12
1644.66/1645.15	c 1644s |      21 |  1408710 |  1398145 |    20918    137 |     2833 |       12
1646.76/1647.20	c 1646s |      21 |  1410520 |  1399945 |    20918    137 |     2833 |       12
1648.76/1649.27	c 1649s |      21 |  1412329 |  1401745 |    20918    138 |     2833 |       12
1650.86/1651.33	c 1651s |      21 |  1414737 |  1404145 |    20918    138 |     2833 |       12
1652.96/1653.41	c 1653s |      21 |  1416841 |  1406245 |    20918    138 |     2833 |       12
1654.95/1655.41	c 1655s |      21 |  1418749 |  1408145 |    20918    138 |     2833 |       12
1656.95/1657.48	c 1657s |      21 |  1420664 |  1410045 |    20918    138 |     2833 |       12
1658.95/1659.49	c 1659s |      21 |  1422371 |  1411745 |    20918    138 |     2833 |       12
1661.05/1661.51	c 1661s |      21 |  1424073 |  1413445 |    20918    139 |     2833 |       12
1663.05/1663.54	c 1663s |      21 |  1426386 |  1415745 |    20918    139 |     2833 |       12
1665.06/1665.58	c 1665s |      21 |  1427790 |  1417145 |    20918    139 |     2833 |       12
1667.16/1667.65	c 1667s |      21 |  1429697 |  1419045 |    20918    139 |     2833 |       12
1669.15/1669.68	c 1669s |      21 |  1431706 |  1421045 |    20918    139 |     2833 |       12
1671.15/1671.69	c 1671s |      21 |  1433214 |  1422545 |    20918    139 |     2833 |       12
1673.25/1673.72	c 1673s |      21 |  1434826 |  1424145 |    20918    139 |     2833 |       12
1675.35/1675.80	c 1675s |      21 |  1436223 |  1425545 |    20918    140 |     2833 |       12
1677.35/1677.82	c 1677s |      21 |  1438332 |  1427645 |    20918    140 |     2833 |       12
1684.65/1685.14	c 1684s |      21 |  1438750 |  1428045 |    20918    140 |     2833 |       12
1688.06/1688.60	c 1688s |      21 |  1438846 |  1428145 |    20918    140 |     2833 |       12
1696.35/1696.84	c 1696s |      21 |  1439344 |  1428645 |    20918    140 |     2833 |       12
1698.44/1698.90	c 1698s |      21 |  1441552 |  1430845 |    20918    140 |     2833 |       12
1700.54/1701.03	c 1700s |      21 |  1443666 |  1432945 |    20918    140 |     2833 |       12
1702.54/1703.09	c 1702s |      21 |  1445272 |  1434545 |    20918    140 |     2833 |       12
1704.65/1705.15	c 1704s |      21 |  1446889 |  1436145 |    20918    140 |     2833 |       12
1706.75/1707.22	c 1706s |      21 |  1448689 |  1437945 |    20918    141 |     2833 |       12
1708.74/1709.28	c 1709s |      21 |  1450697 |  1439945 |    20918    141 |     2833 |       12
1710.84/1711.34	c 1711s |      21 |  1452904 |  1442145 |    20918    141 |     2833 |       12
1712.84/1713.36	c 1713s |      21 |  1454808 |  1444045 |    20918    141 |     2833 |       12
1714.94/1715.43	c 1715s |      21 |  1456922 |  1446145 |    20918    141 |     2833 |       12
1716.94/1717.48	c 1717s |      21 |  1458930 |  1448145 |    20918    141 |     2833 |       12
1719.04/1719.56	c 1719s |      21 |  1460338 |  1449545 |    20918    142 |     2833 |       12
1721.15/1721.68	c 1721s |      21 |  1462652 |  1451845 |    20918    142 |     2833 |       12
1723.25/1723.77	c 1723s |      21 |  1464854 |  1454045 |    20918    142 |     2833 |       12
1725.35/1725.81	c 1725s |      21 |  1466864 |  1456045 |    20918    142 |     2833 |       12
1727.35/1727.89	c 1727s |      21 |  1468969 |  1458145 |    20918    142 |     2833 |       12
1729.45/1729.98	c 1729s |      21 |  1470877 |  1460045 |    20918    142 |     2833 |       12
1731.55/1732.02	c 1731s |      21 |  1472495 |  1461645 |    20918    143 |     2833 |       12
1733.55/1734.05	c 1733s |      21 |  1474801 |  1463945 |    20918    143 |     2833 |       12
1736.84/1737.39	c 1737s |      21 |  1475710 |  1464845 |    20918    143 |     2833 |       12
1739.04/1739.52	c 1739s |      21 |  1477614 |  1466745 |    20918    143 |     2833 |       12
1741.04/1741.54	c 1741s |      21 |  1479319 |  1468445 |    20918    143 |     2833 |       12
1743.15/1743.64	c 1743s |      21 |  1480924 |  1470045 |    20918    143 |     2833 |       12
1745.14/1745.64	c 1745s |      21 |  1482431 |  1471545 |    20918    143 |     2833 |       12
1747.24/1747.79	c 1747s |      21 |  1483742 |  1472845 |    20918    144 |     2833 |       12
1749.34/1749.85	c 1749s |      21 |  1485844 |  1474945 |    20918    144 |     2833 |       12
1751.34/1751.86	c 1751s |      21 |  1487652 |  1476745 |    20918    144 |     2833 |       12
1753.44/1753.93	c 1753s |      21 |  1489656 |  1478745 |    20918    144 |     2833 |       12
1755.54/1756.05	c 1755s |      21 |  1491461 |  1480545 |    20918    144 |     2833 |       12
1757.54/1758.08	c 1757s |      21 |  1492866 |  1481945 |    20918    144 |     2833 |       12
1759.55/1760.09	c 1759s |      21 |  1494268 |  1483345 |    20918    144 |     2833 |       12
1762.04/1762.53	c 1762s |      21 |  1495977 |  1485045 |    20918    145 |     2833 |       12
1764.04/1764.59	c 1764s |      21 |  1497980 |  1487045 |    20918    145 |     2833 |       12
1766.14/1766.66	c 1766s |      21 |  1499790 |  1488845 |    20918    145 |     2833 |       12
1768.14/1768.69	c 1768s |      21 |  1501600 |  1490645 |    23010    145 |     2833 |       12
1770.24/1770.75	c 1770s |      21 |  1503407 |  1492445 |    23010    145 |     2833 |       12
1772.34/1772.81	c 1772s |      21 |  1505223 |  1494245 |    23010    145 |     2833 |       12
1774.34/1774.85	c 1774s |      21 |  1506926 |  1495945 |    23010    145 |     2833 |       12
1776.44/1776.97	c 1776s |      21 |  1508629 |  1497645 |    23010    145 |     2833 |       12
1778.84/1779.34	c 1779s |      21 |  1510132 |  1499145 |    23010    146 |     2833 |       12
1780.34/1780.85	c 1780s |      22 |  1511622 |  1500622 |    23010    146 |     2833 |       12
1788.43/1788.94	c 1788s |      22 |  1512637 |  1501522 |    23010    146 |     2833 |       12
1790.53/1791.03	c 1790s |      22 |  1514943 |  1503822 |    23010    146 |     2833 |       12
1792.54/1793.09	c 1792s |      22 |  1517257 |  1506122 |    23010    146 |     2833 |       12
1794.63/1795.17	c 1794s |      22 |  1519577 |  1508422 |    23010    146 |     2833 |       12
1796.83/1797.31	c 1797s |      22 |  1521388 |  1510222 |    23010    146 |     2833 |       12
1798.83/1799.32	c 1799s |      22 |  1522978 |  1511822 |    23010    146 |     2833 |       12

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

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.23 2.19 3/179 5886
/proc/meminfo: memFree=28505344/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 2693 0 0 0 0 0 0 0 20 0 4 0 25722384 739700736 3054 33554432000 4194304 16246674 140736583249600 140736583249024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 181103 3064 441 2943 0 177997 0
[pid=5886/tid=5887] ppid=5883 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 757526528 3124 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 761720832 3140 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25722384 765915136 3156 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.23 2.23 2.19 3/179 5886
/proc/meminfo: memFree=28505344/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 27804 0 0 0 5 4 0 0 20 0 4 0 25722384 1333334016 28102 33554432000 4194304 16246674 140736583249600 140736583248912 7367789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 325521 28117 801 2943 0 322415 0
[pid=5886/tid=5887] ppid=5883 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1333334016 28129 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1333334016 28139 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1333334016 28150 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200514 s]
/proc/loadavg: 2.23 2.23 2.19 3/179 5886
/proc/meminfo: memFree=28505344/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1303108 CPUtime=0.19 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 46288 0 0 0 12 7 0 0 20 0 4 0 25722384 1334382592 46586 33554432000 4194304 16246674 140736583249600 140736583248912 7202813 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 325777 46597 844 2943 0 322671 0
[pid=5886/tid=5887] ppid=5883 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1334382592 46603 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1334382592 46610 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1334382592 46617 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1303108

[startup+0.300496 s]
/proc/loadavg: 2.23 2.23 2.19 3/179 5886
/proc/meminfo: memFree=28505344/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1303108 CPUtime=0.29 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 63303 0 0 0 20 9 0 0 20 0 4 0 25722384 1334382592 63602 33554432000 4194304 16246674 140736583249600 140736583248912 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 325777 63615 892 2943 0 322671 0
[pid=5886/tid=5887] ppid=5883 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1334382592 63622 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1334382592 63626 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1334382592 63630 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700399 s]
/proc/loadavg: 2.23 2.23 2.19 3/179 5886
/proc/meminfo: memFree=28505344/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 102936 0 0 0 54 15 0 0 20 0 4 0 25722384 1344868352 103234 33554432000 4194304 16246674 140736583249600 140736583248912 6010360 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 328337 103234 899 2943 0 325231 0
[pid=5886/tid=5887] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 103234 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 103234 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 103234 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50036 s]
/proc/loadavg: 2.23 2.23 2.19 3/183 5890
/proc/meminfo: memFree=27893028/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 232066 0 0 0 117 32 0 0 20 0 4 0 25722384 1344868352 232364 33554432000 4194304 16246674 140736583249600 140736583231488 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 328337 232377 899 2943 0 325231 0
[pid=5886/tid=5887] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 232388 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 232399 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 232408 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.23 2.23 2.19 3/183 5890
/proc/meminfo: memFree=27424920/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 269536 0 0 0 273 36 0 0 20 0 4 0 25722384 1344868352 269834 33554432000 4194304 16246674 140736583249600 140736583231488 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 328337 269834 899 2943 0 325231 0
[pid=5886/tid=5887] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 269834 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 269834 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 269834 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30043 s]
/proc/loadavg: 2.21 2.23 2.18 3/183 5890
/proc/meminfo: memFree=27423104/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 269536 0 0 0 593 36 0 0 20 0 4 0 25722384 1344868352 269834 33554432000 4194304 16246674 140736583249600 140736583231488 5662038 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 328337 269834 899 2943 0 325231 0
[pid=5886/tid=5887] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 269834 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 269834 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 269834 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.20 2.23 2.18 3/183 5890
/proc/meminfo: memFree=27401928/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 269541 0 0 0 1233 36 0 0 20 0 4 0 25722384 1344868352 269839 33554432000 4194304 16246674 140736583249600 140736583231488 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 328337 269839 904 2943 0 325231 0
[pid=5886/tid=5887] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 269839 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 269839 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1344868352 269839 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 5890
/proc/meminfo: memFree=27388892/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1325636 CPUtime=25.48 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 272613 0 0 0 2512 36 0 0 20 0 4 0 25722384 1357451264 272911 33554432000 4194304 16246674 140736583249600 140736583231488 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 331409 272911 904 2943 0 328303 0
[pid=5886/tid=5887] ppid=5883 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1357451264 272911 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1357451264 272911 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1357451264 272911 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1325636

[startup+51.1005 s]
/proc/loadavg: 2.29 2.24 2.19 3/184 5893
/proc/meminfo: memFree=27331044/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1329732 CPUtime=51.08 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 273637 0 0 0 5071 37 0 0 20 0 4 0 25722384 1361645568 273935 33554432000 4194304 16246674 140736583249600 140736583232600 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 332433 273935 904 2943 0 329327 0
[pid=5886/tid=5887] ppid=5883 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1361645568 273935 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1361645568 273935 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1361645568 273935 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1329732

[startup+102.301 s]
/proc/loadavg: 2.19 2.22 2.18 3/184 5894
/proc/meminfo: memFree=27255052/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1344068 CPUtime=102.28 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 277222 0 0 0 10190 38 0 0 20 0 4 0 25722384 1376325632 277520 33554432000 4194304 16246674 140736583249600 140736583231488 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 336017 277520 905 2943 0 332911 0
[pid=5886/tid=5887] ppid=5883 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1376325632 277520 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1376325632 277520 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1376325632 277520 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1344068


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

/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1402436

[startup+1362.3 s]
/proc/loadavg: 2.52 2.32 2.22 3/183 6046
/proc/meminfo: memFree=27682792/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1402436 CPUtime=1361.91 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 292146 0 0 0 136119 72 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140736583231488 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 350609 292116 906 2943 0 347503 0
[pid=5886/tid=5887] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1402436

[startup+1422.3 s]
/proc/loadavg: 2.50 2.35 2.23 3/183 6047
/proc/meminfo: memFree=27682824/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1402436 CPUtime=1421.9 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 292168 0 0 0 142116 74 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140736583231488 5710688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 350609 292116 906 2943 0 347503 0
[pid=5886/tid=5887] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1402436

[startup+1482.3 s]
/proc/loadavg: 2.40 2.36 2.24 4/183 6048
/proc/meminfo: memFree=27682036/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1402436 CPUtime=1481.88 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 292168 0 0 0 148113 75 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140736583248776 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 350609 292116 906 2943 0 347503 0
[pid=5886/tid=5887] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1402436

[startup+1542.31 s]
/proc/loadavg: 2.44 2.38 2.26 3/183 6050
/proc/meminfo: memFree=27682304/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1402436 CPUtime=1541.87 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 292168 0 0 0 154111 76 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140736583231488 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 350609 292116 906 2943 0 347503 0
[pid=5886/tid=5887] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1402436

[startup+1602.3 s]
/proc/loadavg: 2.33 2.35 2.26 3/183 6050
/proc/meminfo: memFree=27681584/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1402436 CPUtime=1601.86 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 292168 0 0 0 160108 78 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140736583231488 5672160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 350609 292116 906 2943 0 347503 0
[pid=5886/tid=5887] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1402436

[startup+1662.3 s]
/proc/loadavg: 2.27 2.33 2.25 3/184 6052
/proc/meminfo: memFree=27682100/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1402436 CPUtime=1661.85 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 292168 0 0 0 166105 80 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140736583231488 5677492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 350609 292116 906 2943 0 347503 0
[pid=5886/tid=5887] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1402436

[startup+1722.3 s]
/proc/loadavg: 2.41 2.36 2.27 3/183 6052
/proc/meminfo: memFree=27682372/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1402436 CPUtime=1721.84 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 292168 0 0 0 172102 82 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140736583231488 5823246 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 350609 292116 906 2943 0 347503 0
[pid=5886/tid=5887] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1402436

[startup+1782.3 s]
/proc/loadavg: 2.34 2.34 2.27 3/183 6054
/proc/meminfo: memFree=27682024/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1402436 CPUtime=1781.83 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 292168 0 0 0 178100 83 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140736583248696 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 350609 292116 906 2943 0 347503 0
[pid=5886/tid=5887] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1402436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.46 2.36 2.28 4/183 6055
/proc/meminfo: memFree=27681812/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1402436 CPUtime=1800.03 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 292168 0 0 0 179919 84 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140736583231488 5600432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 350609 292116 906 2943 0 347503 0
[pid=5886/tid=5887] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1402436

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

[startup+1800.5 s]
/proc/loadavg: 2.46 2.36 2.28 4/183 6055
/proc/meminfo: memFree=27681812/32872528 swapFree=17888/1798212
[pid=5886] ppid=5883 vsize=1402436 CPUtime=1800.03 cores=1,3,5,7
/proc/5886/stat : 5886 (toysat) R 5883 5886 579 0 -1 4202496 292168 0 0 0 179919 84 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140736583231488 5600432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5886/statm: 350609 292116 906 2943 0 347503 0
[pid=5886/tid=5887] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5887/stat : 5887 (toysat) S 5883 5886 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706528079088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5886/tid=5888] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5888/stat : 5888 (toysat) S 5883 5886 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706517589232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5886/tid=5889] ppid=5883 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/5886/task/5889/stat : 5889 (toysat) S 5883 5886 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25722384 1436094464 292116 33554432000 4194304 16246674 140736583249600 140706507115696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1402436

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.2
CPU system time (s): 0.845871
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1402436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.2
system time used= 0.845871
maximum resident set size= 1168464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292168
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= 368
involuntary context switches= 1962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.10522 second user time and 7.37788 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 09:59:13
IDJOB=4103421
IDBENCH=2354
IDSOLVER=2542
FILE ID=node123/4103421-1466236752
RUNJOBID= node123-1466206081-596
PBS_JOBID= 19918154
Free space on /tmp= 71616 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103421-1466236752/watcher-4103421-1466236752 -o /tmp/evaluation-result-4103421-1466236752/solver-4103421-1466236752 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103421-1466236752.opb

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

MD5SUM BENCH= c716bc6c519760d619aa6878c926054c
RANDOM SEED=2024893012

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.791
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:        28505608 kB
Buffers:          114500 kB
Cached:           165804 kB
SwapCached:         1640 kB
Active:          1644064 kB
Inactive:         181552 kB
Active(anon):    1543600 kB
Inactive(anon):     3584 kB
Active(file):     100464 kB
Inactive(file):   177968 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             16664 kB
Writeback:             0 kB
AnonPages:       3342116 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             603932 kB
SReclaimable:      47564 kB
SUnreclaim:       556368 kB
KernelStack:        1480 kB
PageTables:        10928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3487296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2170880 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= 71604 MiB
End job on node123 at 2016-06-18 10:29:13