Trace number 4102945

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-5-c.opb
MD5SUM47657fb6d35516304c5b4897d4fb805d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2678
Total number of constraints6689
Number of constraints which are clauses6689
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 2678
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2678
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2678
Number of bits of the biggest sum of numbers12
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-18T08:36:33+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-4102945-1466231793.opb"]
0.00/0.01	c use --random-gen="2878667282 420085302 3245733721 3496471705 3383144242 3591410746 1952446403 1582850258 1355856280 930678684 1490443157 4162395411 4084862367 471529855 371015132 2610735411 3577726113 1746199255 874554353 1890101652 1066069160 4234998941 2402970979 2031969572 417260567 1785291773 3696458656 190973971 3085006062 2396554806 722401878 2749137345 3031189759 1077765425 3232218764 3917914579 2382969314 2195156946 336798560 1567177111 2160442075 2916742890 3304431810 4135285234 840838089 446880510 4064027656 2306959827 11143982 906684209 1951313717 3087127081 2026526464 863870973 2139487094 514139816 1228502498 2139112890 2966189573 2867705960 3912383028 1757267007 3984695794 554806695 119134904 3187713604 3102943276 1409020449 4032259071 3237405871 3586309392 2077239115 659237873 3308577627 1291362312 1009002936 340071767 3046547566 4268510464 3848596539 3170961104 1258681054 4091354316 37921743 1741409225 3281228219 4060105245 4289426103 1388215148 7343192 479855580 4264091553 147085982 3973315047 429092819 441810373 1803758811 254963435 1954526918 4157048351 1411653803 1801235262 2635938990 3931003877 1963680360 353539973 2144272378 1299831851 2353665182 4085555583 273712328 3172990029 4649988 3238484 2883831682 2870260222 3466725084 2827988162 1340474352 45449839 3261384006 3798908735 722250925 2344167802 3924196222 1169416385 1805375375 2264576620 521456770 2451430877 598541746 3773216054 2721033236 4035935384 438718863 1530200078 2680680192 3926479392 453103033 102817415 3330689313 2961761363 1287918152 178114606 1756182240 3193582108 1785176823 457044499 2039639422 1772361601 2794763903 2789631200 1026667594 3237417737 286694745 2830699639 1263928627 3512462027 3651409811 204614099 3719661640 251173970 2024617768 3671034693 1679279606 2057541170 3282283494 4132968712 1540233698 2187616936 2891828120 4144892489 2270278714 1891968813 542507082 1660770815 4235912072 2891096748 4153699130 3969805480 1731180320 3359423010 1192666491 794581109 274688701 2678231745 2699101812 4254409699 1799716918 1005032911 2024315672 818991556 2469347375 1063708181 3866287363 3592667981 131083448 648624550 114296474 2877401529 3173320587 1571566456 1294206398 355184428 1266838274 1816845873 104486106 1555189800 4227508548 270366604 1095899165 3250388865 2429798406 894411042 1126454499 1880959001 2306664853 1738902000 3035452643 3651030555 3674451963 321927289 3974401729 2728740052 293274076 3733465717 2460478883 982439550 1838449606 3198672973 2481442014 3818656361 2756036906 876026394 3653987522 3804706377 3059255149 210569778 276581300 2356339070 911657726 367449921 1291285819 3512378981 17550407 439944270 3079623177 239335264 2953051008 1407147667 392478478 573505522 1432172383 2878735647 1910796284 2214270561 255 362436" option to reproduce the execution
0.00/0.07	c #vars 2678
0.00/0.07	c #constraints 6689
0.09/0.14	c BCD2: Hardening is enabled.
0.09/0.14	c BCD2: BiasedSearch is enabled.
0.09/0.14	c Solving starts ...
0.09/0.14	c ============================[ Search Statistics ]============================
0.09/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.14	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |     3122      0 |        0 |        0
0.19/0.28	c  0.1s |       1 |      146 |      100 |     3122      0 |        0 |        0
0.39/0.45	c  0.3s |       2 |      339 |      250 |     3435      0 |        0 |        0
0.79/0.86	c  0.7s |       3 |      592 |      475 |     3779      0 |        0 |        0
1.29/1.33	c  1.2s |       4 |      964 |      813 |     4157      0 |        0 |        0
1.99/2.02	c  1.9s |       5 |     1497 |     1320 |     4573      0 |        0 |        0
2.69/2.77	c  2.6s |       6 |     2303 |     2081 |     5535      0 |        0 |        0
4.69/4.78	c  4.6s |       6 |     3252 |     2981 |     5535      0 |        0 |        0
5.29/5.31	c  5.2s |       7 |     3500 |     3223 |     6089      0 |        0 |        0
7.39/7.46	c  7.3s |       7 |     4426 |     4123 |     6089      0 |        0 |        0
9.39/9.45	c  9.3s |       8 |     5239 |     4936 |     6698      0 |        0 |        0
11.39/11.46	c 11.3s |       8 |     6067 |     5736 |     6698      0 |        0 |        0
13.68/13.70	c 13.6s |       8 |     6962 |     6636 |     6698      0 |        0 |        0
15.68/15.75	c 15.6s |       9 |     7837 |     7506 |     7368      1 |        0 |        0
17.78/17.86	c 17.7s |       9 |     8762 |     8406 |     7368      1 |        0 |        0
19.98/20.04	c 19.9s |       9 |     9658 |     9306 |     7368      1 |        0 |        0
21.99/22.06	c 21.9s |       9 |    10470 |    10106 |     7368      1 |        0 |        0
24.08/24.18	c 24.0s |       9 |    11271 |    10906 |     7368      2 |        0 |        0
25.18/25.28	c 25.1s |      10 |    11724 |    11361 |     8105      2 |        0 |        0
27.49/27.50	c 27.4s |      10 |    12650 |    12261 |     8105      2 |        0 |        0
29.49/29.56	c 29.4s |      10 |    13454 |    13061 |     8105      2 |        0 |        0
31.59/31.61	c 31.5s |      10 |    14253 |    13861 |     8105      2 |        0 |        0
33.59/33.68	c 33.5s |      10 |    15057 |    14661 |     8105      2 |        0 |        0
35.79/35.83	c 35.7s |      10 |    15857 |    15461 |     8105      3 |        0 |        0
37.79/37.84	c 37.7s |      10 |    16657 |    16261 |     8105      3 |        0 |        0
39.99/40.02	c 39.9s |      11 |    17544 |    17144 |     8916      3 |        0 |        0
41.99/42.09	c 42.0s |      11 |    18367 |    17944 |     8916      3 |        0 |        0
44.19/44.24	c 44.1s |      11 |    19171 |    18744 |     8916      3 |        0 |        0
46.39/46.44	c 46.3s |      11 |    19972 |    19544 |     8916      3 |        0 |        0
48.69/48.70	c 48.6s |      11 |    20775 |    20344 |     8916      4 |        0 |        0
50.69/50.71	c 50.6s |      11 |    21575 |    21144 |     8916      4 |        0 |        0
52.69/52.78	c 52.6s |      11 |    22375 |    21944 |     8916      4 |        0 |        0
54.78/54.89	c 54.8s |      11 |    23177 |    22744 |     8916      4 |        0 |        0
56.98/57.02	c 56.9s |      11 |    23981 |    23544 |     8916      4 |        0 |        0
59.08/59.17	c 59.0s |      11 |    24780 |    24344 |     8916      4 |        0 |        0
61.28/61.32	c 61.2s |      11 |    25579 |    25144 |     8916      5 |        0 |        0
62.88/62.99	c 62.9s |      12 |    26258 |    25819 |     9808      5 |        0 |        0
64.99/65.05	c 64.9s |      12 |    27089 |    26619 |     9808      5 |        0 |        0
67.19/67.25	c 67.1s |      12 |    27887 |    27419 |     9808      5 |        0 |        0
69.48/69.53	c 69.4s |      12 |    28690 |    28219 |     9808      5 |        0 |        0
71.78/71.80	c 71.7s |      12 |    29490 |    29019 |     9808      5 |        0 |        0
73.79/73.85	c 73.7s |      12 |    30193 |    29719 |     9808      5 |        0 |        0
75.89/75.95	c 75.8s |      12 |    30889 |    30419 |     9808      6 |        0 |        0
77.98/78.03	c 77.9s |      12 |    31696 |    31219 |     9808      6 |        0 |        0
80.18/80.22	c 80.1s |      12 |    32494 |    32019 |     9808      6 |        0 |        0
82.38/82.44	c 82.3s |      12 |    33301 |    32819 |     9808      6 |        0 |        0
84.69/84.72	c 84.6s |      12 |    34101 |    33619 |     9808      6 |        0 |        0
86.68/86.78	c 86.6s |      12 |    34797 |    34319 |     9808      6 |        0 |        0
88.98/89.02	c 88.9s |      12 |    35504 |    35019 |     9808      6 |        0 |        0
91.08/91.16	c 91.0s |      12 |    36304 |    35819 |     9808      7 |        0 |        0
93.18/93.28	c 93.1s |      12 |    37103 |    36619 |     9808      7 |        0 |        0
95.38/95.47	c 95.3s |      12 |    37902 |    37419 |     9808      7 |        0 |        0
97.58/97.65	c 97.5s |      12 |    38708 |    38219 |     9808      7 |        0 |        0
99.28/99.39	c 99.3s |      13 |    39320 |    38832 |    10789      7 |        0 |        0
101.48/101.57	c  101s |      13 |    40043 |    39532 |    10789      7 |        0 |        0
103.58/103.63	c  103s |      13 |    40743 |    40232 |    10789      7 |        0 |        0
105.68/105.76	c  105s |      13 |    41442 |    40932 |    10789      7 |        0 |        0
107.88/107.98	c  107s |      13 |    42246 |    41732 |    10789      8 |        0 |        0
110.08/110.14	c  109s |      13 |    43046 |    42532 |    10789      8 |        0 |        0
112.28/112.38	c  112s |      13 |    43851 |    43332 |    10789      8 |        0 |        0
114.48/114.58	c  114s |      13 |    44646 |    44132 |    10789      8 |        0 |        0
116.68/116.76	c  116s |      13 |    45449 |    44932 |    10789      8 |        0 |        0
118.97/119.02	c  118s |      13 |    46251 |    45732 |    10789      8 |        0 |        0
120.98/121.06	c  120s |      13 |    46952 |    46432 |    10789      8 |        0 |        0
123.07/123.19	c  123s |      13 |    47751 |    47232 |    10789      9 |        0 |        0
125.27/125.36	c  125s |      13 |    48555 |    48032 |    10789      9 |        0 |        0
127.47/127.57	c  127s |      13 |    49352 |    48832 |    10789      9 |        0 |        0
129.67/129.79	c  129s |      13 |    50157 |    49632 |    10789      9 |        0 |        0
131.77/131.85	c  131s |      13 |    50856 |    50332 |    10789      9 |        0 |        0
133.87/133.96	c  133s |      13 |    51555 |    51032 |    10789      9 |        0 |        0
135.97/136.04	c  135s |      13 |    52158 |    51632 |    10789      9 |        0 |        0
137.97/138.06	c  137s |      13 |    52856 |    52332 |    10789     10 |        0 |        0
140.17/140.21	c  140s |      13 |    53659 |    53132 |    10789     10 |        0 |        0
142.37/142.41	c  142s |      13 |    54460 |    53932 |    10789     10 |        0 |        0
144.57/144.67	c  144s |      13 |    55262 |    54732 |    10789     10 |        0 |        0
146.67/146.70	c  146s |      13 |    55962 |    55432 |    10789     10 |        0 |        0
148.77/148.84	c  148s |      13 |    56666 |    56132 |    10789     10 |        0 |        0
150.87/150.92	c  150s |      13 |    57369 |    56832 |    10789     10 |        0 |        0
152.97/153.06	c  152s |      13 |    58066 |    57532 |    10789     11 |        0 |        0
155.07/155.19	c  155s |      13 |    58867 |    58332 |    11868     11 |        0 |        0
155.17/155.25	c  155s |      14 |    58889 |    58352 |    11868     11 |        0 |        0
157.37/157.47	c  157s |      14 |    59711 |    59152 |    11868     11 |        0 |        0
159.36/159.48	c  159s |      14 |    60317 |    59752 |    11868     11 |        0 |        0
161.67/161.71	c  161s |      14 |    61113 |    60552 |    11868     11 |        0 |        0
163.87/163.97	c  163s |      14 |    61916 |    61352 |    11868     11 |        0 |        0
165.96/166.01	c  165s |      14 |    62616 |    62052 |    11868     11 |        0 |        0
167.96/168.04	c  167s |      14 |    63315 |    62752 |    11868     11 |        0 |        0
170.06/170.14	c  170s |      14 |    64019 |    63452 |    11868     11 |        0 |        0
172.26/172.32	c  172s |      14 |    64718 |    64152 |    11868     12 |        0 |        0
174.36/174.44	c  174s |      14 |    65520 |    64952 |    11868     12 |        0 |        0
176.67/176.70	c  176s |      14 |    66319 |    65752 |    11868     12 |        0 |        0
178.87/178.96	c  178s |      14 |    67120 |    66552 |    11868     12 |        0 |        0
180.97/181.00	c  180s |      14 |    67822 |    67252 |    11868     12 |        0 |        0
183.17/183.20	c  183s |      14 |    68526 |    67952 |    11868     12 |        0 |        0
185.27/185.31	c  185s |      14 |    69222 |    68652 |    11868     12 |        0 |        0
187.37/187.46	c  187s |      14 |    69925 |    69352 |    11868     12 |        0 |        0
189.57/189.69	c  189s |      14 |    70626 |    70052 |    11868     13 |        0 |        0
191.76/191.86	c  191s |      14 |    71425 |    70852 |    11868     13 |        0 |        0
193.96/194.06	c  193s |      14 |    72229 |    71652 |    11868     13 |        0 |        0
196.16/196.24	c  196s |      14 |    72929 |    72352 |    11868     13 |        0 |        0
198.36/198.44	c  198s |      14 |    73730 |    73152 |    11868     13 |        0 |        0
200.66/200.75	c  200s |      14 |    74530 |    73952 |    11868     13 |        0 |        0
202.66/202.77	c  202s |      14 |    75230 |    74652 |    11868     13 |        0 |        0
204.76/204.89	c  204s |      14 |    75931 |    75352 |    11868     13 |        0 |        0
206.96/207.07	c  206s |      14 |    76627 |    76052 |    11868     14 |        0 |        0
209.16/209.30	c  209s |      14 |    77430 |    76852 |    11868     14 |        0 |        0
211.36/211.47	c  211s |      14 |    78233 |    77652 |    11868     14 |        0 |        0
213.66/213.71	c  213s |      14 |    79033 |    78452 |    11868     14 |        0 |        0
215.86/215.93	c  215s |      14 |    79832 |    79252 |    11868     14 |        0 |        0
218.16/218.20	c  218s |      14 |    80631 |    80052 |    11868     14 |        0 |        0
220.26/220.32	c  220s |      14 |    81334 |    80752 |    11868     14 |        0 |        0
222.36/222.46	c  222s |      14 |    82033 |    81452 |    11868     14 |        0 |        0
224.56/224.62	c  224s |      14 |    82733 |    82152 |    11868     15 |        0 |        0
226.67/226.79	c  226s |      14 |    83535 |    82952 |    11868     15 |        0 |        0
228.87/228.99	c  228s |      14 |    84337 |    83752 |    11868     15 |        0 |        0
231.07/231.15	c  231s |      14 |    85040 |    84452 |    11868     15 |        0 |        0
233.27/233.39	c  233s |      14 |    85840 |    85252 |    11868     15 |        0 |        0
235.37/235.42	c  235s |      14 |    86542 |    85952 |    11868     15 |        0 |        0
237.46/237.52	c  237s |      14 |    87239 |    86652 |    11868     15 |        0 |        0
239.56/239.67	c  239s |      14 |    87940 |    87352 |    13055     15 |        0 |        0
240.46/240.55	c  240s |      15 |    88221 |    87632 |    13055     15 |        0 |        0
242.76/242.84	c  242s |      15 |    88943 |    88332 |    13055     15 |        0 |        0
245.06/245.13	c  244s |      15 |    89648 |    89032 |    13055     15 |        0 |        0
247.06/247.19	c  247s |      15 |    90345 |    89732 |    13055     16 |        0 |        0
249.16/249.24	c  249s |      15 |    91049 |    90432 |    13055     16 |        0 |        0
251.16/251.26	c  251s |      15 |    91746 |    91132 |    13055     16 |        0 |        0
253.26/253.30	c  253s |      15 |    92449 |    91832 |    13055     16 |        0 |        0
255.36/255.41	c  255s |      15 |    93143 |    92532 |    13055     16 |        0 |        0
257.46/257.51	c  257s |      15 |    93852 |    93232 |    13055     16 |        0 |        0
259.56/259.61	c  259s |      15 |    94454 |    93832 |    13055     16 |        0 |        0
261.65/261.73	c  261s |      15 |    95155 |    94532 |    13055     16 |        0 |        0
263.85/263.93	c  263s |      15 |    95856 |    95232 |    13055     16 |        0 |        0
266.05/266.14	c  265s |      15 |    96557 |    95932 |    13055     17 |        0 |        0
268.05/268.15	c  268s |      15 |    97259 |    96632 |    13055     17 |        0 |        0
270.05/270.16	c  270s |      15 |    97958 |    97332 |    13055     17 |        0 |        0
272.05/272.19	c  272s |      15 |    98658 |    98032 |    13055     17 |        0 |        0
274.15/274.25	c  274s |      15 |    99360 |    98732 |    13055     17 |        0 |        0
276.35/276.48	c  276s |      15 |   100057 |    99432 |    13055     17 |        0 |        0
278.55/278.64	c  278s |      15 |   100760 |   100132 |    13055     17 |        0 |        0
280.75/280.86	c  280s |      15 |   101460 |   100832 |    13055     17 |        0 |        0
282.95/283.02	c  282s |      15 |   102161 |   101532 |    13055     17 |        0 |        0
285.15/285.21	c  285s |      15 |   102863 |   102232 |    13055     17 |        0 |        0
287.15/287.25	c  287s |      15 |   103564 |   102932 |    13055     18 |        0 |        0
289.35/289.46	c  289s |      15 |   104367 |   103732 |    13055     18 |        0 |        0
291.55/291.67	c  291s |      15 |   105168 |   104532 |    13055     18 |        0 |        0
293.54/293.69	c  293s |      15 |   105866 |   105232 |    13055     18 |        0 |        0
295.64/295.77	c  295s |      15 |   106565 |   105932 |    13055     18 |        0 |        0
297.84/297.99	c  297s |      15 |   107271 |   106632 |    13055     18 |        0 |        0
300.14/300.20	c  300s |      15 |   107971 |   107332 |    13055     18 |        0 |        0
302.24/302.38	c  302s |      15 |   108673 |   108032 |    13055     18 |        0 |        0
304.54/304.64	c  304s |      15 |   109177 |   108532 |    13055     18 |        0 |        0
306.64/306.76	c  306s |      15 |   109875 |   109232 |    13055     19 |        0 |        0
308.74/308.88	c  308s |      15 |   110574 |   109932 |    13055     19 |        0 |        0
310.94/311.07	c  310s |      15 |   111377 |   110732 |    13055     19 |        0 |        0
313.24/313.30	c  313s |      15 |   112175 |   111532 |    13055     19 |        0 |        0
315.24/315.33	c  315s |      15 |   112880 |   112232 |    13055     19 |        0 |        0
317.34/317.40	c  317s |      15 |   113582 |   112932 |    13055     19 |        0 |        0
319.44/319.50	c  319s |      15 |   114281 |   113632 |    13055     19 |        0 |        0
321.54/321.66	c  321s |      15 |   114980 |   114332 |    13055     19 |        0 |        0
323.74/323.81	c  323s |      15 |   115680 |   115032 |    13055     19 |        0 |        0
325.84/325.96	c  325s |      15 |   116384 |   115732 |    13055     20 |        0 |        0
327.94/328.02	c  327s |      15 |   117087 |   116432 |    13055     20 |        0 |        0
330.14/330.23	c  330s |      15 |   117888 |   117232 |    13055     20 |        0 |        0
332.34/332.49	c  332s |      15 |   118685 |   118032 |    13055     20 |        0 |        0
334.44/334.55	c  334s |      15 |   119388 |   118732 |    13055     20 |        0 |        0
336.54/336.67	c  336s |      15 |   120090 |   119432 |    13055     20 |        0 |        0
338.74/338.90	c  338s |      15 |   120786 |   120132 |    13055     20 |        0 |        0
340.94/341.06	c  340s |      15 |   121487 |   120832 |    13055     20 |        0 |        0
343.14/343.28	c  343s |      15 |   122191 |   121532 |    13055     20 |        0 |        0
345.13/345.28	c  345s |      15 |   122789 |   122132 |    13055     21 |        0 |        0
347.33/347.42	c  347s |      15 |   123586 |   122932 |    13055     21 |        0 |        0
349.54/349.67	c  349s |      15 |   124296 |   123632 |    13055     21 |        0 |        0
351.84/351.92	c  351s |      15 |   125095 |   124432 |    13055     21 |        0 |        0
353.84/353.95	c  353s |      15 |   125796 |   125132 |    13055     21 |        0 |        0
355.84/355.97	c  355s |      15 |   126500 |   125832 |    13055     21 |        0 |        0
358.14/358.27	c  358s |      15 |   127206 |   126532 |    13055     21 |        0 |        0
360.44/360.56	c  360s |      15 |   128002 |   127332 |    13055     21 |        0 |        0
362.54/362.63	c  362s |      15 |   128702 |   128032 |    13055     21 |        0 |        0
364.74/364.87	c  364s |      15 |   129405 |   128732 |    13055     22 |        0 |        0
366.84/366.96	c  366s |      15 |   130210 |   129532 |    13055     22 |        0 |        0
369.04/369.18	c  369s |      15 |   131015 |   130332 |    13055     22 |        0 |        0
371.34/371.41	c  371s |      15 |   131817 |   131132 |    14361     22 |        0 |        0
372.33/372.49	c  372s |      16 |   132239 |   131552 |    14361     22 |        0 |        0
374.63/374.72	c  374s |      16 |   133068 |   132352 |    14361     22 |        0 |        0
376.83/376.97	c  376s |      16 |   133985 |   133252 |    14361     22 |        0 |        0
378.93/379.01	c  378s |      16 |   134921 |   134152 |    14361     22 |        0 |        0
381.03/381.12	c  380s |      16 |   135957 |   135152 |    14361     22 |        0 |        0
383.13/383.27	c  383s |      16 |   137001 |   136152 |    14361     22 |        0 |        0
385.23/385.36	c  385s |      16 |   137940 |   137052 |    14361     23 |        0 |        0
387.33/387.45	c  387s |      16 |   139066 |   138152 |    14361     23 |        0 |        0
389.53/389.61	c  389s |      16 |   140191 |   139252 |    14361     23 |        0 |        0
391.54/391.63	c  391s |      16 |   141208 |   140252 |    14361     23 |        0 |        0
393.63/393.79	c  393s |      16 |   142123 |   141152 |    14361     23 |        0 |        0
395.72/395.82	c  395s |      16 |   143037 |   142052 |    14361     23 |        0 |        0
397.72/397.88	c  397s |      16 |   143944 |   142952 |    14361     23 |        0 |        0
400.02/400.18	c  400s |      16 |   144860 |   143852 |    14361     24 |        0 |        0
402.12/402.28	c  402s |      16 |   145880 |   144852 |    14361     24 |        0 |        0
404.32/404.47	c  404s |      16 |   146894 |   145852 |    14361     24 |        0 |        0
406.42/406.56	c  406s |      16 |   147811 |   146752 |    14361     24 |        0 |        0
408.52/408.68	c  408s |      16 |   148737 |   147652 |    14361     24 |        0 |        0
410.82/410.91	c  410s |      16 |   149653 |   148552 |    14361     24 |        0 |        0
412.92/413.02	c  412s |      16 |   150464 |   149352 |    14361     24 |        0 |        0
415.01/415.13	c  414s |      16 |   151272 |   150152 |    14361     24 |        0 |        0
417.11/417.28	c  417s |      16 |   152085 |   150952 |    14361     24 |        0 |        0
419.31/419.47	c  419s |      16 |   153101 |   151952 |    14361     25 |        0 |        0
421.51/421.61	c  421s |      16 |   154125 |   152952 |    14361     25 |        0 |        0
423.61/423.71	c  423s |      16 |   154934 |   153752 |    14361     25 |        0 |        0
425.62/425.77	c  425s |      16 |   155841 |   154652 |    14361     25 |        0 |        0
427.71/427.90	c  427s |      16 |   156761 |   155552 |    14361     25 |        0 |        0
430.02/430.14	c  430s |      16 |   157671 |   156452 |    14361     25 |        0 |        0
432.11/432.24	c  432s |      16 |   158480 |   157252 |    14361     25 |        0 |        0
434.21/434.32	c  434s |      16 |   159307 |   158052 |    14361     25 |        0 |        0
436.31/436.42	c  436s |      16 |   160212 |   158952 |    14361     26 |        0 |        0
438.41/438.59	c  438s |      16 |   161236 |   159952 |    14361     26 |        0 |        0
440.61/440.73	c  440s |      16 |   162245 |   160952 |    14361     26 |        0 |        0
442.61/442.75	c  442s |      16 |   163161 |   161852 |    14361     26 |        0 |        0
444.71/444.87	c  444s |      16 |   164085 |   162752 |    14361     26 |        0 |        0
446.70/446.88	c  446s |      16 |   164914 |   163552 |    14361     26 |        0 |        0
448.81/448.96	c  448s |      16 |   165744 |   164352 |    14361     26 |        0 |        0
450.91/451.10	c  450s |      16 |   166574 |   165152 |    14361     26 |        0 |        0
453.10/453.23	c  453s |      16 |   167519 |   166052 |    14361     27 |        0 |        0
455.19/455.40	c  455s |      16 |   168671 |   167152 |    14361     27 |        0 |        0
457.39/457.58	c  457s |      16 |   169833 |   168252 |    14361     27 |        0 |        0
459.50/459.67	c  459s |      16 |   170771 |   169152 |    14361     27 |        0 |        0
461.70/461.82	c  461s |      16 |   171833 |   170152 |    14361     27 |        0 |        0
463.90/464.03	c  463s |      16 |   172874 |   171152 |    14361     27 |        0 |        0
466.00/466.19	c  466s |      16 |   173837 |   172052 |    14361     27 |        0 |        0
468.10/468.28	c  468s |      16 |   174822 |   172952 |    14361     28 |        0 |        0
470.30/470.43	c  470s |      16 |   175955 |   174052 |    14361     28 |        0 |        0
472.29/472.48	c  472s |      16 |   177025 |   175052 |    14361     28 |        0 |        0
474.49/474.65	c  474s |      16 |   178096 |   176052 |    14361     28 |        0 |        0
476.69/476.87	c  476s |      16 |   179144 |   177052 |    14361     28 |        0 |        0
478.69/478.89	c  478s |      16 |   179982 |   177852 |    14361     28 |        0 |        0
480.79/480.92	c  480s |      16 |   180693 |   178552 |    14361     28 |        0 |        0
482.80/482.98	c  482s |      16 |   181503 |   179352 |    14361     28 |        0 |        0
484.89/485.07	c  484s |      16 |   182206 |   180052 |    14361     29 |        0 |        0
487.09/487.21	c  487s |      16 |   183206 |   181052 |    14361     29 |        0 |        0
489.29/489.42	c  489s |      16 |   184115 |   181952 |    14361     29 |        0 |        0
491.39/491.53	c  491s |      16 |   185022 |   182852 |    14361     29 |        0 |        0
493.49/493.66	c  493s |      16 |   185922 |   183752 |    14361     29 |        0 |        0
495.49/495.68	c  495s |      16 |   186728 |   184552 |    14361     29 |        0 |        0
497.58/497.73	c  497s |      16 |   187437 |   185252 |    14361     29 |        0 |        0
499.78/499.97	c  499s |      16 |   188342 |   186152 |    14361     29 |        0 |        0
501.98/502.18	c  502s |      16 |   189144 |   186952 |    14361     29 |        0 |        0
504.08/504.25	c  504s |      16 |   190049 |   187852 |    14361     30 |        0 |        0
506.08/506.26	c  506s |      16 |   190952 |   188752 |    14361     30 |        0 |        0
508.28/508.47	c  508s |      16 |   191857 |   189652 |    14361     30 |        0 |        0
510.58/510.71	c  510s |      16 |   192761 |   190552 |    14361     30 |        0 |        0
512.58/512.73	c  512s |      16 |   193567 |   191352 |    14361     30 |        0 |        0
514.68/514.85	c  514s |      16 |   194365 |   192152 |    14361     30 |        0 |        0
516.78/516.99	c  516s |      16 |   195168 |   192952 |    14361     30 |        0 |        0
518.98/519.13	c  518s |      16 |   195973 |   193752 |    14361     30 |        0 |        0
521.07/521.21	c  521s |      16 |   196779 |   194552 |    14361     31 |        0 |        0
523.07/523.29	c  523s |      16 |   197694 |   195452 |    14361     31 |        0 |        0
525.17/525.31	c  525s |      16 |   198599 |   196352 |    15798     31 |        0 |        0
527.27/527.41	c  527s |      16 |   199506 |   197252 |    15798     31 |        0 |        0
527.67/527.82	c  527s |      17 |   199687 |   197432 |    15798     31 |        0 |        0
529.77/529.91	c  529s |      17 |   200863 |   198532 |    15798     31 |        0 |        0
531.87/532.00	c  531s |      17 |   202055 |   199632 |    15798     31 |        0 |        0
533.97/534.16	c  534s |      17 |   203258 |   200732 |    15798     31 |        0 |        0
536.07/536.23	c  536s |      17 |   204354 |   201732 |    15798     31 |        0 |        0
538.27/538.44	c  538s |      17 |   205455 |   202732 |    15798     31 |        0 |        0
540.37/540.52	c  540s |      17 |   206542 |   203732 |    15798     32 |        0 |        0
542.57/542.70	c  542s |      17 |   207725 |   204832 |    15798     32 |        0 |        0
544.67/544.86	c  544s |      17 |   208806 |   205832 |    15798     32 |        0 |        0
546.87/547.06	c  546s |      17 |   209902 |   206832 |    15798     32 |        0 |        0
548.87/549.09	c  548s |      17 |   210871 |   207732 |    15798     32 |        0 |        0
550.97/551.18	c  551s |      17 |   211881 |   208632 |    15798     32 |        0 |        0
553.06/553.23	c  553s |      17 |   212854 |   209532 |    15798     32 |        0 |        0
555.06/555.24	c  555s |      17 |   213730 |   210332 |    15798     32 |        0 |        0
557.16/557.37	c  557s |      17 |   214705 |   211232 |    15798     33 |        0 |        0
559.36/559.52	c  559s |      17 |   215926 |   212332 |    15798     33 |        0 |        0
561.36/561.54	c  561s |      17 |   216983 |   213332 |    15798     33 |        0 |        0
563.35/563.54	c  563s |      17 |   218064 |   214332 |    15798     33 |        0 |        0
565.36/565.58	c  565s |      17 |   219016 |   215232 |    15798     33 |        0 |        0
567.56/567.72	c  567s |      17 |   220103 |   216232 |    15798     33 |        0 |        0
569.55/569.74	c  569s |      17 |   221073 |   217132 |    15798     33 |        0 |        0
571.65/571.84	c  571s |      17 |   222057 |   218032 |    15798     33 |        0 |        0
573.85/574.08	c  573s |      17 |   222810 |   218732 |    15798     33 |        0 |        0
575.95/576.19	c  576s |      17 |   223893 |   219732 |    15798     34 |        0 |        0
578.05/578.27	c  578s |      17 |   225009 |   220732 |    15798     34 |        0 |        0
580.15/580.32	c  580s |      17 |   226036 |   221632 |    15798     34 |        2 |        7
582.15/582.37	c  582s |      17 |   227122 |   222632 |    15798     34 |        2 |        7
584.24/584.48	c  584s |      17 |   228242 |   223632 |    15798     34 |        2 |        7
586.34/586.56	c  586s |      17 |   229222 |   224532 |    15798     34 |        2 |        7
588.45/588.67	c  588s |      17 |   230210 |   225432 |    15798     34 |        2 |        7
590.65/590.88	c  590s |      17 |   231177 |   226332 |    15798     34 |        2 |        7
592.75/592.99	c  592s |      17 |   232169 |   227232 |    15798     35 |        2 |        7
594.95/595.16	c  595s |      17 |   233348 |   228332 |    15798     35 |        2 |        7
597.04/597.21	c  597s |      17 |   234437 |   229332 |    15798     35 |        2 |        7
599.14/599.31	c  599s |      17 |   235523 |   230332 |    15798     35 |        2 |        7
601.24/601.41	c  601s |      17 |   236639 |   231332 |    15798     35 |        2 |        7
603.24/603.42	c  603s |      17 |   237624 |   232232 |    15798     35 |        2 |        7
605.34/605.51	c  605s |      17 |   238621 |   233132 |    15798     35 |        2 |        7
607.44/607.64	c  607s |      17 |   239613 |   234032 |    15798     35 |        2 |        7
609.54/609.73	c  609s |      17 |   240454 |   234832 |    15798     36 |        2 |        7
611.64/611.82	c  611s |      17 |   241624 |   235932 |    15798     36 |        2 |        7
613.64/613.89	c  613s |      17 |   242680 |   236932 |    15798     36 |        2 |        7
615.73/615.99	c  615s |      17 |   243753 |   237932 |    15798     36 |        2 |        7
617.93/618.19	c  618s |      17 |   244811 |   238932 |    15798     36 |        2 |        7
620.13/620.36	c  620s |      17 |   245864 |   239932 |    15798     36 |        2 |        7
622.23/622.42	c  622s |      17 |   246825 |   240832 |    15798     36 |        2 |        7
624.33/624.56	c  624s |      17 |   247761 |   241732 |    15798     36 |        2 |        7
626.53/626.78	c  626s |      17 |   248730 |   242632 |    15798     36 |        2 |        7
628.63/628.83	c  628s |      17 |   249804 |   243632 |    15798     37 |        2 |        7
630.73/630.95	c  630s |      17 |   250999 |   244732 |    15798     37 |        2 |        7
632.73/632.99	c  632s |      17 |   251853 |   245532 |    15798     37 |        2 |        7
634.83/635.06	c  634s |      17 |   252928 |   246532 |    15798     37 |        2 |        7
636.84/637.08	c  636s |      17 |   253865 |   247432 |    15798     37 |        2 |        7
639.03/639.22	c  639s |      17 |   254834 |   248332 |    15798     37 |        2 |        7
641.13/641.37	c  641s |      17 |   255808 |   249232 |    15798     37 |        2 |        7
643.33/643.60	c  643s |      17 |   256780 |   250132 |    15798     37 |        2 |        7
645.53/645.76	c  645s |      17 |   257744 |   251032 |    15798     38 |        2 |        7
647.63/647.81	c  647s |      17 |   258796 |   252032 |    15798     38 |        2 |        7
649.63/649.89	c  649s |      17 |   259868 |   253032 |    15798     38 |        2 |        7
651.83/652.09	c  651s |      17 |   260936 |   254032 |    15798     38 |        2 |        7
653.92/654.16	c  654s |      17 |   261885 |   254932 |    15798     38 |        2 |        7
656.02/656.25	c  656s |      17 |   262842 |   255832 |    15798     38 |        2 |        7
658.02/658.28	c  658s |      17 |   263682 |   256632 |    15798     38 |        2 |        7
660.12/660.30	c  660s |      17 |   264545 |   257432 |    15798     38 |        2 |        7
662.13/662.38	c  662s |      17 |   265390 |   258232 |    15798     38 |        2 |        7
664.32/664.53	c  664s |      17 |   266339 |   259132 |    15798     39 |        2 |        7
666.42/666.62	c  666s |      17 |   267396 |   260132 |    15798     39 |        2 |        7
668.51/668.80	c  668s |      17 |   268460 |   261132 |    15798     39 |        2 |        7
670.61/670.83	c  670s |      17 |   269449 |   262032 |    15798     39 |        2 |        7
672.71/672.96	c  672s |      17 |   270495 |   263032 |    15798     39 |        2 |        7
674.81/675.05	c  674s |      17 |   271442 |   263932 |    15798     39 |        2 |        7
676.91/677.16	c  677s |      17 |   272385 |   264832 |    15798     39 |        2 |        7
679.01/679.26	c  679s |      17 |   273335 |   265732 |    15798     39 |        2 |        7
681.11/681.33	c  681s |      17 |   274167 |   266532 |    15798     39 |        2 |        7
683.21/683.44	c  683s |      17 |   275239 |   267532 |    15798     40 |        2 |        7
685.30/685.59	c  685s |      17 |   276319 |   268532 |    15798     40 |        2 |        7
687.31/687.60	c  687s |      17 |   277263 |   269432 |    15798     40 |        2 |        7
689.62/689.81	c  689s |      17 |   278121 |   270232 |    15798     40 |        2 |        7
691.82/692.03	c  691s |      17 |   279189 |   271232 |    15798     40 |        2 |        7
694.01/694.23	c  694s |      17 |   280141 |   272132 |    15798     40 |        2 |        7
696.00/696.24	c  696s |      17 |   280979 |   272932 |    15798     40 |        2 |        7
698.10/698.35	c  698s |      17 |   281816 |   273732 |    15798     40 |        2 |        7
700.30/700.55	c  700s |      17 |   282661 |   274532 |    15798     41 |        2 |        7
702.50/702.76	c  702s |      17 |   283826 |   275632 |    15798     41 |        2 |        7
704.49/704.76	c  704s |      17 |   284771 |   276532 |    15798     41 |        2 |        7
706.59/706.85	c  706s |      17 |   285711 |   277432 |    15798     41 |        2 |        7
708.69/708.94	c  708s |      17 |   286653 |   278332 |    15798     41 |        2 |        7
710.69/710.94	c  710s |      17 |   287613 |   279232 |    15798     41 |        2 |        7
712.70/712.95	c  712s |      17 |   288579 |   280132 |    15798     41 |        2 |        7
714.69/715.00	c  714s |      17 |   289529 |   281032 |    15798     41 |        2 |        7
716.89/717.13	c  716s |      17 |   290496 |   281932 |    15798     41 |        2 |        7
718.99/719.21	c  719s |      17 |   291439 |   282832 |    15798     42 |        2 |        7
721.09/721.39	c  721s |      17 |   292616 |   283932 |    15798     42 |        2 |        7
723.19/723.48	c  723s |      17 |   293686 |   284932 |    15798     42 |        2 |        7
725.39/725.62	c  725s |      17 |   294734 |   285932 |    15798     42 |        2 |        7
727.39/727.65	c  727s |      17 |   295682 |   286832 |    15798     42 |        2 |        7
729.49/729.79	c  729s |      17 |   296644 |   287732 |    15798     42 |        2 |        7
731.59/731.89	c  731s |      17 |   297592 |   288632 |    15798     42 |        2 |        7
733.78/734.03	c  733s |      17 |   298554 |   289532 |    15798     42 |        2 |        7
736.08/736.30	c  736s |      17 |   299527 |   290432 |    15798     43 |        2 |        7
738.08/738.36	c  738s |      17 |   300614 |   291432 |    15798     43 |        2 |        7
740.28/740.59	c  740s |      17 |   301688 |   292432 |    15798     43 |        2 |        7
742.48/742.77	c  742s |      17 |   302732 |   293432 |    15798     43 |        2 |        7
744.58/744.82	c  744s |      17 |   303699 |   294332 |    17378     43 |        2 |        7
746.68/746.96	c  746s |      17 |   304653 |   295232 |    17378     43 |        2 |        7
748.88/749.13	c  748s |      17 |   305511 |   296032 |    17378     43 |        2 |        7
749.38/749.62	c  749s |      18 |   305754 |   296252 |    17378     43 |        2 |        7
751.57/751.82	c  751s |      18 |   306627 |   297052 |    17378     43 |        2 |        7
753.57/753.88	c  753s |      18 |   307466 |   297852 |    17378     43 |        2 |        7
755.77/756.06	c  755s |      18 |   308348 |   298652 |    17378     43 |        2 |        7
757.78/758.09	c  757s |      18 |   309205 |   299452 |    17378     43 |        2 |        7
759.88/760.16	c  760s |      18 |   310042 |   300252 |    17378     44 |        2 |        7
761.97/762.20	c  762s |      18 |   311122 |   301252 |    17378     44 |        2 |        7
764.17/764.40	c  764s |      18 |   312174 |   302252 |    17378     44 |        2 |        7
766.17/766.47	c  766s |      18 |   313124 |   303152 |    17378     44 |        2 |        7
768.27/768.54	c  768s |      18 |   314125 |   304052 |    17378     44 |        2 |        7
770.57/770.81	c  770s |      18 |   315087 |   304952 |    17378     44 |        2 |        7
772.56/772.89	c  772s |      18 |   315938 |   305752 |    17378     44 |        2 |        7
774.76/775.07	c  774s |      18 |   316781 |   306552 |    17378     44 |        2 |        7
776.96/777.28	c  777s |      18 |   317657 |   307352 |    17378     44 |        2 |        7
778.96/779.28	c  779s |      18 |   318413 |   308052 |    17378     44 |        2 |        7
781.06/781.39	c  781s |      18 |   319137 |   308752 |    17378     45 |        2 |        7
783.16/783.40	c  783s |      18 |   320098 |   309652 |    17378     45 |        2 |        7
785.16/785.46	c  785s |      18 |   321025 |   310552 |    17378     45 |        2 |        7
787.26/787.50	c  787s |      18 |   321977 |   311452 |    17378     45 |        2 |        7
789.36/789.62	c  789s |      18 |   322939 |   312352 |    17378     45 |        2 |        7
791.45/791.79	c  791s |      18 |   323899 |   313252 |    17378     45 |        2 |        7
793.55/793.81	c  793s |      18 |   324750 |   314052 |    17378     45 |        2 |        7
795.65/795.90	c  795s |      18 |   325582 |   314852 |    17378     45 |        2 |        7
797.65/797.99	c  797s |      18 |   326444 |   315652 |    17378     45 |        2 |        7
799.95/800.21	c  800s |      18 |   327306 |   316452 |    17378     45 |        2 |        7
802.24/802.50	c  802s |      18 |   328146 |   317252 |    17378     45 |        2 |        7
804.34/804.68	c  804s |      18 |   329094 |   318152 |    17378     46 |        2 |        7
806.44/806.73	c  806s |      18 |   330055 |   319052 |    17378     46 |        2 |        7
808.54/808.80	c  808s |      18 |   331003 |   319952 |    17378     46 |        2 |        7
810.55/810.86	c  810s |      18 |   331937 |   320852 |    17378     46 |        2 |        7
812.53/812.87	c  812s |      18 |   332790 |   321652 |    17378     46 |        2 |        7
814.73/815.05	c  814s |      18 |   333761 |   322552 |    17378     46 |        2 |        7
816.83/817.20	c  817s |      18 |   334737 |   323452 |    17378     46 |        2 |        7
819.03/819.38	c  819s |      18 |   335714 |   324352 |    17378     46 |        2 |        7
821.13/821.40	c  821s |      18 |   336554 |   325152 |    17378     46 |        2 |        7
823.23/823.56	c  823s |      18 |   337404 |   325952 |    17378     46 |        2 |        7
825.43/825.75	c  825s |      18 |   338359 |   326852 |    17378     47 |        2 |        7
827.63/827.95	c  827s |      18 |   339426 |   327852 |    17378     47 |        2 |        7
829.83/830.18	c  830s |      18 |   340480 |   328852 |    17378     47 |        2 |        7
831.93/832.23	c  832s |      18 |   341440 |   329752 |    17378     47 |        2 |        7
834.13/834.40	c  834s |      18 |   342395 |   330652 |    17378     47 |        2 |        7
836.24/836.54	c  836s |      18 |   343359 |   331552 |    17378     47 |        2 |        7
838.44/838.72	c  838s |      18 |   344302 |   332452 |    17378     47 |        2 |        7
840.54/840.85	c  840s |      18 |   345144 |   333252 |    17378     47 |        2 |        7
842.63/842.92	c  842s |      18 |   345981 |   334052 |    17378     47 |        2 |        7
844.73/845.05	c  844s |      18 |   346611 |   334652 |    17378     47 |        2 |        7
846.93/847.21	c  847s |      18 |   347553 |   335552 |    17378     48 |        2 |        7
849.03/849.34	c  849s |      18 |   348633 |   336552 |    17378     48 |        2 |        7
851.03/851.39	c  851s |      18 |   349574 |   337452 |    17378     48 |        2 |        7
853.52/853.83	c  853s |      18 |   350516 |   338352 |    17378     48 |        2 |        7
855.72/856.02	c  855s |      18 |   351479 |   339252 |    17378     48 |        2 |        7
857.92/858.26	c  858s |      18 |   352477 |   340152 |    17378     48 |        2 |        7
860.03/860.34	c  860s |      18 |   353331 |   340952 |    17378     48 |        2 |        7
862.23/862.54	c  862s |      18 |   354175 |   341752 |    17378     48 |        2 |        7
864.43/864.79	c  864s |      18 |   355007 |   342552 |    17378     48 |        2 |        7
866.53/866.81	c  866s |      18 |   355740 |   343252 |    17378     48 |        2 |        7
868.62/868.93	c  868s |      18 |   356628 |   344052 |    17378     49 |        2 |        7
870.82/871.11	c  870s |      18 |   357702 |   345052 |    17378     49 |        2 |        7
872.91/873.24	c  873s |      18 |   358788 |   346052 |    17378     49 |        2 |        7
874.91/875.28	c  875s |      18 |   359751 |   346952 |    17378     49 |        2 |        7
877.01/877.32	c  877s |      18 |   360709 |   347852 |    17378     49 |        2 |        7
879.21/879.52	c  879s |      18 |   361668 |   348752 |    17378     49 |        2 |        7
881.41/881.76	c  881s |      18 |   362629 |   349652 |    17378     49 |        2 |        7
883.41/883.76	c  883s |      18 |   363474 |   350452 |    17378     49 |        2 |        7
885.41/885.78	c  885s |      18 |   364044 |   350952 |    17378     49 |        2 |        7
887.51/887.87	c  887s |      18 |   364792 |   351652 |    17378     49 |        2 |        7
889.61/889.98	c  889s |      18 |   365630 |   352452 |    17378     50 |        2 |        7
891.81/892.11	c  891s |      18 |   366681 |   353452 |    17378     50 |        2 |        7
893.90/894.22	c  894s |      18 |   367635 |   354352 |    17378     50 |        2 |        7
895.90/896.29	c  896s |      18 |   368509 |   355152 |    17378     50 |        2 |        7
898.10/898.48	c  898s |      18 |   369470 |   356052 |    17378     50 |        2 |        7
900.30/900.69	c  900s |      18 |   370477 |   356952 |    17378     50 |        2 |        7
902.39/902.75	c  902s |      18 |   371357 |   357752 |    17378     50 |        2 |        7
904.59/904.90	c  904s |      18 |   372194 |   358552 |    17378     50 |        2 |        7
906.79/907.13	c  906s |      18 |   373135 |   359452 |    17378     50 |        2 |        7
908.89/909.27	c  909s |      18 |   373993 |   360252 |    17378     50 |        2 |        7
911.09/911.41	c  911s |      18 |   374845 |   361052 |    17378     50 |        2 |        7
913.09/913.49	c  913s |      18 |   375913 |   362052 |    17378     51 |        2 |        7
915.19/915.54	c  915s |      18 |   376905 |   362952 |    17378     51 |        2 |        7
917.29/917.68	c  917s |      18 |   377900 |   363852 |    17378     51 |        2 |        7
919.59/919.90	c  919s |      18 |   378862 |   364752 |    17378     51 |        2 |        7
921.60/921.95	c  921s |      18 |   379687 |   365552 |    17378     51 |        2 |        7
923.69/924.08	c  923s |      18 |   380557 |   366352 |    17378     51 |        2 |        7
925.89/926.29	c  926s |      18 |   381298 |   367052 |    17378     51 |        2 |        7
927.98/928.36	c  928s |      18 |   382133 |   367852 |    17378     51 |        2 |        7
930.08/930.46	c  930s |      18 |   382992 |   368652 |    17378     51 |        2 |        7
932.28/932.68	c  932s |      18 |   383834 |   369452 |    17378     51 |        2 |        7
934.38/934.72	c  934s |      18 |   384688 |   370252 |    17378     52 |        2 |        7
936.49/936.88	c  936s |      18 |   385641 |   371152 |    17378     52 |        2 |        7
938.69/939.07	c  938s |      18 |   386581 |   372052 |    17378     52 |        2 |        7
940.99/941.33	c  941s |      18 |   387556 |   372952 |    17378     52 |        2 |        7
943.08/943.41	c  943s |      18 |   388429 |   373752 |    17378     52 |        2 |        7
945.18/945.56	c  945s |      18 |   389279 |   374552 |    17378     52 |        2 |        7
947.38/947.77	c  947s |      18 |   390022 |   375252 |    17378     52 |        2 |        7
949.68/950.04	c  949s |      18 |   390897 |   376052 |    17378     52 |        2 |        7
951.68/952.07	c  951s |      18 |   391653 |   376752 |    17378     52 |        2 |        7
953.78/954.15	c  954s |      18 |   392405 |   377452 |    17378     52 |        2 |        7
955.78/956.18	c  956s |      18 |   393153 |   378152 |    17378     52 |        2 |        7
957.78/958.19	c  958s |      18 |   393880 |   378852 |    17378     53 |        2 |        7
959.98/960.31	c  960s |      18 |   394829 |   379752 |    17378     53 |        2 |        7
962.08/962.49	c  962s |      18 |   395893 |   380752 |    17378     53 |        2 |        7
964.17/964.57	c  964s |      18 |   396828 |   381652 |    17378     53 |        2 |        7
966.27/966.63	c  966s |      18 |   397771 |   382552 |    17378     53 |        2 |        7
968.47/968.81	c  968s |      18 |   398727 |   383452 |    17378     53 |        2 |        7
970.47/970.87	c  970s |      18 |   399603 |   384252 |    17378     53 |        2 |        7
972.47/972.88	c  972s |      18 |   400435 |   385052 |    17378     53 |        2 |        7
974.57/974.98	c  974s |      18 |   401272 |   385852 |    17378     53 |        2 |        7
976.67/977.07	c  976s |      18 |   402129 |   386652 |    17378     53 |        2 |        7
978.87/979.26	c  979s |      18 |   402967 |   387452 |    17378     54 |        2 |        7
981.07/981.42	c  981s |      18 |   404000 |   388452 |    17378     54 |        2 |        7
983.27/983.60	c  983s |      18 |   405083 |   389452 |    17378     54 |        2 |        7
985.37/985.71	c  985s |      18 |   406022 |   390352 |    17378     54 |        2 |        7
987.47/987.89	c  987s |      18 |   406758 |   391052 |    17378     54 |        2 |        7
989.56/989.97	c  989s |      18 |   407592 |   391852 |    17378     54 |        2 |        7
991.76/992.11	c  991s |      18 |   408452 |   392652 |    17378     54 |        2 |        7
993.96/994.30	c  994s |      18 |   409308 |   393452 |    17378     54 |        2 |        7
996.16/996.55	c  996s |      18 |   410132 |   394252 |    17378     54 |        2 |        7
998.16/998.58	c  998s |      18 |   410878 |   394952 |    17378     54 |        2 |        7
1000.36/1000.72	c 1000s |      18 |   411638 |   395652 |    17378     54 |        2 |        7
1002.36/1002.77	c 1002s |      18 |   412390 |   396352 |    17378     55 |        2 |        7
1004.56/1004.90	c 1004s |      18 |   413342 |   397252 |    17378     55 |        2 |        7
1006.66/1007.03	c 1006s |      18 |   414338 |   398152 |    17378     55 |        2 |        7
1008.75/1009.18	c 1009s |      18 |   414900 |   398652 |    17378     55 |        2 |        7
1011.05/1011.42	c 1011s |      18 |   415861 |   399552 |    17378     55 |        2 |        7
1013.15/1013.56	c 1013s |      18 |   416707 |   400352 |    17378     55 |        2 |        7
1015.45/1015.82	c 1015s |      18 |   417551 |   401152 |    17378     55 |        2 |        7
1017.65/1018.09	c 1017s |      18 |   418401 |   401952 |    17378     55 |        2 |        7
1019.75/1020.18	c 1020s |      18 |   419161 |   402652 |    17378     55 |        2 |        7
1021.85/1022.23	c 1022s |      18 |   419894 |   403352 |    17378     55 |        2 |        7
1023.86/1024.28	c 1024s |      18 |   420632 |   404052 |    17378     55 |        2 |        7
1025.96/1026.33	c 1026s |      18 |   421386 |   404752 |    17378     55 |        2 |        7
1028.16/1028.55	c 1028s |      18 |   422309 |   405652 |    17378     56 |        2 |        7
1030.15/1030.58	c 1030s |      18 |   423161 |   406452 |    17378     56 |        2 |        7
1032.25/1032.64	c 1032s |      18 |   424120 |   407352 |    17378     56 |        2 |        7
1034.45/1034.86	c 1034s |      18 |   425054 |   408252 |    17378     56 |        2 |        7
1036.55/1036.97	c 1036s |      18 |   425947 |   409052 |    17378     56 |        2 |        7
1038.75/1039.18	c 1039s |      18 |   426791 |   409852 |    17378     56 |        2 |        7
1041.05/1041.42	c 1041s |      18 |   427635 |   410652 |    17378     56 |        2 |        7
1043.24/1043.65	c 1043s |      18 |   428454 |   411452 |    17378     56 |        2 |        7
1045.34/1045.73	c 1045s |      18 |   429188 |   412152 |    17378     56 |        2 |        7
1047.44/1047.89	c 1047s |      18 |   429946 |   412852 |    17378     56 |        2 |        7
1049.64/1050.02	c 1049s |      18 |   430706 |   413552 |    17378     56 |        2 |        7
1052.54/1052.92	c 1052s |      18 |   431647 |   414452 |    17378     57 |        2 |        7
1054.55/1054.96	c 1054s |      18 |   432587 |   415352 |    17378     57 |        2 |        7
1056.75/1057.17	c 1057s |      18 |   433536 |   416252 |    17378     57 |        2 |        7
1058.95/1059.37	c 1059s |      18 |   434473 |   417152 |    17378     57 |        2 |        7
1061.15/1061.60	c 1061s |      18 |   435425 |   418052 |    17378     57 |        2 |        7
1063.35/1063.73	c 1063s |      18 |   436285 |   418852 |    17378     57 |        2 |        7
1065.55/1065.92	c 1065s |      18 |   437121 |   419652 |    17378     57 |        2 |        7
1067.75/1068.15	c 1068s |      18 |   437957 |   420452 |    17378     57 |        2 |        7
1069.95/1070.39	c 1070s |      18 |   438682 |   421152 |    17378     57 |        2 |        7
1072.25/1072.61	c 1072s |      18 |   439401 |   421852 |    17378     57 |        2 |        7
1074.35/1074.75	c 1074s |      18 |   440154 |   422552 |    17378     58 |        2 |        7
1076.44/1076.82	c 1076s |      18 |   441133 |   423452 |    17378     58 |        2 |        7
1078.54/1078.96	c 1078s |      18 |   442079 |   424352 |    17378     58 |        2 |        7
1080.74/1081.14	c 1080s |      18 |   443042 |   425252 |    17378     58 |        2 |        7
1082.74/1083.16	c 1083s |      18 |   443871 |   426052 |    17378     58 |        2 |        7
1084.94/1085.35	c 1085s |      18 |   444716 |   426852 |    17378     58 |        2 |        7
1087.14/1087.56	c 1087s |      18 |   445557 |   427652 |    17378     58 |        2 |        7
1089.44/1089.84	c 1089s |      18 |   446385 |   428452 |    17378     58 |        2 |        7
1091.44/1091.87	c 1091s |      18 |   447136 |   429152 |    17378     58 |        2 |        7
1093.53/1093.97	c 1093s |      18 |   447876 |   429852 |    17378     58 |        2 |        7
1095.63/1096.01	c 1095s |      18 |   448404 |   430352 |    17378     58 |        2 |        7
1097.73/1098.19	c 1098s |      18 |   449142 |   431052 |    17378     59 |        2 |        7
1099.83/1100.29	c 1100s |      18 |   449991 |   431852 |    17378     59 |        2 |        7
1101.94/1102.38	c 1102s |      18 |   450939 |   432752 |    17378     59 |        2 |        7
1104.23/1104.62	c 1104s |      18 |   451920 |   433652 |    17378     59 |        2 |        7
1106.34/1106.79	c 1106s |      18 |   452767 |   434452 |    17378     59 |        2 |        7
1108.44/1108.84	c 1108s |      18 |   453625 |   435252 |    17378     59 |        2 |        7
1110.53/1110.94	c 1110s |      18 |   454465 |   436052 |    17378     59 |        2 |        7
1112.73/1113.18	c 1113s |      18 |   455301 |   436852 |    17378     59 |        2 |        7
1114.83/1115.21	c 1115s |      18 |   456030 |   437552 |    17378     59 |        2 |        7
1116.93/1117.39	c 1117s |      18 |   456766 |   438252 |    17378     59 |        2 |        7
1119.13/1119.54	c 1119s |      18 |   457498 |   438952 |    17378     59 |        2 |        7
1121.33/1121.72	c 1121s |      18 |   458246 |   439652 |    17378     59 |        2 |        7
1123.43/1123.88	c 1123s |      18 |   459077 |   440452 |    17378     60 |        2 |        7
1125.63/1126.02	c 1125s |      18 |   460028 |   441352 |    19116     60 |        2 |        7
1127.83/1128.24	c 1128s |      18 |   460996 |   442252 |    19116     60 |        2 |        7
1129.93/1130.30	c 1130s |      18 |   461847 |   443052 |    19116     60 |        2 |        7
1132.03/1132.40	c 1132s |      18 |   462692 |   443852 |    19116     60 |        2 |        7
1133.73/1134.12	c 1133s |      19 |   463362 |   444482 |    19116     60 |        2 |        7
1135.93/1136.40	c 1136s |      19 |   464210 |   445282 |    19116     60 |        2 |        7
1138.03/1138.45	c 1138s |      19 |   464720 |   445782 |    19116     60 |        2 |        7
1140.34/1140.72	c 1140s |      19 |   465584 |   446582 |    19116     60 |        2 |        7
1142.33/1142.76	c 1142s |      19 |   466310 |   447282 |    19116     60 |        2 |        7
1144.43/1144.86	c 1144s |      19 |   467051 |   447982 |    19116     60 |        2 |        7
1146.63/1147.00	c 1146s |      19 |   467794 |   448682 |    19116     60 |        2 |        7
1148.83/1149.22	c 1149s |      19 |   468529 |   449382 |    19116     60 |        2 |        7
1151.13/1151.51	c 1151s |      19 |   469251 |   450082 |    19116     60 |        2 |        7
1153.13/1153.57	c 1153s |      19 |   470102 |   450882 |    19116     61 |        2 |        7
1155.43/1155.80	c 1155s |      19 |   471053 |   451782 |    19116     61 |        2 |        7
1157.43/1157.83	c 1157s |      19 |   471929 |   452582 |    19116     61 |        2 |        7
1159.53/1159.98	c 1159s |      19 |   472800 |   453382 |    19116     61 |        2 |        7
1161.73/1162.13	c 1161s |      19 |   473660 |   454182 |    19116     61 |        2 |        7
1163.93/1164.39	c 1164s |      19 |   474534 |   454982 |    19116     61 |        2 |        7
1166.03/1166.45	c 1166s |      19 |   475290 |   455682 |    19116     61 |        2 |        7
1168.23/1168.60	c 1168s |      19 |   476023 |   456382 |    19116     61 |        2 |        7
1170.33/1170.71	c 1170s |      19 |   476780 |   457082 |    19116     61 |        2 |        7
1172.53/1172.91	c 1172s |      19 |   477540 |   457782 |    19116     61 |        2 |        7
1174.73/1175.14	c 1174s |      19 |   478264 |   458482 |    19116     61 |        2 |        7
1177.03/1177.43	c 1177s |      19 |   479003 |   459182 |    19116     61 |        2 |        7
1179.02/1179.49	c 1179s |      19 |   479619 |   459782 |    19116     62 |        2 |        7
1181.03/1181.50	c 1181s |      19 |   480459 |   460582 |    19116     62 |        2 |        7
1183.23/1183.65	c 1183s |      19 |   481191 |   461282 |    19116     62 |        2 |        7
1185.32/1185.74	c 1185s |      19 |   481946 |   461982 |    19116     62 |        2 |        7
1187.42/1187.80	c 1187s |      19 |   482788 |   462782 |    19116     62 |        2 |        7
1189.52/1189.97	c 1189s |      19 |   483637 |   463582 |    19116     62 |        2 |        7
1191.82/1192.21	c 1192s |      19 |   484488 |   464382 |    19116     62 |        2 |        7
1193.82/1194.25	c 1194s |      19 |   485218 |   465082 |    19116     62 |        2 |        7
1195.92/1196.36	c 1196s |      19 |   485960 |   465782 |    19116     62 |        2 |        7
1198.02/1198.46	c 1198s |      19 |   486711 |   466482 |    19116     62 |        2 |        7
1200.32/1200.71	c 1200s |      19 |   487467 |   467182 |    19116     62 |        2 |        7
1202.52/1202.99	c 1202s |      19 |   488195 |   467882 |    19116     62 |        2 |        7
1204.91/1205.30	c 1205s |      19 |   488933 |   468582 |    19116     62 |        2 |        7
1206.91/1207.36	c 1207s |      19 |   489551 |   469182 |    19116     62 |        2 |        7
1209.02/1209.47	c 1209s |      19 |   490293 |   469882 |    19116     63 |        2 |        7
1211.31/1211.71	c 1211s |      19 |   491255 |   470782 |    19116     63 |        2 |        7
1213.31/1213.75	c 1213s |      19 |   492093 |   471582 |    19116     63 |        2 |        7
1215.41/1215.87	c 1215s |      19 |   492939 |   472382 |    19116     63 |        2 |        7
1217.71/1218.10	c 1217s |      19 |   493766 |   473182 |    19116     63 |        2 |        7
1219.72/1220.15	c 1220s |      19 |   494496 |   473882 |    19116     63 |        2 |        7
1221.73/1222.18	c 1222s |      19 |   495214 |   474582 |    19116     63 |        2 |        7
1223.82/1224.27	c 1224s |      19 |   495957 |   475282 |    19116     63 |        2 |        7
1226.02/1226.46	c 1226s |      19 |   496500 |   475782 |    19116     63 |        2 |        7
1228.12/1228.56	c 1228s |      19 |   497232 |   476482 |    19116     63 |        2 |        7
1230.22/1230.65	c 1230s |      19 |   497996 |   477182 |    19116     63 |        2 |        7
1232.32/1232.75	c 1232s |      19 |   498731 |   477882 |    19116     63 |        2 |        7
1234.42/1234.88	c 1234s |      19 |   499478 |   478582 |    19116     63 |        2 |        7
1236.52/1236.95	c 1236s |      19 |   500188 |   479282 |    19116     64 |        2 |        7
1238.72/1239.14	c 1239s |      19 |   501178 |   480182 |    19116     64 |        2 |        7
1240.82/1241.24	c 1241s |      19 |   502139 |   481082 |    19116     64 |        2 |        7
1243.02/1243.41	c 1243s |      19 |   502971 |   481882 |    19116     64 |        2 |        7
1245.12/1245.59	c 1245s |      19 |   503808 |   482682 |    19116     64 |        2 |        7
1247.52/1247.93	c 1247s |      19 |   504341 |   483182 |    19116     64 |        2 |        7
1249.82/1250.21	c 1250s |      19 |   505191 |   483982 |    19116     64 |        2 |        7
1251.82/1252.25	c 1252s |      19 |   505936 |   484682 |    19116     64 |        2 |        7
1253.92/1254.32	c 1254s |      19 |   506676 |   485382 |    19116     64 |        2 |        7
1256.02/1256.49	c 1256s |      19 |   507424 |   486082 |    19116     64 |        2 |        7
1258.31/1258.72	c 1258s |      19 |   508179 |   486782 |    19116     64 |        2 |        7
1260.51/1260.95	c 1260s |      19 |   508932 |   487482 |    19116     64 |        2 |        7
1262.81/1263.26	c 1263s |      19 |   509664 |   488182 |    19116     64 |        2 |        7
1264.81/1265.28	c 1265s |      19 |   510282 |   488782 |    19116     65 |        2 |        7
1266.92/1267.37	c 1267s |      19 |   511119 |   489582 |    19116     65 |        2 |        7
1269.02/1269.43	c 1269s |      19 |   511988 |   490382 |    19116     65 |        2 |        7
1271.01/1271.44	c 1271s |      19 |   512617 |   490982 |    19116     65 |        2 |        7
1273.11/1273.56	c 1273s |      19 |   513433 |   491782 |    19116     65 |        2 |        7
1275.31/1275.78	c 1275s |      19 |   514259 |   492582 |    19116     65 |        2 |        7
1277.61/1278.06	c 1277s |      19 |   515109 |   493382 |    19116     65 |        2 |        7
1279.61/1280.09	c 1279s |      19 |   515830 |   494082 |    19116     65 |        2 |        7
1281.81/1282.21	c 1282s |      19 |   516572 |   494782 |    19116     65 |        2 |        7
1283.91/1284.32	c 1284s |      19 |   517315 |   495482 |    19116     65 |        2 |        7
1286.11/1286.52	c 1286s |      19 |   518065 |   496182 |    19116     65 |        2 |        7
1288.31/1288.78	c 1288s |      19 |   518824 |   496882 |    19116     65 |        2 |        7
1290.71/1291.13	c 1290s |      19 |   519565 |   497582 |    19116     65 |        2 |        7
1292.81/1293.27	c 1293s |      19 |   520201 |   498182 |    19116     66 |        2 |        7
1295.01/1295.50	c 1295s |      19 |   520938 |   498882 |    19116     66 |        2 |        7
1297.31/1297.76	c 1297s |      19 |   521893 |   499782 |    19116     66 |        2 |        7
1299.41/1299.80	c 1299s |      19 |   522720 |   500582 |    19116     66 |        2 |        7
1301.61/1302.02	c 1301s |      19 |   523546 |   501382 |    19116     66 |        2 |        7
1303.81/1304.24	c 1304s |      19 |   524402 |   502182 |    19116     66 |        2 |        7
1306.11/1306.53	c 1306s |      19 |   525248 |   502982 |    19116     66 |        2 |        7
1308.30/1308.71	c 1308s |      19 |   525963 |   503682 |    19116     66 |        2 |        7
1310.40/1310.88	c 1310s |      19 |   526696 |   504382 |    19116     66 |        2 |        7
1312.60/1313.06	c 1312s |      19 |   527460 |   505082 |    19116     66 |        2 |        7
1314.70/1315.14	c 1315s |      19 |   528085 |   505682 |    19116     66 |        2 |        7
1317.00/1317.45	c 1317s |      19 |   528733 |   506282 |    19116     66 |        2 |        7
1319.20/1319.62	c 1319s |      19 |   529450 |   506982 |    19116     66 |        2 |        7
1321.30/1321.70	c 1321s |      19 |   530200 |   507682 |    19116     66 |        2 |        7
1323.30/1323.71	c 1323s |      19 |   530826 |   508282 |    19116     67 |        2 |        7
1325.30/1325.78	c 1325s |      19 |   531781 |   509182 |    19116     67 |        2 |        7
1327.50/1327.93	c 1327s |      19 |   532707 |   510082 |    19116     67 |        2 |        7
1329.80/1330.21	c 1330s |      19 |   533640 |   510982 |    19116     67 |        2 |        7
1331.90/1332.32	c 1332s |      19 |   534488 |   511782 |    19116     67 |        2 |        7
1334.01/1334.49	c 1334s |      19 |   535327 |   512582 |    19116     67 |        2 |        7
1336.30/1336.74	c 1336s |      19 |   536192 |   513382 |    19116     67 |        2 |        7
1338.50/1338.90	c 1338s |      19 |   536935 |   514082 |    19116     67 |        2 |        7
1340.70/1341.14	c 1340s |      19 |   537779 |   514882 |    19116     67 |        2 |        7
1342.80/1343.21	c 1343s |      19 |   538517 |   515582 |    19116     67 |        2 |        7
1344.90/1345.32	c 1345s |      19 |   539261 |   516282 |    19116     67 |        2 |        7
1347.00/1347.43	c 1347s |      19 |   540001 |   516982 |    19116     67 |        2 |        7
1349.10/1349.51	c 1349s |      19 |   540741 |   517682 |    19116     68 |        2 |        7
1351.30/1351.73	c 1351s |      19 |   541692 |   518582 |    19116     68 |        2 |        7
1353.50/1353.92	c 1353s |      19 |   542634 |   519482 |    19116     68 |        2 |        7
1355.50/1355.96	c 1355s |      19 |   543495 |   520282 |    19116     68 |        2 |        7
1357.59/1358.08	c 1357s |      19 |   544334 |   521082 |    19116     68 |        2 |        7
1359.89/1360.30	c 1360s |      19 |   545003 |   521682 |    19116     68 |        2 |        7
1361.99/1362.43	c 1362s |      19 |   545853 |   522482 |    19116     68 |        2 |        7
1363.99/1364.45	c 1364s |      19 |   546590 |   523182 |    19116     68 |        2 |        7
1366.09/1366.50	c 1366s |      19 |   547325 |   523882 |    19116     68 |        2 |        7
1368.19/1368.62	c 1368s |      19 |   548051 |   524582 |    19116     68 |        2 |        7
1370.30/1370.76	c 1370s |      19 |   548798 |   525282 |    19116     68 |        2 |        7
1372.59/1373.00	c 1372s |      19 |   549520 |   525982 |    19116     68 |        2 |        7
1374.60/1375.06	c 1374s |      19 |   550136 |   526582 |    19116     68 |        2 |        7
1376.69/1377.16	c 1377s |      19 |   550807 |   527182 |    19116     69 |        2 |        7
1378.79/1379.21	c 1379s |      19 |   551646 |   527982 |    19116     69 |        2 |        7
1380.79/1381.22	c 1381s |      19 |   552481 |   528782 |    19116     69 |        2 |        7
1382.89/1383.31	c 1383s |      19 |   553229 |   529482 |    19116     69 |        2 |        7
1384.99/1385.48	c 1385s |      19 |   554173 |   530382 |    19116     69 |        2 |        7
1387.09/1387.55	c 1387s |      19 |   555016 |   531182 |    19116     69 |        2 |        7
1389.19/1389.67	c 1389s |      19 |   555851 |   531982 |    19116     69 |        2 |        7
1391.49/1391.92	c 1391s |      19 |   556703 |   532782 |    19116     69 |        2 |        7
1393.59/1394.02	c 1393s |      19 |   557426 |   533482 |    19116     69 |        2 |        7
1395.59/1396.05	c 1395s |      19 |   558191 |   534182 |    19116     69 |        2 |        7
1397.69/1398.18	c 1398s |      19 |   558928 |   534882 |    19116     69 |        2 |        7
1399.79/1400.30	c 1400s |      19 |   559648 |   535582 |    19116     69 |        2 |        7
1402.09/1402.55	c 1402s |      19 |   560391 |   536282 |    19116     69 |        2 |        7
1404.19/1404.60	c 1404s |      19 |   561135 |   536982 |    19116     70 |        2 |        7
1406.29/1406.72	c 1406s |      19 |   561987 |   537782 |    19116     70 |        2 |        7
1408.48/1408.94	c 1408s |      19 |   562925 |   538682 |    19116     70 |        2 |        7
1410.58/1411.00	c 1410s |      19 |   563760 |   539482 |    19116     70 |        2 |        7
1412.68/1413.17	c 1413s |      19 |   564619 |   540282 |    19116     70 |        2 |        7
1414.88/1415.35	c 1415s |      19 |   565357 |   540982 |    19116     70 |        2 |        7
1416.98/1417.46	c 1417s |      19 |   566201 |   541782 |    19116     70 |        2 |        7
1419.29/1419.74	c 1419s |      19 |   567033 |   542582 |    19116     70 |        2 |        7
1421.29/1421.75	c 1421s |      19 |   567775 |   543282 |    19116     70 |        2 |        7
1423.29/1423.75	c 1423s |      19 |   568495 |   543982 |    19116     70 |        2 |        7
1425.39/1425.82	c 1425s |      19 |   569236 |   544682 |    19116     70 |        2 |        7
1427.59/1428.02	c 1427s |      19 |   569977 |   545382 |    19116     70 |        2 |        7
1429.79/1430.22	c 1430s |      19 |   570725 |   546082 |    19116     70 |        2 |        7
1431.90/1432.33	c 1432s |      19 |   571594 |   546882 |    19116     71 |        2 |        7
1434.00/1434.45	c 1434s |      19 |   572564 |   547782 |    19116     71 |        2 |        7
1436.09/1436.60	c 1436s |      19 |   573539 |   548682 |    19116     71 |        2 |        7
1438.29/1438.71	c 1438s |      19 |   574367 |   549482 |    19116     71 |        2 |        7
1440.39/1440.82	c 1440s |      19 |   575216 |   550282 |    19116     71 |        2 |        7
1442.49/1442.94	c 1442s |      19 |   576082 |   551082 |    19116     71 |        2 |        7
1444.59/1445.06	c 1444s |      19 |   576724 |   551682 |    19116     71 |        2 |        7
1446.59/1447.08	c 1446s |      19 |   577455 |   552382 |    19116     71 |        2 |        7
1448.69/1449.12	c 1448s |      19 |   578178 |   553082 |    19116     71 |        2 |        7
1450.79/1451.20	c 1451s |      19 |   578916 |   553782 |    19116     71 |        2 |        7
1452.89/1453.34	c 1453s |      19 |   579645 |   554482 |    19116     71 |        2 |        7
1455.19/1455.62	c 1455s |      19 |   580368 |   555182 |    19116     71 |        2 |        7
1457.19/1457.65	c 1457s |      19 |   580989 |   555782 |    19116     71 |        2 |        7
1459.29/1459.74	c 1459s |      19 |   581844 |   556582 |    19116     72 |        2 |        7
1461.38/1461.85	c 1461s |      19 |   582679 |   557382 |    19116     72 |        2 |        7
1463.48/1463.99	c 1463s |      19 |   583522 |   558182 |    19116     72 |        2 |        7
1465.78/1466.22	c 1466s |      19 |   584465 |   559082 |    19116     72 |        2 |        7
1467.98/1468.44	c 1468s |      19 |   585312 |   559882 |    19116     72 |        2 |        7
1470.18/1470.60	c 1470s |      19 |   586149 |   560682 |    19116     72 |        2 |        7
1472.18/1472.60	c 1472s |      19 |   586879 |   561382 |    19116     72 |        2 |        7
1474.18/1474.64	c 1474s |      19 |   587619 |   562082 |    19116     72 |        2 |        7
1476.28/1476.75	c 1476s |      19 |   588362 |   562782 |    19116     72 |        2 |        7
1478.48/1478.93	c 1478s |      19 |   589106 |   563482 |    19116     72 |        2 |        7
1480.78/1481.20	c 1481s |      19 |   589850 |   564182 |    19116     72 |        2 |        7
1482.98/1483.48	c 1483s |      19 |   590588 |   564882 |    19116     72 |        2 |        7
1485.08/1485.50	c 1485s |      19 |   591220 |   565482 |    19116     73 |        2 |        7
1487.18/1487.64	c 1487s |      19 |   592168 |   566382 |    19116     73 |        2 |        7
1489.28/1489.75	c 1489s |      19 |   592907 |   567082 |    19116     73 |        2 |        7
1491.38/1491.81	c 1491s |      19 |   593712 |   567882 |    19116     73 |        2 |        7
1493.58/1494.08	c 1493s |      19 |   594332 |   568482 |    19116     73 |        2 |        7
1495.59/1496.10	c 1495s |      19 |   595192 |   569282 |    19116     73 |        2 |        7
1497.89/1498.32	c 1498s |      19 |   596028 |   570082 |    19116     73 |        2 |        7
1499.88/1500.34	c 1500s |      19 |   596762 |   570782 |    19116     73 |        2 |        7
1501.98/1502.44	c 1502s |      19 |   597512 |   571482 |    19116     73 |        2 |        7
1504.08/1504.57	c 1504s |      19 |   598244 |   572182 |    19116     73 |        2 |        7
1506.18/1506.66	c 1506s |      19 |   599009 |   572882 |    19116     73 |        2 |        7
1508.28/1508.75	c 1508s |      19 |   599739 |   573582 |    19116     73 |        2 |        7
1510.58/1511.06	c 1510s |      19 |   600381 |   574182 |    19116     73 |        2 |        7
1512.68/1513.11	c 1512s |      19 |   601023 |   574782 |    19116     73 |        2 |        7
1514.68/1515.15	c 1515s |      19 |   601770 |   575482 |    19116     74 |        2 |        7
1516.88/1517.30	c 1517s |      19 |   602619 |   576282 |    19116     74 |        2 |        7
1518.98/1519.42	c 1519s |      19 |   603466 |   577082 |    19116     74 |        2 |        7
1521.07/1521.50	c 1521s |      19 |   604326 |   577882 |    19116     74 |        2 |        7
1523.27/1523.70	c 1523s |      19 |   605160 |   578682 |    19116     74 |        2 |        7
1525.47/1525.90	c 1525s |      19 |   606018 |   579482 |    19116     74 |        2 |        7
1527.67/1528.18	c 1528s |      19 |   606874 |   580282 |    19116     74 |        2 |        7
1529.87/1530.37	c 1530s |      19 |   607605 |   580982 |    19116     74 |        2 |        7
1532.07/1532.56	c 1532s |      19 |   608335 |   581682 |    19116     74 |        2 |        7
1534.18/1534.63	c 1534s |      19 |   609069 |   582382 |    19116     74 |        2 |        7
1536.28/1536.75	c 1536s |      19 |   609789 |   583082 |    19116     74 |        2 |        7
1538.37/1538.83	c 1538s |      19 |   610547 |   583782 |    19116     74 |        2 |        7
1540.57/1541.05	c 1540s |      19 |   611275 |   584482 |    19116     74 |        2 |        7
1542.77/1543.22	c 1543s |      19 |   612143 |   585282 |    19116     75 |        2 |        7
1544.97/1545.44	c 1545s |      19 |   613083 |   586182 |    19116     75 |        2 |        7
1547.17/1547.69	c 1547s |      19 |   614026 |   587082 |    19116     75 |        2 |        7
1549.27/1549.79	c 1549s |      19 |   614896 |   587882 |    19116     75 |        2 |        7
1551.47/1551.92	c 1551s |      19 |   615745 |   588682 |    19116     75 |        2 |        7
1553.77/1554.20	c 1554s |      19 |   616582 |   589482 |    19116     75 |        2 |        7
1555.77/1556.28	c 1556s |      19 |   617314 |   590182 |    19116     75 |        2 |        7
1558.07/1558.54	c 1558s |      19 |   618154 |   590982 |    19116     75 |        2 |        7
1560.17/1560.63	c 1560s |      19 |   618886 |   591682 |    19116     75 |        2 |        7
1562.17/1562.69	c 1562s |      19 |   619645 |   592382 |    19116     75 |        2 |        7
1564.37/1564.82	c 1564s |      19 |   620381 |   593082 |    19116     75 |        2 |        7
1566.46/1566.94	c 1566s |      19 |   621125 |   593782 |    19116     75 |        2 |        7
1568.56/1569.04	c 1568s |      19 |   621855 |   594482 |    19116     76 |        2 |        7
1570.76/1571.26	c 1571s |      19 |   622800 |   595382 |    19116     76 |        2 |        7
1572.96/1573.46	c 1573s |      19 |   623765 |   596282 |    19116     76 |        2 |        7
1575.06/1575.52	c 1575s |      19 |   624495 |   596982 |    19116     76 |        2 |        7
1577.16/1577.66	c 1577s |      19 |   625346 |   597782 |    19116     76 |        2 |        7
1579.27/1579.78	c 1579s |      19 |   626179 |   598582 |    19116     76 |        2 |        7
1581.47/1581.96	c 1581s |      19 |   627068 |   599382 |    19116     76 |        2 |        7
1584.06/1584.51	c 1584s |      19 |   627917 |   600182 |    19116     76 |        2 |        7
1586.36/1586.84	c 1586s |      19 |   628754 |   600982 |    19116     76 |        2 |        7
1588.46/1588.97	c 1588s |      19 |   629496 |   601682 |    19116     76 |        2 |        7
1590.56/1591.09	c 1590s |      19 |   630219 |   602382 |    19116     76 |        2 |        7
1592.76/1593.23	c 1593s |      19 |   630970 |   603082 |    19116     76 |        2 |        7
1594.76/1595.23	c 1595s |      19 |   631589 |   603682 |    19116     76 |        2 |        7
1596.87/1597.38	c 1597s |      19 |   632104 |   604182 |    19116     77 |        2 |        7
1599.07/1599.53	c 1599s |      19 |   632990 |   604982 |    19116     77 |        2 |        7
1601.17/1601.65	c 1601s |      19 |   633814 |   605782 |    19116     77 |        2 |        7
1603.37/1603.80	c 1603s |      19 |   634669 |   606582 |    19116     77 |        2 |        7
1605.36/1605.85	c 1605s |      19 |   635406 |   607282 |    19116     77 |        2 |        7
1607.46/1607.93	c 1607s |      19 |   636137 |   607982 |    19116     77 |        2 |        7
1609.56/1610.03	c 1609s |      19 |   636870 |   608682 |    19116     77 |        2 |        7
1611.76/1612.26	c 1612s |      19 |   637591 |   609382 |    19116     77 |        2 |        7
1613.96/1614.48	c 1614s |      19 |   638324 |   610082 |    19116     77 |        2 |        7
1616.26/1616.74	c 1616s |      19 |   639041 |   610782 |    19116     77 |        2 |        7
1618.46/1618.92	c 1618s |      19 |   639681 |   611382 |    19116     77 |        2 |        7
1620.76/1621.20	c 1621s |      19 |   640393 |   612082 |    19116     77 |        2 |        7
1622.96/1623.45	c 1623s |      19 |   641126 |   612782 |    19116     77 |        2 |        7
1625.37/1625.89	c 1625s |      19 |   641854 |   613482 |    19116     78 |        2 |        7
1627.46/1627.91	c 1627s |      19 |   642672 |   614282 |    19116     78 |        2 |        7
1629.56/1630.06	c 1629s |      19 |   643408 |   614982 |    19116     78 |        2 |        7
1631.56/1632.07	c 1631s |      19 |   644285 |   615782 |    19116     78 |        2 |        7
1633.76/1634.20	c 1634s |      19 |   645106 |   616582 |    19116     78 |        2 |        7
1635.96/1636.45	c 1636s |      19 |   645939 |   617382 |    19116     78 |        2 |        7
1638.06/1638.54	c 1638s |      19 |   646656 |   618082 |    19116     78 |        2 |        7
1640.16/1640.67	c 1640s |      19 |   647388 |   618782 |    19116     78 |        2 |        7
1642.26/1642.76	c 1642s |      19 |   648111 |   619482 |    19116     78 |        2 |        7
1644.46/1644.96	c 1644s |      19 |   648848 |   620182 |    19116     78 |        2 |        7
1646.75/1647.22	c 1647s |      19 |   649582 |   620882 |    19116     78 |        2 |        7
1648.85/1649.32	c 1649s |      19 |   650203 |   621482 |    19116     78 |        2 |        7
1650.95/1651.48	c 1651s |      19 |   650823 |   622082 |    19116     78 |        2 |        7
1653.05/1653.50	c 1653s |      19 |   651449 |   622682 |    19116     78 |        2 |        7
1655.06/1655.56	c 1655s |      19 |   652083 |   623282 |    19116     79 |        2 |        7
1657.15/1657.61	c 1657s |      19 |   652946 |   624082 |    19116     79 |        2 |        7
1659.25/1659.70	c 1659s |      19 |   653812 |   624882 |    19116     79 |        2 |        7
1661.45/1661.97	c 1661s |      19 |   654643 |   625682 |    19116     79 |        2 |        7
1663.65/1664.11	c 1663s |      19 |   655399 |   626382 |    19116     79 |        2 |        7
1665.75/1666.26	c 1666s |      19 |   656154 |   627082 |    19116     79 |        2 |        7
1667.95/1668.48	c 1668s |      19 |   656984 |   627882 |    19116     79 |        2 |        7
1670.15/1670.68	c 1670s |      19 |   657848 |   628682 |    19116     79 |        2 |        7
1672.25/1672.74	c 1672s |      19 |   658573 |   629382 |    19116     79 |        2 |        7
1674.35/1674.82	c 1674s |      19 |   659300 |   630082 |    19116     79 |        2 |        7
1676.45/1676.97	c 1676s |      19 |   660082 |   630782 |    19116     79 |        2 |        7
1678.75/1679.22	c 1679s |      19 |   660808 |   631482 |    19116     79 |        2 |        7
1680.75/1681.22	c 1681s |      19 |   661468 |   632082 |    19116     79 |        2 |        7
1682.75/1683.26	c 1683s |      19 |   662076 |   632682 |    19116     79 |        2 |        7
1684.85/1685.39	c 1685s |      19 |   662803 |   633382 |    19116     80 |        2 |        7
1686.95/1687.50	c 1687s |      19 |   663639 |   634182 |    19116     80 |        2 |        7
1689.15/1689.66	c 1689s |      19 |   664488 |   634982 |    19116     80 |        2 |        7
1691.35/1691.89	c 1691s |      19 |   665316 |   635782 |    19116     80 |        2 |        7
1693.44/1693.93	c 1693s |      19 |   666038 |   636482 |    19116     80 |        2 |        7
1695.54/1696.07	c 1695s |      19 |   666783 |   637182 |    19116     80 |        2 |        7
1697.74/1698.21	c 1698s |      19 |   667504 |   637882 |    19116     80 |        2 |        7
1699.94/1700.47	c 1700s |      19 |   668213 |   638582 |    19116     80 |        2 |        7
1702.24/1702.73	c 1702s |      19 |   668937 |   639282 |    19116     80 |        2 |        7
1704.55/1705.05	c 1704s |      19 |   669714 |   639982 |    19116     80 |        2 |        7
1706.64/1707.17	c 1707s |      19 |   670326 |   640582 |    19116     80 |        2 |        7
1708.84/1709.38	c 1709s |      19 |   671052 |   641282 |    19116     80 |        2 |        7
1711.15/1711.62	c 1711s |      19 |   671787 |   641982 |    19116     80 |        2 |        7
1713.35/1713.81	c 1713s |      19 |   672513 |   642682 |    19116     81 |        2 |        7
1715.55/1716.01	c 1715s |      19 |   673453 |   643582 |    19116     81 |        2 |        7
1717.54/1718.04	c 1717s |      19 |   674081 |   644182 |    19116     81 |        2 |        7
1719.54/1720.05	c 1719s |      19 |   674906 |   644982 |    19116     81 |        2 |        7
1721.64/1722.11	c 1721s |      19 |   675735 |   645782 |    19116     81 |        2 |        7
1723.84/1724.30	c 1724s |      19 |   676615 |   646582 |    19116     81 |        2 |        7
1726.04/1726.54	c 1726s |      19 |   677455 |   647382 |    19116     81 |        2 |        7
1728.14/1728.64	c 1728s |      19 |   678190 |   648082 |    19116     81 |        2 |        7
1730.24/1730.73	c 1730s |      19 |   678927 |   648782 |    19116     81 |        2 |        7
1732.34/1732.82	c 1732s |      19 |   679670 |   649482 |    19116     81 |        2 |        7
1734.54/1735.08	c 1734s |      19 |   680410 |   650182 |    19116     81 |        2 |        7
1736.54/1737.09	c 1736s |      19 |   681055 |   650782 |    19116     81 |        2 |        7
1738.64/1739.13	c 1738s |      19 |   681691 |   651382 |    19116     81 |        2 |        7
1740.84/1741.36	c 1741s |      19 |   682305 |   651982 |    19116     82 |        2 |        7
1743.04/1743.51	c 1743s |      19 |   683257 |   652882 |    19116     82 |        2 |        7
1745.03/1745.56	c 1745s |      19 |   684086 |   653682 |    19116     82 |        2 |        7
1747.03/1747.59	c 1747s |      19 |   684916 |   654482 |    19116     82 |        2 |        7
1749.13/1749.68	c 1749s |      19 |   685348 |   654882 |    19116     82 |        2 |        7
1751.63/1752.16	c 1752s |      19 |   686184 |   655682 |    19116     82 |        2 |        7
1753.93/1754.46	c 1754s |      19 |   687018 |   656482 |    19116     82 |        2 |        7
1755.93/1756.48	c 1756s |      19 |   687770 |   657182 |    19116     82 |        2 |        7
1758.13/1758.64	c 1758s |      19 |   688510 |   657882 |    19116     82 |        2 |        7
1760.33/1760.82	c 1760s |      19 |   689241 |   658582 |    19116     82 |        2 |        7
1762.53/1763.04	c 1762s |      19 |   689981 |   659282 |    19116     82 |        2 |        7
1764.53/1765.05	c 1764s |      19 |   690610 |   659882 |    19116     82 |        2 |        7
1766.83/1767.33	c 1767s |      19 |   691349 |   660582 |    19116     82 |        2 |        7
1768.93/1769.41	c 1769s |      19 |   692001 |   661182 |    19116     82 |        2 |        7
1770.93/1771.45	c 1771s |      19 |   692660 |   661782 |    19116     83 |        2 |        7
1773.13/1773.66	c 1773s |      19 |   693626 |   662682 |    21028     83 |        2 |        7
1775.23/1775.77	c 1775s |      19 |   694470 |   663482 |    21028     83 |        2 |        7
1777.33/1777.82	c 1777s |      19 |   695308 |   664282 |    21028     83 |        2 |        7
1779.33/1779.85	c 1779s |      19 |   695912 |   664882 |    21028     83 |        2 |        7
1781.43/1781.99	c 1781s |      19 |   696635 |   665582 |    21028     83 |        2 |        7
1783.53/1784.00	c 1783s |      19 |   697374 |   666282 |    21028     83 |        2 |        7
1785.23/1785.71	c 1785s |      20 |   697943 |   666827 |    21028     83 |        2 |        7
1787.33/1787.88	c 1787s |      20 |   698686 |   667527 |    21028     83 |        2 |        7
1789.43/1789.92	c 1789s |      20 |   699428 |   668227 |    21028     83 |        2 |        7
1791.53/1792.08	c 1791s |      20 |   700192 |   668927 |    21028     83 |        2 |        7
1793.63/1794.17	c 1794s |      20 |   700934 |   669627 |    21028     83 |        2 |        7
1796.03/1796.50	c 1796s |      20 |   701710 |   670327 |    21028     83 |        2 |        7
1798.04/1798.53	c 1798s |      20 |   702361 |   670927 |    21028     83 |        2 |        7

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 14670
/proc/meminfo: memFree=30523620/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 2644 0 0 0 0 0 0 0 20 0 4 0 25229738 726069248 3005 33554432000 4194304 16246674 140734788862496 140734788861920 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 178031 3014 441 2943 0 174925 0
[pid=14670/tid=14671] ppid=14667 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 752283648 3105 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 756477952 3121 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 761720832 3137 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100212 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 14670
/proc/meminfo: memFree=30523620/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 22203 0 0 0 6 3 0 0 20 0 4 0 25229738 1250496512 22502 33554432000 4194304 16246674 140734788862496 140734788861808 6926241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 305297 22510 831 2943 0 302191 0
[pid=14670/tid=14671] ppid=14667 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1250496512 22516 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1250496512 22522 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1250496512 22528 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.20053 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 14670
/proc/meminfo: memFree=30523620/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 41182 0 0 0 13 6 0 0 20 0 4 0 25229738 1250496512 41482 33554432000 4194304 16246674 140734788862496 140734788861808 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 305297 41492 879 2943 0 302191 0
[pid=14670/tid=14671] ppid=14667 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1250496512 41498 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1250496512 41504 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1250496512 41510 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300497 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 14670
/proc/meminfo: memFree=30523620/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 60412 0 0 0 21 8 0 0 20 0 4 0 25229738 1250496512 60711 33554432000 4194304 16246674 140734788862496 140734788861808 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 305297 60723 879 2943 0 302191 0
[pid=14670/tid=14671] ppid=14667 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1250496512 60731 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1250496512 60736 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1250496512 60739 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700413 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 14670
/proc/meminfo: memFree=30523620/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 142508 0 0 0 51 18 0 0 20 0 4 0 25229738 1250496512 142808 33554432000 4194304 16246674 140734788862496 140734788844416 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 305297 142817 879 2943 0 302191 0
[pid=14670/tid=14671] ppid=14667 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1250496512 142822 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1250496512 142827 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1250496512 142831 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50042 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14674
/proc/meminfo: memFree=29621068/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 266296 0 0 0 114 35 0 0 20 0 4 0 25229738 1332285440 266595 33554432000 4194304 16246674 140734788862496 140734788844416 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 325265 266595 882 2943 0 322159 0
[pid=14670/tid=14671] ppid=14667 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1332285440 266595 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1332285440 266595 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1332285440 266595 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14674
/proc/meminfo: memFree=29452900/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 267727 0 0 0 274 35 0 0 20 0 4 0 25229738 1337528320 268026 33554432000 4194304 16246674 140734788862496 140734788845496 5823258 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 326545 268026 885 2943 0 323439 0
[pid=14670/tid=14671] ppid=14667 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1337528320 268026 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1337528320 268026 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1337528320 268026 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14674
/proc/meminfo: memFree=29452416/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 267727 0 0 0 594 35 0 0 20 0 4 0 25229738 1337528320 268026 33554432000 4194304 16246674 140734788862496 140734788844416 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 326545 268026 885 2943 0 323439 0
[pid=14670/tid=14671] ppid=14667 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1337528320 268026 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1337528320 268026 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1337528320 268026 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14674
/proc/meminfo: memFree=29453088/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 267727 0 0 0 1234 35 0 0 20 0 4 0 25229738 1337528320 268026 33554432000 4194304 16246674 140734788862496 140734788844416 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 326545 268026 885 2943 0 323439 0
[pid=14670/tid=14671] ppid=14667 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1337528320 268026 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1337528320 268026 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1337528320 268026 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14674
/proc/meminfo: memFree=29453104/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 267990 0 0 0 2513 35 0 0 20 0 4 0 25229738 1338576896 268289 33554432000 4194304 16246674 140734788862496 140734788844416 5823631 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 326801 268289 891 2943 0 323695 0
[pid=14670/tid=14671] ppid=14667 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1338576896 268289 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1338576896 268289 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1338576896 268289 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14674
/proc/meminfo: memFree=29440676/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1313348 CPUtime=51.09 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 269528 0 0 0 5073 36 0 0 20 0 4 0 25229738 1344868352 269827 33554432000 4194304 16246674 140734788862496 140734788844416 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 328337 269827 893 2943 0 325231 0
[pid=14670/tid=14671] ppid=14667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1344868352 269827 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1344868352 269827 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1344868352 269827 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 14675
/proc/meminfo: memFree=29439216/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 269784 0 0 0 10192 36 0 0 20 0 4 0 25229738 1345916928 270083 33554432000 4194304 16246674 140734788862496 140734788844416 13965658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 328593 270083 893 2943 0 325487 0
[pid=14670/tid=14671] ppid=14667 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1345916928 270083 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1345916928 270083 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1345916928 270083 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.15 2.09 2.02 3/183 14706
/proc/meminfo: memFree=29349840/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1357380 CPUtime=1361.89 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 280841 0 0 0 136144 45 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140734788844416 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 339345 281091 893 2943 0 336239 0
[pid=14670/tid=14671] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.15 2.10 2.03 3/184 14711
/proc/meminfo: memFree=29349884/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1357380 CPUtime=1421.9 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 280841 0 0 0 142144 46 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140734788844416 5676095 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 339345 281091 893 2943 0 336239 0
[pid=14670/tid=14671] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.05 2.08 2.02 3/184 14832
/proc/meminfo: memFree=29124080/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1357380 CPUtime=1481.88 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 280841 0 0 0 148142 46 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140734788844416 5823919 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 339345 281091 893 2943 0 336239 0
[pid=14670/tid=14671] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.02 2.06 2.02 3/183 14833
/proc/meminfo: memFree=19035400/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1357380 CPUtime=1541.88 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 280841 0 0 0 154142 46 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140734788844416 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 339345 281091 893 2943 0 336239 0
[pid=14670/tid=14671] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/183 14834
/proc/meminfo: memFree=16014176/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1357380 CPUtime=1601.86 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 280841 0 0 0 160139 47 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140734788844416 5823355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 339345 281091 893 2943 0 336239 0
[pid=14670/tid=14671] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.00 4/183 14883
/proc/meminfo: memFree=28296308/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1357380 CPUtime=1661.85 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 280841 0 0 0 166138 47 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140734788844416 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 339345 281091 893 2943 0 336239 0
[pid=14670/tid=14671] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 14885
/proc/meminfo: memFree=18840476/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1357380 CPUtime=1721.84 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 280841 0 0 0 172137 47 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140734788844416 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 339345 281091 893 2943 0 336239 0
[pid=14670/tid=14671] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14886
/proc/meminfo: memFree=18013048/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1357380 CPUtime=1781.83 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 280841 0 0 0 178136 47 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140734788844416 5672563 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 339345 281091 893 2943 0 336239 0
[pid=14670/tid=14671] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14886
/proc/meminfo: memFree=18011480/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1357380 CPUtime=1800.03 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 280841 0 0 0 179955 48 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140734788844416 13820907 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 339345 281091 893 2943 0 336239 0
[pid=14670/tid=14671] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1357380

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14886
/proc/meminfo: memFree=18011480/32872528 swapFree=249320/249320
[pid=14670] ppid=14667 vsize=1357380 CPUtime=1800.03 cores=1,3,5,7
/proc/14670/stat : 14670 (toysat) R 14667 14670 11324 0 -1 4202496 280841 0 0 0 179955 48 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140734788844416 13820907 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14670/statm: 339345 281091 893 2943 0 336239 0
[pid=14670/tid=14671] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (toysat) S 14667 14670 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089551203568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14672] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (toysat) S 14667 14670 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089540713712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14667 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (toysat) S 14667 14670 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25229738 1389957120 281091 33554432000 4194304 16246674 140734788862496 140089418050736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1357380

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.56
CPU system time (s): 0.480926
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.480926
maximum resident set size= 1124364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280841
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= 321
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5823 second user time and 6.94194 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 08:36:33
IDJOB=4102945
IDBENCH=2198
IDSOLVER=2542
FILE ID=node103/4102945-1466231793
RUNJOBID= node103-1466206104-11341
PBS_JOBID= 19918169
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102945-1466231793/watcher-4102945-1466231793 -o /tmp/evaluation-result-4102945-1466231793/solver-4102945-1466231793 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102945-1466231793.opb

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

MD5SUM BENCH= 47657fb6d35516304c5b4897d4fb805d
RANDOM SEED=980427570

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:        30524444 kB
Buffers:          120588 kB
Cached:           126396 kB
SwapCached:         2200 kB
Active:          1198616 kB
Inactive:         161220 kB
Active(anon):    1111880 kB
Inactive(anon):     3600 kB
Active(file):      86736 kB
Inactive(file):   157620 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             16616 kB
Writeback:             0 kB
AnonPages:       1363484 kB
Mapped:            10844 kB
Shmem:                 0 kB
Slab:             602404 kB
SReclaimable:      46068 kB
SUnreclaim:       556336 kB
KernelStack:        1488 kB
PageTables:         6144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1505768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    555008 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= 71692 MiB
End job on node103 at 2016-06-18 09:06:34