Trace number 4116645

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round22-1.opb
MD5SUM051ff1d048af7aa78801b624c4971239
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 constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
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-26T20:06:05+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-4116645-1466964365.opb"]
0.00/0.01	c use --random-gen="2811465258 4290605094 3924509654 2561263238 3249317717 1228393747 1978838822 1645779198 1403070384 2313474565 2066371799 619132857 643648311 3569365008 548749292 2496995412 2571954315 3635459350 1301905569 334166910 2517542711 2167486233 2205996112 3222198922 624979602 3642402987 2018994662 561164909 1385311906 1570669059 3120587227 1850846420 3853433376 3019675779 3640979660 3557854061 948053358 3637839349 1794037428 73342902 1246452996 3883288257 539347712 1869803452 1732787532 270500378 4228366632 3228872012 1668605431 711326736 3360046454 220614328 1754171774 1041513883 1014750247 3629332898 1615821046 1565962414 2090407054 3100743375 4138502604 522825545 440886643 2633288010 2164116241 3840571202 767028641 1225437570 2217455203 3420816037 2123143929 171884481 3341611751 3553430051 1420010314 980267068 2800663925 3349842551 1491197507 598935623 317014882 1311502968 3021785736 3695347713 371608890 2202494387 2359253502 658686996 1243205976 3765121508 2810974962 387799205 2474459479 2890866142 3001410770 3329947341 912020641 532515708 3154566178 1082958511 276505577 120417205 720326777 434594304 1781149926 1385548715 139859362 2756153964 580556207 1095624279 2554848991 899430913 637274359 3604601477 3440601322 2258656056 1690305700 3027751161 1633400995 2001875757 1412167145 1978278156 243066003 2651987500 225467140 3223043515 2374573850 1324113883 446081487 3407157731 1278898897 2344070644 864858262 416119649 947137577 768457430 2827192169 1678120892 2068895979 1124898199 3693792433 365829752 2016922728 1207710065 2988758396 248484293 2152510873 2616575998 106729844 2017650409 778556167 4139819536 1328267433 1887260228 594296013 1277904919 3831846498 4276639650 1276185648 1880554546 659380656 1125167041 4268273998 806766147 1140766115 710274578 4072375102 3269572522 1553195841 2354967512 1420064838 1132439425 1049237674 987049086 2198323396 1434393917 57807787 82425535 134528272 3711727670 650250345 3508589226 3648434598 2400924821 1492328314 2681459132 3655230542 3417044539 3368711546 1093881947 3583053518 1121367883 98946680 3310195215 3368753163 3904648847 71545586 3180263122 262370076 418133697 1864224862 184199825 936848005 421691645 1494630094 1515752540 3616119139 331658752 1973036355 4051566141 3372525378 1975837268 3566331879 2567541517 4056890372 3039656927 1621973846 3178434060 744823174 2601141751 879002208 691590426 1732860535 3217015803 3483952944 4270201951 4112039890 2386896509 3730968641 1854573664 1669971983 1175796946 1060648116 1525460736 82352864 3336731669 2651095669 2033849040 2342387894 3732930573 3400857477 760473029 1431944179 3678463533 2951195690 1453519499 1960364042 3565980904 2497741022 4220489223 4154757190 731795309 2385920192 4013726454 4113492235 2818832651 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8704
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      736 |        0
0.29/0.35	c  0.1s |       1 |      468 |      100 |     4234      0 |      737 |      588
0.38/0.43	c  0.2s |       2 |     1339 |      250 |     4658      0 |      737 |      588
0.59/0.64	c  0.4s |       3 |     3280 |      475 |     5124      0 |      737 |      588
1.10/1.11	c  0.9s |       4 |     4404 |      813 |     5637      0 |      737 |      588
1.39/1.44	c  1.2s |       5 |     8890 |     1320 |     6201      0 |      737 |      588
2.20/2.24	c  2.0s |       6 |    10999 |     2081 |     7505      0 |      737 |      588
2.79/2.83	c  2.6s |       7 |    17872 |     3223 |     8256      0 |      737 |      588
3.89/3.98	c  3.7s |       8 |    25262 |     4936 |     9082      0 |      737 |      588
5.99/6.05	c  5.8s |       8 |    30391 |     6836 |     9082      0 |      737 |      588
6.89/6.98	c  6.7s |       9 |    31085 |     7506 |     9991      0 |      737 |      588
8.99/9.03	c  8.8s |       9 |    40470 |    10106 |     9991      0 |      737 |      588
10.19/10.23	c 10.0s |      10 |    43453 |    11361 |    10991      0 |      737 |      588
12.20/12.24	c 12.0s |      10 |    48195 |    12761 |    10991      0 |      738 |      588
14.30/14.36	c 14.1s |      10 |    51110 |    14161 |    10991      1 |      738 |      588
16.29/16.36	c 16.1s |      10 |    54278 |    15761 |    10991      1 |      738 |      588
18.39/18.45	c 18.2s |      10 |    55687 |    16861 |    10991      1 |      738 |      588
18.99/19.00	c 18.7s |      11 |    56003 |    17144 |    12091      1 |      738 |      588
20.89/21.00	c 20.7s |      11 |    62497 |    19244 |    12091      1 |      738 |      588
22.98/23.04	c 22.8s |      11 |    63986 |    20644 |    12091      1 |      738 |      588
25.18/25.24	c 25.0s |      11 |    65455 |    21844 |    12091      1 |      738 |      588
27.18/27.26	c 27.0s |      11 |    69340 |    22944 |    12091      2 |      738 |      588
29.18/29.27	c 29.0s |      11 |    77272 |    25544 |    12091      2 |      738 |      588
29.48/29.51	c 29.3s |      12 |    78328 |    25819 |    13301      2 |      738 |      588
31.48/31.55	c 31.3s |      12 |    82230 |    27319 |    13301      2 |      738 |      588
33.68/33.72	c 33.5s |      12 |    83635 |    28519 |    13301      2 |      738 |      588
35.78/35.86	c 35.6s |      12 |    84789 |    29519 |    13301      2 |      738 |      588
37.98/38.08	c 37.8s |      12 |    85925 |    30519 |    13301      2 |      738 |      588
40.38/40.44	c 40.2s |      12 |    87082 |    31519 |    13301      3 |      738 |      588
42.38/42.46	c 42.2s |      12 |    88264 |    32519 |    13301      3 |      738 |      588
44.48/44.52	c 44.3s |      12 |    89132 |    33319 |    13301      3 |      738 |      588
46.58/46.64	c 46.4s |      12 |    90065 |    34119 |    13301      3 |      738 |      588
48.58/48.67	c 48.4s |      12 |    90812 |    34819 |    13301      3 |      738 |      588
50.78/50.80	c 50.5s |      12 |    91694 |    35619 |    13301      3 |      738 |      588
52.79/52.90	c 52.6s |      12 |    92480 |    36319 |    13301      3 |      738 |      588
55.09/55.16	c 54.9s |      12 |    93360 |    37119 |    13301      3 |      738 |      588
57.30/57.37	c 57.1s |      12 |    94127 |    37819 |    13301      3 |      738 |      588
59.40/59.44	c 59.2s |      12 |    94770 |    38419 |    13301      3 |      738 |      588
60.78/60.80	c 60.5s |      13 |    95231 |    38832 |    14632      3 |      738 |      588
62.69/62.80	c 62.6s |      13 |   106311 |    41232 |    14632      4 |      738 |      588
64.78/64.86	c 64.6s |      13 |   108528 |    43032 |    14632      4 |      738 |      588
66.88/66.91	c 66.7s |      13 |   110106 |    44332 |    14632      4 |      738 |      588
68.98/69.09	c 68.8s |      13 |   111364 |    45432 |    14632      4 |      738 |      588
71.08/71.19	c 70.9s |      13 |   112513 |    46432 |    14632      4 |      738 |      588
73.28/73.33	c 73.1s |      13 |   113548 |    47332 |    14632      4 |      738 |      588
75.38/75.47	c 75.2s |      13 |   114802 |    48332 |    14632      4 |      738 |      588
77.48/77.58	c 77.3s |      13 |   116008 |    49332 |    14632      5 |      738 |      588
79.68/79.78	c 79.5s |      13 |   117740 |    50632 |    14632      5 |      738 |      588
81.88/81.92	c 81.7s |      13 |   119113 |    51632 |    14632      5 |      738 |      588
83.98/84.06	c 83.8s |      13 |   120224 |    52532 |    14632      5 |      738 |      588
86.18/86.24	c 86.0s |      13 |   121298 |    53432 |    14632      5 |      738 |      588
88.28/88.32	c 88.1s |      13 |   122422 |    54332 |    14632      5 |      738 |      588
90.48/90.51	c 90.3s |      13 |   123524 |    55232 |    14632      5 |      738 |      588
92.58/92.66	c 92.4s |      13 |   124437 |    56032 |    14632      5 |      738 |      588
94.69/94.77	c 94.5s |      13 |   125220 |    56732 |    14632      5 |      738 |      588
96.89/96.99	c 96.7s |      13 |   125996 |    57432 |    14632      5 |      738 |      588
99.09/99.14	c 98.9s |      13 |   126809 |    58132 |    16096      5 |      738 |      588
99.88/99.90	c 99.6s |      14 |   127054 |    58352 |    16096      5 |      738 |      588
101.88/101.99	c  101s |      14 |   133626 |    60352 |    16096      6 |      738 |      588
103.98/104.01	c  103s |      14 |   135574 |    61752 |    16096      6 |      738 |      588
106.07/106.14	c  105s |      14 |   139350 |    63652 |    16096      6 |      738 |      588
108.17/108.23	c  107s |      14 |   140936 |    64752 |    16096      6 |      738 |      588
110.17/110.27	c  110s |      14 |   142477 |    65752 |    16096      6 |      738 |      588
112.37/112.43	c  112s |      14 |   144069 |    66952 |    16096      6 |      738 |      588
114.48/114.57	c  114s |      14 |   145348 |    67952 |    16096      6 |      738 |      588
116.68/116.73	c  116s |      14 |   146433 |    68752 |    16096      7 |      738 |      588
118.67/118.80	c  118s |      14 |   147604 |    69652 |    16096      7 |      738 |      588
120.88/120.97	c  120s |      14 |   148402 |    70352 |    16096      7 |      738 |      588
122.98/123.09	c  122s |      14 |   149239 |    71052 |    16096      7 |      738 |      588
125.07/125.11	c  124s |      14 |   149963 |    71652 |    16096      7 |      738 |      588
127.07/127.14	c  126s |      14 |   150784 |    72352 |    16096      7 |      738 |      588
129.37/129.44	c  129s |      14 |   151745 |    73152 |    16096      7 |      738 |      588
131.47/131.56	c  131s |      14 |   152593 |    73852 |    16096      7 |      738 |      588
133.47/133.57	c  133s |      14 |   153293 |    74452 |    16096      7 |      738 |      588
135.67/135.77	c  135s |      14 |   154337 |    75252 |    16096      7 |      738 |      588
137.87/137.96	c  137s |      14 |   155492 |    76152 |    16096      7 |      738 |      588
140.17/140.26	c  140s |      14 |   156479 |    76952 |    16096      7 |      738 |      588
142.47/142.57	c  142s |      14 |   157340 |    77652 |    16096      7 |      738 |      588
144.67/144.75	c  144s |      14 |   157922 |    78152 |    16096      8 |      738 |      588
146.67/146.79	c  146s |      14 |   158768 |    78852 |    16096      8 |      738 |      588
148.97/149.06	c  148s |      14 |   159529 |    79552 |    16096      8 |      738 |      588
151.07/151.13	c  150s |      14 |   160489 |    80352 |    16096      8 |      738 |      588
153.17/153.20	c  152s |      14 |   161288 |    81052 |    16096      8 |      738 |      588
155.27/155.35	c  155s |      14 |   162127 |    81752 |    16096      8 |      738 |      588
157.38/157.49	c  157s |      14 |   162962 |    82452 |    16096      8 |      738 |      588
159.67/159.72	c  159s |      14 |   163760 |    83152 |    16096      8 |      738 |      588
161.78/161.85	c  161s |      14 |   164431 |    83752 |    16096      8 |      738 |      588
163.77/163.89	c  163s |      14 |   165099 |    84352 |    16096      8 |      738 |      588
165.86/165.98	c  165s |      14 |   165758 |    84952 |    16096      8 |      738 |      588
168.06/168.15	c  167s |      14 |   166435 |    85552 |    16096      8 |      738 |      588
170.36/170.48	c  170s |      14 |   167095 |    86152 |    16096      8 |      738 |      588
172.67/172.80	c  172s |      14 |   167893 |    86852 |    16096      8 |      738 |      588
175.06/175.11	c  174s |      14 |   168572 |    87452 |    17706      8 |      738 |      588
175.66/175.71	c  175s |      15 |   168767 |    87632 |    17706      8 |      738 |      588
177.96/178.00	c  177s |      15 |   175921 |    89332 |    17706      9 |      738 |      588
179.96/180.05	c  179s |      15 |   182085 |    91732 |    17706      9 |      738 |      588
182.06/182.17	c  181s |      15 |   185643 |    93632 |    17706      9 |      738 |      588
184.16/184.20	c  183s |      15 |   187281 |    94732 |    17706      9 |      738 |      588
186.26/186.31	c  186s |      15 |   188698 |    95932 |    17706      9 |      738 |      588
188.26/188.34	c  188s |      15 |   190250 |    97032 |    17706      9 |      738 |      588
190.27/190.39	c  190s |      15 |   191755 |    98132 |    17706      9 |      738 |      588
192.76/192.85	c  192s |      15 |   192917 |    99032 |    17706     10 |      738 |      588
194.77/194.86	c  194s |      15 |   194918 |   100332 |    17706     10 |      738 |      588
196.76/196.87	c  196s |      15 |   196017 |   101132 |    17706     10 |      738 |      588
198.86/198.98	c  198s |      15 |   197082 |   101932 |    17706     10 |      738 |      588
200.96/201.05	c  200s |      15 |   197891 |   102632 |    17706     10 |      738 |      588
203.16/203.21	c  202s |      15 |   198786 |   103332 |    17706     10 |      738 |      588
205.26/205.30	c  205s |      15 |   199872 |   104132 |    17706     10 |      738 |      588
207.46/207.54	c  207s |      15 |   201150 |   105132 |    17706     10 |      738 |      588
209.56/209.68	c  209s |      15 |   202121 |   105932 |    17706     10 |      738 |      588
211.76/211.88	c  211s |      15 |   203129 |   106732 |    17706     10 |      738 |      588
213.96/214.02	c  213s |      15 |   204093 |   107532 |    17706     10 |      738 |      588
216.06/216.17	c  215s |      15 |   204928 |   108232 |    17706     10 |      738 |      588
218.26/218.31	c  218s |      15 |   206497 |   109332 |    17706     10 |      738 |      588
220.36/220.43	c  220s |      15 |   207795 |   110232 |    17706     11 |      738 |      588
222.46/222.54	c  222s |      15 |   209383 |   111332 |    17706     11 |      738 |      588
224.66/224.76	c  224s |      15 |   210860 |   112432 |    17706     11 |      738 |      588
226.76/226.86	c  226s |      15 |   212542 |   113532 |    17706     11 |      738 |      588
228.87/228.92	c  228s |      15 |   214436 |   114532 |    17706     11 |      738 |      588
230.97/231.08	c  230s |      15 |   216221 |   115632 |    17706     11 |      738 |      588
233.27/233.34	c  233s |      15 |   217183 |   116432 |    17706     11 |      738 |      588
235.47/235.58	c  235s |      15 |   218085 |   117232 |    17706     11 |      738 |      588
237.67/237.77	c  237s |      15 |   219328 |   118132 |    17706     11 |      738 |      588
239.77/239.85	c  239s |      15 |   220273 |   118932 |    17706     11 |      738 |      588
241.97/242.02	c  241s |      15 |   221062 |   119632 |    17706     11 |      738 |      588
244.35/244.40	c  244s |      15 |   221754 |   120232 |    17706     12 |      738 |      588
246.46/246.56	c  246s |      15 |   223059 |   121232 |    17706     12 |      738 |      588
248.66/248.71	c  248s |      15 |   224186 |   122132 |    17706     12 |      738 |      588
250.76/250.86	c  250s |      15 |   225094 |   122932 |    17706     12 |      738 |      588
252.75/252.86	c  252s |      15 |   225911 |   123632 |    17706     12 |      738 |      588
254.95/255.09	c  254s |      15 |   226875 |   124432 |    17706     12 |      738 |      588
257.05/257.19	c  256s |      15 |   227846 |   125232 |    17706     12 |      738 |      588
259.45/259.51	c  259s |      15 |   228814 |   126032 |    17706     12 |      738 |      588
261.55/261.60	c  261s |      15 |   229636 |   126732 |    17706     12 |      738 |      588
263.85/263.93	c  263s |      15 |   230461 |   127432 |    17706     12 |      738 |      588
266.05/266.10	c  265s |      15 |   231154 |   128032 |    17706     12 |      738 |      588
268.25/268.31	c  268s |      15 |   231840 |   128632 |    17706     12 |      738 |      588
270.45/270.55	c  270s |      15 |   232541 |   129232 |    17706     12 |      738 |      588
272.55/272.67	c  272s |      15 |   233091 |   129732 |    17706     12 |      738 |      588
274.65/274.70	c  274s |      15 |   233646 |   130232 |    17706     12 |      738 |      588
276.85/276.99	c  276s |      15 |   234196 |   130732 |    19477     13 |      738 |      588
279.05/279.12	c  278s |      15 |   235047 |   131432 |    19477     13 |      738 |      588
279.36/279.49	c  279s |      16 |   235182 |   131552 |    19477     13 |      738 |      588
281.45/281.51	c  281s |      16 |   244218 |   133952 |    19477     13 |      738 |      588
283.44/283.54	c  283s |      16 |   247569 |   135652 |    19477     13 |      738 |      588
285.44/285.55	c  285s |      16 |   251636 |   137552 |    19477     13 |      738 |      588
287.44/287.59	c  287s |      16 |   255131 |   139252 |    19477     13 |      738 |      588
289.64/289.72	c  289s |      16 |   257057 |   140652 |    19477     13 |      738 |      588
291.74/291.87	c  291s |      16 |   258499 |   141852 |    19477     13 |      738 |      588
293.94/294.04	c  293s |      16 |   259644 |   142752 |    19477     14 |      738 |      588
296.14/296.27	c  296s |      16 |   261001 |   143852 |    19477     14 |      738 |      588
298.34/298.47	c  298s |      16 |   262131 |   144752 |    19477     14 |      738 |      588
300.44/300.57	c  300s |      16 |   263240 |   145652 |    19477     14 |      738 |      588
302.64/302.79	c  302s |      16 |   264277 |   146552 |    19477     14 |      738 |      588
304.84/304.93	c  304s |      16 |   265194 |   147352 |    19477     14 |      738 |      588
307.04/307.13	c  306s |      16 |   266169 |   148152 |    19477     14 |      738 |      588
309.24/309.37	c  309s |      16 |   267105 |   148952 |    19477     14 |      738 |      588
311.35/311.49	c  311s |      16 |   268170 |   149752 |    19477     14 |      738 |      588
313.45/313.54	c  313s |      16 |   269390 |   150652 |    19477     14 |      738 |      588
315.44/315.58	c  315s |      16 |   270518 |   151552 |    19477     14 |      738 |      588
317.64/317.72	c  317s |      16 |   271550 |   152352 |    19477     14 |      738 |      588
319.74/319.80	c  319s |      16 |   272229 |   152952 |    19477     14 |      738 |      588
321.74/321.83	c  321s |      16 |   273083 |   153652 |    19477     14 |      738 |      588
323.93/324.06	c  323s |      16 |   273885 |   154352 |    19477     15 |      738 |      588
326.03/326.19	c  325s |      16 |   274915 |   155252 |    19477     15 |      738 |      588
328.13/328.24	c  327s |      16 |   275835 |   156052 |    19477     15 |      738 |      588
330.33/330.43	c  330s |      16 |   276764 |   156852 |    19477     15 |      738 |      588
332.73/332.82	c  332s |      16 |   277659 |   157652 |    19477     15 |      738 |      588
334.93/335.00	c  334s |      16 |   278491 |   158352 |    19477     15 |      738 |      588
336.93/337.06	c  336s |      16 |   279155 |   158952 |    19477     15 |      738 |      588
339.03/339.14	c  338s |      16 |   280008 |   159652 |    19477     15 |      738 |      588
341.13/341.27	c  341s |      16 |   281033 |   160452 |    19477     15 |      738 |      588
343.14/343.29	c  343s |      16 |   281747 |   161052 |    19477     15 |      738 |      588
345.23/345.34	c  345s |      16 |   282431 |   161652 |    19477     15 |      738 |      588
347.55/347.70	c  347s |      16 |   283084 |   162252 |    19477     15 |      738 |      588
349.85/349.98	c  349s |      16 |   283769 |   162852 |    19477     15 |      738 |      588
352.14/352.29	c  352s |      16 |   284576 |   163552 |    19477     15 |      738 |      588
354.34/354.46	c  354s |      16 |   285377 |   164252 |    19477     15 |      738 |      588
356.74/356.86	c  356s |      16 |   286180 |   164952 |    19477     15 |      738 |      588
359.04/359.11	c  358s |      16 |   286855 |   165552 |    19477     16 |      738 |      588
361.24/361.34	c  361s |      16 |   287732 |   166352 |    19477     16 |      738 |      588
363.34/363.47	c  363s |      16 |   288616 |   167152 |    19477     16 |      738 |      588
365.44/365.53	c  365s |      16 |   289399 |   167852 |    19477     16 |      738 |      588
367.64/367.72	c  367s |      16 |   290159 |   168552 |    19477     16 |      738 |      588
369.73/369.83	c  369s |      16 |   290947 |   169252 |    19477     16 |      738 |      588
371.74/371.90	c  371s |      16 |   291839 |   170052 |    19477     16 |      738 |      588
373.94/374.04	c  373s |      16 |   293416 |   171052 |    19477     16 |      738 |      588
375.93/376.08	c  375s |      16 |   294694 |   171952 |    19477     16 |      738 |      588
377.93/378.09	c  377s |      16 |   295741 |   172752 |    19477     16 |      738 |      588
380.03/380.16	c  379s |      16 |   296600 |   173452 |    19477     16 |      738 |      588
382.13/382.23	c  381s |      16 |   297551 |   174252 |    19477     16 |      738 |      588
384.33/384.41	c  384s |      16 |   298386 |   174952 |    19477     16 |      738 |      588
386.43/386.59	c  386s |      16 |   299247 |   175652 |    19477     16 |      738 |      588
388.53/388.67	c  388s |      16 |   299921 |   176252 |    19477     16 |      738 |      588
390.54/390.67	c  390s |      16 |   300642 |   176852 |    19477     17 |      738 |      588
392.53/392.69	c  392s |      16 |   301616 |   177652 |    19477     17 |      738 |      588
394.73/394.86	c  394s |      16 |   302498 |   178452 |    19477     17 |      738 |      588
396.93/397.09	c  396s |      16 |   303371 |   179252 |    19477     17 |      738 |      588
399.24/399.37	c  399s |      16 |   304260 |   180052 |    19477     17 |      738 |      588
401.33/401.42	c  401s |      16 |   304892 |   180652 |    19477     17 |      738 |      588
403.32/403.44	c  403s |      16 |   305715 |   181352 |    19477     17 |      738 |      588
405.32/405.46	c  405s |      16 |   306492 |   182052 |    19477     17 |      738 |      588
407.42/407.59	c  407s |      16 |   307912 |   182952 |    19477     17 |      738 |      588
409.62/409.74	c  409s |      16 |   309184 |   183952 |    19477     17 |      738 |      588
411.72/411.86	c  411s |      16 |   310355 |   184852 |    19477     17 |      738 |      588
413.92/414.07	c  413s |      16 |   311340 |   185652 |    19477     17 |      738 |      588
416.22/416.35	c  416s |      16 |   312431 |   186552 |    19477     17 |      738 |      588
418.42/418.51	c  418s |      16 |   313346 |   187352 |    19477     17 |      738 |      588
420.52/420.61	c  420s |      16 |   314155 |   187952 |    19477     18 |      738 |      588
422.62/422.71	c  422s |      16 |   315518 |   188952 |    19477     18 |      738 |      588
424.63/424.71	c  424s |      16 |   316722 |   189852 |    19477     18 |      738 |      588
426.62/426.73	c  426s |      16 |   317984 |   190752 |    19477     18 |      738 |      588
428.81/428.91	c  428s |      16 |   318891 |   191552 |    19477     18 |      738 |      588
430.91/431.04	c  430s |      16 |   319839 |   192352 |    19477     18 |      738 |      588
433.11/433.24	c  432s |      16 |   320774 |   193152 |    19477     18 |      738 |      588
435.21/435.36	c  435s |      16 |   321732 |   193952 |    19477     18 |      738 |      588
437.21/437.39	c  437s |      16 |   322508 |   194652 |    19477     18 |      738 |      588
439.31/439.43	c  439s |      16 |   323322 |   195352 |    19477     18 |      738 |      588
441.41/441.51	c  441s |      16 |   324250 |   196052 |    19477     18 |      738 |      588
443.41/443.53	c  443s |      16 |   325135 |   196752 |    21425     18 |      738 |      588
445.52/445.68	c  445s |      17 |   325941 |   197432 |    21425     18 |      738 |      588
447.51/447.68	c  447s |      17 |   329315 |   199032 |    21425     18 |      738 |      588
449.61/449.71	c  449s |      17 |   331163 |   200532 |    21425     18 |      738 |      588
451.61/451.74	c  451s |      17 |   333987 |   201932 |    21425     19 |      738 |      588
453.71/453.83	c  453s |      17 |   337162 |   203732 |    21425     19 |      738 |      588
455.81/455.90	c  455s |      17 |   338597 |   205032 |    21425     19 |      738 |      588
457.81/457.98	c  457s |      17 |   343194 |   206832 |    21425     19 |      738 |      588
459.91/460.03	c  459s |      17 |   344964 |   208232 |    21425     19 |      738 |      588
462.02/462.19	c  461s |      17 |   346683 |   209532 |    21425     19 |      738 |      588
464.22/464.35	c  464s |      17 |   348176 |   210732 |    21425     19 |      738 |      588
466.21/466.37	c  466s |      17 |   349379 |   211732 |    21425     19 |      738 |      588
468.30/468.42	c  468s |      17 |   350445 |   212632 |    21425     19 |      738 |      588
470.40/470.53	c  470s |      17 |   351362 |   213432 |    21425     20 |      738 |      588
472.50/472.62	c  472s |      17 |   352509 |   214432 |    21425     20 |      738 |      588
474.60/474.73	c  474s |      17 |   353540 |   215332 |    21425     20 |      738 |      588
476.70/476.82	c  476s |      17 |   354632 |   216232 |    21425     20 |      738 |      588
478.70/478.83	c  478s |      17 |   355546 |   217032 |    21425     20 |      738 |      588
480.70/480.90	c  480s |      17 |   356452 |   217832 |    21425     20 |      738 |      588
482.80/482.92	c  482s |      17 |   357217 |   218532 |    21425     20 |      738 |      588
484.89/485.03	c  484s |      17 |   358019 |   219232 |    21425     20 |      738 |      588
486.99/487.17	c  486s |      17 |   358793 |   219932 |    21425     20 |      738 |      588
489.19/489.33	c  489s |      17 |   359606 |   220632 |    21425     20 |      738 |      588
491.19/491.36	c  491s |      17 |   360461 |   221332 |    21425     20 |      738 |      588
493.49/493.60	c  493s |      17 |   361244 |   222032 |    21425     20 |      738 |      588
495.69/495.81	c  495s |      17 |   361888 |   222632 |    21425     20 |      738 |      588
497.89/498.08	c  497s |      17 |   362692 |   223332 |    21425     20 |      738 |      588
500.09/500.22	c  499s |      17 |   363495 |   224032 |    21425     20 |      738 |      588
502.19/502.32	c  502s |      17 |   364288 |   224732 |    21425     20 |      738 |      588
504.69/504.89	c  504s |      17 |   365083 |   225432 |    21425     21 |      738 |      588
506.89/507.06	c  506s |      17 |   366016 |   226232 |    21425     21 |      738 |      588
509.08/509.20	c  508s |      17 |   366931 |   227032 |    21425     21 |      738 |      588
511.08/511.27	c  511s |      17 |   367754 |   227732 |    21425     21 |      738 |      588
513.28/513.40	c  513s |      17 |   368719 |   228532 |    21425     21 |      738 |      588
515.28/515.47	c  515s |      17 |   369557 |   229232 |    21425     21 |      738 |      588
517.38/517.59	c  517s |      17 |   371105 |   230032 |    21425     21 |      738 |      588
519.48/519.67	c  519s |      17 |   373332 |   231332 |    21425     21 |      738 |      588
521.58/521.73	c  521s |      17 |   375038 |   232532 |    21425     21 |      738 |      588
523.59/523.78	c  523s |      17 |   376429 |   233632 |    21425     21 |      738 |      588
525.69/525.83	c  525s |      17 |   379225 |   234832 |    21425     21 |      738 |      588
527.68/527.85	c  527s |      17 |   381610 |   236132 |    21425     21 |      738 |      588
530.09/530.28	c  530s |      17 |   383125 |   237232 |    21425     22 |      738 |      588
532.08/532.28	c  532s |      17 |   385516 |   238732 |    21425     22 |      738 |      588
534.28/534.41	c  534s |      17 |   387426 |   240332 |    21425     22 |      738 |      588
536.28/536.44	c  536s |      17 |   389456 |   241732 |    21425     22 |      738 |      588
538.28/538.46	c  538s |      17 |   390771 |   242932 |    21425     22 |      738 |      588
540.38/540.53	c  540s |      17 |   392609 |   244232 |    21425     22 |      738 |      588
542.58/542.73	c  542s |      17 |   394300 |   245532 |    21425     22 |      738 |      588
544.68/544.82	c  544s |      17 |   395297 |   246432 |    21425     22 |      738 |      588
546.88/547.01	c  546s |      17 |   396576 |   247532 |    21425     22 |      738 |      588
548.98/549.16	c  548s |      17 |   397607 |   248432 |    21425     22 |      738 |      588
551.18/551.39	c  551s |      17 |   398657 |   249332 |    21425     22 |      738 |      588
553.38/553.55	c  553s |      17 |   399402 |   250032 |    21425     23 |      738 |      588
555.58/555.76	c  555s |      17 |   400739 |   251132 |    21425     23 |      738 |      588
557.69/557.84	c  557s |      17 |   401744 |   252032 |    21425     23 |      738 |      588
559.79/559.93	c  559s |      17 |   402740 |   252932 |    21425     23 |      738 |      588
561.99/562.11	c  561s |      17 |   403737 |   253832 |    21425     23 |      738 |      588
564.19/564.32	c  564s |      17 |   404590 |   254632 |    21425     23 |      738 |      588
566.39/566.55	c  566s |      17 |   405466 |   255432 |    21425     23 |      738 |      588
568.48/568.68	c  568s |      17 |   406744 |   256432 |    21425     23 |      738 |      588
570.48/570.68	c  570s |      17 |   407664 |   257232 |    21425     23 |      738 |      588
572.58/572.72	c  572s |      17 |   408443 |   257932 |    21425     23 |      738 |      588
574.77/574.98	c  574s |      17 |   409357 |   258732 |    21425     23 |      738 |      588
576.87/577.02	c  576s |      17 |   410107 |   259432 |    21425     23 |      738 |      588
578.97/579.14	c  578s |      17 |   410904 |   260132 |    21425     23 |      738 |      588
581.17/581.30	c  581s |      17 |   411678 |   260832 |    21425     23 |      738 |      588
583.37/583.56	c  583s |      17 |   412450 |   261532 |    21425     23 |      738 |      588
585.77/585.92	c  585s |      17 |   413232 |   262232 |    21425     24 |      738 |      588
588.07/588.24	c  587s |      17 |   414117 |   263032 |    21425     24 |      738 |      588
590.17/590.36	c  590s |      17 |   414865 |   263732 |    21425     24 |      738 |      588
592.46/592.60	c  592s |      17 |   415640 |   264432 |    21425     24 |      738 |      588
594.66/594.89	c  594s |      17 |   416402 |   265132 |    21425     24 |      738 |      588
596.86/597.04	c  596s |      17 |   417190 |   265832 |    21425     24 |      738 |      588
599.16/599.32	c  599s |      17 |   417973 |   266532 |    21425     24 |      738 |      588
601.46/601.61	c  601s |      17 |   418611 |   267132 |    21425     24 |      738 |      588
603.46/603.69	c  603s |      17 |   419440 |   267832 |    21425     24 |      738 |      588
605.76/605.99	c  605s |      17 |   420194 |   268532 |    21425     24 |      738 |      588
608.17/608.32	c  608s |      17 |   420960 |   269232 |    21425     24 |      738 |      588
610.16/610.32	c  610s |      17 |   421621 |   269832 |    21425     24 |      738 |      588
612.26/612.41	c  612s |      17 |   422287 |   270432 |    21425     24 |      738 |      588
614.36/614.52	c  614s |      17 |   422943 |   271032 |    21425     24 |      738 |      588
616.56/616.76	c  616s |      17 |   423605 |   271632 |    21425     24 |      738 |      588
618.76/618.92	c  618s |      17 |   424260 |   272232 |    21425     24 |      738 |      588
620.75/620.99	c  620s |      17 |   424817 |   272732 |    21425     24 |      738 |      588
623.05/623.23	c  622s |      17 |   425482 |   273332 |    21425     24 |      738 |      588
625.25/625.40	c  625s |      17 |   426166 |   273932 |    21425     24 |      738 |      588
627.75/627.98	c  627s |      17 |   426712 |   274432 |    21425     25 |      738 |      588
629.95/630.17	c  629s |      17 |   427345 |   275032 |    21425     25 |      738 |      588
632.15/632.31	c  632s |      17 |   428094 |   275732 |    21425     25 |      738 |      588
634.25/634.41	c  634s |      17 |   428856 |   276432 |    21425     25 |      738 |      588
636.45/636.66	c  636s |      17 |   429596 |   277132 |    21425     25 |      738 |      588
638.64/638.83	c  638s |      17 |   430378 |   277832 |    21425     25 |      738 |      588
640.74/640.91	c  640s |      17 |   431024 |   278432 |    21425     25 |      738 |      588
642.94/643.15	c  642s |      17 |   431794 |   279132 |    21425     25 |      738 |      588
645.14/645.37	c  645s |      17 |   432574 |   279832 |    21425     25 |      738 |      588
647.34/647.57	c  647s |      17 |   433348 |   280532 |    21425     25 |      738 |      588
649.54/649.74	c  649s |      17 |   434109 |   281232 |    21425     25 |      738 |      588
651.63/651.85	c  651s |      17 |   434913 |   281932 |    21425     25 |      738 |      588
653.73/653.92	c  653s |      17 |   435570 |   282532 |    21425     25 |      738 |      588
656.03/656.25	c  655s |      17 |   436326 |   283232 |    21425     25 |      738 |      588
658.33/658.55	c  658s |      17 |   437103 |   283932 |    21425     25 |      738 |      588
660.73/660.93	c  660s |      17 |   437742 |   284532 |    21425     25 |      738 |      588
662.93/663.17	c  662s |      17 |   438384 |   285132 |    21425     25 |      738 |      588
665.03/665.20	c  664s |      17 |   438909 |   285632 |    21425     25 |      738 |      588
667.03/667.25	c  666s |      17 |   439426 |   286132 |    21425     25 |      738 |      588
669.33/669.58	c  669s |      17 |   439901 |   286532 |    21425     26 |      738 |      588
671.52/671.78	c  671s |      17 |   440789 |   287332 |    21425     26 |      738 |      588
673.72/673.91	c  673s |      17 |   441581 |   288032 |    21425     26 |      738 |      588
675.82/676.01	c  675s |      17 |   442347 |   288732 |    21425     26 |      738 |      588
677.92/678.19	c  677s |      17 |   443115 |   289432 |    21425     26 |      738 |      588
680.02/680.21	c  679s |      17 |   443788 |   290032 |    21425     26 |      738 |      588
682.12/682.30	c  682s |      17 |   444545 |   290732 |    21425     26 |      738 |      588
684.32/684.58	c  684s |      17 |   445301 |   291432 |    21425     26 |      738 |      588
686.71/686.93	c  686s |      17 |   446053 |   292132 |    21425     26 |      738 |      588
688.81/689.07	c  688s |      17 |   446712 |   292732 |    21425     26 |      738 |      588
691.01/691.22	c  690s |      17 |   447382 |   293332 |    21425     26 |      738 |      588
693.01/693.29	c  693s |      17 |   448047 |   293932 |    21425     26 |      738 |      588
695.31/695.53	c  695s |      17 |   448703 |   294532 |    23568     26 |      738 |      588
697.32/697.53	c  697s |      17 |   449235 |   295032 |    23568     26 |      738 |      588
699.31/699.57	c  699s |      17 |   449764 |   295532 |    23568     26 |      738 |      588
701.71/701.93	c  701s |      17 |   450402 |   296132 |    23568     26 |      738 |      588
702.20/702.45	c  702s |      18 |   450530 |   296252 |    23568     26 |      738 |      588
704.30/704.50	c  704s |      18 |   463842 |   298452 |    23568     26 |      738 |      588
706.30/706.50	c  706s |      18 |   468987 |   300552 |    23568     26 |      738 |      588
708.40/708.66	c  708s |      18 |   470720 |   301752 |    23568     27 |      738 |      588
710.41/710.66	c  710s |      18 |   472887 |   303052 |    23568     27 |      738 |      588
712.49/712.71	c  712s |      18 |   474117 |   304052 |    23568     27 |      738 |      588
714.49/714.79	c  714s |      18 |   474920 |   304752 |    23568     27 |      738 |      588
716.59/716.84	c  716s |      18 |   479075 |   306452 |    23568     27 |      738 |      588
718.69/718.90	c  718s |      18 |   487527 |   308552 |    23568     27 |      738 |      588
720.69/720.93	c  720s |      18 |   490037 |   309952 |    23568     27 |      738 |      588
722.80/723.09	c  722s |      18 |   491541 |   311152 |    23568     27 |      738 |      588
725.00/725.24	c  724s |      18 |   493017 |   312252 |    23568     27 |      738 |      588
727.01/727.27	c  727s |      18 |   494401 |   313252 |    23568     27 |      738 |      588
729.11/729.34	c  729s |      18 |   495844 |   314352 |    23568     27 |      738 |      588
731.19/731.46	c  731s |      18 |   496839 |   315152 |    23568     28 |      738 |      588
733.39/733.63	c  733s |      18 |   498205 |   316252 |    23568     28 |      738 |      588
735.49/735.79	c  735s |      18 |   499493 |   317252 |    23568     28 |      738 |      588
737.69/737.96	c  737s |      18 |   500812 |   318252 |    23568     28 |      738 |      588
739.89/740.11	c  739s |      18 |   502130 |   319252 |    23568     28 |      738 |      588
741.88/742.12	c  741s |      18 |   503455 |   320252 |    23568     28 |      738 |      588
743.88/744.14	c  743s |      18 |   504455 |   321052 |    23568     28 |      738 |      588
745.88/746.17	c  745s |      18 |   505456 |   321852 |    23568     28 |      738 |      588
747.98/748.28	c  748s |      18 |   506513 |   322652 |    23568     28 |      738 |      588
749.99/750.30	c  750s |      18 |   507375 |   323352 |    23568     28 |      738 |      588
752.08/752.34	c  752s |      18 |   508196 |   324052 |    23568     28 |      738 |      588
754.08/754.36	c  754s |      18 |   509042 |   324752 |    23568     28 |      738 |      588
756.18/756.42	c  756s |      18 |   509723 |   325352 |    23568     28 |      738 |      588
758.17/758.49	c  758s |      18 |   510422 |   325952 |    23568     28 |      738 |      588
760.37/760.69	c  760s |      18 |   511255 |   326652 |    23568     28 |      738 |      588
762.67/762.97	c  762s |      18 |   511941 |   327252 |    23568     28 |      738 |      588
765.27/765.52	c  765s |      18 |   512677 |   327852 |    23568     29 |      738 |      588
767.37/767.68	c  767s |      18 |   513480 |   328552 |    23568     29 |      738 |      588
769.47/769.73	c  769s |      18 |   514312 |   329252 |    23568     29 |      738 |      588
771.67/771.96	c  771s |      18 |   515091 |   329952 |    23568     29 |      738 |      588
773.87/774.13	c  773s |      18 |   515885 |   330652 |    23568     29 |      738 |      588
776.07/776.31	c  776s |      18 |   516707 |   331352 |    23568     29 |      738 |      588
778.26/778.51	c  778s |      18 |   517681 |   332152 |    23568     29 |      738 |      588
780.46/780.72	c  780s |      18 |   518486 |   332852 |    23568     29 |      738 |      588
782.66/782.92	c  782s |      18 |   519296 |   333552 |    23568     29 |      738 |      588
784.66/784.94	c  784s |      18 |   519983 |   334152 |    23568     29 |      738 |      588
786.96/787.22	c  786s |      18 |   520658 |   334752 |    23568     29 |      738 |      588
789.16/789.49	c  789s |      18 |   521344 |   335352 |    23568     29 |      738 |      588
791.35/791.68	c  791s |      18 |   522180 |   336052 |    23568     29 |      738 |      588
793.65/793.90	c  793s |      18 |   523014 |   336752 |    23568     29 |      738 |      588
795.75/796.09	c  795s |      18 |   523716 |   337352 |    23568     29 |      738 |      588
798.05/798.34	c  798s |      18 |   524434 |   337952 |    23568     29 |      738 |      588
800.05/800.36	c  800s |      18 |   525039 |   338452 |    23568     29 |      738 |      588
802.24/802.56	c  802s |      18 |   525599 |   338952 |    23568     29 |      738 |      588
804.34/804.67	c  804s |      18 |   526163 |   339452 |    23568     29 |      738 |      588
806.34/806.67	c  806s |      18 |   526723 |   339952 |    23568     29 |      738 |      588
808.64/808.92	c  808s |      18 |   527294 |   340452 |    23568     29 |      738 |      588
810.93/811.29	c  811s |      18 |   527959 |   341052 |    23568     29 |      738 |      588
813.14/813.49	c  813s |      18 |   528657 |   341652 |    23568     30 |      738 |      588
815.34/815.68	c  815s |      18 |   529741 |   342552 |    23568     30 |      738 |      588
817.54/817.89	c  817s |      18 |   530825 |   343452 |    23568     30 |      738 |      588
819.84/820.14	c  819s |      18 |   531618 |   344152 |    23568     30 |      738 |      588
822.13/822.41	c  822s |      18 |   532455 |   344852 |    23568     30 |      738 |      588
824.23/824.50	c  824s |      18 |   533299 |   345552 |    23568     30 |      738 |      588
826.23/826.58	c  826s |      18 |   533990 |   346152 |    23568     30 |      738 |      588
828.43/828.77	c  828s |      18 |   534673 |   346752 |    23568     30 |      738 |      588
830.53/830.86	c  830s |      18 |   535203 |   347252 |    23568     30 |      738 |      588
832.63/832.95	c  832s |      18 |   535911 |   347852 |    23568     30 |      738 |      588
834.93/835.29	c  835s |      18 |   536588 |   348452 |    23568     30 |      738 |      588
837.13/837.44	c  837s |      18 |   537144 |   348952 |    23568     30 |      738 |      588
839.33/839.63	c  839s |      18 |   537851 |   349552 |    23568     30 |      738 |      588
841.33/841.64	c  841s |      18 |   538376 |   350052 |    23568     30 |      738 |      588
843.62/843.97	c  843s |      18 |   539061 |   350652 |    23568     30 |      738 |      588
846.02/846.39	c  846s |      18 |   539767 |   351252 |    23568     30 |      738 |      588
848.42/848.74	c  848s |      18 |   540440 |   351852 |    23568     30 |      738 |      588
850.71/851.00	c  850s |      18 |   541147 |   352452 |    23568     30 |      738 |      588
852.81/853.13	c  852s |      18 |   541708 |   352952 |    23568     30 |      738 |      588
855.01/855.36	c  855s |      18 |   542281 |   353452 |    23568     30 |      738 |      588
857.11/857.42	c  857s |      18 |   542823 |   353952 |    23568     30 |      738 |      588
859.21/859.58	c  859s |      18 |   543384 |   354452 |    23568     30 |      738 |      588
861.30/861.65	c  861s |      18 |   543812 |   354852 |    23568     31 |      738 |      588
863.60/863.94	c  863s |      18 |   544600 |   355552 |    23568     31 |      738 |      588
865.70/866.00	c  865s |      18 |   545442 |   356252 |    23568     31 |      738 |      588
867.80/868.10	c  867s |      18 |   546272 |   356952 |    23568     31 |      738 |      588
869.99/870.35	c  870s |      18 |   547050 |   357652 |    23568     31 |      738 |      588
872.00/872.39	c  872s |      18 |   547725 |   358252 |    23568     31 |      738 |      588
874.09/874.50	c  874s |      18 |   548538 |   358952 |    23568     31 |      738 |      588
876.19/876.57	c  876s |      18 |   549201 |   359552 |    23568     31 |      738 |      588
878.49/878.82	c  878s |      18 |   550007 |   360252 |    23568     31 |      738 |      588
880.79/881.14	c  880s |      18 |   550795 |   360952 |    23568     31 |      738 |      588
883.09/883.44	c  883s |      18 |   551492 |   361552 |    23568     31 |      738 |      588
885.08/885.49	c  885s |      18 |   552166 |   362152 |    23568     31 |      738 |      588
887.39/887.75	c  887s |      18 |   552825 |   362752 |    23568     31 |      738 |      588
889.38/889.77	c  889s |      18 |   553392 |   363252 |    23568     31 |      738 |      588
891.68/892.02	c  891s |      18 |   554065 |   363852 |    23568     31 |      738 |      588
893.99/894.32	c  894s |      18 |   554732 |   364452 |    23568     31 |      738 |      588
896.28/896.65	c  896s |      18 |   555424 |   365052 |    23568     31 |      738 |      588
898.38/898.71	c  898s |      18 |   556127 |   365652 |    23568     31 |      738 |      588
900.47/900.82	c  900s |      18 |   556819 |   366252 |    23568     31 |      738 |      588
902.47/902.87	c  902s |      18 |   557381 |   366752 |    23568     31 |      738 |      588
904.67/905.00	c  904s |      18 |   557941 |   367252 |    23568     31 |      738 |      588
906.77/907.10	c  906s |      18 |   558500 |   367752 |    23568     31 |      738 |      588
908.77/909.13	c  908s |      18 |   558955 |   368152 |    23568     32 |      738 |      588
910.76/911.19	c  910s |      18 |   559766 |   368852 |    23568     32 |      738 |      588
912.86/913.22	c  912s |      18 |   560443 |   369452 |    23568     32 |      738 |      588
915.16/915.58	c  915s |      18 |   561212 |   370152 |    23568     32 |      738 |      588
917.26/917.69	c  917s |      18 |   561871 |   370752 |    23568     32 |      738 |      588
919.57/919.98	c  919s |      18 |   562531 |   371352 |    23568     32 |      738 |      588
921.66/922.07	c  921s |      18 |   563204 |   371952 |    23568     32 |      738 |      588
923.96/924.38	c  924s |      18 |   564008 |   372652 |    23568     32 |      738 |      588
926.16/926.52	c  926s |      18 |   564699 |   373252 |    23568     32 |      738 |      588
928.36/928.75	c  928s |      18 |   565393 |   373852 |    23568     32 |      738 |      588
930.55/930.94	c  930s |      18 |   566187 |   374552 |    23568     32 |      738 |      588
932.65/933.06	c  932s |      18 |   566843 |   375152 |    23568     32 |      738 |      588
934.95/935.31	c  935s |      18 |   567518 |   375752 |    23568     32 |      738 |      588
937.15/937.52	c  937s |      18 |   568355 |   376452 |    23568     32 |      738 |      588
939.35/939.72	c  939s |      18 |   569049 |   377052 |    23568     32 |      738 |      588
941.54/941.97	c  941s |      18 |   569759 |   377652 |    23568     32 |      738 |      588
943.64/944.02	c  943s |      18 |   570304 |   378152 |    23568     32 |      738 |      588
945.75/946.15	c  945s |      18 |   570992 |   378752 |    23568     32 |      738 |      588
947.95/948.33	c  948s |      18 |   571665 |   379352 |    23568     32 |      738 |      588
950.23/950.66	c  950s |      18 |   572497 |   380052 |    23568     32 |      738 |      588
952.53/952.94	c  952s |      18 |   573174 |   380652 |    23568     32 |      738 |      588
954.73/955.16	c  954s |      18 |   573862 |   381252 |    23568     32 |      738 |      588
956.93/957.34	c  957s |      18 |   574441 |   381752 |    23568     33 |      738 |      588
958.94/959.35	c  959s |      18 |   575103 |   382352 |    23568     33 |      738 |      588
961.14/961.53	c  961s |      18 |   575884 |   383052 |    23568     33 |      738 |      588
963.23/963.68	c  963s |      18 |   576718 |   383752 |    23568     33 |      738 |      588
965.43/965.90	c  965s |      18 |   577508 |   384452 |    23568     33 |      738 |      588
967.73/968.15	c  967s |      18 |   578296 |   385152 |    23568     33 |      738 |      588
969.72/970.18	c  969s |      18 |   578985 |   385752 |    23568     33 |      738 |      588
972.03/972.43	c  972s |      18 |   579636 |   386352 |    23568     33 |      738 |      588
974.02/974.44	c  974s |      18 |   580328 |   386952 |    23568     33 |      738 |      588
976.32/976.74	c  976s |      18 |   581137 |   387652 |    23568     33 |      738 |      588
978.43/978.84	c  978s |      18 |   581828 |   388252 |    23568     33 |      738 |      588
980.63/981.06	c  980s |      18 |   582519 |   388852 |    23568     33 |      738 |      588
982.83/983.24	c  982s |      18 |   583357 |   389552 |    23568     33 |      738 |      588
984.93/985.33	c  985s |      18 |   584064 |   390152 |    23568     33 |      738 |      588
987.13/987.54	c  987s |      18 |   584785 |   390752 |    23568     33 |      738 |      588
989.43/989.87	c  989s |      18 |   585471 |   391352 |    23568     33 |      738 |      588
991.73/992.18	c  991s |      18 |   586150 |   391952 |    23568     33 |      738 |      588
994.04/994.49	c  994s |      18 |   586840 |   392552 |    23568     33 |      738 |      588
996.43/996.81	c  996s |      18 |   587533 |   393152 |    23568     33 |      738 |      588
998.44/998.88	c  998s |      18 |   588093 |   393652 |    23568     33 |      738 |      588
1000.64/1001.04	c 1000s |      18 |   588765 |   394252 |    23568     33 |      738 |      588
1003.13/1003.56	c 1003s |      18 |   589340 |   394752 |    23568     34 |      738 |      588
1005.43/1005.86	c 1005s |      18 |   590130 |   395452 |    23568     34 |      738 |      588
1007.63/1008.06	c 1007s |      18 |   590786 |   396052 |    23568     34 |      738 |      588
1009.93/1010.34	c 1010s |      18 |   591631 |   396752 |    23568     34 |      738 |      588
1012.13/1012.53	c 1012s |      18 |   592404 |   397452 |    23568     34 |      738 |      588
1014.33/1014.77	c 1014s |      18 |   593195 |   398152 |    23568     34 |      738 |      588
1016.62/1017.03	c 1016s |      18 |   593986 |   398852 |    23568     34 |      738 |      588
1018.62/1019.08	c 1018s |      18 |   594643 |   399452 |    23568     34 |      738 |      588
1020.92/1021.37	c 1021s |      18 |   595440 |   400152 |    23568     34 |      738 |      588
1023.12/1023.52	c 1023s |      18 |   596105 |   400752 |    23568     34 |      738 |      588
1025.12/1025.54	c 1025s |      18 |   596777 |   401352 |    23568     34 |      738 |      588
1027.52/1027.90	c 1027s |      18 |   597570 |   402052 |    23568     34 |      738 |      588
1029.82/1030.28	c 1030s |      18 |   598239 |   402652 |    23568     34 |      738 |      588
1032.22/1032.60	c 1032s |      18 |   598913 |   403252 |    23568     34 |      738 |      588
1034.42/1034.84	c 1034s |      18 |   599760 |   403952 |    23568     34 |      738 |      588
1036.72/1037.14	c 1036s |      18 |   600408 |   404552 |    23568     34 |      738 |      588
1038.82/1039.21	c 1038s |      18 |   600983 |   405052 |    23568     34 |      738 |      588
1040.92/1041.36	c 1041s |      18 |   601526 |   405552 |    23568     34 |      738 |      588
1043.02/1043.42	c 1043s |      18 |   602072 |   406052 |    23568     34 |      738 |      588
1045.12/1045.56	c 1045s |      18 |   602617 |   406552 |    23568     34 |      738 |      588
1047.32/1047.77	c 1047s |      18 |   603336 |   407152 |    23568     34 |      738 |      588
1049.42/1049.80	c 1049s |      18 |   603906 |   407652 |    23568     34 |      738 |      588
1051.42/1051.83	c 1051s |      18 |   604475 |   408152 |    23568     34 |      738 |      588
1053.62/1054.08	c 1053s |      18 |   605043 |   408652 |    23568     35 |      738 |      588
1055.62/1056.08	c 1055s |      18 |   605827 |   409352 |    23568     35 |      738 |      588
1057.82/1058.22	c 1057s |      18 |   606500 |   409952 |    23568     35 |      738 |      588
1059.81/1060.29	c 1060s |      18 |   607291 |   410652 |    23568     35 |      738 |      588
1062.01/1062.42	c 1062s |      18 |   607955 |   411252 |    23568     35 |      738 |      588
1064.01/1064.47	c 1064s |      18 |   608635 |   411852 |    23568     35 |      738 |      588
1066.21/1066.63	c 1066s |      18 |   609307 |   412452 |    23568     35 |      738 |      588
1068.31/1068.79	c 1068s |      18 |   610108 |   413152 |    23568     35 |      738 |      588
1070.61/1071.07	c 1070s |      18 |   611053 |   413952 |    23568     35 |      738 |      588
1072.81/1073.23	c 1072s |      18 |   611862 |   414652 |    23568     35 |      738 |      588
1074.91/1075.39	c 1075s |      18 |   612651 |   415352 |    23568     35 |      738 |      588
1077.31/1077.71	c 1077s |      18 |   613317 |   415952 |    23568     35 |      738 |      588
1079.41/1079.83	c 1079s |      18 |   614014 |   416552 |    23568     35 |      738 |      588
1081.51/1081.95	c 1081s |      18 |   614827 |   417252 |    23568     35 |      738 |      588
1083.71/1084.19	c 1083s |      18 |   615679 |   417952 |    23568     35 |      738 |      588
1085.91/1086.35	c 1086s |      18 |   616389 |   418552 |    23568     35 |      738 |      588
1087.91/1088.39	c 1088s |      18 |   617067 |   419152 |    23568     35 |      738 |      588
1090.41/1090.82	c 1090s |      18 |   617711 |   419752 |    23568     35 |      738 |      588
1092.61/1093.06	c 1092s |      18 |   618373 |   420352 |    23568     35 |      738 |      588
1094.71/1095.14	c 1094s |      18 |   618933 |   420852 |    23568     35 |      738 |      588
1097.11/1097.55	c 1097s |      18 |   619625 |   421452 |    23568     35 |      738 |      588
1099.21/1099.61	c 1099s |      18 |   620051 |   421852 |    23568     36 |      738 |      588
1101.21/1101.62	c 1101s |      18 |   620841 |   422552 |    23568     36 |      738 |      588
1103.31/1103.77	c 1103s |      18 |   621630 |   423252 |    23568     36 |      738 |      588
1105.60/1106.02	c 1105s |      18 |   622411 |   423952 |    23568     36 |      738 |      588
1107.70/1108.19	c 1107s |      18 |   623072 |   424552 |    23568     36 |      738 |      588
1109.80/1110.28	c 1110s |      18 |   623729 |   425152 |    23568     36 |      738 |      588
1111.91/1112.31	c 1112s |      18 |   624402 |   425752 |    23568     36 |      738 |      588
1113.92/1114.38	c 1114s |      18 |   625056 |   426352 |    23568     36 |      738 |      588
1116.01/1116.47	c 1116s |      18 |   625734 |   426952 |    23568     36 |      738 |      588
1118.11/1118.58	c 1118s |      18 |   626406 |   427552 |    23568     36 |      738 |      588
1120.41/1120.85	c 1120s |      18 |   627064 |   428152 |    23568     36 |      738 |      588
1122.61/1123.05	c 1122s |      18 |   627910 |   428852 |    23568     36 |      738 |      588
1124.71/1125.19	c 1124s |      18 |   628599 |   429452 |    23568     36 |      738 |      588
1127.12/1127.58	c 1127s |      18 |   629241 |   430052 |    23568     36 |      738 |      588
1129.11/1129.58	c 1129s |      18 |   629798 |   430552 |    23568     36 |      738 |      588
1131.21/1131.66	c 1131s |      18 |   630469 |   431152 |    23568     36 |      738 |      588
1133.21/1133.66	c 1133s |      18 |   631137 |   431752 |    23568     36 |      738 |      588
1135.31/1135.78	c 1135s |      18 |   631794 |   432352 |    23568     36 |      738 |      588
1137.51/1137.90	c 1137s |      18 |   632346 |   432852 |    23568     36 |      738 |      588
1139.60/1140.03	c 1139s |      18 |   632904 |   433352 |    23568     36 |      738 |      588
1141.90/1142.35	c 1142s |      18 |   633571 |   433952 |    23568     36 |      738 |      588
1144.00/1144.43	c 1144s |      18 |   634114 |   434452 |    23568     36 |      738 |      588
1146.20/1146.63	c 1146s |      18 |   634564 |   434852 |    23568     37 |      738 |      588
1148.50/1148.92	c 1148s |      18 |   635214 |   435452 |    23568     37 |      738 |      588
1150.50/1150.98	c 1150s |      18 |   636088 |   436152 |    23568     37 |      738 |      588
1152.70/1153.13	c 1152s |      18 |   637256 |   437052 |    23568     37 |      738 |      588
1154.80/1155.21	c 1154s |      18 |   638163 |   437852 |    23568     37 |      738 |      588
1156.91/1157.33	c 1157s |      18 |   639093 |   438652 |    23568     37 |      738 |      588
1158.90/1159.39	c 1159s |      18 |   639870 |   439352 |    23568     37 |      738 |      588
1161.00/1161.43	c 1161s |      18 |   640669 |   440052 |    23568     37 |      738 |      588
1163.00/1163.44	c 1163s |      18 |   641480 |   440752 |    23568     37 |      738 |      588
1165.10/1165.54	c 1165s |      18 |   642320 |   441452 |    25925     37 |      738 |      588
1167.20/1167.67	c 1167s |      18 |   643306 |   442252 |    25925     37 |      738 |      588
1169.30/1169.73	c 1169s |      18 |   644027 |   442852 |    25925     37 |      738 |      588
1171.60/1172.01	c 1171s |      18 |   644838 |   443552 |    25925     37 |      738 |      588
1173.70/1174.14	c 1173s |      18 |   645655 |   444252 |    25925     37 |      738 |      588
1174.51/1174.91	c 1174s |      19 |   645923 |   444482 |    25925     37 |      738 |      588
1176.50/1176.95	c 1176s |      19 |   649842 |   446082 |    25925     37 |      738 |      588
1178.60/1179.00	c 1178s |      19 |   655032 |   448382 |    25925     37 |      738 |      588
1180.60/1181.03	c 1180s |      19 |   656685 |   449782 |    25925     37 |      738 |      588
1182.70/1183.10	c 1182s |      19 |   658248 |   450982 |    25925     38 |      738 |      588
1184.80/1185.21	c 1184s |      19 |   663415 |   453082 |    25925     38 |      738 |      588
1186.80/1187.26	c 1187s |      19 |   664954 |   454282 |    25925     38 |      738 |      588
1188.90/1189.34	c 1189s |      19 |   666637 |   455582 |    25925     38 |      738 |      588
1190.90/1191.34	c 1191s |      19 |   667927 |   456682 |    25925     38 |      738 |      588
1192.89/1193.36	c 1193s |      19 |   668939 |   457582 |    25925     38 |      738 |      588
1194.99/1195.48	c 1195s |      19 |   669816 |   458382 |    25925     38 |      738 |      588
1197.19/1197.63	c 1197s |      19 |   670935 |   459382 |    25925     38 |      738 |      588
1199.19/1199.65	c 1199s |      19 |   671973 |   460282 |    25925     38 |      738 |      588
1201.19/1201.67	c 1201s |      19 |   673020 |   461182 |    25925     38 |      738 |      588
1203.29/1203.78	c 1203s |      19 |   673917 |   461982 |    25925     38 |      738 |      588
1205.30/1205.80	c 1205s |      19 |   674810 |   462682 |    25925     38 |      738 |      588
1207.40/1207.90	c 1207s |      19 |   676755 |   463982 |    25925     38 |      738 |      588
1209.60/1210.07	c 1209s |      19 |   678197 |   464982 |    25925     39 |      738 |      588
1211.69/1212.11	c 1211s |      19 |   679657 |   466082 |    25925     39 |      738 |      588
1213.79/1214.21	c 1213s |      19 |   681315 |   467182 |    25925     39 |      738 |      588
1215.99/1216.43	c 1216s |      19 |   682567 |   468182 |    25925     39 |      738 |      588
1218.09/1218.51	c 1218s |      19 |   683687 |   469082 |    25925     39 |      738 |      588
1220.19/1220.66	c 1220s |      19 |   684670 |   469882 |    25925     39 |      738 |      588
1222.29/1222.74	c 1222s |      19 |   685754 |   470682 |    25925     39 |      738 |      588
1224.29/1224.75	c 1224s |      19 |   686783 |   471482 |    25925     39 |      738 |      588
1226.29/1226.79	c 1226s |      19 |   687575 |   472182 |    25925     39 |      738 |      588
1228.40/1228.81	c 1228s |      19 |   688409 |   472882 |    25925     39 |      738 |      588
1230.50/1230.93	c 1230s |      19 |   689384 |   473682 |    25925     39 |      738 |      588
1232.80/1233.26	c 1233s |      19 |   690242 |   474382 |    25925     39 |      738 |      588
1235.19/1235.61	c 1235s |      19 |   691169 |   475182 |    25925     39 |      738 |      588
1237.20/1237.64	c 1237s |      19 |   691890 |   475782 |    25925     39 |      738 |      588
1239.49/1239.96	c 1239s |      19 |   692751 |   476482 |    25925     39 |      738 |      588
1241.60/1242.07	c 1241s |      19 |   693504 |   477082 |    25925     39 |      738 |      588
1243.79/1244.23	c 1243s |      19 |   694363 |   477782 |    25925     39 |      738 |      588
1245.89/1246.34	c 1246s |      19 |   695110 |   478382 |    25925     39 |      738 |      588
1247.88/1248.34	c 1248s |      19 |   695594 |   478782 |    25925     39 |      738 |      588
1250.08/1250.54	c 1250s |      19 |   696153 |   479282 |    25925     39 |      738 |      588
1252.38/1252.85	c 1252s |      19 |   696728 |   479782 |    25925     40 |      738 |      588
1254.58/1255.00	c 1254s |      19 |   697417 |   480382 |    25925     40 |      738 |      588
1256.58/1257.04	c 1256s |      19 |   697978 |   480882 |    25925     40 |      738 |      588
1258.88/1259.33	c 1259s |      19 |   698842 |   481582 |    25925     40 |      738 |      588
1261.18/1261.66	c 1261s |      19 |   699629 |   482282 |    25925     40 |      738 |      588
1263.38/1263.83	c 1263s |      19 |   700318 |   482882 |    25925     40 |      738 |      588
1265.69/1266.18	c 1265s |      19 |   701180 |   483582 |    25925     40 |      738 |      588
1267.89/1268.33	c 1268s |      19 |   701876 |   484182 |    25925     40 |      738 |      588
1270.29/1270.72	c 1270s |      19 |   702575 |   484782 |    25925     40 |      738 |      588
1272.30/1272.79	c 1272s |      19 |   703293 |   485382 |    25925     40 |      738 |      588
1274.60/1275.05	c 1274s |      19 |   703984 |   485982 |    25925     40 |      738 |      588
1276.79/1277.29	c 1277s |      19 |   704584 |   486482 |    25925     40 |      738 |      588
1278.99/1279.48	c 1279s |      19 |   705288 |   487082 |    25925     40 |      738 |      588
1281.19/1281.65	c 1281s |      19 |   706027 |   487682 |    25925     40 |      738 |      588
1283.18/1283.67	c 1283s |      19 |   706609 |   488182 |    25925     40 |      738 |      588
1285.28/1285.73	c 1285s |      19 |   707187 |   488682 |    25925     40 |      738 |      588
1287.69/1288.19	c 1287s |      19 |   707892 |   489282 |    25925     40 |      738 |      588
1289.89/1290.37	c 1290s |      19 |   708483 |   489782 |    25925     40 |      738 |      588
1292.09/1292.52	c 1292s |      19 |   709051 |   490282 |    25925     40 |      738 |      588
1294.29/1294.75	c 1294s |      19 |   709751 |   490882 |    25925     40 |      738 |      588
1296.38/1296.84	c 1296s |      19 |   710332 |   491382 |    25925     40 |      738 |      588
1298.79/1299.22	c 1298s |      19 |   710879 |   491882 |    25925     40 |      738 |      588
1300.89/1301.34	c 1301s |      19 |   711320 |   492282 |    25925     40 |      738 |      588
1303.09/1303.52	c 1303s |      19 |   711764 |   492682 |    25925     40 |      738 |      588
1305.18/1305.67	c 1305s |      19 |   712366 |   493182 |    25925     40 |      738 |      588
1307.38/1307.89	c 1307s |      19 |   712939 |   493682 |    25925     40 |      738 |      588
1309.69/1310.11	c 1309s |      19 |   713397 |   494082 |    25925     41 |      738 |      588
1311.99/1312.46	c 1312s |      19 |   714329 |   494882 |    25925     41 |      738 |      588
1314.09/1314.57	c 1314s |      19 |   715019 |   495482 |    25925     41 |      738 |      588
1316.29/1316.80	c 1316s |      19 |   715823 |   496182 |    25925     41 |      738 |      588
1318.38/1318.90	c 1318s |      19 |   716635 |   496882 |    25925     41 |      738 |      588
1320.48/1320.96	c 1320s |      19 |   717312 |   497482 |    25925     41 |      738 |      588
1322.67/1323.17	c 1322s |      19 |   717967 |   498082 |    25925     41 |      738 |      588
1324.97/1325.50	c 1325s |      19 |   718624 |   498682 |    25925     41 |      738 |      588
1327.07/1327.58	c 1327s |      19 |   719170 |   499182 |    25925     41 |      738 |      588
1329.37/1329.82	c 1329s |      19 |   719713 |   499682 |    25925     41 |      738 |      588
1331.57/1332.05	c 1331s |      19 |   720417 |   500282 |    25925     41 |      738 |      588
1333.57/1334.08	c 1333s |      19 |   721116 |   500882 |    25925     41 |      738 |      588
1335.77/1336.28	c 1336s |      19 |   721790 |   501482 |    25925     41 |      738 |      588
1338.17/1338.60	c 1338s |      19 |   722464 |   502082 |    25925     41 |      738 |      588
1340.27/1340.79	c 1340s |      19 |   723155 |   502682 |    25925     41 |      738 |      588
1342.37/1342.80	c 1342s |      19 |   723707 |   503182 |    25925     41 |      738 |      588
1344.57/1345.00	c 1344s |      19 |   724404 |   503782 |    25925     41 |      738 |      588
1346.57/1347.06	c 1346s |      19 |   724964 |   504282 |    25925     41 |      738 |      588
1348.77/1349.26	c 1349s |      19 |   725526 |   504782 |    25925     41 |      738 |      588
1351.17/1351.64	c 1351s |      19 |   726192 |   505382 |    25925     41 |      738 |      588
1353.57/1354.03	c 1353s |      19 |   726748 |   505882 |    25925     41 |      738 |      588
1355.67/1356.14	c 1355s |      19 |   727452 |   506482 |    25925     41 |      738 |      588
1357.97/1358.50	c 1358s |      19 |   728168 |   507082 |    25925     41 |      738 |      588
1360.07/1360.58	c 1360s |      19 |   728735 |   507582 |    25925     41 |      738 |      588
1362.37/1362.85	c 1362s |      19 |   729467 |   508182 |    25925     41 |      738 |      588
1364.37/1364.86	c 1364s |      19 |   730203 |   508782 |    25925     42 |      738 |      588
1366.67/1367.16	c 1366s |      19 |   731134 |   509582 |    25925     42 |      738 |      588
1368.87/1369.34	c 1369s |      19 |   732083 |   510382 |    25925     42 |      738 |      588
1370.97/1371.49	c 1371s |      19 |   732933 |   511082 |    25925     42 |      738 |      588
1373.27/1373.78	c 1373s |      19 |   733864 |   511882 |    25925     42 |      738 |      588
1375.57/1376.00	c 1375s |      19 |   734678 |   512582 |    25925     42 |      738 |      588
1377.66/1378.14	c 1377s |      19 |   735355 |   513182 |    25925     42 |      738 |      588
1380.07/1380.51	c 1380s |      19 |   736148 |   513882 |    25925     42 |      738 |      588
1382.16/1382.66	c 1382s |      19 |   736943 |   514582 |    25925     42 |      738 |      588
1384.16/1384.68	c 1384s |      19 |   737662 |   515182 |    25925     42 |      738 |      588
1386.26/1386.70	c 1386s |      19 |   738337 |   515782 |    25925     42 |      738 |      588
1388.26/1388.75	c 1388s |      19 |   738871 |   516282 |    25925     42 |      738 |      588
1390.46/1390.92	c 1390s |      19 |   739533 |   516882 |    25925     42 |      738 |      588
1392.86/1393.32	c 1393s |      19 |   740189 |   517482 |    25925     42 |      738 |      588
1395.06/1395.51	c 1395s |      19 |   740925 |   518082 |    25925     42 |      738 |      588
1397.16/1397.66	c 1397s |      19 |   741784 |   518782 |    25925     42 |      738 |      588
1399.36/1399.84	c 1399s |      19 |   742625 |   519482 |    25925     42 |      738 |      588
1401.56/1402.08	c 1401s |      19 |   743287 |   520082 |    25925     42 |      738 |      588
1403.97/1404.43	c 1404s |      19 |   743953 |   520682 |    25925     42 |      738 |      588
1406.07/1406.55	c 1406s |      19 |   744485 |   521182 |    25925     42 |      738 |      588
1408.06/1408.59	c 1408s |      19 |   745133 |   521782 |    25925     42 |      738 |      588
1410.26/1410.73	c 1410s |      19 |   745700 |   522282 |    25925     42 |      738 |      588
1413.07/1413.58	c 1413s |      19 |   746358 |   522882 |    25925     43 |      738 |      588
1415.16/1415.69	c 1415s |      19 |   747246 |   523682 |    25925     43 |      738 |      588
1417.26/1417.75	c 1417s |      19 |   748068 |   524382 |    25925     43 |      738 |      588
1419.46/1419.90	c 1419s |      19 |   749025 |   525182 |    25925     43 |      738 |      588
1421.56/1422.05	c 1421s |      19 |   749840 |   525882 |    25925     43 |      738 |      588
1423.66/1424.15	c 1423s |      19 |   750671 |   526582 |    25925     43 |      738 |      588
1425.76/1426.23	c 1425s |      19 |   751628 |   527382 |    25925     43 |      738 |      588
1428.06/1428.54	c 1428s |      19 |   752423 |   528082 |    25925     43 |      738 |      588
1430.16/1430.62	c 1430s |      19 |   753090 |   528682 |    25925     43 |      738 |      588
1432.26/1432.74	c 1432s |      19 |   753760 |   529282 |    25925     43 |      738 |      588
1434.26/1434.76	c 1434s |      19 |   754433 |   529882 |    25925     43 |      738 |      588
1436.56/1437.00	c 1436s |      19 |   755097 |   530482 |    25925     43 |      738 |      588
1438.66/1439.17	c 1438s |      19 |   755750 |   531082 |    25925     43 |      738 |      588
1440.96/1441.47	c 1441s |      19 |   756383 |   531682 |    25925     43 |      738 |      588
1443.26/1443.78	c 1443s |      19 |   757030 |   532282 |    25925     43 |      738 |      588
1445.56/1446.03	c 1445s |      19 |   757713 |   532882 |    25925     43 |      738 |      588
1447.66/1448.16	c 1447s |      19 |   758381 |   533482 |    25925     43 |      738 |      588
1449.86/1450.31	c 1450s |      19 |   759073 |   534082 |    25925     43 |      738 |      588
1451.96/1452.42	c 1452s |      19 |   759609 |   534582 |    25925     43 |      738 |      588
1454.25/1454.74	c 1454s |      19 |   760290 |   535182 |    25925     43 |      738 |      588
1456.45/1456.90	c 1456s |      19 |   760958 |   535782 |    25925     43 |      738 |      588
1458.65/1459.13	c 1458s |      19 |   761626 |   536382 |    25925     43 |      738 |      588
1460.75/1461.27	c 1461s |      19 |   762166 |   536882 |    25925     43 |      738 |      588
1463.45/1463.96	c 1463s |      19 |   762720 |   537382 |    25925     44 |      738 |      588
1465.55/1466.02	c 1465s |      19 |   763361 |   537982 |    25925     44 |      738 |      588
1467.75/1468.28	c 1468s |      19 |   764118 |   538682 |    25925     44 |      738 |      588
1470.05/1470.55	c 1470s |      19 |   764898 |   539382 |    25925     44 |      738 |      588
1472.05/1472.59	c 1472s |      19 |   765579 |   539982 |    25925     44 |      738 |      588
1474.15/1474.62	c 1474s |      19 |   766259 |   540582 |    25925     44 |      738 |      588
1476.35/1476.81	c 1476s |      19 |   766913 |   541182 |    25925     44 |      738 |      588
1478.35/1478.83	c 1478s |      19 |   767561 |   541782 |    25925     44 |      738 |      588
1480.65/1481.18	c 1480s |      19 |   768350 |   542482 |    25925     44 |      738 |      588
1482.95/1483.46	c 1483s |      19 |   769022 |   543082 |    25925     44 |      738 |      588
1485.25/1485.78	c 1485s |      19 |   769676 |   543682 |    25925     44 |      738 |      588
1487.35/1487.87	c 1487s |      19 |   770202 |   544182 |    25925     44 |      738 |      588
1489.65/1490.18	c 1489s |      19 |   770866 |   544782 |    25925     44 |      738 |      588
1491.75/1492.26	c 1492s |      19 |   771529 |   545382 |    25925     44 |      738 |      588
1493.85/1494.38	c 1494s |      19 |   772197 |   545982 |    25925     44 |      738 |      588
1496.05/1496.53	c 1496s |      19 |   772837 |   546582 |    25925     44 |      738 |      588
1498.15/1498.64	c 1498s |      19 |   773506 |   547182 |    25925     44 |      738 |      588
1500.35/1500.81	c 1500s |      19 |   774173 |   547782 |    25925     44 |      738 |      588
1502.35/1502.88	c 1502s |      19 |   774716 |   548282 |    25925     44 |      738 |      588
1504.65/1505.12	c 1504s |      19 |   775261 |   548782 |    25925     44 |      738 |      588
1506.66/1507.16	c 1506s |      19 |   775803 |   549282 |    25925     44 |      738 |      588
1509.15/1509.61	c 1509s |      19 |   776345 |   549782 |    25925     44 |      738 |      588
1511.25/1511.78	c 1511s |      19 |   776781 |   550182 |    25925     44 |      738 |      588
1513.74/1514.22	c 1513s |      19 |   777455 |   550782 |    25925     44 |      738 |      588
1516.04/1516.50	c 1516s |      19 |   777994 |   551282 |    25925     44 |      738 |      588
1518.44/1518.94	c 1518s |      19 |   778522 |   551782 |    25925     44 |      738 |      588
1520.64/1521.12	c 1520s |      19 |   778974 |   552182 |    25925     45 |      738 |      588
1522.74/1523.20	c 1522s |      19 |   779736 |   552882 |    25925     45 |      738 |      588
1524.84/1525.38	c 1525s |      19 |   780397 |   553482 |    25925     45 |      738 |      588
1526.94/1527.46	c 1527s |      19 |   781086 |   554082 |    25925     45 |      738 |      588
1529.04/1529.59	c 1529s |      19 |   781768 |   554682 |    25925     45 |      738 |      588
1531.34/1531.87	c 1531s |      19 |   782446 |   555282 |    25925     45 |      738 |      588
1533.64/1534.13	c 1533s |      19 |   783103 |   555882 |    25925     45 |      738 |      588
1535.74/1536.21	c 1535s |      19 |   783767 |   556482 |    25925     45 |      738 |      588
1537.94/1538.44	c 1538s |      19 |   784430 |   557082 |    25925     45 |      738 |      588
1540.04/1540.55	c 1540s |      19 |   785144 |   557682 |    25925     45 |      738 |      588
1542.24/1542.78	c 1542s |      19 |   785816 |   558282 |    25925     45 |      738 |      588
1544.44/1544.97	c 1544s |      19 |   786346 |   558782 |    25925     45 |      738 |      588
1546.64/1547.18	c 1546s |      19 |   786988 |   559382 |    25925     45 |      738 |      588
1548.84/1549.37	c 1549s |      19 |   787661 |   559982 |    25925     45 |      738 |      588
1550.84/1551.38	c 1551s |      19 |   788189 |   560482 |    25925     45 |      738 |      588
1552.94/1553.48	c 1553s |      19 |   788735 |   560982 |    25925     45 |      738 |      588
1555.05/1555.58	c 1555s |      19 |   789280 |   561482 |    25925     45 |      738 |      588
1557.54/1558.01	c 1557s |      19 |   789937 |   562082 |    25925     45 |      738 |      588
1559.93/1560.46	c 1560s |      19 |   790597 |   562682 |    25925     45 |      738 |      588
1562.13/1562.61	c 1562s |      19 |   791141 |   563182 |    25925     45 |      738 |      588
1564.13/1564.68	c 1564s |      19 |   791690 |   563682 |    25925     45 |      738 |      588
1566.33/1566.80	c 1566s |      19 |   792248 |   564182 |    25925     45 |      738 |      588
1568.33/1568.87	c 1568s |      19 |   792902 |   564682 |    25925     45 |      738 |      588
1570.63/1571.15	c 1570s |      19 |   793740 |   565382 |    25925     45 |      738 |      588
1572.93/1573.43	c 1573s |      19 |   794553 |   566082 |    25925     45 |      738 |      588
1575.03/1575.58	c 1575s |      19 |   795136 |   566582 |    25925     46 |      738 |      588
1577.23/1577.78	c 1577s |      19 |   796168 |   567482 |    25925     46 |      738 |      588
1579.43/1579.99	c 1579s |      19 |   797174 |   568282 |    25925     46 |      738 |      588
1581.53/1582.03	c 1581s |      19 |   797963 |   568982 |    25925     46 |      738 |      588
1583.64/1584.13	c 1583s |      19 |   798762 |   569682 |    25925     46 |      738 |      588
1585.93/1586.43	c 1586s |      19 |   799543 |   570382 |    25925     46 |      738 |      588
1588.23/1588.77	c 1588s |      19 |   800341 |   571082 |    25925     46 |      738 |      588
1590.43/1590.96	c 1590s |      19 |   801155 |   571782 |    25925     46 |      738 |      588
1592.53/1593.07	c 1592s |      19 |   801985 |   572482 |    25925     46 |      738 |      588
1594.74/1595.26	c 1595s |      19 |   802798 |   573182 |    25925     46 |      738 |      588
1597.04/1597.54	c 1597s |      19 |   803610 |   573882 |    25925     46 |      738 |      588
1599.14/1599.66	c 1599s |      19 |   804258 |   574482 |    25925     46 |      738 |      588
1601.25/1601.72	c 1601s |      19 |   804940 |   575082 |    25925     46 |      738 |      588
1603.24/1603.80	c 1603s |      19 |   805653 |   575682 |    25925     46 |      738 |      588
1605.43/1606.00	c 1605s |      19 |   806336 |   576282 |    25925     46 |      738 |      588
1607.63/1608.11	c 1607s |      19 |   807164 |   576982 |    25925     46 |      738 |      588
1609.94/1610.41	c 1610s |      19 |   807863 |   577582 |    25925     46 |      738 |      588
1612.03/1612.54	c 1612s |      19 |   808532 |   578182 |    25925     46 |      738 |      588
1614.13/1614.69	c 1614s |      19 |   809097 |   578682 |    25925     46 |      738 |      588
1616.33/1616.87	c 1616s |      19 |   809809 |   579282 |    25925     46 |      738 |      588
1618.63/1619.14	c 1618s |      19 |   810522 |   579882 |    25925     46 |      738 |      588
1621.04/1621.51	c 1621s |      19 |   811218 |   580482 |    25925     46 |      738 |      588
1623.03/1623.60	c 1623s |      19 |   811668 |   580882 |    25925     47 |      738 |      588
1625.34/1625.81	c 1625s |      19 |   812459 |   581582 |    25925     47 |      738 |      588
1627.54/1628.07	c 1627s |      19 |   813235 |   582282 |    25925     47 |      738 |      588
1629.74/1630.29	c 1630s |      19 |   814060 |   582982 |    25925     47 |      738 |      588
1631.83/1632.35	c 1632s |      19 |   814735 |   583582 |    25925     47 |      738 |      588
1634.03/1634.58	c 1634s |      19 |   815555 |   584282 |    25925     47 |      738 |      588
1636.23/1636.78	c 1636s |      19 |   816346 |   584982 |    25925     47 |      738 |      588
1638.33/1638.87	c 1638s |      19 |   817214 |   585682 |    25925     47 |      738 |      588
1640.63/1641.11	c 1640s |      19 |   818029 |   586382 |    25925     47 |      738 |      588
1642.83/1643.35	c 1643s |      19 |   818851 |   587082 |    25925     47 |      738 |      588
1645.03/1645.57	c 1645s |      19 |   819639 |   587782 |    25925     47 |      738 |      588
1647.13/1647.69	c 1647s |      19 |   820354 |   588382 |    25925     47 |      738 |      588
1649.43/1649.99	c 1649s |      19 |   821172 |   589082 |    25925     47 |      738 |      588
1651.73/1652.25	c 1651s |      19 |   821862 |   589682 |    25925     47 |      738 |      588
1653.82/1654.38	c 1654s |      19 |   822562 |   590282 |    25925     47 |      738 |      588
1656.13/1656.67	c 1656s |      19 |   823234 |   590882 |    25925     47 |      738 |      588
1658.33/1658.90	c 1658s |      19 |   823902 |   591482 |    25925     47 |      738 |      588
1660.63/1661.15	c 1660s |      19 |   824560 |   592082 |    25925     47 |      738 |      588
1663.02/1663.54	c 1663s |      19 |   825274 |   592682 |    25925     47 |      738 |      588
1665.22/1665.73	c 1665s |      19 |   825833 |   593182 |    25925     47 |      738 |      588
1667.62/1668.15	c 1667s |      19 |   826533 |   593782 |    25925     47 |      738 |      588
1669.82/1670.38	c 1670s |      19 |   827097 |   594282 |    25925     47 |      738 |      588
1672.02/1672.50	c 1672s |      19 |   827658 |   594782 |    25925     47 |      738 |      588
1674.02/1674.59	c 1674s |      19 |   828211 |   595282 |    25925     47 |      738 |      588
1676.12/1676.61	c 1676s |      19 |   828681 |   595682 |    25925     48 |      738 |      588
1678.32/1678.87	c 1678s |      19 |   829345 |   596282 |    25925     48 |      738 |      588
1680.52/1681.02	c 1680s |      19 |   830129 |   596982 |    25925     48 |      738 |      588
1682.82/1683.31	c 1683s |      19 |   830888 |   597682 |    25925     48 |      738 |      588
1684.82/1685.34	c 1685s |      19 |   831560 |   598282 |    25925     48 |      738 |      588
1687.02/1687.55	c 1687s |      19 |   832231 |   598882 |    25925     48 |      738 |      588
1689.12/1689.63	c 1689s |      19 |   832916 |   599482 |    25925     48 |      738 |      588
1691.21/1691.78	c 1691s |      19 |   833570 |   600082 |    25925     48 |      738 |      588
1693.31/1693.89	c 1693s |      19 |   834253 |   600682 |    25925     48 |      738 |      588
1695.51/1696.02	c 1695s |      19 |   835016 |   601382 |    25925     48 |      738 |      588
1697.51/1698.08	c 1697s |      19 |   835567 |   601882 |    25925     48 |      738 |      588
1699.81/1700.39	c 1700s |      19 |   836352 |   602582 |    25925     48 |      738 |      588
1702.01/1702.50	c 1702s |      19 |   837011 |   603182 |    25925     48 |      738 |      588
1704.21/1704.74	c 1704s |      19 |   837791 |   603882 |    25925     48 |      738 |      588
1706.31/1706.85	c 1706s |      19 |   838479 |   604482 |    25925     48 |      738 |      588
1708.31/1708.86	c 1708s |      19 |   839067 |   604982 |    25925     48 |      738 |      588
1710.71/1711.24	c 1710s |      19 |   839726 |   605582 |    25925     48 |      738 |      588
1712.81/1713.39	c 1713s |      19 |   840285 |   606082 |    25925     48 |      738 |      588
1714.91/1715.47	c 1715s |      19 |   840836 |   606582 |    25925     48 |      738 |      588
1717.22/1717.72	c 1717s |      19 |   841506 |   607182 |    25925     48 |      738 |      588
1719.62/1720.13	c 1719s |      19 |   842092 |   607682 |    25925     48 |      738 |      588
1721.62/1722.14	c 1721s |      19 |   842529 |   608082 |    25925     48 |      738 |      588
1723.72/1724.22	c 1723s |      19 |   843093 |   608582 |    25925     48 |      738 |      588
1725.82/1726.30	c 1726s |      19 |   843692 |   609082 |    25925     48 |      738 |      588
1728.12/1728.69	c 1728s |      19 |   844462 |   609682 |    25925     48 |      738 |      588
1730.42/1730.98	c 1730s |      19 |   844936 |   610082 |    25925     49 |      738 |      588
1732.61/1733.14	c 1732s |      19 |   845744 |   610782 |    25925     49 |      738 |      588
1734.61/1735.18	c 1734s |      19 |   846455 |   611382 |    25925     49 |      738 |      588
1736.81/1737.33	c 1737s |      19 |   847154 |   611982 |    25925     49 |      738 |      588
1738.91/1739.48	c 1739s |      19 |   847960 |   612682 |    25925     49 |      738 |      588
1741.21/1741.79	c 1741s |      19 |   848794 |   613382 |    25925     49 |      738 |      588
1743.31/1743.82	c 1743s |      19 |   849460 |   613982 |    25925     49 |      738 |      588
1745.41/1745.91	c 1745s |      19 |   850463 |   614682 |    25925     49 |      738 |      588
1747.61/1748.12	c 1747s |      19 |   851443 |   615482 |    25925     49 |      738 |      588
1749.72/1750.27	c 1750s |      19 |   852742 |   616382 |    25925     49 |      738 |      588
1751.71/1752.30	c 1752s |      19 |   853971 |   617282 |    25925     49 |      738 |      588
1753.91/1754.49	c 1754s |      19 |   855119 |   618182 |    25925     49 |      738 |      588
1756.11/1756.60	c 1756s |      19 |   855974 |   618882 |    25925     49 |      738 |      588
1758.31/1758.86	c 1758s |      19 |   856988 |   619682 |    25925     49 |      738 |      588
1760.41/1760.92	c 1760s |      19 |   857896 |   620382 |    25925     49 |      738 |      588
1762.71/1763.23	c 1762s |      19 |   858735 |   621082 |    25925     49 |      738 |      588
1765.02/1765.60	c 1765s |      19 |   859578 |   621782 |    25925     49 |      738 |      588
1767.22/1767.77	c 1767s |      19 |   860436 |   622482 |    25925     49 |      738 |      588
1769.31/1769.87	c 1769s |      19 |   861363 |   623182 |    25925     49 |      738 |      588
1771.31/1771.87	c 1771s |      19 |   862123 |   623782 |    25925     49 |      738 |      588
1773.82/1774.31	c 1774s |      19 |   862715 |   624282 |    25925     50 |      738 |      588
1775.90/1776.40	c 1776s |      19 |   864111 |   625082 |    25925     50 |      738 |      588
1777.90/1778.43	c 1778s |      19 |   866435 |   626282 |    25925     50 |      738 |      588
1780.00/1780.59	c 1780s |      19 |   868075 |   627482 |    25925     50 |      738 |      588
1782.10/1782.61	c 1782s |      19 |   869304 |   628482 |    25925     50 |      738 |      588
1784.10/1784.65	c 1784s |      19 |   870507 |   629382 |    25925     50 |      738 |      588
1786.20/1786.79	c 1786s |      19 |   871625 |   630282 |    25925     50 |      738 |      588
1788.21/1788.79	c 1788s |      19 |   873383 |   631382 |    25925     50 |      738 |      588
1790.41/1790.96	c 1790s |      19 |   874396 |   632182 |    25925     50 |      738 |      588
1792.70/1793.20	c 1792s |      19 |   875444 |   632982 |    25925     50 |      738 |      588
1794.90/1795.45	c 1795s |      19 |   876177 |   633582 |    25925     50 |      738 |      588
1796.91/1797.50	c 1797s |      19 |   876857 |   634182 |    25925     50 |      738 |      588
1799.30/1799.84	c 1799s |      19 |   877429 |   634682 |    25925     50 |      738 |      588

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.06 2.07 3/261 3410
/proc/meminfo: memFree=30809228/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1059260 CPUtime=0 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 4013 0 0 0 0 0 0 0 20 0 4 0 29474649 1084682240 4373 33554432000 4194304 16246674 140734103862528 140734103861952 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 265583 4383 441 2943 0 262477 0
[pid=3410/tid=3411] ppid=3407 vsize=1108412 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1135013888 4562 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1113532 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1140256768 4585 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1118652 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1145499648 4601 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.12 2.06 2.07 3/261 3410
/proc/meminfo: memFree=30809228/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1220164 CPUtime=0.09 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 28276 0 0 0 5 4 0 0 20 0 4 0 29474649 1249447936 28574 33554432000 4194304 16246674 140734103862528 140734103861840 4220897 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 305041 28574 801 2943 0 301935 0
[pid=3410/tid=3411] ppid=3407 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1249447936 28574 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1249447936 28574 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1249447936 28574 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200524 s]
/proc/loadavg: 2.12 2.06 2.07 3/261 3410
/proc/meminfo: memFree=30809228/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1301060 CPUtime=0.19 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 48483 0 0 0 12 7 0 0 20 0 4 0 29474649 1332285440 48781 33554432000 4194304 16246674 140734103862528 140734103844416 13943664 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 325265 48781 842 2943 0 322159 0
[pid=3410/tid=3411] ppid=3407 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1332285440 48781 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1332285440 48781 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1332285440 48781 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.30047 s]
/proc/loadavg: 2.12 2.06 2.07 3/261 3410
/proc/meminfo: memFree=30809228/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 50688 0 0 0 22 7 0 0 20 0 4 0 29474649 1332285440 50986 33554432000 4194304 16246674 140734103862528 140734103844416 6843278 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 325265 50991 882 2943 0 322159 0
[pid=3410/tid=3411] ppid=3407 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1332285440 50995 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1332285440 51000 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1332285440 51004 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.70039 s]
/proc/loadavg: 2.12 2.06 2.07 3/261 3410
/proc/meminfo: memFree=30809228/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1301060 CPUtime=0.68 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 103794 0 0 0 54 14 0 0 20 0 4 0 29474649 1332285440 104092 33554432000 4194304 16246674 140734103862528 140734103844416 6836566 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 325265 104098 882 2943 0 322159 0
[pid=3410/tid=3411] ppid=3407 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1332285440 104102 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1332285440 104105 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1332285440 104111 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.12 2.06 2.07 3/265 3414
/proc/meminfo: memFree=30178444/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1302084 CPUtime=1.49 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 208240 0 0 0 120 29 0 0 20 0 4 0 29474649 1333334016 208538 33554432000 4194304 16246674 140734103862528 140734103844416 13780501 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 325521 208542 882 2943 0 322415 0
[pid=3410/tid=3411] ppid=3407 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1333334016 208545 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1333334016 208550 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1333334016 208553 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.1004 s]
/proc/loadavg: 2.12 2.06 2.07 3/265 3414
/proc/meminfo: memFree=29731944/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1312324 CPUtime=3.09 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 269188 0 0 0 271 38 0 0 20 0 4 0 29474649 1343819776 269486 33554432000 4194304 16246674 140734103862528 140734103844416 5711580 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 328081 269486 888 2943 0 324975 0
[pid=3410/tid=3411] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269486 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269486 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269486 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.11 2.06 2.07 3/265 3414
/proc/meminfo: memFree=29731096/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1312324 CPUtime=6.29 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 269269 0 0 0 591 38 0 0 20 0 4 0 29474649 1343819776 269567 33554432000 4194304 16246674 140734103862528 140734103844416 12483204 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 328081 269567 891 2943 0 324975 0
[pid=3410/tid=3411] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269567 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269567 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269567 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 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: 2.10 2.06 2.07 3/265 3414
/proc/meminfo: memFree=29730896/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1312324 CPUtime=12.69 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 269271 0 0 0 1231 38 0 0 20 0 4 0 29474649 1343819776 269569 33554432000 4194304 16246674 140734103862528 140734103844416 5673135 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 328081 269569 891 2943 0 324975 0
[pid=3410/tid=3411] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269569 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269569 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269569 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.08 2.06 2.07 3/265 3414
/proc/meminfo: memFree=29732012/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1312324 CPUtime=25.48 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 269272 0 0 0 2510 38 0 0 20 0 4 0 29474649 1343819776 269570 33554432000 4194304 16246674 140734103862528 140734103844416 5712672 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 328081 269570 892 2943 0 324975 0
[pid=3410/tid=3411] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269570 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269570 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269570 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.12 2.07 2.07 3/265 3414
/proc/meminfo: memFree=29732072/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1312324 CPUtime=51.08 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 269272 0 0 0 5070 38 0 0 20 0 4 0 29474649 1343819776 269570 33554432000 4194304 16246674 140734103862528 140734103844416 5827966 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 328081 269570 892 2943 0 324975 0
[pid=3410/tid=3411] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269570 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269570 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1343819776 269570 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.12 2.07 2.07 3/265 3415
/proc/meminfo: memFree=29728352/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1316420 CPUtime=102.29 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 270062 0 0 0 10190 39 0 0 20 0 4 0 29474649 1348014080 270360 33554432000 4194304 16246674 140734103862528 140734103844416 5672188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 329105 270360 892 2943 0 325999 0
[pid=3410/tid=3411] ppid=3407 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1348014080 270360 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1348014080 270360 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1348014080 270360 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1316420


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

