Trace number 4101513

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb
MD5SUMe2f15e37dec17456fb4044387114eb48
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-73511
Best CPU time to get the best result obtained on this benchmark1800.71
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -98107
Optimality of the best value was proved YES
Number of variables6000
Total number of constraints2171
Number of constraints which are clauses222
Number of constraints which are cardinality constraints (but not clauses)1914
Number of constraints which are nor clauses,nor cardinality constraints35
Minimum length of a constraint2
Maximum length of a constraint5998
Number of terms in the objective function 5995
Biggest coefficient in the objective function 3684
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527319
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 25616
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 527319
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T06:30:12+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-4101513-1466224212.opb"]
0.00/0.01	c use --random-gen="641381526 929694071 3892824949 1678993162 3506358119 1164136882 2949055499 837459453 494347441 1703732399 2962297786 493266399 761191097 1553265828 2106859117 1614299973 1787486320 397444609 2331730140 3832589545 1200270347 1068404375 1134276591 2529723745 297819428 1526526404 2509658612 1335092405 3307688968 1749150000 3752591568 3033201462 2524911637 4121967888 120649898 362849525 2367264997 3975115760 2609607441 1714136595 36187329 1914222780 4113073118 467516428 305379361 801408547 2772433167 1939577687 2281498056 3346684125 25283958 1993205002 1554001122 3324840049 2987813983 1857008240 781167751 3425575116 4081608766 1772255376 2923927579 3252820368 4074707078 899283061 564178508 1495320088 1110830862 2365373826 3310313867 294300230 1423381354 1570555788 1663378810 1845193082 1236480863 981617293 3651964260 3609951305 3960517090 3681853793 969132008 939174866 2766754618 2838490886 4284245935 230764518 3479371314 1420663755 2521432848 3309894263 120748743 632168033 1821644107 1917695305 1108360655 3513635316 3433603778 3204967223 847568687 917750404 1812569177 2377171031 2722103121 499004049 3432582616 1522371281 1363342055 946722492 2588387298 4077144290 919857871 3728942679 3590743720 2346844898 1531875432 2690470585 1729101458 603064436 871334338 2530032624 954078658 4135909779 734712274 3043075579 3544276637 2392217208 1577652004 3691546715 1784097370 2440243872 1510172954 6768324 2191408738 1198872517 2873354166 360388354 3076203538 9515042 83867070 721014663 213757953 2933358337 742706058 4091122660 1941343415 1827948890 2388043987 486490654 4083231994 4132803567 561616404 4115917482 3912880224 1771440936 2789578378 4040836870 2413891539 508682816 949261310 3210240722 7455688 4070607989 3574379021 2233013556 626176534 2845853275 1200621295 1007656134 2183140728 1918999612 513417331 4135768059 180096788 3453970272 1655234905 3115274582 991801383 2133616001 488362315 3815965801 405025410 1700859928 1788289374 1259802881 2458384205 3070149948 1039394552 357707971 830221946 3795767827 3892213130 578429939 2262509749 1978143251 2652827806 3511043143 3544998803 1103816642 768697889 3986919636 57079729 709989485 118820245 2696601900 1107649404 2017023866 1823911802 3267377145 1997470526 84382651 2072169711 69006191 3591792865 2987922581 1801319733 209736054 2660912035 2965814479 2914432596 776485128 4134666312 407517020 2826334196 1222294336 2359360878 4184102077 3818285097 1155353661 734148571 1520652741 592767527 3637955022 1425620666 138356108 546572202 2778233339 3625836833 1008319762 4156417090 257360256 3168480193 3620134232 1412842658 3871223506 3400180224 3605685910 2394205022 1528699430 1466351549 1248329223 3482092828 3626714956 181430997 1513983373 2325891604 1058912644 255 362436" option to reproduce the execution
0.00/0.06	c #vars 6000
0.00/0.06	c #constraints 2171
0.09/0.17	c BCD2: Hardening is enabled.
0.09/0.17	c BCD2: BiasedSearch is enabled.
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.17	c  0.0s |       0 |        0 |        0 |     2764      0 |        0 |        0
0.38/0.42	c  0.2s |       1 |     4180 |      100 |     2764      0 |       22 |       68
0.69/0.70	c  0.5s |       2 |     4519 |      250 |     3041      0 |       22 |       68
1.20/1.24	c  1.1s |       3 |     4909 |      475 |     3346      0 |       22 |       68
1.89/1.92	c  1.8s |       4 |     5410 |      813 |     3681      0 |       22 |       68
2.48/2.59	c  2.4s |       5 |     6066 |     1320 |     4050      0 |       22 |       68
3.59/3.64	c  3.5s |       6 |     6959 |     2081 |     4901      0 |       22 |       68
5.09/5.17	c  5.0s |       7 |     8230 |     3223 |     5392      0 |       22 |       68
7.18/7.25	c  7.1s |       7 |     9967 |     4823 |     5392      0 |       22 |       68
7.28/7.38	c  7.2s |       8 |    10075 |     4936 |     5932      0 |       22 |       68
9.38/9.44	c  9.3s |       8 |    11593 |     6336 |     5932      1 |       22 |       68
10.78/10.88	c 10.7s |       9 |    12763 |     7506 |     6526      1 |       22 |       68
12.88/12.98	c 12.8s |       9 |    14373 |     9006 |     6526      1 |       22 |       68
14.98/15.01	c 14.8s |       9 |    15983 |    10606 |     6526      2 |       22 |       68
15.98/16.08	c 15.9s |      10 |    16745 |    11361 |     7179      2 |       22 |       68
18.08/18.11	c 17.9s |      10 |    18144 |    12661 |     7179      2 |       22 |       68
20.18/20.20	c 20.0s |      10 |    19659 |    14161 |     7179      3 |       22 |       68
22.18/22.27	c 22.1s |      10 |    21269 |    15761 |     7179      3 |       22 |       68
24.38/24.43	c 24.3s |      11 |    22671 |    17144 |     7897      3 |       22 |       68
26.39/26.43	c 26.3s |      11 |    24285 |    18644 |     7897      4 |       22 |       68
28.38/28.46	c 28.3s |      11 |    25895 |    20244 |     7897      4 |       22 |       68
30.58/30.64	c 30.5s |      11 |    27205 |    21544 |     7897      4 |       22 |       68
32.68/32.78	c 32.6s |      11 |    28413 |    22744 |     7897      5 |       22 |       68
34.88/34.95	c 34.8s |      11 |    29825 |    24144 |     7897      5 |       22 |       68
36.98/37.01	c 36.8s |      11 |    31146 |    25444 |     7897      5 |       22 |       68
37.58/37.60	c 37.4s |      12 |    31530 |    25819 |     8687      5 |       22 |       68
39.69/39.75	c 39.6s |      12 |    32932 |    27119 |     8687      5 |       22 |       68
41.78/41.88	c 41.7s |      12 |    34341 |    28519 |     8687      6 |       22 |       68
43.88/43.96	c 43.8s |      12 |    35553 |    29719 |     8687      6 |       22 |       68
45.88/46.00	c 45.8s |      12 |    36957 |    31119 |     8687      6 |       22 |       68
48.08/48.12	c 48.0s |      12 |    38276 |    32419 |     8687      7 |       22 |       68
50.08/50.15	c 50.0s |      12 |    39488 |    33619 |     8687      7 |       22 |       68
52.18/52.26	c 52.1s |      12 |    40795 |    34919 |     8687      7 |       22 |       68
54.18/54.30	c 54.1s |      12 |    42209 |    36319 |     8687      7 |       22 |       68
56.28/56.32	c 56.1s |      12 |    43423 |    37519 |     8687      8 |       22 |       68
58.28/58.40	c 58.2s |      12 |    44635 |    38719 |     9556      8 |       22 |       68
58.48/58.58	c 58.4s |      13 |    44751 |    38832 |     9556      8 |       22 |       68
60.58/60.68	c 60.5s |      13 |    45939 |    39932 |     9556      8 |       22 |       68
62.68/62.80	c 62.6s |      13 |    47167 |    41132 |     9556      8 |       22 |       68
64.88/64.95	c 64.8s |      13 |    48479 |    42432 |     9556      9 |       22 |       68
66.97/67.00	c 66.8s |      13 |    49494 |    43432 |     9556      9 |       22 |       68
68.97/69.05	c 68.9s |      13 |    50704 |    44632 |     9556      9 |       22 |       68
71.17/71.23	c 71.1s |      13 |    51917 |    45832 |     9556      9 |       22 |       68
73.17/73.24	c 73.1s |      13 |    53124 |    47032 |     9556     10 |       22 |       68
75.27/75.34	c 75.2s |      13 |    54329 |    48232 |     9556     10 |       22 |       68
77.27/77.35	c 77.2s |      13 |    55538 |    49432 |     9556     10 |       22 |       68
79.37/79.48	c 79.3s |      13 |    56647 |    50532 |     9556     10 |       22 |       68
81.48/81.56	c 81.4s |      13 |    57853 |    51732 |     9556     11 |       22 |       68
83.58/83.69	c 83.5s |      13 |    58969 |    52832 |     9556     11 |       22 |       68
85.67/85.72	c 85.6s |      13 |    60174 |    54032 |     9556     11 |       22 |       68
87.67/87.73	c 87.6s |      13 |    61387 |    55232 |     9556     11 |       22 |       68
89.77/89.81	c 89.6s |      13 |    62590 |    56432 |     9556     12 |       22 |       68
91.97/92.00	c 91.8s |      13 |    63709 |    57532 |     9556     12 |       22 |       68
93.48/93.59	c 93.4s |      14 |    64535 |    58352 |    10512     12 |       22 |       68
95.68/95.71	c 95.5s |      14 |    65626 |    59352 |    10512     12 |       22 |       68
97.67/97.73	c 97.6s |      14 |    66627 |    60352 |    10512     12 |       22 |       68
99.87/99.92	c 99.7s |      14 |    67640 |    61352 |    10512     12 |       22 |       68
101.87/101.92	c  101s |      14 |    68544 |    62252 |    10512     12 |       22 |       68
104.07/104.10	c  103s |      14 |    69655 |    63352 |    10512     13 |       22 |       68
106.17/106.22	c  106s |      14 |    70759 |    64452 |    10512     13 |       22 |       68
108.37/108.42	c  108s |      14 |    71867 |    65552 |    10512     13 |       22 |       68
110.47/110.57	c  110s |      14 |    72891 |    66552 |    10512     13 |       22 |       68
112.57/112.64	c  112s |      14 |    73897 |    67552 |    10512     13 |       22 |       68
114.67/114.71	c  114s |      14 |    74913 |    68552 |    10512     14 |       22 |       68
116.77/116.85	c  116s |      14 |    76013 |    69652 |    10512     14 |       22 |       68
118.87/118.97	c  118s |      14 |    77022 |    70652 |    10512     14 |       22 |       68
120.97/121.06	c  120s |      14 |    77926 |    71552 |    10512     14 |       22 |       68
123.06/123.12	c  122s |      14 |    78929 |    72552 |    10512     14 |       22 |       68
125.06/125.15	c  124s |      14 |    79835 |    73452 |    10512     15 |       22 |       68
127.16/127.20	c  127s |      14 |    81043 |    74652 |    10512     15 |       22 |       68
129.16/129.20	c  129s |      14 |    82050 |    75652 |    10512     15 |       22 |       68
131.16/131.28	c  131s |      14 |    82855 |    76452 |    10512     15 |       22 |       68
133.26/133.33	c  133s |      14 |    83861 |    77452 |    10512     15 |       22 |       68
135.46/135.57	c  135s |      14 |    84864 |    78452 |    10512     16 |       22 |       68
137.57/137.67	c  137s |      14 |    85868 |    79452 |    10512     16 |       22 |       68
139.67/139.72	c  139s |      14 |    86978 |    80552 |    10512     16 |       22 |       68
141.87/141.98	c  141s |      14 |    87983 |    81552 |    10512     16 |       22 |       68
143.96/144.06	c  143s |      14 |    88887 |    82452 |    10512     16 |       22 |       68
145.96/146.07	c  145s |      14 |    89999 |    83552 |    10512     16 |       22 |       68
148.16/148.21	c  148s |      14 |    91003 |    84552 |    10512     17 |       22 |       68
150.26/150.31	c  150s |      14 |    92011 |    85552 |    10512     17 |       22 |       68
152.26/152.37	c  152s |      14 |    93024 |    86552 |    10512     17 |       22 |       68
154.36/154.44	c  154s |      14 |    94033 |    87552 |    11564     17 |       22 |       68
154.56/154.61	c  154s |      15 |    94115 |    87632 |    11564     17 |       22 |       68
156.76/156.83	c  156s |      15 |    95195 |    88632 |    11564     17 |       22 |       68
158.86/158.90	c  158s |      15 |    96208 |    89632 |    11564     17 |       22 |       68
160.96/161.06	c  160s |      15 |    97216 |    90632 |    11564     18 |       22 |       68
163.06/163.19	c  163s |      15 |    98313 |    91732 |    11564     18 |       22 |       68
165.26/165.35	c  165s |      15 |    99325 |    92732 |    11564     18 |       22 |       68
167.26/167.39	c  167s |      15 |   100331 |    93732 |    11564     18 |       22 |       68
169.36/169.44	c  169s |      15 |   101340 |    94732 |    11564     18 |       22 |       68
171.56/171.65	c  171s |      15 |   102348 |    95732 |    11564     18 |       22 |       68
173.76/173.82	c  173s |      15 |   103475 |    96832 |    11564     19 |       22 |       68
175.96/176.07	c  175s |      15 |   104503 |    97832 |    11564     19 |       22 |       68
177.96/178.07	c  177s |      15 |   105417 |    98732 |    11564     19 |       22 |       68
180.16/180.22	c  180s |      15 |   106339 |    99632 |    11564     19 |       22 |       68
182.36/182.41	c  182s |      15 |   107357 |   100632 |    11564     19 |       22 |       68
184.56/184.61	c  184s |      15 |   108366 |   101632 |    11564     19 |       22 |       68
186.55/186.62	c  186s |      15 |   109190 |   102432 |    11564     20 |       22 |       68
188.75/188.81	c  188s |      15 |   110197 |   103432 |    11564     20 |       22 |       68
190.95/191.08	c  190s |      15 |   111207 |   104432 |    11564     20 |       22 |       68
192.95/193.08	c  192s |      15 |   112118 |   105332 |    11564     20 |       22 |       68
195.15/195.21	c  195s |      15 |   113026 |   106232 |    11564     20 |       22 |       68
197.15/197.21	c  197s |      15 |   113944 |   107132 |    11564     20 |       22 |       68
199.35/199.41	c  199s |      15 |   114962 |   108132 |    11564     21 |       22 |       68
201.45/201.57	c  201s |      15 |   115869 |   109032 |    11564     21 |       22 |       68
203.65/203.72	c  203s |      15 |   116895 |   110032 |    11564     21 |       22 |       68
205.85/205.92	c  205s |      15 |   117905 |   111032 |    11564     21 |       22 |       68
207.96/208.07	c  207s |      15 |   118921 |   112032 |    11564     21 |       22 |       68
209.95/210.07	c  209s |      15 |   119729 |   112832 |    11564     21 |       22 |       68
212.26/212.33	c  212s |      15 |   120633 |   113732 |    11564     22 |       22 |       68
214.35/214.40	c  214s |      15 |   121544 |   114632 |    11564     22 |       22 |       68
216.45/216.53	c  216s |      15 |   122681 |   115732 |    11564     22 |       22 |       68
218.55/218.64	c  218s |      15 |   123698 |   116732 |    11564     22 |       22 |       68
220.65/220.73	c  220s |      15 |   124720 |   117732 |    11564     22 |       22 |       68
222.86/222.94	c  222s |      15 |   125627 |   118632 |    11564     22 |       22 |       68
224.96/225.08	c  224s |      15 |   126541 |   119532 |    11564     22 |       22 |       68
227.16/227.26	c  227s |      15 |   127451 |   120432 |    11564     23 |       22 |       68
229.16/229.28	c  229s |      15 |   128365 |   121332 |    11564     23 |       22 |       68
231.26/231.31	c  231s |      15 |   129267 |   122232 |    11564     23 |       22 |       68
233.46/233.50	c  233s |      15 |   130290 |   123232 |    11564     23 |       22 |       68
235.46/235.54	c  235s |      15 |   131200 |   124132 |    11564     23 |       22 |       68
237.56/237.65	c  237s |      15 |   132114 |   125032 |    11564     23 |       22 |       68
239.55/239.66	c  239s |      15 |   133022 |   125932 |    11564     24 |       22 |       68
241.65/241.76	c  241s |      15 |   134039 |   126932 |    11564     24 |       22 |       68
243.65/243.80	c  243s |      15 |   134857 |   127732 |    11564     24 |       22 |       68
245.75/245.87	c  245s |      15 |   135776 |   128632 |    11564     24 |       22 |       68
247.85/247.90	c  247s |      15 |   136799 |   129632 |    11564     24 |       22 |       68
249.95/250.03	c  249s |      15 |   137818 |   130632 |    11564     24 |       22 |       68
251.86/252.00	c  251s |      16 |   138746 |   131552 |    12721     24 |       22 |       68
254.06/254.20	c  254s |      16 |   139834 |   132552 |    12721     25 |       22 |       68
256.36/256.41	c  256s |      16 |   140948 |   133652 |    12721     25 |       22 |       68
258.56/258.62	c  258s |      16 |   141961 |   134652 |    12721     25 |       22 |       68
260.66/260.74	c  260s |      16 |   143086 |   135752 |    12721     25 |       22 |       68
262.65/262.76	c  262s |      16 |   144108 |   136752 |    12721     25 |       22 |       68
264.75/264.87	c  264s |      16 |   145360 |   137952 |    12721     25 |       22 |       68
266.85/266.92	c  266s |      16 |   146497 |   139052 |    12721     26 |       22 |       68
268.85/268.93	c  268s |      16 |   147767 |   140252 |    12721     26 |       22 |       68
270.85/270.99	c  270s |      16 |   148889 |   141352 |    12721     26 |       22 |       68
272.95/273.07	c  272s |      16 |   149909 |   142352 |    12721     26 |       22 |       68
275.05/275.13	c  274s |      16 |   151036 |   143452 |    12721     26 |       22 |       68
277.25/277.31	c  277s |      16 |   152055 |   144452 |    12721     26 |       22 |       68
279.25/279.33	c  279s |      16 |   152959 |   145352 |    12721     26 |       22 |       68
281.45/281.54	c  281s |      16 |   153969 |   146352 |    12721     27 |       22 |       68
283.64/283.70	c  283s |      16 |   154781 |   147152 |    12721     27 |       22 |       68
285.64/285.75	c  285s |      16 |   155804 |   148152 |    12721     27 |       22 |       68
287.84/287.94	c  287s |      16 |   156912 |   149252 |    12721     27 |       22 |       68
289.84/289.96	c  289s |      16 |   157812 |   150152 |    12721     27 |       22 |       68
291.94/292.04	c  291s |      16 |   158624 |   150952 |    12721     27 |       22 |       68
294.24/294.35	c  294s |      16 |   159636 |   151952 |    12721     28 |       22 |       68
296.44/296.51	c  296s |      16 |   160754 |   153052 |    12721     28 |       22 |       68
298.44/298.57	c  298s |      16 |   161059 |   153352 |    12721     28 |       22 |       68
300.64/300.75	c  300s |      16 |   162070 |   154352 |    12721     28 |       22 |       68
302.84/302.90	c  302s |      16 |   163301 |   155552 |    12721     28 |       22 |       68
304.94/305.02	c  304s |      16 |   164430 |   156652 |    12721     28 |       22 |       68
307.14/307.21	c  307s |      16 |   165553 |   157752 |    12721     28 |       22 |       68
309.24/309.38	c  309s |      16 |   166365 |   158552 |    12721     29 |       22 |       68
311.44/311.53	c  311s |      16 |   167473 |   159652 |    12721     29 |       22 |       68
313.44/313.59	c  313s |      16 |   168487 |   160652 |    12721     29 |       22 |       68
315.54/315.66	c  315s |      16 |   169630 |   161752 |    12721     29 |       22 |       68
317.73/317.82	c  317s |      16 |   171004 |   163052 |    12721     29 |       22 |       68
319.83/319.97	c  319s |      16 |   172124 |   164152 |    12721     29 |       22 |       68
321.93/322.07	c  321s |      16 |   173030 |   165052 |    12721     30 |       22 |       68
324.03/324.16	c  323s |      16 |   174044 |   166052 |    12721     30 |       22 |       68
326.23/326.33	c  326s |      16 |   175271 |   167252 |    12721     30 |       22 |       68
328.33/328.44	c  328s |      16 |   176518 |   168452 |    12721     30 |       22 |       68
330.53/330.60	c  330s |      16 |   177779 |   169652 |    12721     30 |       22 |       68
332.53/332.62	c  332s |      16 |   178798 |   170652 |    12721     30 |       22 |       68
334.53/334.69	c  334s |      16 |   179849 |   171652 |    12721     31 |       22 |       68
336.64/336.74	c  336s |      16 |   180979 |   172752 |    12721     31 |       22 |       68
338.63/338.75	c  338s |      16 |   181998 |   173752 |    12721     31 |       22 |       68
340.73/340.84	c  340s |      16 |   182915 |   174652 |    12721     31 |       22 |       68
342.73/342.88	c  342s |      16 |   183832 |   175552 |    12721     31 |       22 |       68
344.93/345.05	c  344s |      16 |   184745 |   176452 |    12721     31 |       22 |       68
347.03/347.18	c  347s |      16 |   185885 |   177552 |    12721     31 |       22 |       68
349.33/349.40	c  349s |      16 |   187001 |   178652 |    12721     32 |       22 |       68
351.43/351.51	c  351s |      16 |   187811 |   179452 |    12721     32 |       22 |       68
353.53/353.63	c  353s |      16 |   188948 |   180552 |    12721     32 |       22 |       68
355.73/355.82	c  355s |      16 |   189960 |   181552 |    12721     32 |       22 |       68
357.84/357.99	c  357s |      16 |   190906 |   182452 |    12721     32 |       22 |       68
360.04/360.11	c  359s |      16 |   192042 |   183552 |    12721     32 |       22 |       68
362.14/362.21	c  362s |      16 |   193065 |   184552 |    12721     33 |       22 |       68
364.24/364.31	c  364s |      16 |   194322 |   185752 |    12721     33 |       22 |       68
366.24/366.39	c  366s |      16 |   195455 |   186852 |    12721     33 |       22 |       68
368.44/368.54	c  368s |      16 |   196595 |   187952 |    12721     33 |       22 |       68
370.43/370.57	c  370s |      16 |   197617 |   188952 |    12721     33 |       22 |       68
372.53/372.62	c  372s |      16 |   198649 |   189952 |    12721     33 |       22 |       68
374.73/374.80	c  374s |      16 |   199793 |   191052 |    12721     34 |       22 |       68
376.73/376.89	c  376s |      16 |   201049 |   192252 |    12721     34 |       22 |       68
378.83/378.91	c  378s |      16 |   202175 |   193352 |    12721     34 |       22 |       68
380.83/380.99	c  380s |      16 |   203110 |   194252 |    12721     34 |       22 |       68
383.13/383.20	c  383s |      16 |   204134 |   195252 |    12721     34 |       22 |       68
385.13/385.24	c  385s |      16 |   205165 |   196252 |    13994     34 |       22 |       68
387.24/387.37	c  387s |      16 |   206171 |   197252 |    13994     34 |       22 |       68
387.63/387.76	c  387s |      17 |   206363 |   197432 |    13994     34 |       22 |       68
389.93/390.04	c  389s |      17 |   207458 |   198432 |    13994     35 |       22 |       68
393.73/393.87	c  393s |      17 |   208374 |   199332 |    13994     35 |       22 |       68
395.93/396.07	c  395s |      17 |   209614 |   200532 |    13994     35 |       22 |       68
398.02/398.16	c  397s |      17 |   210879 |   201732 |    13994     35 |       22 |       68
400.22/400.31	c  400s |      17 |   212143 |   202932 |    13994     35 |       22 |       68
402.22/402.32	c  402s |      17 |   213302 |   204032 |    13994     35 |       22 |       68
404.22/404.37	c  404s |      17 |   214449 |   205132 |    13994     35 |       22 |       68
406.32/406.48	c  406s |      17 |   215581 |   206232 |    13994     36 |       22 |       68
408.42/408.51	c  408s |      17 |   216836 |   207432 |    13994     36 |       22 |       68
410.42/410.60	c  410s |      17 |   218077 |   208632 |    13994     36 |       22 |       68
412.52/412.62	c  412s |      17 |   219220 |   209732 |    13994     36 |       22 |       68
414.52/414.67	c  414s |      17 |   220243 |   210732 |    13994     36 |       22 |       68
416.62/416.74	c  416s |      17 |   221264 |   211732 |    13994     36 |       22 |       68
418.72/418.83	c  418s |      17 |   222299 |   212732 |    13994     37 |       22 |       68
420.81/420.96	c  420s |      17 |   223544 |   213932 |    13994     37 |       22 |       68
422.91/423.02	c  422s |      17 |   224805 |   215132 |    13994     37 |       22 |       68
425.01/425.11	c  424s |      17 |   225940 |   216232 |    13994     37 |       22 |       68
427.11/427.20	c  427s |      17 |   227081 |   217332 |    13994     37 |       22 |       68
429.21/429.32	c  429s |      17 |   228217 |   218432 |    13994     37 |       22 |       68
431.21/431.40	c  431s |      17 |   229257 |   219432 |    13994     37 |       22 |       68
433.41/433.54	c  433s |      17 |   230514 |   220632 |    13994     38 |       22 |       68
435.71/435.83	c  435s |      17 |   230626 |   220732 |    13994     38 |       22 |       68
437.82/437.93	c  437s |      17 |   231978 |   222032 |    13994     38 |       22 |       68
439.92/440.03	c  439s |      17 |   233228 |   223232 |    13994     38 |       22 |       68
442.12/442.21	c  442s |      17 |   234370 |   224332 |    13994     38 |       22 |       68
444.21/444.31	c  444s |      17 |   235498 |   225432 |    13994     38 |       22 |       68
446.31/446.44	c  446s |      17 |   236642 |   226532 |    13994     38 |       22 |       68
448.31/448.47	c  448s |      17 |   237788 |   227632 |    13994     39 |       22 |       68
450.41/450.52	c  450s |      17 |   239042 |   228832 |    13994     39 |       22 |       68
452.41/452.58	c  452s |      17 |   240304 |   230032 |    13994     39 |       22 |       68
454.51/454.69	c  454s |      17 |   241551 |   231232 |    13994     39 |       22 |       68
456.51/456.69	c  456s |      17 |   242681 |   232332 |    13994     39 |       22 |       68
458.71/458.82	c  458s |      17 |   243818 |   233432 |    13994     39 |       22 |       68
461.10/461.25	c  461s |      17 |   244945 |   234532 |    13994     40 |       22 |       68
463.20/463.32	c  463s |      17 |   245975 |   235532 |    13994     40 |       22 |       68
465.21/465.32	c  465s |      17 |   247103 |   236632 |    13994     40 |       22 |       68
467.30/467.40	c  467s |      17 |   248367 |   237832 |    13994     40 |       22 |       68
469.40/469.53	c  469s |      17 |   249628 |   239032 |    13994     40 |       22 |       68
471.60/471.70	c  471s |      17 |   250860 |   240232 |    13994     40 |       22 |       68
473.70/473.86	c  473s |      17 |   251995 |   241332 |    13994     41 |       22 |       68
475.80/475.93	c  475s |      17 |   253246 |   242532 |    13994     41 |       22 |       68
477.90/478.04	c  477s |      17 |   254505 |   243732 |    13994     41 |       22 |       68
479.90/480.09	c  479s |      17 |   255639 |   244832 |    13994     41 |       22 |       68
481.99/482.14	c  481s |      17 |   256796 |   245932 |    13994     41 |       22 |       68
484.69/484.85	c  484s |      17 |   257811 |   246932 |    13994     41 |       22 |       68
486.79/486.99	c  486s |      17 |   258954 |   248032 |    13994     42 |       22 |       68
488.89/489.01	c  488s |      17 |   259998 |   249032 |    13994     42 |       22 |       68
490.99/491.19	c  491s |      17 |   261045 |   250032 |    13994     42 |       22 |       68
493.09/493.20	c  493s |      17 |   262177 |   251132 |    13994     42 |       22 |       68
495.09/495.21	c  495s |      17 |   263336 |   252232 |    13994     42 |       22 |       68
497.20/497.33	c  497s |      17 |   264591 |   253432 |    13994     42 |       22 |       68
499.30/499.44	c  499s |      17 |   265826 |   254632 |    13994     42 |       22 |       68
501.39/501.51	c  501s |      17 |   266957 |   255732 |    13994     43 |       22 |       68
503.49/503.67	c  503s |      17 |   268178 |   256932 |    13994     43 |       22 |       68
505.69/505.82	c  505s |      17 |   269533 |   258232 |    13994     43 |       22 |       68
507.79/507.90	c  507s |      17 |   270673 |   259332 |    13994     43 |       22 |       68
509.79/509.96	c  509s |      17 |   271948 |   260532 |    13994     43 |       22 |       68
511.89/512.01	c  511s |      17 |   273083 |   261632 |    13994     43 |       22 |       68
513.98/514.10	c  513s |      17 |   274215 |   262732 |    13994     44 |       22 |       68
515.98/516.11	c  515s |      17 |   275356 |   263832 |    13994     44 |       22 |       68
518.09/518.21	c  518s |      17 |   276607 |   265032 |    13994     44 |       22 |       68
520.19/520.33	c  520s |      17 |   277858 |   266232 |    13994     44 |       22 |       68
522.28/522.46	c  522s |      17 |   279110 |   267432 |    13994     44 |       22 |       68
524.38/524.55	c  524s |      17 |   280259 |   268532 |    13994     44 |       22 |       68
526.48/526.65	c  526s |      17 |   281412 |   269632 |    13994     45 |       22 |       68
528.48/528.69	c  528s |      17 |   282662 |   270832 |    13994     45 |       22 |       68
530.78/530.91	c  530s |      17 |   283899 |   272032 |    13994     45 |       22 |       68
532.78/532.93	c  532s |      17 |   285163 |   273232 |    13994     45 |       22 |       68
534.77/534.96	c  534s |      17 |   286187 |   274232 |    13994     45 |       22 |       68
536.78/536.98	c  536s |      17 |   287351 |   275332 |    13994     45 |       22 |       68
538.98/539.15	c  538s |      17 |   288499 |   276432 |    13994     46 |       22 |       68
541.08/541.21	c  541s |      17 |   289627 |   277532 |    13994     46 |       22 |       68
543.17/543.31	c  543s |      17 |   290881 |   278732 |    13994     46 |       22 |       68
545.27/545.40	c  545s |      17 |   292135 |   279932 |    13994     46 |       22 |       68
547.27/547.48	c  547s |      17 |   293287 |   281032 |    13994     46 |       22 |       68
549.27/549.49	c  549s |      17 |   294425 |   282132 |    13994     46 |       22 |       68
551.37/551.56	c  551s |      17 |   294630 |   282332 |    13994     46 |       22 |       68
553.67/553.86	c  553s |      17 |   295885 |   283532 |    13994     47 |       22 |       68
555.87/556.01	c  555s |      17 |   297226 |   284832 |    13994     47 |       22 |       68
557.97/558.11	c  557s |      17 |   298588 |   286132 |    13994     47 |       22 |       68
559.97/560.19	c  560s |      17 |   299844 |   287332 |    13994     47 |       22 |       68
562.17/562.31	c  562s |      17 |   301100 |   288532 |    13994     47 |       22 |       68
564.17/564.33	c  564s |      17 |   302248 |   289632 |    13994     47 |       22 |       68
566.26/566.45	c  566s |      17 |   303397 |   290732 |    13994     48 |       22 |       68
568.36/568.57	c  568s |      17 |   304760 |   292032 |    13994     48 |       22 |       68
570.46/570.69	c  570s |      17 |   306013 |   293232 |    13994     48 |       22 |       68
572.66/572.80	c  572s |      17 |   307278 |   294432 |    15394     48 |       22 |       68
574.76/574.90	c  574s |      17 |   308427 |   295532 |    15394     48 |       22 |       68
576.16/576.32	c  576s |      18 |   309173 |   296252 |    15394     48 |       22 |       68
578.26/578.44	c  578s |      18 |   310372 |   297352 |    15394     48 |       22 |       68
580.36/580.54	c  580s |      18 |   311518 |   298452 |    15394     48 |       22 |       68
582.46/582.67	c  582s |      18 |   312574 |   299452 |    15394     49 |       22 |       68
584.76/584.92	c  584s |      18 |   313843 |   300652 |    15394     49 |       22 |       68
586.86/587.08	c  586s |      18 |   315109 |   301852 |    15394     49 |       22 |       68
588.96/589.16	c  588s |      18 |   316265 |   302952 |    15394     49 |       22 |       68
591.06/591.28	c  591s |      18 |   317441 |   304052 |    15394     49 |       22 |       68
593.26/593.45	c  593s |      18 |   318574 |   305152 |    15394     49 |       22 |       68
595.26/595.46	c  595s |      18 |   319610 |   306152 |    15394     49 |       22 |       68
597.46/597.64	c  597s |      18 |   320772 |   307252 |    15394     50 |       22 |       68
599.65/599.81	c  599s |      18 |   321923 |   308352 |    15394     50 |       22 |       68
601.66/601.87	c  601s |      18 |   323062 |   309452 |    15394     50 |       22 |       68
603.86/604.03	c  603s |      18 |   324204 |   310552 |    15394     50 |       22 |       68
605.96/606.19	c  606s |      18 |   325359 |   311652 |    15394     50 |       22 |       68
608.16/608.34	c  608s |      18 |   326516 |   312752 |    15394     50 |       22 |       68
610.15/610.39	c  610s |      18 |   327598 |   313752 |    15394     50 |       22 |       68
612.45/612.65	c  612s |      18 |   328659 |   314752 |    15394     51 |       22 |       68
614.55/614.74	c  614s |      18 |   329803 |   315852 |    15394     51 |       22 |       68
616.65/616.80	c  616s |      18 |   330964 |   316952 |    15394     51 |       22 |       68
618.65/618.84	c  618s |      18 |   332021 |   317952 |    15394     51 |       22 |       68
620.64/620.90	c  620s |      18 |   333177 |   319052 |    15394     51 |       22 |       68
622.74/622.98	c  622s |      18 |   334322 |   320152 |    15394     51 |       22 |       68
624.94/625.16	c  624s |      18 |   335483 |   321252 |    15394     51 |       22 |       68
626.95/627.18	c  627s |      18 |   336622 |   322352 |    15394     51 |       22 |       68
629.05/629.26	c  629s |      18 |   337786 |   323452 |    15394     52 |       22 |       68
632.25/632.45	c  632s |      18 |   337990 |   323652 |    15394     52 |       22 |       68
634.35/634.57	c  634s |      18 |   339247 |   324852 |    15394     52 |       22 |       68
636.45/636.66	c  636s |      18 |   340388 |   325952 |    15394     52 |       22 |       68
638.55/638.72	c  638s |      18 |   341536 |   327052 |    15394     52 |       22 |       68
640.64/640.89	c  640s |      18 |   342681 |   328152 |    15394     52 |       22 |       68
642.84/643.02	c  642s |      18 |   343830 |   329252 |    15394     52 |       22 |       68
644.84/645.05	c  644s |      18 |   344883 |   330252 |    15394     53 |       22 |       68
648.94/649.14	c  648s |      18 |   346024 |   331352 |    15394     53 |       22 |       68
650.93/651.17	c  651s |      18 |   347269 |   332552 |    15394     53 |       22 |       68
653.03/653.22	c  653s |      18 |   348523 |   333752 |    15394     53 |       22 |       68
655.13/655.38	c  655s |      18 |   349760 |   334952 |    15394     53 |       22 |       68
657.33/657.51	c  657s |      18 |   351016 |   336152 |    15394     53 |       22 |       68
659.43/659.63	c  659s |      18 |   352171 |   337252 |    15394     53 |       22 |       68
661.43/661.66	c  661s |      18 |   353213 |   338252 |    15394     54 |       22 |       68
665.13/665.37	c  665s |      18 |   354458 |   339452 |    15394     54 |       22 |       68
667.23/667.40	c  667s |      18 |   355701 |   340652 |    15394     54 |       22 |       68
669.23/669.44	c  669s |      18 |   356809 |   341752 |    15394     54 |       22 |       68
671.23/671.48	c  671s |      18 |   358064 |   342952 |    15394     54 |       22 |       68
673.33/673.57	c  673s |      18 |   359203 |   344052 |    15394     54 |       22 |       68
675.53/675.75	c  675s |      18 |   360444 |   345252 |    15394     54 |       22 |       68
677.63/677.88	c  677s |      18 |   361575 |   346352 |    15394     55 |       22 |       68
679.74/679.92	c  679s |      18 |   362809 |   347552 |    15394     55 |       22 |       68
681.84/682.03	c  681s |      18 |   364052 |   348752 |    15394     55 |       22 |       68
684.53/684.76	c  684s |      18 |   364579 |   349252 |    15394     55 |       22 |       68
686.63/686.85	c  686s |      18 |   365717 |   350352 |    15394     55 |       22 |       68
688.73/688.96	c  688s |      18 |   366858 |   351452 |    15394     55 |       22 |       68
690.83/691.02	c  690s |      18 |   367897 |   352452 |    15394     55 |       22 |       68
692.83/693.09	c  692s |      18 |   369049 |   353552 |    15394     55 |       22 |       68
694.93/695.18	c  695s |      18 |   370194 |   354652 |    15394     56 |       22 |       68
697.13/697.35	c  697s |      18 |   371440 |   355852 |    15394     56 |       22 |       68
699.22/699.40	c  699s |      18 |   372697 |   357052 |    15394     56 |       22 |       68
701.22/701.46	c  701s |      18 |   373732 |   358052 |    15394     56 |       22 |       68
703.22/703.47	c  703s |      18 |   374887 |   359152 |    15394     56 |       22 |       68
705.42/705.64	c  705s |      18 |   376026 |   360252 |    15394     56 |       22 |       68
707.62/707.83	c  707s |      18 |   377055 |   361252 |    15394     56 |       22 |       68
709.72/709.99	c  709s |      18 |   378194 |   362352 |    15394     57 |       22 |       68
711.82/712.04	c  711s |      18 |   379327 |   363452 |    15394     57 |       22 |       68
713.92/714.11	c  713s |      18 |   380483 |   364552 |    15394     57 |       22 |       68
715.92/716.16	c  715s |      18 |   381621 |   365652 |    15394     57 |       22 |       68
719.11/719.33	c  719s |      18 |   382139 |   366152 |    15394     57 |       22 |       68
721.31/721.53	c  721s |      18 |   383390 |   367352 |    15394     57 |       22 |       68
723.41/723.66	c  723s |      18 |   384532 |   368452 |    15394     57 |       22 |       68
725.51/725.78	c  725s |      18 |   385690 |   369552 |    15394     58 |       22 |       68
727.61/727.87	c  727s |      18 |   386944 |   370752 |    15394     58 |       22 |       68
729.81/730.02	c  729s |      18 |   388214 |   371952 |    15394     58 |       22 |       68
731.80/732.06	c  731s |      18 |   389346 |   373052 |    15394     58 |       22 |       68
734.10/734.39	c  734s |      18 |   389968 |   373652 |    15394     58 |       22 |       68
736.30/736.55	c  736s |      18 |   391224 |   374852 |    15394     58 |       22 |       68
738.50/738.70	c  738s |      18 |   392480 |   376052 |    15394     58 |       22 |       68
740.50/740.73	c  740s |      18 |   393508 |   377052 |    15394     59 |       22 |       68
742.60/742.87	c  742s |      18 |   394876 |   378352 |    15394     59 |       22 |       68
744.70/744.93	c  744s |      18 |   396124 |   379552 |    15394     59 |       22 |       68
746.81/747.04	c  746s |      18 |   397400 |   380752 |    15394     59 |       22 |       68
748.91/749.19	c  749s |      18 |   398666 |   381952 |    15394     59 |       22 |       68
751.00/751.23	c  751s |      18 |   399847 |   383052 |    15394     59 |       22 |       68
753.20/753.42	c  753s |      18 |   400998 |   384152 |    15394     59 |       22 |       68
755.30/755.54	c  755s |      18 |   402152 |   385252 |    15394     60 |       22 |       68
757.30/757.54	c  757s |      18 |   403385 |   386452 |    15394     60 |       22 |       68
759.40/759.65	c  759s |      18 |   404633 |   387652 |    15394     60 |       22 |       68
761.40/761.68	c  761s |      18 |   405881 |   388852 |    15394     60 |       22 |       68
763.50/763.71	c  763s |      18 |   407142 |   390052 |    15394     60 |       22 |       68
765.59/765.85	c  765s |      18 |   407770 |   390652 |    15394     60 |       22 |       68
767.60/767.89	c  767s |      18 |   408914 |   391752 |    15394     60 |       22 |       68
769.69/769.96	c  769s |      18 |   410066 |   392852 |    15394     61 |       22 |       68
771.79/772.01	c  771s |      18 |   410908 |   393652 |    15394     61 |       22 |       68
773.89/774.16	c  773s |      18 |   412176 |   394852 |    15394     61 |       22 |       68
776.09/776.34	c  776s |      18 |   413426 |   396052 |    15394     61 |       22 |       68
778.29/778.51	c  778s |      18 |   414697 |   397252 |    15394     61 |       22 |       68
780.29/780.54	c  780s |      18 |   415851 |   398352 |    15394     61 |       22 |       68
782.29/782.55	c  782s |      18 |   416973 |   399452 |    15394     61 |       22 |       68
784.29/784.56	c  784s |      18 |   418041 |   400452 |    15394     62 |       22 |       68
786.49/786.70	c  786s |      18 |   419204 |   401552 |    15394     62 |       22 |       68
788.59/788.81	c  788s |      18 |   420366 |   402652 |    15394     62 |       22 |       68
790.58/790.85	c  790s |      18 |   421521 |   403752 |    15394     62 |       22 |       68
792.78/793.04	c  792s |      18 |   422653 |   404852 |    15394     62 |       22 |       68
794.78/795.04	c  794s |      18 |   423684 |   405852 |    15394     62 |       22 |       68
796.88/797.16	c  796s |      18 |   424836 |   406952 |    15394     62 |       22 |       68
799.08/799.36	c  799s |      18 |   425965 |   408052 |    15394     62 |       22 |       68
801.28/801.55	c  801s |      18 |   427236 |   409252 |    15394     63 |       22 |       68
803.48/803.71	c  803s |      18 |   428488 |   410452 |    15394     63 |       22 |       68
805.58/805.82	c  805s |      18 |   429724 |   411652 |    15394     63 |       22 |       68
807.58/807.88	c  807s |      18 |   430873 |   412752 |    15394     63 |       22 |       68
809.78/810.03	c  809s |      18 |   432009 |   413852 |    15394     63 |       22 |       68
811.78/812.03	c  811s |      18 |   433040 |   414852 |    15394     63 |       22 |       68
813.98/814.26	c  814s |      18 |   434197 |   415952 |    15394     64 |       22 |       68
816.08/816.33	c  816s |      18 |   435040 |   416752 |    15394     64 |       22 |       68
818.28/818.51	c  818s |      18 |   436413 |   418052 |    15394     64 |       22 |       68
820.38/820.61	c  820s |      18 |   437552 |   419152 |    15394     64 |       22 |       68
822.38/822.62	c  822s |      18 |   438724 |   420252 |    15394     64 |       22 |       68
824.47/824.73	c  824s |      18 |   439880 |   421352 |    15394     64 |       22 |       68
826.47/826.74	c  826s |      18 |   441029 |   422452 |    15394     64 |       22 |       68
828.67/828.98	c  828s |      18 |   442173 |   423552 |    15394     64 |       22 |       68
830.87/831.10	c  830s |      18 |   443202 |   424552 |    15394     65 |       22 |       68
832.97/833.29	c  833s |      18 |   443931 |   425252 |    15394     65 |       22 |       68
835.07/835.30	c  835s |      18 |   445079 |   426352 |    15394     65 |       22 |       68
837.17/837.41	c  837s |      18 |   446395 |   427552 |    15394     65 |       22 |       68
839.18/839.46	c  839s |      18 |   447663 |   428752 |    15394     65 |       22 |       68
841.37/841.66	c  841s |      18 |   448916 |   429952 |    15394     65 |       22 |       68
843.37/843.70	c  843s |      18 |   450053 |   431052 |    15394     65 |       22 |       68
845.57/845.87	c  845s |      18 |   451191 |   432152 |    15394     66 |       22 |       68
847.67/847.94	c  847s |      18 |   452123 |   433052 |    15394     66 |       22 |       68
849.66/849.97	c  849s |      18 |   453368 |   434252 |    15394     66 |       22 |       68
851.76/852.07	c  851s |      18 |   454517 |   435352 |    15394     66 |       22 |       68
853.86/854.10	c  853s |      18 |   455657 |   436452 |    15394     66 |       22 |       68
855.86/856.13	c  855s |      18 |   456811 |   437552 |    15394     66 |       22 |       68
857.96/858.27	c  858s |      18 |   457966 |   438652 |    15394     66 |       22 |       68
860.07/860.31	c  860s |      18 |   459004 |   439652 |    15394     67 |       22 |       68
862.06/862.39	c  862s |      18 |   460265 |   440852 |    15394     67 |       22 |       68
864.26/864.56	c  864s |      18 |   461512 |   442052 |    16934     67 |       22 |       68
866.26/866.56	c  866s |      18 |   462671 |   443152 |    16934     67 |       22 |       68
868.36/868.65	c  868s |      18 |   463805 |   444252 |    16934     67 |       22 |       68
868.87/869.15	c  868s |      19 |   464050 |   444482 |    16934     67 |       22 |       68
870.96/871.30	c  871s |      19 |   465257 |   445582 |    16934     67 |       22 |       68
873.16/873.49	c  873s |      19 |   466402 |   446682 |    16934     67 |       22 |       68
875.36/875.69	c  875s |      19 |   467547 |   447782 |    16934     67 |       22 |       68
877.46/877.70	c  877s |      19 |   468575 |   448782 |    16934     68 |       22 |       68
879.47/879.76	c  879s |      19 |   469713 |   449882 |    16934     68 |       22 |       68
881.56/881.83	c  881s |      19 |   470872 |   450982 |    16934     68 |       22 |       68
883.66/883.99	c  883s |      19 |   472116 |   452182 |    16934     68 |       22 |       68
885.76/886.03	c  885s |      19 |   473266 |   453282 |    16934     68 |       22 |       68
887.86/888.19	c  888s |      19 |   474401 |   454382 |    16934     68 |       22 |       68
890.06/890.31	c  890s |      19 |   475547 |   455482 |    16934     68 |       22 |       68
892.16/892.41	c  892s |      19 |   476715 |   456582 |    16934     68 |       22 |       68
894.26/894.54	c  894s |      19 |   477849 |   457682 |    16934     69 |       22 |       68
896.36/896.63	c  896s |      19 |   478988 |   458782 |    16934     69 |       22 |       68
898.46/898.72	c  898s |      19 |   480045 |   459782 |    16934     69 |       22 |       68
900.45/900.73	c  900s |      19 |   481296 |   460982 |    16934     69 |       22 |       68
902.45/902.76	c  902s |      19 |   482539 |   462182 |    16934     69 |       22 |       68
904.45/904.77	c  904s |      19 |   483679 |   463282 |    16934     69 |       22 |       68
906.45/906.78	c  906s |      19 |   484823 |   464382 |    16934     69 |       22 |       68
908.55/908.80	c  908s |      19 |   485958 |   465482 |    16934     69 |       22 |       68
910.45/910.80	c  910s |      19 |   487109 |   466582 |    16934     70 |       22 |       68
912.55/912.86	c  912s |      19 |   488344 |   467782 |    16934     70 |       22 |       68
914.55/914.89	c  914s |      19 |   489585 |   468982 |    16934     70 |       22 |       68
916.65/916.97	c  916s |      19 |   490826 |   470182 |    16934     70 |       22 |       68
918.75/919.00	c  918s |      19 |   491970 |   471282 |    16934     70 |       22 |       68
920.74/921.05	c  920s |      19 |   493116 |   472382 |    16934     70 |       22 |       68
922.75/923.07	c  922s |      19 |   494257 |   473482 |    16934     70 |       22 |       68
924.85/925.19	c  925s |      19 |   495392 |   474582 |    16934     71 |       22 |       68
927.05/927.33	c  927s |      19 |   496750 |   475882 |    16934     71 |       22 |       68
929.04/929.36	c  929s |      19 |   497997 |   477082 |    16934     71 |       22 |       68
931.74/932.01	c  931s |      19 |   499040 |   478082 |    16934     71 |       22 |       68
933.84/934.17	c  933s |      19 |   500280 |   479282 |    16934     71 |       22 |       68
935.85/936.17	c  936s |      19 |   501425 |   480382 |    16934     71 |       22 |       68
937.94/938.20	c  938s |      19 |   502582 |   481482 |    16934     71 |       22 |       68
939.94/940.26	c  940s |      19 |   503735 |   482582 |    16934     71 |       22 |       68
942.14/942.45	c  942s |      19 |   504876 |   483682 |    16934     72 |       22 |       68
944.14/944.46	c  944s |      19 |   506058 |   484782 |    16934     72 |       22 |       68
946.24/946.57	c  946s |      19 |   507309 |   485982 |    16934     72 |       22 |       68
948.33/948.69	c  948s |      19 |   508567 |   487182 |    16934     72 |       22 |       68
951.43/951.77	c  951s |      19 |   509496 |   488082 |    16934     72 |       22 |       68
953.54/953.83	c  953s |      19 |   510625 |   489182 |    16934     72 |       22 |       68
955.64/955.92	c  955s |      19 |   511775 |   490282 |    16934     72 |       22 |       68
957.63/957.93	c  957s |      19 |   512800 |   491282 |    16934     72 |       22 |       68
959.63/959.94	c  959s |      19 |   513956 |   492382 |    16934     73 |       22 |       68
961.63/961.98	c  961s |      19 |   515097 |   493482 |    16934     73 |       22 |       68
963.63/963.99	c  963s |      19 |   516234 |   494582 |    16934     73 |       22 |       68
965.83/966.19	c  966s |      19 |   517487 |   495782 |    16934     73 |       22 |       68
967.93/968.23	c  968s |      19 |   518622 |   496882 |    16934     73 |       22 |       68
969.93/970.27	c  970s |      19 |   519138 |   497382 |    16934     73 |       22 |       68
972.13/972.46	c  972s |      19 |   520387 |   498582 |    16934     73 |       22 |       68
974.63/974.93	c  974s |      19 |   521314 |   499482 |    16934     73 |       22 |       68
976.73/977.03	c  976s |      19 |   522458 |   500582 |    16934     74 |       22 |       68
978.74/979.08	c  978s |      19 |   523699 |   501782 |    16934     74 |       22 |       68
980.73/981.09	c  980s |      19 |   524654 |   502682 |    16934     74 |       22 |       68
982.83/983.17	c  983s |      19 |   525905 |   503882 |    16934     74 |       22 |       68
985.03/985.31	c  985s |      19 |   527160 |   505082 |    16934     74 |       22 |       68
987.13/987.43	c  987s |      19 |   528305 |   506182 |    16934     74 |       22 |       68
989.13/989.48	c  989s |      19 |   529463 |   507282 |    16934     74 |       22 |       68
991.33/991.65	c  991s |      19 |   530611 |   508382 |    16934     74 |       22 |       68
993.43/993.75	c  993s |      19 |   531661 |   509382 |    16934     75 |       22 |       68
995.53/995.86	c  995s |      19 |   532936 |   510582 |    16934     75 |       22 |       68
997.73/998.05	c  997s |      19 |   534225 |   511782 |    16934     75 |       22 |       68
999.73/1000.09	c  999s |      19 |   535186 |   512682 |    16934     75 |       22 |       68
1001.93/1002.26	c 1002s |      19 |   536325 |   513782 |    16934     75 |       22 |       68
1003.92/1004.28	c 1004s |      19 |   537481 |   514882 |    16934     75 |       22 |       68
1006.12/1006.48	c 1006s |      19 |   538635 |   515982 |    16934     75 |       22 |       68
1008.43/1008.79	c 1008s |      19 |   539779 |   517082 |    16934     76 |       22 |       68
1010.62/1010.97	c 1010s |      19 |   541036 |   518282 |    16934     76 |       22 |       68
1012.72/1013.05	c 1012s |      19 |   542305 |   519482 |    16934     76 |       22 |       68
1014.82/1015.19	c 1015s |      19 |   543562 |   520682 |    16934     76 |       22 |       68
1016.92/1017.20	c 1017s |      19 |   544707 |   521782 |    16934     76 |       22 |       68
1019.02/1019.39	c 1019s |      19 |   545868 |   522882 |    16934     76 |       22 |       68
1021.21/1021.51	c 1021s |      19 |   547009 |   523982 |    16934     76 |       22 |       68
1023.31/1023.65	c 1023s |      19 |   548187 |   525082 |    16934     76 |       22 |       68
1025.31/1025.69	c 1025s |      19 |   549250 |   526082 |    16934     77 |       22 |       68
1027.41/1027.77	c 1027s |      19 |   550428 |   527182 |    16934     77 |       22 |       68
1029.51/1029.88	c 1029s |      19 |   551502 |   528182 |    16934     77 |       22 |       68
1031.71/1032.00	c 1031s |      19 |   552667 |   529282 |    16934     77 |       22 |       68
1033.82/1034.17	c 1033s |      19 |   553816 |   530382 |    16934     77 |       22 |       68
1035.92/1036.29	c 1036s |      19 |   554970 |   531482 |    16934     77 |       22 |       68
1038.12/1038.48	c 1038s |      19 |   556132 |   532582 |    16934     77 |       22 |       68
1040.21/1040.58	c 1040s |      19 |   557177 |   533582 |    16934     77 |       22 |       68
1042.31/1042.64	c 1042s |      19 |   558124 |   534482 |    16934     78 |       22 |       68
1044.41/1044.73	c 1044s |      19 |   559271 |   535582 |    16934     78 |       22 |       68
1046.51/1046.89	c 1046s |      19 |   560523 |   536782 |    16934     78 |       22 |       68
1048.61/1048.99	c 1048s |      19 |   561663 |   537882 |    16934     78 |       22 |       68
1050.70/1051.01	c 1050s |      19 |   562614 |   538782 |    16934     78 |       22 |       68
1052.70/1053.07	c 1052s |      19 |   563770 |   539882 |    16934     78 |       22 |       68
1054.80/1055.17	c 1054s |      19 |   564949 |   540982 |    16934     78 |       22 |       68
1056.91/1057.29	c 1057s |      19 |   566093 |   542082 |    16934     78 |       22 |       68
1059.11/1059.45	c 1059s |      19 |   567236 |   543182 |    16934     79 |       22 |       68
1061.10/1061.49	c 1061s |      19 |   568492 |   544382 |    16934     79 |       22 |       68
1063.20/1063.50	c 1063s |      19 |   569650 |   545482 |    16934     79 |       22 |       68
1065.80/1066.14	c 1065s |      19 |   570372 |   546182 |    16934     79 |       22 |       68
1067.81/1068.19	c 1068s |      19 |   570987 |   546782 |    16934     79 |       22 |       68
1072.70/1073.09	c 1072s |      19 |   571823 |   547582 |    16934     79 |       22 |       68
1074.80/1075.13	c 1074s |      19 |   573087 |   548782 |    16934     79 |       22 |       68
1076.90/1077.23	c 1077s |      19 |   574354 |   549982 |    16934     79 |       22 |       68
1079.00/1079.37	c 1079s |      19 |   575522 |   551082 |    16934     79 |       22 |       68
1081.11/1081.48	c 1081s |      19 |   576666 |   552182 |    16934     80 |       22 |       68
1083.31/1083.66	c 1083s |      19 |   577818 |   553282 |    16934     80 |       22 |       68
1085.41/1085.80	c 1085s |      19 |   579074 |   554482 |    16934     80 |       22 |       68
1087.61/1087.94	c 1087s |      19 |   580330 |   555682 |    16934     80 |       22 |       68
1089.60/1089.99	c 1089s |      19 |   581501 |   556782 |    16934     80 |       22 |       68
1091.80/1092.12	c 1091s |      19 |   582657 |   557882 |    16934     80 |       22 |       68
1093.90/1094.22	c 1094s |      19 |   583828 |   558982 |    16934     80 |       22 |       68
1096.20/1096.55	c 1096s |      19 |   584874 |   559982 |    16934     81 |       22 |       68
1098.30/1098.66	c 1098s |      19 |   586146 |   561182 |    16934     81 |       22 |       68
1100.40/1100.73	c 1100s |      19 |   587417 |   562382 |    16934     81 |       22 |       68
1102.40/1102.78	c 1102s |      19 |   588559 |   563482 |    16934     81 |       22 |       68
1104.60/1104.91	c 1104s |      19 |   589706 |   564582 |    16934     81 |       22 |       68
1106.69/1107.03	c 1106s |      19 |   590431 |   565282 |    16934     81 |       22 |       68
1108.79/1109.17	c 1108s |      19 |   591679 |   566482 |    16934     81 |       22 |       68
1110.89/1111.29	c 1111s |      19 |   592930 |   567682 |    16934     81 |       22 |       68
1113.00/1113.35	c 1113s |      19 |   593982 |   568682 |    16934     82 |       22 |       68
1115.10/1115.49	c 1115s |      19 |   595236 |   569882 |    16934     82 |       22 |       68
1117.30/1117.63	c 1117s |      19 |   596504 |   571082 |    16934     82 |       22 |       68
1119.29/1119.67	c 1119s |      19 |   597760 |   572282 |    16934     82 |       22 |       68
1121.49/1121.82	c 1121s |      19 |   598989 |   573482 |    16934     82 |       22 |       68
1123.59/1123.96	c 1123s |      19 |   600133 |   574582 |    16934     82 |       22 |       68
1125.69/1126.07	c 1125s |      19 |   601282 |   575682 |    16934     82 |       22 |       68
1130.10/1130.42	c 1130s |      19 |   602455 |   576782 |    16934     82 |       22 |       68
1132.20/1132.57	c 1132s |      19 |   603091 |   577382 |    16934     83 |       22 |       68
1134.40/1134.70	c 1134s |      19 |   604444 |   578682 |    16934     83 |       22 |       68
1136.40/1136.73	c 1136s |      19 |   605684 |   579882 |    16934     83 |       22 |       68
1138.40/1138.74	c 1138s |      19 |   606938 |   581082 |    16934     83 |       22 |       68
1140.50/1140.89	c 1140s |      19 |   608175 |   582282 |    16934     83 |       22 |       68
1142.60/1142.92	c 1142s |      19 |   609425 |   583482 |    16934     83 |       22 |       68
1144.70/1145.05	c 1144s |      19 |   610680 |   584682 |    16934     83 |       22 |       68
1146.79/1147.13	c 1146s |      19 |   611711 |   585682 |    16934     84 |       22 |       68
1148.79/1149.17	c 1148s |      19 |   612976 |   586882 |    16934     84 |       22 |       68
1150.79/1151.17	c 1151s |      19 |   614227 |   588082 |    16934     84 |       22 |       68
1152.89/1153.27	c 1153s |      19 |   615461 |   589282 |    16934     84 |       22 |       68
1154.99/1155.35	c 1155s |      19 |   616708 |   590482 |    16934     84 |       22 |       68
1158.59/1158.99	c 1158s |      19 |   617738 |   591482 |    16934     84 |       22 |       68
1160.59/1160.99	c 1160s |      19 |   618874 |   592582 |    16934     84 |       22 |       68
1162.69/1163.05	c 1162s |      19 |   620020 |   593682 |    16934     84 |       22 |       68
1164.89/1165.21	c 1165s |      19 |   621265 |   594882 |    16934     85 |       22 |       68
1166.90/1167.24	c 1167s |      19 |   622104 |   595682 |    16934     85 |       22 |       68
1168.89/1169.30	c 1169s |      19 |   623458 |   596982 |    16934     85 |       22 |       68
1170.99/1171.38	c 1171s |      19 |   624724 |   598182 |    16934     85 |       22 |       68
1173.19/1173.50	c 1173s |      19 |   625963 |   599382 |    16934     85 |       22 |       68
1175.19/1175.53	c 1175s |      19 |   627103 |   600482 |    16934     85 |       22 |       68
1177.29/1177.64	c 1177s |      19 |   628353 |   601682 |    16934     85 |       22 |       68
1179.39/1179.73	c 1179s |      19 |   629514 |   602782 |    16934     86 |       22 |       68
1181.49/1181.80	c 1181s |      19 |   630874 |   604082 |    16934     86 |       22 |       68
1183.59/1183.95	c 1183s |      19 |   632135 |   605282 |    16934     86 |       22 |       68
1185.69/1186.07	c 1185s |      19 |   633389 |   606482 |    16934     86 |       22 |       68
1187.89/1188.24	c 1188s |      19 |   634663 |   607682 |    16934     86 |       22 |       68
1190.00/1190.39	c 1190s |      19 |   635901 |   608882 |    16934     86 |       22 |       68
1192.09/1192.48	c 1192s |      19 |   637136 |   610082 |    16934     86 |       22 |       68
1194.49/1194.85	c 1194s |      19 |   638414 |   611282 |    16934     87 |       22 |       68
1196.49/1196.90	c 1196s |      19 |   639666 |   612482 |    16934     87 |       22 |       68
1198.59/1198.95	c 1198s |      19 |   641032 |   613782 |    16934     87 |       22 |       68
1200.69/1201.07	c 1200s |      19 |   642284 |   614982 |    16934     87 |       22 |       68
1202.79/1203.17	c 1203s |      19 |   643505 |   616182 |    16934     87 |       22 |       68
1206.49/1206.89	c 1206s |      19 |   644245 |   616882 |    16934     87 |       22 |       68
1208.59/1209.00	c 1208s |      19 |   645493 |   618082 |    16934     87 |       22 |       68
1210.79/1211.15	c 1210s |      19 |   646736 |   619282 |    16934     87 |       22 |       68
1212.88/1213.23	c 1213s |      19 |   647867 |   620382 |    16934     88 |       22 |       68
1214.88/1215.24	c 1215s |      19 |   649000 |   621482 |    16934     88 |       22 |       68
1216.98/1217.33	c 1217s |      19 |   650239 |   622682 |    16934     88 |       22 |       68
1219.08/1219.46	c 1219s |      19 |   651488 |   623882 |    16934     88 |       22 |       68
1221.08/1221.49	c 1221s |      19 |   652636 |   624982 |    16934     88 |       22 |       68
1223.18/1223.50	c 1223s |      19 |   653790 |   626082 |    16934     88 |       22 |       68
1225.19/1225.53	c 1225s |      19 |   654940 |   627182 |    16934     88 |       22 |       68
1227.18/1227.53	c 1227s |      19 |   656107 |   628282 |    16934     88 |       22 |       68
1229.18/1229.55	c 1229s |      19 |   657273 |   629382 |    16934     89 |       22 |       68
1231.28/1231.62	c 1231s |      19 |   658528 |   630582 |    16934     89 |       22 |       68
1233.28/1233.68	c 1233s |      19 |   659771 |   631782 |    16934     89 |       22 |       68
1235.38/1235.77	c 1235s |      19 |   660932 |   632882 |    16934     89 |       22 |       68
1237.68/1238.06	c 1237s |      19 |   661981 |   633882 |    16934     89 |       22 |       68
1240.17/1240.56	c 1240s |      19 |   662707 |   634582 |    16934     89 |       22 |       68
1242.27/1242.68	c 1242s |      19 |   663950 |   635782 |    16934     89 |       22 |       68
1244.37/1244.72	c 1244s |      19 |   664989 |   636782 |    16934     89 |       22 |       68
1246.37/1246.76	c 1246s |      19 |   665947 |   637682 |    16934     90 |       22 |       68
1248.47/1248.88	c 1248s |      19 |   667301 |   638982 |    16934     90 |       22 |       68
1250.48/1250.88	c 1250s |      19 |   668549 |   640182 |    16934     90 |       22 |       68
1252.47/1252.89	c 1252s |      19 |   669798 |   641382 |    16934     90 |       22 |       68
1254.67/1255.00	c 1254s |      19 |   671066 |   642582 |    16934     90 |       22 |       68
1256.77/1257.18	c 1257s |      19 |   672305 |   643782 |    16934     90 |       22 |       68
1258.97/1259.34	c 1259s |      19 |   673547 |   644982 |    16934     90 |       22 |       68
1261.07/1261.44	c 1261s |      19 |   674571 |   645982 |    16934     91 |       22 |       68
1263.17/1263.57	c 1263s |      19 |   675917 |   647282 |    16934     91 |       22 |       68
1265.18/1265.58	c 1265s |      19 |   677159 |   648482 |    16934     91 |       22 |       68
1267.28/1267.63	c 1267s |      19 |   678295 |   649582 |    16934     91 |       22 |       68
1269.38/1269.75	c 1269s |      19 |   679532 |   650782 |    16934     91 |       22 |       68
1271.48/1271.82	c 1271s |      19 |   680663 |   651882 |    16934     91 |       22 |       68
1273.48/1273.88	c 1273s |      19 |   681795 |   652982 |    16934     91 |       22 |       68
1275.88/1276.25	c 1276s |      19 |   682925 |   654082 |    16934     92 |       22 |       68
1277.88/1278.27	c 1278s |      19 |   684066 |   655182 |    16934     92 |       22 |       68
1279.97/1280.36	c 1280s |      19 |   685317 |   656382 |    16934     92 |       22 |       68
1282.07/1282.40	c 1282s |      19 |   686343 |   657382 |    16934     92 |       22 |       68
1284.17/1284.58	c 1284s |      19 |   687468 |   658482 |    16934     92 |       22 |       68
1286.27/1286.61	c 1286s |      19 |   688608 |   659582 |    16934     92 |       22 |       68
1288.98/1289.37	c 1289s |      19 |   689346 |   660282 |    16934     92 |       22 |       68
1291.08/1291.43	c 1291s |      19 |   690490 |   661382 |    16934     92 |       22 |       68
1293.17/1293.58	c 1293s |      19 |   691652 |   662482 |    18628     92 |       22 |       68
1295.27/1295.64	c 1295s |      19 |   692678 |   663482 |    18628     92 |       22 |       68
1297.37/1297.75	c 1297s |      19 |   693611 |   664382 |    18628     93 |       22 |       68
1299.47/1299.85	c 1299s |      19 |   694441 |   665182 |    18628     93 |       22 |       68
1301.57/1301.91	c 1301s |      19 |   695787 |   666482 |    18628     93 |       22 |       68
1302.08/1302.47	c 1302s |      20 |   696142 |   666827 |    18628     93 |       22 |       68
1304.17/1304.52	c 1304s |      20 |   697544 |   668127 |    18628     93 |       22 |       68
1306.37/1306.70	c 1306s |      20 |   698917 |   669427 |    18628     93 |       22 |       68
1308.37/1308.77	c 1308s |      20 |   700160 |   670627 |    18628     93 |       22 |       68
1310.57/1310.91	c 1310s |      20 |   701407 |   671827 |    18628     93 |       22 |       68
1312.57/1312.92	c 1312s |      20 |   702443 |   672827 |    18628     93 |       22 |       68
1314.57/1314.96	c 1314s |      20 |   703587 |   673927 |    18628     94 |       22 |       68
1316.57/1316.98	c 1316s |      20 |   704938 |   675227 |    18628     94 |       22 |       68
1318.77/1319.13	c 1318s |      20 |   706274 |   676527 |    18628     94 |       22 |       68
1320.77/1321.17	c 1321s |      20 |   707538 |   677727 |    18628     94 |       22 |       68
1322.87/1323.21	c 1323s |      20 |   708778 |   678927 |    18628     94 |       22 |       68
1324.97/1325.32	c 1325s |      20 |   710040 |   680127 |    18628     94 |       22 |       68
1326.97/1327.35	c 1327s |      20 |   711184 |   681227 |    18628     94 |       22 |       68
1329.07/1329.42	c 1329s |      20 |   712343 |   682327 |    18628     94 |       22 |       68
1331.17/1331.54	c 1331s |      20 |   713517 |   683427 |    18628     95 |       22 |       68
1333.16/1333.58	c 1333s |      20 |   714831 |   684627 |    18628     95 |       22 |       68
1335.36/1335.71	c 1335s |      20 |   715988 |   685727 |    18628     95 |       22 |       68
1337.37/1337.76	c 1337s |      20 |   717136 |   686827 |    18628     95 |       22 |       68
1339.47/1339.84	c 1339s |      20 |   718277 |   687927 |    18628     95 |       22 |       68
1341.56/1342.00	c 1341s |      20 |   719434 |   689027 |    18628     95 |       22 |       68
1343.76/1344.14	c 1343s |      20 |   720618 |   690127 |    18628     95 |       22 |       68
1345.86/1346.24	c 1346s |      20 |   721663 |   691127 |    18628     95 |       22 |       68
1348.06/1348.43	c 1348s |      20 |   722735 |   692127 |    18628     95 |       22 |       68
1350.26/1350.61	c 1350s |      20 |   723803 |   693127 |    18628     96 |       22 |       68
1352.26/1352.66	c 1352s |      20 |   724732 |   694027 |    18628     96 |       22 |       68
1354.36/1354.76	c 1354s |      20 |   725885 |   695127 |    18628     96 |       22 |       68
1356.36/1356.78	c 1356s |      20 |   727148 |   696327 |    18628     96 |       22 |       68
1358.46/1358.87	c 1358s |      20 |   728399 |   697527 |    18628     96 |       22 |       68
1360.56/1360.90	c 1360s |      20 |   729658 |   698727 |    18628     96 |       22 |       68
1362.56/1362.99	c 1362s |      20 |   730893 |   699927 |    18628     96 |       22 |       68
1364.66/1365.04	c 1364s |      20 |   732138 |   701127 |    18628     96 |       22 |       68
1366.66/1367.08	c 1366s |      20 |   733214 |   702127 |    18628     97 |       22 |       68
1368.76/1369.15	c 1368s |      20 |   734519 |   703327 |    18628     97 |       22 |       68
1370.96/1371.31	c 1371s |      20 |   735702 |   704427 |    18628     97 |       22 |       68
1373.06/1373.45	c 1373s |      20 |   736845 |   705527 |    18628     97 |       22 |       68
1375.16/1375.55	c 1375s |      20 |   737996 |   706627 |    18628     97 |       22 |       68
1377.26/1377.60	c 1377s |      20 |   739135 |   707727 |    18628     97 |       22 |       68
1379.36/1379.70	c 1379s |      20 |   740266 |   708827 |    18628     97 |       22 |       68
1381.36/1381.76	c 1381s |      20 |   741406 |   709927 |    18628     97 |       22 |       68
1383.56/1383.91	c 1383s |      20 |   742543 |   711027 |    18628     97 |       22 |       68
1385.55/1385.95	c 1385s |      20 |   743590 |   712027 |    18628     98 |       22 |       68
1387.65/1388.07	c 1387s |      20 |   744739 |   713127 |    18628     98 |       22 |       68
1390.85/1391.24	c 1391s |      20 |   745884 |   714227 |    18628     98 |       22 |       68
1393.55/1393.90	c 1393s |      20 |   747022 |   715327 |    18628     98 |       22 |       68
1395.66/1396.07	c 1395s |      20 |   748285 |   716527 |    18628     98 |       22 |       68
1397.76/1398.14	c 1397s |      20 |   749434 |   717627 |    18628     98 |       22 |       68
1399.85/1400.27	c 1400s |      20 |   750586 |   718727 |    18628     98 |       22 |       68
1402.05/1402.41	c 1402s |      20 |   751738 |   719827 |    18628     98 |       22 |       68
1404.15/1404.53	c 1404s |      20 |   752776 |   720827 |    18628     99 |       22 |       68
1406.25/1406.63	c 1406s |      20 |   754019 |   722027 |    18628     99 |       22 |       68
1408.35/1408.79	c 1408s |      20 |   755361 |   723327 |    18628     99 |       22 |       68
1410.45/1410.81	c 1410s |      20 |   756602 |   724527 |    18628     99 |       22 |       68
1412.65/1413.00	c 1412s |      20 |   757840 |   725727 |    18628     99 |       22 |       68
1414.65/1415.01	c 1414s |      20 |   758975 |   726827 |    18628     99 |       22 |       68
1416.65/1417.09	c 1416s |      20 |   760215 |   728027 |    18628     99 |       22 |       68
1418.85/1419.25	c 1419s |      20 |   760521 |   728327 |    18628     99 |       22 |       68
1420.85/1421.28	c 1421s |      20 |   761567 |   729327 |    18628     99 |       22 |       68
1422.95/1423.38	c 1423s |      20 |   762590 |   730327 |    18628    100 |       22 |       68
1425.05/1425.46	c 1425s |      20 |   763741 |   731427 |    18628    100 |       22 |       68
1427.05/1427.46	c 1427s |      20 |   764895 |   732527 |    18628    100 |       22 |       68
1429.24/1429.61	c 1429s |      20 |   766143 |   733727 |    18628    100 |       22 |       68
1432.45/1432.84	c 1432s |      20 |   766663 |   734227 |    18628    100 |       22 |       68
1434.65/1435.05	c 1434s |      20 |   767906 |   735427 |    18628    100 |       22 |       68
1436.75/1437.13	c 1436s |      20 |   769053 |   736527 |    18628    100 |       22 |       68
1438.85/1439.24	c 1439s |      20 |   770179 |   737627 |    18628    100 |       22 |       68
1440.95/1441.35	c 1441s |      20 |   771295 |   738727 |    18628    100 |       22 |       68
1443.05/1443.44	c 1443s |      20 |   772229 |   739627 |    18628    101 |       22 |       68
1445.16/1445.57	c 1445s |      20 |   773367 |   740727 |    18628    101 |       22 |       68
1447.26/1447.61	c 1447s |      20 |   774508 |   741827 |    18628    101 |       22 |       68
1449.35/1449.73	c 1449s |      20 |   775632 |   742927 |    18628    101 |       22 |       68
1451.55/1451.91	c 1451s |      20 |   776237 |   743527 |    18628    101 |       22 |       68
1453.65/1454.04	c 1453s |      20 |   777376 |   744627 |    18628    101 |       22 |       68
1455.65/1456.05	c 1455s |      20 |   778525 |   745727 |    18628    101 |       22 |       68
1458.04/1458.49	c 1458s |      20 |   779787 |   746927 |    18628    101 |       22 |       68
1460.14/1460.54	c 1460s |      20 |   780982 |   748027 |    18628    101 |       22 |       68
1462.14/1462.56	c 1462s |      20 |   782039 |   749027 |    18628    102 |       22 |       68
1464.34/1464.73	c 1464s |      20 |   783284 |   750227 |    18628    102 |       22 |       68
1466.44/1466.86	c 1466s |      20 |   784538 |   751427 |    18628    102 |       22 |       68
1468.44/1468.89	c 1468s |      20 |   785781 |   752627 |    18628    102 |       22 |       68
1470.64/1471.04	c 1470s |      20 |   787052 |   753827 |    18628    102 |       22 |       68
1472.84/1473.23	c 1473s |      20 |   788183 |   754927 |    18628    102 |       22 |       68
1474.85/1475.25	c 1475s |      20 |   789310 |   756027 |    18628    102 |       22 |       68
1476.84/1477.30	c 1477s |      20 |   790442 |   757127 |    18628    102 |       22 |       68
1479.04/1479.43	c 1479s |      20 |   791587 |   758227 |    18628    102 |       22 |       68
1481.24/1481.60	c 1481s |      20 |   792718 |   759327 |    18628    103 |       22 |       68
1483.34/1483.73	c 1483s |      20 |   793633 |   760227 |    18628    103 |       22 |       68
1485.34/1485.77	c 1485s |      20 |   794756 |   761327 |    18628    103 |       22 |       68
1487.44/1487.86	c 1487s |      20 |   795995 |   762527 |    18628    103 |       22 |       68
1489.54/1489.98	c 1489s |      20 |   797251 |   763727 |    18628    103 |       22 |       68
1491.64/1492.08	c 1491s |      20 |   798377 |   764827 |    18628    103 |       22 |       68
1493.64/1494.09	c 1493s |      20 |   799528 |   765927 |    18628    103 |       22 |       68
1495.84/1496.28	c 1496s |      20 |   800787 |   767127 |    18628    103 |       22 |       68
1498.74/1499.12	c 1498s |      20 |   801202 |   767527 |    18628    103 |       22 |       68
1500.73/1501.17	c 1501s |      20 |   802349 |   768627 |    18628    104 |       22 |       68
1502.83/1503.25	c 1503s |      20 |   803593 |   769827 |    18628    104 |       22 |       68
1505.84/1506.25	c 1506s |      20 |   804332 |   770527 |    18628    104 |       22 |       68
1507.84/1508.26	c 1508s |      20 |   805599 |   771727 |    18628    104 |       22 |       68
1509.94/1510.36	c 1510s |      20 |   806849 |   772927 |    18628    104 |       22 |       68
1511.94/1512.39	c 1512s |      20 |   807988 |   774027 |    18628    104 |       22 |       68
1514.04/1514.47	c 1514s |      20 |   809136 |   775127 |    18628    104 |       22 |       68
1516.14/1516.58	c 1516s |      20 |   810298 |   776227 |    18628    104 |       22 |       68
1518.33/1518.73	c 1518s |      20 |   811490 |   777327 |    18628    105 |       22 |       68
1520.53/1520.90	c 1520s |      20 |   812757 |   778527 |    18628    105 |       22 |       68
1522.53/1522.93	c 1522s |      20 |   814005 |   779727 |    18628    105 |       22 |       68
1524.63/1525.10	c 1524s |      20 |   815255 |   780927 |    18628    105 |       22 |       68
1526.83/1527.29	c 1527s |      20 |   816489 |   782127 |    18628    105 |       22 |       68
1529.13/1529.58	c 1529s |      20 |   817630 |   783227 |    18628    105 |       22 |       68
1531.23/1531.63	c 1531s |      20 |   818782 |   784327 |    18628    105 |       22 |       68
1533.33/1533.71	c 1533s |      20 |   819804 |   785327 |    18628    105 |       22 |       68
1535.43/1535.85	c 1535s |      20 |   820934 |   786427 |    18628    105 |       22 |       68
1537.44/1537.88	c 1537s |      20 |   821656 |   787127 |    18628    106 |       22 |       68
1539.64/1540.07	c 1539s |      20 |   822895 |   788327 |    18628    106 |       22 |       68
1541.84/1542.23	c 1542s |      20 |   824150 |   789527 |    18628    106 |       22 |       68
1544.43/1544.88	c 1544s |      20 |   824571 |   789927 |    18628    106 |       22 |       68
1546.63/1547.00	c 1546s |      20 |   825823 |   791127 |    18628    106 |       22 |       68
1548.73/1549.19	c 1549s |      20 |   827083 |   792327 |    18628    106 |       22 |       68
1550.83/1551.26	c 1551s |      20 |   828234 |   793427 |    18628    106 |       22 |       68
1552.93/1553.36	c 1553s |      20 |   829377 |   794527 |    18628    106 |       22 |       68
1555.03/1555.49	c 1555s |      20 |   830543 |   795627 |    18628    106 |       22 |       68
1557.13/1557.53	c 1557s |      20 |   831591 |   796627 |    18628    107 |       22 |       68
1559.23/1559.67	c 1559s |      20 |   832884 |   797827 |    18628    107 |       22 |       68
1561.33/1561.73	c 1561s |      20 |   834063 |   798927 |    18628    107 |       22 |       68
1563.33/1563.78	c 1563s |      20 |   835251 |   800027 |    18628    107 |       22 |       68
1565.53/1565.95	c 1565s |      20 |   836406 |   801127 |    18628    107 |       22 |       68
1567.73/1568.14	c 1567s |      20 |   837545 |   802227 |    18628    107 |       22 |       68
1569.83/1570.27	c 1570s |      20 |   838712 |   803327 |    18628    107 |       22 |       68
1571.93/1572.31	c 1572s |      20 |   839851 |   804427 |    18628    107 |       22 |       68
1573.93/1574.37	c 1574s |      20 |   840909 |   805427 |    18628    108 |       22 |       68
1575.93/1576.40	c 1576s |      20 |   842062 |   806527 |    18628    108 |       22 |       68
1578.13/1578.51	c 1578s |      20 |   843213 |   807627 |    18628    108 |       22 |       68
1580.22/1580.64	c 1580s |      20 |   844352 |   808727 |    18628    108 |       22 |       68
1582.22/1582.65	c 1582s |      20 |   845399 |   809727 |    18628    108 |       22 |       68
1584.42/1584.81	c 1584s |      20 |   846529 |   810827 |    18628    108 |       22 |       68
1586.42/1586.83	c 1586s |      20 |   847666 |   811927 |    18628    108 |       22 |       68
1588.62/1589.00	c 1588s |      20 |   848813 |   813027 |    18628    108 |       22 |       68
1590.62/1591.05	c 1590s |      20 |   849852 |   814027 |    18628    108 |       22 |       68
1592.72/1593.17	c 1592s |      20 |   850957 |   815027 |    18628    109 |       22 |       68
1594.82/1595.25	c 1595s |      20 |   852046 |   816027 |    18628    109 |       22 |       68
1596.93/1597.33	c 1597s |      20 |   853161 |   817027 |    18628    109 |       22 |       68
1599.03/1599.48	c 1599s |      20 |   854241 |   817927 |    18628    109 |       22 |       68
1601.12/1601.51	c 1601s |      20 |   855336 |   818927 |    18628    109 |       22 |       68
1603.22/1603.60	c 1603s |      20 |   856511 |   820027 |    18628    109 |       22 |       68
1605.22/1605.65	c 1605s |      20 |   857579 |   821027 |    18628    109 |       22 |       68
1607.22/1607.66	c 1607s |      20 |   858653 |   822027 |    18628    109 |       22 |       68
1609.22/1609.67	c 1609s |      20 |   859705 |   823027 |    18628    109 |       22 |       68
1611.32/1611.79	c 1611s |      20 |   860777 |   824027 |    18628    109 |       22 |       68
1613.52/1613.94	c 1613s |      20 |   861854 |   825027 |    18628    110 |       22 |       68
1615.63/1616.02	c 1615s |      20 |   863087 |   826227 |    18628    110 |       22 |       68
1617.62/1618.06	c 1617s |      20 |   864232 |   827327 |    18628    110 |       22 |       68
1620.02/1620.42	c 1620s |      20 |   865065 |   828127 |    18628    110 |       22 |       68
1622.12/1622.57	c 1622s |      20 |   866315 |   829327 |    18628    110 |       22 |       68
1624.21/1624.67	c 1624s |      20 |   867461 |   830427 |    18628    110 |       22 |       68
1626.41/1626.82	c 1626s |      20 |   868696 |   831627 |    18628    110 |       22 |       68
1628.51/1628.96	c 1628s |      20 |   869945 |   832827 |    18628    110 |       22 |       68
1630.61/1631.08	c 1630s |      20 |   871110 |   833927 |    18628    111 |       22 |       68
1632.71/1633.14	c 1632s |      20 |   872273 |   835027 |    18628    111 |       22 |       68
1637.92/1638.37	c 1638s |      20 |   873002 |   835727 |    18628    111 |       22 |       68
1640.02/1640.41	c 1640s |      20 |   874280 |   836927 |    18628    111 |       22 |       68
1642.12/1642.50	c 1642s |      20 |   875555 |   838127 |    18628    111 |       22 |       68
1644.12/1644.56	c 1644s |      20 |   876790 |   839327 |    18628    111 |       22 |       68
1646.32/1646.73	c 1646s |      20 |   878072 |   840527 |    18628    111 |       22 |       68
1648.41/1648.80	c 1648s |      20 |   879249 |   841627 |    18628    111 |       22 |       68
1650.41/1650.84	c 1650s |      20 |   880442 |   842727 |    18628    111 |       22 |       68
1652.41/1652.86	c 1652s |      20 |   881377 |   843627 |    18628    112 |       22 |       68
1654.41/1654.89	c 1654s |      20 |   882502 |   844727 |    18628    112 |       22 |       68
1656.61/1657.06	c 1656s |      20 |   883654 |   845827 |    18628    112 |       22 |       68
1658.81/1659.25	c 1659s |      20 |   884905 |   847027 |    18628    112 |       22 |       68
1660.91/1661.36	c 1661s |      20 |   886039 |   848127 |    18628    112 |       22 |       68
1663.01/1663.41	c 1663s |      20 |   887191 |   849227 |    18628    112 |       22 |       68
1665.02/1665.49	c 1665s |      20 |   888320 |   850327 |    18628    112 |       22 |       68
1667.11/1667.56	c 1667s |      20 |   889360 |   851327 |    18628    112 |       22 |       68
1669.42/1669.81	c 1669s |      20 |   890515 |   852427 |    18628    113 |       22 |       68
1671.41/1671.82	c 1671s |      20 |   891452 |   853327 |    18628    113 |       22 |       68
1673.41/1673.88	c 1673s |      20 |   892619 |   854427 |    18628    113 |       22 |       68
1675.61/1676.03	c 1675s |      20 |   893870 |   855627 |    18628    113 |       22 |       68
1677.71/1678.10	c 1677s |      20 |   895126 |   856827 |    18628    113 |       22 |       68
1679.81/1680.26	c 1680s |      20 |   896381 |   858027 |    18628    113 |       22 |       68
1681.91/1682.38	c 1682s |      20 |   897545 |   859127 |    18628    113 |       22 |       68
1684.01/1684.47	c 1684s |      20 |   898717 |   860227 |    18628    113 |       22 |       68
1686.11/1686.58	c 1686s |      20 |   899764 |   861227 |    18628    113 |       22 |       68
1688.21/1688.69	c 1688s |      20 |   900803 |   862227 |    18628    114 |       22 |       68
1690.31/1690.77	c 1690s |      20 |   902066 |   863427 |    18628    114 |       22 |       68
1692.40/1692.85	c 1692s |      20 |   902487 |   863827 |    18628    114 |       22 |       68
1694.61/1695.09	c 1694s |      20 |   902907 |   864227 |    18628    114 |       22 |       68
1696.71/1697.19	c 1697s |      20 |   904143 |   865427 |    18628    114 |       22 |       68
1698.91/1699.34	c 1699s |      20 |   905388 |   866627 |    18628    114 |       22 |       68
1701.11/1701.50	c 1701s |      20 |   906634 |   867827 |    18628    114 |       22 |       68
1703.11/1703.52	c 1703s |      20 |   907774 |   868927 |    18628    114 |       22 |       68
1705.11/1705.54	c 1705s |      20 |   908902 |   870027 |    18628    114 |       22 |       68
1707.21/1707.68	c 1707s |      20 |   910056 |   871127 |    18628    114 |       22 |       68
1709.41/1709.85	c 1709s |      20 |   911193 |   872227 |    18628    115 |       22 |       68
1711.51/1711.98	c 1711s |      20 |   912331 |   873327 |    18628    115 |       22 |       68
1713.71/1714.13	c 1713s |      20 |   913586 |   874527 |    18628    115 |       22 |       68
1715.91/1716.32	c 1716s |      20 |   914843 |   875727 |    18628    115 |       22 |       68
1718.01/1718.44	c 1718s |      20 |   916006 |   876827 |    18628    115 |       22 |       68
1720.21/1720.61	c 1720s |      20 |   917146 |   877927 |    18628    115 |       22 |       68
1722.31/1722.75	c 1722s |      20 |   918282 |   879027 |    18628    115 |       22 |       68
1724.41/1724.85	c 1724s |      20 |   919423 |   880127 |    18628    115 |       22 |       68
1726.50/1726.98	c 1726s |      20 |   920565 |   881227 |    18628    116 |       22 |       68
1728.70/1729.10	c 1728s |      20 |   921831 |   882427 |    18628    116 |       22 |       68
1730.80/1731.23	c 1731s |      20 |   923172 |   883727 |    18628    116 |       22 |       68
1732.90/1733.33	c 1733s |      20 |   924435 |   884927 |    18628    116 |       22 |       68
1735.00/1735.43	c 1735s |      20 |   925678 |   886127 |    18628    116 |       22 |       68
1737.00/1737.48	c 1737s |      20 |   926814 |   887227 |    18628    116 |       22 |       68
1739.20/1739.61	c 1739s |      20 |   928070 |   888427 |    18628    116 |       22 |       68
1741.30/1741.74	c 1741s |      20 |   929211 |   889527 |    18628    116 |       22 |       68
1743.40/1743.86	c 1743s |      20 |   930360 |   890627 |    18628    117 |       22 |       68
1745.50/1745.96	c 1745s |      20 |   931633 |   891827 |    18628    117 |       22 |       68
1747.70/1748.14	c 1747s |      20 |   933031 |   893127 |    18628    117 |       22 |       68
1749.81/1750.27	c 1750s |      20 |   934229 |   894227 |    18628    117 |       22 |       68
1751.91/1752.39	c 1752s |      20 |   935261 |   895127 |    18628    117 |       22 |       68
1754.00/1754.47	c 1754s |      20 |   936506 |   896327 |    18628    117 |       22 |       68
1756.10/1756.59	c 1756s |      20 |   937610 |   897327 |    18628    117 |       22 |       68
1758.40/1758.84	c 1758s |      20 |   938625 |   898227 |    18628    117 |       22 |       68
1760.60/1761.07	c 1760s |      20 |   939502 |   899027 |    18628    117 |       22 |       68
1762.70/1763.16	c 1762s |      20 |   940507 |   899927 |    18628    118 |       22 |       68
1764.80/1765.27	c 1765s |      20 |   941618 |   900927 |    18628    118 |       22 |       68
1766.80/1767.29	c 1767s |      20 |   942736 |   901927 |    18628    118 |       22 |       68
1769.00/1769.43	c 1769s |      20 |   943777 |   902827 |    18628    118 |       22 |       68
1771.10/1771.50	c 1771s |      20 |   945057 |   904027 |    18628    118 |       22 |       68
1773.20/1773.67	c 1773s |      20 |   946313 |   905227 |    18628    118 |       22 |       68
1775.30/1775.73	c 1775s |      20 |   947469 |   906327 |    18628    118 |       22 |       68
1777.30/1777.73	c 1777s |      20 |   948614 |   907427 |    18628    118 |       22 |       68
1779.30/1779.77	c 1779s |      20 |   949868 |   908627 |    18628    118 |       22 |       68
1781.40/1781.86	c 1781s |      20 |   951009 |   909727 |    18628    119 |       22 |       68
1783.49/1783.95	c 1783s |      20 |   952127 |   910727 |    18628    119 |       22 |       68
1785.69/1786.11	c 1785s |      20 |   953271 |   911727 |    18628    119 |       22 |       68
1787.69/1788.13	c 1787s |      20 |   954381 |   912727 |    18628    119 |       22 |       68
1789.79/1790.27	c 1790s |      20 |   955340 |   913527 |    18628    119 |       22 |       68
1791.99/1792.47	c 1792s |      20 |   956237 |   914327 |    18628    119 |       22 |       68
1794.19/1794.61	c 1794s |      20 |   957241 |   915227 |    18628    119 |       22 |       68
1796.29/1796.71	c 1796s |      20 |   958135 |   916027 |    18628    119 |       22 |       68
1798.49/1798.91	c 1798s |      20 |   959014 |   916827 |    18628    119 |       22 |       68

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

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.06 2.02 3/180 13607
/proc/meminfo: memFree=30584344/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 2693 0 0 0 0 0 0 0 20 0 4 0 24471615 738652160 2543 33554432000 4194304 16246674 140733323294016 140733323293440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 180847 2552 441 2943 0 177741 0
[pid=13607/tid=13608] ppid=13604 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 756477952 2612 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 761720832 2628 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=746940 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24471615 764866560 2644 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.15 2.06 2.02 3/180 13607
/proc/meminfo: memFree=30584344/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1300036 CPUtime=0.09 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 25222 0 0 0 6 3 0 0 20 0 4 0 24471615 1331236864 25010 33554432000 4194304 16246674 140733323294016 140733323293328 13192029 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 325009 25017 827 2943 0 321903 0
[pid=13607/tid=13608] ppid=13604 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1331236864 25022 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1331236864 25027 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1331236864 25031 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1300036

