Trace number 4116965

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.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round22-2.opb
MD5SUM1b4cd03c5d4bd115b9b4d1837edbfb7f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark69.8034
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8656
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)368
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-26T17:35:59+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-4116965-1466955359.opb"]
0.00/0.01	c use --random-gen="1407145250 2055173234 27785177 831557871 1565456926 2822193411 3374788503 1668228400 188274192 1489227842 224154083 1855075245 3453516667 770493924 3521026662 3904852998 2767979090 1704118844 2297466242 3987173164 2986431906 1928310317 1457561853 906843294 1489397894 502548917 444137614 860115164 3605691209 2962242022 620237618 872080685 1759692936 3525658231 1011297263 1003400409 3569025831 31716728 320078753 535706026 1981217452 167622156 270486916 4166614007 727324182 2406925632 1340882540 1833969588 975793064 1627419904 1044431897 3324289923 686828639 3179219327 166021249 1249914436 70027905 1182304660 696152963 2578071901 902267774 4073115365 291725098 3038719981 4082738962 3207471559 3483080267 3315135212 3142622154 3972472050 3905292138 3812271551 2639832203 1913992534 4238416961 4092130131 2443139430 1185053881 3223545874 3404180681 1094561710 1303569989 4287119965 3377129279 2675927194 851345462 464184489 2632670009 2070117290 1341084424 222713663 3556545040 3285262284 2588368430 2277583327 4088966555 1253092566 3920936558 487278199 4287261107 2558463670 3840844169 2708457263 1513225051 722550324 3568101609 3812976116 3346154031 1505454220 1774724968 64782126 987875202 2749404245 3505923381 1182160715 1195778986 2629339666 3357185786 1862560521 3627817451 105469407 3385241726 1606469168 2221155896 3692613279 726581336 3227084383 3079508661 1361323658 3722305707 3098326935 4132427173 3013226359 2548394400 2820027636 1201653405 421732241 3421114955 3885850298 3090189822 369375428 3311853276 1101411236 3012771148 2433650675 1659992249 2280974968 3631404218 1045503037 2835957640 976820346 725613286 3551489195 2373916443 3219788974 26090693 1496555259 1140273130 3261146558 2507325003 4026839426 948791495 507547557 1848514451 57711049 1509438127 641921183 430653023 3482224426 3377009066 3094835060 4270951043 3998440742 913888570 2296198744 3858195495 1343802910 1065018 3569297520 2562215954 842785500 2511913018 2330734358 3072441628 207835801 3437947759 2091099507 1534446526 2833965846 1045724741 1715140614 2621475764 2432561220 3351366481 117303203 4017540345 1358159113 2856893470 3369422683 3898936394 2700215245 1999003538 1788568588 1776594309 874006011 2108737427 2317745458 177882284 592397526 318715456 842686399 2659701755 4177440047 3793632542 3352834647 3494274911 255708445 53444746 3719310444 2756556182 3538069140 3176214053 2042246058 859706787 4123813003 318561457 2746292731 2773795465 1305798185 648996756 707710570 1073748267 1594093018 1554781497 3054903922 3678281635 3593850136 3823848614 331354052 2052223141 4087256575 1283780063 3303110031 2297989591 2545706145 3907405019 3897191856 889729560 209841604 259503238 875517883 95496269 3080558088 3455907559 3844188487 3565201777 255 362436" option to reproduce the execution
0.08/0.11	c #vars 4128
0.08/0.11	c #constraints 8656
0.18/0.25	c Solving starts ...
0.18/0.25	c ============================[ Search Statistics ]============================
0.18/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.25	c =============================================================================
0.18/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      600 |        0
0.29/0.34	c  0.1s |       1 |      520 |      100 |     4234      0 |      600 |      370
0.39/0.45	c  0.2s |       2 |     2301 |      250 |     4658      0 |      601 |      370
0.59/0.62	c  0.4s |       3 |     4857 |      475 |     5124      0 |      602 |      370
0.88/0.97	c  0.7s |       4 |     7648 |      813 |     5637      0 |      602 |      370
1.39/1.46	c  1.2s |       5 |    11495 |     1320 |     6201      0 |      602 |      370
1.99/2.05	c  1.8s |       6 |    17299 |     2081 |     7505      0 |      602 |      370
3.18/3.21	c  3.0s |       7 |    19754 |     3223 |     8256      0 |      602 |      370
4.49/4.58	c  4.3s |       8 |    27763 |     4936 |     9082      0 |      602 |      370
6.59/6.64	c  6.4s |       8 |    32295 |     7036 |     9082      0 |      602 |      370
7.18/7.23	c  7.0s |       9 |    32824 |     7506 |     9991      0 |      602 |      370
9.18/9.25	c  9.0s |       9 |    41400 |     9806 |     9991      0 |      602 |      370
11.28/11.34	c 11.1s |       9 |    42956 |    11206 |     9991      0 |      602 |      370
11.48/11.55	c 11.3s |      10 |    43165 |    11361 |    10991      0 |      602 |      370
13.48/13.56	c 13.3s |      10 |    48650 |    13161 |    10991      0 |      602 |      370
15.68/15.70	c 15.4s |      10 |    50180 |    14461 |    10991      1 |      602 |      370
17.78/17.87	c 17.6s |      10 |    52190 |    16061 |    10991      1 |      602 |      370
19.48/19.51	c 19.3s |      11 |    53501 |    17144 |    12091      1 |      602 |      370
21.49/21.59	c 21.3s |      11 |    60829 |    19144 |    12091      1 |      602 |      370
23.59/23.61	c 23.4s |      11 |    64585 |    21044 |    12091      1 |      602 |      370
25.59/25.62	c 25.4s |      11 |    66180 |    22244 |    12091      1 |      602 |      370
27.69/27.70	c 27.4s |      11 |    67686 |    23444 |    12091      2 |      602 |      370
29.80/29.84	c 29.6s |      11 |    69217 |    24744 |    12091      2 |      602 |      370
31.79/31.90	c 31.6s |      12 |    70521 |    25819 |    13301      2 |      602 |      370
33.89/33.98	c 33.7s |      12 |    76844 |    27619 |    13301      2 |      602 |      370
35.99/36.01	c 35.8s |      12 |    78987 |    29219 |    13301      2 |      602 |      370
37.99/38.02	c 37.8s |      12 |    80763 |    30619 |    13301      2 |      602 |      370
39.98/40.05	c 39.8s |      12 |    82213 |    31819 |    13301      3 |      602 |      370
42.18/42.24	c 42.0s |      12 |    83610 |    33019 |    13301      3 |      602 |      370
44.28/44.38	c 44.1s |      12 |    84744 |    34019 |    13301      3 |      602 |      370
46.38/46.47	c 46.2s |      12 |    85709 |    34919 |    13301      3 |      602 |      370
48.49/48.59	c 48.3s |      12 |    86840 |    35919 |    13301      3 |      602 |      370
50.69/50.72	c 50.5s |      12 |    87843 |    36819 |    13301      3 |      602 |      370
52.79/52.89	c 52.6s |      12 |    88959 |    37819 |    13301      3 |      602 |      370
54.88/54.95	c 54.7s |      12 |    89842 |    38619 |    14632      3 |      602 |      370
55.28/55.39	c 55.1s |      13 |    90113 |    38832 |    14632      3 |      602 |      370
57.38/57.40	c 57.1s |      13 |    95649 |    40632 |    14632      4 |      602 |      370
59.49/59.58	c 59.3s |      13 |    97353 |    42032 |    14632      4 |      602 |      370
61.69/61.73	c 61.5s |      13 |    98581 |    43132 |    14632      4 |      602 |      370
63.79/63.90	c 63.6s |      13 |   100415 |    44432 |    14632      4 |      602 |      370
65.88/65.93	c 65.7s |      13 |   101606 |    45432 |    14632      4 |      602 |      370
67.88/67.99	c 67.7s |      13 |   102812 |    46432 |    14632      4 |      602 |      370
69.98/70.00	c 69.7s |      13 |   105423 |    47832 |    14632      4 |      602 |      370
71.98/72.06	c 71.8s |      13 |   106973 |    48932 |    14632      5 |      602 |      370
74.18/74.21	c 74.0s |      13 |   111604 |    50632 |    14632      5 |      602 |      370
76.28/76.33	c 76.1s |      13 |   113767 |    52032 |    14632      5 |      602 |      370
78.38/78.46	c 78.2s |      13 |   115038 |    53032 |    14632      5 |      602 |      370
80.58/80.61	c 80.4s |      13 |   116228 |    54032 |    14632      5 |      602 |      370
82.78/82.87	c 82.6s |      13 |   117325 |    54932 |    14632      5 |      602 |      370
84.98/85.04	c 84.8s |      13 |   118165 |    55632 |    14632      5 |      602 |      370
87.17/87.25	c 87.0s |      13 |   119261 |    56532 |    14632      5 |      602 |      370
89.37/89.43	c 89.2s |      13 |   120344 |    57432 |    14632      5 |      602 |      370
91.57/91.65	c 91.4s |      13 |   121009 |    58032 |    16096      6 |      602 |      370
92.57/92.61	c 92.4s |      14 |   121374 |    58352 |    16096      6 |      602 |      370
94.58/94.62	c 94.4s |      14 |   126390 |    60352 |    16096      6 |      602 |      370
96.78/96.82	c 96.6s |      14 |   128292 |    61952 |    16096      6 |      602 |      370
98.77/98.83	c 98.6s |      14 |   129632 |    63152 |    16096      6 |      602 |      370
100.77/100.87	c  100s |      14 |   130874 |    64252 |    16096      6 |      602 |      370
102.97/103.03	c  102s |      14 |   132095 |    65352 |    16096      6 |      602 |      370
104.97/105.08	c  104s |      14 |   133178 |    66352 |    16096      6 |      602 |      370
107.27/107.30	c  107s |      14 |   134283 |    67352 |    16096      6 |      602 |      370
109.47/109.52	c  109s |      14 |   135428 |    68352 |    16096      7 |      602 |      370
111.47/111.54	c  111s |      14 |   136920 |    69452 |    16096      7 |      602 |      370
113.67/113.72	c  113s |      14 |   138182 |    70552 |    16096      7 |      602 |      370
115.87/115.90	c  115s |      14 |   139225 |    71452 |    16096      7 |      602 |      370
117.87/117.94	c  117s |      14 |   140540 |    72452 |    16096      7 |      602 |      370
119.98/120.03	c  119s |      14 |   142266 |    73552 |    16096      7 |      602 |      370
122.18/122.25	c  121s |      14 |   143709 |    74652 |    16096      7 |      602 |      370
124.17/124.28	c  124s |      14 |   144889 |    75552 |    16096      7 |      602 |      370
126.37/126.43	c  126s |      14 |   146041 |    76452 |    16096      7 |      602 |      370
128.68/128.75	c  128s |      14 |   147021 |    77252 |    16096      7 |      602 |      370
130.77/130.86	c  130s |      14 |   147899 |    77952 |    16096      8 |      602 |      370
132.76/132.88	c  132s |      14 |   149036 |    78852 |    16096      8 |      602 |      370
134.96/135.07	c  134s |      14 |   149982 |    79652 |    16096      8 |      602 |      370
137.16/137.20	c  136s |      14 |   151048 |    80552 |    16096      8 |      602 |      370
139.26/139.31	c  139s |      14 |   152496 |    81652 |    16096      8 |      602 |      370
141.26/141.32	c  141s |      14 |   153681 |    82652 |    16096      8 |      602 |      370
143.46/143.53	c  143s |      14 |   155052 |    83752 |    16096      8 |      602 |      370
145.56/145.69	c  145s |      14 |   156250 |    84752 |    16096      8 |      602 |      370
147.66/147.77	c  147s |      14 |   157306 |    85652 |    16096      8 |      602 |      370
149.76/149.81	c  149s |      14 |   158240 |    86452 |    16096      8 |      602 |      370
151.87/151.93	c  151s |      14 |   159168 |    87252 |    17706      8 |      602 |      370
153.16/153.20	c  152s |      15 |   159587 |    87632 |    17706      8 |      602 |      370
155.17/155.21	c  154s |      15 |   167856 |    89632 |    17706      9 |      602 |      370
157.16/157.24	c  156s |      15 |   170546 |    91432 |    17706      9 |      602 |      370
159.26/159.35	c  159s |      15 |   172338 |    93032 |    17706      9 |      602 |      370
161.36/161.46	c  161s |      15 |   173798 |    94332 |    17706      9 |      602 |      370
163.46/163.59	c  163s |      15 |   175372 |    95632 |    17706      9 |      602 |      370
165.56/165.68	c  165s |      15 |   176664 |    96832 |    17706      9 |      602 |      370
167.56/167.68	c  167s |      15 |   177617 |    97732 |    17706      9 |      602 |      370
169.76/169.88	c  169s |      15 |   178560 |    98632 |    17706     10 |      602 |      370
171.87/171.90	c  171s |      15 |   179519 |    99532 |    17706     10 |      602 |      370
174.07/174.10	c  173s |      15 |   180471 |   100432 |    17706     10 |      602 |      370
176.17/176.26	c  176s |      15 |   181320 |   101232 |    17706     10 |      602 |      370
178.17/178.31	c  178s |      15 |   182040 |   101932 |    17706     10 |      602 |      370
180.47/180.51	c  180s |      15 |   182877 |   102732 |    17706     10 |      602 |      370
182.46/182.51	c  182s |      15 |   183743 |   103532 |    17706     10 |      602 |      370
184.46/184.57	c  184s |      15 |   184607 |   104332 |    17706     10 |      602 |      370
186.66/186.75	c  186s |      15 |   185339 |   105032 |    17706     10 |      602 |      370
188.86/188.90	c  188s |      15 |   186070 |   105732 |    17706     10 |      602 |      370
190.86/190.95	c  190s |      15 |   186795 |   106432 |    17706     10 |      602 |      370
192.96/193.03	c  192s |      15 |   187544 |   107132 |    17706     10 |      602 |      370
195.16/195.22	c  194s |      15 |   188270 |   107832 |    17706     10 |      602 |      370
197.66/197.75	c  197s |      15 |   188893 |   108432 |    17706     11 |      602 |      370
199.76/199.89	c  199s |      15 |   189735 |   109232 |    17706     11 |      602 |      370
201.86/201.98	c  201s |      15 |   190564 |   110032 |    17706     11 |      602 |      370
203.96/204.06	c  203s |      15 |   191399 |   110832 |    17706     11 |      602 |      370
206.26/206.30	c  206s |      15 |   192239 |   111632 |    17706     11 |      602 |      370
208.26/208.38	c  208s |      15 |   192972 |   112332 |    17706     11 |      602 |      370
210.36/210.47	c  210s |      15 |   193991 |   113232 |    17706     11 |      602 |      370
212.56/212.67	c  212s |      15 |   194989 |   114132 |    17706     11 |      602 |      370
214.86/214.90	c  214s |      15 |   195864 |   114932 |    17706     11 |      602 |      370
216.86/216.97	c  216s |      15 |   202064 |   116432 |    17706     11 |      602 |      370
218.97/219.07	c  218s |      15 |   204429 |   117832 |    17706     11 |      602 |      370
221.17/221.28	c  221s |      15 |   206061 |   119032 |    17706     11 |      602 |      370
223.36/223.42	c  223s |      15 |   207043 |   119832 |    17706     12 |      602 |      370
225.35/225.49	c  225s |      15 |   208441 |   120932 |    17706     12 |      602 |      370
227.45/227.55	c  227s |      15 |   209508 |   121832 |    17706     12 |      602 |      370
229.45/229.57	c  229s |      15 |   210512 |   122732 |    17706     12 |      602 |      370
231.55/231.61	c  231s |      15 |   211462 |   123532 |    17706     12 |      602 |      370
233.55/233.63	c  233s |      15 |   212280 |   124232 |    17706     12 |      602 |      370
235.55/235.66	c  235s |      15 |   213051 |   124932 |    17706     12 |      602 |      370
237.85/237.91	c  237s |      15 |   213887 |   125632 |    17706     12 |      602 |      370
239.95/240.01	c  239s |      15 |   214685 |   126332 |    17706     12 |      602 |      370
241.96/242.10	c  241s |      15 |   215390 |   126932 |    17706     12 |      602 |      370
244.16/244.26	c  244s |      15 |   216365 |   127732 |    17706     12 |      602 |      370
246.36/246.41	c  246s |      15 |   217316 |   128532 |    17706     12 |      602 |      370
248.35/248.47	c  248s |      15 |   218135 |   129232 |    17706     12 |      602 |      370
250.65/250.70	c  250s |      15 |   218785 |   129832 |    17706     13 |      602 |      370
252.96/253.02	c  252s |      15 |   219695 |   130632 |    17706     13 |      602 |      370
255.05/255.10	c  254s |      15 |   220377 |   131232 |    19477     13 |      602 |      370
256.05/256.16	c  255s |      16 |   220917 |   131552 |    19477     13 |      602 |      370
258.15/258.23	c  257s |      16 |   225324 |   133252 |    19477     13 |      602 |      370
260.25/260.33	c  260s |      16 |   226910 |   134552 |    19477     13 |      602 |      370
262.25/262.34	c  262s |      16 |   228150 |   135652 |    19477     13 |      602 |      370
264.24/264.36	c  264s |      16 |   229513 |   136752 |    19477     13 |      602 |      370
266.34/266.44	c  266s |      16 |   231556 |   138252 |    19477     13 |      602 |      370
268.45/268.55	c  268s |      16 |   232794 |   139352 |    19477     13 |      602 |      370
270.44/270.57	c  270s |      16 |   233953 |   140352 |    19477     13 |      602 |      370
272.54/272.65	c  272s |      16 |   235087 |   141352 |    19477     13 |      602 |      370
274.74/274.89	c  274s |      16 |   235960 |   142152 |    19477     14 |      602 |      370
276.94/277.02	c  276s |      16 |   237300 |   143252 |    19477     14 |      602 |      370
279.04/279.15	c  278s |      16 |   238489 |   144252 |    19477     14 |      602 |      370
281.24/281.33	c  281s |      16 |   239796 |   145252 |    19477     14 |      602 |      370
283.34/283.47	c  283s |      16 |   240844 |   146152 |    19477     14 |      602 |      370
285.44/285.54	c  285s |      16 |   241771 |   146952 |    19477     14 |      602 |      370
287.54/287.66	c  287s |      16 |   242727 |   147752 |    19477     14 |      602 |      370
289.74/289.85	c  289s |      16 |   243799 |   148652 |    19477     14 |      602 |      370
291.84/291.98	c  291s |      16 |   244708 |   149452 |    19477     14 |      602 |      370
294.04/294.19	c  293s |      16 |   245592 |   150252 |    19477     14 |      602 |      370
296.24/296.34	c  296s |      16 |   246486 |   151052 |    19477     14 |      602 |      370
298.54/298.61	c  298s |      16 |   247373 |   151852 |    19477     14 |      602 |      370
300.64/300.78	c  300s |      16 |   248012 |   152452 |    19477     14 |      602 |      370
302.84/302.97	c  302s |      16 |   248798 |   153152 |    19477     14 |      602 |      370
305.05/305.10	c  304s |      16 |   249453 |   153752 |    19477     15 |      602 |      370
307.25/307.33	c  307s |      16 |   250300 |   154552 |    19477     15 |      602 |      370
309.35/309.45	c  309s |      16 |   251059 |   155252 |    19477     15 |      602 |      370
311.64/311.72	c  311s |      16 |   251815 |   155952 |    19477     15 |      602 |      370
313.94/314.01	c  313s |      16 |   252577 |   156652 |    19477     15 |      602 |      370
315.94/316.08	c  315s |      16 |   253202 |   157252 |    19477     15 |      602 |      370
318.24/318.32	c  318s |      16 |   253858 |   157852 |    19477     15 |      602 |      370
320.44/320.57	c  320s |      16 |   254636 |   158552 |    19477     15 |      602 |      370
322.74/322.80	c  322s |      16 |   255289 |   159152 |    19477     15 |      602 |      370
324.84/324.95	c  324s |      16 |   255954 |   159752 |    19477     15 |      602 |      370
326.94/327.02	c  326s |      16 |   256597 |   160352 |    19477     15 |      602 |      370
329.04/329.19	c  328s |      16 |   257258 |   160952 |    19477     15 |      602 |      370
331.24/331.32	c  331s |      16 |   257897 |   161552 |    19477     15 |      602 |      370
333.35/333.45	c  333s |      16 |   258427 |   162052 |    19477     15 |      602 |      370
335.64/335.74	c  335s |      16 |   259073 |   162652 |    19477     15 |      602 |      370
338.04/338.13	c  337s |      16 |   259702 |   163252 |    19477     15 |      602 |      370
340.14/340.20	c  339s |      16 |   260234 |   163752 |    19477     15 |      602 |      370
342.34/342.43	c  342s |      16 |   260776 |   164252 |    19477     15 |      602 |      370
344.74/344.83	c  344s |      16 |   261352 |   164752 |    19477     16 |      602 |      370
346.94/347.08	c  346s |      16 |   262083 |   165452 |    19477     16 |      602 |      370
349.24/349.34	c  349s |      16 |   262965 |   166252 |    19477     16 |      602 |      370
351.34/351.43	c  351s |      16 |   263761 |   166952 |    19477     16 |      602 |      370
353.54/353.62	c  353s |      16 |   264545 |   167652 |    19477     16 |      602 |      370
355.74/355.84	c  355s |      16 |   265189 |   168252 |    19477     16 |      602 |      370
357.94/358.04	c  357s |      16 |   265847 |   168852 |    19477     16 |      602 |      370
360.24/360.34	c  360s |      16 |   266498 |   169452 |    19477     16 |      602 |      370
362.23/362.34	c  362s |      16 |   267171 |   170052 |    19477     16 |      602 |      370
364.63/364.70	c  364s |      16 |   267808 |   170652 |    19477     16 |      602 |      370
366.63/366.79	c  366s |      16 |   268330 |   171152 |    19477     16 |      602 |      370
368.73/368.89	c  368s |      16 |   268848 |   171652 |    19477     16 |      602 |      370
371.03/371.11	c  370s |      16 |   269481 |   172252 |    19477     16 |      602 |      370
373.23/373.32	c  373s |      16 |   270011 |   172752 |    19477     16 |      602 |      370
375.43/375.51	c  375s |      16 |   270552 |   173252 |    19477     16 |      602 |      370
377.53/377.63	c  377s |      16 |   271095 |   173752 |    19477     16 |      602 |      370
379.83/379.90	c  379s |      16 |   271620 |   174252 |    19477     16 |      602 |      370
382.03/382.13	c  381s |      16 |   272165 |   174752 |    19477     16 |      602 |      370
384.33/384.48	c  384s |      16 |   272828 |   175352 |    19477     16 |      602 |      370
386.43/386.59	c  386s |      16 |   273348 |   175852 |    19477     16 |      602 |      370
388.63/388.70	c  388s |      16 |   273769 |   176252 |    19477     17 |      602 |      370
390.63/390.75	c  390s |      16 |   274414 |   176852 |    19477     17 |      602 |      370
392.74/392.89	c  392s |      16 |   275058 |   177452 |    19477     17 |      602 |      370
394.94/395.07	c  394s |      16 |   275702 |   178052 |    19477     17 |      602 |      370
397.33/397.44	c  397s |      16 |   276332 |   178652 |    19477     17 |      602 |      370
399.43/399.51	c  399s |      16 |   276850 |   179152 |    19477     17 |      602 |      370
401.44/401.57	c  401s |      16 |   277381 |   179652 |    19477     17 |      602 |      370
403.53/403.63	c  403s |      16 |   277918 |   180152 |    19477     17 |      602 |      370
405.63/405.76	c  405s |      16 |   278433 |   180652 |    19477     17 |      602 |      370
407.83/407.90	c  407s |      16 |   279126 |   181252 |    19477     17 |      602 |      370
410.03/410.12	c  409s |      16 |   279928 |   181952 |    19477     17 |      602 |      370
412.13/412.20	c  411s |      16 |   280588 |   182552 |    19477     17 |      602 |      370
414.43/414.54	c  414s |      16 |   281387 |   183252 |    19477     17 |      602 |      370
416.63/416.79	c  416s |      16 |   282022 |   183852 |    19477     17 |      602 |      370
419.04/419.11	c  418s |      16 |   282656 |   184452 |    19477     17 |      602 |      370
421.24/421.38	c  421s |      16 |   283312 |   185052 |    19477     17 |      602 |      370
423.43/423.55	c  423s |      16 |   283934 |   185652 |    19477     17 |      602 |      370
425.52/425.64	c  425s |      16 |   284577 |   186252 |    19477     17 |      602 |      370
427.52/427.65	c  427s |      16 |   285109 |   186752 |    19477     17 |      602 |      370
429.92/430.04	c  429s |      16 |   285749 |   187352 |    19477     17 |      602 |      370
432.23/432.31	c  432s |      16 |   286289 |   187852 |    19477     18 |      602 |      370
434.43/434.55	c  434s |      16 |   287041 |   188552 |    19477     18 |      602 |      370
436.63/436.79	c  436s |      16 |   287802 |   189252 |    19477     18 |      602 |      370
438.83/439.00	c  438s |      16 |   288544 |   189952 |    19477     18 |      602 |      370
440.92/441.03	c  440s |      16 |   289180 |   190552 |    19477     18 |      602 |      370
443.12/443.26	c  443s |      16 |   289802 |   191152 |    19477     18 |      602 |      370
445.43/445.57	c  445s |      16 |   290536 |   191852 |    19477     18 |      602 |      370
447.42/447.59	c  447s |      16 |   291174 |   192452 |    19477     18 |      602 |      370
449.72/449.81	c  449s |      16 |   291816 |   193052 |    19477     18 |      602 |      370
452.13/452.22	c  451s |      16 |   292493 |   193652 |    19477     18 |      602 |      370
454.12/454.22	c  453s |      16 |   293022 |   194152 |    19477     18 |      602 |      370
456.22/456.40	c  456s |      16 |   293716 |   194752 |    19477     18 |      602 |      370
458.32/458.40	c  458s |      16 |   294253 |   195252 |    19477     18 |      602 |      370
460.42/460.50	c  460s |      16 |   294810 |   195752 |    19477     18 |      602 |      370
462.42/462.53	c  462s |      16 |   295342 |   196252 |    21425     18 |      602 |      370
464.42/464.58	c  464s |      16 |   295869 |   196752 |    21425     18 |      602 |      370
466.62/466.74	c  466s |      16 |   296396 |   197252 |    21425     18 |      602 |      370
467.43/467.52	c  467s |      17 |   296587 |   197432 |    21425     18 |      602 |      370
469.41/469.58	c  469s |      17 |   300464 |   198832 |    21425     18 |      602 |      370
471.92/472.01	c  471s |      17 |   304043 |   200732 |    21425     19 |      602 |      370
473.91/474.09	c  473s |      17 |   307976 |   202732 |    21425     19 |      602 |      370
476.01/476.12	c  475s |      17 |   309854 |   204232 |    21425     19 |      602 |      370
478.01/478.12	c  477s |      17 |   311457 |   205532 |    21425     19 |      602 |      370
480.01/480.18	c  479s |      17 |   313110 |   206832 |    21425     19 |      602 |      370
482.21/482.33	c  482s |      17 |   314519 |   208032 |    21425     19 |      602 |      370
484.21/484.39	c  484s |      17 |   315542 |   208932 |    21425     19 |      602 |      370
486.31/486.49	c  486s |      17 |   316701 |   209932 |    21425     19 |      602 |      370
488.51/488.60	c  488s |      17 |   317903 |   210932 |    21425     19 |      602 |      370
490.81/490.95	c  490s |      17 |   318946 |   211832 |    21425     19 |      602 |      370
492.82/492.98	c  492s |      17 |   320731 |   212832 |    21425     20 |      602 |      370
494.92/495.09	c  494s |      17 |   322931 |   214232 |    21425     20 |      602 |      370
497.12/497.30	c  497s |      17 |   324721 |   215432 |    21425     20 |      602 |      370
499.33/499.48	c  499s |      17 |   325861 |   216332 |    21425     20 |      602 |      370
501.53/501.62	c  501s |      17 |   326929 |   217232 |    21425     20 |      602 |      370
503.52/503.64	c  503s |      17 |   330621 |   218732 |    21425     20 |      602 |      370
505.52/505.65	c  505s |      17 |   334975 |   220332 |    21425     20 |      602 |      370
507.62/507.74	c  507s |      17 |   336804 |   221532 |    21425     20 |      602 |      370
509.62/509.79	c  509s |      17 |   337813 |   222432 |    21425     20 |      602 |      370
511.82/511.98	c  511s |      17 |   338836 |   223332 |    21425     20 |      602 |      370
513.91/514.06	c  513s |      17 |   339936 |   224232 |    21425     20 |      602 |      370
516.31/516.48	c  516s |      17 |   341220 |   225132 |    21425     21 |      602 |      370
518.51/518.70	c  518s |      17 |   342791 |   226332 |    21425     21 |      602 |      370
520.61/520.72	c  520s |      17 |   343998 |   227332 |    21425     21 |      602 |      370
522.81/522.91	c  522s |      17 |   345787 |   228532 |    21425     21 |      602 |      370
524.91/525.09	c  524s |      17 |   347420 |   229632 |    21425     21 |      602 |      370
527.01/527.18	c  526s |      17 |   354542 |   231432 |    21425     21 |      602 |      370
529.02/529.20	c  528s |      17 |   356851 |   232732 |    21425     21 |      602 |      370
531.11/531.21	c  530s |      17 |   361200 |   234132 |    21425     21 |      602 |      370
533.21/533.32	c  533s |      17 |   366756 |   235732 |    21425     21 |      602 |      370
535.41/535.57	c  535s |      17 |   369421 |   237032 |    21425     22 |      602 |      370
537.51/537.67	c  537s |      17 |   373023 |   238932 |    21425     22 |      602 |      370
539.61/539.70	c  539s |      17 |   375248 |   240332 |    21425     22 |      602 |      370
541.71/541.85	c  541s |      17 |   376641 |   241432 |    21425     22 |      602 |      370
543.91/544.04	c  543s |      17 |   378119 |   242532 |    21425     22 |      602 |      370
546.01/546.15	c  545s |      17 |   380326 |   243732 |    21425     22 |      602 |      370
548.11/548.26	c  548s |      17 |   382306 |   244932 |    21425     22 |      602 |      370
550.11/550.28	c  550s |      17 |   383488 |   245832 |    21425     22 |      602 |      370
552.12/552.30	c  552s |      17 |   388367 |   247332 |    21425     22 |      602 |      370
554.21/554.39	c  554s |      17 |   391296 |   248732 |    21425     22 |      602 |      370
556.41/556.54	c  556s |      17 |   393492 |   249932 |    21425     23 |      602 |      370
558.61/558.71	c  558s |      17 |   395368 |   251132 |    21425     23 |      602 |      370
560.71/560.87	c  560s |      17 |   396863 |   252232 |    21425     23 |      602 |      370
562.81/562.90	c  562s |      17 |   398409 |   253232 |    21425     23 |      602 |      370
564.81/564.99	c  564s |      17 |   399806 |   254232 |    21425     23 |      602 |      370
567.00/567.14	c  566s |      17 |   401066 |   255032 |    21425     23 |      602 |      370
569.10/569.22	c  568s |      17 |   403261 |   256232 |    21425     23 |      602 |      370
571.10/571.29	c  571s |      17 |   404568 |   257232 |    21425     23 |      602 |      370
573.30/573.44	c  573s |      17 |   405927 |   258232 |    21425     23 |      602 |      370
575.31/575.48	c  575s |      17 |   407152 |   259132 |    21425     23 |      602 |      370
577.60/577.78	c  577s |      17 |   408174 |   259932 |    21425     23 |      602 |      370
579.71/579.82	c  579s |      17 |   409575 |   260832 |    21425     23 |      602 |      370
581.92/582.03	c  581s |      17 |   410661 |   261632 |    21425     24 |      602 |      370
584.01/584.12	c  583s |      17 |   411985 |   262632 |    21425     24 |      602 |      370
586.00/586.13	c  585s |      17 |   413498 |   263532 |    21425     24 |      602 |      370
588.00/588.17	c  587s |      17 |   414952 |   264632 |    21425     24 |      602 |      370
590.10/590.26	c  590s |      17 |   415959 |   265432 |    21425     24 |      602 |      370
592.50/592.69	c  592s |      17 |   416891 |   266232 |    21425     24 |      602 |      370
594.90/595.10	c  594s |      17 |   417553 |   266832 |    21425     24 |      602 |      370
597.10/597.30	c  597s |      17 |   418329 |   267532 |    21425     24 |      602 |      370
599.20/599.35	c  599s |      17 |   419393 |   268332 |    21425     24 |      602 |      370
601.50/601.68	c  601s |      17 |   420322 |   269132 |    21425     24 |      602 |      370
603.70/603.86	c  603s |      17 |   421151 |   269832 |    21425     24 |      602 |      370
606.11/606.24	c  605s |      17 |   421958 |   270532 |    21425     24 |      602 |      370
608.31/608.42	c  608s |      17 |   422740 |   271232 |    21425     24 |      602 |      370
610.51/610.67	c  610s |      17 |   423888 |   272032 |    21425     24 |      602 |      370
612.71/612.86	c  612s |      17 |   425089 |   272832 |    21425     24 |      602 |      370
614.81/615.00	c  614s |      17 |   425793 |   273432 |    21425     24 |      602 |      370
616.90/617.00	c  616s |      17 |   426368 |   273932 |    21425     25 |      602 |      370
619.10/619.22	c  618s |      17 |   427573 |   274832 |    21425     25 |      602 |      370
621.10/621.28	c  621s |      17 |   428342 |   275432 |    21425     25 |      602 |      370
623.30/623.42	c  623s |      17 |   429095 |   276032 |    21425     25 |      602 |      370
625.40/625.55	c  625s |      17 |   430104 |   276832 |    21425     25 |      602 |      370
627.49/627.63	c  627s |      17 |   430983 |   277532 |    21425     25 |      602 |      370
629.69/629.83	c  629s |      17 |   431940 |   278332 |    21425     25 |      602 |      370
631.89/632.02	c  631s |      17 |   432768 |   279032 |    21425     25 |      602 |      370
633.89/634.07	c  633s |      17 |   433700 |   279732 |    21425     25 |      602 |      370
635.99/636.14	c  635s |      17 |   434692 |   280532 |    21425     25 |      602 |      370
638.00/638.17	c  637s |      17 |   435529 |   281232 |    21425     25 |      602 |      370
640.10/640.26	c  640s |      17 |   436412 |   281932 |    21425     25 |      602 |      370
642.30/642.44	c  642s |      17 |   437108 |   282532 |    21425     25 |      602 |      370
644.39/644.52	c  644s |      17 |   437810 |   283132 |    21425     25 |      602 |      370
646.49/646.60	c  646s |      17 |   438520 |   283732 |    21425     25 |      602 |      370
648.59/648.79	c  648s |      17 |   439350 |   284432 |    21425     25 |      602 |      370
650.79/650.96	c  650s |      17 |   440048 |   285032 |    21425     25 |      602 |      370
652.99/653.14	c  652s |      17 |   440712 |   285632 |    21425     25 |      602 |      370
655.19/655.32	c  655s |      17 |   441309 |   286132 |    21425     26 |      602 |      370
657.29/657.41	c  657s |      17 |   442261 |   286932 |    21425     26 |      602 |      370
659.29/659.47	c  659s |      17 |   443186 |   287732 |    21425     26 |      602 |      370
661.39/661.55	c  661s |      17 |   444006 |   288432 |    21425     26 |      602 |      370
663.59/663.71	c  663s |      17 |   444797 |   289132 |    21425     26 |      602 |      370
665.79/665.95	c  665s |      17 |   445612 |   289832 |    21425     26 |      602 |      370
668.19/668.38	c  668s |      17 |   446380 |   290532 |    21425     26 |      602 |      370
670.29/670.44	c  670s |      17 |   447041 |   291132 |    21425     26 |      602 |      370
672.39/672.57	c  672s |      17 |   447714 |   291732 |    21425     26 |      602 |      370
674.69/674.89	c  674s |      17 |   448485 |   292432 |    21425     26 |      602 |      370
677.09/677.20	c  676s |      17 |   449150 |   293032 |    21425     26 |      602 |      370
679.18/679.34	c  679s |      17 |   450041 |   293732 |    21425     26 |      602 |      370
681.18/681.35	c  681s |      17 |   450685 |   294332 |    23568     26 |      602 |      370
683.38/683.56	c  683s |      17 |   451514 |   295032 |    23568     26 |      602 |      370
685.68/685.84	c  685s |      17 |   452220 |   295632 |    23568     26 |      602 |      370
687.78/687.93	c  687s |      17 |   452911 |   296232 |    23568     26 |      602 |      370
687.88/688.00	c  687s |      18 |   452929 |   296252 |    23568     26 |      602 |      370
689.98/690.12	c  689s |      18 |   456976 |   297752 |    23568     26 |      602 |      370
691.98/692.15	c  691s |      18 |   459473 |   299452 |    23568     26 |      602 |      370
694.18/694.30	c  694s |      18 |   460811 |   300552 |    23568     27 |      602 |      370
696.19/696.33	c  696s |      18 |   462236 |   301652 |    23568     27 |      602 |      370
698.18/698.38	c  698s |      18 |   464965 |   303252 |    23568     27 |      602 |      370
700.28/700.49	c  700s |      18 |   466611 |   304552 |    23568     27 |      602 |      370
702.38/702.56	c  702s |      18 |   468719 |   306052 |    23568     27 |      602 |      370
704.38/704.59	c  704s |      18 |   471152 |   307552 |    23568     27 |      602 |      370
706.48/706.69	c  706s |      18 |   473184 |   308852 |    23568     27 |      602 |      370
708.68/708.87	c  708s |      18 |   474524 |   309952 |    23568     27 |      602 |      370
710.78/710.94	c  710s |      18 |   475824 |   310952 |    23568     27 |      602 |      370
712.79/712.95	c  712s |      18 |   477509 |   312152 |    23568     27 |      602 |      370
714.99/715.15	c  714s |      18 |   478741 |   313152 |    23568     27 |      602 |      370
716.98/717.17	c  716s |      18 |   479691 |   313852 |    23568     28 |      602 |      370
719.08/719.21	c  718s |      18 |   480811 |   314752 |    23568     28 |      602 |      370
721.08/721.23	c  720s |      18 |   481752 |   315552 |    23568     28 |      602 |      370
723.18/723.33	c  723s |      18 |   482742 |   316352 |    23568     28 |      602 |      370
725.47/725.60	c  725s |      18 |   483682 |   317152 |    23568     28 |      602 |      370
727.67/727.85	c  727s |      18 |   484456 |   317852 |    23568     28 |      602 |      370
729.77/729.91	c  729s |      18 |   485243 |   318552 |    23568     28 |      602 |      370
731.87/732.01	c  731s |      18 |   486021 |   319252 |    23568     28 |      602 |      370
733.87/734.07	c  733s |      18 |   486824 |   319952 |    23568     28 |      602 |      370
736.07/736.20	c  735s |      18 |   487641 |   320652 |    23568     28 |      602 |      370
738.08/738.26	c  738s |      18 |   488479 |   321352 |    23568     28 |      602 |      370
740.37/740.59	c  740s |      18 |   489256 |   322052 |    23568     28 |      602 |      370
742.48/742.63	c  742s |      18 |   489906 |   322652 |    23568     28 |      602 |      370
744.47/744.65	c  744s |      18 |   490560 |   323252 |    23568     28 |      602 |      370
746.67/746.83	c  746s |      18 |   491231 |   323852 |    23568     28 |      602 |      370
748.98/749.11	c  748s |      18 |   491893 |   324452 |    23568     28 |      602 |      370
751.18/751.37	c  751s |      18 |   492568 |   325052 |    23568     28 |      602 |      370
753.27/753.42	c  753s |      18 |   493111 |   325552 |    23568     28 |      602 |      370
755.27/755.43	c  755s |      18 |   493682 |   326052 |    23568     28 |      602 |      370
757.57/757.75	c  757s |      18 |   494339 |   326652 |    23568     28 |      602 |      370
759.87/760.00	c  759s |      18 |   494943 |   327152 |    23568     29 |      602 |      370
761.87/762.06	c  761s |      18 |   495789 |   327852 |    23568     29 |      602 |      370
764.17/764.32	c  764s |      18 |   496774 |   328652 |    23568     29 |      602 |      370
766.37/766.50	c  766s |      18 |   497727 |   329452 |    23568     29 |      602 |      370
768.47/768.61	c  768s |      18 |   498795 |   330252 |    23568     29 |      602 |      370
770.67/770.81	c  770s |      18 |   499756 |   331052 |    23568     29 |      602 |      370
772.87/773.04	c  772s |      18 |   500889 |   331952 |    23568     29 |      602 |      370
774.97/775.11	c  774s |      18 |   501732 |   332652 |    23568     29 |      602 |      370
777.27/777.44	c  777s |      18 |   502705 |   333452 |    23568     29 |      602 |      370
779.37/779.59	c  779s |      18 |   503619 |   334152 |    23568     29 |      602 |      370
781.47/781.61	c  781s |      18 |   504287 |   334752 |    23568     29 |      602 |      370
783.56/783.79	c  783s |      18 |   504968 |   335352 |    23568     29 |      602 |      370
785.96/786.11	c  785s |      18 |   505638 |   335952 |    23568     29 |      602 |      370
787.96/788.13	c  787s |      18 |   506194 |   336452 |    23568     29 |      602 |      370
790.16/790.36	c  790s |      18 |   506879 |   337052 |    23568     29 |      602 |      370
792.46/792.69	c  792s |      18 |   507542 |   337652 |    23568     29 |      602 |      370
794.96/795.11	c  794s |      18 |   508215 |   338252 |    23568     29 |      602 |      370
797.16/797.32	c  797s |      18 |   508768 |   338752 |    23568     29 |      602 |      370
799.36/799.59	c  799s |      18 |   509461 |   339352 |    23568     29 |      602 |      370
801.67/801.87	c  801s |      18 |   510184 |   339952 |    23568     29 |      602 |      370
804.66/804.87	c  804s |      18 |   510846 |   340552 |    23568     30 |      602 |      370
806.86/807.05	c  806s |      18 |   511622 |   341252 |    23568     30 |      602 |      370
809.16/809.30	c  809s |      18 |   512386 |   341952 |    23568     30 |      602 |      370
811.16/811.37	c  811s |      18 |   513186 |   342652 |    23568     30 |      602 |      370
813.26/813.41	c  813s |      18 |   513836 |   343252 |    23568     30 |      602 |      370
815.36/815.50	c  815s |      18 |   514481 |   343852 |    23568     30 |      602 |      370
817.46/817.67	c  817s |      18 |   515181 |   344452 |    23568     30 |      602 |      370
819.76/819.96	c  819s |      18 |   515972 |   345152 |    23568     30 |      602 |      370
822.16/822.37	c  822s |      18 |   516619 |   345752 |    23568     30 |      602 |      370
824.26/824.44	c  824s |      18 |   517164 |   346252 |    23568     30 |      602 |      370
826.36/826.54	c  826s |      18 |   517842 |   346852 |    23568     30 |      602 |      370
828.66/828.84	c  828s |      18 |   518518 |   347452 |    23568     30 |      602 |      370
830.96/831.14	c  830s |      18 |   519193 |   348052 |    23568     30 |      602 |      370
833.06/833.26	c  833s |      18 |   519750 |   348552 |    23568     30 |      602 |      370
835.26/835.47	c  835s |      18 |   520312 |   349052 |    23568     30 |      602 |      370
837.36/837.59	c  837s |      18 |   520862 |   349552 |    23568     30 |      602 |      370
839.66/839.85	c  839s |      18 |   521424 |   350052 |    23568     30 |      602 |      370
841.76/841.99	c  841s |      18 |   521960 |   350552 |    23568     30 |      602 |      370
844.16/844.32	c  844s |      18 |   522487 |   351052 |    23568     30 |      602 |      370
846.36/846.55	c  846s |      18 |   523191 |   351652 |    23568     30 |      602 |      370
848.66/848.88	c  848s |      18 |   523885 |   352252 |    23568     30 |      602 |      370
851.05/851.28	c  851s |      18 |   524569 |   352852 |    23568     30 |      602 |      370
853.25/853.46	c  853s |      18 |   525266 |   353452 |    23568     30 |      602 |      370
855.35/855.56	c  855s |      18 |   525744 |   353852 |    23568     31 |      602 |      370
857.65/857.84	c  857s |      18 |   526663 |   354652 |    23568     31 |      602 |      370
859.85/860.00	c  859s |      18 |   527464 |   355352 |    23568     31 |      602 |      370
861.85/862.05	c  861s |      18 |   528277 |   356052 |    23568     31 |      602 |      370
863.95/864.15	c  863s |      18 |   529052 |   356752 |    23568     31 |      602 |      370
866.16/866.36	c  866s |      18 |   529845 |   357452 |    23568     31 |      602 |      370
868.46/868.67	c  868s |      18 |   530613 |   358152 |    23568     31 |      602 |      370
870.86/871.04	c  870s |      18 |   531400 |   358852 |    23568     31 |      602 |      370
872.96/873.13	c  872s |      18 |   532079 |   359452 |    23568     31 |      602 |      370
875.16/875.38	c  875s |      18 |   532724 |   360052 |    23568     31 |      602 |      370
877.56/877.70	c  877s |      18 |   533376 |   360652 |    23568     31 |      602 |      370
879.56/879.78	c  879s |      18 |   533938 |   361152 |    23568     31 |      602 |      370
881.86/882.07	c  881s |      18 |   534595 |   361752 |    23568     31 |      602 |      370
884.15/884.36	c  884s |      18 |   535282 |   362352 |    23568     31 |      602 |      370
886.56/886.71	c  886s |      18 |   535941 |   362952 |    23568     31 |      602 |      370
888.66/888.90	c  888s |      18 |   536474 |   363452 |    23568     31 |      602 |      370
890.96/891.11	c  890s |      18 |   537235 |   364052 |    23568     31 |      602 |      370
893.06/893.22	c  892s |      18 |   538181 |   364752 |    23568     31 |      602 |      370
895.26/895.42	c  895s |      18 |   538996 |   365452 |    23568     31 |      602 |      370
897.46/897.63	c  897s |      18 |   539828 |   366152 |    23568     31 |      602 |      370
899.76/899.99	c  899s |      18 |   540648 |   366852 |    23568     31 |      602 |      370
902.05/902.27	c  902s |      18 |   541224 |   367352 |    23568     32 |      602 |      370
904.06/904.30	c  904s |      18 |   541924 |   367952 |    23568     32 |      602 |      370
906.26/906.47	c  906s |      18 |   542855 |   368752 |    23568     32 |      602 |      370
908.35/908.60	c  908s |      18 |   543650 |   369452 |    23568     32 |      602 |      370
910.66/910.85	c  910s |      18 |   544749 |   370352 |    23568     32 |      602 |      370
912.74/912.92	c  912s |      18 |   545582 |   371052 |    23568     32 |      602 |      370
914.94/915.14	c  914s |      18 |   546403 |   371752 |    23568     32 |      602 |      370
917.04/917.22	c  916s |      18 |   547227 |   372452 |    23568     32 |      602 |      370
919.14/919.33	c  919s |      18 |   548065 |   373152 |    23568     32 |      602 |      370
921.14/921.37	c  921s |      18 |   548733 |   373752 |    23568     32 |      602 |      370
923.34/923.54	c  923s |      18 |   549423 |   374352 |    23568     32 |      602 |      370
925.64/925.84	c  925s |      18 |   550267 |   375052 |    23568     32 |      602 |      370
927.64/927.88	c  927s |      18 |   550959 |   375652 |    23568     32 |      602 |      370
930.04/930.28	c  930s |      18 |   551798 |   376352 |    23568     32 |      602 |      370
932.44/932.67	c  932s |      18 |   552462 |   376952 |    23568     32 |      602 |      370
934.54/934.78	c  934s |      18 |   553167 |   377552 |    23568     32 |      602 |      370
936.64/936.89	c  936s |      18 |   553860 |   378152 |    23568     32 |      602 |      370
939.04/939.25	c  938s |      18 |   554550 |   378752 |    23568     32 |      602 |      370
941.45/941.66	c  941s |      18 |   555243 |   379352 |    23568     32 |      602 |      370
943.94/944.16	c  943s |      18 |   555925 |   379952 |    23568     32 |      602 |      370
946.14/946.33	c  946s |      18 |   556490 |   380452 |    23568     32 |      602 |      370
948.15/948.35	c  948s |      18 |   556940 |   380852 |    23568     33 |      602 |      370
950.36/950.59	c  950s |      18 |   557691 |   381552 |    23568     33 |      602 |      370
952.45/952.62	c  952s |      18 |   558342 |   382152 |    23568     33 |      602 |      370
954.54/954.72	c  954s |      18 |   559032 |   382752 |    23568     33 |      602 |      370
956.74/956.95	c  956s |      18 |   559694 |   383352 |    23568     33 |      602 |      370
958.74/958.96	c  958s |      18 |   560269 |   383852 |    23568     33 |      602 |      370
961.04/961.21	c  960s |      18 |   560934 |   384452 |    23568     33 |      602 |      370
963.04/963.28	c  963s |      18 |   561493 |   384952 |    23568     33 |      602 |      370
965.14/965.32	c  965s |      18 |   562066 |   385452 |    23568     33 |      602 |      370
967.34/967.56	c  967s |      18 |   562752 |   386052 |    23568     33 |      602 |      370
969.64/969.89	c  969s |      18 |   563413 |   386652 |    23568     33 |      602 |      370
971.84/972.01	c  971s |      18 |   564113 |   387252 |    23568     33 |      602 |      370
974.13/974.31	c  974s |      18 |   564785 |   387852 |    23568     33 |      602 |      370
976.23/976.48	c  976s |      18 |   565478 |   388452 |    23568     33 |      602 |      370
978.43/978.60	c  978s |      18 |   566039 |   388952 |    23568     33 |      602 |      370
980.43/980.60	c  980s |      18 |   566618 |   389452 |    23568     33 |      602 |      370
982.63/982.81	c  982s |      18 |   567190 |   389952 |    23568     33 |      602 |      370
984.93/985.13	c  984s |      18 |   567730 |   390452 |    23568     33 |      602 |      370
987.42/987.65	c  987s |      18 |   568260 |   390952 |    23568     33 |      602 |      370
989.52/989.73	c  989s |      18 |   568712 |   391352 |    23568     33 |      602 |      370
991.92/992.17	c  991s |      18 |   569252 |   391852 |    23568     33 |      602 |      370
994.42/994.63	c  994s |      18 |   569782 |   392352 |    23568     33 |      602 |      370
996.82/997.06	c  996s |      18 |   570323 |   392852 |    23568     33 |      602 |      370
999.22/999.46	c  999s |      18 |   570863 |   393352 |    23568     33 |      602 |      370
1001.32/1001.58	c 1001s |      18 |   571323 |   393752 |    23568     33 |      602 |      370
1003.41/1003.62	c 1003s |      18 |   571663 |   394052 |    23568     34 |      602 |      370
1005.51/1005.71	c 1005s |      18 |   572199 |   394552 |    23568     34 |      602 |      370
1007.61/1007.89	c 1007s |      18 |   572856 |   395152 |    23568     34 |      602 |      370
1009.72/1009.93	c 1009s |      18 |   573405 |   395652 |    23568     34 |      602 |      370
1012.01/1012.24	c 1011s |      18 |   574093 |   396252 |    23568     34 |      602 |      370
1014.21/1014.47	c 1014s |      18 |   575208 |   397052 |    23568     34 |      602 |      370
1016.51/1016.71	c 1016s |      18 |   576346 |   397952 |    23568     34 |      602 |      370
1018.61/1018.81	c 1018s |      18 |   577346 |   398752 |    23568     34 |      602 |      370
1020.62/1020.87	c 1020s |      18 |   578262 |   399552 |    23568     34 |      602 |      370
1022.71/1022.99	c 1022s |      18 |   578930 |   400152 |    23568     34 |      602 |      370
1025.02/1025.25	c 1024s |      18 |   579687 |   400852 |    23568     34 |      602 |      370
1027.22/1027.47	c 1027s |      18 |   580453 |   401552 |    23568     34 |      602 |      370
1029.31/1029.57	c 1029s |      18 |   581109 |   402152 |    23568     34 |      602 |      370
1031.41/1031.68	c 1031s |      18 |   581782 |   402752 |    23568     34 |      602 |      370
1033.70/1034.00	c 1033s |      18 |   582418 |   403352 |    23568     34 |      602 |      370
1035.90/1036.20	c 1035s |      18 |   583099 |   403952 |    23568     34 |      602 |      370
1038.21/1038.48	c 1038s |      18 |   584061 |   404752 |    23568     34 |      602 |      370
1040.30/1040.50	c 1040s |      18 |   584737 |   405352 |    23568     34 |      602 |      370
1042.49/1042.75	c 1042s |      18 |   585549 |   406052 |    23568     34 |      602 |      370
1044.69/1044.96	c 1044s |      18 |   586352 |   406752 |    23568     34 |      602 |      370
1047.29/1047.50	c 1047s |      18 |   587027 |   407352 |    23568     35 |      602 |      370
1049.49/1049.73	c 1049s |      18 |   587788 |   408052 |    23568     35 |      602 |      370
1051.69/1051.92	c 1051s |      18 |   588894 |   408952 |    23568     35 |      602 |      370
1053.70/1053.92	c 1053s |      18 |   589760 |   409652 |    23568     35 |      602 |      370
1055.80/1056.08	c 1055s |      18 |   590545 |   410352 |    23568     35 |      602 |      370
1058.19/1058.41	c 1058s |      18 |   591321 |   411052 |    23568     35 |      602 |      370
1060.20/1060.48	c 1060s |      18 |   591981 |   411652 |    23568     35 |      602 |      370
1062.39/1062.70	c 1062s |      18 |   592774 |   412352 |    23568     35 |      602 |      370
1064.69/1064.96	c 1064s |      18 |   593554 |   413052 |    23568     35 |      602 |      370
1066.98/1067.20	c 1066s |      18 |   594326 |   413752 |    23568     35 |      602 |      370
1068.99/1069.29	c 1069s |      18 |   595004 |   414352 |    23568     35 |      602 |      370
1071.48/1071.75	c 1071s |      18 |   595643 |   414952 |    23568     35 |      602 |      370
1073.67/1073.92	c 1073s |      18 |   596175 |   415452 |    23568     35 |      602 |      370
1075.77/1076.08	c 1075s |      18 |   596703 |   415952 |    23568     35 |      602 |      370
1078.17/1078.41	c 1078s |      18 |   597360 |   416552 |    23568     35 |      602 |      370
1080.17/1080.48	c 1080s |      18 |   597892 |   417052 |    23568     35 |      602 |      370
1082.18/1082.49	c 1082s |      18 |   598451 |   417552 |    23568     35 |      602 |      370
1084.57/1084.83	c 1084s |      18 |   599151 |   418152 |    23568     35 |      602 |      370
1086.68/1086.92	c 1086s |      18 |   599704 |   418652 |    23568     35 |      602 |      370
1088.78/1089.05	c 1088s |      18 |   600248 |   419152 |    23568     35 |      602 |      370
1090.87/1091.15	c 1090s |      18 |   600845 |   419652 |    23568     35 |      602 |      370
1093.17/1093.47	c 1093s |      18 |   601516 |   420252 |    23568     35 |      602 |      370
1095.76/1096.06	c 1095s |      18 |   602054 |   420752 |    23568     36 |      602 |      370
1097.96/1098.27	c 1098s |      18 |   602884 |   421452 |    23568     36 |      602 |      370
1100.26/1100.51	c 1100s |      18 |   603693 |   422152 |    23568     36 |      602 |      370
1102.45/1102.72	c 1102s |      18 |   604488 |   422852 |    23568     36 |      602 |      370
1104.45/1104.77	c 1104s |      18 |   605196 |   423452 |    23568     36 |      602 |      370
1106.75/1107.03	c 1106s |      18 |   605973 |   424152 |    23568     36 |      602 |      370
1109.05/1109.34	c 1109s |      18 |   606754 |   424852 |    23568     36 |      602 |      370
1111.25/1111.51	c 1111s |      18 |   607396 |   425452 |    23568     36 |      602 |      370
1113.24/1113.52	c 1113s |      18 |   607938 |   425952 |    23568     36 |      602 |      370
1115.64/1115.91	c 1115s |      18 |   608625 |   426552 |    23568     36 |      602 |      370
1117.94/1118.20	c 1117s |      18 |   609321 |   427152 |    23568     36 |      602 |      370
1120.04/1120.32	c 1120s |      18 |   610053 |   427752 |    23568     36 |      602 |      370
1122.04/1122.36	c 1122s |      18 |   610623 |   428252 |    23568     36 |      602 |      370
1124.14/1124.45	c 1124s |      18 |   611173 |   428752 |    23568     36 |      602 |      370
1126.43/1126.77	c 1126s |      18 |   611817 |   429352 |    23568     36 |      602 |      370
1128.83/1129.17	c 1128s |      18 |   612462 |   429952 |    23568     36 |      602 |      370
1131.23/1131.57	c 1131s |      18 |   613148 |   430552 |    23568     36 |      602 |      370
1133.53/1133.88	c 1133s |      18 |   613710 |   431052 |    23568     36 |      602 |      370
1135.93/1136.24	c 1135s |      18 |   614252 |   431552 |    23568     36 |      602 |      370
1138.35/1138.61	c 1138s |      18 |   614797 |   432052 |    23568     36 |      602 |      370
1140.63/1140.94	c 1140s |      18 |   615335 |   432552 |    23568     36 |      602 |      370
1142.64/1142.94	c 1142s |      18 |   615763 |   432952 |    23568     36 |      602 |      370
1144.73/1145.09	c 1144s |      18 |   616307 |   433452 |    23568     36 |      602 |      370
1146.93/1147.23	c 1146s |      18 |   616875 |   433952 |    23568     36 |      602 |      370
1149.13/1149.43	c 1149s |      18 |   617423 |   434452 |    23568     37 |      602 |      370
1151.23/1151.57	c 1151s |      18 |   618075 |   435052 |    23568     37 |      602 |      370
1153.32/1153.62	c 1153s |      18 |   618730 |   435652 |    23568     37 |      602 |      370
1155.62/1155.93	c 1155s |      18 |   619427 |   436252 |    23568     37 |      602 |      370
1157.72/1158.05	c 1157s |      18 |   619963 |   436752 |    23568     37 |      602 |      370
1159.82/1160.11	c 1159s |      18 |   620494 |   437252 |    23568     37 |      602 |      370
1162.12/1162.42	c 1162s |      18 |   621147 |   437852 |    23568     37 |      602 |      370
1164.21/1164.56	c 1164s |      18 |   621793 |   438452 |    23568     37 |      602 |      370
1166.51/1166.87	c 1166s |      18 |   622427 |   439052 |    23568     37 |      602 |      370
1168.61/1168.94	c 1168s |      18 |   622961 |   439552 |    23568     37 |      602 |      370
1171.01/1171.32	c 1171s |      18 |   623614 |   440152 |    23568     37 |      602 |      370
1173.10/1173.40	c 1173s |      18 |   624161 |   440652 |    23568     37 |      602 |      370
1175.20/1175.54	c 1175s |      18 |   624682 |   441152 |    23568     37 |      602 |      370
1177.30/1177.69	c 1177s |      18 |   625211 |   441652 |    25925     37 |      602 |      370
1179.50/1179.81	c 1179s |      18 |   625761 |   442152 |    25925     37 |      602 |      370
1181.60/1181.96	c 1181s |      18 |   626294 |   442652 |    25925     37 |      602 |      370
1183.79/1184.13	c 1183s |      18 |   626837 |   443152 |    25925     37 |      602 |      370
1186.09/1186.44	c 1186s |      18 |   627395 |   443652 |    25925     37 |      602 |      370
1188.29/1188.61	c 1188s |      18 |   627953 |   444152 |    25925     37 |      602 |      370
1189.39/1189.77	c 1189s |      19 |   628376 |   444482 |    25925     37 |      602 |      370
1191.59/1191.91	c 1191s |      19 |   633499 |   445782 |    25925     37 |      602 |      370
1193.58/1193.95	c 1193s |      19 |   634557 |   446682 |    25925     37 |      602 |      370
1195.58/1195.96	c 1195s |      19 |   636040 |   447682 |    25925     37 |      602 |      370
1197.78/1198.10	c 1197s |      19 |   637201 |   448582 |    25925     37 |      602 |      370
1199.89/1200.27	c 1200s |      19 |   638127 |   449382 |    25925     37 |      602 |      370
1202.09/1202.42	c 1202s |      19 |   638671 |   449882 |    25925     38 |      602 |      370
1204.19/1204.53	c 1204s |      19 |   639674 |   450782 |    25925     38 |      602 |      370
1206.17/1206.58	c 1206s |      19 |   640524 |   451582 |    25925     38 |      602 |      370
1208.27/1208.65	c 1208s |      19 |   641376 |   452382 |    25925     38 |      602 |      370
1210.37/1210.79	c 1210s |      19 |   642237 |   453182 |    25925     38 |      602 |      370
1212.67/1213.08	c 1212s |      19 |   643087 |   453982 |    25925     38 |      602 |      370
1214.77/1215.19	c 1214s |      19 |   643858 |   454682 |    25925     38 |      602 |      370
1216.97/1217.38	c 1217s |      19 |   644606 |   455382 |    25925     38 |      602 |      370
1219.18/1219.59	c 1219s |      19 |   645355 |   456082 |    25925     38 |      602 |      370
1221.28/1221.60	c 1221s |      19 |   646079 |   456682 |    25925     38 |      602 |      370
1223.57/1223.90	c 1223s |      19 |   646884 |   457382 |    25925     38 |      602 |      370
1225.87/1226.22	c 1225s |      19 |   647658 |   458082 |    25925     38 |      602 |      370
1228.17/1228.52	c 1228s |      19 |   648547 |   458882 |    25925     38 |      602 |      370
1230.37/1230.73	c 1230s |      19 |   649582 |   459582 |    25925     38 |      602 |      370
1232.66/1233.00	c 1232s |      19 |   650599 |   460182 |    25925     38 |      602 |      370
1234.76/1235.18	c 1234s |      19 |   651277 |   460782 |    25925     38 |      602 |      370
1236.96/1237.39	c 1237s |      19 |   652758 |   461682 |    25925     38 |      602 |      370
1239.16/1239.58	c 1239s |      19 |   653871 |   462582 |    25925     38 |      602 |      370
1241.46/1241.81	c 1241s |      19 |   654888 |   463482 |    25925     38 |      602 |      370
1243.45/1243.89	c 1243s |      19 |   655658 |   464182 |    25925     38 |      602 |      370
1245.65/1246.03	c 1245s |      19 |   656460 |   464882 |    25925     39 |      602 |      370
1247.85/1248.28	c 1248s |      19 |   657466 |   465782 |    25925     39 |      602 |      370
1250.05/1250.48	c 1250s |      19 |   658449 |   466682 |    25925     39 |      602 |      370
1252.15/1252.53	c 1252s |      19 |   659304 |   467482 |    25925     39 |      602 |      370
1254.34/1254.72	c 1254s |      19 |   660374 |   468382 |    25925     39 |      602 |      370
1256.44/1256.89	c 1256s |      19 |   661253 |   469182 |    25925     39 |      602 |      370
1258.64/1259.08	c 1258s |      19 |   662132 |   469982 |    25925     39 |      602 |      370
1260.74/1261.11	c 1260s |      19 |   662915 |   470682 |    25925     39 |      602 |      370
1262.84/1263.22	c 1262s |      19 |   663686 |   471382 |    25925     39 |      602 |      370
1265.03/1265.47	c 1265s |      19 |   664444 |   472082 |    25925     39 |      602 |      370
1267.33/1267.77	c 1267s |      19 |   665203 |   472782 |    25925     39 |      602 |      370
1269.53/1269.90	c 1269s |      19 |   665838 |   473382 |    25925     39 |      602 |      370
1271.73/1272.14	c 1271s |      19 |   666478 |   473982 |    25925     39 |      602 |      370
1274.23/1274.60	c 1274s |      19 |   667122 |   474582 |    25925     39 |      602 |      370
1276.23/1276.63	c 1276s |      19 |   667643 |   475082 |    25925     39 |      602 |      370
1278.23/1278.68	c 1278s |      19 |   668186 |   475582 |    25925     39 |      602 |      370
1280.43/1280.84	c 1280s |      19 |   668726 |   476082 |    25925     39 |      602 |      370
1282.52/1282.95	c 1282s |      19 |   669266 |   476582 |    25925     39 |      602 |      370
1284.53/1284.96	c 1284s |      19 |   669804 |   477082 |    25925     39 |      602 |      370
1286.73/1287.17	c 1286s |      19 |   670318 |   477582 |    25925     39 |      602 |      370
1288.93/1289.35	c 1289s |      19 |   670846 |   478082 |    25925     39 |      602 |      370
1290.92/1291.39	c 1291s |      19 |   671380 |   478582 |    25925     39 |      602 |      370
1293.81/1294.28	c 1294s |      19 |   671916 |   479082 |    25925     40 |      602 |      370
1296.01/1296.48	c 1296s |      19 |   672554 |   479682 |    25925     40 |      602 |      370
1298.31/1298.79	c 1298s |      19 |   673193 |   480282 |    25925     40 |      602 |      370
1300.41/1300.80	c 1300s |      19 |   673844 |   480882 |    25925     40 |      602 |      370
1302.50/1302.92	c 1302s |      19 |   674468 |   481482 |    25925     40 |      602 |      370
1304.60/1305.00	c 1304s |      19 |   674992 |   481982 |    25925     40 |      602 |      370
1306.80/1307.24	c 1306s |      19 |   675742 |   482682 |    25925     40 |      602 |      370
1308.90/1309.38	c 1309s |      19 |   676378 |   483282 |    25925     40 |      602 |      370
1311.20/1311.68	c 1311s |      19 |   676997 |   483882 |    25925     40 |      602 |      370
1313.49/1313.95	c 1313s |      19 |   677660 |   484482 |    25925     40 |      602 |      370
1315.59/1316.06	c 1315s |      19 |   678186 |   484982 |    25925     40 |      602 |      370
1317.89/1318.30	c 1318s |      19 |   678820 |   485582 |    25925     40 |      602 |      370
1319.99/1320.47	c 1320s |      19 |   679458 |   486182 |    25925     40 |      602 |      370
1322.09/1322.50	c 1322s |      19 |   679993 |   486682 |    25925     40 |      602 |      370
1324.18/1324.62	c 1324s |      19 |   680518 |   487182 |    25925     40 |      602 |      370
1326.38/1326.84	c 1326s |      19 |   681055 |   487682 |    25925     40 |      602 |      370
1328.68/1329.19	c 1328s |      19 |   681700 |   488282 |    25925     40 |      602 |      370
1330.88/1331.37	c 1331s |      19 |   682226 |   488782 |    25925     40 |      602 |      370
1332.89/1333.38	c 1333s |      19 |   682634 |   489182 |    25925     40 |      602 |      370
1335.09/1335.52	c 1335s |      19 |   683160 |   489682 |    25925     40 |      602 |      370
1337.38/1337.81	c 1337s |      19 |   683690 |   490182 |    25925     40 |      602 |      370
1339.49/1339.95	c 1339s |      19 |   684216 |   490682 |    25925     40 |      602 |      370
1341.69/1342.13	c 1341s |      19 |   685270 |   491182 |    25925     40 |      602 |      370
1343.78/1344.27	c 1344s |      19 |   687640 |   492482 |    25925     40 |      602 |      370
1345.87/1346.34	c 1346s |      19 |   688799 |   493382 |    25925     40 |      602 |      370
1347.97/1348.47	c 1348s |      19 |   689492 |   493982 |    25925     41 |      602 |      370
1350.07/1350.57	c 1350s |      19 |   690664 |   494982 |    25925     41 |      602 |      370
1352.18/1352.60	c 1352s |      19 |   691572 |   495782 |    25925     41 |      602 |      370
1354.37/1354.87	c 1354s |      19 |   692434 |   496582 |    25925     41 |      602 |      370
1356.47/1356.93	c 1356s |      19 |   693206 |   497282 |    25925     41 |      602 |      370
1358.67/1359.11	c 1358s |      19 |   694365 |   498282 |    25925     41 |      602 |      370
1360.67/1361.14	c 1360s |      19 |   696199 |   499082 |    25925     41 |      602 |      370
1362.76/1363.28	c 1363s |      19 |   700916 |   500782 |    25925     41 |      602 |      370
1364.86/1365.33	c 1365s |      19 |   703344 |   501882 |    25925     41 |      602 |      370
1366.97/1367.47	c 1367s |      19 |   704544 |   502782 |    25925     41 |      602 |      370
1369.17/1369.63	c 1369s |      19 |   705865 |   503682 |    25925     41 |      602 |      370
1371.16/1371.70	c 1371s |      19 |   707427 |   504582 |    25925     41 |      602 |      370
1373.35/1373.84	c 1373s |      19 |   708592 |   505482 |    25925     41 |      602 |      370
1375.55/1376.06	c 1375s |      19 |   709554 |   506282 |    25925     41 |      602 |      370
1377.65/1378.10	c 1377s |      19 |   710352 |   506982 |    25925     41 |      602 |      370
1379.85/1380.36	c 1380s |      19 |   711492 |   507782 |    25925     41 |      602 |      370
1381.95/1382.45	c 1382s |      19 |   712297 |   508382 |    25925     42 |      602 |      370
1384.05/1384.54	c 1384s |      19 |   715166 |   509482 |    25925     42 |      602 |      370
1386.15/1386.68	c 1386s |      19 |   717257 |   510682 |    25925     42 |      602 |      370
1388.25/1388.79	c 1388s |      19 |   718529 |   511782 |    25925     42 |      602 |      370
1390.45/1390.95	c 1390s |      19 |   721858 |   513182 |    25925     42 |      602 |      370
1392.65/1393.10	c 1392s |      19 |   724126 |   514582 |    25925     42 |      602 |      370
1394.65/1395.17	c 1394s |      19 |   725285 |   515582 |    25925     42 |      602 |      370
1396.75/1397.26	c 1397s |      19 |   726283 |   516482 |    25925     42 |      602 |      370
1398.86/1399.34	c 1399s |      19 |   727255 |   517382 |    25925     42 |      602 |      370
1400.85/1401.39	c 1401s |      19 |   728146 |   518182 |    25925     42 |      602 |      370
1403.16/1403.65	c 1403s |      19 |   728880 |   518882 |    25925     42 |      602 |      370
1405.25/1405.77	c 1405s |      19 |   729529 |   519482 |    25925     42 |      602 |      370
1407.35/1407.88	c 1407s |      19 |   730259 |   520182 |    25925     42 |      602 |      370
1409.44/1409.91	c 1409s |      19 |   731158 |   520982 |    25925     42 |      602 |      370
1411.54/1412.01	c 1411s |      19 |   732006 |   521782 |    25925     42 |      602 |      370
1413.84/1414.33	c 1414s |      19 |   732863 |   522582 |    25925     42 |      602 |      370
1415.84/1416.37	c 1416s |      19 |   733806 |   523382 |    25925     43 |      602 |      370
1418.05/1418.58	c 1418s |      19 |   735092 |   524482 |    25925     43 |      602 |      370
1420.25/1420.70	c 1420s |      19 |   736612 |   525582 |    25925     43 |      602 |      370
1422.35/1422.87	c 1422s |      19 |   737801 |   526682 |    25925     43 |      602 |      370
1424.45/1424.91	c 1424s |      19 |   738743 |   527582 |    25925     43 |      602 |      370
1426.55/1427.03	c 1426s |      19 |   746435 |   529182 |    25925     43 |      602 |      370
1428.56/1429.07	c 1428s |      19 |   751266 |   530882 |    25925     43 |      602 |      370
1430.66/1431.11	c 1430s |      19 |   754334 |   532882 |    25925     43 |      602 |      370
1432.65/1433.14	c 1432s |      19 |   757373 |   534682 |    25925     43 |      602 |      370
1434.75/1435.20	c 1434s |      19 |   762975 |   536682 |    25925     43 |      602 |      370
1436.75/1437.28	c 1437s |      19 |   767102 |   538182 |    25925     44 |      602 |      370
1438.95/1439.41	c 1439s |      19 |   769457 |   539782 |    25925     44 |      602 |      370
1441.05/1441.54	c 1441s |      19 |   772430 |   541482 |    25925     44 |      602 |      370
1443.25/1443.72	c 1443s |      19 |   776176 |   543082 |    25925     44 |      602 |      370
1445.35/1445.84	c 1445s |      19 |   777661 |   544182 |    25925     44 |      602 |      370
1447.45/1447.91	c 1447s |      19 |   778481 |   544882 |    25925     44 |      602 |      370
1449.46/1449.99	c 1449s |      19 |   781385 |   546182 |    25925     44 |      602 |      370
1451.56/1452.04	c 1451s |      19 |   782732 |   547182 |    25925     44 |      602 |      370
1453.76/1454.26	c 1454s |      19 |   784433 |   548382 |    25925     44 |      602 |      370
1455.96/1456.45	c 1456s |      19 |   785285 |   549082 |    25925     44 |      602 |      370
1457.95/1458.49	c 1458s |      19 |   786567 |   549982 |    25925     44 |      602 |      370
1460.15/1460.61	c 1460s |      19 |   789027 |   551282 |    25925     44 |      602 |      370
1462.14/1462.67	c 1462s |      19 |   790019 |   552082 |    25925     45 |      602 |      370
1464.24/1464.72	c 1464s |      19 |   791134 |   552982 |    25925     45 |      602 |      370
1466.44/1466.90	c 1466s |      19 |   792385 |   553982 |    25925     45 |      602 |      370
1468.44/1468.97	c 1468s |      19 |   793344 |   554782 |    25925     45 |      602 |      370
1470.44/1470.99	c 1470s |      19 |   794146 |   555482 |    25925     45 |      602 |      370
1472.74/1473.22	c 1472s |      19 |   795443 |   556482 |    25925     45 |      602 |      370
1474.84/1475.39	c 1475s |      19 |   796541 |   557382 |    25925     45 |      602 |      370
1477.04/1477.52	c 1477s |      19 |   797485 |   558182 |    25925     45 |      602 |      370
1479.24/1479.79	c 1479s |      19 |   798335 |   558882 |    25925     45 |      602 |      370
1481.54/1482.08	c 1481s |      19 |   799039 |   559482 |    25925     45 |      602 |      370
1483.64/1484.20	c 1483s |      19 |   799848 |   560182 |    25925     45 |      602 |      370
1485.84/1486.30	c 1486s |      19 |   800660 |   560882 |    25925     45 |      602 |      370
1487.85/1488.33	c 1488s |      19 |   801366 |   561482 |    25925     45 |      602 |      370
1490.05/1490.60	c 1490s |      19 |   802046 |   562082 |    25925     45 |      602 |      370
1492.35/1492.81	c 1492s |      19 |   802627 |   562582 |    25925     45 |      602 |      370
1494.64/1495.10	c 1494s |      19 |   803307 |   563182 |    25925     45 |      602 |      370
1496.65/1497.19	c 1496s |      19 |   804025 |   563782 |    25925     45 |      602 |      370
1498.85/1499.33	c 1499s |      19 |   804614 |   564282 |    25925     45 |      602 |      370
1500.84/1501.37	c 1501s |      19 |   805514 |   564982 |    25925     45 |      602 |      370
1503.14/1503.65	c 1503s |      19 |   806351 |   565682 |    25925     45 |      602 |      370
1505.14/1505.69	c 1505s |      19 |   807031 |   566282 |    25925     45 |      602 |      370
1507.44/1507.97	c 1507s |      19 |   807769 |   566882 |    25925     46 |      602 |      370
1509.54/1510.05	c 1509s |      19 |   808566 |   567582 |    25925     46 |      602 |      370
1511.84/1512.32	c 1512s |      19 |   809356 |   568282 |    25925     46 |      602 |      370
1514.13/1514.62	c 1514s |      19 |   810124 |   568982 |    25925     46 |      602 |      370
1516.13/1516.68	c 1516s |      19 |   810808 |   569582 |    25925     46 |      602 |      370
1518.33/1518.80	c 1518s |      19 |   811493 |   570182 |    25925     46 |      602 |      370
1520.43/1520.98	c 1520s |      19 |   812065 |   570682 |    25925     46 |      602 |      370
1522.63/1523.18	c 1522s |      19 |   812730 |   571282 |    25925     46 |      602 |      370
1524.93/1525.43	c 1525s |      19 |   813392 |   571882 |    25925     46 |      602 |      370
1527.33/1527.81	c 1527s |      19 |   814044 |   572482 |    25925     46 |      602 |      370
1529.53/1530.07	c 1529s |      19 |   814736 |   573082 |    25925     46 |      602 |      370
1531.84/1532.32	c 1532s |      19 |   815293 |   573582 |    25925     46 |      602 |      370
1533.93/1534.49	c 1534s |      19 |   815841 |   574082 |    25925     46 |      602 |      370
1536.13/1536.70	c 1536s |      19 |   816537 |   574682 |    25925     46 |      602 |      370
1538.23/1538.72	c 1538s |      19 |   817087 |   575182 |    25925     46 |      602 |      370
1540.53/1541.10	c 1540s |      19 |   817733 |   575782 |    25925     46 |      602 |      370
1542.94/1543.43	c 1543s |      19 |   818403 |   576382 |    25925     46 |      602 |      370
1544.93/1545.50	c 1545s |      19 |   818938 |   576882 |    25925     46 |      602 |      370
1547.03/1547.56	c 1547s |      19 |   819479 |   577382 |    25925     46 |      602 |      370
1549.44/1549.94	c 1549s |      19 |   820211 |   577982 |    25925     46 |      602 |      370
1551.74/1552.21	c 1551s |      19 |   820929 |   578582 |    25925     46 |      602 |      370
1554.03/1554.56	c 1554s |      19 |   821653 |   579182 |    25925     46 |      602 |      370
1556.14/1556.68	c 1556s |      19 |   822247 |   579682 |    25925     46 |      602 |      370
1558.43/1558.96	c 1558s |      19 |   822966 |   580282 |    25925     46 |      602 |      370
1560.82/1561.31	c 1561s |      19 |   823665 |   580882 |    25925     46 |      602 |      370
1563.12/1563.66	c 1563s |      19 |   824259 |   581382 |    25925     47 |      602 |      370
1565.22/1565.75	c 1565s |      19 |   825280 |   582182 |    25925     47 |      602 |      370
1567.22/1567.76	c 1567s |      19 |   826224 |   582982 |    25925     47 |      602 |      370
1569.42/1569.96	c 1569s |      19 |   827276 |   583882 |    25925     47 |      602 |      370
1571.43/1572.00	c 1571s |      19 |   828138 |   584582 |    25925     47 |      602 |      370
1573.52/1574.10	c 1573s |      19 |   828929 |   585282 |    25925     47 |      602 |      370
1575.62/1576.12	c 1575s |      19 |   829609 |   585882 |    25925     47 |      602 |      370
1577.62/1578.18	c 1577s |      19 |   830330 |   586482 |    25925     47 |      602 |      370
1579.72/1580.28	c 1580s |      19 |   832227 |   587582 |    25925     47 |      602 |      370
1581.82/1582.35	c 1582s |      19 |   833377 |   588482 |    25925     47 |      602 |      370
1584.02/1584.54	c 1584s |      19 |   835329 |   589582 |    25925     47 |      602 |      370
1586.12/1586.60	c 1586s |      19 |   836300 |   590382 |    25925     47 |      602 |      370
1588.22/1588.75	c 1588s |      19 |   837241 |   591182 |    25925     47 |      602 |      370
1590.42/1590.91	c 1590s |      19 |   838153 |   591982 |    25925     47 |      602 |      370
1592.43/1592.97	c 1592s |      19 |   838953 |   592682 |    25925     47 |      602 |      370
1594.42/1595.00	c 1594s |      19 |   839738 |   593382 |    25925     47 |      602 |      370
1596.52/1597.04	c 1596s |      19 |   840388 |   593982 |    25925     47 |      602 |      370
1598.72/1599.28	c 1599s |      19 |   841205 |   594682 |    25925     47 |      602 |      370
1601.42/1601.94	c 1601s |      19 |   841865 |   595282 |    25925     48 |      602 |      370
1603.62/1604.12	c 1603s |      19 |   842783 |   596082 |    25925     48 |      602 |      370
1605.82/1606.30	c 1606s |      19 |   843904 |   596982 |    25925     48 |      602 |      370
1608.02/1608.59	c 1608s |      19 |   844987 |   597882 |    25925     48 |      602 |      370
1610.21/1610.78	c 1610s |      19 |   845771 |   598582 |    25925     48 |      602 |      370
1612.31/1612.83	c 1612s |      19 |   846556 |   599282 |    25925     48 |      602 |      370
1614.43/1614.94	c 1614s |      19 |   847795 |   599982 |    25925     48 |      602 |      370
1616.53/1617.02	c 1616s |      19 |   851034 |   601282 |    25925     48 |      602 |      370
1618.52/1619.02	c 1618s |      19 |   852522 |   602282 |    25925     48 |      602 |      370
1620.62/1621.17	c 1620s |      19 |   854175 |   603382 |    25925     48 |      602 |      370
1622.82/1623.34	c 1623s |      19 |   855338 |   604282 |    25925     48 |      602 |      370
1625.02/1625.52	c 1625s |      19 |   856741 |   605282 |    25925     48 |      602 |      370
1627.12/1627.62	c 1627s |      19 |   857683 |   606082 |    25925     48 |      602 |      370
1629.12/1629.65	c 1629s |      19 |   858501 |   606782 |    25925     48 |      602 |      370
1631.12/1631.67	c 1631s |      19 |   859144 |   607382 |    25925     48 |      602 |      370
1633.42/1633.92	c 1633s |      19 |   860218 |   608182 |    25925     48 |      602 |      370
1635.42/1635.99	c 1635s |      19 |   861032 |   608882 |    25925     48 |      602 |      370
1637.82/1638.32	c 1638s |      19 |   861821 |   609582 |    25925     48 |      602 |      370
1639.92/1640.41	c 1640s |      19 |   862389 |   610082 |    25925     49 |      602 |      370
1641.93/1642.46	c 1642s |      19 |   863186 |   610782 |    25925     49 |      602 |      370
1644.03/1644.51	c 1644s |      19 |   864300 |   611582 |    25925     49 |      602 |      370
1646.23/1646.80	c 1646s |      19 |   865446 |   612482 |    25925     49 |      602 |      370
1648.32/1648.90	c 1648s |      19 |   866329 |   613182 |    25925     49 |      602 |      370
1650.52/1651.09	c 1650s |      19 |   867490 |   614082 |    25925     49 |      602 |      370
1652.72/1653.27	c 1653s |      19 |   868451 |   614882 |    25925     49 |      602 |      370
1655.03/1655.59	c 1655s |      19 |   869543 |   615782 |    25925     49 |      602 |      370
1657.12/1657.60	c 1657s |      19 |   870375 |   616482 |    25925     49 |      602 |      370
1659.11/1659.62	c 1659s |      19 |   871049 |   617082 |    25925     49 |      602 |      370
1661.11/1661.65	c 1661s |      19 |   871760 |   617682 |    25925     49 |      602 |      370
1663.41/1663.91	c 1663s |      19 |   872711 |   618482 |    25925     49 |      602 |      370
1665.51/1666.05	c 1665s |      19 |   873411 |   619082 |    25925     49 |      602 |      370
1667.51/1668.06	c 1667s |      19 |   874091 |   619682 |    25925     49 |      602 |      370
1669.81/1670.33	c 1670s |      19 |   874880 |   620382 |    25925     49 |      602 |      370
1671.81/1672.34	c 1672s |      19 |   875587 |   620982 |    25925     49 |      602 |      370
1674.01/1674.59	c 1674s |      19 |   876263 |   621582 |    25925     49 |      602 |      370
1676.21/1676.74	c 1676s |      19 |   876937 |   622182 |    25925     49 |      602 |      370
1678.61/1679.16	c 1678s |      19 |   877595 |   622782 |    25925     49 |      602 |      370
1681.01/1681.53	c 1681s |      19 |   878291 |   623382 |    25925     49 |      602 |      370
1683.41/1683.91	c 1683s |      19 |   878950 |   623982 |    25925     49 |      602 |      370
1685.71/1686.29	c 1686s |      19 |   879511 |   624482 |    25925     50 |      602 |      370
1688.02/1688.58	c 1688s |      19 |   880402 |   625282 |    25925     50 |      602 |      370
1690.22/1690.79	c 1690s |      19 |   881356 |   626082 |    25925     50 |      602 |      370
1692.21/1692.80	c 1692s |      19 |   882196 |   626782 |    25925     50 |      602 |      370
1694.31/1694.88	c 1694s |      19 |   883012 |   627482 |    25925     50 |      602 |      370
1696.51/1697.02	c 1696s |      19 |   883817 |   628182 |    25925     50 |      602 |      370
1698.51/1699.08	c 1698s |      19 |   884495 |   628782 |    25925     50 |      602 |      370
1700.51/1701.09	c 1700s |      19 |   885165 |   629382 |    25925     50 |      602 |      370
1702.80/1703.31	c 1703s |      19 |   885834 |   629982 |    25925     50 |      602 |      370
1705.10/1705.60	c 1705s |      19 |   886478 |   630582 |    25925     50 |      602 |      370
1707.10/1707.65	c 1707s |      19 |   887004 |   631082 |    25925     50 |      602 |      370
1709.30/1709.89	c 1709s |      19 |   887548 |   631582 |    25925     50 |      602 |      370
1711.50/1712.02	c 1711s |      19 |   888252 |   632182 |    25925     50 |      602 |      370
1713.60/1714.15	c 1713s |      19 |   888905 |   632782 |    25925     50 |      602 |      370
1715.90/1716.43	c 1716s |      19 |   889553 |   633382 |    25925     50 |      602 |      370
1718.10/1718.69	c 1718s |      19 |   890248 |   633982 |    25925     50 |      602 |      370
1720.20/1720.72	c 1720s |      19 |   890788 |   634482 |    25925     50 |      602 |      370
1722.30/1722.88	c 1722s |      19 |   891315 |   634982 |    25925     50 |      602 |      370
1724.31/1724.89	c 1724s |      19 |   891859 |   635482 |    25925     50 |      602 |      370
1726.40/1726.98	c 1726s |      19 |   892397 |   635982 |    25925     50 |      602 |      370
1728.71/1729.28	c 1729s |      19 |   893071 |   636582 |    25925     50 |      602 |      370
1731.01/1731.54	c 1731s |      19 |   893727 |   637182 |    25925     50 |      602 |      370
1733.40/1733.97	c 1733s |      19 |   894396 |   637782 |    25925     50 |      602 |      370
1735.80/1736.32	c 1736s |      19 |   894938 |   638282 |    25925     50 |      602 |      370
1738.10/1738.66	c 1738s |      19 |   895482 |   638782 |    25925     50 |      602 |      370
1740.10/1740.69	c 1740s |      19 |   895801 |   639082 |    25925     51 |      602 |      370
1742.40/1742.95	c 1742s |      19 |   896452 |   639682 |    25925     51 |      602 |      370
1744.50/1745.02	c 1744s |      19 |   897327 |   640382 |    25925     51 |      602 |      370
1746.80/1747.32	c 1747s |      19 |   898104 |   641082 |    25925     51 |      602 |      370
1749.00/1749.55	c 1749s |      19 |   898881 |   641782 |    25925     51 |      602 |      370
1751.10/1751.63	c 1751s |      19 |   899556 |   642382 |    25925     51 |      602 |      370
1753.20/1753.79	c 1753s |      19 |   900380 |   643082 |    25925     51 |      602 |      370
1755.40/1755.91	c 1755s |      19 |   901065 |   643682 |    25925     51 |      602 |      370
1757.40/1757.97	c 1757s |      19 |   901710 |   644282 |    25925     51 |      602 |      370
1759.50/1760.10	c 1759s |      19 |   902373 |   644882 |    25925     51 |      602 |      370
1761.70/1762.30	c 1762s |      19 |   903062 |   645482 |    25925     51 |      602 |      370
1763.79/1764.31	c 1764s |      19 |   903821 |   646082 |    25925     51 |      602 |      370
1765.79/1766.36	c 1766s |      19 |   904373 |   646582 |    25925     51 |      602 |      370
1767.99/1768.55	c 1768s |      19 |   905082 |   647182 |    25925     51 |      602 |      370
1770.29/1770.85	c 1770s |      19 |   905750 |   647782 |    25925     51 |      602 |      370
1772.49/1773.08	c 1772s |      19 |   906311 |   648282 |    25925     51 |      602 |      370
1774.79/1775.35	c 1775s |      19 |   906977 |   648882 |    25925     51 |      602 |      370
1776.89/1777.48	c 1777s |      19 |   907532 |   649382 |    25925     51 |      602 |      370
1779.09/1779.63	c 1779s |      19 |   908080 |   649882 |    25925     51 |      602 |      370
1781.10/1781.66	c 1781s |      19 |   908634 |   650382 |    25925     51 |      602 |      370
1783.50/1784.00	c 1783s |      19 |   909321 |   650982 |    25925     51 |      602 |      370
1785.80/1786.37	c 1786s |      19 |   909885 |   651482 |    25925     51 |      602 |      370
1788.00/1788.53	c 1788s |      19 |   910338 |   651882 |    25925     51 |      602 |      370
1790.20/1790.70	c 1790s |      19 |   910766 |   652282 |    25925     51 |      602 |      370
1792.40/1792.96	c 1792s |      19 |   911201 |   652682 |    25925     51 |      602 |      370
1794.60/1795.16	c 1794s |      19 |   912028 |   653382 |    25925     51 |      602 |      370
1796.69/1797.26	c 1797s |      19 |   912594 |   653882 |    25925     52 |      602 |      370
1798.79/1799.38	c 1799s |      19 |   913510 |   654682 |    25925     52 |      602 |      370

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