/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1359428

[startup+1362.3 s]
/proc/loadavg: 2.09 2.07 2.04 3/265 3495
/proc/meminfo: memFree=29696884/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1359428 CPUtime=1361.87 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 281369 0 0 0 136137 50 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 140734103844416 12415740 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 339857 281346 892 2943 0 336751 0
[pid=3410/tid=3411] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1359428

[startup+1422.3 s]
/proc/loadavg: 2.16 2.09 2.05 3/265 3496
/proc/meminfo: memFree=29697276/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1359428 CPUtime=1421.87 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 281369 0 0 0 142136 51 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 140734103844416 5712140 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 339857 281346 892 2943 0 336751 0
[pid=3410/tid=3411] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1359428

[startup+1482.3 s]
/proc/loadavg: 2.09 2.08 2.05 3/266 3500
/proc/meminfo: memFree=29696460/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1359428 CPUtime=1481.85 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 281369 0 0 0 148134 51 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 140734103844416 12415827 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 339857 281346 892 2943 0 336751 0
[pid=3410/tid=3411] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1359428

[startup+1542.31 s]
/proc/loadavg: 2.03 2.07 2.04 3/265 3502
/proc/meminfo: memFree=29696432/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1359428 CPUtime=1541.85 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 281369 0 0 0 154134 51 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 140734103844416 5717462 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 339857 281346 892 2943 0 336751 0
[pid=3410/tid=3411] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1359428

