Trace number 4116253

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-size112-round22-5.opb
MD5SUM969f655ceffdb0b5352b9f558494ef5a
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8688
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)400
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-26T19:15:11+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-4116253-1466961311.opb"]
0.00/0.01	c use --random-gen="3256943103 1837262806 3559440290 2276302301 3829383054 3858422596 2438932783 854435098 2599263616 3344336428 1141886313 4050912779 2079418664 1595307482 246964184 217410452 2374267168 1500562412 1721410221 1117894700 94562875 3884107036 1774914997 1742291047 4201852306 3520285084 1482139018 1943687343 887463195 2704440318 2528152959 1487355393 691292493 2774011202 1576619660 1569271119 1133029611 1202037229 4016535557 1561115884 3845974692 805665496 1073461277 2279628522 1520247337 1835009363 1889318290 182801719 1047653031 168998803 389343884 2341907179 4164348633 3978290124 3698987068 1060773925 3792433093 1290364015 2962287991 3863174619 1590289276 3882905088 2664648545 2165320988 2575855428 342755495 3608601551 2066954875 1439560883 1815173325 1463518939 4028208771 2332301028 2213054387 1254232624 4201841390 4110854845 3447459359 1086947845 1503094650 3941167765 1411335340 4265162085 603935863 434647663 4058840177 1854033864 2295930310 3310836795 3393481290 3394504725 4209347963 1913619256 2283281041 24369476 3663900593 662110728 495466919 1266390785 3816397490 2319439566 2582225744 3403402939 3396912668 2616899323 2911600629 96631087 3714854941 587314730 515482068 2390242859 3658626377 174743938 1260500423 987860540 2324553389 70195732 524560536 818067351 2889011523 3613779833 3184124899 143850192 2893675808 3809101646 3063064518 1429386478 2462895628 3360761380 2878198453 79748467 3187557121 3829960586 16686193 2180715744 2347685247 1048103589 1023017042 2493933353 1064879697 536041357 24641899 2650362349 1523119346 2719083568 730865473 3588251813 4223136356 21457647 2619304664 2951470356 1282444678 1582065040 3059384957 1753610505 2842125252 2802602446 135726333 3691509328 169400430 1759274229 1171496737 2321817201 1777485394 102967506 2547537834 3581290168 2958666590 2902262147 3088122218 3142713767 959004324 254444912 3472508452 4219860417 1899221991 3198775433 3160001224 909103832 1346266262 1141136612 2863259684 2220418009 3900335236 3096471631 2523931783 2494398471 4222138868 3994287172 2649928877 647096557 4073367547 1205269052 1442936944 1042509008 2333773139 1574213387 1899922059 302826005 2394223005 912469913 3254086012 779185732 2637525724 3622111441 3084164978 481208193 470694099 3351218189 2743291261 1091650054 143067208 1674495476 781397042 3856759584 336845933 1877164703 4219574987 505297231 1136504558 2924397666 3708379917 3432814789 2417536255 3835422824 1511053200 550090498 1297381618 2638809390 2135980737 2426203251 3026005994 1317277611 1882792657 3972299712 627746435 1835497465 4088312604 331494300 4244361512 447023819 3950485103 3347562015 4268224688 1447033242 1484001927 822328352 3278857129 3819511347 1773030166 4187033928 1392898513 1611095343 2348259250 1887813621 1662119930 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8688
0.49/0.58	c Solving starts ...
0.49/0.58	c ============================[ Search Statistics ]============================
0.49/0.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.58	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.58	c =============================================================================
0.49/0.58	c  0.0s |       0 |        0 |        0 |     4234      0 |      703 |        0
0.49/0.58	c  0.0s |       1 |      522 |      100 |     4234      0 |      703 |      522
0.49/0.58	c  0.2s |       2 |     3104 |      250 |     4658      0 |      703 |      522
0.49/0.58	c  0.3s |       3 |     4622 |      475 |     5124      0 |      703 |      522
0.68/0.79	c  0.5s |       4 |     6917 |      813 |     5637      0 |      703 |      522
1.09/1.17	c  0.9s |       5 |     8356 |     1320 |     6201      0 |      703 |      522
1.78/1.85	c  1.6s |       6 |    11629 |     2081 |     7505      0 |      703 |      522
2.59/2.68	c  2.4s |       7 |    17861 |     3223 |     8256      0 |      704 |      522
4.69/4.77	c  4.5s |       7 |    22080 |     4923 |     9082      0 |      704 |      522
4.79/4.80	c  4.5s |       8 |    22097 |     4936 |     9082      0 |      704 |      522
6.89/6.90	c  6.6s |       8 |    27629 |     7336 |     9082      0 |      704 |      522
7.09/7.12	c  6.9s |       9 |    27854 |     7506 |     9991      0 |      704 |      522
9.19/9.23	c  9.0s |       9 |    31908 |     9306 |     9991      0 |      704 |      522
11.19/11.29	c 11.0s |       9 |    35152 |    11106 |     9991      0 |      704 |      522
11.59/11.64	c 11.4s |      10 |    35421 |    11361 |    10991      0 |      704 |      522
13.69/13.73	c 13.5s |      10 |    42603 |    13161 |    10991      0 |      704 |      522
15.69/15.78	c 15.5s |      10 |    45278 |    14561 |    10991      1 |      704 |      522
17.69/17.78	c 17.5s |      10 |    46493 |    15661 |    10991      1 |      704 |      522
19.78/19.86	c 19.6s |      10 |    47548 |    16661 |    10991      1 |      704 |      522
20.88/20.90	c 20.6s |      11 |    48081 |    17144 |    12091      1 |      704 |      522
22.98/23.08	c 22.8s |      11 |    52011 |    18944 |    12091      1 |      704 |      522
25.08/25.17	c 24.9s |      11 |    54007 |    20444 |    12091      1 |      704 |      522
27.18/27.27	c 27.0s |      11 |    56364 |    21944 |    12091      2 |      704 |      522
29.28/29.36	c 29.1s |      11 |    61635 |    23944 |    12091      2 |      704 |      522
31.38/31.41	c 31.2s |      11 |    63553 |    25244 |    12091      2 |      704 |      522
32.48/32.50	c 32.2s |      12 |    64278 |    25819 |    13301      2 |      704 |      522
34.48/34.51	c 34.3s |      12 |    69958 |    27319 |    13301      2 |      704 |      522
36.58/36.61	c 36.4s |      12 |    71866 |    28619 |    13301      2 |      704 |      522
38.59/38.61	c 38.4s |      12 |    73004 |    29519 |    13301      2 |      704 |      522
40.68/40.77	c 40.5s |      12 |    73923 |    30319 |    13301      2 |      704 |      522
42.88/42.91	c 42.6s |      12 |    74770 |    31019 |    13301      3 |      704 |      522
45.08/45.10	c 44.8s |      12 |    76048 |    32119 |    13301      3 |      704 |      522
47.08/47.11	c 46.9s |      12 |    77201 |    33119 |    13301      3 |      704 |      522
49.28/49.34	c 49.1s |      12 |    78207 |    34019 |    13301      3 |      704 |      522
51.48/51.52	c 51.3s |      12 |    79524 |    34919 |    13301      3 |      704 |      522
53.68/53.72	c 53.5s |      12 |    80103 |    35419 |    13301      3 |      704 |      522
55.88/55.98	c 55.7s |      12 |    81137 |    36219 |    13301      3 |      704 |      522
58.18/58.26	c 58.0s |      12 |    82137 |    37019 |    13301      3 |      704 |      522
60.18/60.28	c 60.0s |      12 |    82776 |    37519 |    13301      3 |      704 |      522
62.48/62.50	c 62.2s |      12 |    83510 |    38119 |    13301      3 |      704 |      522
64.08/64.16	c 63.9s |      13 |    85618 |    38832 |    14632      3 |      704 |      522
66.18/66.24	c 66.0s |      13 |    88887 |    40332 |    14632      4 |      704 |      522
68.18/68.28	c 68.0s |      13 |    90881 |    41832 |    14632      4 |      704 |      522
70.28/70.30	c 70.0s |      13 |    92553 |    43132 |    14632      4 |      704 |      522
72.28/72.34	c 72.1s |      13 |    94028 |    44332 |    14632      4 |      704 |      522
74.37/74.43	c 74.2s |      13 |    95159 |    45332 |    14632      4 |      704 |      522
76.37/76.47	c 76.2s |      13 |    99512 |    47032 |    14632      4 |      704 |      522
78.57/78.62	c 78.4s |      13 |   101022 |    48232 |    14632      4 |      704 |      522
80.67/80.72	c 80.5s |      13 |   102447 |    49332 |    14632      5 |      704 |      522
82.77/82.86	c 82.6s |      13 |   104005 |    50532 |    14632      5 |      704 |      522
84.88/84.96	c 84.7s |      13 |   105507 |    51732 |    14632      5 |      704 |      522
87.08/87.14	c 86.9s |      13 |   106681 |    52732 |    14632      5 |      704 |      522
89.18/89.20	c 88.9s |      13 |   107698 |    53632 |    14632      5 |      704 |      522
91.17/91.28	c 91.0s |      13 |   108980 |    54632 |    14632      5 |      704 |      522
93.27/93.35	c 93.1s |      13 |   109998 |    55532 |    14632      5 |      704 |      522
95.57/95.66	c 95.4s |      13 |   111040 |    56432 |    14632      5 |      704 |      522
97.77/97.82	c 97.6s |      13 |   111961 |    57232 |    14632      5 |      704 |      522
99.87/99.94	c 99.7s |      13 |   112752 |    57932 |    14632      6 |      704 |      522
100.97/101.01	c  100s |      14 |   113215 |    58352 |    16096      6 |      704 |      522
102.98/103.02	c  102s |      14 |   116953 |    60152 |    16096      6 |      704 |      522
105.08/105.17	c  104s |      14 |   118793 |    61752 |    16096      6 |      704 |      522
107.28/107.35	c  107s |      14 |   120351 |    63152 |    16096      6 |      704 |      522
109.38/109.43	c  109s |      14 |   121553 |    64252 |    16096      6 |      704 |      522
111.38/111.48	c  111s |      14 |   122882 |    65452 |    16096      6 |      704 |      522
113.48/113.54	c  113s |      14 |   124004 |    66452 |    16096      6 |      704 |      522
115.58/115.64	c  115s |      14 |   125029 |    67352 |    16096      6 |      704 |      522
117.67/117.77	c  117s |      14 |   125923 |    68152 |    16096      7 |      704 |      522
119.67/119.77	c  119s |      14 |   126798 |    68952 |    16096      7 |      704 |      522
121.87/121.92	c  121s |      14 |   127766 |    69852 |    16096      7 |      704 |      522
123.97/124.01	c  123s |      14 |   128879 |    70852 |    16096      7 |      704 |      522
126.07/126.19	c  125s |      14 |   129875 |    71752 |    16096      7 |      704 |      522
128.17/128.28	c  128s |      14 |   130745 |    72552 |    16096      7 |      704 |      522
130.37/130.46	c  130s |      14 |   131597 |    73352 |    16096      7 |      704 |      522
132.57/132.64	c  132s |      14 |   132461 |    74152 |    16096      7 |      704 |      522
134.87/134.93	c  134s |      14 |   133385 |    74952 |    16096      7 |      704 |      522
137.07/137.18	c  136s |      14 |   134170 |    75652 |    16096      7 |      704 |      522
139.37/139.45	c  139s |      14 |   134966 |    76352 |    16096      7 |      704 |      522
141.57/141.65	c  141s |      14 |   135598 |    76952 |    16096      7 |      704 |      522
143.77/143.88	c  143s |      14 |   136239 |    77552 |    16096      7 |      704 |      522
145.87/145.96	c  145s |      14 |   136894 |    78152 |    16096      8 |      704 |      522
148.07/148.18	c  147s |      14 |   137651 |    78852 |    16096      8 |      704 |      522
150.37/150.47	c  150s |      14 |   138508 |    79652 |    16096      8 |      704 |      522
152.57/152.67	c  152s |      14 |   139290 |    80352 |    16096      8 |      704 |      522
154.67/154.73	c  154s |      14 |   139964 |    80952 |    16096      8 |      704 |      522
156.77/156.88	c  156s |      14 |   140732 |    81652 |    16096      8 |      704 |      522
158.87/158.90	c  158s |      14 |   141362 |    82252 |    16096      8 |      704 |      522
161.06/161.19	c  160s |      14 |   142090 |    82952 |    16096      8 |      704 |      522
163.16/163.22	c  162s |      14 |   142846 |    83652 |    16096      8 |      704 |      522
165.46/165.55	c  165s |      14 |   143585 |    84352 |    16096      8 |      704 |      522
167.66/167.73	c  167s |      14 |   144364 |    85052 |    16096      8 |      704 |      522
169.66/169.74	c  169s |      14 |   146190 |    86252 |    16096      8 |      704 |      522
171.77/171.81	c  171s |      14 |   147463 |    87452 |    17706      8 |      704 |      522
172.06/172.15	c  171s |      15 |   147662 |    87632 |    17706      8 |      704 |      522
174.16/174.21	c  173s |      15 |   151625 |    88532 |    17706      9 |      704 |      522
176.26/176.32	c  176s |      15 |   155350 |    90032 |    17706      9 |      704 |      522
178.37/178.46	c  178s |      15 |   156687 |    91232 |    17706      9 |      704 |      522
180.36/180.49	c  180s |      15 |   158125 |    92432 |    17706      9 |      704 |      522
182.56/182.66	c  182s |      15 |   159500 |    93632 |    17706      9 |      704 |      522
184.76/184.82	c  184s |      15 |   160759 |    94732 |    17706      9 |      704 |      522
186.76/186.87	c  186s |      15 |   161729 |    95632 |    17706      9 |      704 |      522
188.96/189.00	c  188s |      15 |   162691 |    96532 |    17706      9 |      704 |      522
191.16/191.20	c  190s |      15 |   163693 |    97432 |    17706      9 |      704 |      522
193.26/193.37	c  193s |      15 |   164568 |    98232 |    17706      9 |      704 |      522
195.46/195.50	c  195s |      15 |   165386 |    98932 |    17706     10 |      704 |      522
197.46/197.53	c  197s |      15 |   166444 |    99832 |    17706     10 |      704 |      522
199.66/199.79	c  199s |      15 |   167508 |   100732 |    17706     10 |      704 |      522
201.86/201.96	c  201s |      15 |   168659 |   101732 |    17706     10 |      704 |      522
203.96/204.01	c  203s |      15 |   169573 |   102532 |    17706     10 |      704 |      522
205.96/206.09	c  205s |      15 |   170807 |   103532 |    17706     10 |      704 |      522
208.16/208.28	c  208s |      15 |   171722 |   104332 |    17706     10 |      704 |      522
210.26/210.36	c  210s |      15 |   172643 |   105132 |    17706     10 |      704 |      522
212.46/212.59	c  212s |      15 |   173553 |   105932 |    17706     10 |      704 |      522
214.46/214.60	c  214s |      15 |   174375 |   106632 |    17706     10 |      704 |      522
216.56/216.67	c  216s |      15 |   175167 |   107332 |    17706     10 |      704 |      522
218.85/218.91	c  218s |      15 |   175941 |   108032 |    17706     10 |      704 |      522
220.95/221.00	c  220s |      15 |   176631 |   108632 |    17706     10 |      704 |      522
223.25/223.39	c  223s |      15 |   177301 |   109232 |    17706     11 |      704 |      522
225.45/225.59	c  225s |      15 |   178357 |   110132 |    17706     11 |      704 |      522
227.55/227.60	c  227s |      15 |   179318 |   110932 |    17706     11 |      704 |      522
229.55/229.63	c  229s |      15 |   180267 |   111732 |    17706     11 |      704 |      522
231.55/231.67	c  231s |      15 |   181225 |   112532 |    17706     11 |      704 |      522
233.75/233.84	c  233s |      15 |   182155 |   113332 |    17706     11 |      704 |      522
235.95/236.01	c  235s |      15 |   184217 |   114232 |    17706     11 |      704 |      522
238.05/238.13	c  237s |      15 |   186272 |   115332 |    17706     11 |      704 |      522
240.15/240.25	c  239s |      15 |   187527 |   116332 |    17706     11 |      704 |      522
242.35/242.43	c  242s |      15 |   188604 |   117232 |    17706     11 |      704 |      522
244.45/244.55	c  244s |      15 |   189528 |   118032 |    17706     11 |      704 |      522
246.65/246.71	c  246s |      15 |   190411 |   118832 |    17706     11 |      704 |      522
248.76/248.81	c  248s |      15 |   191169 |   119532 |    17706     11 |      704 |      522
250.85/250.91	c  250s |      15 |   192011 |   120232 |    17706     12 |      704 |      522
253.05/253.10	c  252s |      15 |   192935 |   121032 |    17706     12 |      704 |      522
255.05/255.15	c  254s |      15 |   193905 |   121832 |    17706     12 |      704 |      522
257.15/257.27	c  257s |      15 |   194829 |   122632 |    17706     12 |      704 |      522
259.45/259.56	c  259s |      15 |   195737 |   123432 |    17706     12 |      704 |      522
261.55/261.63	c  261s |      15 |   196559 |   124132 |    17706     12 |      704 |      522
263.64/263.71	c  263s |      15 |   197359 |   124832 |    17706     12 |      704 |      522
265.84/265.98	c  265s |      15 |   198015 |   125432 |    17706     12 |      704 |      522
268.14/268.24	c  267s |      15 |   199342 |   126332 |    17706     12 |      704 |      522
270.24/270.32	c  270s |      15 |   200411 |   127132 |    17706     12 |      704 |      522
272.44/272.50	c  272s |      15 |   201213 |   127832 |    17706     12 |      704 |      522
274.64/274.72	c  274s |      15 |   202010 |   128532 |    17706     12 |      704 |      522
276.74/276.81	c  276s |      15 |   202668 |   129132 |    17706     12 |      704 |      522
279.14/279.21	c  278s |      15 |   203318 |   129732 |    17706     12 |      704 |      522
281.44/281.56	c  281s |      15 |   203855 |   130232 |    17706     13 |      704 |      522
283.54/283.60	c  283s |      15 |   204612 |   130932 |    19477     13 |      704 |      522
285.44/285.53	c  285s |      16 |   205323 |   131552 |    19477     13 |      704 |      522
287.54/287.61	c  287s |      16 |   214432 |   133552 |    19477     13 |      704 |      522
289.54/289.68	c  289s |      16 |   218724 |   135152 |    19477     13 |      704 |      522
291.65/291.76	c  291s |      16 |   220410 |   136352 |    19477     13 |      704 |      522
293.64/293.79	c  293s |      16 |   227865 |   138152 |    19477     13 |      704 |      522
295.74/295.88	c  295s |      16 |   236538 |   140552 |    19477     13 |      704 |      522
297.84/297.98	c  297s |      16 |   239643 |   142252 |    19477     13 |      704 |      522
299.94/300.07	c  299s |      16 |   240947 |   143152 |    19477     14 |      704 |      522
302.04/302.15	c  301s |      16 |   242452 |   144352 |    19477     14 |      704 |      522
304.24/304.34	c  304s |      16 |   243684 |   145352 |    19477     14 |      704 |      522
306.34/306.42	c  306s |      16 |   244871 |   146352 |    19477     14 |      704 |      522
308.34/308.44	c  308s |      16 |   245901 |   147252 |    19477     14 |      704 |      522
310.44/310.56	c  310s |      16 |   246839 |   148052 |    19477     14 |      704 |      522
312.44/312.58	c  312s |      16 |   247743 |   148852 |    19477     14 |      704 |      522
314.54/314.60	c  314s |      16 |   248655 |   149652 |    19477     14 |      704 |      522
316.74/316.80	c  316s |      16 |   249566 |   150452 |    19477     14 |      704 |      522
318.94/319.01	c  318s |      16 |   250495 |   151252 |    19477     14 |      704 |      522
321.14/321.26	c  321s |      16 |   251390 |   152052 |    19477     14 |      704 |      522
323.14/323.28	c  323s |      16 |   252160 |   152752 |    19477     14 |      704 |      522
325.33/325.49	c  325s |      16 |   252905 |   153452 |    19477     14 |      704 |      522
327.84/327.91	c  327s |      16 |   253559 |   154052 |    19477     15 |      704 |      522
330.04/330.13	c  329s |      16 |   254446 |   154852 |    19477     15 |      704 |      522
332.13/332.24	c  331s |      16 |   255249 |   155552 |    19477     15 |      704 |      522
334.33/334.47	c  334s |      16 |   256069 |   156252 |    19477     15 |      704 |      522
336.64/336.75	c  336s |      16 |   257031 |   157052 |    19477     15 |      704 |      522
338.84/338.96	c  338s |      16 |   257971 |   157852 |    19477     15 |      704 |      522
340.93/341.07	c  340s |      16 |   258758 |   158552 |    19477     15 |      704 |      522
343.03/343.13	c  342s |      16 |   259538 |   159252 |    19477     15 |      704 |      522
345.03/345.17	c  344s |      16 |   260332 |   159952 |    19477     15 |      704 |      522
347.14/347.24	c  346s |      16 |   261100 |   160652 |    19477     15 |      704 |      522
349.24/349.38	c  349s |      16 |   261877 |   161352 |    19477     15 |      704 |      522
351.34/351.44	c  351s |      16 |   262537 |   161952 |    19477     15 |      704 |      522
353.44/353.55	c  353s |      16 |   263196 |   162552 |    19477     15 |      704 |      522
355.54/355.61	c  355s |      16 |   263763 |   163052 |    19477     15 |      704 |      522
357.65/357.76	c  357s |      16 |   265261 |   163852 |    19477     15 |      704 |      522
359.75/359.84	c  359s |      16 |   266281 |   164652 |    19477     15 |      704 |      522
361.95/362.05	c  361s |      16 |   267255 |   165452 |    19477     16 |      704 |      522
364.04/364.13	c  363s |      16 |   268388 |   166452 |    19477     16 |      704 |      522
366.14/366.23	c  365s |      16 |   269613 |   167452 |    19477     16 |      704 |      522
368.24/368.31	c  368s |      16 |   273429 |   168952 |    19477     16 |      704 |      522
370.33/370.45	c  370s |      16 |   276312 |   170452 |    19477     16 |      704 |      522
372.53/372.64	c  372s |      16 |   278428 |   171652 |    19477     16 |      704 |      522
374.53/374.65	c  374s |      16 |   279794 |   172652 |    19477     16 |      704 |      522
376.63/376.77	c  376s |      16 |   281199 |   173652 |    19477     16 |      704 |      522
378.83/378.96	c  378s |      16 |   282390 |   174552 |    19477     16 |      704 |      522
381.13/381.20	c  380s |      16 |   283392 |   175352 |    19477     16 |      704 |      522
383.33/383.42	c  383s |      16 |   284264 |   176052 |    19477     16 |      704 |      522
385.53/385.64	c  385s |      16 |   285184 |   176752 |    19477     17 |      704 |      522
387.73/387.89	c  387s |      16 |   286334 |   177752 |    19477     17 |      704 |      522
389.83/389.93	c  389s |      16 |   287427 |   178652 |    19477     17 |      704 |      522
392.13/392.26	c  391s |      16 |   288347 |   179452 |    19477     17 |      704 |      522
394.23/394.30	c  394s |      16 |   289226 |   180152 |    19477     17 |      704 |      522
396.43/396.54	c  396s |      16 |   290199 |   180952 |    19477     17 |      704 |      522
398.53/398.67	c  398s |      16 |   291020 |   181652 |    19477     17 |      704 |      522
400.83/400.92	c  400s |      16 |   291862 |   182352 |    19477     17 |      704 |      522
402.83/402.94	c  402s |      16 |   292551 |   182952 |    19477     17 |      704 |      522
404.93/405.02	c  404s |      16 |   293354 |   183652 |    19477     17 |      704 |      522
407.13/407.25	c  406s |      16 |   294030 |   184252 |    19477     17 |      704 |      522
409.42/409.57	c  409s |      16 |   295010 |   185052 |    19477     17 |      704 |      522
411.53/411.69	c  411s |      16 |   295846 |   185752 |    19477     17 |      704 |      522
413.73/413.85	c  413s |      16 |   296682 |   186452 |    19477     17 |      704 |      522
416.02/416.18	c  415s |      16 |   297483 |   187152 |    19477     17 |      704 |      522
418.32/418.43	c  418s |      16 |   298330 |   187852 |    19477     17 |      704 |      522
420.52/420.65	c  420s |      16 |   298996 |   188452 |    19477     18 |      704 |      522
422.72/422.80	c  422s |      16 |   299800 |   189152 |    19477     18 |      704 |      522
424.73/424.81	c  424s |      16 |   300460 |   189752 |    19477     18 |      704 |      522
426.83/426.96	c  426s |      16 |   301263 |   190452 |    19477     18 |      704 |      522
428.82/428.99	c  428s |      16 |   301944 |   191052 |    19477     18 |      704 |      522
430.92/431.06	c  430s |      16 |   302621 |   191652 |    19477     18 |      704 |      522
433.23/433.30	c  433s |      16 |   303287 |   192252 |    19477     18 |      704 |      522
435.53/435.63	c  435s |      16 |   303950 |   192852 |    19477     18 |      704 |      522
437.73/437.81	c  437s |      16 |   304641 |   193452 |    19477     18 |      704 |      522
440.03/440.14	c  439s |      16 |   305327 |   194052 |    19477     18 |      704 |      522
442.23/442.36	c  442s |      16 |   305976 |   194652 |    19477     18 |      704 |      522
444.23/444.36	c  444s |      16 |   306541 |   195152 |    19477     18 |      704 |      522
446.53/446.67	c  446s |      16 |   307215 |   195752 |    19477     18 |      704 |      522
448.93/449.09	c  448s |      16 |   307870 |   196352 |    21425     18 |      704 |      522
451.13/451.29	c  451s |      16 |   308423 |   196852 |    21425     18 |      704 |      522
453.23/453.36	c  453s |      16 |   308962 |   197352 |    21425     18 |      704 |      522
453.52/453.67	c  453s |      17 |   309043 |   197432 |    21425     18 |      704 |      522
455.62/455.73	c  455s |      17 |   313185 |   198932 |    21425     18 |      704 |      522
457.73/457.88	c  457s |      17 |   315237 |   200532 |    21425     18 |      704 |      522
459.83/459.94	c  459s |      17 |   316674 |   201632 |    21425     19 |      704 |      522
461.92/462.03	c  461s |      17 |   317961 |   202732 |    21425     19 |      704 |      522
463.92/464.03	c  463s |      17 |   319403 |   203932 |    21425     19 |      704 |      522
466.12/466.21	c  465s |      17 |   320745 |   205032 |    21425     19 |      704 |      522
468.12/468.29	c  468s |      17 |   321987 |   206032 |    21425     19 |      704 |      522
470.32/470.43	c  470s |      17 |   323156 |   207032 |    21425     19 |      704 |      522
472.32/472.46	c  472s |      17 |   324073 |   207832 |    21425     19 |      704 |      522
474.52/474.65	c  474s |      17 |   324977 |   208632 |    21425     19 |      704 |      522
476.52/476.69	c  476s |      17 |   326647 |   209732 |    21425     19 |      704 |      522
478.63/478.72	c  478s |      17 |   327724 |   210632 |    21425     19 |      704 |      522
480.82/480.91	c  480s |      17 |   328833 |   211532 |    21425     19 |      704 |      522
483.02/483.11	c  482s |      17 |   329911 |   212432 |    21425     19 |      704 |      522
485.02/485.11	c  484s |      17 |   331231 |   213332 |    21425     20 |      704 |      522
487.12/487.20	c  486s |      17 |   332768 |   214532 |    21425     20 |      704 |      522
489.12/489.26	c  489s |      17 |   334010 |   215532 |    21425     20 |      704 |      522
491.32/491.46	c  491s |      17 |   335202 |   216532 |    21425     20 |      704 |      522
493.52/493.67	c  493s |      17 |   336567 |   217532 |    21425     20 |      704 |      522
495.61/495.70	c  495s |      17 |   337673 |   218432 |    21425     20 |      704 |      522
497.71/497.87	c  497s |      17 |   338816 |   219332 |    21425     20 |      704 |      522
499.71/499.87	c  499s |      17 |   345674 |   220932 |    21425     20 |      704 |      522
501.81/501.95	c  501s |      17 |   347255 |   222232 |    21425     20 |      704 |      522
503.92/504.04	c  503s |      17 |   348808 |   223432 |    21425     20 |      704 |      522
506.02/506.13	c  505s |      17 |   350459 |   224632 |    21425     20 |      704 |      522
508.51/508.66	c  508s |      17 |   351679 |   225632 |    21425     21 |      704 |      522
510.52/510.68	c  510s |      17 |   353035 |   226732 |    21425     21 |      704 |      522
512.62/512.75	c  512s |      17 |   354678 |   227932 |    21425     21 |      704 |      522
514.71/514.85	c  514s |      17 |   355978 |   228932 |    21425     21 |      704 |      522
516.71/516.87	c  516s |      17 |   357234 |   229932 |    21425     21 |      704 |      522
518.91/519.04	c  518s |      17 |   358467 |   230932 |    21425     21 |      704 |      522
521.01/521.16	c  520s |      17 |   359658 |   231932 |    21425     21 |      704 |      522
523.21/523.31	c  523s |      17 |   360749 |   232832 |    21425     21 |      704 |      522
525.21/525.32	c  525s |      17 |   361843 |   233732 |    21425     21 |      704 |      522
527.41/527.54	c  527s |      17 |   362853 |   234632 |    21425     21 |      704 |      522
529.51/529.64	c  529s |      17 |   363976 |   235532 |    21425     21 |      704 |      522
531.61/531.79	c  531s |      17 |   364931 |   236332 |    21425     21 |      704 |      522
533.71/533.85	c  533s |      17 |   365803 |   237032 |    21425     21 |      704 |      522
535.81/535.96	c  535s |      17 |   366626 |   237732 |    21425     21 |      704 |      522
537.81/537.96	c  537s |      17 |   367330 |   238332 |    21425     22 |      704 |      522
539.91/540.09	c  539s |      17 |   368427 |   239232 |    21425     22 |      704 |      522
542.21/542.33	c  542s |      17 |   369544 |   240132 |    21425     22 |      704 |      522
544.31/544.43	c  544s |      17 |   370665 |   241032 |    21425     22 |      704 |      522
546.40/546.52	c  546s |      17 |   371544 |   241832 |    21425     22 |      704 |      522
548.50/548.69	c  548s |      17 |   372481 |   242632 |    21425     22 |      704 |      522
550.80/550.92	c  550s |      17 |   373382 |   243432 |    21425     22 |      704 |      522
553.00/553.11	c  552s |      17 |   374390 |   244232 |    21425     22 |      704 |      522
555.00/555.12	c  554s |      17 |   375247 |   244932 |    21425     22 |      704 |      522
557.10/557.26	c  557s |      17 |   376083 |   245632 |    21425     22 |      704 |      522
559.30/559.42	c  559s |      17 |   376946 |   246332 |    21425     22 |      704 |      522
561.50/561.62	c  561s |      17 |   377799 |   247032 |    21425     22 |      704 |      522
563.60/563.77	c  563s |      17 |   378661 |   247732 |    21425     22 |      704 |      522
565.70/565.81	c  565s |      17 |   379327 |   248332 |    21425     22 |      704 |      522
567.71/567.86	c  567s |      17 |   380002 |   248932 |    21425     22 |      704 |      522
569.91/570.05	c  569s |      17 |   380912 |   249632 |    21425     22 |      704 |      522
572.01/572.20	c  571s |      17 |   381588 |   250232 |    21425     22 |      704 |      522
574.21/574.32	c  574s |      17 |   382150 |   250732 |    21425     23 |      704 |      522
576.20/576.39	c  576s |      17 |   383122 |   251532 |    21425     23 |      704 |      522
578.50/578.64	c  578s |      17 |   384274 |   252432 |    21425     23 |      704 |      522
580.50/580.67	c  580s |      17 |   385228 |   253232 |    21425     23 |      704 |      522
582.70/582.84	c  582s |      17 |   386191 |   254032 |    21425     23 |      704 |      522
584.90/585.01	c  584s |      17 |   387162 |   254832 |    21425     23 |      704 |      522
587.10/587.29	c  587s |      17 |   388133 |   255632 |    21425     23 |      704 |      522
589.30/589.49	c  589s |      17 |   388968 |   256332 |    21425     23 |      704 |      522
591.50/591.62	c  591s |      17 |   389785 |   257032 |    21425     23 |      704 |      522
593.60/593.76	c  593s |      17 |   390564 |   257732 |    21425     23 |      704 |      522
595.80/595.95	c  595s |      17 |   391327 |   258432 |    21425     23 |      704 |      522
597.90/598.03	c  597s |      17 |   392006 |   259032 |    21425     23 |      704 |      522
600.10/600.25	c  599s |      17 |   392849 |   259732 |    21425     23 |      704 |      522
602.30/602.48	c  602s |      17 |   393658 |   260432 |    21425     23 |      704 |      522
604.50/604.64	c  604s |      17 |   394340 |   261032 |    21425     23 |      704 |      522
606.49/606.67	c  606s |      17 |   395018 |   261632 |    21425     23 |      704 |      522
608.79/608.94	c  608s |      17 |   395711 |   262232 |    21425     23 |      704 |      522
611.09/611.23	c  610s |      17 |   396310 |   262732 |    21425     24 |      704 |      522
613.09/613.28	c  613s |      17 |   397251 |   263532 |    21425     24 |      704 |      522
615.19/615.36	c  615s |      17 |   398231 |   264332 |    21425     24 |      704 |      522
617.49/617.62	c  617s |      17 |   399286 |   265232 |    21425     24 |      704 |      522
619.59/619.72	c  619s |      17 |   400241 |   266032 |    21425     24 |      704 |      522
621.79/621.94	c  621s |      17 |   401142 |   266832 |    21425     24 |      704 |      522
623.89/624.05	c  623s |      17 |   401979 |   267532 |    21425     24 |      704 |      522
626.00/626.15	c  625s |      17 |   402793 |   268232 |    21425     24 |      704 |      522
627.99/628.17	c  627s |      17 |   403611 |   268932 |    21425     24 |      704 |      522
630.09/630.28	c  630s |      17 |   404447 |   269632 |    21425     24 |      704 |      522
632.29/632.45	c  632s |      17 |   405256 |   270332 |    21425     24 |      704 |      522
634.49/634.66	c  634s |      17 |   406039 |   271032 |    21425     24 |      704 |      522
636.79/636.90	c  636s |      17 |   406880 |   271732 |    21425     24 |      704 |      522
638.99/639.15	c  638s |      17 |   407720 |   272432 |    21425     24 |      704 |      522
641.09/641.22	c  640s |      17 |   408376 |   273032 |    21425     24 |      704 |      522
643.19/643.36	c  643s |      17 |   409030 |   273632 |    21425     24 |      704 |      522
645.49/645.60	c  645s |      17 |   409718 |   274232 |    21425     24 |      704 |      522
647.69/647.82	c  647s |      17 |   410410 |   274832 |    21425     24 |      704 |      522
649.79/649.99	c  649s |      17 |   411092 |   275432 |    21425     25 |      704 |      522
651.88/652.03	c  651s |      17 |   411976 |   276232 |    21425     25 |      704 |      522
654.08/654.28	c  654s |      17 |   412854 |   277032 |    21425     25 |      704 |      522
656.28/656.42	c  656s |      17 |   413770 |   277832 |    21425     25 |      704 |      522
658.38/658.58	c  658s |      17 |   414691 |   278632 |    21425     25 |      704 |      522
660.48/660.65	c  660s |      17 |   415509 |   279332 |    21425     25 |      704 |      522
662.68/662.87	c  662s |      17 |   416436 |   280132 |    21425     25 |      704 |      522
664.69/664.87	c  664s |      17 |   417133 |   280732 |    21425     25 |      704 |      522
666.79/666.97	c  666s |      17 |   417924 |   281432 |    21425     25 |      704 |      522
669.09/669.28	c  669s |      17 |   418709 |   282132 |    21425     25 |      704 |      522
671.19/671.35	c  671s |      17 |   419353 |   282732 |    21425     25 |      704 |      522
673.49/673.68	c  673s |      17 |   420102 |   283432 |    21425     25 |      704 |      522
675.59/675.73	c  675s |      17 |   420797 |   284032 |    21425     25 |      704 |      522
677.79/677.90	c  677s |      17 |   421641 |   284732 |    21425     25 |      704 |      522
679.79/679.92	c  679s |      17 |   422329 |   285332 |    21425     25 |      704 |      522
681.99/682.16	c  681s |      17 |   422983 |   285932 |    21425     25 |      704 |      522
684.09/684.22	c  683s |      17 |   423741 |   286532 |    21425     25 |      704 |      522
686.19/686.37	c  686s |      17 |   424495 |   287132 |    21425     25 |      704 |      522
688.49/688.60	c  688s |      17 |   425186 |   287732 |    21425     26 |      704 |      522
690.49/690.64	c  690s |      17 |   426094 |   288532 |    21425     26 |      704 |      522
692.69/692.89	c  692s |      17 |   427151 |   289432 |    21425     26 |      704 |      522
694.98/695.14	c  694s |      17 |   428044 |   290232 |    21425     26 |      704 |      522
696.98/697.17	c  696s |      17 |   428883 |   290932 |    21425     26 |      704 |      522
699.08/699.27	c  699s |      17 |   429638 |   291632 |    21425     26 |      704 |      522
701.28/701.40	c  701s |      17 |   430462 |   292332 |    21425     26 |      704 |      522
703.48/703.60	c  703s |      17 |   431251 |   293032 |    21425     26 |      704 |      522
705.58/705.75	c  705s |      17 |   432048 |   293732 |    21425     26 |      704 |      522
707.88/708.09	c  707s |      17 |   432845 |   294432 |    23568     26 |      704 |      522
710.18/710.37	c  710s |      17 |   433637 |   295132 |    23568     26 |      704 |      522
712.28/712.46	c  712s |      17 |   434306 |   295732 |    23568     26 |      704 |      522
714.08/714.23	c  713s |      18 |   434893 |   296252 |    23568     26 |      704 |      522
716.19/716.38	c  716s |      18 |   440000 |   297552 |    23568     26 |      704 |      522
718.18/718.39	c  718s |      18 |   453204 |   300152 |    23568     26 |      704 |      522
720.28/720.49	c  720s |      18 |   454908 |   301352 |    23568     27 |      704 |      522
722.38/722.55	c  722s |      18 |   456853 |   302752 |    23568     27 |      704 |      522
724.48/724.60	c  724s |      18 |   458292 |   303852 |    23568     27 |      704 |      522
726.48/726.62	c  726s |      18 |   459709 |   304952 |    23568     27 |      704 |      522
728.68/728.86	c  728s |      18 |   461141 |   306052 |    23568     27 |      704 |      522
730.68/730.87	c  730s |      18 |   462258 |   306952 |    23568     27 |      704 |      522
732.78/732.93	c  732s |      18 |   463353 |   307852 |    23568     27 |      704 |      522
734.88/735.09	c  734s |      18 |   464473 |   308752 |    23568     27 |      704 |      522
737.08/737.24	c  736s |      18 |   465531 |   309652 |    23568     27 |      704 |      522
739.28/739.47	c  739s |      18 |   466446 |   310452 |    23568     27 |      704 |      522
741.48/741.65	c  741s |      18 |   467240 |   311152 |    23568     27 |      704 |      522
743.68/743.84	c  743s |      18 |   468433 |   312052 |    23568     27 |      704 |      522
745.78/745.99	c  745s |      18 |   469453 |   312852 |    23568     27 |      704 |      522
747.98/748.14	c  747s |      18 |   470281 |   313552 |    23568     27 |      704 |      522
750.18/750.37	c  750s |      18 |   471103 |   314252 |    23568     27 |      704 |      522
752.38/752.59	c  752s |      18 |   471970 |   314952 |    23568     28 |      704 |      522
754.68/754.84	c  754s |      18 |   472937 |   315752 |    23568     28 |      704 |      522
756.78/756.93	c  756s |      18 |   473740 |   316452 |    23568     28 |      704 |      522
759.08/759.22	c  758s |      18 |   474708 |   317252 |    23568     28 |      704 |      522
761.37/761.52	c  761s |      18 |   475511 |   317952 |    23568     28 |      704 |      522
763.38/763.57	c  763s |      18 |   476183 |   318552 |    23568     28 |      704 |      522
765.77/765.97	c  765s |      18 |   477005 |   319252 |    23568     28 |      704 |      522
768.07/768.22	c  767s |      18 |   478048 |   320052 |    23568     28 |      704 |      522
770.07/770.29	c  770s |      18 |   478927 |   320752 |    23568     28 |      704 |      522
772.27/772.44	c  772s |      18 |   479762 |   321452 |    23568     28 |      704 |      522
774.27/774.49	c  774s |      18 |   480549 |   322052 |    23568     28 |      704 |      522
776.37/776.58	c  776s |      18 |   481997 |   322952 |    23568     28 |      704 |      522
778.57/778.77	c  778s |      18 |   483076 |   323752 |    23568     28 |      704 |      522
780.87/781.03	c  780s |      18 |   484153 |   324552 |    23568     28 |      704 |      522
782.97/783.14	c  782s |      18 |   485069 |   325252 |    23568     28 |      704 |      522
785.27/785.47	c  785s |      18 |   485980 |   325952 |    23568     28 |      704 |      522
787.47/787.68	c  787s |      18 |   487260 |   326852 |    23568     28 |      704 |      522
789.67/789.86	c  789s |      18 |   488534 |   327752 |    23568     28 |      704 |      522
791.66/791.87	c  791s |      18 |   489461 |   328452 |    23568     29 |      704 |      522
793.76/793.94	c  793s |      18 |   490533 |   329352 |    23568     29 |      704 |      522
795.96/796.10	c  795s |      18 |   491488 |   330152 |    23568     29 |      704 |      522
797.96/798.13	c  797s |      18 |   492185 |   330752 |    23568     29 |      704 |      522
799.96/800.19	c  799s |      18 |   493176 |   331552 |    23568     29 |      704 |      522
802.06/802.25	c  801s |      18 |   493957 |   332252 |    23568     29 |      704 |      522
804.26/804.45	c  804s |      18 |   494762 |   332952 |    23568     29 |      704 |      522
806.46/806.62	c  806s |      18 |   495790 |   333752 |    23568     29 |      704 |      522
808.66/808.85	c  808s |      18 |   496788 |   334552 |    23568     29 |      704 |      522
810.77/810.95	c  810s |      18 |   497787 |   335352 |    23568     29 |      704 |      522
812.76/812.95	c  812s |      18 |   498756 |   336052 |    23568     29 |      704 |      522
814.86/815.09	c  814s |      18 |   499612 |   336752 |    23568     29 |      704 |      522
817.16/817.36	c  817s |      18 |   500427 |   337452 |    23568     29 |      704 |      522
819.16/819.38	c  819s |      18 |   501280 |   338152 |    23568     29 |      704 |      522
821.36/821.54	c  821s |      18 |   501967 |   338752 |    23568     29 |      704 |      522
823.36/823.54	c  823s |      18 |   502691 |   339352 |    23568     29 |      704 |      522
825.46/825.66	c  825s |      18 |   503348 |   339952 |    23568     29 |      704 |      522
827.56/827.72	c  827s |      18 |   504061 |   340552 |    23568     29 |      704 |      522
829.76/829.90	c  829s |      18 |   504778 |   341152 |    23568     29 |      704 |      522
831.86/832.03	c  831s |      18 |   505349 |   341652 |    23568     30 |      704 |      522
834.06/834.25	c  833s |      18 |   506019 |   342252 |    23568     30 |      704 |      522
836.15/836.34	c  836s |      18 |   506876 |   342952 |    23568     30 |      704 |      522
838.27/838.43	c  838s |      18 |   507730 |   343652 |    23568     30 |      704 |      522
840.26/840.50	c  840s |      18 |   508540 |   344352 |    23568     30 |      704 |      522
842.36/842.59	c  842s |      18 |   509230 |   344952 |    23568     30 |      704 |      522
844.46/844.61	c  844s |      18 |   509930 |   345552 |    23568     30 |      704 |      522
846.66/846.83	c  846s |      18 |   510713 |   346252 |    23568     30 |      704 |      522
849.06/849.25	c  848s |      18 |   511360 |   346852 |    23568     30 |      704 |      522
851.16/851.37	c  851s |      18 |   512045 |   347452 |    23568     30 |      704 |      522
853.26/853.48	c  853s |      18 |   512724 |   348052 |    23568     30 |      704 |      522
855.56/855.76	c  855s |      18 |   513372 |   348652 |    23568     30 |      704 |      522
857.66/857.81	c  857s |      18 |   513911 |   349152 |    23568     30 |      704 |      522
859.96/860.14	c  859s |      18 |   514562 |   349752 |    23568     30 |      704 |      522
861.95/862.19	c  861s |      18 |   515162 |   350252 |    23568     30 |      704 |      522
864.35/864.51	c  864s |      18 |   515880 |   350852 |    23568     30 |      704 |      522
866.35/866.51	c  866s |      18 |   516459 |   351352 |    23568     30 |      704 |      522
868.55/868.78	c  868s |      18 |   517153 |   351952 |    23568     30 |      704 |      522
870.95/871.11	c  870s |      18 |   517822 |   352552 |    23568     30 |      704 |      522
873.25/873.50	c  873s |      18 |   518508 |   353152 |    23568     30 |      704 |      522
875.55/875.78	c  875s |      18 |   519091 |   353652 |    23568     30 |      704 |      522
877.65/877.82	c  877s |      18 |   519637 |   354152 |    23568     30 |      704 |      522
879.84/880.09	c  879s |      18 |   520104 |   354552 |    23568     31 |      704 |      522
882.25/882.45	c  882s |      18 |   520910 |   355252 |    23568     31 |      704 |      522
884.35/884.55	c  884s |      18 |   521592 |   355852 |    23568     31 |      704 |      522
886.55/886.74	c  886s |      18 |   522371 |   356552 |    23568     31 |      704 |      522
888.54/888.77	c  888s |      18 |   523051 |   357152 |    23568     31 |      704 |      522
890.74/890.98	c  890s |      18 |   523707 |   357752 |    23568     31 |      704 |      522
893.04/893.21	c  892s |      18 |   524380 |   358352 |    23568     31 |      704 |      522
895.04/895.25	c  894s |      18 |   524926 |   358852 |    23568     31 |      704 |      522
897.44/897.61	c  897s |      18 |   525783 |   359552 |    23568     31 |      704 |      522
899.74/899.92	c  899s |      18 |   526436 |   360152 |    23568     31 |      704 |      522
901.73/901.95	c  901s |      18 |   526980 |   360652 |    23568     31 |      704 |      522
904.03/904.25	c  903s |      18 |   527682 |   361252 |    23568     31 |      704 |      522
906.03/906.25	c  905s |      18 |   528230 |   361752 |    23568     31 |      704 |      522
908.13/908.31	c  908s |      18 |   528961 |   362352 |    23568     31 |      704 |      522
910.13/910.36	c  910s |      18 |   529638 |   362952 |    23568     31 |      704 |      522
912.53/912.70	c  912s |      18 |   530510 |   363652 |    23568     31 |      704 |      522
914.73/914.97	c  914s |      18 |   531179 |   364252 |    23568     31 |      704 |      522
916.93/917.12	c  916s |      18 |   531735 |   364752 |    23568     31 |      704 |      522
919.23/919.40	c  919s |      18 |   532409 |   365352 |    23568     31 |      704 |      522
921.42/921.60	c  921s |      18 |   532966 |   365852 |    23568     31 |      704 |      522
923.42/923.69	c  923s |      18 |   533513 |   366352 |    23568     31 |      704 |      522
925.72/925.97	c  925s |      18 |   534056 |   366852 |    23568     31 |      704 |      522
928.02/928.28	c  928s |      18 |   534617 |   367352 |    23568     31 |      704 |      522
930.22/930.43	c  930s |      18 |   535045 |   367752 |    23568     32 |      704 |      522
932.22/932.46	c  932s |      18 |   535727 |   368352 |    23568     32 |      704 |      522
934.42/934.69	c  934s |      18 |   536377 |   368952 |    23568     32 |      704 |      522
936.62/936.87	c  936s |      18 |   537035 |   369552 |    23568     32 |      704 |      522
939.02/939.20	c  938s |      18 |   537700 |   370152 |    23568     32 |      704 |      522
941.02/941.23	c  940s |      18 |   538236 |   370652 |    23568     32 |      704 |      522
943.22/943.41	c  943s |      18 |   538778 |   371152 |    23568     32 |      704 |      522
945.22/945.44	c  945s |      18 |   539329 |   371652 |    23568     32 |      704 |      522
947.42/947.61	c  947s |      18 |   539885 |   372152 |    23568     32 |      704 |      522
949.62/949.87	c  949s |      18 |   540415 |   372652 |    23568     32 |      704 |      522
952.01/952.20	c  951s |      18 |   540946 |   373152 |    23568     32 |      704 |      522
954.31/954.53	c  954s |      18 |   541488 |   373652 |    23568     32 |      704 |      522
956.31/956.55	c  956s |      18 |   542055 |   374152 |    23568     32 |      704 |      522
958.41/958.65	c  958s |      18 |   542610 |   374652 |    23568     32 |      704 |      522
960.51/960.71	c  960s |      18 |   543158 |   375152 |    23568     32 |      704 |      522
962.71/962.92	c  962s |      18 |   543822 |   375752 |    23568     32 |      704 |      522
965.11/965.33	c  965s |      18 |   544500 |   376352 |    23568     32 |      704 |      522
967.51/967.73	c  967s |      18 |   545158 |   376952 |    23568     32 |      704 |      522
970.01/970.20	c  969s |      18 |   545820 |   377552 |    23568     32 |      704 |      522
972.11/972.31	c  972s |      18 |   546383 |   378052 |    23568     32 |      704 |      522
974.20/974.46	c  974s |      18 |   546930 |   378552 |    23568     32 |      704 |      522
976.60/976.85	c  976s |      18 |   547489 |   379052 |    23568     32 |      704 |      522
978.70/978.96	c  978s |      18 |   548047 |   379552 |    23568     32 |      704 |      522
981.11/981.35	c  981s |      18 |   548590 |   380052 |    23568     32 |      704 |      522
983.41/983.65	c  983s |      18 |   549125 |   380552 |    23568     32 |      704 |      522
985.40/985.69	c  985s |      18 |   549561 |   380952 |    23568     33 |      704 |      522
987.50/987.78	c  987s |      18 |   550217 |   381552 |    23568     33 |      704 |      522
989.70/989.91	c  989s |      18 |   550881 |   382152 |    23568     33 |      704 |      522
992.00/992.22	c  991s |      18 |   551552 |   382752 |    23568     33 |      704 |      522
994.00/994.24	c  993s |      18 |   552098 |   383252 |    23568     33 |      704 |      522
996.30/996.58	c  996s |      18 |   552755 |   383852 |    23568     33 |      704 |      522
998.50/998.74	c  998s |      18 |   553301 |   384352 |    23568     33 |      704 |      522
1000.49/1000.79	c 1000s |      18 |   553846 |   384852 |    23568     33 |      704 |      522
1002.59/1002.84	c 1002s |      18 |   554761 |   385552 |    23568     33 |      704 |      522
1004.89/1005.15	c 1004s |      18 |   555636 |   386252 |    23568     33 |      704 |      522
1007.19/1007.44	c 1007s |      18 |   556536 |   386952 |    23568     33 |      704 |      522
1009.49/1009.72	c 1009s |      18 |   557221 |   387552 |    23568     33 |      704 |      522
1011.78/1012.07	c 1011s |      18 |   557792 |   388052 |    23568     33 |      704 |      522
1014.20/1014.43	c 1014s |      18 |   558491 |   388652 |    23568     33 |      704 |      522
1016.30/1016.56	c 1016s |      18 |   559054 |   389152 |    23568     33 |      704 |      522
1018.39/1018.66	c 1018s |      18 |   559618 |   389652 |    23568     33 |      704 |      522
1020.59/1020.81	c 1020s |      18 |   560193 |   390152 |    23568     33 |      704 |      522
1022.89/1023.16	c 1022s |      18 |   560741 |   390652 |    23568     33 |      704 |      522
1025.29/1025.56	c 1025s |      18 |   561274 |   391152 |    23568     33 |      704 |      522
1027.79/1028.02	c 1027s |      18 |   561830 |   391652 |    23568     33 |      704 |      522
1029.98/1030.28	c 1030s |      18 |   562406 |   392152 |    23568     33 |      704 |      522
1032.18/1032.40	c 1032s |      18 |   562970 |   392652 |    23568     33 |      704 |      522
1034.28/1034.54	c 1034s |      18 |   563734 |   393252 |    23568     33 |      704 |      522
1036.48/1036.78	c 1036s |      18 |   564437 |   393852 |    23568     33 |      704 |      522
1038.58/1038.83	c 1038s |      18 |   564889 |   394252 |    23568     34 |      704 |      522
1040.77/1041.00	c 1040s |      18 |   565764 |   395052 |    23568     34 |      704 |      522
1042.78/1043.05	c 1042s |      18 |   566742 |   395852 |    23568     34 |      704 |      522
1044.88/1045.17	c 1044s |      18 |   567699 |   396652 |    23568     34 |      704 |      522
1046.97/1047.26	c 1046s |      18 |   568488 |   397352 |    23568     34 |      704 |      522
1049.17/1049.45	c 1049s |      18 |   569290 |   398052 |    23568     34 |      704 |      522
1051.48/1051.76	c 1051s |      18 |   570105 |   398752 |    23568     34 |      704 |      522
1053.57/1053.88	c 1053s |      18 |   570759 |   399352 |    23568     34 |      704 |      522
1055.77/1056.10	c 1055s |      18 |   571461 |   399952 |    23568     34 |      704 |      522
1058.07/1058.32	c 1058s |      18 |   572129 |   400552 |    23568     34 |      704 |      522
1060.37/1060.66	c 1060s |      18 |   572801 |   401152 |    23568     34 |      704 |      522
1062.47/1062.77	c 1062s |      18 |   573513 |   401752 |    23568     34 |      704 |      522
1064.86/1065.14	c 1064s |      18 |   574191 |   402352 |    23568     34 |      704 |      522
1066.97/1067.25	c 1066s |      18 |   574771 |   402852 |    23568     34 |      704 |      522
1069.36/1069.64	c 1069s |      18 |   575451 |   403452 |    23568     34 |      704 |      522
1071.76/1072.06	c 1071s |      18 |   576132 |   404052 |    23568     34 |      704 |      522
1074.05/1074.35	c 1074s |      18 |   576832 |   404652 |    23568     34 |      704 |      522
1076.35/1076.67	c 1076s |      18 |   577503 |   405252 |    23568     34 |      704 |      522
1078.65/1078.92	c 1078s |      18 |   578056 |   405752 |    23568     34 |      704 |      522
1080.95/1081.23	c 1080s |      18 |   578627 |   406252 |    23568     34 |      704 |      522
1082.95/1083.27	c 1083s |      18 |   579183 |   406752 |    23568     34 |      704 |      522
1085.66/1085.99	c 1085s |      18 |   579900 |   407352 |    23568     35 |      704 |      522
1087.76/1088.09	c 1087s |      18 |   580840 |   408052 |    23568     35 |      704 |      522
1090.05/1090.32	c 1090s |      18 |   581658 |   408752 |    23568     35 |      704 |      522
1092.04/1092.39	c 1092s |      18 |   582340 |   409352 |    23568     35 |      704 |      522
1094.24/1094.54	c 1094s |      18 |   583045 |   409952 |    23568     35 |      704 |      522
1096.44/1096.79	c 1096s |      18 |   583748 |   410552 |    23568     35 |      704 |      522
1098.64/1098.93	c 1098s |      18 |   584406 |   411152 |    23568     35 |      704 |      522
1100.84/1101.18	c 1100s |      18 |   585064 |   411752 |    23568     35 |      704 |      522
1103.04/1103.33	c 1103s |      18 |   585595 |   412252 |    23568     35 |      704 |      522
1105.14/1105.41	c 1105s |      18 |   586307 |   412852 |    23568     35 |      704 |      522
1107.14/1107.48	c 1107s |      18 |   587003 |   413452 |    23568     35 |      704 |      522
1109.14/1109.49	c 1109s |      18 |   587707 |   414052 |    23568     35 |      704 |      522
1111.33/1111.69	c 1111s |      18 |   588387 |   414652 |    23568     35 |      704 |      522
1113.73/1114.03	c 1113s |      18 |   589204 |   415352 |    23568     35 |      704 |      522
1115.83/1116.13	c 1115s |      18 |   589756 |   415852 |    23568     35 |      704 |      522
1118.13/1118.41	c 1118s |      18 |   590441 |   416452 |    23568     35 |      704 |      522
1120.32/1120.68	c 1120s |      18 |   591133 |   417052 |    23568     35 |      704 |      522
1122.42/1122.70	c 1122s |      18 |   591698 |   417552 |    23568     35 |      704 |      522
1124.72/1125.07	c 1124s |      18 |   592366 |   418152 |    23568     35 |      704 |      522
1126.82/1127.14	c 1126s |      18 |   592820 |   418552 |    23568     35 |      704 |      522
1129.12/1129.41	c 1129s |      18 |   593417 |   419052 |    23568     35 |      704 |      522
1131.12/1131.41	c 1131s |      18 |   593997 |   419552 |    23568     35 |      704 |      522
1133.62/1133.95	c 1133s |      18 |   594556 |   420052 |    23568     35 |      704 |      522
1135.92/1136.30	c 1136s |      18 |   594981 |   420452 |    23568     36 |      704 |      522
1138.12/1138.44	c 1138s |      18 |   595765 |   421152 |    23568     36 |      704 |      522
1140.21/1140.54	c 1140s |      18 |   596429 |   421752 |    23568     36 |      704 |      522
1142.51/1142.89	c 1142s |      18 |   597075 |   422352 |    23568     36 |      704 |      522
1144.92/1145.27	c 1145s |      18 |   597770 |   422952 |    23568     36 |      704 |      522
1146.91/1147.27	c 1147s |      18 |   598314 |   423452 |    23568     36 |      704 |      522
1149.21/1149.53	c 1149s |      18 |   598990 |   424052 |    23568     36 |      704 |      522
1151.51/1151.86	c 1151s |      18 |   599660 |   424652 |    23568     36 |      704 |      522
1154.00/1154.35	c 1154s |      18 |   600333 |   425252 |    23568     36 |      704 |      522
1156.10/1156.43	c 1156s |      18 |   600896 |   425752 |    23568     36 |      704 |      522
1158.30/1158.65	c 1158s |      18 |   601439 |   426252 |    23568     36 |      704 |      522
1160.70/1161.06	c 1160s |      18 |   601985 |   426752 |    23568     36 |      704 |      522
1163.00/1163.33	c 1163s |      18 |   602663 |   427352 |    23568     36 |      704 |      522
1165.10/1165.49	c 1165s |      18 |   603221 |   427852 |    23568     36 |      704 |      522
1167.40/1167.75	c 1167s |      18 |   603768 |   428352 |    23568     36 |      704 |      522
1169.49/1169.84	c 1169s |      18 |   604347 |   428852 |    23568     36 |      704 |      522
1171.59/1171.92	c 1171s |      18 |   604779 |   429252 |    23568     36 |      704 |      522
1173.60/1173.94	c 1173s |      18 |   605347 |   429752 |    23568     36 |      704 |      522
1175.89/1176.24	c 1175s |      18 |   605890 |   430252 |    23568     36 |      704 |      522
1178.19/1178.50	c 1178s |      18 |   606472 |   430752 |    23568     36 |      704 |      522
1180.28/1180.60	c 1180s |      18 |   606916 |   431152 |    23568     36 |      704 |      522
1182.48/1182.81	c 1182s |      18 |   607374 |   431552 |    23568     36 |      704 |      522
1184.88/1185.27	c 1185s |      18 |   607916 |   432052 |    23568     36 |      704 |      522
1187.38/1187.77	c 1187s |      18 |   608459 |   432552 |    23568     36 |      704 |      522
1189.78/1190.14	c 1189s |      18 |   608994 |   433052 |    23568     36 |      704 |      522
1192.78/1193.15	c 1192s |      18 |   609535 |   433552 |    23568     37 |      704 |      522
1194.98/1195.33	c 1195s |      18 |   610197 |   434152 |    23568     37 |      704 |      522
1196.98/1197.39	c 1197s |      18 |   610865 |   434752 |    23568     37 |      704 |      522
1199.18/1199.50	c 1199s |      18 |   611402 |   435252 |    23568     37 |      704 |      522
1201.47/1201.87	c 1201s |      18 |   612047 |   435852 |    23568     37 |      704 |      522
1203.77/1204.19	c 1203s |      18 |   612713 |   436452 |    23568     37 |      704 |      522
1206.07/1206.46	c 1206s |      18 |   613245 |   436952 |    23568     37 |      704 |      522
1208.37/1208.79	c 1208s |      18 |   613922 |   437552 |    23568     37 |      704 |      522
1210.76/1211.11	c 1210s |      18 |   614576 |   438152 |    23568     37 |      704 |      522
1212.76/1213.17	c 1212s |      18 |   615142 |   438652 |    23568     37 |      704 |      522
1215.28/1215.61	c 1215s |      18 |   615697 |   439152 |    23568     37 |      704 |      522
1217.48/1217.84	c 1217s |      18 |   616266 |   439652 |    23568     37 |      704 |      522
1219.57/1219.97	c 1219s |      18 |   616823 |   440152 |    23568     37 |      704 |      522
1221.76/1222.18	c 1221s |      18 |   617364 |   440652 |    23568     37 |      704 |      522
1224.07/1224.43	c 1224s |      18 |   617918 |   441152 |    23568     37 |      704 |      522
1226.46/1226.83	c 1226s |      18 |   618467 |   441652 |    25925     37 |      704 |      522
1228.86/1229.26	c 1229s |      18 |   619018 |   442152 |    25925     37 |      704 |      522
1230.95/1231.32	c 1231s |      18 |   619453 |   442552 |    25925     37 |      704 |      522
1233.05/1233.46	c 1233s |      18 |   620014 |   443052 |    25925     37 |      704 |      522
1235.16/1235.52	c 1235s |      18 |   620463 |   443452 |    25925     37 |      704 |      522
1237.55/1237.96	c 1237s |      18 |   621029 |   443952 |    25925     37 |      704 |      522
1239.65/1240.04	c 1239s |      18 |   621471 |   444352 |    25925     37 |      704 |      522
1240.35/1240.78	c 1240s |      19 |   621617 |   444482 |    25925     37 |      704 |      522
1242.44/1242.83	c 1242s |      19 |   625344 |   445882 |    25925     37 |      704 |      522
1244.44/1244.86	c 1244s |      19 |   626852 |   447182 |    25925     37 |      704 |      522
1246.54/1246.97	c 1246s |      19 |   629432 |   448682 |    25925     37 |      704 |      522
1248.64/1249.00	c 1248s |      19 |   638378 |   450582 |    25925     38 |      704 |      522
1250.64/1251.02	c 1250s |      19 |   644334 |   452582 |    25925     38 |      704 |      522
1252.64/1253.06	c 1252s |      19 |   646439 |   453982 |    25925     38 |      704 |      522
1254.73/1255.17	c 1254s |      19 |   647767 |   455082 |    25925     38 |      704 |      522
1256.73/1257.18	c 1256s |      19 |   648970 |   456082 |    25925     38 |      704 |      522
1258.93/1259.33	c 1259s |      19 |   650020 |   456982 |    25925     38 |      704 |      522
1260.93/1261.34	c 1261s |      19 |   650945 |   457782 |    25925     38 |      704 |      522
1263.03/1263.45	c 1263s |      19 |   652171 |   458782 |    25925     38 |      704 |      522
1265.24/1265.61	c 1265s |      19 |   653576 |   459782 |    25925     38 |      704 |      522
1267.34/1267.78	c 1267s |      19 |   654854 |   460882 |    25925     38 |      704 |      522
1269.44/1269.85	c 1269s |      19 |   656092 |   461882 |    25925     38 |      704 |      522
1271.53/1272.00	c 1271s |      19 |   657399 |   462882 |    25925     38 |      704 |      522
1273.73/1274.19	c 1273s |      19 |   658533 |   463682 |    25925     39 |      704 |      522
1275.84/1276.29	c 1276s |      19 |   659737 |   464582 |    25925     39 |      704 |      522
1278.04/1278.42	c 1278s |      19 |   660884 |   465482 |    25925     39 |      704 |      522
1280.13/1280.54	c 1280s |      19 |   661878 |   466282 |    25925     39 |      704 |      522
1282.22/1282.65	c 1282s |      19 |   662799 |   467082 |    25925     39 |      704 |      522
1284.32/1284.73	c 1284s |      19 |   663978 |   467882 |    25925     39 |      704 |      522
1286.32/1286.77	c 1286s |      19 |   664669 |   468482 |    25925     39 |      704 |      522
1288.62/1289.04	c 1288s |      19 |   665342 |   469082 |    25925     39 |      704 |      522
1290.61/1291.05	c 1290s |      19 |   665909 |   469582 |    25925     39 |      704 |      522
1292.81/1293.24	c 1292s |      19 |   666624 |   470182 |    25925     39 |      704 |      522
1295.01/1295.46	c 1295s |      19 |   667496 |   470882 |    25925     39 |      704 |      522
1297.41/1297.80	c 1297s |      19 |   668409 |   471682 |    25925     39 |      704 |      522
1299.61/1300.03	c 1299s |      19 |   669112 |   472282 |    25925     39 |      704 |      522
1301.60/1302.09	c 1301s |      19 |   669822 |   472882 |    25925     39 |      704 |      522
1303.90/1304.37	c 1304s |      19 |   670498 |   473482 |    25925     39 |      704 |      522
1306.20/1306.65	c 1306s |      19 |   671182 |   474082 |    25925     39 |      704 |      522
1308.20/1308.68	c 1308s |      19 |   671747 |   474582 |    25925     39 |      704 |      522
1310.29/1310.74	c 1310s |      19 |   672167 |   474982 |    25925     39 |      704 |      522
1312.79/1313.26	c 1313s |      19 |   672728 |   475482 |    25925     39 |      704 |      522
1315.09/1315.58	c 1315s |      19 |   673163 |   475882 |    25925     39 |      704 |      522
1317.50/1317.94	c 1317s |      19 |   673591 |   476282 |    25925     39 |      704 |      522
1319.59/1320.03	c 1319s |      19 |   674190 |   476782 |    25925     39 |      704 |      522
1321.79/1322.25	c 1321s |      19 |   674833 |   477282 |    25925     39 |      704 |      522
1323.78/1324.27	c 1324s |      19 |   675288 |   477682 |    25925     39 |      704 |      522
1326.18/1326.61	c 1326s |      19 |   675898 |   478182 |    25925     39 |      704 |      522
1328.28/1328.71	c 1328s |      19 |   676367 |   478582 |    25925     40 |      704 |      522
1330.38/1330.83	c 1330s |      19 |   677207 |   479282 |    25925     40 |      704 |      522
1332.38/1332.83	c 1332s |      19 |   677844 |   479882 |    25925     40 |      704 |      522
1334.38/1334.89	c 1334s |      19 |   678420 |   480382 |    25925     40 |      704 |      522
1336.78/1337.29	c 1337s |      19 |   679236 |   481082 |    25925     40 |      704 |      522
1338.88/1339.35	c 1339s |      19 |   679836 |   481582 |    25925     40 |      704 |      522
1341.07/1341.54	c 1341s |      19 |   680709 |   482282 |    25925     40 |      704 |      522
1343.17/1343.64	c 1343s |      19 |   681305 |   482782 |    25925     40 |      704 |      522
1345.37/1345.88	c 1345s |      19 |   681879 |   483282 |    25925     40 |      704 |      522
1347.37/1347.90	c 1347s |      19 |   682457 |   483782 |    25925     40 |      704 |      522
1349.57/1350.02	c 1349s |      19 |   683051 |   484282 |    25925     40 |      704 |      522
1351.87/1352.31	c 1352s |      19 |   683622 |   484782 |    25925     40 |      704 |      522
1353.96/1354.48	c 1354s |      19 |   684351 |   485382 |    25925     40 |      704 |      522
1356.07/1356.58	c 1356s |      19 |   684943 |   485882 |    25925     40 |      704 |      522
1358.28/1358.74	c 1358s |      19 |   685530 |   486382 |    25925     40 |      704 |      522
1360.47/1360.99	c 1360s |      19 |   686253 |   486982 |    25925     40 |      704 |      522
1362.46/1362.99	c 1362s |      19 |   686861 |   487482 |    25925     40 |      704 |      522
1364.66/1365.15	c 1364s |      19 |   687419 |   487982 |    25925     40 |      704 |      522
1366.86/1367.39	c 1367s |      19 |   687973 |   488482 |    25925     40 |      704 |      522
1368.96/1369.46	c 1369s |      19 |   688393 |   488882 |    25925     40 |      704 |      522
1371.36/1371.82	c 1371s |      19 |   688930 |   489382 |    25925     40 |      704 |      522
1373.56/1374.08	c 1373s |      19 |   689508 |   489882 |    25925     40 |      704 |      522
1375.66/1376.17	c 1375s |      19 |   690089 |   490382 |    25925     40 |      704 |      522
1378.16/1378.61	c 1378s |      19 |   690663 |   490882 |    25925     40 |      704 |      522
1380.16/1380.67	c 1380s |      19 |   691112 |   491282 |    25925     40 |      704 |      522
1382.36/1382.89	c 1382s |      19 |   691568 |   491682 |    25925     40 |      704 |      522
1384.75/1385.27	c 1385s |      19 |   691985 |   492082 |    25925     40 |      704 |      522
1387.05/1387.57	c 1387s |      19 |   692410 |   492482 |    25925     40 |      704 |      522
1389.25/1389.74	c 1389s |      19 |   692850 |   492882 |    25925     40 |      704 |      522
1391.35/1391.80	c 1391s |      19 |   693180 |   493182 |    25925     41 |      704 |      522
1393.65/1394.14	c 1393s |      19 |   693845 |   493782 |    25925     41 |      704 |      522
1395.65/1396.19	c 1395s |      19 |   694395 |   494282 |    25925     41 |      704 |      522
1398.05/1398.55	c 1398s |      19 |   695069 |   494882 |    25925     41 |      704 |      522
1400.25/1400.74	c 1400s |      19 |   695615 |   495382 |    25925     41 |      704 |      522
1402.55/1403.03	c 1402s |      19 |   696211 |   495882 |    25925     41 |      704 |      522
1404.65/1405.12	c 1404s |      19 |   697007 |   496482 |    25925     41 |      704 |      522
1406.85/1407.36	c 1407s |      19 |   697721 |   497082 |    25925     41 |      704 |      522
1409.04/1409.55	c 1409s |      19 |   698440 |   497682 |    25925     41 |      704 |      522
1411.54/1412.01	c 1411s |      19 |   699127 |   498282 |    25925     41 |      704 |      522
1413.64/1414.16	c 1413s |      19 |   699734 |   498782 |    25925     41 |      704 |      522
1415.84/1416.34	c 1416s |      19 |   700321 |   499282 |    25925     41 |      704 |      522
1418.14/1418.64	c 1418s |      19 |   700873 |   499782 |    25925     41 |      704 |      522
1420.54/1421.03	c 1420s |      19 |   701413 |   500282 |    25925     41 |      704 |      522
1422.74/1423.30	c 1423s |      19 |   701990 |   500782 |    25925     41 |      704 |      522
1425.04/1425.55	c 1425s |      19 |   702768 |   501382 |    25925     41 |      704 |      522
1427.14/1427.62	c 1427s |      19 |   703563 |   501982 |    25925     41 |      704 |      522
1429.24/1429.77	c 1429s |      19 |   704500 |   502682 |    25925     41 |      704 |      522
1431.34/1431.86	c 1431s |      19 |   705226 |   503282 |    25925     41 |      704 |      522
1433.74/1434.23	c 1433s |      19 |   705959 |   503882 |    25925     41 |      704 |      522
1435.94/1436.49	c 1436s |      19 |   706668 |   504482 |    25925     41 |      704 |      522
1438.34/1438.82	c 1438s |      19 |   707535 |   505182 |    25925     41 |      704 |      522
1440.54/1441.01	c 1440s |      19 |   708303 |   505782 |    25925     41 |      704 |      522
1442.74/1443.28	c 1443s |      19 |   709020 |   506382 |    25925     41 |      704 |      522
1444.94/1445.46	c 1445s |      19 |   709574 |   506882 |    25925     41 |      704 |      522
1448.04/1448.51	c 1448s |      19 |   710268 |   507482 |    25925     42 |      704 |      522
1450.24/1450.78	c 1450s |      19 |   711085 |   508182 |    25925     42 |      704 |      522
1452.54/1453.05	c 1452s |      19 |   711901 |   508882 |    25925     42 |      704 |      522
1454.74/1455.22	c 1454s |      19 |   712708 |   509582 |    25925     42 |      704 |      522
1457.04/1457.53	c 1457s |      19 |   713554 |   510282 |    25925     42 |      704 |      522
1459.44/1459.92	c 1459s |      19 |   714430 |   510982 |    25925     42 |      704 |      522
1461.54/1462.07	c 1461s |      19 |   715560 |   511782 |    25925     42 |      704 |      522
1463.74/1464.22	c 1463s |      19 |   716485 |   512482 |    25925     42 |      704 |      522
1465.74/1466.25	c 1465s |      19 |   717390 |   513182 |    25925     42 |      704 |      522
1467.94/1468.49	c 1468s |      19 |   718273 |   513882 |    25925     42 |      704 |      522
1470.44/1470.98	c 1470s |      19 |   719159 |   514582 |    25925     42 |      704 |      522
1472.54/1473.09	c 1472s |      19 |   720048 |   515282 |    25925     42 |      704 |      522
1474.74/1475.28	c 1475s |      19 |   721054 |   516082 |    25925     42 |      704 |      522
1476.94/1477.50	c 1477s |      19 |   722008 |   516782 |    25925     42 |      704 |      522
1479.24/1479.71	c 1479s |      19 |   722736 |   517382 |    25925     42 |      704 |      522
1481.23/1481.75	c 1481s |      19 |   723470 |   517982 |    25925     42 |      704 |      522
1483.33/1483.88	c 1483s |      19 |   726305 |   519082 |    25925     42 |      704 |      522
1485.53/1486.06	c 1485s |      19 |   732028 |   520482 |    25925     42 |      704 |      522
1487.73/1488.25	c 1487s |      19 |   734438 |   521482 |    25925     42 |      704 |      522
1489.73/1490.25	c 1489s |      19 |   735145 |   521982 |    25925     43 |      704 |      522
1491.93/1492.41	c 1492s |      19 |   736374 |   522882 |    25925     43 |      704 |      522
1493.93/1494.49	c 1494s |      19 |   737502 |   523682 |    25925     43 |      704 |      522
1496.03/1496.57	c 1496s |      19 |   738377 |   524382 |    25925     43 |      704 |      522
1498.33/1498.82	c 1498s |      19 |   739576 |   525282 |    25925     43 |      704 |      522
1500.63/1501.11	c 1500s |      19 |   740536 |   526082 |    25925     43 |      704 |      522
1502.93/1503.40	c 1503s |      19 |   741366 |   526782 |    25925     43 |      704 |      522
1504.93/1505.46	c 1505s |      19 |   742052 |   527382 |    25925     43 |      704 |      522
1507.23/1507.77	c 1507s |      19 |   742735 |   527982 |    25925     43 |      704 |      522
1509.53/1510.04	c 1509s |      19 |   743293 |   528482 |    25925     43 |      704 |      522
1511.73/1512.28	c 1512s |      19 |   743883 |   528982 |    25925     43 |      704 |      522
1513.83/1514.38	c 1514s |      19 |   744418 |   529482 |    25925     43 |      704 |      522
1516.23/1516.75	c 1516s |      19 |   745073 |   530082 |    25925     43 |      704 |      522
1518.23/1518.77	c 1518s |      19 |   745599 |   530582 |    25925     43 |      704 |      522
1520.43/1520.92	c 1520s |      19 |   746879 |   531282 |    25925     43 |      704 |      522
1522.43/1522.97	c 1522s |      19 |   753094 |   532982 |    25925     43 |      704 |      522
1524.53/1525.06	c 1524s |      19 |   758320 |   534182 |    25925     44 |      704 |      522
1526.73/1527.21	c 1526s |      19 |   759878 |   535582 |    25925     44 |      704 |      522
1528.82/1529.33	c 1529s |      19 |   761213 |   536782 |    25925     44 |      704 |      522
1530.93/1531.41	c 1531s |      19 |   762540 |   537982 |    25925     44 |      704 |      522
1533.03/1533.55	c 1533s |      19 |   763653 |   538982 |    25925     44 |      704 |      522
1535.12/1535.66	c 1535s |      19 |   764631 |   539882 |    25925     44 |      704 |      522
1537.22/1537.79	c 1537s |      19 |   766367 |   541082 |    25925     44 |      704 |      522
1539.42/1539.97	c 1539s |      19 |   767931 |   542182 |    25925     44 |      704 |      522
1541.52/1542.06	c 1541s |      19 |   769328 |   543182 |    25925     44 |      704 |      522
1543.72/1544.21	c 1543s |      19 |   770410 |   543982 |    25925     44 |      704 |      522
1545.72/1546.21	c 1545s |      19 |   771314 |   544682 |    25925     44 |      704 |      522
1547.82/1548.36	c 1548s |      19 |   772245 |   545382 |    25925     44 |      704 |      522
1549.92/1550.50	c 1550s |      19 |   772956 |   545982 |    25925     44 |      704 |      522
1552.22/1552.76	c 1552s |      19 |   774053 |   546782 |    25925     44 |      704 |      522
1554.42/1554.98	c 1554s |      19 |   774902 |   547482 |    25925     44 |      704 |      522
1556.52/1557.00	c 1556s |      19 |   776045 |   548282 |    25925     44 |      704 |      522
1558.72/1559.21	c 1558s |      19 |   776967 |   548982 |    25925     44 |      704 |      522
1560.82/1561.37	c 1561s |      19 |   778003 |   549782 |    25925     44 |      704 |      522
1562.92/1563.42	c 1563s |      19 |   778601 |   550282 |    25925     45 |      704 |      522
1565.03/1565.58	c 1565s |      19 |   779738 |   551182 |    25925     45 |      704 |      522
1567.12/1567.67	c 1567s |      19 |   780559 |   551882 |    25925     45 |      704 |      522
1569.22/1569.72	c 1569s |      19 |   781489 |   552582 |    25925     45 |      704 |      522
1571.42/1571.99	c 1571s |      19 |   782320 |   553282 |    25925     45 |      704 |      522
1573.72/1574.24	c 1573s |      19 |   783177 |   553982 |    25925     45 |      704 |      522
1575.82/1576.34	c 1576s |      19 |   783888 |   554582 |    25925     45 |      704 |      522
1577.92/1578.43	c 1578s |      19 |   784599 |   555182 |    25925     45 |      704 |      522
1580.21/1580.76	c 1580s |      19 |   785277 |   555782 |    25925     45 |      704 |      522
1582.52/1583.03	c 1582s |      19 |   786028 |   556382 |    25925     45 |      704 |      522
1584.61/1585.15	c 1584s |      19 |   786607 |   556882 |    25925     45 |      704 |      522
1586.81/1587.35	c 1587s |      19 |   787155 |   557382 |    25925     45 |      704 |      522
1589.01/1589.57	c 1589s |      19 |   787717 |   557882 |    25925     45 |      704 |      522
1591.51/1592.02	c 1591s |      19 |   788456 |   558482 |    25925     45 |      704 |      522
1593.52/1594.08	c 1593s |      19 |   789034 |   558982 |    25925     45 |      704 |      522
1595.92/1596.41	c 1596s |      19 |   789609 |   559482 |    25925     45 |      704 |      522
1598.12/1598.62	c 1598s |      19 |   790181 |   559982 |    25925     45 |      704 |      522
1600.13/1600.66	c 1600s |      19 |   790651 |   560382 |    25925     45 |      704 |      522
1602.22/1602.80	c 1602s |      19 |   791251 |   560882 |    25925     45 |      704 |      522
1604.42/1604.98	c 1604s |      19 |   791817 |   561382 |    25925     45 |      704 |      522
1606.82/1607.34	c 1607s |      19 |   792411 |   561882 |    25925     45 |      704 |      522
1609.22/1609.75	c 1609s |      19 |   793148 |   562482 |    25925     45 |      704 |      522
1611.62/1612.19	c 1611s |      19 |   793721 |   562982 |    25925     45 |      704 |      522
1614.12/1614.66	c 1614s |      19 |   794293 |   563482 |    25925     45 |      704 |      522
1616.62/1617.16	c 1616s |      19 |   794858 |   563982 |    25925     45 |      704 |      522
1618.82/1619.31	c 1619s |      19 |   795319 |   564382 |    25925     45 |      704 |      522
1620.81/1621.31	c 1621s |      19 |   795653 |   564682 |    25925     46 |      704 |      522
1623.11/1623.68	c 1623s |      19 |   796359 |   565282 |    25925     46 |      704 |      522
1625.61/1626.12	c 1625s |      19 |   796896 |   565782 |    25925     46 |      704 |      522
1627.62/1628.17	c 1627s |      19 |   797487 |   566282 |    25925     46 |      704 |      522
1629.82/1630.32	c 1630s |      19 |   798048 |   566782 |    25925     46 |      704 |      522
1631.91/1632.42	c 1632s |      19 |   798603 |   567282 |    25925     46 |      704 |      522
1634.22/1634.75	c 1634s |      19 |   799150 |   567782 |    25925     46 |      704 |      522
1636.31/1636.81	c 1636s |      19 |   799709 |   568282 |    25925     46 |      704 |      522
1638.41/1638.99	c 1638s |      19 |   800277 |   568782 |    25925     46 |      704 |      522
1641.01/1641.51	c 1641s |      19 |   800816 |   569282 |    25925     46 |      704 |      522
1643.02/1643.54	c 1643s |      19 |   801244 |   569682 |    25925     46 |      704 |      522
1645.61/1646.12	c 1645s |      19 |   801791 |   570182 |    25925     46 |      704 |      522
1648.01/1648.55	c 1648s |      19 |   802336 |   570682 |    25925     46 |      704 |      522
1650.11/1650.69	c 1650s |      19 |   802768 |   571082 |    25925     46 |      704 |      522
1652.21/1652.77	c 1652s |      19 |   803210 |   571482 |    25925     46 |      704 |      522
1654.71/1655.21	c 1654s |      19 |   803750 |   571982 |    25925     46 |      704 |      522
1656.91/1657.46	c 1657s |      19 |   804184 |   572382 |    25925     46 |      704 |      522
1659.11/1659.68	c 1659s |      19 |   804629 |   572782 |    25925     46 |      704 |      522
1661.41/1661.95	c 1661s |      19 |   805056 |   573182 |    25925     46 |      704 |      522
1663.41/1663.95	c 1663s |      19 |   805533 |   573582 |    25925     46 |      704 |      522
1665.61/1666.16	c 1665s |      19 |   806117 |   574082 |    25925     46 |      704 |      522
1668.01/1668.58	c 1668s |      19 |   806703 |   574582 |    25925     46 |      704 |      522
1670.11/1670.68	c 1670s |      19 |   807297 |   575082 |    25925     46 |      704 |      522
1672.50/1673.06	c 1672s |      19 |   807864 |   575582 |    25925     46 |      704 |      522
1674.91/1675.48	c 1675s |      19 |   808449 |   576082 |    25925     46 |      704 |      522
1677.21/1677.71	c 1677s |      19 |   808893 |   576482 |    25925     46 |      704 |      522
1679.41/1679.97	c 1679s |      19 |   809347 |   576882 |    25925     46 |      704 |      522
1681.51/1682.05	c 1681s |      19 |   809809 |   577282 |    25925     46 |      704 |      522
1684.10/1684.69	c 1684s |      19 |   810368 |   577782 |    25925     46 |      704 |      522
1686.90/1687.45	c 1687s |      19 |   810822 |   578182 |    25925     46 |      704 |      522
1689.21/1689.75	c 1689s |      19 |   811287 |   578582 |    25925     46 |      704 |      522
1691.51/1692.05	c 1691s |      19 |   811744 |   578982 |    25925     46 |      704 |      522
1693.90/1694.49	c 1694s |      19 |   812094 |   579282 |    25925     47 |      704 |      522
1696.10/1696.69	c 1696s |      19 |   812787 |   579882 |    25925     47 |      704 |      522
1698.40/1698.96	c 1698s |      19 |   813486 |   580482 |    25925     47 |      704 |      522
1700.50/1701.07	c 1700s |      19 |   814228 |   581082 |    25925     47 |      704 |      522
1702.80/1703.34	c 1703s |      19 |   814919 |   581682 |    25925     47 |      704 |      522
1704.80/1705.39	c 1705s |      19 |   815497 |   582182 |    25925     47 |      704 |      522
1707.10/1707.63	c 1707s |      19 |   816063 |   582682 |    25925     47 |      704 |      522
1709.20/1709.76	c 1709s |      19 |   816621 |   583182 |    25925     47 |      704 |      522
1711.60/1712.14	c 1711s |      19 |   817312 |   583782 |    25925     47 |      704 |      522
1713.80/1714.33	c 1714s |      19 |   817905 |   584282 |    25925     47 |      704 |      522
1716.20/1716.70	c 1716s |      19 |   818467 |   584782 |    25925     47 |      704 |      522
1718.40/1718.96	c 1718s |      19 |   819052 |   585282 |    25925     47 |      704 |      522
1720.50/1721.06	c 1720s |      19 |   819509 |   585682 |    25925     47 |      704 |      522
1722.90/1723.46	c 1723s |      19 |   820092 |   586182 |    25925     47 |      704 |      522
1724.99/1725.50	c 1725s |      19 |   820524 |   586582 |    25925     47 |      704 |      522
1727.19/1727.73	c 1727s |      19 |   820962 |   586982 |    25925     47 |      704 |      522
1729.49/1730.07	c 1729s |      19 |   821382 |   587382 |    25925     47 |      704 |      522
1731.89/1732.45	c 1732s |      19 |   821814 |   587782 |    25925     47 |      704 |      522
1734.40/1734.95	c 1734s |      19 |   822232 |   588182 |    25925     47 |      704 |      522
1736.50/1737.05	c 1736s |      19 |   822693 |   588582 |    25925     47 |      704 |      522
1738.70/1739.22	c 1738s |      19 |   823120 |   588982 |    25925     47 |      704 |      522
1740.79/1741.39	c 1741s |      19 |   823561 |   589382 |    25925     47 |      704 |      522
1742.89/1743.48	c 1743s |      19 |   823983 |   589782 |    25925     47 |      704 |      522
1745.30/1745.89	c 1745s |      19 |   824408 |   590182 |    25925     47 |      704 |      522
1747.69/1748.20	c 1747s |      19 |   824840 |   590582 |    25925     47 |      704 |      522
1750.19/1750.79	c 1750s |      19 |   825261 |   590982 |    25925     47 |      704 |      522
1752.69/1753.24	c 1752s |      19 |   825707 |   591382 |    25925     47 |      704 |      522
1754.79/1755.35	c 1755s |      19 |   826031 |   591682 |    25925     47 |      704 |      522
1757.39/1757.94	c 1757s |      19 |   826466 |   592082 |    25925     47 |      704 |      522
1759.99/1760.53	c 1760s |      19 |   826900 |   592482 |    25925     47 |      704 |      522
1762.09/1762.64	c 1762s |      19 |   827224 |   592782 |    25925     47 |      704 |      522
1764.48/1765.06	c 1764s |      19 |   827654 |   593182 |    25925     47 |      704 |      522
1767.68/1768.20	c 1767s |      19 |   828087 |   593582 |    25925     48 |      704 |      522
1769.78/1770.35	c 1770s |      19 |   828623 |   594082 |    25925     48 |      704 |      522
1771.88/1772.45	c 1772s |      19 |   829170 |   594582 |    25925     48 |      704 |      522
1773.89/1774.49	c 1774s |      19 |   829740 |   595082 |    25925     48 |      704 |      522
1776.09/1776.61	c 1776s |      19 |   830305 |   595582 |    25925     48 |      704 |      522
1778.48/1779.03	c 1778s |      19 |   830980 |   596182 |    25925     48 |      704 |      522
1780.99/1781.51	c 1781s |      19 |   831514 |   596682 |    25925     48 |      704 |      522
1783.19/1783.77	c 1783s |      19 |   832083 |   597182 |    25925     48 |      704 |      522
1785.39/1785.95	c 1785s |      19 |   832636 |   597682 |    25925     48 |      704 |      522
1787.59/1788.14	c 1787s |      19 |   833205 |   598182 |    25925     48 |      704 |      522
1789.69/1790.24	c 1789s |      19 |   833633 |   598582 |    25925     48 |      704 |      522
1791.69/1792.25	c 1791s |      19 |   834080 |   598982 |    25925     48 |      704 |      522
1794.19/1794.76	c 1794s |      19 |   834631 |   599482 |    25925     48 |      704 |      522
1796.29/1796.85	c 1796s |      19 |   835083 |   599882 |    25925     48 |      704 |      522
1798.49/1799.00	c 1798s |      19 |   835511 |   600282 |    25925     48 |      704 |      522

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

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

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