pid=2624
running on 8 cores: 0-3,8-11

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.20 2.10 2.08 3/261 2627
/proc/meminfo: memFree=30852480/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=990788 CPUtime=0 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 3741 0 0 0 0 0 0 0 20 0 4 0 28574119 1014566912 4613 33554432000 4194304 16246674 140733198548816 140733198548240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 248209 4623 442 2943 0 245103 0
[pid=2627/tid=2628] ppid=2624 vsize=1044036 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1069092864 4823 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1049156 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1074335744 4843 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1053252 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1078530048 4859 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.20 2.10 2.08 3/261 2627
/proc/meminfo: memFree=30852480/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1220164 CPUtime=0.08 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 28275 0 0 0 5 3 0 0 20 0 4 0 28574119 1249447936 29084 33554432000 4194304 16246674 140733198548816 140733198548128 4206649 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 305041 29084 802 2943 0 301935 0
[pid=2627/tid=2628] ppid=2624 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1249447936 29084 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1249447936 29084 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1249447936 29084 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200517 s]
/proc/loadavg: 2.20 2.10 2.08 3/261 2627
/proc/meminfo: memFree=30852480/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1301060 CPUtime=0.18 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 48482 0 0 0 12 6 0 0 20 0 4 0 28574119 1332285440 49291 33554432000 4194304 16246674 140733198548816 140733198548128 6165259 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 325265 49291 843 2943 0 322159 0
[pid=2627/tid=2628] ppid=2624 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1332285440 49291 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1332285440 49291 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1332285440 49291 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.300465 s]
/proc/loadavg: 2.20 2.10 2.08 3/261 2627
/proc/meminfo: memFree=30852480/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 50483 0 0 0 22 7 0 0 20 0 4 0 28574119 1332285440 51292 33554432000 4194304 16246674 140733198548816 140733198548128 12875570 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 325265 51298 883 2943 0 322159 0
[pid=2627/tid=2628] ppid=2624 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1332285440 51301 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1332285440 51305 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1332285440 51309 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700392 s]
/proc/loadavg: 2.20 2.10 2.08 3/261 2627
/proc/meminfo: memFree=30852480/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1301060 CPUtime=0.68 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 98719 0 0 0 54 14 0 0 20 0 4 0 28574119 1332285440 99528 33554432000 4194304 16246674 140733198548816 140733198530688 13954518 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 325265 99536 883 2943 0 322159 0
[pid=2627/tid=2628] ppid=2624 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1332285440 99538 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1332285440 99542 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1332285440 99544 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.18 2.10 2.08 3/265 2631
/proc/meminfo: memFree=30266504/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1301060 CPUtime=1.49 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 196939 0 0 0 122 27 0 0 20 0 4 0 28574119 1332285440 197748 33554432000 4194304 16246674 140733198548816 140733198530688 5675357 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 325265 197753 883 2943 0 322159 0
[pid=2627/tid=2628] ppid=2624 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1332285440 197756 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1332285440 197759 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1332285440 197762 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.18 2.10 2.08 3/265 2631
/proc/meminfo: memFree=29773976/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1312324 CPUtime=3.08 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 269158 0 0 0 272 36 0 0 20 0 4 0 28574119 1343819776 269967 33554432000 4194304 16246674 140733198548816 140733198530688 6836324 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 328081 269967 889 2943 0 324975 0
[pid=2627/tid=2628] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 269967 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 269967 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 269967 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1312324

