Trace number 4107852

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1208_10-unsat.opb
MD5SUMcde880e36ac940ebc706231d93099786
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22022
Total number of constraints69222
Number of constraints which are clauses68862
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints360
Minimum length of a constraint1
Maximum length of a constraint68
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 379
Number of bits of the biggest sum of numbers9
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-19T00:36:37+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-4107852-1466289397.opb"]
0.00/0.01	c use --random-gen="78652459 2678417753 2190584840 4001739033 1960172878 2062908304 2457972617 219331486 665311787 4197040891 1202885877 3896958213 2464932427 4060101552 1610261049 2861722470 3068050039 2438619546 2792402284 1654898412 3777923553 3151489608 2878350182 4111623322 22236909 3449221775 2395592410 1119319477 303712564 1089424673 36916822 2686461170 3149702502 3484637956 1158394923 1852025179 2790238648 847150667 2314843645 3812832437 2807353444 1073318874 1891357780 2752937029 3491137829 1520192690 19797959 3973144763 1355694598 3379200542 4176188230 4248463280 3832904855 2287085893 627394061 518673902 4199603867 2850239351 720335864 324270682 3340336862 3653562620 3872055004 2827461017 2756620559 3554584040 1088475833 1097013734 318225183 983752003 3968151966 370698587 1592970511 978063815 595652346 1608886717 1058279559 623727735 995970757 1387917932 1495577874 1583676937 3936526962 669845769 2521219908 486991911 742518208 1128859073 2655719233 3514711047 2824264421 739457964 1108516495 1482531582 2404566785 4142707241 2625661923 415575203 2063602477 3453321708 268896949 586164168 3905082242 3178165064 3809319972 9424120 1953568639 2194544619 561111806 3921218035 3814133713 3408098743 518120617 3997775068 323978061 1465346002 3373079918 2712129483 1543711263 2508087267 4012139624 1268476248 355755185 1023438326 1292243223 2630389530 706392096 1663650180 2248115964 1745445063 2973671767 299096276 4009807268 2609406890 4072823857 4314697 950798801 1675640670 576949702 1625836706 3204282537 2223411948 480810781 670690998 76378821 1405798638 1900978404 744217746 1381128249 3514113798 2508477985 3093836638 3328229319 4138630591 607444811 3287714655 2249954495 977626330 1508188 1082152956 887645179 1572355145 897488915 903565521 4283566960 2357831028 534906661 2701259421 1328363196 655488285 2367327662 4085534963 1629638119 485873809 4276246682 2810880465 3709551689 219471281 3671548810 1053444766 3076813558 303277938 574441163 923488517 864845766 2255832899 3596878199 1507389722 1341009725 3326998914 153516550 3298807829 868501435 3284433075 839877397 2292501094 309502204 4146826248 2100395562 3217596569 1364088711 2541871703 2643275452 3843641520 479224856 1942459328 3007730721 3564086315 1235668430 1023709638 3226580418 2729446817 339023796 4129389677 1997364732 3008654362 1520027677 3326577492 2549439166 3478298360 1516835582 1143462289 8306196 3785763450 2179840878 1134404185 3607041981 2443136516 693349636 2586887607 3345213677 1424874994 77858960 1812037378 2997382339 3113151365 3500635615 3565178885 2821946373 3956647352 2417227419 2418727476 3989676764 2461448096 3204073715 1651895257 2945977748 3088918066 1788190549 147901616 1150995773 1297902736 1993974831 3870146412 2245375062 2729694516 255 362436" option to reproduce the execution
0.39/0.42	c #vars 22022
0.39/0.42	c #constraints 69222
0.89/0.93	c Solving starts ...
0.89/0.93	c ============================[ Search Statistics ]============================
0.89/0.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.93	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.93	c =============================================================================
0.99/1.01	c  0.0s |       0 |        0 |        0 |    17399      0 |    15619 |        0
1.09/1.11	c  0.1s |       1 |      154 |      100 |    17399      0 |    15619 |    14868
1.19/1.25	c  0.2s |       2 |      410 |      250 |    19139      0 |    15619 |    14868
1.49/1.52	c  0.5s |       3 |      737 |      475 |    21053      0 |    15619 |    14868
1.89/1.97	c  1.0s |       4 |     1249 |      813 |    23159      0 |    15619 |    14868
2.59/2.67	c  1.7s |       5 |     1954 |     1320 |    25475      0 |    15619 |    14868
3.49/3.52	c  2.5s |       6 |     3002 |     2081 |    30826      0 |    15619 |    14868
4.89/4.99	c  4.0s |       7 |     4470 |     3223 |    33909      0 |    15619 |    14868
6.99/7.02	c  6.0s |       7 |     6319 |     4723 |    33909      0 |    15619 |    14868
7.19/7.29	c  6.3s |       8 |     6586 |     4936 |    37300      0 |    15619 |    14868
9.39/9.43	c  8.4s |       8 |     8458 |     6436 |    37300      0 |    15619 |    14868
11.00/11.03	c 10.0s |       9 |     9749 |     7506 |    41030      0 |    15619 |    14868
12.99/13.05	c 12.0s |       9 |    11500 |     8906 |    41030      0 |    15619 |    14868
15.09/15.18	c 14.2s |       9 |    13161 |    10306 |    41030      0 |    15619 |    14868
16.69/16.78	c 15.8s |      10 |    14400 |    11361 |    45134      0 |    15619 |    14868
18.80/18.88	c 17.9s |      10 |    15943 |    12661 |    45134      0 |    15619 |    14868
20.99/21.07	c 20.1s |      10 |    17525 |    13961 |    45134      0 |    15619 |    14868
23.09/23.12	c 22.1s |      10 |    18809 |    15061 |    45134      0 |    15619 |    14868
25.09/25.13	c 24.1s |      10 |    20309 |    16261 |    45134      0 |    15619 |    14868
26.69/26.72	c 25.7s |      11 |    21357 |    17144 |    49648      0 |    15619 |    14868
28.79/28.84	c 27.8s |      11 |    22581 |    18144 |    49648      0 |    15619 |    14868
30.89/30.92	c 29.9s |      11 |    23804 |    19144 |    49648      0 |    15619 |    14868
32.99/33.09	c 32.1s |      11 |    25032 |    20144 |    49648      0 |    15619 |    14868
35.08/35.15	c 34.1s |      11 |    26273 |    21144 |    49648      0 |    15619 |    14868
37.28/37.31	c 36.3s |      11 |    27508 |    22144 |    49648      0 |    15619 |    14868
39.38/39.48	c 38.5s |      11 |    28624 |    23044 |    49648      0 |    15619 |    14868
41.48/41.51	c 40.5s |      11 |    29762 |    23944 |    49648      0 |    15619 |    14868
43.58/43.63	c 42.6s |      11 |    30695 |    24744 |    49648      0 |    15619 |    14868
45.78/45.81	c 44.8s |      11 |    31848 |    25644 |    49648      0 |    15619 |    14868
46.19/46.26	c 45.2s |      12 |    32054 |    25819 |    54613      0 |    15619 |    14868
48.18/48.26	c 47.3s |      12 |    33047 |    26619 |    54613      0 |    15619 |    14868
50.18/50.29	c 49.3s |      12 |    34099 |    27519 |    54613      0 |    15619 |    14868
52.28/52.33	c 51.3s |      12 |    35041 |    28319 |    54613      0 |    15619 |    14868
54.38/54.43	c 53.4s |      12 |    36102 |    29219 |    54613      0 |    15619 |    14868
56.48/56.50	c 55.5s |      12 |    37078 |    30019 |    54613      0 |    15619 |    14868
58.58/58.69	c 57.7s |      12 |    38013 |    30819 |    54613      0 |    15619 |    14868
60.88/60.90	c 59.9s |      12 |    38956 |    31619 |    54613      0 |    15619 |    14868
62.98/63.05	c 62.0s |      12 |    39865 |    32419 |    54613      0 |    15619 |    14868
65.08/65.16	c 64.1s |      12 |    40819 |    33219 |    54613      0 |    15619 |    14868
67.19/67.26	c 66.2s |      12 |    41796 |    34019 |    54613      0 |    15619 |    14868
69.18/69.30	c 68.3s |      12 |    42644 |    34719 |    54613      0 |    15619 |    14868
71.49/71.57	c 70.6s |      12 |    43611 |    35519 |    54613      0 |    15619 |    14868
73.58/73.67	c 72.7s |      12 |    44586 |    36319 |    54613      0 |    15619 |    14868
75.58/75.68	c 74.7s |      12 |    45391 |    37019 |    54613      0 |    15619 |    14868
77.78/77.85	c 76.8s |      12 |    46353 |    37819 |    54613      0 |    15619 |    14868
79.88/79.92	c 78.9s |      12 |    47190 |    38519 |    54613      0 |    15619 |    14868
80.78/80.82	c 79.8s |      13 |    47560 |    38832 |    60075      0 |    15619 |    14868
82.88/82.94	c 81.9s |      13 |    48415 |    39532 |    60075      0 |    15619 |    14868
84.88/84.97	c 84.0s |      13 |    49230 |    40232 |    60075      0 |    15619 |    14868
87.18/87.22	c 86.2s |      13 |    50065 |    40932 |    60075      0 |    15619 |    14868
89.28/89.32	c 88.3s |      13 |    50897 |    41632 |    60075      0 |    15619 |    14868
91.28/91.34	c 90.3s |      13 |    51597 |    42232 |    60075      0 |    15619 |    14868
93.48/93.56	c 92.5s |      13 |    52413 |    42932 |    60075      0 |    15619 |    14868
95.68/95.72	c 94.7s |      13 |    53250 |    43632 |    60075      0 |    15619 |    14868
97.78/97.88	c 96.9s |      13 |    54106 |    44332 |    60075      0 |    15619 |    14868
99.97/100.02	c 99.0s |      13 |    55045 |    45132 |    60075      0 |    15619 |    14868
102.17/102.25	c  101s |      13 |    56115 |    46032 |    60075      0 |    15619 |    14868
104.27/104.32	c  103s |      13 |    57106 |    46832 |    60075      0 |    15619 |    14868
106.47/106.57	c  105s |      13 |    58050 |    47632 |    60075      0 |    15619 |    14868
108.67/108.78	c  107s |      13 |    59190 |    48532 |    60075      0 |    15619 |    14868
110.77/110.83	c  109s |      13 |    60011 |    49232 |    60075      0 |    15619 |    14868
112.77/112.85	c  111s |      13 |    60851 |    49932 |    60075      0 |    15619 |    14868
114.97/115.03	c  114s |      13 |    61707 |    50632 |    60075      0 |    15619 |    14868
117.17/117.28	c  116s |      13 |    62556 |    51332 |    60075      0 |    15619 |    14868
119.37/119.42	c  118s |      13 |    63434 |    52032 |    60075      0 |    15619 |    14868
121.47/121.51	c  120s |      13 |    64288 |    52732 |    60075      0 |    15619 |    14868
123.67/123.70	c  122s |      13 |    65262 |    53532 |    60075      0 |    15619 |    14868
125.87/125.94	c  124s |      13 |    66247 |    54332 |    60075      0 |    15619 |    14868
128.17/128.20	c  127s |      13 |    67247 |    55132 |    60075      0 |    15619 |    14868
130.17/130.27	c  129s |      13 |    68096 |    55832 |    60075      0 |    15619 |    14868
132.47/132.57	c  131s |      13 |    68972 |    56532 |    60075      0 |    15619 |    14868
134.57/134.68	c  133s |      13 |    69737 |    57132 |    60075      0 |    15619 |    14868
136.87/136.95	c  135s |      13 |    70619 |    57832 |    60075      0 |    15619 |    14868
138.27/138.34	c  137s |      14 |    71261 |    58352 |    66083      0 |    15619 |    14868
140.37/140.45	c  139s |      14 |    72019 |    58952 |    66083      0 |    15619 |    14868
142.57/142.68	c  141s |      14 |    72860 |    59652 |    66083      0 |    15619 |    14868
144.77/144.80	c  143s |      14 |    73572 |    60252 |    66083      0 |    15619 |    14868
146.86/146.98	c  145s |      14 |    74300 |    60852 |    66083      0 |    15619 |    14868
149.16/149.25	c  148s |      14 |    74994 |    61452 |    66083      0 |    15619 |    14868
151.36/151.40	c  150s |      14 |    75728 |    62052 |    66083      0 |    15619 |    14868
153.36/153.40	c  152s |      14 |    76309 |    62552 |    66083      0 |    15619 |    14868
155.36/155.49	c  154s |      14 |    77154 |    63252 |    66083      0 |    15619 |    14868
157.46/157.59	c  156s |      14 |    77865 |    63852 |    66083      0 |    15619 |    14868
159.86/159.97	c  158s |      14 |    78591 |    64452 |    66083      0 |    15619 |    14868
161.96/162.04	c  161s |      14 |    79303 |    65052 |    66083      0 |    15619 |    14868
163.97/164.10	c  163s |      14 |    79876 |    65552 |    66083      0 |    15619 |    14868
166.17/166.23	c  165s |      14 |    80609 |    66152 |    66083      0 |    15619 |    14868
168.27/168.36	c  167s |      14 |    81323 |    66752 |    66083      0 |    15619 |    14868
170.36/170.42	c  169s |      14 |    82031 |    67352 |    66083      0 |    15619 |    14868
172.56/172.62	c  171s |      14 |    82787 |    67952 |    66083      0 |    15619 |    14868
174.76/174.83	c  173s |      14 |    83491 |    68552 |    66083      0 |    15619 |    14868
176.76/176.85	c  175s |      14 |    84200 |    69152 |    66083      0 |    15619 |    14868
178.96/179.09	c  178s |      14 |    84920 |    69752 |    66083      0 |    15619 |    14868
181.06/181.14	c  180s |      14 |    85506 |    70252 |    66083      0 |    15619 |    14868
183.16/183.27	c  182s |      14 |    86079 |    70752 |    66083      0 |    15619 |    14868
185.56/185.66	c  184s |      14 |    86822 |    71352 |    66083      0 |    15619 |    14868
187.76/187.87	c  186s |      14 |    87528 |    71952 |    66083      0 |    15619 |    14868
189.96/190.09	c  189s |      14 |    88234 |    72552 |    66083      0 |    15619 |    14868
192.06/192.11	c  191s |      14 |    88802 |    73052 |    66083      0 |    15619 |    14868
194.26/194.39	c  193s |      14 |    89535 |    73652 |    66083      0 |    15619 |    14868
196.36/196.43	c  195s |      14 |    90285 |    74252 |    66083      0 |    15619 |    14868
198.56/198.61	c  197s |      14 |    91101 |    74952 |    66083      0 |    15619 |    14868
200.66/200.72	c  199s |      14 |    91960 |    75652 |    66083      0 |    15619 |    14868
202.96/203.05	c  202s |      14 |    92942 |    76452 |    66083      0 |    15619 |    14868
205.06/205.12	c  204s |      14 |    93634 |    77052 |    66083      0 |    15619 |    14868
207.16/207.21	c  206s |      14 |    94367 |    77652 |    66083      0 |    15619 |    14868
209.26/209.38	c  208s |      14 |    94953 |    78152 |    66083      0 |    15619 |    14868
211.76/211.83	c  210s |      14 |    95566 |    78652 |    66083      0 |    15619 |    14868
213.86/213.95	c  212s |      14 |    96147 |    79152 |    66083      0 |    15619 |    14868
216.06/216.13	c  215s |      14 |    96736 |    79652 |    66083      0 |    15619 |    14868
218.16/218.28	c  217s |      14 |    97333 |    80152 |    66083      0 |    15619 |    14868
220.46/220.52	c  219s |      14 |    98062 |    80752 |    66083      0 |    15619 |    14868
222.76/222.88	c  221s |      14 |    98743 |    81352 |    66083      0 |    15619 |    14868
225.16/225.21	c  224s |      14 |    99332 |    81852 |    66083      0 |    15619 |    14868
227.16/227.29	c  226s |      14 |    99963 |    82352 |    66083      0 |    15619 |    14868
229.76/229.85	c  228s |      14 |   100419 |    82752 |    66083      1 |    15619 |    14868
232.06/232.17	c  231s |      14 |   100761 |    83052 |    66083      1 |    15619 |    14868
234.45/234.57	c  233s |      14 |   101359 |    83552 |    66083      1 |    15619 |    14868
236.65/236.79	c  235s |      14 |   102387 |    84352 |    66083      1 |    15619 |    14868
238.85/238.98	c  237s |      14 |   103340 |    85152 |    66083      1 |    15619 |    14868
240.96/241.01	c  239s |      14 |   104131 |    85852 |    66083      1 |    15619 |    14868
243.16/243.26	c  242s |      14 |   105082 |    86652 |    66083      1 |    15619 |    14868
245.26/245.31	c  244s |      14 |   105886 |    87352 |    72692      1 |    15619 |    14868
246.15/246.21	c  245s |      15 |   106221 |    87632 |    72692      1 |    15619 |    14868
248.35/248.42	c  247s |      15 |   107014 |    88232 |    72692      1 |    15619 |    14868
250.45/250.55	c  249s |      15 |   108001 |    89032 |    72692      1 |    15619 |    14868
252.65/252.73	c  251s |      15 |   109105 |    89932 |    72692      1 |    15619 |    14868
254.75/254.82	c  253s |      15 |   110167 |    90832 |    72692      1 |    15619 |    14868
256.95/257.01	c  256s |      15 |   111374 |    91832 |    72692      1 |    15619 |    14868
259.15/259.23	c  258s |      15 |   112503 |    92732 |    72692      1 |    15619 |    14868
261.25/261.35	c  260s |      15 |   113464 |    93532 |    72692      1 |    15619 |    14868
263.45/263.53	c  262s |      15 |   114617 |    94432 |    72692      1 |    15619 |    14868
265.65/265.76	c  264s |      15 |   115696 |    95332 |    72692      1 |    15619 |    14868
267.74/267.87	c  266s |      15 |   116616 |    96132 |    72692      1 |    15619 |    14868
269.84/269.99	c  268s |      15 |   117637 |    96932 |    72692      1 |    15619 |    14868
272.14/272.24	c  271s |      15 |   118734 |    97832 |    72692      1 |    15619 |    14868
274.34/274.44	c  273s |      15 |   119701 |    98632 |    72692      1 |    15619 |    14868
276.34/276.48	c  275s |      15 |   120440 |    99232 |    72692      1 |    15619 |    14868
278.44/278.51	c  277s |      15 |   121142 |    99832 |    72692      1 |    15619 |    14868
280.55/280.64	c  279s |      15 |   121818 |   100432 |    72692      1 |    15619 |    14868
282.65/282.76	c  281s |      15 |   122532 |   101032 |    72692      1 |    15619 |    14868
284.95/285.04	c  284s |      15 |   123363 |   101732 |    72692      1 |    15619 |    14868
287.24/287.35	c  286s |      15 |   124189 |   102432 |    72692      1 |    15619 |    14868
289.25/289.38	c  288s |      15 |   124873 |   103032 |    72692      1 |    15619 |    14868
291.45/291.56	c  290s |      15 |   125684 |   103732 |    72692      1 |    15619 |    14868
293.65/293.76	c  292s |      15 |   126397 |   104332 |    72692      1 |    15619 |    14868
295.95/296.07	c  295s |      15 |   127221 |   105032 |    72692      1 |    15619 |    14868
298.04/298.18	c  297s |      15 |   127929 |   105632 |    72692      1 |    15619 |    14868
300.24/300.37	c  299s |      15 |   128745 |   106332 |    72692      1 |    15619 |    14868
302.54/302.68	c  301s |      15 |   129577 |   107032 |    72692      1 |    15619 |    14868
304.64/304.77	c  303s |      15 |   130312 |   107632 |    72692      1 |    15619 |    14868
306.74/306.86	c  305s |      15 |   131019 |   108232 |    72692      1 |    15619 |    14868
308.93/309.06	c  308s |      15 |   131719 |   108832 |    72692      1 |    15619 |    14868
311.03/311.19	c  310s |      15 |   132414 |   109432 |    72692      1 |    15619 |    14868
313.44/313.50	c  312s |      15 |   133126 |   110032 |    72692      1 |    15619 |    14868
315.53/315.63	c  314s |      15 |   133851 |   110632 |    72692      1 |    15619 |    14868
317.63/317.77	c  316s |      15 |   134556 |   111232 |    72692      1 |    15619 |    14868
320.04/320.11	c  319s |      15 |   135377 |   111932 |    72692      1 |    15619 |    14868
322.03/322.12	c  321s |      15 |   136082 |   112532 |    72692      1 |    15619 |    14868
324.13/324.23	c  323s |      15 |   136683 |   113032 |    72692      1 |    15619 |    14868
326.33/326.45	c  325s |      15 |   137263 |   113532 |    72692      1 |    15619 |    14868
328.53/328.69	c  327s |      15 |   137866 |   114032 |    72692      1 |    15619 |    14868
330.83/330.90	c  329s |      15 |   138656 |   114632 |    72692      1 |    15619 |    14868
333.13/333.22	c  332s |      15 |   139326 |   115232 |    72692      1 |    15619 |    14868
335.23/335.33	c  334s |      15 |   139916 |   115732 |    72692      1 |    15619 |    14868
337.23/337.39	c  336s |      15 |   140539 |   116232 |    72692      1 |    15619 |    14868
339.32/339.47	c  338s |      15 |   141132 |   116732 |    72692      1 |    15619 |    14868
341.62/341.71	c  340s |      15 |   141825 |   117332 |    72692      1 |    15619 |    14868
343.72/343.87	c  342s |      15 |   142449 |   117832 |    72692      1 |    15619 |    14868
345.82/345.99	c  344s |      15 |   143049 |   118332 |    72692      1 |    15619 |    14868
347.92/348.09	c  347s |      15 |   143661 |   118832 |    72692      1 |    15619 |    14868
350.02/350.16	c  349s |      15 |   144258 |   119332 |    72692      1 |    15619 |    14868
352.12/352.28	c  351s |      15 |   144854 |   119832 |    72692      1 |    15619 |    14868
354.32/354.40	c  353s |      15 |   145435 |   120332 |    72692      1 |    15619 |    14868
356.43/356.59	c  355s |      15 |   146024 |   120832 |    72692      1 |    15619 |    14868
358.82/358.93	c  357s |      15 |   146741 |   121432 |    72692      1 |    15619 |    14868
360.92/361.08	c  360s |      15 |   147322 |   121932 |    72692      1 |    15619 |    14868
363.22/363.31	c  362s |      15 |   147928 |   122432 |    72692      1 |    15619 |    14868
365.62/365.73	c  364s |      15 |   148637 |   123032 |    72692      1 |    15619 |    14868
367.92/368.01	c  367s |      15 |   149210 |   123532 |    72692      1 |    15619 |    14868
370.22/370.32	c  369s |      15 |   149788 |   124032 |    72692      1 |    15619 |    14868
372.52/372.62	c  371s |      15 |   150369 |   124532 |    72692      1 |    15619 |    14868
374.72/374.85	c  373s |      15 |   150933 |   125032 |    72692      1 |    15619 |    14868
376.82/376.90	c  375s |      15 |   151547 |   125532 |    72692      1 |    15619 |    14868
378.91/379.06	c  378s |      15 |   152262 |   126132 |    72692      1 |    15619 |    14868
381.21/381.34	c  380s |      15 |   152971 |   126732 |    72692      1 |    15619 |    14868
383.51/383.65	c  382s |      15 |   153725 |   127332 |    72692      1 |    15619 |    14868
385.81/386.00	c  384s |      15 |   154331 |   127832 |    72692      1 |    15619 |    14868
388.01/388.10	c  387s |      15 |   154957 |   128332 |    72692      1 |    15619 |    14868
390.21/390.37	c  389s |      15 |   155624 |   128832 |    72692      1 |    15619 |    14868
392.31/392.49	c  391s |      15 |   156323 |   129332 |    72692      1 |    15619 |    14868
394.61/394.71	c  393s |      15 |   157097 |   129932 |    72692      1 |    15619 |    14868
396.71/396.85	c  395s |      15 |   157687 |   130432 |    72692      1 |    15619 |    14868
398.81/398.98	c  397s |      15 |   158290 |   130932 |    79962      1 |    15619 |    14868
401.11/401.22	c  400s |      15 |   158895 |   131432 |    79962      1 |    15619 |    14868
401.61/401.77	c  400s |      16 |   159049 |   131552 |    79962      1 |    15619 |    14868
403.81/403.90	c  402s |      16 |   159607 |   131952 |    79962      1 |    15619 |    14868
406.21/406.36	c  405s |      16 |   160249 |   132452 |    79962      1 |    15619 |    14868
408.31/408.40	c  407s |      16 |   160732 |   132852 |    79962      1 |    15619 |    14868
410.41/410.54	c  409s |      16 |   161193 |   133252 |    79962      1 |    15619 |    14868
412.61/412.74	c  411s |      16 |   161815 |   133752 |    79962      1 |    15619 |    14868
415.11/415.23	c  414s |      16 |   162436 |   134252 |    79962      1 |    15619 |    14868
417.31/417.41	c  416s |      16 |   163053 |   134752 |    79962      1 |    15619 |    14868
419.31/419.43	c  418s |      16 |   163649 |   135252 |    79962      1 |    15619 |    14868
421.41/421.52	c  420s |      16 |   164257 |   135752 |    79962      1 |    15619 |    14868
423.91/424.01	c  422s |      16 |   164881 |   136252 |    79962      1 |    15619 |    14868
425.91/426.09	c  425s |      16 |   165527 |   136752 |    79962      1 |    15619 |    14868
428.20/428.32	c  427s |      16 |   166141 |   137252 |    79962      1 |    15619 |    14868
430.40/430.57	c  429s |      16 |   166796 |   137752 |    79962      1 |    15619 |    14868
433.70/433.89	c  432s |      16 |   167381 |   138252 |    79962      2 |    15619 |    14868
435.91/436.06	c  435s |      16 |   167973 |   138752 |    79962      2 |    15619 |    14868
438.01/438.10	c  437s |      16 |   168664 |   139352 |    79962      2 |    15619 |    14868
440.01/440.17	c  439s |      16 |   169521 |   140052 |    79962      2 |    15619 |    14868
442.31/442.45	c  441s |      16 |   170405 |   140752 |    79962      2 |    15619 |    14868
444.51/444.61	c  443s |      16 |   171310 |   141452 |    79962      2 |    15619 |    14868
446.61/446.71	c  445s |      16 |   172247 |   142152 |    79962      2 |    15619 |    14868
448.91/449.04	c  448s |      16 |   173081 |   142852 |    79962      2 |    15619 |    14868
451.01/451.18	c  450s |      16 |   173933 |   143552 |    79962      2 |    15619 |    14868
453.21/453.34	c  452s |      16 |   174856 |   144252 |    79962      2 |    15619 |    14868
455.50/455.60	c  454s |      16 |   175720 |   144952 |    79962      2 |    15619 |    14868
457.61/457.72	c  456s |      16 |   176584 |   145652 |    79962      2 |    15619 |    14868
459.90/460.05	c  459s |      16 |   177474 |   146352 |    79962      2 |    15619 |    14868
462.20/462.34	c  461s |      16 |   178188 |   146952 |    79962      2 |    15619 |    14868
464.40/464.59	c  463s |      16 |   178882 |   147552 |    79962      2 |    15619 |    14868
466.60/466.75	c  465s |      16 |   179620 |   148152 |    79962      2 |    15619 |    14868
468.80/468.94	c  467s |      16 |   180299 |   148752 |    79962      2 |    15619 |    14868
470.90/471.00	c  469s |      16 |   181155 |   149452 |    79962      2 |    15619 |    14868
472.91/473.07	c  472s |      16 |   181869 |   150052 |    79962      2 |    15619 |    14868
475.30/475.44	c  474s |      16 |   182630 |   150652 |    79962      2 |    15619 |    14868
477.50/477.67	c  476s |      16 |   183357 |   151252 |    79962      2 |    15619 |    14868
479.70/479.86	c  478s |      16 |   184086 |   151852 |    79962      2 |    15619 |    14868
481.81/481.91	c  480s |      16 |   184668 |   152352 |    79962      2 |    15619 |    14868
484.10/484.26	c  483s |      16 |   185362 |   152952 |    79962      2 |    15619 |    14868
486.40/486.56	c  485s |      16 |   186048 |   153552 |    79962      2 |    15619 |    14868
488.70/488.83	c  487s |      16 |   186750 |   154152 |    79962      2 |    15619 |    14868
490.90/491.06	c  490s |      16 |   187448 |   154752 |    79962      2 |    15619 |    14868
493.10/493.28	c  492s |      16 |   188055 |   155252 |    79962      2 |    15619 |    14868
495.40/495.52	c  494s |      16 |   188740 |   155852 |    79962      2 |    15619 |    14868
497.80/497.96	c  496s |      16 |   189463 |   156452 |    79962      2 |    15619 |    14868
500.00/500.14	c  499s |      16 |   190203 |   157052 |    79962      2 |    15619 |    14868
502.20/502.38	c  501s |      16 |   190908 |   157652 |    79962      2 |    15619 |    14868
504.50/504.69	c  503s |      16 |   191607 |   158252 |    79962      2 |    15619 |    14868
506.80/506.99	c  505s |      16 |   192309 |   158852 |    79962      2 |    15619 |    14868
508.79/508.99	c  507s |      16 |   193051 |   159452 |    79962      2 |    15619 |    14868
510.89/511.07	c  510s |      16 |   193794 |   160052 |    79962      2 |    15619 |    14868
513.09/513.26	c  512s |      16 |   194506 |   160652 |    79962      2 |    15619 |    14868
515.29/515.45	c  514s |      16 |   195205 |   161252 |    79962      2 |    15619 |    14868
517.69/517.89	c  516s |      16 |   195921 |   161852 |    79962      2 |    15619 |    14868
519.79/519.96	c  518s |      16 |   196466 |   162352 |    79962      2 |    15619 |    14868
521.79/521.97	c  520s |      16 |   197035 |   162852 |    79962      2 |    15619 |    14868
523.99/524.10	c  523s |      16 |   197590 |   163352 |    79962      2 |    15619 |    14868
526.19/526.36	c  525s |      16 |   198148 |   163852 |    79962      2 |    15619 |    14868
528.49/528.66	c  527s |      16 |   198870 |   164452 |    79962      2 |    15619 |    14868
530.79/530.93	c  529s |      16 |   199442 |   164952 |    79962      2 |    15619 |    14868
532.89/533.04	c  532s |      16 |   200014 |   165452 |    79962      2 |    15619 |    14868
535.08/535.25	c  534s |      16 |   200624 |   165952 |    79962      2 |    15619 |    14868
537.08/537.29	c  536s |      16 |   201073 |   166352 |    79962      2 |    15619 |    14868
539.48/539.68	c  538s |      16 |   201652 |   166852 |    79962      2 |    15619 |    14868
541.68/541.83	c  540s |      16 |   202249 |   167352 |    79962      2 |    15619 |    14868
543.78/543.96	c  542s |      16 |   202849 |   167852 |    79962      2 |    15619 |    14868
545.88/546.07	c  545s |      16 |   203308 |   168252 |    79962      2 |    15619 |    14868
548.18/548.36	c  547s |      16 |   203864 |   168752 |    79962      2 |    15619 |    14868
550.48/550.68	c  549s |      16 |   204439 |   169252 |    79962      2 |    15619 |    14868
552.68/552.87	c  551s |      16 |   205024 |   169752 |    79962      2 |    15619 |    14868
554.98/555.14	c  554s |      16 |   205584 |   170252 |    79962      2 |    15619 |    14868
557.37/557.51	c  556s |      16 |   206142 |   170752 |    79962      2 |    15619 |    14868
559.37/559.54	c  558s |      16 |   206730 |   171252 |    79962      2 |    15619 |    14868
561.77/561.94	c  560s |      16 |   207453 |   171852 |    79962      2 |    15619 |    14868
563.97/564.18	c  563s |      16 |   208209 |   172452 |    79962      2 |    15619 |    14868
566.07/566.24	c  565s |      16 |   208677 |   172852 |    79962      2 |    15619 |    14868
568.17/568.33	c  567s |      16 |   209186 |   173252 |    79962      2 |    15619 |    14868
570.17/570.37	c  569s |      16 |   209684 |   173652 |    79962      2 |    15619 |    14868
572.57/572.76	c  571s |      16 |   210289 |   174152 |    79962      2 |    15619 |    14868
574.77/574.94	c  573s |      16 |   210942 |   174652 |    79962      2 |    15619 |    14868
576.97/577.19	c  576s |      16 |   211745 |   175252 |    79962      2 |    15619 |    14868
579.46/579.63	c  578s |      16 |   212531 |   175852 |    79962      2 |    15619 |    14868
581.46/581.65	c  580s |      16 |   213015 |   176252 |    79962      2 |    15619 |    14868
583.76/583.93	c  582s |      16 |   213619 |   176752 |    79962      2 |    15619 |    14868
586.06/586.24	c  585s |      16 |   214214 |   177252 |    79962      2 |    15619 |    14868
588.16/588.35	c  587s |      16 |   214859 |   177752 |    79962      2 |    15619 |    14868
590.46/590.69	c  589s |      16 |   215434 |   178252 |    79962      2 |    15619 |    14868
592.76/592.97	c  591s |      16 |   216049 |   178752 |    79962      2 |    15619 |    14868
595.06/595.26	c  594s |      16 |   216505 |   179152 |    79962      2 |    15619 |    14868
597.46/597.64	c  596s |      16 |   217090 |   179652 |    79962      2 |    15619 |    14868
599.76/599.96	c  598s |      16 |   217722 |   180152 |    79962      2 |    15619 |    14868
601.96/602.14	c  601s |      16 |   218481 |   180752 |    79962      2 |    15619 |    14868
604.16/604.30	c  603s |      16 |   219237 |   181352 |    79962      2 |    15619 |    14868
606.55/606.74	c  605s |      16 |   219935 |   181952 |    79962      2 |    15619 |    14868
608.65/608.87	c  607s |      16 |   220569 |   182452 |    79962      2 |    15619 |    14868
611.05/611.23	c  610s |      16 |   221281 |   183052 |    79962      2 |    15619 |    14868
613.15/613.38	c  612s |      16 |   221899 |   183552 |    79962      2 |    15619 |    14868
615.25/615.41	c  614s |      16 |   222367 |   183952 |    79962      2 |    15619 |    14868
617.65/617.80	c  616s |      16 |   223007 |   184452 |    79962      2 |    15619 |    14868
620.05/620.25	c  619s |      16 |   223625 |   184952 |    79962      2 |    15619 |    14868
622.35/622.53	c  621s |      16 |   224285 |   185452 |    79962      2 |    15619 |    14868
624.55/624.71	c  623s |      16 |   224918 |   185952 |    79962      2 |    15619 |    14868
626.64/626.87	c  625s |      16 |   225727 |   186552 |    79962      2 |    15619 |    14868
629.15/629.38	c  628s |      16 |   226224 |   186952 |    79962      3 |    15619 |    14868
632.24/632.46	c  631s |      16 |   226461 |   187152 |    79962      3 |    15619 |    14868
634.55/634.74	c  633s |      16 |   227077 |   187652 |    79962      3 |    15619 |    14868
636.75/636.91	c  635s |      16 |   227696 |   188152 |    79962      3 |    15619 |    14868
639.05/639.24	c  638s |      16 |   228548 |   188852 |    79962      3 |    15619 |    14868
641.25/641.45	c  640s |      16 |   229374 |   189552 |    79962      3 |    15619 |    14868
643.54/643.74	c  642s |      16 |   230086 |   190152 |    79962      3 |    15619 |    14868
645.54/645.80	c  644s |      16 |   230789 |   190752 |    79962      3 |    15619 |    14868
647.84/648.03	c  647s |      16 |   231505 |   191352 |    79962      3 |    15619 |    14868
649.94/650.14	c  649s |      16 |   232259 |   191952 |    79962      3 |    15619 |    14868
652.03/652.24	c  651s |      16 |   232976 |   192552 |    79962      3 |    15619 |    14868
654.13/654.36	c  653s |      16 |   233575 |   193052 |    79962      3 |    15619 |    14868
656.33/656.51	c  655s |      16 |   234306 |   193652 |    79962      3 |    15619 |    14868
658.33/658.58	c  657s |      16 |   234897 |   194152 |    79962      3 |    15619 |    14868
660.43/660.64	c  659s |      16 |   235472 |   194652 |    79962      3 |    15619 |    14868
662.53/662.79	c  661s |      16 |   236086 |   195152 |    79962      3 |    15619 |    14868
664.83/665.06	c  664s |      16 |   236987 |   195852 |    79962      3 |    15619 |    14868
666.93/667.13	c  666s |      16 |   237732 |   196452 |    87959      3 |    15619 |    14868
669.23/669.41	c  668s |      16 |   238493 |   197052 |    87959      3 |    15619 |    14868
670.73/670.92	c  669s |      17 |   238966 |   197432 |    87959      3 |    15619 |    14868
672.72/672.99	c  671s |      17 |   239591 |   197932 |    87959      3 |    15619 |    14868
675.23/675.46	c  674s |      17 |   240197 |   198432 |    87959      3 |    15619 |    14868
677.72/677.93	c  676s |      17 |   240945 |   199032 |    87959      3 |    15619 |    14868
679.82/680.08	c  679s |      17 |   241689 |   199632 |    87959      3 |    15619 |    14868
681.93/682.19	c  681s |      17 |   242461 |   200232 |    87959      3 |    15619 |    14868
684.13/684.33	c  683s |      17 |   243223 |   200832 |    87959      3 |    15619 |    14868
686.42/686.64	c  685s |      17 |   243946 |   201432 |    87959      3 |    15619 |    14868
688.42/688.66	c  687s |      17 |   244725 |   202032 |    87959      3 |    15619 |    14868
690.42/690.67	c  689s |      17 |   245466 |   202632 |    87959      3 |    15619 |    14868
692.51/692.72	c  691s |      17 |   246141 |   203232 |    87959      3 |    15619 |    14868
694.51/694.73	c  693s |      17 |   246857 |   203832 |    87959      3 |    15619 |    14868
696.71/696.97	c  695s |      17 |   247687 |   204532 |    87959      3 |    15619 |    14868
698.81/699.01	c  698s |      17 |   248443 |   205132 |    87959      3 |    15619 |    14868
701.01/701.28	c  700s |      17 |   249136 |   205732 |    87959      3 |    15619 |    14868
703.41/703.63	c  702s |      17 |   249851 |   206332 |    87959      3 |    15619 |    14868
705.51/705.77	c  704s |      17 |   250763 |   207032 |    87959      3 |    15619 |    14868
707.81/708.01	c  706s |      17 |   251609 |   207732 |    87959      3 |    15619 |    14868
710.01/710.29	c  709s |      17 |   252353 |   208332 |    87959      3 |    15619 |    14868
712.21/712.49	c  711s |      17 |   252941 |   208832 |    87959      3 |    15619 |    14868
714.61/714.88	c  713s |      17 |   253669 |   209432 |    87959      3 |    15619 |    14868
716.91/717.10	c  716s |      17 |   254264 |   209932 |    87959      3 |    15619 |    14868
719.11/719.37	c  718s |      17 |   254901 |   210432 |    87959      3 |    15619 |    14868
721.41/721.64	c  720s |      17 |   255499 |   210932 |    87959      3 |    15619 |    14868
723.61/723.84	c  722s |      17 |   256202 |   211532 |    87959      3 |    15619 |    14868
725.91/726.17	c  725s |      17 |   256902 |   212132 |    87959      3 |    15619 |    14868
728.01/728.30	c  727s |      17 |   257656 |   212732 |    87959      3 |    15619 |    14868
730.10/730.39	c  729s |      17 |   258244 |   213232 |    87959      3 |    15619 |    14868
732.41/732.64	c  731s |      17 |   258955 |   213832 |    87959      3 |    15619 |    14868
734.40/734.65	c  733s |      17 |   259644 |   214432 |    87959      3 |    15619 |    14868
736.81/737.06	c  736s |      17 |   260224 |   214932 |    87959      3 |    15619 |    14868
738.90/739.17	c  738s |      17 |   260793 |   215432 |    87959      3 |    15619 |    14868
741.10/741.33	c  740s |      17 |   261528 |   216032 |    87959      3 |    15619 |    14868
743.10/743.37	c  742s |      17 |   262114 |   216532 |    87959      3 |    15619 |    14868
745.20/745.40	c  744s |      17 |   262681 |   217032 |    87959      3 |    15619 |    14868
747.39/747.60	c  746s |      17 |   263283 |   217532 |    87959      3 |    15619 |    14868
749.39/749.69	c  748s |      17 |   263863 |   218032 |    87959      3 |    15619 |    14868
751.59/751.81	c  750s |      17 |   264326 |   218432 |    87959      3 |    15619 |    14868
753.89/754.18	c  753s |      17 |   265075 |   219032 |    87959      3 |    15619 |    14868
756.19/756.41	c  755s |      17 |   265677 |   219532 |    87959      3 |    15619 |    14868
758.39/758.66	c  757s |      17 |   266251 |   220032 |    87959      3 |    15619 |    14868
760.79/761.06	c  760s |      17 |   266854 |   220532 |    87959      3 |    15619 |    14868
762.89/763.17	c  762s |      17 |   267438 |   221032 |    87959      3 |    15619 |    14868
764.99/765.23	c  764s |      17 |   268061 |   221532 |    87959      3 |    15619 |    14868
767.19/767.47	c  766s |      17 |   268644 |   222032 |    87959      3 |    15619 |    14868
769.49/769.76	c  768s |      17 |   269232 |   222532 |    87959      3 |    15619 |    14868
771.48/771.78	c  770s |      17 |   269707 |   222932 |    87959      3 |    15619 |    14868
773.68/773.97	c  772s |      17 |   270150 |   223332 |    87959      3 |    15619 |    14868
775.88/776.13	c  775s |      17 |   270624 |   223732 |    87959      3 |    15619 |    14868
778.08/778.35	c  777s |      17 |   271087 |   224132 |    87959      3 |    15619 |    14868
780.18/780.47	c  779s |      17 |   271558 |   224532 |    87959      3 |    15619 |    14868
782.28/782.53	c  781s |      17 |   272034 |   224932 |    87959      3 |    15619 |    14868
784.58/784.84	c  783s |      17 |   272502 |   225332 |    87959      3 |    15619 |    14868
786.98/787.20	c  786s |      17 |   272982 |   225732 |    87959      3 |    15619 |    14868
788.98/789.26	c  788s |      17 |   273460 |   226132 |    87959      3 |    15619 |    14868
790.98/791.29	c  790s |      17 |   273942 |   226532 |    87959      3 |    15619 |    14868
793.48/793.73	c  792s |      17 |   274405 |   226932 |    87959      3 |    15619 |    14868
795.98/796.25	c  795s |      17 |   274874 |   227332 |    87959      3 |    15619 |    14868
798.48/798.77	c  797s |      17 |   275376 |   227732 |    87959      3 |    15619 |    14868
800.77/801.05	c  800s |      17 |   275844 |   228132 |    87959      3 |    15619 |    14868
803.07/803.30	c  802s |      17 |   276452 |   228632 |    87959      3 |    15619 |    14868
805.08/805.34	c  804s |      17 |   276923 |   229032 |    87959      3 |    15619 |    14868
807.28/807.52	c  806s |      17 |   277511 |   229532 |    87959      3 |    15619 |    14868
809.38/809.69	c  808s |      17 |   278122 |   230032 |    87959      3 |    15619 |    14868
811.57/811.83	c  810s |      17 |   278767 |   230532 |    87959      3 |    15619 |    14868
813.67/813.99	c  812s |      17 |   279251 |   230932 |    87959      3 |    15619 |    14868
815.87/816.17	c  815s |      17 |   279751 |   231332 |    87959      3 |    15619 |    14868
818.36/818.64	c  817s |      17 |   280361 |   231832 |    87959      3 |    15619 |    14868
820.76/821.00	c  819s |      17 |   281002 |   232332 |    87959      3 |    15619 |    14868
822.86/823.19	c  822s |      17 |   281612 |   232832 |    87959      3 |    15619 |    14868
825.36/825.69	c  824s |      17 |   282183 |   233332 |    87959      3 |    15619 |    14868
827.46/827.79	c  826s |      17 |   282773 |   233832 |    87959      3 |    15619 |    14868
829.86/830.17	c  829s |      17 |   283367 |   234332 |    87959      3 |    15619 |    14868
832.47/832.77	c  831s |      17 |   283818 |   234732 |    87959      3 |    15619 |    14868
835.16/835.41	c  834s |      17 |   284297 |   235132 |    87959      3 |    15619 |    14868
837.16/837.42	c  836s |      17 |   284747 |   235532 |    87959      3 |    15619 |    14868
839.35/839.64	c  838s |      17 |   285210 |   235932 |    87959      3 |    15619 |    14868
841.36/841.66	c  840s |      17 |   285680 |   236332 |    87959      3 |    15619 |    14868
843.46/843.76	c  842s |      17 |   286155 |   236732 |    87959      3 |    15619 |    14868
845.95/846.21	c  845s |      17 |   286767 |   237232 |    87959      3 |    15619 |    14868
848.25/848.59	c  847s |      17 |   287383 |   237732 |    87959      3 |    15619 |    14868
850.45/850.71	c  849s |      17 |   287845 |   238132 |    87959      3 |    15619 |    14868
852.75/853.09	c  852s |      17 |   288453 |   238632 |    87959      3 |    15619 |    14868
854.95/855.24	c  854s |      17 |   289031 |   239132 |    87959      3 |    15619 |    14868
857.25/857.53	c  856s |      17 |   289620 |   239632 |    87959      3 |    15619 |    14868
859.54/859.84	c  858s |      17 |   290213 |   240132 |    87959      3 |    15619 |    14868
861.64/861.94	c  860s |      17 |   290693 |   240532 |    87959      3 |    15619 |    14868
864.24/864.50	c  863s |      17 |   291309 |   241032 |    87959      3 |    15619 |    14868
866.34/866.64	c  865s |      17 |   291771 |   241432 |    87959      3 |    15619 |    14868
868.85/869.17	c  868s |      17 |   292249 |   241832 |    87959      3 |    15619 |    14868
871.44/871.71	c  870s |      17 |   292741 |   242232 |    87959      3 |    15619 |    14868
873.94/874.20	c  873s |      17 |   293191 |   242632 |    87959      3 |    15619 |    14868
876.64/876.98	c  875s |      17 |   293577 |   242932 |    87959      4 |    15619 |    14868
878.93/879.26	c  878s |      17 |   294158 |   243432 |    87959      4 |    15619 |    14868
881.23/881.55	c  880s |      17 |   294886 |   244032 |    87959      4 |    15619 |    14868
883.43/883.74	c  882s |      17 |   295349 |   244432 |    87959      4 |    15619 |    14868
885.73/886.04	c  885s |      17 |   296036 |   245032 |    87959      4 |    15619 |    14868
887.83/888.15	c  887s |      17 |   296619 |   245532 |    87959      4 |    15619 |    14868
889.83/890.16	c  889s |      17 |   297241 |   246032 |    87959      4 |    15619 |    14868
892.03/892.30	c  891s |      17 |   297840 |   246532 |    87959      4 |    15619 |    14868
894.23/894.55	c  893s |      17 |   298587 |   247132 |    87959      4 |    15619 |    14868
896.23/896.58	c  895s |      17 |   299163 |   247632 |    87959      4 |    15619 |    14868
898.63/898.92	c  897s |      17 |   299876 |   248232 |    87959      4 |    15619 |    14868
900.63/901.00	c  899s |      17 |   300523 |   248732 |    87959      4 |    15619 |    14868
902.83/903.10	c  902s |      17 |   301073 |   249232 |    87959      4 |    15619 |    14868
905.03/905.35	c  904s |      17 |   301827 |   249832 |    87959      4 |    15619 |    14868
907.13/907.42	c  906s |      17 |   302450 |   250332 |    87959      4 |    15619 |    14868
909.13/909.43	c  908s |      17 |   303189 |   250932 |    87959      4 |    15619 |    14868
911.53/911.80	c  910s |      17 |   303917 |   251532 |    87959      4 |    15619 |    14868
913.63/913.93	c  912s |      17 |   304535 |   252032 |    87959      4 |    15619 |    14868
915.73/916.00	c  914s |      17 |   305177 |   252532 |    87959      4 |    15619 |    14868
918.02/918.38	c  917s |      17 |   305786 |   253032 |    87959      4 |    15619 |    14868
920.22/920.59	c  919s |      17 |   306410 |   253532 |    87959      4 |    15619 |    14868
922.63/922.92	c  921s |      17 |   307008 |   254032 |    87959      4 |    15619 |    14868
925.12/925.43	c  924s |      17 |   307868 |   254732 |    87959      4 |    15619 |    14868
927.22/927.56	c  926s |      17 |   308444 |   255232 |    87959      4 |    15619 |    14868
929.42/929.71	c  928s |      17 |   309177 |   255832 |    87959      4 |    15619 |    14868
931.53/931.83	c  930s |      17 |   309901 |   256432 |    87959      4 |    15619 |    14868
933.82/934.14	c  933s |      17 |   310616 |   257032 |    87959      4 |    15619 |    14868
935.82/936.16	c  935s |      17 |   311184 |   257532 |    87959      4 |    15619 |    14868
938.13/938.41	c  937s |      17 |   311809 |   258032 |    87959      4 |    15619 |    14868
940.12/940.46	c  939s |      17 |   312431 |   258532 |    87959      4 |    15619 |    14868
942.72/943.09	c  942s |      17 |   313020 |   259032 |    87959      4 |    15619 |    14868
945.12/945.42	c  944s |      17 |   313623 |   259532 |    87959      4 |    15619 |    14868
947.32/947.61	c  946s |      17 |   314209 |   260032 |    87959      4 |    15619 |    14868
949.51/949.82	c  948s |      17 |   314796 |   260532 |    87959      4 |    15619 |    14868
951.61/951.94	c  950s |      17 |   315397 |   261032 |    87959      4 |    15619 |    14868
953.62/953.96	c  952s |      17 |   315772 |   261332 |    87959      4 |    15619 |    14868
955.82/956.17	c  955s |      17 |   316118 |   261632 |    87959      4 |    15619 |    14868
958.12/958.43	c  957s |      17 |   316702 |   262132 |    87959      4 |    15619 |    14868
960.52/960.85	c  959s |      17 |   317464 |   262732 |    87959      4 |    15619 |    14868
962.82/963.16	c  962s |      17 |   318036 |   263232 |    87959      4 |    15619 |    14868
965.22/965.51	c  964s |      17 |   318661 |   263732 |    87959      4 |    15619 |    14868
967.52/967.88	c  966s |      17 |   319213 |   264232 |    87959      4 |    15619 |    14868
969.62/969.95	c  968s |      17 |   319830 |   264732 |    87959      4 |    15619 |    14868
971.82/972.10	c  971s |      17 |   320407 |   265232 |    87959      4 |    15619 |    14868
974.02/974.31	c  973s |      17 |   321012 |   265732 |    87959      4 |    15619 |    14868
976.12/976.42	c  975s |      17 |   321669 |   266232 |    87959      4 |    15619 |    14868
978.12/978.48	c  977s |      17 |   322286 |   266732 |    87959      4 |    15619 |    14868
980.52/980.85	c  979s |      17 |   322879 |   267232 |    87959      4 |    15619 |    14868
982.62/982.91	c  981s |      17 |   323466 |   267732 |    87959      4 |    15619 |    14868
984.92/985.24	c  984s |      17 |   324200 |   268332 |    87959      4 |    15619 |    14868
987.22/987.55	c  986s |      17 |   324944 |   268932 |    87959      4 |    15619 |    14868
989.62/989.93	c  988s |      17 |   325643 |   269532 |    87959      4 |    15619 |    14868
991.62/991.96	c  990s |      17 |   326239 |   270032 |    87959      4 |    15619 |    14868
993.91/994.20	c  993s |      17 |   326962 |   270632 |    87959      4 |    15619 |    14868
996.11/996.42	c  995s |      17 |   327720 |   271232 |    87959      4 |    15619 |    14868
998.21/998.59	c  997s |      17 |   328310 |   271732 |    87959      4 |    15619 |    14868
1000.51/1000.85	c  999s |      17 |   329019 |   272332 |    87959      4 |    15619 |    14868
1002.81/1003.17	c 1002s |      17 |   329744 |   272932 |    87959      4 |    15619 |    14868
1005.12/1005.43	c 1004s |      17 |   330471 |   273532 |    87959      4 |    15619 |    14868
1007.32/1007.65	c 1006s |      17 |   331144 |   274032 |    87959      4 |    15619 |    14868
1009.41/1009.78	c 1008s |      17 |   331788 |   274532 |    87959      4 |    15619 |    14868
1011.72/1012.08	c 1011s |      17 |   332365 |   275032 |    87959      4 |    15619 |    14868
1014.11/1014.41	c 1013s |      17 |   332951 |   275532 |    87959      4 |    15619 |    14868
1016.41/1016.73	c 1015s |      17 |   333548 |   276032 |    87959      4 |    15619 |    14868
1018.91/1019.21	c 1018s |      17 |   334126 |   276532 |    87959      4 |    15619 |    14868
1020.91/1021.25	c 1020s |      17 |   334592 |   276932 |    87959      4 |    15619 |    14868
1023.01/1023.37	c 1022s |      17 |   335224 |   277432 |    87959      4 |    15619 |    14868
1025.11/1025.50	c 1024s |      17 |   335831 |   277932 |    87959      4 |    15619 |    14868
1027.22/1027.56	c 1026s |      17 |   336429 |   278432 |    87959      4 |    15619 |    14868
1029.71/1030.00	c 1028s |      17 |   337142 |   279032 |    87959      4 |    15619 |    14868
1031.91/1032.22	c 1031s |      17 |   337738 |   279532 |    87959      4 |    15619 |    14868
1034.21/1034.55	c 1033s |      17 |   338475 |   280132 |    87959      4 |    15619 |    14868
1036.41/1036.79	c 1035s |      17 |   339177 |   280732 |    87959      4 |    15619 |    14868
1038.51/1038.87	c 1037s |      17 |   339758 |   281232 |    87959      4 |    15619 |    14868
1040.81/1041.17	c 1040s |      17 |   340526 |   281832 |    87959      4 |    15619 |    14868
1043.11/1043.42	c 1042s |      17 |   341276 |   282432 |    87959      4 |    15619 |    14868
1045.11/1045.46	c 1044s |      17 |   341935 |   282932 |    87959      4 |    15619 |    14868
1047.41/1047.72	c 1046s |      17 |   342671 |   283532 |    87959      4 |    15619 |    14868
1049.51/1049.85	c 1048s |      17 |   343234 |   284032 |    87959      4 |    15619 |    14868
1051.91/1052.24	c 1051s |      17 |   343918 |   284632 |    87959      4 |    15619 |    14868
1054.11/1054.45	c 1053s |      17 |   344500 |   285132 |    87959      4 |    15619 |    14868
1056.21/1056.59	c 1055s |      17 |   345086 |   285632 |    87959      4 |    15619 |    14868
1058.51/1058.84	c 1057s |      17 |   345781 |   286232 |    87959      4 |    15619 |    14868
1060.70/1061.06	c 1060s |      17 |   346511 |   286832 |    87959      4 |    15619 |    14868
1062.80/1063.12	c 1062s |      17 |   347124 |   287332 |    87959      4 |    15619 |    14868
1064.80/1065.18	c 1064s |      17 |   347758 |   287832 |    87959      4 |    15619 |    14868
1067.10/1067.43	c 1066s |      17 |   348558 |   288432 |    87959      4 |    15619 |    14868
1069.30/1069.68	c 1068s |      17 |   349143 |   288932 |    87959      4 |    15619 |    14868
1071.70/1072.06	c 1071s |      17 |   349747 |   289432 |    87959      4 |    15619 |    14868
1074.00/1074.30	c 1073s |      17 |   350331 |   289932 |    87959      4 |    15619 |    14868
1076.10/1076.46	c 1075s |      17 |   350779 |   290332 |    87959      4 |    15619 |    14868
1078.60/1078.94	c 1077s |      17 |   351382 |   290832 |    87959      4 |    15619 |    14868
1080.70/1081.02	c 1080s |      17 |   351848 |   291232 |    87959      4 |    15619 |    14868
1082.70/1083.09	c 1082s |      17 |   352306 |   291632 |    87959      4 |    15619 |    14868
1085.00/1085.34	c 1084s |      17 |   352776 |   292032 |    87959      4 |    15619 |    14868
1087.10/1087.40	c 1086s |      17 |   353248 |   292432 |    87959      4 |    15619 |    14868
1089.20/1089.52	c 1088s |      17 |   353869 |   292932 |    87959      4 |    15619 |    14868
1091.50/1091.88	c 1090s |      17 |   354577 |   293532 |    87959      4 |    15619 |    14868
1093.80/1094.13	c 1093s |      17 |   355269 |   294132 |    87959      4 |    15619 |    14868
1095.90/1096.26	c 1095s |      17 |   355750 |   294532 |    96755      4 |    15619 |    14868
1098.20/1098.56	c 1097s |      17 |   356374 |   295032 |    96755      4 |    15619 |    14868
1100.50/1100.81	c 1099s |      17 |   356980 |   295532 |    96755      4 |    15619 |    14868
1102.50/1102.83	c 1101s |      17 |   357443 |   295932 |    96755      4 |    15619 |    14868
1104.21/1104.58	c 1103s |      18 |   357816 |   296252 |    96755      4 |    15619 |    14868
1106.40/1106.71	c 1105s |      18 |   358198 |   296552 |    96755      4 |    15619 |    14868
1108.70/1109.00	c 1107s |      18 |   358964 |   297152 |    96755      4 |    15619 |    14868
1110.90/1111.29	c 1110s |      18 |   360067 |   297952 |    96755      4 |    15619 |    14868
1113.10/1113.49	c 1112s |      18 |   360846 |   298552 |    96755      4 |    15619 |    14868
1115.30/1115.63	c 1114s |      18 |   361601 |   299152 |    96755      4 |    15619 |    14868
1117.60/1117.95	c 1116s |      18 |   362152 |   299552 |    96755      4 |    15619 |    14868
1119.69/1120.05	c 1119s |      18 |   362772 |   300052 |    96755      4 |    15619 |    14868
1121.99/1122.32	c 1121s |      18 |   363284 |   300452 |    96755      4 |    15619 |    14868
1124.49/1124.86	c 1123s |      18 |   363886 |   300952 |    96755      4 |    15619 |    14868
1126.49/1126.86	c 1125s |      18 |   364386 |   301352 |    96755      4 |    15619 |    14868
1128.89/1129.26	c 1128s |      18 |   365133 |   301952 |    96755      4 |    15619 |    14868
1130.99/1131.32	c 1130s |      18 |   365653 |   302352 |    96755      4 |    15619 |    14868
1133.39/1133.71	c 1132s |      18 |   366413 |   302952 |    96755      4 |    15619 |    14868
1135.79/1136.10	c 1135s |      18 |   367042 |   303452 |    96755      4 |    15619 |    14868
1138.09/1138.43	c 1137s |      18 |   367636 |   303952 |    96755      4 |    15619 |    14868
1140.89/1141.22	c 1140s |      18 |   368130 |   304352 |    96755      5 |    15619 |    14868
1143.19/1143.52	c 1142s |      18 |   368581 |   304752 |    96755      5 |    15619 |    14868
1145.79/1146.19	c 1145s |      18 |   369175 |   305252 |    96755      5 |    15619 |    14868
1147.89/1148.24	c 1147s |      18 |   369763 |   305752 |    96755      5 |    15619 |    14868
1149.89/1150.26	c 1149s |      18 |   370371 |   306252 |    96755      5 |    15619 |    14868
1151.89/1152.26	c 1151s |      18 |   370985 |   306752 |    96755      5 |    15619 |    14868
1154.19/1154.51	c 1153s |      18 |   371602 |   307252 |    96755      5 |    15619 |    14868
1157.59/1157.90	c 1156s |      18 |   372306 |   307852 |    96755      5 |    15619 |    14868
1159.59/1159.95	c 1158s |      18 |   372813 |   308252 |    96755      5 |    15619 |    14868
1161.89/1162.24	c 1161s |      18 |   373623 |   308852 |    96755      5 |    15619 |    14868
1163.99/1164.34	c 1163s |      18 |   374251 |   309352 |    96755      5 |    15619 |    14868
1166.39/1166.72	c 1165s |      18 |   374959 |   309952 |    96755      5 |    15619 |    14868
1168.49/1168.82	c 1167s |      18 |   375648 |   310552 |    96755      5 |    15619 |    14868
1170.69/1171.06	c 1170s |      18 |   376493 |   311252 |    96755      5 |    15619 |    14868
1172.78/1173.18	c 1172s |      18 |   377099 |   311752 |    96755      5 |    15619 |    14868
1174.88/1175.28	c 1174s |      18 |   377833 |   312352 |    96755      5 |    15619 |    14868
1177.08/1177.48	c 1176s |      18 |   378714 |   313052 |    96755      5 |    15619 |    14868
1179.28/1179.67	c 1178s |      18 |   379634 |   313752 |    96755      5 |    15619 |    14868
1181.28/1181.69	c 1180s |      18 |   380265 |   314252 |    96755      5 |    15619 |    14868
1183.39/1183.73	c 1182s |      18 |   380854 |   314752 |    96755      5 |    15619 |    14868
1185.38/1185.78	c 1184s |      18 |   381430 |   315252 |    96755      5 |    15619 |    14868
1187.48/1187.80	c 1186s |      18 |   382039 |   315752 |    96755      5 |    15619 |    14868
1189.58/1189.92	c 1188s |      18 |   382826 |   316352 |    96755      5 |    15619 |    14868
1191.68/1192.04	c 1191s |      18 |   383582 |   316952 |    96755      5 |    15619 |    14868
1193.98/1194.34	c 1193s |      18 |   384326 |   317552 |    96755      5 |    15619 |    14868
1196.08/1196.43	c 1195s |      18 |   385086 |   318152 |    96755      5 |    15619 |    14868
1198.28/1198.61	c 1197s |      18 |   385831 |   318752 |    96755      5 |    15619 |    14868
1200.28/1200.67	c 1199s |      18 |   386407 |   319252 |    96755      5 |    15619 |    14868
1202.48/1202.85	c 1201s |      18 |   387009 |   319752 |    96755      5 |    15619 |    14868
1204.68/1205.07	c 1204s |      18 |   387635 |   320252 |    96755      5 |    15619 |    14868
1206.68/1207.08	c 1206s |      18 |   388254 |   320752 |    96755      5 |    15619 |    14868
1208.88/1209.21	c 1208s |      18 |   389020 |   321352 |    96755      5 |    15619 |    14868
1210.89/1211.21	c 1210s |      18 |   389657 |   321852 |    96755      5 |    15619 |    14868
1213.18/1213.53	c 1212s |      18 |   390459 |   322452 |    96755      5 |    15619 |    14868
1215.48/1215.81	c 1214s |      18 |   391067 |   322952 |    96755      5 |    15619 |    14868
1217.98/1218.39	c 1217s |      18 |   391667 |   323452 |    96755      5 |    15619 |    14868
1220.28/1220.69	c 1219s |      18 |   392240 |   323952 |    96755      5 |    15619 |    14868
1222.88/1223.25	c 1222s |      18 |   392848 |   324452 |    96755      5 |    15619 |    14868
1225.18/1225.53	c 1224s |      18 |   393438 |   324952 |    96755      5 |    15619 |    14868
1227.48/1227.82	c 1226s |      18 |   393907 |   325352 |    96755      5 |    15619 |    14868
1229.58/1229.98	c 1228s |      18 |   394392 |   325752 |    96755      5 |    15619 |    14868
1232.08/1232.42	c 1231s |      18 |   394990 |   326252 |    96755      5 |    15619 |    14868
1234.48/1234.85	c 1233s |      18 |   395633 |   326752 |    96755      5 |    15619 |    14868
1236.58/1236.93	c 1235s |      18 |   396257 |   327252 |    96755      5 |    15619 |    14868
1238.67/1239.05	c 1238s |      18 |   396742 |   327652 |    96755      5 |    15619 |    14868
1240.87/1241.27	c 1240s |      18 |   397356 |   328152 |    96755      5 |    15619 |    14868
1243.07/1243.46	c 1242s |      18 |   398032 |   328652 |    96755      5 |    15619 |    14868
1245.67/1246.07	c 1245s |      18 |   398670 |   329152 |    96755      5 |    15619 |    14868
1248.07/1248.49	c 1247s |      18 |   399163 |   329552 |    96755      5 |    15619 |    14868
1250.57/1250.97	c 1249s |      18 |   399655 |   329952 |    96755      5 |    15619 |    14868
1252.97/1253.37	c 1252s |      18 |   400282 |   330452 |    96755      5 |    15619 |    14868
1255.37/1255.70	c 1254s |      18 |   401027 |   331052 |    96755      5 |    15619 |    14868
1257.67/1258.01	c 1256s |      18 |   401791 |   331652 |    96755      5 |    15619 |    14868
1259.87/1260.29	c 1259s |      18 |   402584 |   332252 |    96755      5 |    15619 |    14868
1262.27/1262.63	c 1261s |      18 |   403216 |   332752 |    96755      5 |    15619 |    14868
1264.47/1264.81	c 1263s |      18 |   403701 |   333152 |    96755      5 |    15619 |    14868
1266.88/1267.23	c 1266s |      18 |   404294 |   333652 |    96755      5 |    15619 |    14868
1269.27/1269.64	c 1268s |      18 |   404927 |   334152 |    96755      5 |    15619 |    14868
1271.57/1271.98	c 1270s |      18 |   405545 |   334652 |    96755      5 |    15619 |    14868
1274.07/1274.45	c 1273s |      18 |   406173 |   335152 |    96755      5 |    15619 |    14868
1276.07/1276.45	c 1275s |      18 |   406673 |   335552 |    96755      5 |    15619 |    14868
1278.27/1278.64	c 1277s |      18 |   407196 |   335952 |    96755      5 |    15619 |    14868
1280.37/1280.74	c 1279s |      18 |   407883 |   336452 |    96755      5 |    15619 |    14868
1282.67/1283.07	c 1282s |      18 |   408443 |   336952 |    96755      5 |    15619 |    14868
1284.97/1285.35	c 1284s |      18 |   409033 |   337452 |    96755      5 |    15619 |    14868
1287.37/1287.75	c 1286s |      18 |   409592 |   337952 |    96755      5 |    15619 |    14868
1289.47/1289.85	c 1288s |      18 |   410094 |   338352 |    96755      5 |    15619 |    14868
1291.47/1291.89	c 1290s |      18 |   410732 |   338852 |    96755      5 |    15619 |    14868
1293.87/1294.24	c 1293s |      18 |   411509 |   339452 |    96755      5 |    15619 |    14868
1296.17/1296.51	c 1295s |      18 |   412265 |   340052 |    96755      5 |    15619 |    14868
1298.37/1298.76	c 1297s |      18 |   413103 |   340652 |    96755      5 |    15619 |    14868
1300.47/1300.87	c 1299s |      18 |   413771 |   341152 |    96755      5 |    15619 |    14868
1302.77/1303.11	c 1302s |      18 |   414403 |   341652 |    96755      5 |    15619 |    14868
1304.86/1305.20	c 1304s |      18 |   414879 |   342052 |    96755      5 |    15619 |    14868
1306.96/1307.36	c 1306s |      18 |   415373 |   342452 |    96755      5 |    15619 |    14868
1309.46/1309.80	c 1308s |      18 |   416023 |   342952 |    96755      5 |    15619 |    14868
1311.46/1311.86	c 1310s |      18 |   416488 |   343352 |    96755      5 |    15619 |    14868
1313.86/1314.20	c 1313s |      18 |   417119 |   343852 |    96755      5 |    15619 |    14868
1316.16/1316.50	c 1315s |      18 |   417590 |   344252 |    96755      5 |    15619 |    14868
1318.26/1318.66	c 1317s |      18 |   418063 |   344652 |    96755      5 |    15619 |    14868
1320.46/1320.83	c 1319s |      18 |   418556 |   345052 |    96755      5 |    15619 |    14868
1322.97/1323.31	c 1322s |      18 |   419176 |   345552 |    96755      5 |    15619 |    14868
1325.06/1325.43	c 1324s |      18 |   419665 |   345952 |    96755      5 |    15619 |    14868
1327.37/1327.74	c 1326s |      18 |   420307 |   346452 |    96755      5 |    15619 |    14868
1329.57/1329.97	c 1328s |      18 |   420901 |   346952 |    96755      5 |    15619 |    14868
1331.77/1332.13	c 1331s |      18 |   421410 |   347352 |    96755      5 |    15619 |    14868
1334.16/1334.58	c 1333s |      18 |   421873 |   347752 |    96755      5 |    15619 |    14868
1336.46/1336.85	c 1335s |      18 |   422365 |   348152 |    96755      5 |    15619 |    14868
1338.76/1339.11	c 1338s |      18 |   422908 |   348552 |    96755      5 |    15619 |    14868
1340.96/1341.37	c 1340s |      18 |   423417 |   348952 |    96755      5 |    15619 |    14868
1342.96/1343.38	c 1342s |      18 |   423923 |   349352 |    96755      5 |    15619 |    14868
1345.46/1345.84	c 1344s |      18 |   424421 |   349752 |    96755      5 |    15619 |    14868
1348.16/1348.60	c 1347s |      18 |   424914 |   350152 |    96755      5 |    15619 |    14868
1350.26/1350.68	c 1349s |      18 |   425271 |   350452 |    96755      5 |    15619 |    14868
1352.56/1352.90	c 1351s |      18 |   425807 |   350852 |    96755      5 |    15619 |    14868
1354.86/1355.22	c 1354s |      18 |   426296 |   351252 |    96755      5 |    15619 |    14868
1357.46/1357.87	c 1356s |      18 |   426769 |   351652 |    96755      5 |    15619 |    14868
1359.76/1360.13	c 1359s |      18 |   427272 |   352052 |    96755      5 |    15619 |    14868
1361.96/1362.32	c 1361s |      18 |   427771 |   352452 |    96755      5 |    15619 |    14868
1364.06/1364.44	c 1363s |      18 |   428262 |   352852 |    96755      5 |    15619 |    14868
1366.76/1367.12	c 1366s |      18 |   428766 |   353252 |    96755      5 |    15619 |    14868
1369.26/1369.68	c 1368s |      18 |   429267 |   353652 |    96755      5 |    15619 |    14868
1371.36/1371.73	c 1370s |      18 |   429632 |   353952 |    96755      5 |    15619 |    14868
1373.85/1374.26	c 1373s |      18 |   430111 |   354352 |    96755      5 |    15619 |    14868
1376.45/1376.86	c 1375s |      18 |   430609 |   354752 |    96755      5 |    15619 |    14868
1378.85/1379.26	c 1378s |      18 |   431100 |   355152 |    96755      5 |    15619 |    14868
1381.36/1381.73	c 1380s |      18 |   431589 |   355552 |    96755      5 |    15619 |    14868
1383.75/1384.17	c 1383s |      18 |   432108 |   355952 |    96755      5 |    15619 |    14868
1386.05/1386.46	c 1385s |      18 |   432572 |   356352 |    96755      5 |    15619 |    14868
1388.45/1388.83	c 1387s |      18 |   433050 |   356752 |    96755      5 |    15619 |    14868
1390.65/1391.08	c 1390s |      18 |   433517 |   357152 |    96755      5 |    15619 |    14868
1392.75/1393.16	c 1392s |      18 |   433878 |   357452 |    96755      5 |    15619 |    14868
1394.75/1395.19	c 1394s |      18 |   434399 |   357852 |    96755      5 |    15619 |    14868
1397.35/1397.78	c 1396s |      18 |   434883 |   358252 |    96755      5 |    15619 |    14868
1399.45/1399.85	c 1398s |      18 |   435372 |   358652 |    96755      5 |    15619 |    14868
1401.85/1402.27	c 1401s |      18 |   435849 |   359052 |    96755      5 |    15619 |    14868
1404.15/1404.58	c 1403s |      18 |   436302 |   359452 |    96755      5 |    15619 |    14868
1406.35/1406.78	c 1405s |      18 |   436772 |   359852 |    96755      5 |    15619 |    14868
1408.86/1409.24	c 1408s |      18 |   437404 |   360352 |    96755      5 |    15619 |    14868
1411.06/1411.41	c 1410s |      18 |   438000 |   360852 |    96755      5 |    15619 |    14868
1413.45/1413.80	c 1412s |      18 |   438396 |   361152 |    96755      6 |    15619 |    14868
1415.75/1416.15	c 1415s |      18 |   438984 |   361652 |    96755      6 |    15619 |    14868
1418.05/1418.43	c 1417s |      18 |   439355 |   361952 |    96755      6 |    15619 |    14868
1420.35/1420.70	c 1419s |      18 |   440118 |   362552 |    96755      6 |    15619 |    14868
1422.55/1422.93	c 1421s |      18 |   440726 |   363052 |    96755      6 |    15619 |    14868
1424.95/1425.35	c 1424s |      18 |   441440 |   363652 |    96755      6 |    15619 |    14868
1427.15/1427.53	c 1426s |      18 |   441932 |   364052 |    96755      6 |    15619 |    14868
1429.15/1429.58	c 1428s |      18 |   442710 |   364652 |    96755      6 |    15619 |    14868
1431.45/1431.89	c 1430s |      18 |   443436 |   365252 |    96755      6 |    15619 |    14868
1433.65/1434.01	c 1432s |      18 |   444024 |   365752 |    96755      6 |    15619 |    14868
1435.74/1436.18	c 1435s |      18 |   444769 |   366352 |    96755      6 |    15619 |    14868
1437.94/1438.32	c 1437s |      18 |   445470 |   366952 |    96755      6 |    15619 |    14868
1440.14/1440.51	c 1439s |      18 |   446173 |   367552 |    96755      6 |    15619 |    14868
1442.54/1442.93	c 1441s |      18 |   446858 |   368152 |    96755      6 |    15619 |    14868
1444.74/1445.11	c 1444s |      18 |   447577 |   368752 |    96755      6 |    15619 |    14868
1446.94/1447.33	c 1446s |      18 |   448329 |   369352 |    96755      6 |    15619 |    14868
1449.24/1449.63	c 1448s |      18 |   449055 |   369952 |    96755      6 |    15619 |    14868
1451.65/1452.04	c 1451s |      18 |   449754 |   370552 |    96755      6 |    15619 |    14868
1453.85/1454.30	c 1453s |      18 |   450538 |   371152 |    96755      6 |    15619 |    14868
1456.05/1456.46	c 1455s |      18 |   451260 |   371752 |    96755      6 |    15619 |    14868
1458.35/1458.78	c 1457s |      18 |   451982 |   372352 |    96755      6 |    15619 |    14868
1460.55/1460.90	c 1459s |      18 |   452732 |   372952 |    96755      6 |    15619 |    14868
1462.54/1462.92	c 1461s |      18 |   453451 |   373552 |    96755      6 |    15619 |    14868
1464.85/1465.30	c 1464s |      18 |   454150 |   374152 |    96755      6 |    15619 |    14868
1467.15/1467.52	c 1466s |      18 |   454873 |   374752 |    96755      6 |    15619 |    14868
1469.14/1469.54	c 1468s |      18 |   455506 |   375252 |    96755      6 |    15619 |    14868
1471.24/1471.60	c 1470s |      18 |   456106 |   375752 |    96755      6 |    15619 |    14868
1473.44/1473.83	c 1472s |      18 |   456839 |   376352 |    96755      6 |    15619 |    14868
1475.54/1475.99	c 1474s |      18 |   457429 |   376852 |    96755      6 |    15619 |    14868
1481.73/1482.14	c 1481s |      18 |   457948 |   377252 |    96755      6 |    15619 |    14868
1484.03/1484.49	c 1483s |      18 |   458626 |   377752 |    96755      6 |    15619 |    14868
1486.33/1486.75	c 1485s |      18 |   459318 |   378252 |    96755      6 |    15619 |    14868
1488.63/1489.06	c 1488s |      18 |   459948 |   378752 |    96755      6 |    15619 |    14868
1490.73/1491.17	c 1490s |      18 |   460576 |   379252 |    96755      6 |    15619 |    14868
1493.13/1493.58	c 1492s |      18 |   461421 |   379852 |    96755      6 |    15619 |    14868
1495.53/1495.91	c 1494s |      18 |   462026 |   380352 |    96755      6 |    15619 |    14868
1497.63/1498.00	c 1496s |      18 |   462661 |   380852 |    96755      6 |    15619 |    14868
1499.73/1500.16	c 1499s |      18 |   463260 |   381352 |    96755      6 |    15619 |    14868
1501.83/1502.22	c 1501s |      18 |   463870 |   381852 |    96755      6 |    15619 |    14868
1504.03/1504.49	c 1503s |      18 |   464476 |   382352 |    96755      6 |    15619 |    14868
1506.33/1506.73	c 1505s |      18 |   465051 |   382852 |    96755      6 |    15619 |    14868
1508.73/1509.18	c 1508s |      18 |   465649 |   383352 |    96755      6 |    15619 |    14868
1510.83/1511.28	c 1510s |      18 |   466238 |   383852 |    96755      6 |    15619 |    14868
1513.03/1513.41	c 1512s |      18 |   466700 |   384252 |    96755      6 |    15619 |    14868
1515.33/1515.74	c 1514s |      18 |   467300 |   384752 |    96755      6 |    15619 |    14868
1517.53/1517.96	c 1516s |      18 |   467771 |   385152 |    96755      6 |    15619 |    14868
1519.53/1519.97	c 1518s |      18 |   468287 |   385552 |    96755      6 |    15619 |    14868
1521.93/1522.39	c 1521s |      18 |   468770 |   385952 |    96755      6 |    15619 |    14868
1524.03/1524.43	c 1523s |      18 |   469275 |   386352 |    96755      6 |    15619 |    14868
1526.33/1526.74	c 1525s |      18 |   469857 |   386852 |    96755      6 |    15619 |    14868
1528.33/1528.77	c 1527s |      18 |   470341 |   387252 |    96755      6 |    15619 |    14868
1530.83/1531.29	c 1530s |      18 |   470816 |   387652 |    96755      6 |    15619 |    14868
1533.33/1533.71	c 1532s |      18 |   471322 |   388052 |    96755      6 |    15619 |    14868
1535.73/1536.13	c 1535s |      18 |   471919 |   388552 |    96755      6 |    15619 |    14868
1537.83/1538.22	c 1537s |      18 |   472386 |   388952 |    96755      6 |    15619 |    14868
1540.12/1540.54	c 1539s |      18 |   472870 |   389352 |    96755      6 |    15619 |    14868
1542.52/1542.97	c 1541s |      18 |   473520 |   389852 |    96755      6 |    15619 |    14868
1544.82/1545.28	c 1544s |      18 |   474177 |   390352 |    96755      6 |    15619 |    14868
1547.02/1547.44	c 1546s |      18 |   474694 |   390752 |    96755      6 |    15619 |    14868
1549.12/1549.54	c 1548s |      18 |   475299 |   391252 |    96755      6 |    15619 |    14868
1551.42/1551.83	c 1550s |      18 |   475901 |   391752 |    96755      6 |    15619 |    14868
1553.62/1554.08	c 1553s |      18 |   476535 |   392252 |    96755      6 |    15619 |    14868
1556.02/1556.43	c 1555s |      18 |   477123 |   392752 |    96755      6 |    15619 |    14868
1558.12/1558.54	c 1557s |      18 |   477627 |   393152 |    96755      6 |    15619 |    14868
1560.53/1560.92	c 1559s |      18 |   478333 |   393652 |    96755      6 |    15619 |    14868
1562.83/1563.28	c 1562s |      18 |   478799 |   394052 |    96755      6 |    15619 |    14868
1565.12/1565.50	c 1564s |      18 |   479272 |   394452 |    96755      6 |    15619 |    14868
1567.23/1567.61	c 1566s |      18 |   479753 |   394852 |    96755      6 |    15619 |    14868
1569.43/1569.83	c 1568s |      18 |   480257 |   395252 |    96755      6 |    15619 |    14868
1571.63/1572.03	c 1571s |      18 |   480786 |   395652 |    96755      6 |    15619 |    14868
1573.92/1574.31	c 1573s |      18 |   481273 |   396052 |    96755      6 |    15619 |    14868
1576.12/1576.51	c 1575s |      18 |   481756 |   396452 |    96755      6 |    15619 |    14868
1578.32/1578.72	c 1577s |      18 |   482278 |   396852 |    96755      6 |    15619 |    14868
1580.42/1580.88	c 1579s |      18 |   482840 |   397252 |    96755      6 |    15619 |    14868
1582.52/1582.99	c 1581s |      18 |   483311 |   397652 |    96755      6 |    15619 |    14868
1584.82/1585.21	c 1584s |      18 |   483797 |   398052 |    96755      6 |    15619 |    14868
1587.22/1587.62	c 1586s |      18 |   484277 |   398452 |    96755      6 |    15619 |    14868
1589.42/1589.84	c 1588s |      18 |   484765 |   398852 |    96755      6 |    15619 |    14868
1591.92/1592.31	c 1591s |      18 |   485236 |   399252 |    96755      6 |    15619 |    14868
1594.22/1594.67	c 1593s |      18 |   485730 |   399652 |    96755      6 |    15619 |    14868
1596.72/1597.14	c 1596s |      18 |   486240 |   400052 |    96755      6 |    15619 |    14868
1599.12/1599.53	c 1598s |      18 |   486749 |   400452 |    96755      6 |    15619 |    14868
1601.71/1602.14	c 1601s |      18 |   487214 |   400852 |    96755      6 |    15619 |    14868
1603.91/1604.30	c 1603s |      18 |   487551 |   401152 |    96755      6 |    15619 |    14868
1606.21/1606.68	c 1605s |      18 |   488055 |   401552 |    96755      6 |    15619 |    14868
1608.42/1608.83	c 1607s |      18 |   488557 |   401952 |    96755      6 |    15619 |    14868
1610.92/1611.33	c 1610s |      18 |   489030 |   402352 |    96755      6 |    15619 |    14868
1613.43/1613.86	c 1612s |      18 |   489670 |   402852 |    96755      6 |    15619 |    14868
1615.53/1615.92	c 1614s |      18 |   490147 |   403252 |    96755      6 |    15619 |    14868
1617.62/1618.07	c 1617s |      18 |   490650 |   403652 |    96755      6 |    15619 |    14868
1619.82/1620.21	c 1619s |      18 |   491154 |   404052 |    96755      6 |    15619 |    14868
1622.02/1622.41	c 1621s |      18 |   491661 |   404452 |    96755      6 |    15619 |    14868
1624.22/1624.70	c 1623s |      18 |   492141 |   404852 |    96755      6 |    15619 |    14868
1626.42/1626.81	c 1625s |      18 |   492635 |   405252 |    96755      6 |    15619 |    14868
1628.52/1628.93	c 1627s |      18 |   493002 |   405552 |    96755      6 |    15619 |    14868
1630.82/1631.22	c 1630s |      18 |   493481 |   405952 |    96755      6 |    15619 |    14868
1633.02/1633.45	c 1632s |      18 |   493942 |   406352 |    96755      6 |    15619 |    14868
1635.52/1635.93	c 1634s |      18 |   494408 |   406752 |    96755      6 |    15619 |    14868
1637.92/1638.32	c 1637s |      18 |   495031 |   407252 |    96755      6 |    15619 |    14868
1640.22/1640.64	c 1639s |      18 |   495636 |   407752 |    96755      6 |    15619 |    14868
1642.32/1642.72	c 1641s |      18 |   496123 |   408152 |    96755      6 |    15619 |    14868
1644.52/1644.95	c 1643s |      18 |   496604 |   408552 |    96755      6 |    15619 |    14868
1646.62/1647.02	c 1646s |      18 |   497103 |   408952 |    96755      6 |    15619 |    14868
1649.02/1649.42	c 1648s |      18 |   497564 |   409352 |    96755      6 |    15619 |    14868
1651.42/1651.84	c 1650s |      18 |   498032 |   409752 |    96755      6 |    15619 |    14868
1653.82/1654.29	c 1653s |      18 |   498514 |   410152 |    96755      6 |    15619 |    14868
1656.02/1656.46	c 1655s |      18 |   498964 |   410552 |    96755      6 |    15619 |    14868
1658.31/1658.73	c 1657s |      18 |   499430 |   410952 |    96755      6 |    15619 |    14868
1660.81/1661.29	c 1660s |      18 |   499881 |   411352 |    96755      6 |    15619 |    14868
1663.21/1663.61	c 1662s |      18 |   500451 |   411752 |    96755      6 |    15619 |    14868
1665.41/1665.84	c 1664s |      18 |   500943 |   412152 |    96755      6 |    15619 |    14868
1667.51/1667.96	c 1666s |      18 |   501457 |   412552 |    96755      6 |    15619 |    14868
1669.91/1670.30	c 1669s |      18 |   502085 |   413052 |    96755      6 |    15619 |    14868
1671.91/1672.36	c 1671s |      18 |   502584 |   413452 |    96755      6 |    15619 |    14868
1674.51/1674.97	c 1673s |      18 |   503150 |   413952 |    96755      6 |    15619 |    14868
1676.81/1677.22	c 1676s |      18 |   503620 |   414352 |    96755      6 |    15619 |    14868
1679.01/1679.41	c 1678s |      18 |   504098 |   414752 |    96755      6 |    15619 |    14868
1681.11/1681.50	c 1680s |      18 |   504572 |   415152 |    96755      6 |    15619 |    14868
1683.51/1683.97	c 1682s |      18 |   505189 |   415652 |    96755      6 |    15619 |    14868
1685.61/1686.06	c 1685s |      18 |   505671 |   416052 |    96755      6 |    15619 |    14868
1687.91/1688.32	c 1687s |      18 |   506138 |   416452 |    96755      6 |    15619 |    14868
1689.91/1690.36	c 1689s |      18 |   506594 |   416852 |    96755      6 |    15619 |    14868
1692.41/1692.87	c 1691s |      18 |   507098 |   417252 |    96755      6 |    15619 |    14868
1695.01/1695.46	c 1694s |      18 |   507611 |   417652 |    96755      6 |    15619 |    14868
1697.21/1697.61	c 1696s |      18 |   507870 |   417852 |    96755      7 |    15619 |    14868
1699.41/1699.80	c 1698s |      18 |   508366 |   418252 |    96755      7 |    15619 |    14868
1701.71/1702.10	c 1701s |      18 |   508978 |   418752 |    96755      7 |    15619 |    14868
1704.11/1704.59	c 1703s |      18 |   509466 |   419152 |    96755      7 |    15619 |    14868
1706.51/1706.99	c 1705s |      18 |   510080 |   419652 |    96755      7 |    15619 |    14868
1708.81/1709.22	c 1708s |      18 |   510788 |   420252 |    96755      7 |    15619 |    14868
1711.01/1711.44	c 1710s |      18 |   511492 |   420852 |    96755      7 |    15619 |    14868
1713.30/1713.77	c 1712s |      18 |   512202 |   421452 |    96755      7 |    15619 |    14868
1715.50/1715.94	c 1714s |      18 |   512820 |   421952 |    96755      7 |    15619 |    14868
1717.70/1718.18	c 1717s |      18 |   513446 |   422452 |    96755      7 |    15619 |    14868
1720.11/1720.58	c 1719s |      18 |   514149 |   423052 |    96755      7 |    15619 |    14868
1722.40/1722.83	c 1721s |      18 |   514784 |   423552 |    96755      7 |    15619 |    14868
1724.51/1724.91	c 1723s |      18 |   515397 |   424052 |    96755      7 |    15619 |    14868
1726.50/1726.95	c 1725s |      18 |   515983 |   424552 |    96755      7 |    15619 |    14868
1728.70/1729.15	c 1728s |      18 |   516615 |   425052 |    96755      7 |    15619 |    14868
1731.01/1731.50	c 1730s |      18 |   517205 |   425552 |    96755      7 |    15619 |    14868
1733.31/1733.74	c 1732s |      18 |   517832 |   426052 |    96755      7 |    15619 |    14868
1735.41/1735.81	c 1734s |      18 |   518347 |   426452 |    96755      7 |    15619 |    14868
1737.80/1738.21	c 1737s |      18 |   518945 |   426952 |    96755      7 |    15619 |    14868
1740.10/1740.53	c 1739s |      18 |   519554 |   427452 |    96755      7 |    15619 |    14868
1742.30/1742.74	c 1741s |      18 |   520039 |   427852 |    96755      7 |    15619 |    14868
1744.40/1744.82	c 1743s |      18 |   520516 |   428252 |    96755      7 |    15619 |    14868
1746.70/1747.14	c 1746s |      18 |   521134 |   428752 |    96755      7 |    15619 |    14868
1748.80/1749.28	c 1748s |      18 |   521626 |   429152 |    96755      7 |    15619 |    14868
1751.10/1751.55	c 1750s |      18 |   522208 |   429652 |    96755      7 |    15619 |    14868
1753.30/1753.75	c 1752s |      18 |   522879 |   430152 |    96755      7 |    15619 |    14868
1755.60/1756.08	c 1755s |      18 |   523469 |   430652 |    96755      7 |    15619 |    14868
1758.10/1758.55	c 1757s |      18 |   524056 |   431152 |    96755      7 |    15619 |    14868
1760.40/1760.87	c 1759s |      18 |   524657 |   431652 |    96755      7 |    15619 |    14868
1762.70/1763.19	c 1762s |      18 |   525228 |   432152 |    96755      7 |    15619 |    14868
1765.40/1765.82	c 1764s |      18 |   525800 |   432652 |    96755      7 |    15619 |    14868
1767.60/1768.06	c 1767s |      18 |   526248 |   433052 |    96755      7 |    15619 |    14868
1769.70/1770.12	c 1769s |      18 |   526727 |   433452 |    96755      7 |    15619 |    14868
1771.70/1772.13	c 1771s |      18 |   527201 |   433852 |    96755      7 |    15619 |    14868
1774.00/1774.43	c 1773s |      18 |   527805 |   434352 |    96755      7 |    15619 |    14868
1776.10/1776.59	c 1775s |      18 |   528397 |   434852 |    96755      7 |    15619 |    14868
1778.49/1778.90	c 1777s |      18 |   528976 |   435352 |    96755      7 |    15619 |    14868
1780.89/1781.38	c 1780s |      18 |   529561 |   435852 |    96755      7 |    15619 |    14868
1783.49/1783.90	c 1782s |      18 |   530119 |   436352 |    96755      7 |    15619 |    14868
1785.59/1786.01	c 1784s |      18 |   530564 |   436752 |    96755      7 |    15619 |    14868
1787.59/1788.07	c 1787s |      18 |   531016 |   437152 |    96755      7 |    15619 |    14868
1789.99/1790.44	c 1789s |      18 |   531585 |   437652 |    96755      7 |    15619 |    14868
1792.19/1792.63	c 1791s |      18 |   532043 |   438052 |    96755      7 |    15619 |    14868
1794.69/1795.17	c 1794s |      18 |   532513 |   438452 |    96755      7 |    15619 |    14868
1796.69/1797.19	c 1796s |      18 |   532974 |   438852 |    96755      7 |    15619 |    14868
1799.20/1799.68	c 1798s |      18 |   533568 |   439352 |    96755      7 |    15619 |    14868

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

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

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