[startup+0.200508 s]
/proc/loadavg: 2.15 2.06 2.02 3/180 13607
/proc/meminfo: memFree=30584344/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1308228 CPUtime=0.19 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 31514 0 0 0 15 4 0 0 20 0 4 0 24471615 1339625472 31302 33554432000 4194304 16246674 140733323294016 140733323293328 5842313 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 327057 31302 895 2943 0 323951 0
[pid=13607/tid=13608] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 31302 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 31302 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 31302 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1308228

[startup+0.300476 s]
/proc/loadavg: 2.15 2.06 2.02 3/180 13607
/proc/meminfo: memFree=30584344/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1308228 CPUtime=0.29 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 31514 0 0 0 25 4 0 0 20 0 4 0 24471615 1339625472 31302 33554432000 4194304 16246674 140733323294016 140733323293328 5661124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 327057 31302 895 2943 0 323951 0
[pid=13607/tid=13608] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 31302 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 31302 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 31302 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1308228

[startup+0.700301 s]
/proc/loadavg: 2.15 2.06 2.02 3/180 13607
/proc/meminfo: memFree=30584344/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1308228 CPUtime=0.69 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 62272 0 0 0 61 8 0 0 20 0 4 0 24471615 1339625472 62060 33554432000 4194304 16246674 140733323294016 140733323275904 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 327057 62061 895 2943 0 323951 0
[pid=13607/tid=13608] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 62062 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 62062 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 62065 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228