[startup+0 s]
/proc/loadavg: 4.06 4.23 4.25 4/178 23022
/proc/meminfo: memFree=30354516/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=641468 CPUtime=0 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 2376 0 0 0 0 0 0 0 20 0 4 0 29169840 656863232 2736 33554432000 4194304 16246674 140733815282736 140733815282160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 160879 2747 441 2943 0 157773 0
[pid=23022/tid=23023] ppid=23013 vsize=657852 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 673640448 2803 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=661948 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 677834752 2819 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=666044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29169840 682029056 2835 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 4.06 4.23 4.25 4/178 23022
/proc/meminfo: memFree=30354516/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 28275 0 0 0 5 4 0 0 20 0 4 0 29169840 1249447936 28573 33554432000 4194304 16246674 140733815282736 140733815282048 4220921 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 305041 28573 802 2943 0 301935 0
[pid=23022/tid=23023] ppid=23013 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1249447936 28573 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1249447936 28573 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1249447936 28573 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.325116 s]
/proc/loadavg: 4.06 4.23 4.25 4/178 23022
/proc/meminfo: memFree=30354516/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1301060 CPUtime=0.32 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 53663 0 0 0 24 8 0 0 20 0 4 0 29169840 1332285440 53962 33554432000 4194304 16246674 140733815282736 140733815264640 5602579 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 325265 53966 883 2943 0 322159 0
[pid=23022/tid=23023] ppid=23013 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 53969 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 53972 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 53976 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1301060