[startup+0 s]
/proc/loadavg: 2.33 2.28 2.26 3/179 26322
/proc/meminfo: memFree=27984360/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 2969 0 0 0 0 0 0 0 20 0 4 0 30986190 811003904 2818 33554432000 4194304 16246674 140736165876112 140736165875536 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 198767 2827 441 2943 0 195661 0
[pid=26322/tid=26323] ppid=26319 vsize=810428 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 829878272 2890 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=815548 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 835121152 2907 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=819644 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30986190 839315456 2922 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100202 s]
/proc/loadavg: 2.33 2.28 2.26 3/179 26322
/proc/meminfo: memFree=27984360/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 28563 0 0 0 5 4 0 0 20 0 4 0 30986190 1333334016 28351 33554432000 4194304 16246674 140736165876112 140736165875424 7391492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 325521 28363 801 2943 0 322415 0
[pid=26322/tid=26323] ppid=26319 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1333334016 28374 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1333334016 28386 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1333334016 28396 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200521 s]
/proc/loadavg: 2.33 2.28 2.26 3/179 26322
/proc/meminfo: memFree=27984360/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 47209 0 0 0 12 7 0 0 20 0 4 0 30986190 1344868352 47507 33554432000 4194304 16246674 140736165876112 140736165875424 8055447 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 328337 47507 801 2943 0 325231 0
[pid=26322/tid=26323] ppid=26319 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1344868352 47507 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1344868352 47507 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1344868352 47507 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300488 s]
/proc/loadavg: 2.33 2.28 2.26 3/179 26322
/proc/meminfo: memFree=27984360/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 57808 0 0 0 21 8 0 0 20 0 4 0 30986190 1344868352 58106 33554432000 4194304 16246674 140736165876112 140736165875424 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 328337 58106 801 2943 0 325231 0
[pid=26322/tid=26323] ppid=26319 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1344868352 58106 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1344868352 58106 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1344868352 58106 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700354 s]
/proc/loadavg: 2.33 2.28 2.26 3/179 26322
/proc/meminfo: memFree=27984360/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1318468 CPUtime=0.69 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 80392 0 0 0 57 12 0 0 20 0 4 0 30986190 1350111232 80690 33554432000 4194304 16246674 140736165876112 140736165875424 13954914 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 329617 80698 839 2943 0 326511 0
[pid=26322/tid=26323] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 80704 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 80709 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 80715 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1318468

