Trace number 4115877

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.06 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round22-4.opb
MD5SUM1c9654f7c5b38d0e8ad62562d9f911eb
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-26T13:49:28+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-4115877-1466941768.opb"]
0.00/0.01	c use --random-gen="3917800949 839525935 2542597560 3814717844 89870421 2634326205 4169514883 3221718284 1389244557 1001945523 659924949 3929631905 3580827278 869063984 648846680 2968083914 3420066425 3994271588 161496544 1152070572 2579325833 2258409673 1785735409 3460494604 304844198 1832058370 413946282 3021689873 1643187173 3015096001 3416017634 641714888 3882781693 3919670597 1221733229 773696096 4017897135 2494368595 4217640963 782204115 531551668 3240134152 2112262633 944919309 171063843 4227622709 2412037262 1156009840 2742919533 4143196426 2833339982 570922200 298302484 3880544515 2173125544 2604809255 2464658133 2076599154 890776067 2249201121 1264869095 3639722428 3309446278 2227097543 871296660 3851443558 2231683081 1426217928 4008749948 2251848056 1411551795 2317871821 2061258691 4225559631 3219359222 4012643118 2364487758 2093254709 2342349270 847380365 1897604198 3663674079 3802491751 1708108217 3801624402 3202373434 2445317530 240455422 2813236424 889205572 4101775036 1743458741 651740048 80264919 1758915788 1171770950 2893731337 488796704 624641525 2919348744 4013139123 3569636159 2192603190 2154377727 3450120646 1050998935 3639101345 529691501 2983365846 2134397879 3058196942 2120719426 1677076687 1903190027 1683136952 3009619050 2421374805 1475351751 3954080689 246988812 2615215713 1644705 854708322 3417540467 2521146986 2103324498 3821752122 748244747 201326366 2885985045 2907402013 2961226552 1400332955 857038628 2020494079 2869474775 261963036 3090909442 3911296988 2275268892 4110502236 1937704955 127245319 2761420192 946743708 1935488943 1263426217 4218320786 912161969 3133694708 656878118 4117659709 1878634078 4214176889 1970791629 2717471248 3220382722 1686837584 143388081 2691830323 2402433215 3717452252 3675452712 1027471280 1877220959 3525934875 1174657820 1318333531 2833898251 2320384763 3346804281 3530411755 3789909179 1401936305 1355111078 230430528 79178976 3751044031 3536947342 1580322768 1632910596 106580320 2688117186 477873897 1965784637 4152414663 1279132352 3784398081 3957276694 3341967520 3950414346 620807520 4115469006 158573841 4260204515 287132029 2142825066 4281454720 1789019264 89908892 3949142053 1190110187 1742879094 739770825 2256612544 2350066683 1632086775 1922565956 874077053 1161814698 2251390650 3546776317 1676206400 3934767958 2360350825 2108062714 1066300563 1325496867 2940872550 3220116764 3022484471 1862186562 3659537576 1456061804 2931167099 870482382 2437182339 1204160447 1186118918 1403091232 644084168 506286544 3421439898 1747394827 2133182871 2291563819 1496044364 3031920085 2348782715 1123557409 1671609348 1216862789 1234628263 2520415784 1557743382 2571220829 1849064085 4153403381 253868721 4203615519 717275589 644288417 1202814167 1006476967 718830704 3269540018 255 362436" option to reproduce the execution
0.08/0.11	c #vars 4128
0.08/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 |      750 |        0
0.29/0.32	c  0.1s |       1 |      496 |      100 |     4234      0 |      750 |      590
0.39/0.44	c  0.2s |       2 |     1530 |      250 |     4658      0 |      751 |      590
0.49/0.59	c  0.3s |       3 |     3604 |      475 |     5124      0 |      751 |      590
0.79/0.82	c  0.6s |       4 |     6674 |      813 |     5637      0 |      751 |      590
1.29/1.35	c  1.1s |       5 |     8067 |     1320 |     6201      0 |      751 |      590
1.99/2.02	c  1.8s |       6 |    13241 |     2081 |     7505      0 |      751 |      590
2.79/2.88	c  2.6s |       7 |    16750 |     3223 |     8256      0 |      751 |      590
4.50/4.52	c  4.3s |       8 |    21169 |     4936 |     9082      0 |      751 |      590
6.49/6.60	c  6.4s |       8 |    25592 |     6936 |     9082      0 |      751 |      590
7.19/7.27	c  7.0s |       9 |    26435 |     7506 |     9991      0 |      751 |      590
9.29/9.31	c  9.1s |       9 |    31025 |     9606 |     9991      0 |      751 |      590
11.29/11.34	c 11.1s |      10 |    33344 |    11361 |    10991      0 |      751 |      590
13.49/13.59	c 13.3s |      10 |    45934 |    14061 |    10991      1 |      751 |      590
15.59/15.62	c 15.4s |      10 |    51126 |    16161 |    10991      1 |      751 |      590
17.19/17.24	c 17.0s |      11 |    52525 |    17144 |    12091      1 |      751 |      590
19.19/19.29	c 19.0s |      11 |    57971 |    18844 |    12091      1 |      751 |      590
21.29/21.35	c 21.1s |      11 |    59610 |    20144 |    12091      1 |      751 |      590
23.39/23.45	c 23.2s |      11 |    61686 |    21544 |    12091      1 |      751 |      590
25.49/25.55	c 25.3s |      11 |    62968 |    22644 |    12091      2 |      751 |      590
27.60/27.67	c 27.4s |      11 |    64280 |    23744 |    12091      2 |      751 |      590
29.70/29.80	c 29.6s |      11 |    65894 |    24944 |    12091      2 |      751 |      590
31.29/31.34	c 31.1s |      12 |    67064 |    25819 |    13301      2 |      751 |      590
33.29/33.36	c 33.1s |      12 |    75738 |    28219 |    13301      2 |      751 |      590
35.39/35.43	c 35.2s |      12 |    86055 |    30819 |    13301      3 |      751 |      590
37.50/37.54	c 37.3s |      12 |    90176 |    32519 |    13301      3 |      752 |      590
39.49/39.57	c 39.3s |      12 |    92547 |    34219 |    13301      3 |      752 |      590
41.49/41.58	c 41.3s |      12 |    94670 |    35719 |    13301      3 |      752 |      590
43.59/43.66	c 43.4s |      12 |    95680 |    36619 |    13301      3 |      752 |      590
45.69/45.76	c 45.5s |      12 |    96845 |    37519 |    13301      3 |      752 |      590
47.78/47.85	c 47.6s |      12 |    97995 |    38519 |    13301      3 |      752 |      590
48.49/48.52	c 48.3s |      13 |    98333 |    38832 |    14632      3 |      752 |      590
50.48/50.59	c 50.3s |      13 |   107911 |    40932 |    14632      4 |      752 |      590
52.58/52.63	c 52.4s |      13 |   113409 |    42732 |    14632      4 |      752 |      590
54.68/54.73	c 54.5s |      13 |   116133 |    44432 |    14632      4 |      752 |      590
56.78/56.89	c 56.6s |      13 |   117751 |    45632 |    14632      4 |      752 |      590
58.98/59.06	c 58.8s |      13 |   118974 |    46632 |    14632      4 |      752 |      590
61.18/61.22	c 61.0s |      13 |   120400 |    47732 |    14632      4 |      752 |      590
63.58/63.61	c 63.4s |      13 |   121634 |    48732 |    14632      5 |      752 |      590
65.78/65.83	c 65.6s |      13 |   122721 |    49632 |    14632      5 |      752 |      590
67.78/67.88	c 67.6s |      13 |   123645 |    50432 |    14632      5 |      752 |      590
69.78/69.88	c 69.6s |      13 |   124729 |    51332 |    14632      5 |      752 |      590
71.88/71.94	c 71.7s |      13 |   125680 |    52132 |    14632      5 |      752 |      590
74.08/74.10	c 73.9s |      13 |   127042 |    53132 |    14632      5 |      752 |      590
76.18/76.25	c 76.0s |      13 |   128359 |    54132 |    14632      5 |      752 |      590
78.28/78.34	c 78.1s |      13 |   129510 |    55032 |    14632      5 |      752 |      590
80.39/80.48	c 80.2s |      13 |   130612 |    55932 |    14632      5 |      752 |      590
82.49/82.51	c 82.3s |      13 |   131559 |    56732 |    14632      5 |      752 |      590
84.88/84.96	c 84.7s |      13 |   132724 |    57632 |    14632      6 |      752 |      590
86.38/86.40	c 86.2s |      14 |   133588 |    58352 |    16096      6 |      752 |      590
88.38/88.44	c 88.2s |      14 |   140665 |    60552 |    16096      6 |      752 |      590
90.48/90.50	c 90.2s |      14 |   144001 |    62352 |    16096      6 |      752 |      590
92.49/92.51	c 92.3s |      14 |   146191 |    63952 |    16096      6 |      752 |      590
94.48/94.57	c 94.3s |      14 |   147461 |    65052 |    16096      6 |      752 |      590
96.48/96.57	c 96.3s |      14 |   148629 |    66052 |    16096      6 |      752 |      590
98.68/98.75	c 98.5s |      14 |   149807 |    67052 |    16096      6 |      752 |      590
100.77/100.84	c  100s |      14 |   150978 |    68052 |    16096      6 |      752 |      590
102.87/102.92	c  102s |      14 |   152024 |    68952 |    16096      7 |      752 |      590
104.97/105.07	c  104s |      14 |   153317 |    70052 |    16096      7 |      752 |      590
107.07/107.10	c  106s |      14 |   155198 |    71252 |    16096      7 |      752 |      590
109.17/109.25	c  109s |      14 |   156621 |    72352 |    16096      7 |      752 |      590
111.18/111.29	c  111s |      14 |   158025 |    73452 |    16096      7 |      752 |      590
113.28/113.33	c  113s |      14 |   159215 |    74452 |    16096      7 |      752 |      590
115.37/115.43	c  115s |      14 |   160459 |    75452 |    16096      7 |      752 |      590
117.47/117.55	c  117s |      14 |   161522 |    76352 |    16096      7 |      752 |      590
119.77/119.84	c  119s |      14 |   162442 |    77152 |    16096      7 |      752 |      590
121.87/121.90	c  121s |      14 |   163511 |    77952 |    16096      8 |      752 |      590
123.97/124.05	c  123s |      14 |   164756 |    78952 |    16096      8 |      752 |      590
126.07/126.14	c  125s |      14 |   165975 |    79952 |    16096      8 |      752 |      590
128.07/128.16	c  127s |      14 |   167209 |    80952 |    16096      8 |      752 |      590
130.17/130.24	c  129s |      14 |   168276 |    81852 |    16096      8 |      752 |      590
132.47/132.50	c  132s |      14 |   169340 |    82752 |    16096      8 |      752 |      590
134.47/134.59	c  134s |      14 |   170349 |    83552 |    16096      8 |      752 |      590
136.48/136.59	c  136s |      14 |   171041 |    84152 |    16096      8 |      752 |      590
138.58/138.61	c  138s |      14 |   171871 |    84852 |    16096      8 |      752 |      590
140.78/140.81	c  140s |      14 |   172802 |    85652 |    16096      8 |      752 |      590
142.77/142.89	c  142s |      14 |   173498 |    86252 |    16096      8 |      752 |      590
145.07/145.14	c  144s |      14 |   174202 |    86852 |    16096      8 |      752 |      590
147.38/147.42	c  147s |      14 |   174880 |    87452 |    17706      8 |      752 |      590
147.97/148.09	c  147s |      15 |   175078 |    87632 |    17706      8 |      752 |      590
150.17/150.23	c  149s |      15 |   181354 |    89332 |    17706      9 |      752 |      590
152.26/152.37	c  152s |      15 |   183360 |    90832 |    17706      9 |      752 |      590
154.36/154.43	c  154s |      15 |   184612 |    91932 |    17706      9 |      752 |      590
156.36/156.44	c  156s |      15 |   185658 |    92832 |    17706      9 |      752 |      590
158.47/158.52	c  158s |      15 |   186934 |    93932 |    17706      9 |      752 |      590
160.57/160.62	c  160s |      15 |   187947 |    94832 |    17706      9 |      752 |      590
162.66/162.78	c  162s |      15 |   188826 |    95632 |    17706      9 |      752 |      590
164.76/164.81	c  164s |      15 |   189733 |    96432 |    17706      9 |      752 |      590
166.96/167.03	c  166s |      15 |   190769 |    97332 |    17706      9 |      752 |      590
169.06/169.12	c  168s |      15 |   191804 |    98232 |    17706      9 |      752 |      590
171.16/171.26	c  171s |      15 |   192607 |    98932 |    17706     10 |      752 |      590
173.36/173.43	c  173s |      15 |   193370 |    99632 |    17706     10 |      752 |      590
175.56/175.62	c  175s |      15 |   194631 |   100532 |    17706     10 |      752 |      590
177.76/177.82	c  177s |      15 |   195699 |   101432 |    17706     10 |      752 |      590
179.86/179.97	c  179s |      15 |   196904 |   102432 |    17706     10 |      752 |      590
182.06/182.11	c  181s |      15 |   197898 |   103332 |    17706     10 |      752 |      590
184.26/184.34	c  184s |      15 |   198892 |   104132 |    17706     10 |      752 |      590
186.36/186.48	c  186s |      15 |   199784 |   104932 |    17706     10 |      752 |      590
188.66/188.72	c  188s |      15 |   200531 |   105632 |    17706     10 |      752 |      590
190.66/190.78	c  190s |      15 |   201427 |   106332 |    17706     10 |      752 |      590
192.96/193.05	c  192s |      15 |   202197 |   107032 |    17706     10 |      752 |      590
195.16/195.28	c  195s |      15 |   202978 |   107732 |    17706     10 |      752 |      590
197.36/197.42	c  197s |      15 |   203653 |   108332 |    17706     10 |      752 |      590
199.46/199.51	c  199s |      15 |   204329 |   108932 |    17706     10 |      752 |      590
201.66/201.70	c  201s |      15 |   205108 |   109532 |    17706     11 |      752 |      590
203.76/203.89	c  203s |      15 |   206050 |   110332 |    17706     11 |      752 |      590
205.96/206.05	c  205s |      15 |   206746 |   110932 |    17706     11 |      752 |      590
208.36/208.48	c  208s |      15 |   207537 |   111632 |    17706     11 |      752 |      590
210.36/210.48	c  210s |      15 |   208086 |   112132 |    17706     11 |      752 |      590
212.66/212.79	c  212s |      15 |   208771 |   112732 |    17706     11 |      752 |      590
214.76/214.89	c  214s |      15 |   209604 |   113432 |    17706     11 |      752 |      590
217.06/217.10	c  216s |      15 |   210404 |   114132 |    17706     11 |      752 |      590
219.26/219.39	c  219s |      15 |   211066 |   114732 |    17706     11 |      752 |      590
221.46/221.59	c  221s |      15 |   211593 |   115232 |    17706     11 |      752 |      590
223.66/223.72	c  223s |      15 |   212149 |   115732 |    17706     11 |      752 |      590
225.76/225.87	c  225s |      15 |   212688 |   116232 |    17706     11 |      752 |      590
228.16/228.21	c  227s |      15 |   213335 |   116832 |    17706     11 |      752 |      590
230.16/230.27	c  230s |      15 |   213909 |   117332 |    17706     11 |      752 |      590
232.56/232.66	c  232s |      15 |   214573 |   117932 |    17706     11 |      752 |      590
234.76/234.80	c  234s |      15 |   215112 |   118432 |    17706     11 |      752 |      590
236.86/236.95	c  236s |      15 |   215848 |   118932 |    17706     11 |      752 |      590
239.16/239.20	c  238s |      15 |   216894 |   119632 |    17706     12 |      752 |      590
241.16/241.25	c  240s |      15 |   218597 |   120732 |    17706     12 |      752 |      590
243.26/243.34	c  243s |      15 |   219667 |   121632 |    17706     12 |      752 |      590
245.36/245.45	c  245s |      15 |   220937 |   122532 |    17706     12 |      752 |      590
247.46/247.55	c  247s |      15 |   222065 |   123432 |    17706     12 |      752 |      590
249.55/249.69	c  249s |      15 |   223142 |   124332 |    17706     12 |      752 |      590
251.65/251.79	c  251s |      15 |   224119 |   125132 |    17706     12 |      752 |      590
253.75/253.85	c  253s |      15 |   224821 |   125732 |    17706     12 |      752 |      590
255.85/255.98	c  255s |      15 |   225798 |   126532 |    17706     12 |      752 |      590
258.05/258.12	c  257s |      15 |   226632 |   127232 |    17706     12 |      752 |      590
260.35/260.45	c  260s |      15 |   227329 |   127832 |    17706     12 |      752 |      590
262.55/262.63	c  262s |      15 |   228114 |   128532 |    17706     12 |      752 |      590
264.55/264.63	c  264s |      15 |   229002 |   129232 |    17706     12 |      752 |      590
266.75/266.87	c  266s |      15 |   229713 |   129832 |    17706     12 |      752 |      590
268.85/268.98	c  268s |      15 |   230318 |   130332 |    17706     13 |      752 |      590
270.95/271.06	c  270s |      15 |   231069 |   131032 |    19477     13 |      752 |      590
272.45/272.59	c  272s |      16 |   231622 |   131552 |    19477     13 |      752 |      590
274.54/274.69	c  274s |      16 |   239198 |   133952 |    19477     13 |      752 |      590
276.74/276.80	c  276s |      16 |   246981 |   135752 |    19477     13 |      753 |      590
278.84/278.93	c  278s |      16 |   247893 |   136552 |    19477     13 |      753 |      590
281.04/281.16	c  280s |      16 |   248864 |   137352 |    19477     13 |      753 |      590
283.34/283.41	c  283s |      16 |   249738 |   138152 |    19477     13 |      753 |      590
285.54/285.69	c  285s |      16 |   250637 |   138952 |    19477     13 |      753 |      590
287.64/287.72	c  287s |      16 |   251278 |   139552 |    19477     13 |      753 |      590
289.94/290.00	c  289s |      16 |   252019 |   140252 |    19477     13 |      753 |      590
292.04/292.12	c  291s |      16 |   252771 |   140952 |    19477     13 |      753 |      590
294.34/294.42	c  294s |      16 |   253670 |   141752 |    19477     13 |      753 |      590
296.74/296.83	c  296s |      16 |   254437 |   142452 |    19477     13 |      753 |      590
298.94/299.03	c  298s |      16 |   255093 |   143052 |    19477     14 |      753 |      590
301.14/301.26	c  301s |      16 |   255808 |   143752 |    19477     14 |      753 |      590
303.44/303.51	c  303s |      16 |   256680 |   144552 |    19477     14 |      753 |      590
305.54/305.64	c  305s |      16 |   257452 |   145252 |    19477     14 |      753 |      590
307.74/307.85	c  307s |      16 |   258254 |   145952 |    19477     14 |      753 |      590
309.84/309.94	c  309s |      16 |   258995 |   146652 |    19477     14 |      753 |      590
311.84/311.96	c  311s |      16 |   262710 |   147752 |    19477     14 |      753 |      590
314.04/314.11	c  313s |      16 |   266810 |   149152 |    19477     14 |      753 |      590
316.04/316.12	c  315s |      16 |   267920 |   150152 |    19477     14 |      753 |      590
318.14/318.20	c  317s |      16 |   268775 |   150952 |    19477     14 |      753 |      590
320.15/320.24	c  319s |      16 |   271156 |   151852 |    19477     14 |      753 |      590
322.25/322.32	c  322s |      16 |   272911 |   152852 |    19477     14 |      753 |      590
324.34/324.44	c  324s |      16 |   273825 |   153652 |    19477     14 |      753 |      590
326.54/326.67	c  326s |      16 |   274648 |   154352 |    19477     15 |      753 |      590
328.54/328.67	c  328s |      16 |   275411 |   155052 |    19477     15 |      753 |      590
330.73/330.84	c  330s |      16 |   276312 |   155852 |    19477     15 |      753 |      590
332.83/332.92	c  332s |      16 |   277099 |   156552 |    19477     15 |      753 |      590
334.83/334.93	c  334s |      16 |   277876 |   157252 |    19477     15 |      753 |      590
337.13/337.25	c  337s |      16 |   278625 |   157952 |    19477     15 |      753 |      590
339.33/339.45	c  339s |      16 |   279395 |   158652 |    19477     15 |      753 |      590
341.53/341.67	c  341s |      16 |   280172 |   159352 |    19477     15 |      753 |      590
343.63/343.78	c  343s |      16 |   280955 |   160052 |    19477     15 |      753 |      590
345.73/345.86	c  345s |      16 |   281699 |   160752 |    19477     15 |      753 |      590
347.73/347.88	c  347s |      16 |   282326 |   161352 |    19477     15 |      753 |      590
349.84/349.91	c  349s |      16 |   283085 |   161952 |    19477     15 |      753 |      590
352.04/352.14	c  351s |      16 |   284018 |   162752 |    19477     15 |      753 |      590
354.24/354.35	c  354s |      16 |   284707 |   163352 |    19477     15 |      753 |      590
356.44/356.56	c  356s |      16 |   285248 |   163852 |    19477     15 |      753 |      590
358.83/358.96	c  358s |      16 |   285922 |   164452 |    19477     15 |      753 |      590
361.13/361.22	c  360s |      16 |   286585 |   165052 |    19477     15 |      753 |      590
363.13/363.28	c  363s |      16 |   287119 |   165552 |    19477     16 |      753 |      590
365.25/365.35	c  365s |      16 |   287758 |   166152 |    19477     16 |      753 |      590
367.45/367.59	c  367s |      16 |   288291 |   166652 |    19477     16 |      753 |      590
369.74/369.83	c  369s |      16 |   288933 |   167252 |    19477     16 |      753 |      590
372.04/372.15	c  371s |      16 |   289594 |   167852 |    19477     16 |      753 |      590
374.14/374.21	c  373s |      16 |   290121 |   168352 |    19477     16 |      753 |      590
376.34/376.43	c  376s |      16 |   290648 |   168852 |    19477     16 |      753 |      590
378.54/378.64	c  378s |      16 |   291305 |   169452 |    19477     16 |      753 |      590
380.94/381.03	c  380s |      16 |   291956 |   170052 |    19477     16 |      753 |      590
382.93/383.09	c  382s |      16 |   292628 |   170652 |    19477     16 |      753 |      590
385.13/385.27	c  385s |      16 |   293319 |   171252 |    19477     16 |      753 |      590
387.24/387.37	c  387s |      16 |   293962 |   171852 |    19477     16 |      753 |      590
389.23/389.37	c  389s |      16 |   294488 |   172352 |    19477     16 |      753 |      590
391.54/391.68	c  391s |      16 |   295131 |   172952 |    19477     16 |      753 |      590
393.63/393.79	c  393s |      16 |   295664 |   173452 |    19477     16 |      753 |      590
395.73/395.89	c  395s |      16 |   296198 |   173952 |    19477     16 |      753 |      590
397.83/397.94	c  397s |      16 |   296735 |   174452 |    19477     16 |      753 |      590
400.13/400.22	c  399s |      16 |   297389 |   175052 |    19477     16 |      753 |      590
402.33/402.45	c  402s |      16 |   298056 |   175652 |    19477     16 |      753 |      590
404.53/404.67	c  404s |      16 |   298598 |   176152 |    19477     16 |      753 |      590
406.94/407.05	c  406s |      16 |   299135 |   176652 |    19477     17 |      753 |      590
409.14/409.25	c  408s |      16 |   299877 |   177352 |    19477     17 |      753 |      590
411.13/411.25	c  410s |      16 |   300506 |   177952 |    19477     17 |      753 |      590
413.13/413.27	c  413s |      16 |   301139 |   178552 |    19477     17 |      753 |      590
415.23/415.37	c  415s |      16 |   301805 |   179152 |    19477     17 |      753 |      590
417.63/417.75	c  417s |      16 |   302444 |   179752 |    19477     17 |      753 |      590
420.03/420.17	c  419s |      16 |   303074 |   180352 |    19477     17 |      753 |      590
422.34/422.43	c  422s |      16 |   303607 |   180852 |    19477     17 |      753 |      590
424.73/424.82	c  424s |      16 |   304252 |   181452 |    19477     17 |      753 |      590
426.84/426.94	c  426s |      16 |   304785 |   181952 |    19477     17 |      753 |      590
429.04/429.19	c  428s |      16 |   305305 |   182452 |    19477     17 |      753 |      590
431.24/431.31	c  431s |      16 |   305830 |   182952 |    19477     17 |      753 |      590
433.23/433.38	c  433s |      16 |   306363 |   183452 |    19477     17 |      753 |      590
435.63/435.77	c  435s |      16 |   306890 |   183952 |    19477     17 |      753 |      590
437.83/437.98	c  437s |      16 |   307435 |   184452 |    19477     17 |      753 |      590
440.22/440.37	c  440s |      16 |   307985 |   184952 |    19477     17 |      753 |      590
442.62/442.77	c  442s |      16 |   308516 |   185452 |    19477     17 |      753 |      590
444.92/445.09	c  444s |      16 |   309046 |   185952 |    19477     17 |      753 |      590
447.22/447.33	c  447s |      16 |   309581 |   186452 |    19477     17 |      753 |      590
449.32/449.42	c  449s |      16 |   310006 |   186852 |    19477     17 |      753 |      590
451.82/451.93	c  451s |      16 |   310554 |   187352 |    19477     17 |      753 |      590
454.72/454.89	c  454s |      16 |   311089 |   187852 |    19477     18 |      753 |      590
456.92/457.01	c  456s |      16 |   311633 |   188352 |    19477     18 |      753 |      590
459.02/459.19	c  458s |      16 |   312162 |   188852 |    19477     18 |      753 |      590
461.12/461.28	c  461s |      16 |   312586 |   189252 |    19477     18 |      753 |      590
463.32/463.42	c  463s |      16 |   313117 |   189752 |    19477     18 |      753 |      590
465.62/465.72	c  465s |      16 |   313764 |   190352 |    19477     18 |      753 |      590
467.72/467.85	c  467s |      16 |   314286 |   190852 |    19477     18 |      753 |      590
469.82/469.91	c  469s |      16 |   314808 |   191352 |    19477     18 |      753 |      590
472.12/472.22	c  471s |      16 |   315432 |   191952 |    19477     18 |      753 |      590
474.52/474.61	c  474s |      16 |   316065 |   192552 |    19477     18 |      753 |      590
476.52/476.68	c  476s |      16 |   316594 |   193052 |    19477     18 |      753 |      590
478.92/479.03	c  478s |      16 |   317130 |   193552 |    19477     18 |      753 |      590
481.12/481.28	c  481s |      16 |   318725 |   194452 |    19477     18 |      753 |      590
483.32/483.42	c  483s |      16 |   319743 |   195252 |    19477     18 |      753 |      590
485.32/485.48	c  485s |      16 |   320799 |   195952 |    19477     18 |      753 |      590
487.52/487.62	c  487s |      16 |   321472 |   196452 |    21425     18 |      753 |      590
489.61/489.79	c  489s |      16 |   322015 |   196952 |    21425     18 |      753 |      590
491.91/492.06	c  491s |      17 |   322536 |   197432 |    21425     18 |      753 |      590
494.01/494.12	c  493s |      17 |   327772 |   199532 |    21425     18 |      753 |      590
496.12/496.24	c  495s |      17 |   329668 |   201132 |    21425     18 |      753 |      590
498.22/498.33	c  498s |      17 |   331424 |   202332 |    21425     19 |      753 |      590
500.21/500.34	c  500s |      17 |   336724 |   203932 |    21425     19 |      753 |      590
502.41/502.50	c  502s |      17 |   338692 |   205532 |    21425     19 |      753 |      590
504.41/504.52	c  504s |      17 |   340042 |   206732 |    21425     19 |      753 |      590
506.41/506.58	c  506s |      17 |   342847 |   208232 |    21425     19 |      753 |      590
508.51/508.66	c  508s |      17 |   347308 |   209932 |    21425     19 |      753 |      590
510.51/510.69	c  510s |      17 |   348849 |   211332 |    21425     19 |      753 |      590
512.71/512.82	c  512s |      17 |   351931 |   212832 |    21425     20 |      753 |      590
514.72/514.88	c  514s |      17 |   353309 |   214132 |    21425     20 |      753 |      590
516.81/516.97	c  516s |      17 |   354557 |   215332 |    21425     20 |      753 |      590
518.91/519.03	c  518s |      17 |   355817 |   216432 |    21425     20 |      753 |      590
520.91/521.03	c  520s |      17 |   356964 |   217532 |    21425     20 |      753 |      590
522.91/523.04	c  522s |      17 |   358023 |   218532 |    21425     20 |      753 |      590
525.01/525.10	c  524s |      17 |   359078 |   219532 |    21425     20 |      753 |      590
527.11/527.29	c  527s |      17 |   360116 |   220532 |    21425     20 |      753 |      590
529.31/529.42	c  529s |      17 |   361056 |   221432 |    21425     20 |      753 |      590
531.32/531.43	c  531s |      17 |   361909 |   222232 |    21425     20 |      753 |      590
533.52/533.61	c  533s |      17 |   362726 |   223032 |    21425     20 |      753 |      590
535.51/535.68	c  535s |      17 |   363441 |   223732 |    21425     20 |      753 |      590
537.61/537.73	c  537s |      17 |   364177 |   224432 |    21425     20 |      753 |      590
539.71/539.86	c  539s |      17 |   364792 |   225032 |    21425     21 |      753 |      590
541.90/542.03	c  541s |      17 |   365609 |   225832 |    21425     21 |      753 |      590
543.90/544.04	c  543s |      17 |   366653 |   226732 |    21425     21 |      753 |      590
546.10/546.22	c  545s |      17 |   367782 |   227732 |    21425     21 |      753 |      590
548.20/548.32	c  548s |      17 |   368756 |   228632 |    21425     21 |      753 |      590
550.20/550.33	c  550s |      17 |   370393 |   229932 |    21425     21 |      753 |      590
552.30/552.49	c  552s |      17 |   371797 |   231232 |    21425     21 |      753 |      590
554.50/554.69	c  554s |      17 |   373227 |   232432 |    21425     21 |      753 |      590
556.61/556.75	c  556s |      17 |   374622 |   233332 |    21425     21 |      753 |      590
558.60/558.76	c  558s |      17 |   375806 |   234232 |    21425     21 |      753 |      590
560.80/560.90	c  560s |      17 |   377292 |   235332 |    21425     21 |      753 |      590
562.90/563.02	c  562s |      17 |   378403 |   236332 |    21425     21 |      753 |      590
564.90/565.10	c  564s |      17 |   379369 |   237132 |    21425     22 |      753 |      590
567.00/567.17	c  566s |      17 |   380915 |   238332 |    21425     22 |      753 |      590
569.10/569.27	c  569s |      17 |   382278 |   239432 |    21425     22 |      753 |      590
571.30/571.42	c  571s |      17 |   383657 |   240532 |    21425     22 |      753 |      590
573.40/573.51	c  573s |      17 |   384995 |   241532 |    21425     22 |      753 |      590
575.50/575.64	c  575s |      17 |   386548 |   242732 |    21425     22 |      753 |      590
577.70/577.80	c  577s |      17 |   387936 |   243932 |    21425     22 |      753 |      590
579.80/579.96	c  579s |      17 |   389262 |   245032 |    21425     22 |      753 |      590
581.81/581.97	c  581s |      17 |   390248 |   245832 |    21425     22 |      753 |      590
583.90/584.06	c  583s |      17 |   391224 |   246632 |    21425     22 |      753 |      590
586.21/586.31	c  586s |      17 |   392419 |   247632 |    21425     22 |      753 |      590
588.20/588.39	c  588s |      17 |   393329 |   248432 |    21425     22 |      753 |      590
590.30/590.40	c  590s |      17 |   394173 |   249132 |    21425     23 |      753 |      590
592.40/592.55	c  592s |      17 |   395239 |   250032 |    21425     23 |      753 |      590
594.39/594.60	c  594s |      17 |   396133 |   250832 |    21425     23 |      753 |      590
596.50/596.66	c  596s |      17 |   397156 |   251732 |    21425     23 |      753 |      590
598.60/598.74	c  598s |      17 |   398727 |   252732 |    21425     23 |      753 |      590
600.61/600.78	c  600s |      17 |   404982 |   254932 |    21425     23 |      753 |      590
602.81/602.92	c  602s |      17 |   406866 |   256532 |    21425     23 |      753 |      590
604.80/604.95	c  604s |      17 |   408287 |   257732 |    21425     23 |      753 |      590
606.80/606.96	c  606s |      17 |   409496 |   258732 |    21425     23 |      753 |      590
609.00/609.15	c  608s |      17 |   410600 |   259732 |    21425     23 |      753 |      590
611.10/611.24	c  610s |      17 |   411482 |   260532 |    21425     23 |      753 |      590
613.20/613.36	c  613s |      17 |   412278 |   261232 |    21425     24 |      753 |      590
615.30/615.46	c  615s |      17 |   413264 |   262132 |    21425     24 |      753 |      590
617.30/617.47	c  617s |      17 |   414314 |   263032 |    21425     24 |      753 |      590
619.60/619.70	c  619s |      17 |   415423 |   264032 |    21425     24 |      753 |      590
621.70/621.88	c  621s |      17 |   416403 |   264932 |    21425     24 |      753 |      590
623.80/623.91	c  623s |      17 |   417316 |   265732 |    21425     24 |      753 |      590
626.00/626.10	c  625s |      17 |   418447 |   266632 |    21425     24 |      753 |      590
627.90/628.10	c  627s |      17 |   419382 |   267432 |    21425     24 |      753 |      590
630.21/630.33	c  630s |      17 |   420320 |   268232 |    21425     24 |      753 |      590
632.40/632.55	c  632s |      17 |   421243 |   269032 |    21425     24 |      753 |      590
634.60/634.79	c  634s |      17 |   422014 |   269732 |    21425     24 |      753 |      590
636.69/636.83	c  636s |      17 |   422709 |   270332 |    21425     24 |      753 |      590
638.69/638.85	c  638s |      17 |   423367 |   270932 |    21425     24 |      753 |      590
640.99/641.16	c  640s |      17 |   424190 |   271632 |    21425     24 |      753 |      590
643.09/643.21	c  642s |      17 |   424860 |   272232 |    21425     24 |      753 |      590
645.19/645.38	c  645s |      17 |   425549 |   272832 |    21425     24 |      753 |      590
647.90/648.08	c  647s |      17 |   426353 |   273532 |    21425     25 |      753 |      590
650.19/650.32	c  650s |      17 |   427116 |   274232 |    21425     25 |      753 |      590
652.49/652.60	c  652s |      17 |   428023 |   275032 |    21425     25 |      753 |      590
654.59/654.70	c  654s |      17 |   428936 |   275832 |    21425     25 |      753 |      590
656.79/656.96	c  656s |      17 |   429900 |   276632 |    21425     25 |      753 |      590
659.09/659.23	c  658s |      17 |   430688 |   277332 |    21425     25 |      753 |      590
661.10/661.28	c  661s |      17 |   431461 |   278032 |    21425     25 |      753 |      590
663.30/663.42	c  663s |      17 |   432228 |   278732 |    21425     25 |      753 |      590
665.40/665.53	c  665s |      17 |   433014 |   279432 |    21425     25 |      753 |      590
667.39/667.55	c  667s |      17 |   433730 |   280032 |    21425     25 |      753 |      590
669.49/669.66	c  669s |      17 |   434422 |   280632 |    21425     25 |      753 |      590
671.59/671.78	c  671s |      17 |   435095 |   281232 |    21425     25 |      753 |      590
673.69/673.84	c  673s |      17 |   435784 |   281832 |    21425     25 |      753 |      590
675.79/675.93	c  675s |      17 |   436495 |   282432 |    21425     25 |      753 |      590
678.08/678.26	c  678s |      17 |   437314 |   283132 |    21425     25 |      753 |      590
680.18/680.30	c  680s |      17 |   437989 |   283732 |    21425     25 |      753 |      590
682.38/682.58	c  682s |      17 |   438707 |   284332 |    21425     25 |      753 |      590
684.68/684.86	c  684s |      17 |   439414 |   284932 |    21425     25 |      753 |      590
687.08/687.22	c  686s |      17 |   440086 |   285532 |    21425     25 |      753 |      590
689.18/689.30	c  689s |      17 |   440660 |   286032 |    21425     26 |      753 |      590
691.38/691.53	c  691s |      17 |   441579 |   286832 |    21425     26 |      753 |      590
693.58/693.70	c  693s |      17 |   442230 |   287432 |    21425     26 |      753 |      590
695.68/695.88	c  695s |      17 |   442878 |   288032 |    21425     26 |      753 |      590
697.88/698.09	c  697s |      17 |   443513 |   288632 |    21425     26 |      753 |      590
700.28/700.42	c  700s |      17 |   444269 |   289332 |    21425     26 |      753 |      590
702.38/702.51	c  702s |      17 |   444927 |   289932 |    21425     26 |      753 |      590
704.58/704.79	c  704s |      17 |   445562 |   290532 |    21425     26 |      753 |      590
706.88/707.08	c  706s |      17 |   446216 |   291132 |    21425     26 |      753 |      590
709.28/709.40	c  709s |      17 |   447009 |   291832 |    21425     26 |      753 |      590
711.38/711.59	c  711s |      17 |   447820 |   292532 |    21425     26 |      753 |      590
713.79/713.93	c  713s |      17 |   448686 |   293232 |    21425     26 |      753 |      590
716.10/716.26	c  716s |      17 |   449472 |   293932 |    21425     26 |      753 |      590
718.19/718.34	c  718s |      17 |   450142 |   294532 |    23568     26 |      753 |      590
720.28/720.41	c  720s |      17 |   450811 |   295132 |    23568     26 |      753 |      590
722.28/722.47	c  722s |      17 |   451445 |   295732 |    23568     26 |      753 |      590
724.28/724.43	c  724s |      18 |   452021 |   296252 |    23568     26 |      753 |      590
726.38/726.51	c  726s |      18 |   456757 |   297752 |    23568     26 |      753 |      590
728.38/728.59	c  728s |      18 |   460418 |   299052 |    23568     27 |      753 |      590
730.48/730.62	c  730s |      18 |   463135 |   300552 |    23568     27 |      753 |      590
732.59/732.74	c  732s |      18 |   464667 |   301852 |    23568     27 |      753 |      590
734.58/734.76	c  734s |      18 |   467977 |   303352 |    23568     27 |      753 |      590
736.68/736.82	c  736s |      18 |   470628 |   304852 |    23568     27 |      753 |      590
738.77/738.93	c  738s |      18 |   472704 |   306052 |    23568     27 |      753 |      590
740.97/741.16	c  740s |      18 |   474109 |   307152 |    23568     27 |      753 |      590
743.07/743.23	c  742s |      18 |   475180 |   308052 |    23568     27 |      753 |      590
745.17/745.39	c  745s |      18 |   476089 |   308852 |    23568     27 |      753 |      590
747.27/747.43	c  747s |      18 |   476860 |   309552 |    23568     27 |      753 |      590
749.37/749.53	c  749s |      18 |   477604 |   310252 |    23568     27 |      753 |      590
751.47/751.63	c  751s |      18 |   478488 |   311052 |    23568     27 |      753 |      590
753.67/753.84	c  753s |      18 |   479245 |   311752 |    23568     27 |      753 |      590
755.68/755.89	c  755s |      18 |   480019 |   312452 |    23568     27 |      753 |      590
758.27/758.49	c  758s |      18 |   480676 |   313052 |    23568     28 |      753 |      590
760.57/760.78	c  760s |      18 |   481330 |   313652 |    23568     28 |      753 |      590
762.67/762.83	c  762s |      18 |   482000 |   314252 |    23568     28 |      753 |      590
764.76/764.94	c  764s |      18 |   482665 |   314852 |    23568     28 |      753 |      590
766.86/767.03	c  766s |      18 |   483334 |   315452 |    23568     28 |      753 |      590
768.87/769.04	c  768s |      18 |   484047 |   316052 |    23568     28 |      753 |      590
770.97/771.13	c  770s |      18 |   484738 |   316652 |    23568     28 |      753 |      590
772.96/773.14	c  772s |      18 |   485306 |   317152 |    23568     28 |      753 |      590
775.06/775.21	c  774s |      18 |   485862 |   317652 |    23568     28 |      753 |      590
777.46/777.60	c  777s |      18 |   486519 |   318252 |    23568     28 |      753 |      590
779.56/779.77	c  779s |      18 |   487066 |   318752 |    23568     28 |      753 |      590
781.76/781.92	c  781s |      18 |   487725 |   319352 |    23568     28 |      753 |      590
784.06/784.20	c  783s |      18 |   488462 |   319952 |    23568     28 |      753 |      590
786.37/786.59	c  786s |      18 |   489147 |   320552 |    23568     28 |      753 |      590
788.67/788.81	c  788s |      18 |   489695 |   321052 |    23568     28 |      753 |      590
790.77/790.98	c  790s |      18 |   490352 |   321652 |    23568     28 |      753 |      590
792.97/793.15	c  792s |      18 |   490898 |   322152 |    23568     28 |      753 |      590
795.27/795.47	c  795s |      18 |   491429 |   322652 |    23568     28 |      753 |      590
797.36/797.60	c  797s |      18 |   491965 |   323152 |    23568     28 |      753 |      590
799.56/799.80	c  799s |      18 |   492502 |   323652 |    23568     28 |      753 |      590
801.76/801.94	c  801s |      18 |   492934 |   324052 |    23568     28 |      753 |      590
803.75/803.95	c  803s |      18 |   493361 |   324452 |    23568     28 |      753 |      590
806.05/806.20	c  805s |      18 |   493909 |   324952 |    23568     28 |      753 |      590
808.36/808.60	c  808s |      18 |   494460 |   325452 |    23568     28 |      753 |      590
810.95/811.10	c  810s |      18 |   494978 |   325952 |    23568     28 |      753 |      590
813.05/813.20	c  812s |      18 |   495404 |   326352 |    23568     28 |      753 |      590
815.26/815.45	c  815s |      18 |   495839 |   326752 |    23568     29 |      753 |      590
817.65/817.84	c  817s |      18 |   496394 |   327252 |    23568     29 |      753 |      590
819.85/820.07	c  819s |      18 |   496938 |   327752 |    23568     29 |      753 |      590
821.95/822.10	c  821s |      18 |   497535 |   328252 |    23568     29 |      753 |      590
824.25/824.44	c  824s |      18 |   498353 |   328952 |    23568     29 |      753 |      590
826.25/826.47	c  826s |      18 |   499003 |   329552 |    23568     29 |      753 |      590
828.65/828.80	c  828s |      18 |   499540 |   330052 |    23568     29 |      753 |      590
830.95/831.11	c  830s |      18 |   500196 |   330652 |    23568     29 |      753 |      590
832.95/833.16	c  832s |      18 |   500748 |   331152 |    23568     29 |      753 |      590
835.05/835.28	c  835s |      18 |   501190 |   331552 |    23568     29 |      753 |      590
837.14/837.38	c  837s |      18 |   501752 |   332052 |    23568     29 |      753 |      590
839.54/839.70	c  839s |      18 |   502445 |   332652 |    23568     29 |      753 |      590
841.74/841.96	c  841s |      18 |   502992 |   333152 |    23568     29 |      753 |      590
843.94/844.11	c  843s |      18 |   503660 |   333752 |    23568     29 |      753 |      590
845.94/846.14	c  845s |      18 |   504199 |   334252 |    23568     29 |      753 |      590
848.05/848.24	c  847s |      18 |   504624 |   334652 |    23568     29 |      753 |      590
850.53/850.72	c  850s |      18 |   505281 |   335252 |    23568     29 |      753 |      590
852.93/853.15	c  852s |      18 |   505819 |   335752 |    23568     29 |      753 |      590
855.33/855.60	c  855s |      18 |   506365 |   336252 |    23568     29 |      753 |      590
857.63/857.81	c  857s |      18 |   506884 |   336752 |    23568     29 |      753 |      590
859.93/860.15	c  859s |      18 |   507466 |   337252 |    23568     29 |      753 |      590
862.34/862.57	c  862s |      18 |   507886 |   337652 |    23568     29 |      753 |      590
864.44/864.69	c  864s |      18 |   509237 |   338152 |    23568     29 |      753 |      590
866.64/866.84	c  866s |      18 |   511324 |   339052 |    23568     29 |      753 |      590
868.83/869.06	c  868s |      18 |   512401 |   339852 |    23568     29 |      753 |      590
870.92/871.20	c  870s |      18 |   513187 |   340452 |    23568     30 |      753 |      590
873.02/873.21	c  872s |      18 |   514073 |   341252 |    23568     30 |      753 |      590
875.12/875.31	c  875s |      18 |   515060 |   342152 |    23568     30 |      753 |      590
877.32/877.53	c  877s |      18 |   515907 |   342952 |    23568     30 |      753 |      590
879.42/879.69	c  879s |      18 |   516834 |   343752 |    23568     30 |      753 |      590
881.62/881.83	c  881s |      18 |   517961 |   344652 |    23568     30 |      753 |      590
883.61/883.88	c  883s |      18 |   518911 |   345452 |    23568     30 |      753 |      590
885.71/885.95	c  885s |      18 |   519676 |   346152 |    23568     30 |      753 |      590
888.01/888.21	c  887s |      18 |   520601 |   346952 |    23568     30 |      753 |      590
890.01/890.29	c  890s |      18 |   521396 |   347652 |    23568     30 |      753 |      590
892.21/892.46	c  892s |      18 |   522192 |   348352 |    23568     30 |      753 |      590
894.31/894.53	c  894s |      18 |   523016 |   349052 |    23568     30 |      753 |      590
896.42/896.65	c  896s |      18 |   523670 |   349652 |    23568     30 |      753 |      590
898.52/898.75	c  898s |      18 |   524356 |   350252 |    23568     30 |      753 |      590
900.61/900.83	c  900s |      18 |   525020 |   350852 |    23568     30 |      753 |      590
902.61/902.88	c  902s |      18 |   525707 |   351452 |    23568     30 |      753 |      590
904.81/905.00	c  904s |      18 |   526380 |   352052 |    23568     30 |      753 |      590
906.91/907.18	c  906s |      18 |   527065 |   352652 |    23568     30 |      753 |      590
909.00/909.25	c  908s |      18 |   527751 |   353252 |    23568     30 |      753 |      590
911.20/911.42	c  911s |      18 |   528305 |   353752 |    23568     31 |      753 |      590
913.41/913.60	c  913s |      18 |   529094 |   354452 |    23568     31 |      753 |      590
915.71/915.91	c  915s |      18 |   530033 |   355252 |    23568     31 |      753 |      590
917.90/918.12	c  917s |      18 |   530554 |   355752 |    23568     31 |      753 |      590
920.10/920.33	c  920s |      18 |   531082 |   356252 |    23568     31 |      753 |      590
922.20/922.47	c  922s |      18 |   531626 |   356752 |    23568     31 |      753 |      590
924.70/924.90	c  924s |      18 |   532290 |   357352 |    23568     31 |      753 |      590
926.90/927.15	c  926s |      18 |   532972 |   357952 |    23568     31 |      753 |      590
929.31/929.51	c  929s |      18 |   533634 |   358552 |    23568     31 |      753 |      590
931.30/931.55	c  931s |      18 |   534188 |   359052 |    23568     31 |      753 |      590
933.40/933.63	c  933s |      18 |   534725 |   359552 |    23568     31 |      753 |      590
935.50/935.70	c  935s |      18 |   535261 |   360052 |    23568     31 |      753 |      590
937.89/938.17	c  937s |      18 |   535911 |   360652 |    23568     31 |      753 |      590
939.99/940.24	c  939s |      18 |   536471 |   361152 |    23568     31 |      753 |      590
942.29/942.52	c  942s |      18 |   537020 |   361652 |    23568     31 |      753 |      590
944.59/944.82	c  944s |      18 |   537546 |   362152 |    23568     31 |      753 |      590
946.79/947.05	c  946s |      18 |   538082 |   362652 |    23568     31 |      753 |      590
948.99/949.28	c  949s |      18 |   538614 |   363152 |    23568     31 |      753 |      590
951.30/951.52	c  951s |      18 |   539168 |   363652 |    23568     31 |      753 |      590
953.29/953.55	c  953s |      18 |   539726 |   364152 |    23568     31 |      753 |      590
955.59/955.88	c  955s |      18 |   540407 |   364752 |    23568     31 |      753 |      590
957.99/958.22	c  957s |      18 |   540943 |   365252 |    23568     31 |      753 |      590
959.98/960.28	c  960s |      18 |   541499 |   365752 |    23568     31 |      753 |      590
962.29/962.58	c  962s |      18 |   542068 |   366252 |    23568     31 |      753 |      590
964.88/965.15	c  964s |      18 |   542666 |   366752 |    23568     32 |      753 |      590
967.08/967.37	c  967s |      18 |   543468 |   367452 |    23568     32 |      753 |      590
969.38/969.68	c  969s |      18 |   544262 |   368152 |    23568     32 |      753 |      590
971.48/971.71	c  971s |      18 |   544939 |   368752 |    23568     32 |      753 |      590
973.68/973.93	c  973s |      18 |   545622 |   369352 |    23568     32 |      753 |      590
975.87/976.16	c  975s |      18 |   546294 |   369952 |    23568     32 |      753 |      590
977.87/978.19	c  977s |      18 |   546818 |   370452 |    23568     32 |      753 |      590
980.07/980.38	c  980s |      18 |   547347 |   370952 |    23568     32 |      753 |      590
982.37/982.67	c  982s |      18 |   548003 |   371552 |    23568     32 |      753 |      590
984.47/984.79	c  984s |      18 |   548672 |   372152 |    23568     32 |      753 |      590
986.77/987.08	c  986s |      18 |   549319 |   372752 |    23568     32 |      753 |      590
988.86/989.12	c  988s |      18 |   549871 |   373252 |    23568     32 |      753 |      590
990.87/991.17	c  990s |      18 |   550415 |   373752 |    23568     32 |      753 |      590
992.86/993.18	c  992s |      18 |   550969 |   374252 |    23568     32 |      753 |      590
994.96/995.21	c  994s |      18 |   551524 |   374752 |    23568     32 |      753 |      590
997.06/997.39	c  997s |      18 |   552077 |   375252 |    23568     32 |      753 |      590
999.46/999.70	c  999s |      18 |   552613 |   375752 |    23568     32 |      753 |      590
1001.76/1002.08	c 1001s |      18 |   553156 |   376252 |    23568     32 |      753 |      590
1004.25/1004.52	c 1004s |      18 |   553685 |   376752 |    23568     32 |      753 |      590
1006.45/1006.73	c 1006s |      18 |   554238 |   377252 |    23568     32 |      753 |      590
1008.46/1008.79	c 1008s |      18 |   554660 |   377652 |    23568     32 |      753 |      590
1010.55/1010.88	c 1010s |      18 |   555089 |   378052 |    23568     32 |      753 |      590
1012.75/1013.07	c 1012s |      18 |   555791 |   378552 |    23568     32 |      753 |      590
1014.95/1015.22	c 1014s |      18 |   556342 |   379052 |    23568     32 |      753 |      590
1016.95/1017.28	c 1017s |      18 |   556753 |   379452 |    23568     32 |      753 |      590
1019.14/1019.43	c 1019s |      18 |   557173 |   379852 |    23568     32 |      753 |      590
1021.24/1021.58	c 1021s |      18 |   557484 |   380152 |    23568     33 |      753 |      590
1023.44/1023.73	c 1023s |      18 |   558146 |   380752 |    23568     33 |      753 |      590
1025.54/1025.89	c 1025s |      18 |   558784 |   381352 |    23568     33 |      753 |      590
1027.73/1028.00	c 1027s |      18 |   559440 |   381952 |    23568     33 |      753 |      590
1029.83/1030.10	c 1029s |      18 |   560082 |   382552 |    23568     33 |      753 |      590
1032.03/1032.32	c 1032s |      18 |   560730 |   383152 |    23568     33 |      753 |      590
1034.03/1034.38	c 1034s |      18 |   561403 |   383752 |    23568     33 |      753 |      590
1036.33/1036.69	c 1036s |      18 |   562060 |   384352 |    23568     33 |      753 |      590
1038.53/1038.89	c 1038s |      18 |   562716 |   384952 |    23568     33 |      753 |      590
1040.93/1041.24	c 1040s |      18 |   563482 |   385652 |    23568     33 |      753 |      590
1043.33/1043.63	c 1043s |      18 |   564136 |   386252 |    23568     33 |      753 |      590
1045.63/1045.92	c 1045s |      18 |   564793 |   386852 |    23568     33 |      753 |      590
1047.92/1048.26	c 1048s |      18 |   565469 |   387452 |    23568     33 |      753 |      590
1050.33/1050.62	c 1050s |      18 |   566148 |   388052 |    23568     33 |      753 |      590
1052.43/1052.72	c 1052s |      18 |   566673 |   388552 |    23568     33 |      753 |      590
1054.52/1054.86	c 1054s |      18 |   567203 |   389052 |    23568     33 |      753 |      590
1056.93/1057.21	c 1056s |      18 |   567877 |   389652 |    23568     33 |      753 |      590
1059.13/1059.48	c 1059s |      18 |   568412 |   390152 |    23568     33 |      753 |      590
1061.42/1061.75	c 1061s |      18 |   568967 |   390652 |    23568     33 |      753 |      590
1063.82/1064.18	c 1063s |      18 |   569506 |   391152 |    23568     33 |      753 |      590
1066.31/1066.65	c 1066s |      18 |   570033 |   391652 |    23568     33 |      753 |      590
1068.61/1068.92	c 1068s |      18 |   570585 |   392152 |    23568     33 |      753 |      590
1070.91/1071.25	c 1070s |      18 |   571384 |   392852 |    23568     33 |      753 |      590
1072.91/1073.27	c 1073s |      18 |   572082 |   393452 |    23568     33 |      753 |      590
1075.01/1075.37	c 1075s |      18 |   572778 |   394052 |    23568     34 |      753 |      590
1077.11/1077.48	c 1077s |      18 |   573570 |   394752 |    23568     34 |      753 |      590
1079.21/1079.55	c 1079s |      18 |   574316 |   395452 |    23568     34 |      753 |      590
1081.51/1081.85	c 1081s |      18 |   575112 |   396152 |    23568     34 |      753 |      590
1083.82/1084.10	c 1083s |      18 |   575900 |   396852 |    23568     34 |      753 |      590
1085.82/1086.18	c 1085s |      18 |   576694 |   397552 |    23568     34 |      753 |      590
1088.01/1088.33	c 1088s |      18 |   577352 |   398152 |    23568     34 |      753 |      590
1090.21/1090.57	c 1090s |      18 |   577999 |   398752 |    23568     34 |      753 |      590
1092.41/1092.71	c 1092s |      18 |   578641 |   399352 |    23568     34 |      753 |      590
1094.61/1094.98	c 1094s |      18 |   579440 |   400052 |    23568     34 |      753 |      590
1096.91/1097.21	c 1096s |      18 |   580229 |   400752 |    23568     34 |      753 |      590
1098.90/1099.26	c 1099s |      18 |   580945 |   401352 |    23568     34 |      753 |      590
1100.91/1101.29	c 1101s |      18 |   581494 |   401852 |    23568     34 |      753 |      590
1103.20/1103.59	c 1103s |      18 |   582162 |   402452 |    23568     34 |      753 |      590
1105.31/1105.61	c 1105s |      18 |   582852 |   403052 |    23568     34 |      753 |      590
1107.41/1107.79	c 1107s |      18 |   583525 |   403652 |    23568     34 |      753 |      590
1109.71/1110.03	c 1109s |      18 |   584191 |   404252 |    23568     34 |      753 |      590
1111.70/1112.04	c 1111s |      18 |   584758 |   404752 |    23568     34 |      753 |      590
1113.80/1114.12	c 1113s |      18 |   585319 |   405252 |    23568     34 |      753 |      590
1115.90/1116.21	c 1115s |      18 |   585873 |   405752 |    23568     34 |      753 |      590
1117.89/1118.24	c 1117s |      18 |   586461 |   406252 |    23568     34 |      753 |      590
1120.09/1120.41	c 1120s |      18 |   586993 |   406752 |    23568     34 |      753 |      590
1122.39/1122.73	c 1122s |      18 |   587536 |   407252 |    23568     35 |      753 |      590
1124.39/1124.74	c 1124s |      18 |   588192 |   407852 |    23568     35 |      753 |      590
1126.69/1127.02	c 1126s |      18 |   588957 |   408552 |    23568     35 |      753 |      590
1128.78/1129.13	c 1128s |      18 |   589629 |   409152 |    23568     35 |      753 |      590
1130.88/1131.25	c 1130s |      18 |   590269 |   409752 |    23568     35 |      753 |      590
1132.98/1133.30	c 1133s |      18 |   590923 |   410352 |    23568     35 |      753 |      590
1134.99/1135.38	c 1135s |      18 |   591535 |   410852 |    23568     35 |      753 |      590
1137.27/1137.64	c 1137s |      18 |   592483 |   411652 |    23568     35 |      753 |      590
1139.67/1140.01	c 1139s |      18 |   593278 |   412352 |    23568     35 |      753 |      590
1141.67/1142.03	c 1141s |      18 |   593931 |   412952 |    23568     35 |      753 |      590
1143.78/1144.17	c 1143s |      18 |   594582 |   413552 |    23568     35 |      753 |      590
1146.07/1146.40	c 1146s |      18 |   595250 |   414152 |    23568     35 |      753 |      590
1148.17/1148.56	c 1148s |      18 |   595923 |   414752 |    23568     35 |      753 |      590
1150.46/1150.82	c 1150s |      18 |   596584 |   415352 |    23568     35 |      753 |      590
1152.76/1153.19	c 1152s |      18 |   597274 |   415952 |    23568     35 |      753 |      590
1155.06/1155.41	c 1155s |      18 |   597917 |   416552 |    23568     35 |      753 |      590
1157.06/1157.43	c 1157s |      18 |   598485 |   417052 |    23568     35 |      753 |      590
1159.36/1159.77	c 1159s |      18 |   599149 |   417652 |    23568     35 |      753 |      590
1161.46/1161.87	c 1161s |      18 |   599708 |   418152 |    23568     35 |      753 |      590
1163.66/1164.04	c 1163s |      18 |   600265 |   418652 |    23568     35 |      753 |      590
1165.76/1166.12	c 1165s |      18 |   600811 |   419152 |    23568     35 |      753 |      590
1168.05/1168.46	c 1168s |      18 |   601472 |   419752 |    23568     35 |      753 |      590
1170.75/1171.11	c 1170s |      18 |   601999 |   420252 |    23568     36 |      753 |      590
1172.95/1173.30	c 1173s |      18 |   602780 |   420952 |    23568     36 |      753 |      590
1175.15/1175.55	c 1175s |      18 |   603422 |   421552 |    23568     36 |      753 |      590
1177.35/1177.77	c 1177s |      18 |   604053 |   422152 |    23568     36 |      753 |      590
1179.65/1180.10	c 1179s |      18 |   604700 |   422752 |    23568     36 |      753 |      590
1181.85/1182.22	c 1181s |      18 |   605352 |   423352 |    23568     36 |      753 |      590
1184.15/1184.53	c 1184s |      18 |   605998 |   423952 |    23568     36 |      753 |      590
1186.15/1186.55	c 1186s |      18 |   606539 |   424452 |    23568     36 |      753 |      590
1188.44/1188.86	c 1188s |      18 |   607189 |   425052 |    23568     36 |      753 |      590
1190.64/1191.08	c 1190s |      18 |   607850 |   425652 |    23568     36 |      753 |      590
1192.74/1193.15	c 1192s |      18 |   608382 |   426152 |    23568     36 |      753 |      590
1195.04/1195.47	c 1195s |      18 |   609007 |   426752 |    23568     36 |      753 |      590
1197.24/1197.65	c 1197s |      18 |   609532 |   427252 |    23568     36 |      753 |      590
1199.44/1199.82	c 1199s |      18 |   610070 |   427752 |    23568     36 |      753 |      590
1201.73/1202.14	c 1201s |      18 |   610600 |   428252 |    23568     36 |      753 |      590
1203.93/1204.37	c 1204s |      18 |   611145 |   428752 |    23568     36 |      753 |      590
1206.34/1206.73	c 1206s |      18 |   611669 |   429252 |    23568     36 |      753 |      590
1208.54/1208.97	c 1208s |      18 |   612213 |   429752 |    23568     36 |      753 |      590
1210.63/1211.00	c 1210s |      18 |   612756 |   430252 |    23568     36 |      753 |      590
1212.73/1213.10	c 1212s |      18 |   613288 |   430752 |    23568     36 |      753 |      590
1214.83/1215.25	c 1214s |      18 |   613839 |   431252 |    23568     36 |      753 |      590
1216.93/1217.37	c 1217s |      18 |   614271 |   431652 |    23568     36 |      753 |      590
1219.12/1219.59	c 1219s |      18 |   614802 |   432152 |    23568     36 |      753 |      590
1221.42/1221.84	c 1221s |      18 |   615346 |   432652 |    23568     36 |      753 |      590
1223.62/1224.03	c 1223s |      18 |   615909 |   433152 |    23568     36 |      753 |      590
1226.23/1226.67	c 1226s |      18 |   616323 |   433552 |    23568     37 |      753 |      590
1228.32/1228.78	c 1228s |      18 |   616975 |   434152 |    23568     37 |      753 |      590
1230.41/1230.85	c 1230s |      18 |   617629 |   434752 |    23568     37 |      753 |      590
1232.51/1232.96	c 1232s |      18 |   618284 |   435352 |    23568     37 |      753 |      590
1234.81/1235.22	c 1234s |      18 |   618935 |   435952 |    23568     37 |      753 |      590
1237.12/1237.60	c 1237s |      18 |   619584 |   436552 |    23568     37 |      753 |      590
1239.42/1239.88	c 1239s |      18 |   620226 |   437152 |    23568     37 |      753 |      590
1241.71/1242.13	c 1241s |      18 |   620898 |   437752 |    23568     37 |      753 |      590
1244.10/1244.54	c 1244s |      18 |   621570 |   438352 |    23568     37 |      753 |      590
1246.30/1246.74	c 1246s |      18 |   622231 |   438952 |    23568     37 |      753 |      590
1248.70/1249.18	c 1248s |      18 |   622849 |   439552 |    23568     37 |      753 |      590
1250.89/1251.39	c 1251s |      18 |   623504 |   440152 |    23568     37 |      753 |      590
1252.99/1253.49	c 1253s |      18 |   624047 |   440652 |    23568     37 |      753 |      590
1255.29/1255.71	c 1255s |      18 |   624581 |   441152 |    23568     37 |      753 |      590
1257.59/1258.03	c 1257s |      18 |   625252 |   441752 |    25925     37 |      753 |      590
1259.89/1260.32	c 1260s |      18 |   625899 |   442352 |    25925     37 |      753 |      590
1261.99/1262.42	c 1262s |      18 |   626434 |   442852 |    25925     37 |      753 |      590
1264.38/1264.84	c 1264s |      18 |   626960 |   443352 |    25925     37 |      753 |      590
1266.58/1267.06	c 1266s |      18 |   627510 |   443852 |    25925     37 |      753 |      590
1268.78/1269.22	c 1268s |      18 |   628046 |   444352 |    25925     37 |      753 |      590
1269.28/1269.76	c 1269s |      19 |   628201 |   444482 |    25925     37 |      753 |      590
1271.38/1271.81	c 1271s |      19 |   635322 |   446382 |    25925     37 |      753 |      590
1273.39/1273.85	c 1273s |      19 |   639304 |   448482 |    25925     37 |      753 |      590
1275.38/1275.88	c 1275s |      19 |   642834 |   450082 |    25925     38 |      753 |      590
1277.47/1277.93	c 1277s |      19 |   645724 |   451782 |    25925     38 |      753 |      590
1279.57/1280.08	c 1279s |      19 |   647809 |   453282 |    25925     38 |      753 |      590
1281.57/1282.08	c 1281s |      19 |   650150 |   454782 |    25925     38 |      753 |      590
1283.57/1284.09	c 1283s |      19 |   652422 |   456182 |    25925     38 |      753 |      590
1285.67/1286.15	c 1285s |      19 |   654306 |   457482 |    25925     38 |      753 |      590
1287.68/1288.16	c 1287s |      19 |   655970 |   458682 |    25925     38 |      753 |      590
1289.77/1290.23	c 1289s |      19 |   657722 |   459882 |    25925     38 |      753 |      590
1291.77/1292.25	c 1292s |      19 |   659319 |   460982 |    25925     38 |      753 |      590
1293.87/1294.33	c 1294s |      19 |   660945 |   462182 |    25925     38 |      753 |      590
1295.97/1296.46	c 1296s |      19 |   662403 |   463282 |    25925     38 |      753 |      590
1298.16/1298.66	c 1298s |      19 |   663829 |   464282 |    25925     39 |      753 |      590
1300.27/1300.78	c 1300s |      19 |   665058 |   465182 |    25925     39 |      753 |      590
1302.37/1302.83	c 1302s |      19 |   666580 |   466282 |    25925     39 |      753 |      590
1304.47/1304.94	c 1304s |      19 |   667550 |   467082 |    25925     39 |      753 |      590
1306.48/1306.96	c 1306s |      19 |   668497 |   467882 |    25925     39 |      753 |      590
1308.57/1309.07	c 1308s |      19 |   669413 |   468682 |    25925     39 |      753 |      590
1310.77/1311.30	c 1311s |      19 |   670419 |   469482 |    25925     39 |      753 |      590
1312.86/1313.33	c 1313s |      19 |   671526 |   470282 |    25925     39 |      753 |      590
1315.06/1315.51	c 1315s |      19 |   673284 |   471282 |    25925     39 |      753 |      590
1317.06/1317.53	c 1317s |      19 |   675022 |   472382 |    25925     39 |      753 |      590
1319.25/1319.70	c 1319s |      19 |   679041 |   473782 |    25925     39 |      753 |      590
1321.35/1321.89	c 1321s |      19 |   680146 |   474682 |    25925     39 |      753 |      590
1323.55/1324.06	c 1323s |      19 |   681269 |   475582 |    25925     39 |      753 |      590
1325.85/1326.39	c 1326s |      19 |   682090 |   476282 |    25925     39 |      753 |      590
1328.25/1328.71	c 1328s |      19 |   682745 |   476882 |    25925     39 |      753 |      590
1330.66/1331.13	c 1330s |      19 |   683458 |   477482 |    25925     39 |      753 |      590
1333.05/1333.51	c 1333s |      19 |   684182 |   477982 |    25925     40 |      753 |      590
1335.06/1335.59	c 1335s |      19 |   687306 |   479482 |    25925     40 |      753 |      590
1337.15/1337.67	c 1337s |      19 |   689055 |   480782 |    25925     40 |      753 |      590
1339.35/1339.89	c 1339s |      19 |   690521 |   481982 |    25925     40 |      753 |      590
1341.55/1342.05	c 1341s |      19 |   691709 |   482982 |    25925     40 |      753 |      590
1343.75/1344.22	c 1343s |      19 |   692711 |   483882 |    25925     40 |      753 |      590
1345.84/1346.30	c 1346s |      19 |   693605 |   484682 |    25925     40 |      753 |      590
1348.03/1348.57	c 1348s |      19 |   694505 |   485482 |    25925     40 |      753 |      590
1350.13/1350.62	c 1350s |      19 |   695799 |   486382 |    25925     40 |      753 |      590
1352.43/1352.93	c 1352s |      19 |   696844 |   487282 |    25925     40 |      753 |      590
1354.43/1354.98	c 1354s |      19 |   697643 |   487982 |    25925     40 |      753 |      590
1356.73/1357.22	c 1356s |      19 |   698416 |   488682 |    25925     40 |      753 |      590
1358.83/1359.38	c 1359s |      19 |   699090 |   489282 |    25925     40 |      753 |      590
1361.13/1361.61	c 1361s |      19 |   699885 |   489982 |    25925     40 |      753 |      590
1363.13/1363.62	c 1363s |      19 |   700408 |   490482 |    25925     40 |      753 |      590
1365.23/1365.71	c 1365s |      19 |   701087 |   491082 |    25925     40 |      753 |      590
1367.22/1367.74	c 1367s |      19 |   701767 |   491682 |    25925     40 |      753 |      590
1369.22/1369.76	c 1369s |      19 |   702474 |   492282 |    25925     40 |      753 |      590
1371.52/1372.00	c 1371s |      19 |   703147 |   492882 |    25925     41 |      753 |      590
1373.72/1374.21	c 1373s |      19 |   704024 |   493682 |    25925     41 |      753 |      590
1375.73/1376.22	c 1375s |      19 |   704922 |   494482 |    25925     41 |      753 |      590
1378.01/1378.50	c 1378s |      19 |   705836 |   495282 |    25925     41 |      753 |      590
1380.31/1380.81	c 1380s |      19 |   706715 |   496082 |    25925     41 |      753 |      590
1382.32/1382.88	c 1382s |      19 |   707528 |   496782 |    25925     41 |      753 |      590
1384.61/1385.11	c 1384s |      19 |   708326 |   497482 |    25925     41 |      753 |      590
1386.91/1387.42	c 1387s |      19 |   709100 |   498182 |    25925     41 |      753 |      590
1388.92/1389.43	c 1389s |      19 |   709773 |   498782 |    25925     41 |      753 |      590
1391.21/1391.73	c 1391s |      19 |   710544 |   499482 |    25925     41 |      753 |      590
1393.51/1394.05	c 1393s |      19 |   711240 |   500082 |    25925     41 |      753 |      590
1395.52/1396.06	c 1395s |      19 |   711927 |   500682 |    25925     41 |      753 |      590
1397.72/1398.29	c 1398s |      19 |   712588 |   501282 |    25925     41 |      753 |      590
1399.92/1400.44	c 1400s |      19 |   713248 |   501882 |    25925     41 |      753 |      590
1402.21/1402.71	c 1402s |      19 |   713937 |   502482 |    25925     41 |      753 |      590
1404.41/1404.91	c 1404s |      19 |   714728 |   503182 |    25925     41 |      753 |      590
1406.61/1407.11	c 1406s |      19 |   715390 |   503782 |    25925     41 |      753 |      590
1408.81/1409.35	c 1409s |      19 |   716058 |   504382 |    25925     41 |      753 |      590
1410.92/1411.41	c 1411s |      19 |   716604 |   504882 |    25925     41 |      753 |      590
1413.02/1413.55	c 1413s |      19 |   717136 |   505382 |    25925     41 |      753 |      590
1415.41/1415.91	c 1415s |      19 |   717802 |   505982 |    25925     41 |      753 |      590
1417.61/1418.16	c 1417s |      19 |   718338 |   506482 |    25925     41 |      753 |      590
1419.81/1420.32	c 1420s |      19 |   718896 |   506982 |    25925     41 |      753 |      590
1421.92/1422.46	c 1422s |      19 |   719320 |   507382 |    25925     42 |      753 |      590
1424.20/1424.71	c 1424s |      19 |   720134 |   508082 |    25925     42 |      753 |      590
1426.31/1426.83	c 1426s |      19 |   720883 |   508782 |    25925     42 |      753 |      590
1428.30/1428.85	c 1428s |      19 |   721692 |   509482 |    25925     42 |      753 |      590
1430.61/1431.15	c 1430s |      19 |   722607 |   510282 |    25925     42 |      753 |      590
1432.70/1433.30	c 1433s |      19 |   723513 |   510982 |    25925     42 |      753 |      590
1434.80/1435.30	c 1435s |      19 |   724367 |   511682 |    25925     42 |      753 |      590
1436.80/1437.39	c 1437s |      19 |   725822 |   512682 |    25925     42 |      753 |      590
1438.90/1439.40	c 1439s |      19 |   728276 |   514282 |    25925     42 |      753 |      590
1441.00/1441.50	c 1441s |      19 |   730497 |   515982 |    25925     42 |      753 |      590
1443.00/1443.56	c 1443s |      19 |   732162 |   517382 |    25925     42 |      753 |      590
1445.20/1445.75	c 1445s |      19 |   733528 |   518582 |    25925     42 |      753 |      590
1447.30/1447.88	c 1447s |      19 |   735466 |   519982 |    25925     42 |      753 |      590
1449.41/1449.98	c 1449s |      19 |   736879 |   521082 |    25925     42 |      753 |      590
1451.40/1451.99	c 1451s |      19 |   738001 |   521982 |    25925     43 |      753 |      590
1453.60/1454.12	c 1453s |      19 |   739514 |   523182 |    25925     43 |      753 |      590
1455.70/1456.26	c 1456s |      19 |   740957 |   524282 |    25925     43 |      753 |      590
1457.80/1458.38	c 1458s |      19 |   742432 |   525482 |    25925     43 |      753 |      590
1460.00/1460.55	c 1460s |      19 |   743840 |   526582 |    25925     43 |      753 |      590
1462.00/1462.57	c 1462s |      19 |   744725 |   527382 |    25925     43 |      753 |      590
1464.20/1464.79	c 1464s |      19 |   745774 |   528282 |    25925     43 |      753 |      590
1466.40/1466.91	c 1466s |      19 |   746913 |   529182 |    25925     43 |      753 |      590
1468.60/1469.20	c 1468s |      19 |   747985 |   530082 |    25925     43 |      753 |      590
1470.70/1471.25	c 1471s |      19 |   748796 |   530782 |    25925     43 |      753 |      590
1472.70/1473.29	c 1473s |      19 |   749614 |   531482 |    25925     43 |      753 |      590
1474.89/1475.48	c 1475s |      19 |   750395 |   532182 |    25925     43 |      753 |      590
1476.99/1477.56	c 1477s |      19 |   751358 |   532982 |    25925     43 |      753 |      590
1479.10/1479.65	c 1479s |      19 |   752319 |   533782 |    25925     43 |      753 |      590
1481.20/1481.78	c 1481s |      19 |   753233 |   534582 |    25925     43 |      753 |      590
1483.40/1483.94	c 1483s |      19 |   754147 |   535382 |    25925     43 |      753 |      590
1485.60/1486.16	c 1485s |      19 |   755091 |   536182 |    25925     43 |      753 |      590
1487.80/1488.36	c 1488s |      19 |   755874 |   536882 |    25925     44 |      753 |      590
1490.00/1490.57	c 1490s |      19 |   756780 |   537682 |    25925     44 |      753 |      590
1491.99/1492.58	c 1492s |      19 |   757727 |   538482 |    25925     44 |      753 |      590
1494.09/1494.63	c 1494s |      19 |   758703 |   539282 |    25925     44 |      753 |      590
1496.09/1496.64	c 1496s |      19 |   759920 |   540182 |    25925     44 |      753 |      590
1498.19/1498.76	c 1498s |      19 |   760967 |   541082 |    25925     44 |      753 |      590
1500.39/1500.96	c 1500s |      19 |   762135 |   542082 |    25925     44 |      753 |      590
1502.59/1503.10	c 1502s |      19 |   763296 |   543082 |    25925     44 |      753 |      590
1504.60/1505.19	c 1504s |      19 |   764368 |   543982 |    25925     44 |      753 |      590
1506.80/1507.38	c 1507s |      19 |   765369 |   544882 |    25925     44 |      753 |      590
1508.90/1509.48	c 1509s |      19 |   766295 |   545682 |    25925     44 |      753 |      590
1511.20/1511.74	c 1511s |      19 |   767409 |   546582 |    25925     44 |      753 |      590
1513.40/1513.92	c 1513s |      19 |   768306 |   547382 |    25925     44 |      753 |      590
1515.70/1516.28	c 1516s |      19 |   769320 |   548282 |    25925     44 |      753 |      590
1517.70/1518.29	c 1518s |      19 |   770036 |   548882 |    25925     44 |      753 |      590
1519.71/1520.29	c 1520s |      19 |   770867 |   549582 |    25925     44 |      753 |      590
1522.09/1522.65	c 1522s |      19 |   771798 |   550382 |    25925     44 |      753 |      590
1524.29/1524.86	c 1524s |      19 |   772500 |   550982 |    25925     45 |      753 |      590
1526.59/1527.11	c 1526s |      19 |   773673 |   551982 |    25925     45 |      753 |      590
1528.69/1529.26	c 1529s |      19 |   774641 |   552782 |    25925     45 |      753 |      590
1530.80/1531.39	c 1531s |      19 |   775416 |   553482 |    25925     45 |      753 |      590
1533.09/1533.63	c 1533s |      19 |   776216 |   554182 |    25925     45 |      753 |      590
1535.29/1535.80	c 1535s |      19 |   777182 |   554982 |    25925     45 |      753 |      590
1537.49/1538.02	c 1537s |      19 |   778111 |   555782 |    25925     45 |      753 |      590
1539.50/1540.07	c 1539s |      19 |   778911 |   556482 |    25925     45 |      753 |      590
1541.58/1542.12	c 1541s |      19 |   779703 |   557182 |    25925     45 |      753 |      590
1543.68/1544.20	c 1543s |      19 |   780352 |   557782 |    25925     45 |      753 |      590
1545.68/1546.29	c 1546s |      19 |   781096 |   558482 |    25925     45 |      753 |      590
1547.78/1548.32	c 1548s |      19 |   781865 |   559182 |    25925     45 |      753 |      590
1550.08/1550.62	c 1550s |      19 |   782768 |   559982 |    25925     45 |      753 |      590
1552.28/1552.84	c 1552s |      19 |   783654 |   560782 |    25925     45 |      753 |      590
1554.28/1554.85	c 1554s |      19 |   784322 |   561382 |    25925     45 |      753 |      590
1556.38/1556.99	c 1556s |      19 |   785021 |   561982 |    25925     45 |      753 |      590
1558.48/1559.03	c 1558s |      19 |   785570 |   562482 |    25925     45 |      753 |      590
1560.68/1561.23	c 1560s |      19 |   786231 |   563082 |    25925     45 |      753 |      590
1563.08/1563.62	c 1563s |      19 |   786901 |   563682 |    25925     45 |      753 |      590
1565.18/1565.73	c 1565s |      19 |   787463 |   564182 |    25925     45 |      753 |      590
1567.38/1567.98	c 1567s |      19 |   788022 |   564682 |    25925     45 |      753 |      590
1570.08/1570.64	c 1570s |      19 |   788597 |   565182 |    25925     46 |      753 |      590
1572.28/1572.86	c 1572s |      19 |   789538 |   565982 |    25925     46 |      753 |      590
1574.48/1575.09	c 1574s |      19 |   790614 |   566882 |    25925     46 |      753 |      590
1576.78/1577.30	c 1577s |      19 |   791548 |   567682 |    25925     46 |      753 |      590
1578.98/1579.56	c 1579s |      19 |   792586 |   568582 |    25925     46 |      753 |      590
1581.08/1581.66	c 1581s |      19 |   793368 |   569282 |    25925     46 |      753 |      590
1583.38/1583.93	c 1583s |      19 |   794123 |   569982 |    25925     46 |      753 |      590
1585.48/1586.05	c 1585s |      19 |   794799 |   570582 |    25925     46 |      753 |      590
1587.78/1588.32	c 1588s |      19 |   795745 |   571382 |    25925     46 |      753 |      590
1589.88/1590.41	c 1590s |      19 |   796522 |   572082 |    25925     46 |      753 |      590
1591.88/1592.47	c 1592s |      19 |   797298 |   572782 |    25925     46 |      753 |      590
1593.97/1594.53	c 1594s |      19 |   798099 |   573482 |    25925     46 |      753 |      590
1595.97/1596.57	c 1596s |      19 |   798785 |   574082 |    25925     46 |      753 |      590
1597.97/1598.59	c 1598s |      19 |   799493 |   574682 |    25925     46 |      753 |      590
1600.38/1600.91	c 1600s |      19 |   800320 |   575382 |    25925     46 |      753 |      590
1602.48/1603.02	c 1602s |      19 |   801001 |   575982 |    25925     46 |      753 |      590
1604.68/1605.26	c 1605s |      19 |   801667 |   576582 |    25925     46 |      753 |      590
1606.98/1607.54	c 1607s |      19 |   802326 |   577182 |    25925     46 |      753 |      590
1609.28/1609.83	c 1609s |      19 |   802984 |   577782 |    25925     46 |      753 |      590
1611.48/1612.00	c 1611s |      19 |   803653 |   578382 |    25925     46 |      753 |      590
1613.68/1614.21	c 1613s |      19 |   804258 |   578882 |    25925     46 |      753 |      590
1615.88/1616.41	c 1616s |      19 |   804804 |   579382 |    25925     46 |      753 |      590
1618.08/1618.64	c 1618s |      19 |   805257 |   579782 |    25925     47 |      753 |      590
1620.18/1620.73	c 1620s |      19 |   805911 |   580382 |    25925     47 |      753 |      590
1622.58/1623.13	c 1622s |      19 |   806571 |   580982 |    25925     47 |      753 |      590
1624.98/1625.52	c 1625s |      19 |   807248 |   581582 |    25925     47 |      753 |      590
1627.08/1627.66	c 1627s |      19 |   807903 |   582182 |    25925     47 |      753 |      590
1629.28/1629.81	c 1629s |      19 |   808653 |   582882 |    25925     47 |      753 |      590
1631.58/1632.17	c 1631s |      19 |   809405 |   583582 |    25925     47 |      753 |      590
1633.68/1634.28	c 1634s |      19 |   810071 |   584182 |    25925     47 |      753 |      590
1635.98/1636.55	c 1636s |      19 |   810813 |   584882 |    25925     47 |      753 |      590
1638.18/1638.74	c 1638s |      19 |   811371 |   585382 |    25925     47 |      753 |      590
1640.38/1640.95	c 1640s |      19 |   811897 |   585882 |    25925     47 |      753 |      590
1642.48/1643.03	c 1642s |      19 |   812543 |   586482 |    25925     47 |      753 |      590
1644.68/1645.21	c 1644s |      19 |   813307 |   587182 |    25925     47 |      753 |      590
1646.77/1647.39	c 1647s |      19 |   813961 |   587782 |    25925     47 |      753 |      590
1648.97/1649.53	c 1649s |      19 |   814491 |   588282 |    25925     47 |      753 |      590
1651.37/1651.91	c 1651s |      19 |   815190 |   588882 |    25925     47 |      753 |      590
1653.37/1654.00	c 1653s |      19 |   815746 |   589382 |    25925     47 |      753 |      590
1655.77/1656.33	c 1656s |      19 |   816297 |   589882 |    25925     47 |      753 |      590
1658.07/1658.66	c 1658s |      19 |   816806 |   590382 |    25925     47 |      753 |      590
1660.37/1660.98	c 1660s |      19 |   817336 |   590882 |    25925     47 |      753 |      590
1662.87/1663.43	c 1663s |      19 |   817857 |   591382 |    25925     47 |      753 |      590
1665.17/1665.73	c 1665s |      19 |   818416 |   591882 |    25925     47 |      753 |      590
1667.27/1667.87	c 1667s |      19 |   818955 |   592382 |    25925     47 |      753 |      590
1669.28/1669.88	c 1669s |      19 |   819514 |   592882 |    25925     47 |      753 |      590
1671.37/1671.98	c 1671s |      19 |   820122 |   593382 |    25925     47 |      753 |      590
1673.57/1674.10	c 1673s |      19 |   820808 |   593982 |    25925     47 |      753 |      590
1675.77/1676.34	c 1676s |      19 |   821374 |   594482 |    25925     48 |      753 |      590
1677.97/1678.53	c 1678s |      19 |   822276 |   595282 |    25925     48 |      753 |      590
1680.17/1680.73	c 1680s |      19 |   823272 |   596182 |    25925     48 |      753 |      590
1682.27/1682.86	c 1682s |      19 |   824224 |   596982 |    25925     48 |      753 |      590
1684.37/1684.99	c 1684s |      19 |   825021 |   597682 |    25925     48 |      753 |      590
1686.46/1687.02	c 1686s |      19 |   825795 |   598382 |    25925     48 |      753 |      590
1688.66/1689.21	c 1688s |      19 |   826715 |   599182 |    25925     48 |      753 |      590
1690.86/1691.42	c 1691s |      19 |   827491 |   599882 |    25925     48 |      753 |      590
1692.96/1693.56	c 1693s |      19 |   828315 |   600582 |    25925     48 |      753 |      590
1695.16/1695.75	c 1695s |      19 |   829143 |   601282 |    25925     48 |      753 |      590
1697.26/1697.83	c 1697s |      19 |   829945 |   601982 |    25925     48 |      753 |      590
1699.46/1700.05	c 1699s |      19 |   830777 |   602682 |    25925     48 |      753 |      590
1701.56/1702.18	c 1701s |      19 |   831457 |   603282 |    25925     48 |      753 |      590
1703.86/1704.43	c 1704s |      19 |   832145 |   603882 |    25925     48 |      753 |      590
1705.96/1706.56	c 1706s |      19 |   832847 |   604482 |    25925     48 |      753 |      590
1708.16/1708.79	c 1708s |      19 |   833536 |   605082 |    25925     48 |      753 |      590
1710.46/1711.06	c 1710s |      19 |   834391 |   605782 |    25925     48 |      753 |      590
1712.66/1713.22	c 1712s |      19 |   835215 |   606482 |    25925     48 |      753 |      590
1714.96/1715.54	c 1715s |      19 |   836038 |   607182 |    25925     48 |      753 |      590
1717.16/1717.75	c 1717s |      19 |   836851 |   607882 |    25925     48 |      753 |      590
1719.46/1720.04	c 1719s |      19 |   837683 |   608582 |    25925     48 |      753 |      590
1721.56/1722.14	c 1721s |      19 |   838226 |   609082 |    25925     49 |      753 |      590
1723.66/1724.22	c 1723s |      19 |   839036 |   609782 |    25925     49 |      753 |      590
1725.86/1726.42	c 1726s |      19 |   839830 |   610482 |    25925     49 |      753 |      590
1727.96/1728.50	c 1728s |      19 |   840597 |   611182 |    25925     49 |      753 |      590
1730.06/1730.65	c 1730s |      19 |   841392 |   611882 |    25925     49 |      753 |      590
1732.15/1732.72	c 1732s |      19 |   842091 |   612482 |    25925     49 |      753 |      590
1734.35/1734.95	c 1734s |      19 |   842904 |   613182 |    25925     49 |      753 |      590
1736.66/1737.22	c 1736s |      19 |   843699 |   613882 |    25925     49 |      753 |      590
1738.96/1739.50	c 1739s |      19 |   844381 |   614482 |    25925     49 |      753 |      590
1741.06/1741.63	c 1741s |      19 |   845023 |   615082 |    25925     49 |      753 |      590
1743.16/1743.71	c 1743s |      19 |   845678 |   615682 |    25925     49 |      753 |      590
1745.17/1745.74	c 1745s |      19 |   846228 |   616182 |    25925     49 |      753 |      590
1747.26/1747.81	c 1747s |      19 |   846817 |   616682 |    25925     49 |      753 |      590
1749.46/1750.08	c 1749s |      19 |   847472 |   617282 |    25925     49 |      753 |      590
1751.66/1752.20	c 1751s |      19 |   848011 |   617782 |    25925     49 |      753 |      590
1753.76/1754.35	c 1754s |      19 |   848584 |   618282 |    25925     49 |      753 |      590
1755.96/1756.57	c 1756s |      19 |   849142 |   618782 |    25925     49 |      753 |      590
1758.26/1758.90	c 1758s |      19 |   849683 |   619282 |    25925     49 |      753 |      590
1760.57/1761.16	c 1760s |      19 |   850206 |   619782 |    25925     49 |      753 |      590
1762.87/1763.50	c 1763s |      19 |   850906 |   620382 |    25925     49 |      753 |      590
1765.36/1765.93	c 1765s |      19 |   851570 |   620982 |    25925     49 |      753 |      590
1767.66/1768.28	c 1768s |      19 |   852123 |   621482 |    25925     49 |      753 |      590
1769.76/1770.31	c 1770s |      19 |   852694 |   621982 |    25925     49 |      753 |      590
1771.85/1772.45	c 1772s |      19 |   853277 |   622482 |    25925     49 |      753 |      590
1774.05/1774.60	c 1774s |      19 |   853974 |   623082 |    25925     49 |      753 |      590
1776.15/1776.79	c 1776s |      19 |   854535 |   623582 |    25925     50 |      753 |      590
1778.45/1779.04	c 1778s |      19 |   855446 |   624382 |    25925     50 |      753 |      590
1780.65/1781.29	c 1781s |      19 |   856243 |   625082 |    25925     50 |      753 |      590
1782.75/1783.32	c 1783s |      19 |   857037 |   625782 |    25925     50 |      753 |      590
1784.76/1785.38	c 1785s |      19 |   857805 |   626482 |    25925     50 |      753 |      590
1787.06/1787.64	c 1787s |      19 |   858589 |   627182 |    25925     50 |      753 |      590
1789.16/1789.75	c 1789s |      19 |   859386 |   627882 |    25925     50 |      753 |      590
1791.36/1791.96	c 1791s |      19 |   860228 |   628582 |    25925     50 |      753 |      590
1793.35/1793.98	c 1793s |      19 |   860926 |   629182 |    25925     50 |      753 |      590
1795.65/1796.26	c 1796s |      19 |   861771 |   629882 |    25925     50 |      753 |      590
1797.96/1798.55	c 1798s |      19 |   862585 |   630582 |    25925     50 |      753 |      590
1799.95/1800.57	c 1800s |      19 |   863195 |   631082 |    25925     50 |      753 |      590

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-4115877-1466941768/watcher-4115877-1466941768 -o /tmp/evaluation-result-4115877-1466941768/solver-4115877-1466941768 -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-4115877-1466941768.opb 