[startup+6.30035 s]
/proc/loadavg: 2.18 2.10 2.08 3/265 2631
/proc/meminfo: memFree=29771816/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1312324 CPUtime=6.28 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 269267 0 0 0 592 36 0 0 20 0 4 0 28574119 1343819776 270076 33554432000 4194304 16246674 140733198548816 140733198530688 5823258 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 328081 270076 890 2943 0 324975 0
[pid=2627/tid=2628] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 270076 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 270076 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 270076 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.23 2.11 2.09 3/265 2631
/proc/meminfo: memFree=29771624/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1312324 CPUtime=12.68 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 269268 0 0 0 1232 36 0 0 20 0 4 0 28574119 1343819776 270077 33554432000 4194304 16246674 140733198548816 140733198530688 5827690 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 328081 270077 890 2943 0 324975 0
[pid=2627/tid=2628] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 270077 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 270077 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 270077 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.19 2.11 2.08 3/265 2631
/proc/meminfo: memFree=29772176/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1312324 CPUtime=25.49 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 269271 0 0 0 2512 37 0 0 20 0 4 0 28574119 1343819776 270080 33554432000 4194304 16246674 140733198548816 140733198547992 5600232 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 328081 270080 893 2943 0 324975 0
[pid=2627/tid=2628] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 270080 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 270080 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 270080 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.20 2.11 2.09 3/265 2631
/proc/meminfo: memFree=29772504/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1312324 CPUtime=51.08 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 269271 0 0 0 5071 37 0 0 20 0 4 0 28574119 1343819776 270080 33554432000 4194304 16246674 140733198548816 140733198530688 5600232 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 328081 270080 893 2943 0 324975 0
[pid=2627/tid=2628] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 270080 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 270080 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1343819776 270080 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.16 2.12 2.09 3/265 2632
/proc/meminfo: memFree=29764160/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1320516 CPUtime=102.28 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 271151 0 0 0 10191 37 0 0 20 0 4 0 28574119 1352208384 271960 33554432000 4194304 16246674 140733198548816 140733198530688 13191988 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 330129 271960 893 2943 0 327023 0
[pid=2627/tid=2628] ppid=2624 vsize=1320516 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1352208384 271960 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1320516 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1352208384 271960 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1320516 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1352208384 271960 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1370034176 276483 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1337924