[startup+1.50042 s]
/proc/loadavg: 2.31 2.28 2.25 3/183 26326
/proc/meminfo: memFree=27395380/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1318468 CPUtime=1.49 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 131641 0 0 0 130 19 0 0 20 0 4 0 30986190 1350111232 131940 33554432000 4194304 16246674 140736165876112 140736165857984 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 329617 131947 884 2943 0 326511 0
[pid=26322/tid=26323] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 131952 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 131957 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 131961 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.10041 s]
/proc/loadavg: 2.31 2.28 2.25 3/183 26326
/proc/meminfo: memFree=26942640/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1318468 CPUtime=3.09 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 270292 0 0 0 270 39 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140736165857984 13820888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 329617 270590 890 2943 0 326511 0
[pid=26322/tid=26323] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1318468

[startup+6.30039 s]
/proc/loadavg: 2.36 2.29 2.26 3/183 26326
/proc/meminfo: memFree=26808556/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1318468 CPUtime=6.29 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 270292 0 0 0 590 39 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140736165857984 5823619 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 329617 270590 890 2943 0 326511 0
[pid=26322/tid=26323] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1318468

[startup+12.7004 s]
/proc/loadavg: 2.33 2.28 2.26 3/183 26326
/proc/meminfo: memFree=26811240/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1318468 CPUtime=12.69 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 270292 0 0 0 1230 39 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140736165857984 5823170 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 329617 270590 890 2943 0 326511 0
[pid=26322/tid=26323] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1318468