[startup+0.400443 s]
/proc/loadavg: 4.06 4.23 4.25 4/178 23022
/proc/meminfo: memFree=30354516/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1301060 CPUtime=0.39 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 62632 0 0 0 30 9 0 0 20 0 4 0 29169840 1332285440 62930 33554432000 4194304 16246674 140733815282736 140733815264640 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 325265 62935 883 2943 0 322159 0
[pid=23022/tid=23023] ppid=23013 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 62938 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 62942 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 62946 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 1301060

[startup+0.700366 s]
/proc/loadavg: 4.06 4.23 4.25 4/178 23022
/proc/meminfo: memFree=30354516/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1301060 CPUtime=0.68 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 99049 0 0 0 54 14 0 0 20 0 4 0 29169840 1332285440 99348 33554432000 4194304 16246674 140733815282736 140733815264640 5709562 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 325265 99352 883 2943 0 322159 0
[pid=23022/tid=23023] ppid=23013 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 99355 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 99358 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 99362 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.50038 s]
/proc/loadavg: 4.06 4.23 4.25 4/183 23027
/proc/meminfo: memFree=29019244/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 209893 0 0 0 119 30 0 0 20 0 4 0 29169840 1332285440 210191 33554432000 4194304 16246674 140733815282736 140733815264640 5830026 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 325265 210194 883 2943 0 322159 0
[pid=23022/tid=23023] ppid=23013 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 210196 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 210198 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 210201 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10037 s]
/proc/loadavg: 4.06 4.23 4.25 4/183 23027
/proc/meminfo: memFree=28202812/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 269258 0 0 0 272 37 0 0 20 0 4 0 29169840 1343819776 269556 33554432000 4194304 16246674 140733815282736 140733815264640 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 328081 269556 889 2943 0 324975 0
[pid=23022/tid=23023] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269556 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269556 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269556 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30037 s]
/proc/loadavg: 3.90 4.19 4.23 4/183 23027
/proc/meminfo: memFree=28202840/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 269269 0 0 0 592 37 0 0 20 0 4 0 29169840 1343819776 269567 33554432000 4194304 16246674 140733815282736 140733815264640 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 328081 269567 890 2943 0 324975 0
[pid=23022/tid=23023] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269567 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269567 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269567 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 3.75 4.15 4.22 4/183 23027
/proc/meminfo: memFree=28202664/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 269269 0 0 0 1232 37 0 0 20 0 4 0 29169840 1343819776 269567 33554432000 4194304 16246674 140733815282736 140733815264640 5711404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 328081 269567 890 2943 0 324975 0
[pid=23022/tid=23023] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269567 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269567 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269567 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5074 s]
/proc/loadavg: 3.50 4.08 4.20 4/183 23027
/proc/meminfo: memFree=28203472/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 269273 0 0 0 2512 37 0 0 20 0 4 0 29169840 1343819776 269571 33554432000 4194304 16246674 140733815282736 140733815264640 12415821 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 328081 269571 893 2943 0 324975 0
[pid=23022/tid=23023] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269571 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269571 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269571 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.99 3.91 4.14 4/183 23027
/proc/meminfo: memFree=28201212/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 269273 0 0 0 5071 37 0 0 20 0 4 0 29169840 1343819776 269571 33554432000 4194304 16246674 140733815282736 140733815264640 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 328081 269571 893 2943 0 324975 0
[pid=23022/tid=23023] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269571 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269571 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269571 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.51 3.64 4.03 4/183 23028
/proc/meminfo: memFree=28200092/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 271063 0 0 0 10190 38 0 0 20 0 4 0 29169840 1351159808 271361 33554432000 4194304 16246674 140733815282736 140733815264640 13923776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 329873 271361 893 2943 0 326767 0
[pid=23022/tid=23023] ppid=23013 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1351159808 271361 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1351159808 271361 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1351159808 271361 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277264 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1343044