[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.04 3/265 3503
/proc/meminfo: memFree=29696304/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1359428 CPUtime=1601.84 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 281369 0 0 0 160132 52 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 140734103844416 5677572 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 339857 281346 892 2943 0 336751 0
[pid=3410/tid=3411] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1359428

[startup+1662.3 s]
/proc/loadavg: 2.08 2.06 2.03 3/265 3504
/proc/meminfo: memFree=29696232/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1359428 CPUtime=1661.82 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 281369 0 0 0 166130 52 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 140734103844416 6012041 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 339857 281346 892 2943 0 336751 0
[pid=3410/tid=3411] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281346 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1359428

[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.03 3/265 3505
/proc/meminfo: memFree=29695508/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1359428 CPUtime=1721.82 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 281370 0 0 0 172129 53 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 140734103844416 5712760 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 339857 281602 892 2943 0 336751 0
[pid=3410/tid=3411] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1359428

[startup+1782.3 s]
/proc/loadavg: 2.21 2.09 2.04 3/265 3506
/proc/meminfo: memFree=29695468/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1359428 CPUtime=1781.8 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 281370 0 0 0 178127 53 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 140734103844416 5672201 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 339857 281602 892 2943 0 336751 0
[pid=3410/tid=3411] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1359428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.15 2.09 2.04 3/265 3506
/proc/meminfo: memFree=29695524/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1359428 CPUtime=1800 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 281370 0 0 0 179947 53 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 140734103844416 5721840 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 339857 281602 892 2943 0 336751 0
[pid=3410/tid=3411] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1359428

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

[startup+1800.5 s]
/proc/loadavg: 2.15 2.09 2.04 3/265 3506
/proc/meminfo: memFree=29695524/32872528 swapFree=7556/7556
[pid=3410] ppid=3407 vsize=1359428 CPUtime=1800 cores=0-3,8-11
/proc/3410/stat : 3410 (toysat) R 3407 3410 32495 0 -1 4202496 281370 0 0 0 179947 53 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 140734103844416 5721840 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3410/statm: 339857 281602 892 2943 0 336751 0
[pid=3410/tid=3411] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3411/stat : 3411 (toysat) S 3407 3410 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 139833992260848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3410/tid=3412] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3412/stat : 3412 (toysat) S 3407 3410 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 139833981770992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3410/tid=3413] ppid=3407 vsize=1359428 CPUtime=0 cores=0-3,8-11
/proc/3410/task/3413/stat : 3413 (toysat) S 3407 3410 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29474649 1392054272 281602 33554432000 4194304 16246674 140734103862528 139833867496624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1359428

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.48
CPU system time (s): 0.535918
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1359428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.535918
maximum resident set size= 1126408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281370
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= 338
involuntary context switches= 1951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63599 second user time and 9.78751 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 20:06:05
IDJOB=4116645
IDBENCH=109496
IDSOLVER=2542
FILE ID=node132/4116645-1466964365
RUNJOBID= node132-1466939688-32511
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 051ff1d048af7aa78801b624c4971239
RANDOM SEED=965223440

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30809640 kB
Buffers:           42436 kB
Cached:           182404 kB
SwapCached:         1784 kB
Active:          1184424 kB
Inactive:         161804 kB
Active(anon):    1121896 kB
Inactive(anon):     1880 kB
Active(file):      62528 kB
Inactive(file):   159924 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             17004 kB
Writeback:             0 kB
AnonPages:       1113060 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             570956 kB
SReclaimable:      11568 kB
SUnreclaim:       559388 kB
KernelStack:        2240 kB
PageTables:         6460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1271000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    645120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node132 at 2016-06-26 20:36:05