[startup+25.5005 s]
/proc/loadavg: 2.34 2.28 2.26 4/183 26326
/proc/meminfo: memFree=26693276/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1318468 CPUtime=25.49 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 270292 0 0 0 2510 39 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140736165857984 5823737 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 329617 270590 890 2943 0 326511 0
[pid=26322/tid=26323] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.30 2.28 2.26 4/183 26326
/proc/meminfo: memFree=26370324/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1318468 CPUtime=51.08 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 270292 0 0 0 5069 39 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140736165859112 5722381 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 329617 270590 890 2943 0 326511 0
[pid=26322/tid=26323] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270590 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 2.33 2.29 2.26 3/183 26327
/proc/meminfo: memFree=25904568/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1318468 CPUtime=102.28 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 270294 0 0 0 10189 39 0 0 20 0 4 0 30986190 1350111232 270592 33554432000 4194304 16246674 140736165876112 140736165857984 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 329617 270592 891 2943 0 326511 0
[pid=26322/tid=26323] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270592 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270592 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1350111232 270592 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1424964

[startup+1362.3 s]
/proc/loadavg: 2.17 2.22 2.24 3/183 26407
/proc/meminfo: memFree=28111204/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1424964 CPUtime=1361.96 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 297169 0 0 0 136152 44 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140736165857984 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 356241 297221 892 2943 0 353135 0
[pid=26322/tid=26323] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1424964