[startup+1362.3 s]
/proc/loadavg: 2.29 2.27 2.69 4/183 23059
/proc/meminfo: memFree=28148340/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1343044 CPUtime=1361.86 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 277074 0 0 0 136140 46 0 0 20 0 4 0 29169840 1375277056 277264 33554432000 4194304 16246674 140733815282736 140733815264640 12483512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 335761 277264 893 2943 0 332655 0
[pid=23022/tid=23023] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277264 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277264 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277264 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1343044

[startup+1422.3 s]
/proc/loadavg: 2.29 2.28 2.67 5/183 23061
/proc/meminfo: memFree=28147776/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1343044 CPUtime=1421.84 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 277331 0 0 0 142138 46 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 140733815264640 5523539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 335761 277507 893 2943 0 332655 0
[pid=23022/tid=23023] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1343044

[startup+1482.3 s]
/proc/loadavg: 2.32 2.29 2.64 5/183 23062
/proc/meminfo: memFree=28147788/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1343044 CPUtime=1481.83 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 277331 0 0 0 148137 46 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 140733815264640 6009828 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 335761 277507 893 2943 0 332655 0
[pid=23022/tid=23023] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1343044

[startup+1542.3 s]
/proc/loadavg: 2.28 2.28 2.62 4/184 23066
/proc/meminfo: memFree=28147604/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1343044 CPUtime=1541.83 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 277331 0 0 0 154137 46 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 140733815264640 5721968 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 335761 277507 893 2943 0 332655 0
[pid=23022/tid=23023] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1343044