[startup+1.50039 s]
/proc/loadavg: 2.15 2.06 2.02 3/184 13611
/proc/meminfo: memFree=30165688/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 151659 0 0 0 126 23 0 0 20 0 4 0 24471615 1339625472 151448 33554432000 4194304 16246674 140733323294016 140733323275904 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 327057 151453 895 2943 0 323951 0
[pid=13607/tid=13608] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 151453 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 151453 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 151454 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10031 s]
/proc/loadavg: 2.15 2.06 2.02 3/184 13611
/proc/meminfo: memFree=29784512/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1308228 CPUtime=3.08 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 200430 0 0 0 279 29 0 0 20 0 4 0 24471615 1339625472 200218 33554432000 4194304 16246674 140733323294016 140733323275904 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 327057 200218 895 2943 0 323951 0
[pid=13607/tid=13608] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 200218 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 200218 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 200218 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1308228

[startup+6.30039 s]
/proc/loadavg: 2.13 2.06 2.02 4/184 13611
/proc/meminfo: memFree=29513688/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 268253 0 0 0 591 38 0 0 20 0 4 0 24471615 1339625472 268041 33554432000 4194304 16246674 140733323294016 140733323275904 5601168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 327057 268041 895 2943 0 323951 0
[pid=13607/tid=13608] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 268041 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 268041 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 268041 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.12 2.06 2.02 3/184 13611
/proc/meminfo: memFree=29513388/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 268259 0 0 0 1230 38 0 0 20 0 4 0 24471615 1339625472 268047 33554432000 4194304 16246674 140733323294016 140733323275904 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 327057 268047 901 2943 0 323951 0
[pid=13607/tid=13608] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 268047 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 268047 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 268047 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.10 2.06 2.02 3/184 13611
/proc/meminfo: memFree=29513596/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 268259 0 0 0 2510 38 0 0 20 0 4 0 24471615 1339625472 268047 33554432000 4194304 16246674 140733323294016 140733323275904 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 327057 268047 901 2943 0 323951 0
[pid=13607/tid=13608] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 268047 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 268047 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 268047 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 13611
/proc/meminfo: memFree=29513592/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 268259 0 0 0 5070 38 0 0 20 0 4 0 24471615 1339625472 268047 33554432000 4194304 16246674 140733323294016 140733323275904 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 327057 268047 901 2943 0 323951 0
[pid=13607/tid=13608] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 268047 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 268047 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1339625472 268047 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/183 13613
/proc/meminfo: memFree=29511240/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1309252 CPUtime=102.27 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 268516 0 0 0 10189 38 0 0 20 0 4 0 24471615 1340674048 268304 33554432000 4194304 16246674 140733323294016 140733323275904 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 327313 268304 902 2943 0 324207 0
[pid=13607/tid=13608] ppid=13604 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1340674048 268304 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1340674048 268304 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1340674048 268304 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1309252


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