[startup+1302.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/265 2712
/proc/meminfo: memFree=29736980/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1337924 CPUtime=1301.91 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 275916 0 0 0 130145 46 0 0 20 0 4 0 28574119 1370034176 276483 33554432000 4194304 16246674 140733198548816 140733198530688 5675777 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 334481 276483 893 2943 0 331375 0
[pid=2627/tid=2628] ppid=2624 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1370034176 276483 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1370034176 276483 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1370034176 276483 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1337924

[startup+1362.3 s]
/proc/loadavg: 2.26 2.14 2.10 3/265 2713
/proc/meminfo: memFree=29736844/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1348164 CPUtime=1361.86 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 278485 0 0 0 136139 47 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140733198530688 13809250 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 337041 279005 893 2943 0 333935 0
[pid=2627/tid=2628] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1348164

[startup+1422.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/265 2714
/proc/meminfo: memFree=29726580/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1348164 CPUtime=1421.86 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 278503 0 0 0 142138 48 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140733198530688 5523460 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 337041 279005 893 2943 0 333935 0
[pid=2627/tid=2628] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1348164

[startup+1482.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/266 2718
/proc/meminfo: memFree=29724396/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1348164 CPUtime=1481.84 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 278503 0 0 0 148136 48 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140733198530688 5673048 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 337041 279005 893 2943 0 333935 0
[pid=2627/tid=2628] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1348164

[startup+1542.31 s]
/proc/loadavg: 2.07 2.10 2.09 3/266 2743
/proc/meminfo: memFree=29724868/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1348164 CPUtime=1541.84 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 278503 0 0 0 154136 48 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140733198530688 5712604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 337041 279005 893 2943 0 333935 0
[pid=2627/tid=2628] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1348164

[startup+1602.3 s]
/proc/loadavg: 2.15 2.11 2.09 3/265 2744
/proc/meminfo: memFree=29724528/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1348164 CPUtime=1601.82 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 278503 0 0 0 160134 48 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140733198530688 5822484 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 337041 279005 893 2943 0 333935 0
[pid=2627/tid=2628] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1348164

[startup+1662.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/265 2745
/proc/meminfo: memFree=29724400/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1348164 CPUtime=1661.81 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 278503 0 0 0 166132 49 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140733198530688 5822604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 337041 279005 893 2943 0 333935 0
[pid=2627/tid=2628] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1348164

[startup+1722.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/265 2746
/proc/meminfo: memFree=29724312/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1348164 CPUtime=1721.8 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 278503 0 0 0 172131 49 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140733198547992 5546233 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 337041 279005 893 2943 0 333935 0
[pid=2627/tid=2628] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1348164

[startup+1782.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/264 2747
/proc/meminfo: memFree=29725200/32872528 swapFree=7556/7556
[pid=2627] ppid=2624 vsize=1348164 CPUtime=1781.8 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 278503 0 0 0 178130 50 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140733198530688 5600808 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 337041 279005 893 2943 0 333935 0
[pid=2627/tid=2628] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1348164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.10 2.10 2.09 3/265 2748
/proc/meminfo: memFree=29724668/32872528 swapFree=7552/7552
[pid=2627] ppid=2624 vsize=1348164 CPUtime=1800.09 cores=0-3,8-11
/proc/2627/stat : 2627 (toysat) R 2624 2627 32495 0 -1 4202496 278503 0 0 0 179959 50 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140733198530688 5822252 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2627/statm: 337041 279005 893 2943 0 333935 0
[pid=2627/tid=2628] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2628/stat : 2628 (toysat) S 2624 2627 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058847849712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2627/tid=2629] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2629/stat : 2629 (toysat) S 2624 2627 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058837359856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2627/tid=2630] ppid=2624 vsize=1348164 CPUtime=0 cores=0-3,8-11
/proc/2627/task/2630/stat : 2630 (toysat) S 2624 2627 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28574119 1380519936 279005 33554432000 4194304 16246674 140733198548816 140058749299888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1348164

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.6
CPU system time (s): 0.500923
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 1348164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.500923
maximum resident set size= 1116020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278503
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= 325
involuntary context switches= 1952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.547 second user time and 10.2744 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 17:35:59
IDJOB=4116965
IDBENCH=109536
IDSOLVER=2542
FILE ID=node132/4116965-1466955359
RUNJOBID= node132-1466939688-32511
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116965-1466955359/watcher-4116965-1466955359 -o /tmp/evaluation-result-4116965-1466955359/solver-4116965-1466955359 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466939688-32511 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116965-1466955359.opb

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

MD5SUM BENCH= 1b4cd03c5d4bd115b9b4d1837edbfb7f
RANDOM SEED=597570045

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30852860 kB
Buffers:           28388 kB
Cached:           178180 kB
SwapCached:         1784 kB
Active:          1161088 kB
Inactive:         144652 kB
Active(anon):    1100224 kB
Inactive(anon):     1700 kB
Active(file):      60864 kB
Inactive(file):   142952 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             17008 kB
Writeback:             0 kB
AnonPages:       1207728 kB
Mapped:            10960 kB
Shmem:                 0 kB
Slab:             570344 kB
SReclaimable:      10928 kB
SUnreclaim:       559416 kB
KernelStack:        2256 kB
PageTables:         6824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1247104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1193984 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= 71496 MiB
End job on node132 at 2016-06-26 18:06:00