[startup+1602.3 s]
/proc/loadavg: 2.26 2.27 2.59 5/183 23067
/proc/meminfo: memFree=28147496/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1343044 CPUtime=1601.82 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 277331 0 0 0 160135 47 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 140733815264640 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 335761 277507 893 2943 0 332655 0
[pid=23022/tid=23023] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1343044

[startup+1662.31 s]
/proc/loadavg: 2.23 2.26 2.57 4/183 23068
/proc/meminfo: memFree=28147372/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1343044 CPUtime=1661.81 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 277331 0 0 0 166134 47 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 140733815264640 5722180 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 335761 277507 893 2943 0 332655 0
[pid=23022/tid=23023] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1343044

[startup+1722.3 s]
/proc/loadavg: 2.16 2.24 2.54 4/183 23070
/proc/meminfo: memFree=28147508/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1343044 CPUtime=1721.8 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 277331 0 0 0 172133 47 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 140733815264640 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 335761 277507 893 2943 0 332655 0
[pid=23022/tid=23023] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1343044

[startup+1782.3 s]
/proc/loadavg: 2.26 2.25 2.52 5/183 23071
/proc/meminfo: memFree=28147024/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1343044 CPUtime=1781.79 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 277331 0 0 0 178131 48 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 140733815264640 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 335761 277507 893 2943 0 332655 0
[pid=23022/tid=23023] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1343044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.28 2.26 2.52 4/183 23071
/proc/meminfo: memFree=28147276/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1343044 CPUtime=1800.09 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 277331 0 0 0 179961 48 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 140733815264640 6011746 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 335761 277507 893 2943 0 332655 0
[pid=23022/tid=23023] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1343044

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