[startup+1422.3 s]
/proc/loadavg: 2.32 2.25 2.24 4/184 26411
/proc/meminfo: memFree=28110736/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1424964 CPUtime=1421.95 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 297169 0 0 0 142151 44 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140736165857984 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 356241 297221 892 2943 0 353135 0
[pid=26322/tid=26323] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1424964

[startup+1482.3 s]
/proc/loadavg: 2.26 2.25 2.24 4/184 26435
/proc/meminfo: memFree=28110044/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1424964 CPUtime=1481.93 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 297169 0 0 0 148149 44 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140736165873984 6023271 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 356241 297221 892 2943 0 353135 0
[pid=26322/tid=26323] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1424964

[startup+1542.31 s]
/proc/loadavg: 2.30 2.26 2.25 3/183 26437
/proc/meminfo: memFree=28110388/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1424964 CPUtime=1541.93 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 297169 0 0 0 154149 44 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140736165857984 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 356241 297221 892 2943 0 353135 0
[pid=26322/tid=26323] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1424964

[startup+1602.3 s]
/proc/loadavg: 2.15 2.22 2.23 3/183 26438
/proc/meminfo: memFree=28110628/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1424964 CPUtime=1601.91 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 297169 0 0 0 160147 44 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140736165857984 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 356241 297221 892 2943 0 353135 0
[pid=26322/tid=26323] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1424964