/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1354308

[startup+1362.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/182 13693
/proc/meminfo: memFree=29443040/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1354308 CPUtime=1361.96 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 280015 0 0 0 136147 49 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140733323275904 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 338577 279825 903 2943 0 335471 0
[pid=13607/tid=13608] ppid=13604 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1354308

[startup+1422.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 13695
/proc/meminfo: memFree=29442752/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1354308 CPUtime=1421.95 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 280015 0 0 0 142146 49 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140733323275904 13774504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 338577 279825 903 2943 0 335471 0
[pid=13607/tid=13608] ppid=13604 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1354308

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.00 4/183 13696
/proc/meminfo: memFree=29442776/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1354308 CPUtime=1481.94 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 280015 0 0 0 148144 50 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140733323293192 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 338577 279825 903 2943 0 335471 0
[pid=13607/tid=13608] ppid=13604 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1354308

[startup+1542.31 s]
/proc/loadavg: 2.09 2.05 2.00 3/183 13697
/proc/meminfo: memFree=29442552/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1354308 CPUtime=1541.94 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 280015 0 0 0 154143 51 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140733323275904 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 338577 279825 903 2943 0 335471 0
[pid=13607/tid=13608] ppid=13604 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1386811392 279825 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1354308

[startup+1602.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/183 13698
/proc/meminfo: memFree=29427816/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1368644 CPUtime=1601.92 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 283599 0 0 0 160140 52 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140733323275904 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 342161 283409 903 2943 0 339055 0
[pid=13607/tid=13608] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1368644

[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.00 3/183 13700
/proc/meminfo: memFree=29427612/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1368644 CPUtime=1661.91 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 283599 0 0 0 166138 53 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140733323275904 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 342161 283409 903 2943 0 339055 0
[pid=13607/tid=13608] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1368644

[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 13701
/proc/meminfo: memFree=29427636/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1368644 CPUtime=1721.91 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 283599 0 0 0 172137 54 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140733323277016 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 342161 283409 903 2943 0 339055 0
[pid=13607/tid=13608] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1368644

[startup+1782.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/183 13702
/proc/meminfo: memFree=29428312/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1368644 CPUtime=1781.9 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 283599 0 0 0 178136 54 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140733323275904 5712020 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 342161 283409 903 2943 0 339055 0
[pid=13607/tid=13608] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1368644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.06 2.07 2.01 3/184 13705
/proc/meminfo: memFree=29428476/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1368644 CPUtime=1800.09 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 283599 0 0 0 179955 54 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140733323275904 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 342161 283409 903 2943 0 339055 0
[pid=13607/tid=13608] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1368644

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

[startup+1800.5 s]
/proc/loadavg: 2.06 2.07 2.01 3/184 13705
/proc/meminfo: memFree=29428476/32872528 swapFree=249320/249320
[pid=13607] ppid=13604 vsize=1368644 CPUtime=1800.09 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 11324 0 -1 4202496 283599 0 0 0 179955 54 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140733323275904 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 342161 283409 903 2943 0 339055 0
[pid=13607/tid=13608] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652240153840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652229663984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24471615 1401491456 283409 33554432000 4194304 16246674 140733323294016 140652219190448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1368644

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1799.56
CPU system time (s): 0.543917
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 1368644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.543917
maximum resident set size= 1133636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283599
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= 249
involuntary context switches= 1865

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42887 second user time and 8.61869 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 06:30:12
IDJOB=4101513
IDBENCH=1760
IDSOLVER=2542
FILE ID=node103/4101513-1466224212
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101513-1466224212/watcher-4101513-1466224212 -o /tmp/evaluation-result-4101513-1466224212/solver-4101513-1466224212 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101513-1466224212.opb

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

MD5SUM BENCH= e2f15e37dec17456fb4044387114eb48
RANDOM SEED=1422941069

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        30584872 kB
Buffers:          108036 kB
Cached:           121780 kB
SwapCached:         2200 kB
Active:          1157104 kB
Inactive:         146468 kB
Active(anon):    1072636 kB
Inactive(anon):     3600 kB
Active(file):      84468 kB
Inactive(file):   142868 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             17052 kB
Writeback:             0 kB
AnonPages:       1321996 kB
Mapped:            10444 kB
Shmem:                 0 kB
Slab:             601704 kB
SReclaimable:      45152 kB
SUnreclaim:       556552 kB
KernelStack:        1528 kB
PageTables:         6712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1465956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71700 MiB
End job on node103 at 2016-06-18 07:00:13