[startup+1800.6 s]
/proc/loadavg: 2.28 2.26 2.52 4/183 23071
/proc/meminfo: memFree=28147276/32872528 swapFree=1541156/1696500
[pid=23022] ppid=23013 vsize=1343044 CPUtime=1800.09 cores=0,2,4,6
/proc/23022/stat : 23022 (toysat) R 23013 23022 19474 0 -1 4202496 277331 0 0 0 179961 48 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 140733815264640 6011746 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23022/statm: 335761 277507 893 2943 0 332655 0
[pid=23022/tid=23023] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23023/stat : 23023 (toysat) S 23013 23022 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946628197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23022/tid=23024] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23024/stat : 23024 (toysat) S 23013 23022 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946543262960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23022/tid=23025] ppid=23013 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/23022/task/23025/stat : 23025 (toysat) S 23013 23022 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1375277056 277507 33554432000 4194304 16246674 140733815282736 139946532789424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1343044

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.62
CPU system time (s): 0.481926
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1343044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.481926
maximum resident set size= 1110028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277331
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= 393
involuntary context switches= 2049

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.42417 second user time and 7.69883 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 19:15:11
IDJOB=4116253
IDBENCH=109447
IDSOLVER=2542
FILE ID=node125/4116253-1466961311
RUNJOBID= node125-1466961311-22990
PBS_JOBID= 19976354
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= 969f655ceffdb0b5352b9f558494ef5a
RANDOM SEED=1062153883

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30355556 kB
Buffers:           23724 kB
Cached:            91688 kB
SwapCached:         1740 kB
Active:            76264 kB
Inactive:          41552 kB
Active(anon):       4712 kB
Inactive(anon):      448 kB
Active(file):      71552 kB
Inactive(file):    41104 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098448 kB
Dirty:             33444 kB
Writeback:             0 kB
AnonPages:       1699224 kB
Mapped:             7028 kB
Shmem:                 0 kB
Slab:             567580 kB
SReclaimable:      11188 kB
SUnreclaim:       556392 kB
KernelStack:        1400 kB
PageTables:         7224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1794580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71708 MiB
End job on node125 at 2016-06-26 19:45:12