[startup+1662.3 s]
/proc/loadavg: 2.23 2.23 2.23 3/183 26439
/proc/meminfo: memFree=28110276/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1424964 CPUtime=1661.91 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 297169 0 0 0 166146 45 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140736165857984 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 356241 297221 892 2943 0 353135 0
[pid=26322/tid=26323] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1424964

[startup+1722.3 s]
/proc/loadavg: 2.30 2.24 2.24 3/183 26440
/proc/meminfo: memFree=28111124/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1424964 CPUtime=1721.9 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 297169 0 0 0 172145 45 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140736165857984 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 356241 297221 892 2943 0 353135 0
[pid=26322/tid=26323] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1424964

[startup+1782.3 s]
/proc/loadavg: 2.27 2.24 2.24 4/183 26441
/proc/meminfo: memFree=28111244/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1424964 CPUtime=1781.89 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 297169 0 0 0 178144 45 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140736165857984 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 356241 297221 892 2943 0 353135 0
[pid=26322/tid=26323] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1424964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.25 2.24 4/183 26441
/proc/meminfo: memFree=28111296/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1424964 CPUtime=1800.09 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 297169 0 0 0 179964 45 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140736165857984 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 356241 297221 892 2943 0 353135 0
[pid=26322/tid=26323] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1424964

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