pid=32738
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.03 2.05 2.05 3/261 32741
/proc/meminfo: memFree=30886760/32872528 swapFree=7560/7560
[pid=32741] ppid=32738 vsize=1182140 CPUtime=0 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 4494 0 0 0 0 0 0 0 20 0 4 0 27215024 1210511360 4343 33554432000 4194304 16246674 140734947141904 140734947141328 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 296047 4351 441 2943 0 292941 0
[pid=32741/tid=32742] ppid=32738 vsize=1204668 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1233580032 4429 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1208764 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1237774336 4446 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1213884 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27215024 1243017216 4464 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.03 2.05 2.05 3/261 32741
/proc/meminfo: memFree=30886760/32872528 swapFree=7560/7560
[pid=32741] ppid=32738 vsize=1220164 CPUtime=0.08 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 28278 0 0 0 5 3 0 0 20 0 4 0 27215024 1249447936 28065 33554432000 4194304 16246674 140734947141904 140734947141216 4220897 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 305041 28065 801 2943 0 301935 0
[pid=32741/tid=32742] ppid=32738 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1249447936 28065 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1249447936 28065 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1249447936 28065 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200505 s]
/proc/loadavg: 2.03 2.05 2.05 3/261 32741
/proc/meminfo: memFree=30886760/32872528 swapFree=7560/7560
[pid=32741] ppid=32738 vsize=1301060 CPUtime=0.19 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 48485 0 0 0 12 7 0 0 20 0 4 0 27215024 1332285440 48272 33554432000 4194304 16246674 140734947141904 140734947141216 6774944 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 325265 48272 842 2943 0 322159 0
[pid=32741/tid=32742] ppid=32738 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1332285440 48272 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1332285440 48272 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1332285440 48272 33554432000 4194304 16246674 140734947141904 140571816479920 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.03 2.05 2.05 3/261 32741
/proc/meminfo: memFree=30886760/32872528 swapFree=7560/7560
[pid=32741] ppid=32738 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 51131 0 0 0 22 7 0 0 20 0 4 0 27215024 1332285440 50918 33554432000 4194304 16246674 140734947141904 140734947141216 5545885 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 325265 50925 882 2943 0 322159 0
[pid=32741/tid=32742] ppid=32738 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1332285440 50932 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1332285440 50939 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1332285440 50942 33554432000 4194304 16246674 140734947141904 140571816479920 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.700389 s]
/proc/loadavg: 2.03 2.05 2.05 3/261 32741
/proc/meminfo: memFree=30886760/32872528 swapFree=7560/7560
[pid=32741] ppid=32738 vsize=1301060 CPUtime=0.69 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 102211 0 0 0 55 14 0 0 20 0 4 0 27215024 1332285440 101999 33554432000 4194304 16246674 140734947141904 140734947123776 12478957 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 325265 102006 882 2943 0 322159 0
[pid=32741/tid=32742] ppid=32738 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1332285440 102009 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1332285440 102013 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1332285440 102016 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.03 2.05 2.05 3/265 32745
/proc/meminfo: memFree=30267296/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1301060 CPUtime=1.49 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 212861 0 0 0 117 32 0 0 20 0 4 0 27215024 1332285440 212648 33554432000 4194304 16246674 140734947141904 140734947123776 5677541 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 325265 212653 882 2943 0 322159 0
[pid=32741/tid=32742] ppid=32738 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1332285440 212654 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1332285440 212659 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1332285440 212664 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.03 2.05 2.05 3/265 32745
/proc/meminfo: memFree=29811176/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1312324 CPUtime=3.09 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 269263 0 0 0 270 39 0 0 20 0 4 0 27215024 1343819776 269050 33554432000 4194304 16246674 140734947141904 140734947124904 5822306 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 328081 269050 888 2943 0 324975 0
[pid=32741/tid=32742] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269050 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269050 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269050 33554432000 4194304 16246674 140734947141904 140571816479920 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.02 2.05 2.05 3/265 32745
/proc/meminfo: memFree=29810312/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1312324 CPUtime=6.29 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 269269 0 0 0 590 39 0 0 20 0 4 0 27215024 1343819776 269056 33554432000 4194304 16246674 140734947141904 140734947123776 6011784 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 328081 269056 888 2943 0 324975 0
[pid=32741/tid=32742] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269056 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269056 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269056 33554432000 4194304 16246674 140734947141904 140571816479920 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.02 2.04 2.05 3/265 32745
/proc/meminfo: memFree=29809888/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1312324 CPUtime=12.69 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 269270 0 0 0 1230 39 0 0 20 0 4 0 27215024 1343819776 269057 33554432000 4194304 16246674 140734947141904 140734947123776 5711363 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 328081 269057 889 2943 0 324975 0
[pid=32741/tid=32742] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269057 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269057 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269057 33554432000 4194304 16246674 140734947141904 140571816479920 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.05 3/265 32745
/proc/meminfo: memFree=29810532/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1312324 CPUtime=25.49 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 269273 0 0 0 2510 39 0 0 20 0 4 0 27215024 1343819776 269060 33554432000 4194304 16246674 140734947141904 140734947123776 5711688 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 328081 269060 892 2943 0 324975 0
[pid=32741/tid=32742] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269060 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269060 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269060 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.05 2.05 2.05 3/266 32748
/proc/meminfo: memFree=29810452/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1312324 CPUtime=51.08 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 269274 0 0 0 5069 39 0 0 20 0 4 0 27215024 1343819776 269061 33554432000 4194304 16246674 140734947141904 140734947123776 5662594 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 328081 269061 892 2943 0 324975 0
[pid=32741/tid=32742] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269061 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269061 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1343819776 269061 33554432000 4194304 16246674 140734947141904 140571816479920 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.15 2.07 2.06 3/265 32749
/proc/meminfo: memFree=29808976/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1313348 CPUtime=102.28 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 269493 0 0 0 10189 39 0 0 20 0 4 0 27215024 1344868352 269280 33554432000 4194304 16246674 140734947141904 140734947123776 5546072 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 328337 269280 892 2943 0 325231 0
[pid=32741/tid=32742] ppid=32738 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1344868352 269280 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1344868352 269280 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1344868352 269280 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1324612