[startup+1800.5 s]
/proc/loadavg: 2.28 2.25 2.24 4/183 26441
/proc/meminfo: memFree=28111296/32872528 swapFree=1370848/1518016
[pid=26322] ppid=26319 vsize=1424964 CPUtime=1800.09 cores=0,2,4,6
/proc/26322/stat : 26322 (toysat) R 26319 26322 24737 0 -1 4202496 297169 0 0 0 179964 45 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140736165857984 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 356241 297221 892 2943 0 353135 0
[pid=26322/tid=26323] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26323/stat : 26323 (toysat) S 26319 26322 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012092894448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26322/tid=26324] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26324/stat : 26324 (toysat) S 26319 26322 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012082404592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26322/tid=26325] ppid=26319 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/26322/task/26325/stat : 26325 (toysat) S 26319 26322 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30986190 1459163136 297221 33554432000 4194304 16246674 140736165876112 140012071931056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1424964

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.65
CPU system time (s): 0.452931
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 1424964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.452931
maximum resident set size= 1188884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297169
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= 265
involuntary context switches= 1863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.77227 second user time and 6.82396 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-19 00:36:37
IDJOB=4107852
IDBENCH=73597
IDSOLVER=2542
FILE ID=node129/4107852-1466289397
RUNJOBID= node129-1466274985-24753
PBS_JOBID= 19918243
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j1208_10-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107852-1466289397/watcher-4107852-1466289397 -o /tmp/evaluation-result-4107852-1466289397/solver-4107852-1466289397 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24753 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107852-1466289397.opb

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

MD5SUM BENCH= cde880e36ac940ebc706231d93099786
RANDOM SEED=1629938743

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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		: 2666.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27984624 kB
Buffers:           57112 kB
Cached:           127620 kB
SwapCached:         1832 kB
Active:          2525368 kB
Inactive:         102524 kB
Active(anon):    2441780 kB
Inactive(anon):     3464 kB
Active(file):      83588 kB
Inactive(file):    99060 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             18292 kB
Writeback:             0 kB
AnonPages:       3960176 kB
Mapped:            10804 kB
Shmem:                 0 kB
Slab:             600252 kB
SReclaimable:      44132 kB
SUnreclaim:       556120 kB
KernelStack:        1472 kB
PageTables:        11376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4103248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node129 at 2016-06-19 01:06:38