[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/265 334
/proc/meminfo: memFree=29785340/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1324612 CPUtime=1301.87 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 272693 0 0 0 130139 48 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140734947123776 5601647 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 331153 272389 892 2943 0 328047 0
[pid=32741/tid=32742] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1324612

[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.04 3/265 335
/proc/meminfo: memFree=29785248/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1324612 CPUtime=1361.83 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 272737 0 0 0 136135 48 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140734947123776 5672188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 331153 272389 892 2943 0 328047 0
[pid=32741/tid=32742] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1324612

[startup+1422.3 s]
/proc/loadavg: 2.04 2.05 2.04 3/265 336
/proc/meminfo: memFree=29785140/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1324612 CPUtime=1421.81 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 272751 0 0 0 142133 48 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140734947123776 5672188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 331153 272389 892 2943 0 328047 0
[pid=32741/tid=32742] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1324612

[startup+1482.3 s]
/proc/loadavg: 2.13 2.07 2.04 3/264 337
/proc/meminfo: memFree=29784788/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1324612 CPUtime=1481.79 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 272751 0 0 0 148131 48 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140734947141000 5599968 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 331153 272389 892 2943 0 328047 0
[pid=32741/tid=32742] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1324612

[startup+1542.31 s]
/proc/loadavg: 2.28 2.12 2.06 3/265 388
/proc/meminfo: memFree=29808180/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1324612 CPUtime=1541.79 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 272751 0 0 0 154130 49 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140734947123776 5823690 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 331153 272389 892 2943 0 328047 0
[pid=32741/tid=32742] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1324612

[startup+1602.3 s]
/proc/loadavg: 2.39 2.17 2.08 3/265 389
/proc/meminfo: memFree=29808848/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1324612 CPUtime=1601.78 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 272751 0 0 0 160128 50 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140734947123776 5545784 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 331153 272389 892 2943 0 328047 0
[pid=32741/tid=32742] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1324612

[startup+1662.3 s]
/proc/loadavg: 2.14 2.14 2.08 3/265 390
/proc/meminfo: memFree=29801996/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1324612 CPUtime=1661.77 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 272751 0 0 0 166127 50 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140734947123776 5754801 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 331153 272389 892 2943 0 328047 0
[pid=32741/tid=32742] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1324612

[startup+1722.3 s]
/proc/loadavg: 2.05 2.11 2.07 3/265 391
/proc/meminfo: memFree=29800712/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1324612 CPUtime=1721.76 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 272751 0 0 0 172126 50 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140734947123776 12415827 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 331153 272389 892 2943 0 328047 0
[pid=32741/tid=32742] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1324612

[startup+1782.3 s]
/proc/loadavg: 2.02 2.09 2.06 3/265 392
/proc/meminfo: memFree=29800548/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1324612 CPUtime=1781.75 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 272751 0 0 0 178124 51 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140734947123776 5717604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 331153 272389 892 2943 0 328047 0
[pid=32741/tid=32742] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1324612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.01 2.08 2.06 3/265 393
/proc/meminfo: memFree=29800424/32872528 swapFree=7556/7556
[pid=32741] ppid=32738 vsize=1324612 CPUtime=1800.05 cores=0-3,8-11
/proc/32741/stat : 32741 (toysat) R 32738 32741 32495 0 -1 4202496 272751 0 0 0 179954 51 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140734947141080 13943664 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32741/statm: 331153 272389 892 2943 0 328047 0
[pid=32741/tid=32742] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32742/stat : 32742 (toysat) S 32738 32741 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571837443312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32741/tid=32743] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32743/stat : 32743 (toysat) S 32738 32741 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571826953456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32741/tid=32744] ppid=32738 vsize=1324612 CPUtime=0 cores=0-3,8-11
/proc/32741/task/32744/stat : 32744 (toysat) S 32738 32741 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27215024 1356402688 272389 33554432000 4194304 16246674 140734947141904 140571816479920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1324612

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.55
CPU system time (s): 0.515921
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1324612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.515921
maximum resident set size= 1089556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272751
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= 421
involuntary context switches= 1948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92295 second user time and 9.95749 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 13:49:28
IDJOB=4115877
IDBENCH=109400
IDSOLVER=2542
FILE ID=node132/4115877-1466941768
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-4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115877-1466941768/watcher-4115877-1466941768 -o /tmp/evaluation-result-4115877-1466941768/solver-4115877-1466941768 -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-4115877-1466941768.opb

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

MD5SUM BENCH= 1c9654f7c5b38d0e8ad62562d9f911eb
RANDOM SEED=1255131344

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:        30886784 kB
Buffers:            6040 kB
Cached:           170172 kB
SwapCached:         1796 kB
Active:          1154872 kB
Inactive:         118704 kB
Active(anon):    1097684 kB
Inactive(anon):     1776 kB
Active(file):      57188 kB
Inactive(file):   116928 kB
Unevictable:        7560 kB
Mlocked:            7560 kB
SwapTotal:      67108856 kB
SwapFree:       67098624 kB
Dirty:             16968 kB
Writeback:             0 kB
AnonPages:       1214232 kB
Mapped:            10944 kB
Shmem:                 0 kB
Slab:             569092 kB
SReclaimable:       9632 kB
SUnreclaim:       559460 kB
KernelStack:        2240 kB
PageTables:         6212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1244160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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 14:19:29